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

一般方法
----

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

定义
--

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

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}}))
也就是说，曲线的弧长是所有从曲线中选取有限个点连起来的折线长度的最小上界。广义的曲线弧长也包括这个最小上界不存在的情况，这时候定义曲线的弧长是无穷大。曲线的弧长有限的时候，称之为可求长曲线，否之称为不可求长曲线。以上的定义不要求函数f可微，度量空间也没有定义微分的结构。

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

用积分计算弧长
-------

假设曲线C可以用连续可微函数r\;:[a,b]\;\rightarrow \;S进行参数化，那么在进行分割{\displaystyle a=t\_{0}<t\_{1}<\ldots <t\_{n-1}<t\_{n}=b}後，每一段线段{\displaystyle \Delta r\_{i}=\left(r(t\_{i}),r(t\_{i+1})\right)}在间隔足够小的时候可以近似为{\displaystyle \Delta r\_{i}\approx r'(t\_{i})\Delta t\_{i}}。所以折线长度就是：

L\_{T}=\sum \_{{i=0}}^{{n-1}}\|\Delta r\_{i}\|=\sum \_{{i=0}}^{{n-1}}\|r'(t\_{i})\|\Delta t\_{i}.
当所有的{\displaystyle \Delta t\_{i}}都趋于0时，就能得到曲线的长度*s*：

s=\int \_{a}^{b}\|r'(t)\|dt.
假设平面曲线C是用函数X(t)和Y(t)进行参数化。考虑曲线上很短的一段弧，它的长度为ds，根据勾股定理，在给定的直角坐标系中，有：那么ds和两者的关系是：

ds^{2}=dX^{2}+dY^{2}.
ds足够接近0的时候，dx和dy也足够接近0. 所以在给定的时刻t，在{\displaystyle \left(X(t),Y(t)\right)}附近有：

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.
对上式两端分别积分，就得到：

{\displaystyle s=\int \_{a}^{b}{\sqrt {X'(t)^{2}+Y'(t)^{2}}}\,dt.}
三维空间中，假设曲线C是用函数X(t)、Y(t)和Z(t)进行参数化，则用类似的方式可以推出，

s=\int \_{{0}}^{{1}}{\sqrt {X'(t)^{2}+Y'(t)^{2}+Z'(t)^{2}}}\,dt.
假设平面曲线C是函数f:{\mathbb {R}}\rightarrow {\mathbb {R}}的图像，并且函数f是连续可微的函数：{\displaystyle f'(t)}存在并且也是连续的函数。那么这等价于设{\displaystyle X(t)=t}，{\displaystyle Y(t)=f(t)}，所以

{\displaystyle s=\int \_{a}^{b}{\sqrt {X'(t)^{2}+Y'(t)^{2}}}\,dt.=\int \_{a}^{b}{\sqrt {1+[f'(x)]^{2}}}\,dx}
假设曲线是以极坐标的方式进行参数化：{\displaystyle r:\mathbb {R} \rightarrow \mathbb {R} ^{+}}，那么ds^{2}=dr^{2}+(rd\theta )^{2}. 弧长等于：

s=\int \_{{a}}^{{b}}{\sqrt {r^{2}+({dr \over d\theta })^{2}}}\,d\theta .
通过积分学的知识可以知道，对大部分的f或X(t)和Y(t)，上述的积分式没有初等的解析表达式，所以大部分的曲线弧长是无法用显式计算的，只能通过数值计算求出。能用显式表达弧长的曲线除了直线和圆以外还有悬链线、摆线、等角螺线、抛物线、半立方抛物线等等。椭圆的弧长无法用显式计算，数学家们因此发展出椭圆积分和椭圆函数。

例子
--

半三次曲线：点(1,0)到(4,9)的曲线段的弧长
### 圆的弧长

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

### 半立方抛物线的弧长

设半立方抛物线的方程为：y^{2}=3(x-1)^{3}，要求点(1,0)到{\displaystyle (4,9)}的曲线段的弧长，可以用积分计算。这一段上的y大于等于0，即y={\sqrt {3}}(x-1)^{{{\frac 32}}}，而求导可得：

2yy\prime =9(x-1)^{2}
所以

(y\prime )^{2}=\left({\frac {9(x-1)^{2}}{2y}}\right)^{2}=\left({\frac {9(x-1)^{2}}{2{\sqrt {3}}(x-1)^{{{\frac 32}}}}}\right)^{2}=\left({\frac {3{\sqrt {3}}(x-1)^{{{\frac 12}}}}{2}}\right)^{2}={\frac {27(x-1)}{4}}.
弧长：

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}}

弧长无限大的曲线
--------

科赫雪花曲线
有些曲线本身有界（可以被长和宽都有限的长方形覆盖），但其弧长是无限大。一个著名的例子是科赫雪花曲线（见右图）。这个曲线是由一个线段通过重复一系列步骤的改变直到无限而构成的。可以计算，每一步改变后，曲线的弧长都会变成上一步时的三分之四，所以假设原线段长度为*a*，则第*n*步之后，弧长变成：*a*(4/3)*n*，当*n*趋于正无穷大时，曲线弧长也趋于无限大。

参见
--

* 路径积分
* 曲率

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
几何学术语 |
| --- |
|  |
| 点 | 
* 頂點
* 交點
* 中點
* 角
* 極值點
* 最值點
* 臨界點
* 驻点
* 鞍點

 |
|  |
| 直线和曲线 | 
* 线段
* 射线
* 直线
* 切线
* （主）法线
* 副法線
* 曲线
* 圆锥曲线
* 双曲线
* 抛物线
* 正弦曲線
* 蚌线
* 蜗线
* 螺线（阿基米德螺线、等角螺线……）
* 摆线（最速降線問題）
* 悬链线
* 曳物线
* 漸開線
* 渐屈线
* 渐近线
* 测地线
* 邊
* 周界
* 弦
* 弧
* 垂直平分線
* 代數曲線
* 椭圆曲线
* 超橢圓
* 星形线
* 三尖瓣线
* 方圓形
* 勒洛三角形

 |
|  |
| 平面圖形 | 
* 圆（广义圆）
* 椭圆
* 扇形
* 弓形
* 环形
* 多边形
* 三角形
* 四邊形
* 五边形
* 六边形
* 多边形
* 正多边形
* 梯形
* 平行四边形
* 菱形
* 矩形
* 正方形
* 鷂形
* 卵形线
* 梭形
* 星形
* 五角星
* 六角星

 |
|  |
| 立體圖形 | 
* 多面体
* 正多面體
* 四面體
* 長方體
* 立方體
* 平行六面体
* 棱柱
* 反棱柱
* 棱锥
* 棱台
* 圆柱体
* 圆锥
* 圆台
* 椭球（長球體、扁球體）
* 球體
* 球缺
* 球冠
* 球台
* 準線
* 母線

 |
|  |
| 曲面 | 
* 二次曲面
* 旋轉曲面
* 抛物面
* 雙曲面
* 马鞍面
* 球面
* 橢球面
* 類球面
* 环面
* 莫比乌斯带
* 流形
* 黎曼曲面

 |
|  |
| 高維空間 | 
* 超平面
* 超面
* 超曲面
* 胞
* 多胞形
* 超球體
* 超方形
* 超立方體
* 克莱因瓶
* 四維柱體柱

 |
|  |
| 圖形關係 | 
* 相似
* 全等
* 對稱
* 平行
* 垂直
* 相交
* 相切
* 相離
* 镜像
* 旋转
* 反演
* 截面
* 缩放

 |
|  |
| 三角形關係 | 
* 相似三角形
* 全等三角形

 |
|  |
| 量 | 
* 距离
* 长度
* 周长
* 弧长
* 高度
* 面积
* 表面積
* 体积
* 容積
* 角度
* 曲率
* 撓率
* 離心率
* 凹凸性
* 有向曲面
* 可展曲面
* 直紋曲面

 |
|  |
| 作圖 | 
* 尺
	+ 直尺
	+ 三角尺
* 圆规
* 尺规作图
* 二刻尺作圖

 |
|  |
| 分支 | 
* 平面幾何
* 立体几何
* 三角学
* 解析几何
* 微分几何
* 拓扑学
* 图论
* 摺紙數學
* 欧几里得几何
* 非欧几里得几何（双曲几何、球面幾何……）
* 分形

 |
|  |
| 理論 | 
* 定理
* 公理
* 定义
* 數學證明

 |
|  |
| 
* 分类**分类**
* 主题**主题**
* 共享资源页面**共享资源**
* 专题**专题**

 |

 |