查看“弧长”的源代码

{{NoteTA|G1=Math}}
[[File:Arc length.gif|thumb|right|400px|现实中，求曲线的长度，可以将它拉直后测量，数学中则需要更复杂的手段。]]
[[曲线]]的'''弧长'''也称曲线的长度，是曲线的特征之一。不是所有的曲线都能定义长度，能够定义长度的曲线称为'''可求长曲线'''。最早研究的曲线弧长是圆弧的长度。为了计算[[圆周]]的长度，数学家发明了用直[[线段]]近似的方法，并应用到其他的曲线上。[[微积分]]出现后，数学家开始用积分的方式计算曲线的弧长，得出了许多特殊曲线的弧长的精确表达式。

== 一般方法 ==
[[File:Arclength.svg|thumb|right|360px|选取曲线上的点，连成折线，折线的长度近似于曲线的弧长。]]
计算平面上一段曲线的弧长，最早也是最直接的方法是用一些直线段来作出和曲线相似的形状，以直线段的长度代替曲线的弧长。具体的方法是在曲线上选一些点，然后将这些点用线段连起来，得到一条折线。这些线段长度的和，也就是折线的长度，便近似于曲线的弧长。选取的点越密集越均匀，折线的长度就越接近曲线的弧长。但有时候折线的长度可能可以任意大，甚至趋向无限大。这样的曲线无法定义长度。但对一般的[[光滑函数|光滑曲线]]来说，当相邻的点之间的距离都趋于0的时候，折线的长度会趋于一个[[极限]]，也就是曲线的弧长。

== 定义 ==
设<math>C</math>是[[欧几里德空间]]<math>S=\mathbb{R}^n</math>（或某个有限维[[度量空间]]）中的一条曲线。它是某个从[[实数]][[区间]][[映射]]到{{math|''S''}}的[[连续函数|连续]][[函数]]<math>f:[a,b]\rightarrow S</math>的[[像|图像]]。考虑区间<math>[a,b]</math>的一个分割：<math>a=t_0<t_1<\ldots<t_{n-1}<t_n=b</math>。<math>f(t_0),f(t_1),\ldots,f(t_{n-1}),f(t_n)</math>是曲线<math>C</math>上的<math>n+1</math>个点。将<math>f(t_i)</math>和<math>f(t_{i+1})</math>两点之间的距离记为<math>d\left ( f(t_i),f(t_{i+1}) \right )</math>，这也是从<math>f(t_i)</math>连到<math>f(t_{i+1})</math>的线段的长度。而曲线<math>C</math>的弧长<math>L(C)</math>定义为：

:<math>L(C) = \sup_{a=t_0 < t_1 < \cdots < t_n = b} \sum_{i = 0}^{n - 1} d(f(t_i), f(t_{i+1}))</math>
也就是说，曲线的弧长是所有从曲线中选取有限个点连起来的折线长度的[[最小上界]]。广义的曲线弧长也包括这个最小上界不存在的情况，这时候定义曲线的弧长是无穷大。曲线的弧长有限的时候，称之为可求长曲线，否之称为不可求长曲线。以上的定义不要求函数<math>f</math>可微，度量空间也没有定义[[微分]]的结构。

将曲线用函数的形式表达称为曲线的参数化，用参数（函数的自变量）来刻画曲线。对给定的曲线，参数化的方法不止一种。但只要参数化的函数是连续的，那么两种不同的参数化方式之间就可以用一个连续单调的函数来转换。所以参数化的方式不会影响定义曲线的弧长。曲线的弧长是它的内禀属性，不依赖于参数化的方式。

== 用积分计算弧长 ==
假设曲线<math>C</math>可以用[[连续可微]]函数<math>r \; : [a, b] \; \rightarrow \; S</math>进行参数化，那么在进行分割<math>a=t_0<t_1<\ldots<t_{n-1}<t_n=b</math>後，每一段线段<math>\Delta r_i=\left ( r(t_i),r(t_{i+1}) \right )</math>在间隔足够小的时候可以近似为<math>\Delta r_i\approx r'(t_i)\Delta t_i</math>。所以折线长度就是：
:<math>L_T = \sum_{i=0}^{n-1}  \|  \Delta r_i \| = \sum_{i=0}^{n-1}  \| r'(t_i)  \| \Delta t_i.</math>
当所有的<math>\Delta t_i</math>都趋于0时，就能得到曲线的长度{{math|''s''}}：
:<math>s = \int_a^b \|r'(t)\| dt. </math>

假设平面曲线<math>C</math>是用函数<math>X(t)</math>和<math>Y(t)</math>进行参数化。考虑曲线上很短的一段弧，它的长度为<math>ds</math>，根据[[勾股定理]]，在给定的直角坐标系中，有：那么<math>ds</math>和两者的关系是：

:<math>ds^2 = dX^2 + dY^2.</math>

<math>ds</math>足够接近0的时候，<math>dx</math>和<math>dy</math>也足够接近0. 所以在给定的时刻<math>t</math>，在<math>\left ( X(t),Y(t) \right )</math>附近有：

