☰
定积分求弓形投影面积:圆弧逼近直线时的极限与意义
2026/10/13 2:49:06 网站建设 项目流程

最近在给一位学微积分的同学梳理“定积分应用”时,他拿着一个弓形的题问我:“这个圆弧的投影面积我算出来了,但如果圆弧慢慢变得接近直线,面积到底会怎么变?”这个问题看起来只是极限,做起来才发现里面藏了不少东西。围绕圆弧直线(圆弧段和它所对应的弦围成的弓形)的定积分,我们先把特殊位置上的投影面积算透,再看它趋于直线时的极限。这一篇只处理“特殊位置”,也就是圆弧对称、弦水平放置的情形;一般位置的公式推导比较复杂,留到下一篇再展开。

1. 从弓形到投影面积:先把题目里几个词钉死

1.1 “圆弧直线”我打算怎么理解

标题里“圆弧直线”这四个字,我理解成“一段圆弧和一条直线段围成的封闭图形”。最典型的对象就是弓形:取圆上的一段弧,把弧的两个端点用直线段连起来,弧和弦之间围出来的那块区域。

很多教材里直接叫它“弓形”,但工程制图和物理问题中更常强调边界组成:“圆弧加直线”。当这个弓形的弧很扁、很平缓时,它和直线几乎看不出差别;可一旦真正要算面积,弧的弯曲仍然会产生一个微小但确定的贡献。这正是“圆弧趋于直线”时值得专门研究的原因。

处理这类问题,第一步不是急着列积分式,而是先摆坐标系。通常我们愿意把弦放在坐标轴上,让圆弧关于某条坐标轴对称。为什么?因为定积分计算的是某个方向上的投影面积,坐标摆得顺,被积函数就简单;坐标摆不顺,连上下限都会变得很啰嗦。

1.2 定积分为什么等同于“投影面积”

定积分 ∫_a^b y(x) dx 的几何意义是曲线 y(x) 和 x 轴围成的面积。更仔细地看,它把整个区域切成一排垂直细条,每个细条宽度是 dx,高度是 y(x)。这排细条的面积总和,其实就是“曲线边界向 x 轴方向投影”所覆盖的面积。

我习惯把这个解释给学生听:圆弧本身没有厚度,它在 x 轴方向投下了一片阴影,定积分求的就是这片阴影的面积。所谓“投影面积”,不是弧长,不是侧面积,就是阴影覆盖的面积。

理解了这一点,后面所有计算都会围绕一个动作:把圆弧写成 y(x) 的形式,再对 x 积分。特殊位置的好处是圆弧的表达式往往长得对称、整齐,求导简单,换元也顺手。

2. 特殊位置第一站:直径坐落在积分轴上的半圆

2.1 直接积分:从算术平均到圆的面积公式

最特殊的弓形,莫过于圆弧的端点恰好是直径的两个端点。这时弦就是直径,圆弧是半圆。

圆心放在原点,半径 R,那么上半圆就是:

y = sqrt(R^2 - x^2)

其中 x 的范围是 [-R, R]。半圆下方和 x 轴之间的面积,也就是通常说的半圆面积,写成定积分就是:

S = ∫_{-R}^{R} sqrt(R^2 - x^2) dx

这个积分用什么方法?最直接的是注意到它本身就是“半径为 R 的半圆面积”,但我们最好还是亲手推一遍,因为下面更一般的情形会用到同一个技术。

先利用对称性写成一倍区间:

S = 2 ∫_0^R sqrt(R^2 - x^2) dx

对 sqrt(R^2 - x^2) 积分,最自然的代换是 x = R sinθ。这样 dx = R cosθ dθ,而平方根变成:

sqrt(R^2 - x^2) = sqrt(R^2(1 - sin²θ)) = R cosθ

注意当 x 从 0 变到 R 时,θ 从 0 变到 π/2,在这个区间里 cosθ ≥ 0,所以不用加绝对值。于是:

S = 2 ∫_0^{π/2} R cosθ · R cosθ dθ = 2R² ∫_0^{π/2} cos²θ dθ

用倍角公式 cos²θ = (1 + cos2θ)/2:

∫_0^{π/2} cos²θ dθ = 1/2 ∫_0^{π/2} (1 + cos2θ) dθ = 1/2 [θ + sin2θ/2]_0^{π/2} = π/4

所以:

S = 2R² · π/4 = πR²/2

正好是整圆面积 πR² 的一半。这个结果很朴素,却验证了一件事:定积分求投影面积,不会漏掉圆弧边界那部分弯曲的贡献。

