弧长
曲线的弧长也称曲线的长度，是曲线的特征之一。不是所有的曲线都能定义长度，能够定义长度的曲线称为可求长曲线。最早研究的曲线弧长是圆弧的长度。为了计算圆周的长度，数学家发明了用直线段近似的方法，并应用到其他的曲线上。微积分出现后，数学家开始用积分的方式计算曲线的弧长，得出了许多特殊曲线的弧长的精确表达式。
一般方法[编辑]
计算平面上一段曲线的弧长，最早也是最直接的方法是用一些直线段来作出和曲线相似的形状，以直线段的长度代替曲线的弧长。具体的方法是在曲线上选一些点，然后将这些点用线段连起来，得到一条折线。这些线段长度的和，也就是折线的长度，便近似于曲线的弧长。选取的点越密集越均匀，折线的长度就越接近曲线的弧长。但有时候折线的长度可能可以任意大，甚至趋向无限大。这样的曲线无法定义长度。但对一般的光滑曲线来说，当相邻的点之间的距离都趋于0的时候，折线的长度会趋于一个极限，也就是曲线的弧长。
定义[编辑]
设<math>C</math>是欧几里德空间<math>S=\mathbb{R}^n</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时，就能得到曲线的长度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_{a}^{b} \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_{a}^{b} \sqrt { X'(t)^2 + Y'(t)^2 }\, dt. = \int_{a}^{b} \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>，上述的积分式没有初等的解析表达式，所以大部分的曲线弧长是无法用显式计算的，只能通过数值计算求出。能用显式表达弧长的曲线除了直线和圆以外还有悬链线、摆线、等角螺线、抛物线、半立方抛物线等等。椭圆的弧长无法用显式计算，数学家们因此发展出椭圆积分和椭圆函数。
例子[编辑]
圆的弧长[编辑]
圆的弧长与角度（弧度）成正比。设圆的半径为r，那么弧度<math>\alpha</math>对应的圆弧的弧长是<math>r\alpha</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>
弧长无限大的曲线[编辑]
有些曲线本身有界（可以被长和宽都有限的长方形覆盖），但其弧长是无限大。一个著名的例子是科赫雪花曲线（见右图）。这个曲线是由一个线段通过重复一系列步骤的改变直到无限而构成的。可以计算，每一步改变后，曲线的弧长都会变成上一步时的三分之四，所以假设原线段长度为a，则第n步之后，弧长变成：a(4/3)n，当n趋于正无穷大时，曲线弧长也趋于无限大。
