第一章第三光滑曲线的弧长.docVIP

PAGE PAGE 20 §1.3 光滑曲线的弧长 空间曲线的弧长计算公式 设 SKIPIF 1 0 是一条光滑曲线 SKIPIF 1 0 。 点 SKIPIF 1 0 与 SKIPIF 1 0 分别是 SKIPIF 1 0 的起点和终点。 问题是曲线 SKIPIF 1 0 的长度如何求出。 解法如下：我们按照 SKIPIF 1 0 的定向，在 SKIPIF 1 0 上依次取 SKIPIF 1 0 个点 SKIPIF 1 0 ， （1） 它们把曲线分为 SKIPIF 1 0 个小弧段 SKIPIF 1 0 SKIPIF 1 0 。 用线段 SKIPIF 1 0 的长度作为弧段 SKIPIF 1 0 “弧长”的一个近似值。 用直线段把相邻的分点连结起来， 即得一条折线，它的长是 SKIPIF 1 0 。 并把 SKIPIF 1 0 条线段的长度之和 SKIPIF 1 0 作为 SKIPIF 1 0 的“弧长”的一个近似值。 如果设点 SKIPIF 1 0 对应着参数值 SKIPIF 1 0 SKIPIF 1 0 。 那么 SKIPIF 1 0 ， （2） 这说明曲线 SKIPIF 1 0 上的一个分割（1），导致了参数区间 SKIPIF 1 0 上的分割（2）；反之亦然。 这时 SKIPIF 1 0 SKIPIF 1 0 。 利用微分中值定理，我们有 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 其中 SKIPIF 1 0 由此可知 SKIPIF 1 0 ， SKIPIF 1 0 把分割（2）记为 SKIPIF 1 0 。 由于 SKIPIF 1 0 与 SKIPIF 1 0 都是 SKIPIF 1 0 上的连续函数，它们在 SKIPIF 1 0 上有界。 所以存在一个常数 SKIPIF 1 0 ，使 SKIPIF 1 0 ， 其中 SKIPIF 1 0 ； 由此可得 SKIPIF 1 0 。 这表明，将参数区间 SKIPIF 1 0 无限加细时，将导致分割（1）把曲线 SKIPIF 1 0 无限加细。 我们有 SKIPIF 1 0 ，（3） 当 SKIPIF 1 0 时，如果（3）的极限存在，那么取这个极限作为 SKIPIF 1 0 的弧长的定义是十分合理的。 当 SKIPIF 1 0 时，（3）的右边是否有极限？ 因为 SKIPIF 1 0 虽然在 SKIPIF 1 0 内，但未必彼此相等。 定理 8.1 设 SKIPIF 1 0 在 SKIPIF 1 0 上有连续的导函数，那么我们有 SKIPIF 1 0 SKIPIF 1 0 ，（4） 证明：设 SKIPIF 1 0 ， 由三角不等式 SKIPIF 1 0 ，可知 SKIPIF 1 0 在 SKIPIF 1 0 上一致连续。 因为 SKIPIF 1 0 在 SKIPIF 1 0 上连续， 所以 SKIPIF 1 0 在 SKIPIF 1 0 上连续，所以在 SKIPIF 1 0 上可积； 对分割 SKIPIF 1 0 ，有 SKIPIF 1 0 SKIPIF 1 0 ， SKIPIF 1 0 ； 由三角不等式 SKIPIF 1 0 及 SKIPIF 1 0 在 SKIPIF 1 0 上一致连续，可得 SKIPIF 1 0 SKIPIF 1 0 （ SKIPIF 1 0 ）， 于是，成立 SKIPIF 1 0 SKIPIF 1 0 。 这就是说，对于光滑曲