2.2 换元之后的额外收获

用 x = R sinθ 处理圆弧积分,不只是为了算半圆。把 x 和 θ 的关系记下来,后面处理“弦不是直径”的弓形时,只需要把积分区间从 [-R, R] 收缩成 [-a, a] 即可。

换元时必须注意上下限同步变化。x = -R 时 sinθ = -1,所以 θ = -π/2;x = R 时 θ = π/2。不能只改被积函数而忘了积分限,这是最容易踩的坑之一。我自己刚开始学微积分时,就经常出现“换元以后上下限不变”的错觉,结果积分区间完全错了,答案自然差得离谱。

把半圆的式子再整理一下,会发现它其实是下一个特殊位置公式的一个特例。所以这一站别看简单,它是后面所有计算的“路标”。

3. 特殊位置第二站:水平小弓形与经典弓形面积公式

3.1 模型的建立:圆心放在弦的下方

现在处理真正的“圆弧直线”弓形:弦是水平的,圆弧在弦的上方,而且圆弧关于 y 轴对称。为了保持对称,圆心必须位于弦的中垂线上。假设弦的两个端点是 (-a,0) 和 (a,0),圆心放在弦的下方,坐标为 (0, -k),圆的半径为 R。

因为端点 (-a,0) 在圆上,所以:

a² + k² = R²

也就是:

k = sqrt(R² - a²)

圆心在 x 轴下方,半径 R 又比 k 大,因此圆会在 x 轴上方“拱”出一段弧。这段弧的方程是:

y = sqrt(R² - x²) - k

为什么是这个形式?圆的一般方程是 x² + (y + k)² = R²,解出下半部分和上半部分其实是:

y = -k ± sqrt(R² - x²)

y 取正号就是上方那支。由于 k > 0,取正号后,在 x = ±a 处,y = sqrt(R² - a²) - k = 0,正好回到弦的两个端点;在 x = 0 处,y = R - k,这就是拱高(矢高)。当 R 远远大于 a 时,R - k ≈ a²/(2R),拱很扁。

3.2 完整推导弓形面积公式

现在要求投影面积:

S = ∫_{-a}^{a} [sqrt(R² - x²) - k] dx

拆成两项:

S = ∫_{-a}^{a} sqrt(R² - x²) dx - 2ak

第一项是上一节已经做过的积分,只不过上下限从 ±R 换成了 ±a。套用刚才的结果:

∫_{-a}^{a} sqrt(R² - x²) dx = a·sqrt(R² - a²) + R²·arcsin(a/R)

为什么这是对的?可以直接验证。对函数

F(x) = (x/2)·sqrt(R² - x²) + (R²/2)·arcsin(x/R)

求导,正好得到 sqrt(R² - x²)。所以用牛顿莱布尼茨公式:

F(a) - F(-a) = a·sqrt(R² - a²) + R²·arcsin(a/R)

其中用到 arcsin 是奇函数,F(-a) 里的项会抵消掉一半。再把减号后面的 2ak 拿进来,注意 k = sqrt(R² - a²),于是:

S = a·sqrt(R² - a²) + R²·arcsin(a/R) - 2a·sqrt(R² - a²)

整理:

S = R²·arcsin(a/R) - a·sqrt(R² - a²)

这就是经典的水平弓形面积公式。它整个就是一个“圆弧直线”闭合区域的投影面积,推导过程没有绕任何弯路,关键是上半圆的积分结果和端点处 y = 0 这两个条件凑得刚刚好。

3.3 公式自检:a 趋近 R 时回到半圆

拿到一个公式,第一件事是检查特殊情况。如果 a 很小,弓形很矮,公式应该给出一个很小的面积;如果 a 趋近 R,弦长接近直径,圆弧几乎变成半圆,公式应该回到 πR²/2。

看公式:

S = R²·arcsin(a/R) - a·sqrt(R² - a²)

当 a → R 时,sqrt(R² - a²) → 0,arcsin(a/R) → arcsin(1) = π/2,所以:

S → R² · π/2 = πR²/2

正好是半圆面积。这说明公式本身是自洽的。这个自检步骤虽然简单,但能很快发现正负号错误。我以前推式子时经常把某个符号写反,最后就是用这种极限特例救回来的。

4. 圆弧“趋于直线”:这个极限到底想表达什么

4.1 固定的弦长才是“趋于直线”的锚点

我们说“圆弧趋于直线”,不能含糊地说“半径越来越大”。必须问:什么保持不变?标准做法是固定半弦长 a,让半径 R 趋向无穷大。这时圆的曲率 1/R 趋于 0,圆弧段在视觉上越来越平,最终贴近弦。