:<math>ds = \sqrt{\left({dX(t)\over dt}\right)^2 + \left({dY(t)\over dt}\right)^2} dt = \sqrt { X'(t)^2 + Y'(t)^2 }\, dt.</math>
对上式两端分别积分，就得到：
:<math>s = \int_{0}^{1} \sqrt { X'(t)^2 + Y'(t)^2 }\, dt.</math>

[[三维空间]]中，假设曲线<math>C</math>是用函数<math>X(t)</math>、<math>Y(t)</math>和<math>Z(t)</math>进行参数化，则用类似的方式可以推出，

:<math>s = \int_{0}^{1} \sqrt { X'(t)^2 + Y'(t)^2 + Z'(t)^2}\, dt.</math>

假设平面曲线<math>C</math>是函数<math>f:\mathbb{R}\rightarrow\mathbb{R}</math>的图像，并且函数<math>f</math>是[[连续可微]]的函数：<math>f'(t)</math>存在并且也是连续的函数。那么这等价于设<math>X(t)=t</math>，<math>Y(t)=f(t)</math>，所以

:<math>s = \int_{0}^{1} \sqrt { X'(t)^2 + Y'(t)^2 }\, dt. =  \int_{0}^{1} \sqrt { 1 + [f'(x)]^2 }\, dx</math>

假设曲线是以极坐标的方式进行参数化：<math>r: \mathbb{R}\rightarrow\mathbb{R}^+</math>，那么<math>ds^2 = dr^2 + (rd\theta)^2.</math> 弧长等于：
:<math>s = \int_{a}^{b} \sqrt { r^2 + ({dr \over d\theta})^2 }\, d\theta. </math>

通过积分学的知识可以知道，对大部分的<math>f</math>或<math>X(t)</math>和<math>Y(t)</math>，上述的积分式没有初等的解析表达式，所以大部分的曲线弧长是无法用显式计算的，只能通过[[数值计算]]求出。能用显式表达弧长的曲线除了直线和圆以外还有[[悬链线]]、[[摆线]]、[[等角螺线]]、[[抛物线]]、[[半立方抛物线]]等等。椭圆的弧长无法用显式计算，数学家们因此发展出[[椭圆积分]]和[[椭圆函数]]。

== 例子 ==
[[File:Arc length of semi-cubic parabola.png|thumb|right|300px|半三次曲线：点(1,0)到(4,9)的曲线段的弧长]]

=== 圆的弧长 ===
圆的弧长与角度（弧度）成正比。设圆的半径为{{math|''r''}}，那么[[弧度]]<math>\alpha</math>对应的圆弧的弧长是<math>r\alpha</math>；角度{{math|''θ''}}对应的圆弧的弧长是<math>\frac{r\pi\theta}{180}</math>。整个圆周的周长是：<math>C=2\pi r</math>.特别的，当圆心角使用弧度制单位时，弧长=弧度制圆心角×半径。

=== 半立方抛物线的弧长 ===
设半立方抛物线的方程为：<math>y^2 =3(x - 1)^3</math>，要求点<math>(1,0)</math>到<math>(4,9)</math>的曲线段的弧长，可以用积分计算。这一段上的<math>y</math>大于等于0，即<math>y =\sqrt{3}(x - 1)^{\frac32}</math>，而求导可得：
:<math>2yy\prime =9(x - 1)^2</math>
所以
:<math>(y\prime)^2 =\left(\frac{9(x - 1)^2}{2y}\right)^2 = \left(\frac{9(x - 1)^2}{2\sqrt{3}(x - 1)^{\frac32}}\right)^2 = \left(\frac{3\sqrt{3}(x - 1)^{\frac12}}{2}\right)^2 = \frac{27(x - 1)}{4}.</math>
弧长：
:<math>s = \int_{1}^{4} \sqrt { 1 + (y\prime)^2 }\, dx =  \int_{1}^{4} \sqrt { 1 + \frac{27(x - 1)}{4} }\, dx  =\frac{85\sqrt{85} - 8}{81}</math>
==弧长无限大的曲线==
[[File:Koch curve.svg|thumb|right|360px|科赫雪花曲线]]
有些曲线本身有界（可以被长和宽都有限的长方形覆盖），但其弧长是无限大。一个著名的例子是[[科赫曲线|科赫雪花曲线]]（见右图）。这个曲线是由一个线段通过重复一系列步骤的改变直到无限而构成的。可以计算，每一步改变后，曲线的弧长都会变成上一步时的三分之四，所以假设原线段长度为{{math|''a''}}，则第{{math|''n''}}步之后，弧长变成：{{math|''a''(4/3)<sup>''n''</sup>}}，当{{math|''n''}}趋于正无穷大时，曲线弧长也趋于无限大。

== 参见 ==
* [[路径积分]]
* [[曲率]]

{{几何术语}}
[[Category:积分学]]
[[Category:曲線]]
[[Category:长度]]
[[Category:几何术语]]