由于任何曲线上的弧都是由许多首尾相连的微小直线段组成的,如果我们能把这些微小段加起来,就能得到弧长。但我们之前已经看到,把许多微小段加起来正是所谓的积分,因此,既然我们知道如何积分,那么只要曲线的方程适合积分,我们也能求出任何曲线上弧的长度。
如果 是任意曲线上的一段弧,其长度 是待求的(见下图),我们把弧的一“小段”称为 ,那么立刻可以看出 或者
现在,弧 由 和 之间(即 和 之间,或 和 之间)的所有微小段 之和组成,因此我们得到
仅此而已!
当给定 值对应曲线上的多个点时(如下图),第二个积分很有用。在这种情况下,在 和 之间积分会让人对所需弧长的确切部分产生疑问。它可能是 ,而不是 、 或 ;通过在 和 之间积分,这种不确定性就被消除了,在这种情况下应该使用第二个积分。
如果不是使用 和 坐标——或者笛卡尔坐标,以发明它们的法国数学家笛卡尔命名——而是使用 和 坐标(或极坐标);那么,如果 是任意曲线上长度为 的一小段弧,其长度 是待求的(见下图), 为极点,那么距离 通常与 相差一个微小量 。如果小角 称为 ,那么点 的极坐标为 和 ,点 的极坐标为 和 。设 垂直于 ,并设 ;那么 ,只要 是一个非常小的角,它就非常接近于 。同样,,且 非常接近于 ,弧 非常接近于弦 。实际上,我们可以写 ,并且弧 弦 而不会有明显误差,因此我们有:
除以 得到 ;因此 因此,由于长度 由 和 之间的所有微小段 之和组成,我们有
我们可以立即着手计算几个例子。
例 22.1。圆心在原点的圆的方程——即 轴与 轴的交点——是 ;求四分之一圆弧的长度。
解。
且 所以 因此 并且由于 ,
我们想要的长度——四分之一圆弧——从 的点延伸到 的点。我们将其表示为
或者更简单地,写成 积分符号右侧的 0 和 仅仅意味着积分只在曲线的一部分上进行,即 和 之间的部分,正如我们在此处所见。
这是一个你从未见过的新积分!你能处理它吗?
在关于三角函数的导数的章节中,我们对 (也记为 )进行了微分,并发现 。如果你已经尝试了给定示例的所有变体(你应该这样做!),你可能尝试过对类似 的函数进行微分,这给出了 也就是说,正好是我们这里要积分的表达式。
因此 其中 是常数。
由于积分只在 和 之间进行,我们写成
然后按照例 [eg:Ch19-1] 中解释的方法进行,我们得到 或 因为 是 , 是零,并且常数 消失了,如前所示。
因此,四分之一圆弧的长度是 ,而圆周长度是其四倍,即 。
例 22.2。求圆周 上 和 之间的弧 的长度(见下图)。
解。 此处,按照前例的方法进行,
用新的、尚不熟悉的方法得到的结果,最好总是加以验证。这很容易,因为 因此 且
因此,弧 的长度是 长度单位。
[回忆:圆弧长度 = 弧角(以弧度为单位) 圆半径。]
如果每次计算的结果没有记录足够的小数位数,两种方法得到的结果之间可能会出现微小差异。
例 22.3。求曲线
在 和 之间的一段弧的长度。(这条曲线是悬链线。)
解。 现在 所以 我们可以将 2 替换为 ;然后 这里 ,且
例 22.4。一条曲线具有这样的性质:从曲线上任意一点 处的切线(见下图),从 到切线与固定直线 的交点 的长度是常数 。求这条曲线(称为曳物线)的一段弧的表达式,并求当 时,在纵坐标 和 之间的长度。
解。 我们将固定直线取为 轴。点 ,其中 ,是曲线上的一个点,曲线在 处必须与 相切。我们取 为 轴; 和 被称为对称轴,即曲线关于它们对称;。
如果我们考虑曲线在 处的一小段 ,那么 (负号是因为曲线向右下方倾斜,见此处)。
因此 即 当 时,所以 且 。
由此可得 当 时, 和 之间的 因此为 因为符号 仅表示长度测量的方向,是从 到 ,还是从 到 。
请注意,这个结果是在不知道曲线方程的情况下得到的。这有时是可能的。然而,为了得到由横坐标(即它们的 值)给出的两点之间的弧长,有必要知道曲线的方程:这很容易如下得到: 因此
积分将给出 和 之间的关系,这就是曲线的方程
为了积分,设 或 。那么 并且积分变为 由于 我们可以将积分重写为 因此,曳物线的方程为
如果 ,和之前一样,并且需要计算从 到 的弧长,那么要算出对应于任意给定数值 的 值并非易事。然而,当给定 的值如下时,通过作图法可以轻松地获得任意接近精确值的近似值:
绘制图形,给 赋予合适的值,比如 3, 。从该图形中,找出与确定所需弧长的两个给定 值相对应的 值,其精度尽可能达到图形比例尺的允许范围。当然,对于 ;假设对于 ,你在图形上找到 。这仅仅是近似值。现在,尽可能用大的比例尺再次绘图,只取三个 值:, , 。在这第二条几乎但不是完全直线的图形上,你很可能能够读取精确到小数点后三位的任何 值,这对我们的目的来说已经足够了。我们从图形中发现, 对应于 。于是
如果我们想要一个更精确的 值,我们可以绘制第三条图形,取 的值为 1.722, 1.723, 这将给我们提供精确到小数点后五位的对应于 的 值,依此类推,直到达到所需的精度。
例 22.5。求对数螺线 在 和 弧度之间的一段弧长(如下图)。
解。 你还记得对 求导吗?这是一个很容易记住的导数,因为无论对它做什么,它始终保持不变:(参见第 页)。
这里,由于 。
如果我们反转这个过程并对 进行积分,我们会回到 ,常数 总是由这样的过程引入,正如我们在第 17 章中看到的那样。
因此有
在两个给定值 和 之间积分,我们得到
长度单位 因为当 时 。
例 22.6。求对数螺线 在 和 之间的一段弧长。
解。 正如我们刚才所见,
例 22.7。作为最后一个例子,让我们完整地处理一个导致典型积分的情况,该积分对于本章末尾的几个练习将是有用的。让我们求曲线 的弧长表达式。
解。
用分部积分法积分:令 则 通过第 9 章中解释的微分方法得到。
由于 (参见分部积分法),我们有
另外,我们可以写成 因此
将 (1) 和 (2) 相加,我们得到
剩下要积分的是 ;为此,令 则
对此式求导以消去常数,我们得到 即 将其代入 我们得到 因此
将其代入 (3) 并除以 2,我们最终得到 这可以在任何给定限值之间轻松计算。
你现在应该能够成功地尝试以下练习了。你会发现绘制曲线并在可能的情况下通过测量验证结果既有趣又有启发性。
积分通常属于例 20.5、例 20.6 或例 22.7 中所示的那种类型。
练习
练习 22.1。求直线 在 和 两点之间的长度。
答案
。
解答
验证答案:
当
当
弧长
练习 22.2。求直线 在 和 两点之间的长度。
答案
解答
练习 22.3。求曲线 在 和 两点之间的长度。
答案
。
解答
令 ,则
因此
练习 22.4。求曲线 在 和 两点之间的长度。
答案
。
解答
在本章中,我们学习了
这里 。因此
练习 22.5。求曲线 在 和 两点之间的长度。
答案
。
解答
再次使用公式 我们得到
练习 22.6。求曲线 和 在 和 之间的长度。
答案
。
解答
类似地
练习 22.7。求曲线 的长度。
答案
。
解答
要计算 ,我们需要对 求导。在第 15 章的一个练习中,我们已经对它求过导。然而,如果你不记得结果,我们可以再次使用商法则推导:
因此,
由于
(假设 )
但 ,因此
由于 或
结果可以写成
这里我们假设了 。
注:让我们在极坐标中写出方程 。由于 ,我们有 两边乘以 (当它不等于 时)得到 但 。因此,我们想要求出垂直线 在 到 之间的长度。现在我们可以说上述公式是有意义的。
练习 22.8。求曲线 在 和 之间的弧长。
答案
且 。
解答
对于这个问题,我们使用公式
当 且当
(我们处理上分支 )
因此
再次,由于 我们有
练习 22.9。求曲线 在 和 之间的弧长。
答案
且 。
解答
我们首先对 关于 求导:
曲线的长度 由积分给出:
为了计算这个积分,我们进行代换 并应用以下公式:
我们在上述公式中代入 和 :
练习 22.10。求曲线 在 和 之间的弧长。
(注:此曲线是直角坐标下的,不同于极坐标下的对数螺线 。两个方程相似,但曲线完全不同。)
答案
。进行代换 得到 且 。
解答
方法 (a)
令 或 。则
或
且
由于 我们可以写成
经过一些运算,我们得到
因此
且
方法 (b)
当 时,
当 时,。
因此, 进行代换: 则 所以 使用部分分式: 因此
最后 与之前相同。
练习 22.11。一条曲线上点的坐标为 和 是一个在 0 和 之间变化的角。求该曲线的长度。(它被称为摆线。)
答案
且 。
解答
我们从
开始,然后
且 这里 且
由于 ,我们得到
对于 。因此
练习 22.12。求曲线 在 和 两点之间的长度。
答案
。
解答
当 时,
当 时,
因此,
回忆(见示例 22.7)
因此,
且
练习 22.13。求曲线 的弧长表达式。
答案
。
解答
令 。则 或
且
练习 22.14。求曲线 在 和 两点之间的长度。
答案
。
解答
在之前的练习中,我们证明了曲线 在 和 之间的弧长由下式给出
在这个练习中 且 。因此,弧长由下式给出
练习 22.15。求曲线 在 和 之间的长度。
答案
。
解答
且
为了求 ,令 。则
且
练习 22.16。求曲线 在 和 之间的长度。
答案
。
解答
且
由于 ,则
由于 ,我们得到