定义 1
如果存在有限极限
lim ∣ T ∣ → 0 s T = s , \lim \limits_{|T| \rightarrow 0} s_{T}=s, ∣T∣→0limsT=s,
即任给 ε > 0 \varepsilon>0 ε>0, 恒存在 δ > 0 \delta>0 δ>0, 使得对 C C C 的任何分割 T T T, 只要 ∥ T ∥ < δ \|T\|<\delta ∥T∥<δ, 就有
∣ s τ − s ∣ < ε , \left|s_{\tau}-s\right|<\varepsilon \text {, } ∣sτ−s∣<ε,
则称曲线 C C C 是可求长的, 并把极限 s s s 定义为曲线 C C C 的弧长.
定理 10.1
设曲线 C C C 是一条没有自交点的非闭的平面曲线, 由参数方程
x = x ( t ) , y = y ( t ) , t ∈ [ α , β ] ( 1 ) x=x(t), \quad y=y(t), \quad t \in[\alpha, \beta] \quad\quad(1) x=x(t),y=y(t),t∈[α,β](1)
给出. 若 x ( t ) x(t) x(t) 与 y ( t ) y(t) y(t) 在 [ α , β ] [\boldsymbol{\alpha}, \boldsymbol{\beta}] [α,β]上连续可微, 则 C C C 是可求长的, 且弧长为
s = ∫ α β [ x ′ ( t ) ] 2 + [ y ′ ( t ) ] 2 d t . ( 2 ) s=\int_{\alpha}^{\beta} \sqrt{\left[x^{\prime}(t)\right]^{2}+\left[y^{\prime}(t)\right]^{2}} \mathrm{~d} t .\quad\quad(2) s=∫αβ[x′(t)]2+[y′(t)]2 dt.(2)
证
如前所述, 对 C C C 作任意分割 T = { P 0 , P 1 , ⋯ , P n } T=\left\{P_{0}, P_{1}, \cdots, P_{n}\right\} T={
P0,P1,⋯,Pn}, 并设 P 0 P_{0} P0 与 P n P_{n} Pn分别对应 t = α t=\alpha t=α与 t = β t=\beta t=β, 且
P i ( x i , y i ) = ( x ( t i ) , y ( t i ) ) , i = 1 , 2 , ⋯ , n − 1. P_{i}\left(x_{i}, y_{i}\right)=\left(x\left(t_{i}\right), y\left(t_{i}\right)\right), i=1,2, \cdots, n-1 . Pi(xi,yi)=(x(ti),y(ti)),i=1,2,⋯,n−1.
于是,与 T T T 对应地得到区间 [ α , β ] [\alpha, \beta] [α,β] 的一个分割
T ′ : α = t 0 < t 1 < t 2 < ⋯ < t n − 1 < t n = β . T^{\prime}: \alpha=t_{0}<t_{1}<t_{2}<\cdots<t_{n-1}<t_{n}=\beta . T′:α=t0<t1<t2<⋯<tn−1<tn=β.
现在用反证法先证明 lim ∥ r ∥ → 0 ∥ T ′ ∥