弓形的拱高可以定量看出这一点。x = 0 处的拱高为:

s = R - k = R - sqrt(R² - a²)

把平方差有理化:

s = a² / (R + sqrt(R² - a²))

当 R → ∞ 时,分母趋于 2R,所以:

s ≈ a²/(2R) → 0

也就是说,固定 a 后,半径越大,拱顶越矮,弧线无限贴近水平直线段。

同时,弧长也有极限。圆弧对应的圆心角是 2·arcsin(a/R),弧长:

L = 2R·arcsin(a/R) ≈ 2a + a³/(3R²)

当 R → ∞ 时,L → 2a,也就是弦长。这说明长度方面,圆弧确实“变成”了直线段。

这个“固定弦长、增大半径”的极限过程,才是标题里“趋于直线”的准确含义。如果想让圆弧自己变成直线,半径不趋向无穷是不现实的。

下面这张表把三个量的极限行为放一起,看得更清楚:

量表达式R → ∞(a 固定)
拱高 sR - sqrt(R² - a²)0
弧长 L2R·arcsin(a/R)2a
弓形面积 SR²·arcsin(a/R) - a·sqrt(R² - a²)0

面积趋于 0 并不奇怪,因为弓形越压越扁,可它的“抗压”方式很值得研究:面积以什么速度趋近 0?是 1/R,1/R²,还是别的阶数?

4.2 一个错误示范:直接让 R 趋于无穷大

有人可能想直接把公式里的 arcsin(a/R) 展开后令 R = ∞,结果发现 S = 0,然后就觉得“面积极限为 0,没什么可研究的”。这不能算错,但丢掉了最重要的信息。

问题在于,S → 0 是一阶信息,描述的是“圆弧直线区域完全被压平”。可我们还想知道:它被压平时的“剩余弯曲量”到底多大?为了识别这一层,必须把 S 放大后再取极限,也就是考察 R·S。

为什么用 R 来放大?因为圆的曲率是 1/R。面积作为弯曲效应的体现,其主导项自然应该正比于曲率。这就像用尺子量微小位移:直接看绝对值可能全是 0,把它放大后再看,才能看出细微的差别。

如果你试过直接代入,还会碰到另一个问题:R → ∞ 时,sqrt(R² - x²) 和 k 都是很大的量,两者相减得到的 y 是微小量,数值上会产生严重的抵消误差。所以无论解析还是数值,都不能让 R 无限大还在积分号里做近似,必须先完成积分,再对最后结果做渐近展开。

5. 特殊位置下的极限:弓形面积悄悄变成抛物线面积

5.1 展开 S 并按 R·S 取极限

把弓形面积公式做渐近展开。固定 a,令 u = a/R,u 是趋于 0 的小量。用到两个展开:

arcsin u = u + u³/6 + 3u⁵/40 + O(u⁷)

sqrt(1 - u²) = 1 - u²/2 - u⁴/8 + O(u⁶)

于是:

R²·arcsin(a/R) = R²·[a/R + a³/(6R³) + 3a⁵/(40R⁵) + ...]

= aR + a³/(6R) + 3a⁵/(40R³) + ...

a·sqrt(R² - a²) = aR·sqrt(1 - a²/R²)

= aR·[1 - a²/(2R²) - a⁴/(8R⁴) + ...]

= aR - a³/(2R) - a⁵/(8R³) + ...

两者相减,第一项 aR 抵消掉,得到:

S = [a³/(6R) + 3a⁵/(40R³) + ...] - [-a³/(2R) - a⁵/(8R³) + ...]

= 2a³/(3R) + a⁵/(5R³) + ...

所以:

R·S = 2a³/3 + a⁵/(5R²) + ...

当 R → ∞ 时:

lim_{R→∞} R·S = 2a³/3

这个极限既不是 0,也不是无穷大,而是由弦长 a 决定的一个有限值。它才是圆弧趋于直线时,投影面积留给我们的“弯曲痕迹”。

5.2 几何验证:抛物线弓形面积

这个 2a³/3 有没有几何含义?有,它恰好是一个抛物线与弦围成的弓形面积。

在刚才的极限过程里,Arc 上的点满足:

y = sqrt(R² - x²) - k

把根号展开:

sqrt(R² - x²) = R - x²/(2R) - x⁴/(8R³) + ...

k = sqrt(R² - a²) = R - a²/(2R) - a⁴/(8R³) + ...

两式相减,主导项是:

