§2 曲线的弧长和弧长元素

分析意义下的可求长曲线对连续可微性的要求是可以降低的．关于降 低可微阶数的讨论，在一般的场合，并不是本课程中所关心的内容．
二．弧长和弧长参数
定义 对正则曲线 C: r(t) = (x(t), y(t), z(t)) , t∈(a, b) ，任取 t0∈(a, b) ，
称
s(t)
−
s(t0)
=
∫
t t0
ds = |r′(t)| dt = a2ω2 + v2 dt ，
s(t) − s(t0) = ∫tt0 |r′(u)| du = ∫tt0 a2ω2 + v2du = a2ω2 + v2 (t − t0) ．
点 (a, 0, 0) 对应于参数 t = 0 ，故从点 (a, 0, 0) 计起的弧长参数为 s(t) − s(0) = a2ω2 + v2 t ．
(Δtj)2 2!
R2j
，
-1-
作者：王幼宁
| | | | n
n
∑ |r(tj) − r(tj−1)| − ∑ |r′(tj−1)| Δtj
j=1
j=1
n
≤∑
j=1
(Δtj)2 2!
R2j
．
记
||Dn|| = max{Δtj | j = 0, 1, …, n } ， xM = max{|x″(t)| | t∈[a, b]} ， yM = max{|y″(t)| | t∈[a, b]} ， zM = max{|z″(t)| | t∈[a, b]} ， 则
|r′(u)|
du
为曲线
C
上的从参数
t0
到
t
的有向弧长，简称弧
长；称 ds = |r′(t)| dt 为曲线 C 上的有向弧长元素，简称弧长元素；称函数
s(t) − s(t0) 为曲线 C 上以 r(t0) 为起点的有向弧长参数函数，简称弧长参数.
-2-
作者：王幼宁
同讨论长度一样，易证（留作习题）弧长元素在保向正则参数变换下 不变，且在刚体运动下不变；弧长参数由正则参数曲线本身确定到相互差 某个常数，该常数等于不同起点之间的有向弧长．此外，当一般正则参数 转换为相应的弧长参数时，有
作者：王幼宁
第二章 曲线的局部微分几何
§2 曲线的弧长和弧长元素
通俗地讲，将曲线的一段想象成软绳的一段，则软绳的所谓“长度” 是可以用“直尺”测量出来的．如果软绳并不是太“弯”，则其两个端点 的“直线距离”就是其长度的近似值．这种看法在人们的日常生活中经常 自觉或不自觉地被加以运用．在数学发展史上，类似的抽象观点被有效利 用的年代可以追溯到古希腊的阿基米德时代；而被严格并且广泛地利用于 自然科学当中，则是从 Newton 和 Leibniz 创立微积分学开始．粗略地说， 在微积分学之中，当曲线“可求长”时，“长度”理解为一族“逼近”曲 线的折线列的“长度”的极限值，而构成折线的各个直线段的“长度”被 认为总是可以确定的；在此，勾股定理确定了三维 Euclid 空间的基本度量 规则．换个角度去看，基本的度量规则确定了所谓的“长度”，同时决定 了在抽象理论中适当给“长度”以定义的各种等价方式；而基本度量规则 的改变，将导致不同的关于距离的几何学．在学习到第六章内蕴几何学的 内容以后，可以再回过头来仔细体会上述说法的含义．
下面，将从几何学的角度给出长度概念及其解释．
一．E3 中正则曲线段的长度
给定 E3 中Descartes直角坐标系 O-xyz ．设 C: r(t) = (x(t), y(t), z(t)) , t∈[a,
b] 是正则曲线上的一个弧段．任取参数区间的一个划分
Dn: t0 = a < t1 < … < tn = b ，
等于不同起点之间的有向弧长．
-3-
作者：王幼宁
⒋ 试求下列曲线段的弧长元素、单位切向和在指定参数范围内的弧长：
① 双曲螺线 r(t) = (ch t , sh t , t) ; [−1, 1] ； ② 悬链线 r(t) = (t , ch t , 0) ; [0, 1] ； ③ E2 中的曳物线 r(t) = (cos t , ln(sec t + tan t) − sin t ) ; [0, t] ． ⒌ 试求平面极坐标系下方程为 ρ = ρ(θ) 的曲线的弧长，其中 ρ 和 θ 分别为极坐标系的 极径和极角．
为了说明按分析意义引进的“长度”作为几何概念是合理的，需要验 证其为几何不变量．首先，它不依赖于正则参数的选取；这只要在参数变 换下验证其不变，而这只要注意到复合求导关系以及定积分变量代换公式 便容易得到．其次，它不依赖于 E3 中Descartes直角坐标系的选取；这只要 在正交标架变换或刚体运动下验证其不变（留作习题）．
r(tj)
−
r(tj−1)
=
(Δtj)
r′(tj−1)
+
(Δtj)2 2!
R2j
，
其中余项 R2j = (x″(ξ1j), y″(ξ2j), z″(ξ3j))→r″(tj−1) , 当 Δtj = tj − tj−1→0 ．此时
| | | |r(tj) − r(tj−1)| − |(Δtj) r′(tj−1)| | ≤
{ ⒍
试求曲线
x3 = 3y 2xz = 1
在平面 y =
1 3
和 y = 9 之间的弧段的长度．
{ ⒎
讨论曲线
f(x, y, z) = 0 g(x, y, z) = 0
的单位切向、弧长元素和弧长的算法．
-4-
| | n
∑
j=1
(Δtj)2 2!
R2j
n
≤ ||Dn|| xM2 + yM2 + zM2 ∑ Δtj
j=1
= ||Dn|| xM2 + yM2 + zM2 (b − a) →0 , 当 ||Dn||→0 ．
按照 Riemann 积分意义，此即证得下述结论．
定理 1 正则曲线上的弧段 C: r(t) = (x(t),ห้องสมุดไป่ตู้y(t), z(t)) , t∈[a, b] 是可求长 的，且长度取值为 L(C) = ∫ba |r′(t)| dt ．
dr(t(s)) ds =
dr dt (t(s))
dt ds
= [r′(t)
1 |r′(t)|
]|t
=
t(s)
=
T(t(s))
．
自然，单位切向作为保向正则参数变换下的不变量，用弧长参数表示以及
计算一定有其意义．一般地，由于弧长参数具有明确的几何属性，因而在
几何理论研究中被广泛地使用；其重要性表现在简化计算的同时，能突出
例 圆柱螺线参数化为 r(t) = (a cos(ωt) , a sin(ωt) , vt) , t∈R ，其中三个 常数 a > 0 , ω ≠ 0 和 v ≠ 0 ．试求其从点 (a, 0, 0) 计起的弧长参数，并确定 其一个螺纹的长度．
解：r′(t) = (−aω sin(ωt) , aω cos(ωt) , v) ， 故 |r′(t)| = [−aω sin(ωt)]2 + [aω cos(ωt)]2 + v2 = a2ω2 + v2 ≠ 0 ， t 为正则参 数，且有
一个螺纹对应于参数 t 取值区间为 [t0, t0+2π/|ω|] ，故所求长度为 |s(2π/|ω|) − s(0)| = 2π a2ω2 + v2/|ω| ． □
习题
⒈ 证明正则曲线上的弧段的长度在 E3 的正交标架变换下不变． ⒉ 证明正则曲线上的弧长元素在保向正则参数变换下不变． ⒊ 证明正则曲线上的弧长参数由正则参数曲线本身确定到相互差某个常数，该常数
对应有曲线上的分点 Pj: r(tj) , j = 0, 1, …, n ．相应折线的长度确定为
n
n
n
∑ | Pj−1Pj | = ∑ | r(tj) − r(tj−1) | = ∑ (xj − xj−1)2 + (yj − yj−1)2 + (zj − zj−1)2 ．
j=1
j=1
j=1
由 Taylor 展开式，可写
所讨论对象的几何意义．弧长参数的存在性和特征可以总结成下列结果．
定理 2 对正则曲线 C: r (t) = (x(t), y(t), z(t)) , t∈(a, b) ， ① 总可以弧长参数化；
② 参数 t 成为弧长参数的充要条件为 |r′(t)| ≡ 1 , ∀t∈(a, b) ．
约定： 以后在不容易混淆时，通常以 s 表示曲线的弧长参数，通常 以 ds 表示曲线的弧长元素．