y ≈ (a² - x²) / (2R)

这正是开口向下的抛物线,在 x = ±a 处与弦相交,顶点高度是 a²/(2R)。它的投影面积为:

∫_{-a}^{a} (a² - x²)/(2R) dx

= 1/(2R) · [a²x - x³/3]_{-a}^{a}

= 1/(2R) · (2a³ - 2a³/3)

= 2a³/(3R)

乘上 R 后正是 2a³/3。这非常漂亮:圆弧在极限时并不是“变成”抛物线,而是它的面积主导项与对应的抛物线弓形完全一致。

从微积分的角度解释,这是二阶近似在起作用。任何一条光滑曲线,在固定弦的条件下,如果曲率半径趋于无穷,它的一阶近似都是直线,二阶近似总像一个抛物线,而弓形面积就是由这个二阶项决定的。圆弧之所以特殊,只是因为它能精确写出闭式公式罢了。

5.3 别忘了半圆那个反例

前面半圆公式里,如果让 R → ∞ 且 a = R,也就是弦长跟着半径一起变大,则:

S = πR²/2 → ∞

这时即使乘 R,R·S 也发散。原因是弓形不再被压扁,拱高等于 R,圆弧始终是半个圆。所以“圆弧趋于直线”必须强调固定 a。这个反例提醒我们:极限问题不能只说“半径变大”,一定要说明哪个量保持固定。

这一点在物理和工程里特别常见。比如一块弧形板,如果整体放大,面积当然不会趋近于 0;只有跨度固定而曲率半径增大,板才会“变平”。

6. 实操中的几个提醒和下一个未解的“一般位置”

6.1 换元顺序与上下限

计算 ∫ sqrt(R² - x²) dx 时,x = R sinθ 是标准处理。但要养成习惯,每次换元先写出 x 的边界对应到 θ 的哪个边界。比如 x = -a 时:

θ = arcsin(-a/R) = -arcsin(a/R)

x = a 时:

θ = arcsin(a/R)

于是 sinθ 的上下限就定了。很多同学在这里把 arcsin(-a/R) 直接写成 -arcsin(a/R),但随后又不小心把它当作 -π/2 之类的固定值,导致积分结果多一个常数,最后整个式子就错了。

另一个容易错的地方是平方根开出来的符号。x = R sinθ 在 θ ∈ [-π/2, π/2] 时,cosθ 非负,sqrt(R² - x²) 可以直接写成 R cosθ。可如果某个问题把区间取在 [π/2, 3π/2],cosθ 变负,根号就要写成 |R cosθ|。符号问题不是小事,我见过太多次因为这里漏绝对值,面积算成 0 或者负数的。

6.2 数值验证怎么做

公式推导完,最好做一次数值实验确认。比如取 a = 1,R = 1000,先算理论值:

S ≈ 2/(3·1000) = 0.0006667

再用数值积分粗略验证。但这里有个技巧:不要直接用单精度浮点数去算 sqrt(R² - x²) - k,因为两个巨大数相减会损失有效数字。用 R = 1000,k ≈ 999.9995,y 的最小量级大约是 0.0005,单精度浮点数的有效位数只有 7 位左右,减法误差很容易污染结果。正确做法是用双精度,或者干脆先把 y 改写成:

y = sqrt(R² - x²) - k = (R² - x² - k²) / (sqrt(R² - x²) + k) = (a² - x²) / (sqrt(R² - x²) + k)

这个有理化形式避免了灾难性抵消,数值稳定性好得多。这种细节在小 R 时可有可无,R 越大越明显。

6.3 一般位置要面对的新问题

到这里,特殊位置的圆弧直线定积分已经完整:半圆是弦为直径的退化情形,水平弓形是真正的“圆弧直线”区域,趋于直线时的极限也给出了非平凡的 R·S = 2a³/3。

但特殊位置之所以“特殊”,是因为弦是水平的,而且圆心在弦的中垂线上。如果弦斜着放,圆弧不再关于 y 轴对称,积分区间会变成一个不对称的表达式,积分结果里会出现弦倾角的影子;如果圆弧的两个端点对 x 轴的投影不对称,定积分上下限本身就复杂,甚至需要分段处理。这些都要留到下一篇再仔细拆解。在那之前,把特殊位置的公式和极限彻底吃透,是为了让一般位置的计算有一个清晰的参照系——遇到任何奇怪的位置,都可以用这个特殊结果检验自己对不对。

需要专业的网站建设服务?

联系我们获取免费的网站建设咨询和方案报价,让我们帮助您实现业务目标

立即咨询