📖 家里的积分器:电表 电表上跳的「度」(千瓦时)就是一台积分器在干活:功率 P(t)(kW)随着你开关空调、洗衣机不断变化,电表做的事是把每个瞬间的 P(t)dt 累加起来,W = ∫P(t)dt。老式电表的铝盘转速正比于瞬时功率,累计转数就是「求和」;智能电表则每秒采样一次做加法。你家每月的电费单,本质上是一张定积分的成绩单——只不过计算过程被电表自动化了。
🎯 本章学习目标
- 掌握微元法:先切一小条,写「微元」,再积分求和。
- 会用积分求平面图形面积(含两曲线围成的区域)。
- 会用积分求旋转体体积(圆盘法)。
- 了解曲线弧长的求法。
- 会用极坐标面积公式计算心形线等曲线围成的面积。
- 会用垫圈法求两曲线之间区域的旋转体体积。
- 能实际算出一条曲线的弧长,并用折线逼近法自检结果。
12.1万能招式:微元法
第 10 章我们学过一个四步法:「分割—近似—求和—取极限」。在有了基本定理之后,这套流程可以浓缩成一个更顺手的工具——微元法:
- 切一小条:在 x 处切出一个宽度 dx 的「微元」。
- 写微元表达式:把这一小条的量,写成 dQ = (某函数)·dx 的形式。
- 积分求和:对整个区间积分 Q = ∫ dQ。
微元法的核心在于第 2 步:在小尺度上,把弯曲的东西看成直的、把不均匀的看成均匀的。因为当 dx 足够小时,误差是比 dx 更高阶的无穷小,积分后误差消失,得到精确值。
微元法从哪来:四步法的「速通版」
第 10 章的四步法是「分割—近似—求和—取极限」:先切 n 份、每份做近似、加起来、再让分割无限变细。微元法把这套流程压缩成了两步半:直接在 x 处象征性地切一条宽 dx 的微元,写出 dQ = f(x)dx,然后积分。被省略的「求和、取极限」去哪了?——积分号 ∫ 本身就是「求和 + 取极限」的打包符号(∫ 是拉长的字母 S,取自 Sum 的首字母)。所以微元法不是什么新原理,而是四步法的速记法:写一步微元,等于替你把四步走完。
误差去哪了:一笔定量账
「把弯的看成直的」明明是近似,为什么积分之后得到精确值?设每一小条的近似误差是 o(dx)——比 dx 更高阶的无穷小。整个区间 [a,b] 大约切了 n = (b−a)/dx 条,总误差不超过 n·o(dx) = (b−a)·o(dx)/dx。当 dx→0 时,o(dx)/dx→0,于是总误差→0。一句话:「条数增加」与「单条误差减小」在赛跑,后者赢得干干净净——高阶无穷小这个身份,就是误差的「死刑判决书」。
化整为零的通用范式:不止几何
本章用微元法算面积、体积、弧长,但这只是「入门套餐」。凡能写成「密度 × 尺寸」的不均匀总量,都在微元法的地盘内:
- 变密度细棒的质量:dM = ρ(x) dx(线密度 × 长度微元);
- 变力做的功:dW = F(x) dx(力 × 位移微元);
- 变化的电流充入的电量:dQ = i(t) dt(电流 × 时间微元);
- 变化的注水速率灌入的水量:dV = q(t) dt(速率 × 时间微元)。
它们的共同点是:总量 = 各处的「密度」在区间上的积分。「均匀时用乘法,不均匀时用积分」——这十二个字就是微元法的全部哲学。
📐 例题 1 变密度细棒的质量
一根长 4 cm 的合金细棒,离左端 x cm 处的线密度为 ρ(x) = (1 + x²) g/cm。求整根棒的总质量。
思路 密度随位置变化,直接相乘失效,换微元法:在 x 处切一小段 dx,这一小段近似均匀,质量微元 dM = ρ(x)dx,再积分求和。
解 M = ∫04(1 + x²) dx = [x + x³/3]04 = (4 + 64/3) − 0 = 76/3 ≈ 25.33 g。
答:总质量 76/3 ≈ 25.33 克。⚠ 易错点:线密度的单位是 g/cm,必须乘上 dx(cm)才得到 g——单位配平是微元式的第一道安检。
微元式的两道安检 ①量纲配平:dQ = f(x)·dx 中,f 的单位乘 dx 的单位必须等于 Q 的单位(密度×长度=质量,功率×时间=能量)。②常数退回检查:把 f(x) 换成常数 c,公式应当退回「c × 总尺寸」的常识形态——本例若 ρ 恒为 1 g/cm,积分结果应是 4 g(密度×棒长),一验即中。两关都过,微元式基本就立住了。
一张表看懂:四步法与微元法的对应
| 第 10 章四步法 | 微元法 | 两者关系 |
|---|---|---|
| 分割 [a,b] 为 n 份,每份宽 Δx | 在 x 处切一条宽 dx 的微元 | dx 是 Δx 的「极限化身」 |
| 每份近似为 f(ξᵢ)Δxᵢ(ξᵢ 任取) | 写 dQ = f(x)dx | ξ 直接取在端点 x 处 |
| 求和 Σ f(ξᵢ)Δxᵢ | 积分号 ∫ | ∫ 是拉长的 S,Sum 的首字母 |
| 取极限 λ→0 | (已打包在 ∫ 里) | 定积分的定义替你完成 |
看得出来:微元法的每一步都能在四步法里找到出处。用微元法解题,不是学新招,而是把老招式练到肌肉记忆。
微元法的心法 先局部近似(写微元 dQ),再全局精确(积分 ∫ dQ)。遇到任何「求总量」的问题,先问自己:在 x 处一小条 dx 上,这个量是多少?
🧠 一句话记忆 微元法:切一小条 → 写 dQ → 加起来(积分)。
微元法五连问(标准作业流程) ①总量 Q 是什么(质量、面积、体积、弧长还是功)?②沿哪个方向切——对 x、对 y,还是换极坐标?③在代表点写出微元 dQ = f·dx,并过「量纲配平」与「常数退回」两道安检;④积分限怎么定(交点、端点、转角范围)?⑤积分、代入、必要时数值抽查。五问齐答,微元法题目基本无处遁形——本章四个小节(面积、体积、弧长、非几何量),每道题都能被这五问拆解干净。
微元法的适用边界:可加量才配写 dQ
五连问把流程讲全了,但流程的前置资格更该先审:微元法只对「可加量」成立——总量等于各部分之和的量(质量、面积、体积、功、电量、力矩)。凡是「强度量」——密度、压强、温度、质心坐标、平均速率——都不能直接写 dQ = f dx:把两段棒的「平均密度」加起来毫无意义。强度量走微元法有两条正路:乘上载体变可加(线密度 × 长度元 = 质量元、压强 × 面积元 = 力元),或走比值路线(分子分母各积一次再相除,见下面质心例题)。同一招的变体:变速运动的「时间平均速率」也不是 ∫v dt,而是 ∫v dt ÷ ∫dt——又一个「先积两个可加量、再相除」的比值路线成员。资格审只需一问:「把区域切成两半,总量是不是两半之和?」答「是」,dQ 才有资格动笔。
两道安检之外再加一道离散抽查:取 n = 1000 的右端黎曼和数值求和,与积分值对比,误差应与 1/n 同阶。对本节例题 1 的棒(ρ = 1 + x²,[0, 4]):积分精确值 76/3 ≈ 25.333 g,n = 1000 右端和 ≈ 25.365 g,差约 0.032 g——恰等于「半格宽 × 总增量」(Δx/2)·[ρ(4) − ρ(0)] = 0.002×16 = 0.032 g(右端和对递增函数系统性偏高)。三道检验全过,微元式从「推导」升格为「验证过的结论」——「先积分、再抽查」是工程上新公式上岗前的标准回归测试。
离散抽查同时回答一个更深层的问题:微元法「丢掉的高阶项」去哪了。dQ = f(x)dx + o(dx) 的尾部,在求和后被 (b − a)·λ·max|f′| 量级的小量锁死——上例 0.032 g 的可见残影正是它。所以微元法不是「近似的将就」:它把误差的阶提前写进了公式结构里,取极限时误差必然消散——这是它与「拿矩形硬贴曲线」的粗糙手算的本质区别。
物理应用补强:变力做功与质心(全数值两例)
📐 例题 13 弹簧变力做功:功跟过程区间走
胡克定律:拉长 x m 需力 F(x) = kx,k = 200 N/m。(a)从自然长度拉长到 0.3 m,外力做多少功?(b)若已拉长 0.1 m,再拉到 0.3 m,做多少功?
思路 力随位置连续变化,W = ∫ab F(x)dx;两问唯一差别是积分下限——「功」是过程量,跟区间走,不跟终点走。
解 (a) W₁ = ∫00.3 200x dx = 100x²|00.3 = 100×0.09 = 9 J。(b) W₂ = ∫0.10.3 200x dx = 100×(0.09 − 0.01) = 8 J。对账:前 0.1 m 单独做功 100×0.01 = 1 J,恰为 9 − 8,三段账目互相咬合。
答:W₁ = 9 J,W₂ = 8 J。 ⚠ 易错点:「平均值 × 位移」估功取错平均——力从 0 线性涨到 60 N,全程平均只有 30 N(线性函数平均 = 两端点平均),W = 30×0.3 = 9 J 才对;按末端力 60 N 硬乘得 18 J,是把「末端力」当成了「全程力」。(b) 若忘改下限,会把已做过的 1 J 重复计入。
适用范围备注:胡克定律只在弹性极限内成立——拉力一旦超过弹性极限,F(x) 与 x 不再线性。但微元法照用不误(dW = F(x)dx 的结构不变),只是 F(x) 换成实测标定曲线:微元法从不挑函数,只挑可加性——这正是它配称「万能招式」的原因。
📐 例题 14 变密度细棒的质心:强度量的比值路线
仍用例题 1 的棒:长 4 cm,线密度 ρ(x) = (1 + x²) g/cm。求质心位置 x̄(距左端多少 cm)。
思路 质心是强度量、不可加——两段棒质心相加没有意义,不存在「d x̄」。正路是比值:分子积「一阶矩」∫x·ρ(x)dx(每小段质量 × 力臂,可加),分母积总质量 ∫ρ(x)dx,相除即得。
解 总质量 M = 76/3 ≈ 25.333 g(例题 1 已算)。一阶矩 ∫04 x(1 + x²)dx = [x²/2 + x⁴/4]04 = 8 + 64 = 72 g·cm。x̄ = 72 ÷ (76/3) = 216/76 = 54/19 ≈ 2.842 cm。质量分布核查:左半 [0, 2] 占 14/3 ≈ 4.667 g,右半 [2, 4] 占 62/3 ≈ 20.667 g——右半拿走全棒质量的 31/38 ≈ 81.6%,质心大幅右移因此顺理成章。
可加性自检三连问(本章路线图) 拿到新量先问三句:①切两半,总量 = 两半之和吗?(可加,直接 dQ = f dx)②是强度量吗?要不要先乘载体变可加?(密度 × 体积元 = 质量元)③是「先积再除」型吗?(比值路线)三问定位完,例题 13 的功与全章的面积、体积、弧长都走①,例题 1 的质量走②,例题 14 的质心走③——一张路线图收拢本章全部题型。
答:质心距左端 54/19 ≈ 2.842 cm。 ⚠ 易错点:一是把几何中点 2 cm 当质心——密度右高左低,质心必然右移,2.842 > 2 正是直觉的定量版;二是量纲——一阶矩 g·cm 除以质量 g 回到 cm,配平自检顺手完成。工程里载荷分布的合力中心、变截面梁的形心,用的正是这套「一阶矩 ÷ 总量」算法。
12.2求平面图形的面积
由第 10、11 章,我们已经知道:曲线 y=f(x)(f≥0)在 [a,b] 下的面积是:
S = ∫ab f(x) dx
现在推广一点:两条曲线围成的面积。若上方曲线是 y = f(x),下方是 y = g(x)(f ≥ g),那么在 x 处的一小条,高度是 f(x) − g(x),宽度 dx,微元 dS = [f(x) − g(x)] dx。于是:
两曲线围成面积 S = ∫ab [f(x) − g(x)] dx,其中 f 在上、g 在下,a、b 是两曲线的交点横坐标。
交点定限:代数先行,几何后动
两曲线求面积的第一步永远是联立方程找交点——交点给出积分限。第二步判断谁上谁下(取一个中间点代入试一下即可)。这两步都是代数活:积分限解错、上下颠倒,后面算得再漂亮也是白算。
📐 例题 2 抛物线与直线围成的面积
求抛物线 y = x² 与直线 y = x + 2 围成区域的面积。
思路 ①联立求交点:x² = x + 2 → x² − x − 2 = 0 → (x+1)(x−2) = 0,交点 (−1, 1) 与 (2, 4)。②判上下:取中间点 x = 0,直线值 2 > 抛物线值 0,直线在上。③积分「上减下」。
解 S = ∫−12(x + 2 − x²) dx = [x²/2 + 2x − x³/3]−12 = (2 + 4 − 8/3) − (1/2 − 2 + 1/3) = 10/3 − (−7/6) = 20/6 + 7/6 = 27/6 = 9/2。
答:S = 9/2 = 4.5。⚠ 易错点:N-L 公式减的是「下限处的原函数值」这个整体——本例下限代入值为 −7/6,是负数,减负得正;符号处理是这道题最容易翻车的地方。
曲线交叉时:先分块,再分积分
若两条曲线在中途交换上下位置(交叉),「上减下」在整段区间上就不再成立——正确做法是在交叉点切开、分块积分、各自「上减下」再相加。例如 y = sin x 与 y = cos x 在 [0, π/2] 上围成的面积:两者在 x = π/4 处交叉,于是 S = ∫0π/4(cos x − sin x)dx + ∫π/4π/2(sin x − cos x)dx = (√2−1) + (√2−1) = 2(√2−1) ≈ 0.828。若偷懒只写一块,负面积会悄悄吃掉一半结果——「分块」是积分应用里屡试不爽的补丁。
例如求 y = x 与 y = x² 围成的面积(两曲线交于 x=0 和 x=1,且 x ≥ x² 在 [0,1] 上):
S = ∫01 (x − x²) dx = [x²/2 − x³/3]01 = 1/2 − 1/3 = 1/6
对称性:能省一半就省一半
📐 例题 3 椭圆面积:对称性 + 换元
求椭圆 x²/a² + y²/b² = 1 围成的面积。
思路 椭圆关于 x 轴、y 轴都对称,只算第一象限再乘 4。上半椭圆 y = b√(1 − x²/a²),积分区间 [0, a]。
解 S = 4∫0a b√(1 − x²/a²) dx。用第 11 章的换元法:令 x = a sin t,则 dx = a cos t dt,根号化为 √(1 − sin²t) = cos t,积分限 x=0 → t=0、x=a → t=π/2。于是 S = 4ab∫0π/2 cos²t dt。再由 cos²t = (1 + cos 2t)/2,得 ∫0π/2cos²t dt = π/4,故 S = 4ab · π/4 = πab。
答:S = πab。当 a = b = r 时自动退回圆面积 πr²——公式自洽的旁证。⚠ 易错点:换元后积分限必须同步换成 t 的限(第 11 章「三同步」);另外被积因子 b 与 dx 中的 a 别混,面积按 ab 成对出现才是对的量纲。
极坐标:旋转对称图形的主场
有些图形绕着原点「转」——心形线、玫瑰线、螺线。用直角坐标描述它们别扭,用极坐标 (r, θ) 则浑然天成:一个点由「到极点的距离 r」与「方向角 θ」定位。此时面积微元不再是竖条,而是小扇形:角度 dθ 对应的小扇形近似为半径 r、底边弧长 r·dθ 的小「三角形」,面积 dS = ½ · 底 · 高 = ½ r² dθ。于是:
极坐标面积公式 S = ∫αβ ½ r²(θ) dθ(θ 从 α 转到 β)。直觉:小扇形面积 = ½ × 弧长(r·dθ) × 半径(r)。当 r 恒为常数 R、θ 转满 2π 时,公式退回 πR²——圆面积,又一次「常数退回检查」通过。
📐 例题 4 心形线围成的面积
求心形线 r = 1 + cos θ(0 ≤ θ ≤ 2π)围成的面积。
思路 心形线关于极轴对称,可以只算上半(0 到 π)再乘 2;这里直接算整圈,展示完整流程。
解 S = ∫02π ½(1 + cos θ)² dθ = ½∫02π(1 + 2cos θ + cos²θ) dθ。逐项积分:∫1·dθ = 2π;∫2cos θ dθ = [2sin θ]02π = 0(整圈正负抵消,第 10 章「有向面积」在 θ 世界同样成立);∫cos²θ dθ = ∫(1+cos 2θ)/2 dθ = π。合计 S = ½(2π + 0 + π) = 3π/2。
答:S = 3π/2 ≈ 4.712。⚠ 易错点:中间项 2cos θ 整圈积分为零是「算出来的对称抵消」,不是「可以扔掉的零」——先积分、再观察到零,与直接跳过是两回事。
工程视角 湖泊面积、机翼平面投影面积的估算里都有极坐标的影子:测绘上用「测站 + 方向角 + 距离」记录边界点,把边界拟合成 r(θ),面积就是 ½∫r²dθ。地图 App 里圈选一块区域就显示面积,背后正是这套微元加和。
📐 例题 5 四瓣玫瑰线一瓣的面积
求玫瑰线 r = cos 2θ 四片花瓣中一片的面积,并给出整朵玫瑰线的总面积。
思路 先找「一瓣」的 θ 范围:令 r = 0 得 cos 2θ = 0,即 2θ = ±π/2,θ = ±π/4——这正是右瓣的两个端点。于是右瓣对应 θ ∈ [−π/4, π/4]。四瓣形状全等,算一瓣乘 4。
解 一瓣面积 S₁ = ∫−π/4π/4 ½cos²2θ dθ。由 cos²2θ = (1 + cos 4θ)/2,得 S₁ = ½[θ/2 + (sin 4θ)/8]−π/4π/4 = ½[(π/8 + 0) − (−π/8 + 0)] = π/8。整朵总面积 = 4 × π/8 = π/2。
答:一瓣 π/8 ≈ 0.393,整朵 π/2 ≈ 1.571。⚠ 易错点:极坐标面积题的一半功夫在「找瓣的范围」——令 r = 0 解出边界角,范围找错则积分限全错;倍角公式(这里是 2θ)代入时角度别少乘一半。
同一道题的两种积分方向(自检级技巧)
例 2 对 x 积分一步到位;其实对 y 积分也能算——费点劲(要拆两块),但结果必须仍是 9/2,这正好构成一次「独立复算」式的自检。做法:把边界曲线都解成 x 关于 y 的函数。y ∈ [0, 1] 时,区域左右边界是抛物线的两支 x = −√y 与 x = √y;y ∈ [1, 4] 时,左边界换成直线 x = y − 2,右边界仍是 x = √y。于是:
S = ∫01(√y − (−√y))dy + ∫14(√y − (y − 2))dy = 4/3 + 19/6 = 27/6 = 9/2
两条路、一个答案——「双轨对账」式的安心。选方向的口诀:哪边的边界表达式好解、哪边不用拆块,就用哪边;两种做法互为对方的质检员。
选择准则:极坐标还是直角坐标,看谁描述边界更省话
两套坐标系都会算面积之后,问题从「怎么算」升级为「选哪套」。准绳一条:谁让边界表达式更简单、积分更少拆块,就选谁。展开成三问:① 边界是不是「到定点的距离」型图形(圆弧、玫瑰线、心形线、螺旋线)?是 → 极坐标主场。② 区域是不是标准「上下曲边梯形」(y = f(x) 上、y = g(x) 下)?是 → 直角坐标一步到位。③ 两可的混合图形(圆与直线围成等)→ 两套各把「微元 + 限」写到一半再比,谁不用拆块用谁。
上手前的锚点自检:单位圆盘在极坐标下 A = ½∫02π 1² dθ = ½×2π = π,与 πr² 完全咬合——微元 ½r²dθ 通过「常数退回」安检的现场。
对照实例:心形线 r = 1 + cos θ。写成 y(x) 要拆成多段分段函数,写成 r(θ) 只有一行——选择毫无悬念。A = ½∫02π (1 + cos θ)² dθ = ½∫(1 + 2cos θ + cos²θ)dθ = ½(2π + 0 + π) = 3π/2 ≈ 4.712。量级核查:r_max = 2,外包圆盘面积 4π ≈ 12.57,结果落在圈内且量级相合。反过来,直角坐标的招牌区域(抛物线与直线围成)硬译成极坐标,处处出现 √ 与 tan⁻¹,寸步难行——「省话」不是偷懒,是压缩出错面。再看玫瑰线的「拆瓣定限」:r = 2cos 2θ 的一瓣夹在 θ = −π/4 与 π/4 之间,一瓣面积 = ½∫−π/4π/4 4cos²2θ dθ = ½×4×(π/4) = π/2 ≈ 1.571,四瓣合计 2π。极坐标定限的功力全在「读出图形随 θ 的重合与分裂」——一瓣一积再乘瓣数,是玫瑰线、心形线一族的通用解法。工程同款思维:旋转对称件(法兰、卡盘、喷管截面)一律极坐标建模,非旋转件才上直角坐标。选择准则的终极自检只有一句:微元在图上画得出来吗?画得出来,再看拆块与反解的成本;画不出来,坐标系一定选错了。
12.3求旋转体的体积
把曲线 y=f(x) 在 [a,b] 上的一段,绕 x 轴旋转一圈,会扫出一个立体(像一个花瓶或陀螺),叫旋转体。怎么求它的体积?
用微元法:在 x 处切一个厚度 dx 的薄片。这一薄片近似是一个圆盘,半径 r = f(x),所以它的体积微元 dV = π·r²·dx = π·[f(x)]² dx。积分得:
旋转体体积(圆盘法) V = ∫ab π·[f(x)]² dx。
直觉:每个薄片是「半径 f(x) 的圆盘」,体积 = 底面积 πr² × 厚度 dx,再全部加起来。
📐 例题 6 圆盘法实操:一段抛物面
求曲线 y = √x 在 [0, 4] 上的一段绕 x 轴旋转一周所得旋转体的体积。
思路 x 处的圆盘半径 r = √x,薄圆盘体积 dV = π(√x)² dx = πx dx,积分区间 [0, 4]。
解 V = ∫04 πx dx = π[x²/2]04 = 8π ≈ 25.13。
答:V = 8π ≈ 25.13(立方单位)。⚠ 易错点:先平方、再积分——dV 里写的是 [f(x)]²,本例 (√x)² = x 看似顺手,但顺序「平方 → 乘 π → 积分」一步都不能乱。
经典例子:求半径为 R 的球体体积。把上半圆 y = √(R² − x²) 绕 x 轴旋转,就得到球。于是:
V = ∫−RR π(R² − x²) dx = π[R²x − x³/3]−RR = 4πR³/3
我们居然用积分「重新发明」了小学背过的球体体积公式 V = 4πR³/3——这就是微积分的威力:所有那些背过的公式,都能从这里推出来。
再用积分「发明」一个公式:圆锥
📐 例题 7 圆锥体积公式
底半径 R、高 h 的圆锥,可看作直线 y = (R/h)x 在 [0, h] 上绕 x 轴旋转而成。求其体积。
思路 x 处的圆盘半径为 (R/h)x,体积微元 dV = π(R/h)²x² dx。
解 V = ∫0h π(R²/h²)x² dx = π(R²/h²) · [x³/3]0h = πR²h/3。代入 R = 2、h = 3 数值验证:V = 4π ≈ 12.57。
答:V = πR²h/3。与球体积 4πR³/3 一样,圆锥公式也是「先被古人猜出或证出、如今一步推得」的结论——小学背的公式,在这里全部有了出处。
垫圈法:旋转轴不穿过区域时
到目前为止,旋转区域都贴着旋转轴(内半径为零)。若旋转的区域离轴有距离——比如两条曲线之间的区域绕轴旋转——x 处切出的薄片就成了中间带洞的「垫圈」:外半径 R(x)(离轴远的曲线)、内半径 r(x)(离轴近的曲线)。垫圈体积 = 大圆盘 − 小圆盘:
垫圈法 V = ∫ab π[R²(x) − r²(x)] dx。直觉:先当实心圆盘算,再挖去中间被「内曲线」占掉的芯。圆盘法是 r = 0 的特例。
📐 例题 8 垫圈法:两曲线之间的旋转体
求 y = x 与 y = x² 围成的区域(本章开头的图形)绕 x 轴旋转一周所得立体的体积。
思路 在 [0,1] 上 x ≥ x²。绕 x 轴旋转时,直线 y = x 离轴远 → 外半径 R = x;抛物线 y = x² 离轴近 → 内半径 r = x²。每一片是垫圈。
解 V = ∫01 π[x² − (x²)²] dx = π∫01(x² − x⁴) dx = π(1/3 − 1/5) = 2π/15 ≈ 0.419。
答:V = 2π/15 ≈ 0.419。⚠ 易错点:垫圈是 R² − r²,不是 (R − r)²!后者算出 π/30 ≈ 0.105,只有正确值的四分之一——环形面积是两个圆盘面积之差,不是「环宽度」的平方乘 π。
圆盘还是垫圈?三步判断 ①画出区域与旋转轴;②问自己:切片处,从轴到区域最远的曲线是哪条(定为 R)?最近的呢(定为 r)?③区域贴轴(r = 0)→ 圆盘法;不贴轴 → 垫圈法。两法其实是一套公式:垫圈令 r = 0 就是圆盘,正如矩形是长宽相等的特殊长方形。
📖 开普勒与酒桶 1615 年,天文学家开普勒筹备婚礼时发现,酒商按「桶深 × 桶口直径」的粗略规则计价,多付的冤枉钱让这位数学家动了真气。他写出一本《测定酒桶体积的新方法》,把酒桶横切成一片片薄圆盘、逐片累加体积——这正是旋转体积分的雏形,比牛顿、莱布尼茨早了半个世纪。教科书里冷冰冰的「微元法」,当年的动机竟是:不想为买酒多掏一分钱。
工程视角 运载火箭的燃料储箱两端常做成椭球封头:椭球体积分可以推得体积 4/3·πabc(a、b、c 为三个半轴)——本章旋转体思路再推一步即得。工程师用它估算推进剂装填量;飞行中液位传感器再把「液面高度」反解为剩余体积——积分与「反积分」在储箱设计里各司其职。
绕 y 轴旋转:换个轴,同一招
至此所有公式都默认绕 x 轴。绕 y 轴时不必背新公式,只需换个身份看曲线:把 x 写成 y 的函数 x = g(y),让 g(y) 出演「圆盘半径」的角色,积分变量换成 y、微元宽换成 dy。区域不贴 y 轴时,同样有垫圈版。
📐 例题 9 绕 y 轴的垫圈
求抛物线 x = y² 与直线 x = 1 围成的区域绕 y 轴旋转一周所得立体的体积。
思路 区域为 {(x, y):y² ≤ x ≤ 1,−1 ≤ y ≤ 1}。绕 y 轴旋转时:直线 x = 1 离轴远 → 外半径 R = 1;抛物线 x = y² 离轴近 → 内半径 r = y²。对 y 积分,区间 [−1, 1]。
解 V = ∫−11 π[1² − (y²)²] dy = π∫−11(1 − y⁴)dy = π[y − y⁵/5]−11 = π[(1 − 1/5) − (−1 + 1/5)] = 8π/5 ≈ 5.03。
答:V = 8π/5 ≈ 5.03。⚠ 易错点:绕 y 轴时被积变量是 y、微元是 dy——「半径是 y 的函数」这一点若没换过来,整道题就串了轴。
回头看:圆盘、垫圈、绕 x 轴、绕 y 轴,看似四个公式,实为同一个微元思想换四件外衣——找到垂直于旋转轴的切片,算出切片面积,乘上厚度,积分。
🧠 一句话记忆 旋转体积口诀:π × 切片半径的平方 × 厚度;垫圈外方减内方。轴换了就换主角(y 当自变量),招数一件不变。
📖 阿基米德的遗愿 阿基米德一生最引以为傲的成就,是用穷竭法证明了「球体体积 = 2/3 × 外接圆柱体积」。他请求把「一个球内切于一个圆柱」的图形刻在自己的墓碑上。两千年后,正是微积分把这项工作变得轻松无比。
第三种武器柱壳法:三法选择决策树
圆盘、垫圈之外还有第三件常用工具——柱壳法:绕 y 轴旋转时,把区域竖切成一条条「平行于轴」的窄条,每条转出一层薄圆筒,体积微元 = 周长 × 高 × 厚 = 2πx·h(x)·dx。它的价值在免反解:区域若由 y = f(x)、y = g(x)(x 的函数)描述,垫圈法必须把边界反解成 x = √y 之类,柱壳法原样沿用 x 表达式。决策树三步:先问绕哪个轴;绕 x 轴 → 切片⊥轴,区域贴轴用圆盘、离轴用垫圈;绕 y 轴 → 边界已是 x = g(y) 就垫圈对 y 积分,边界是 y = f(x) 就柱壳免反解。
双法对账实算:y = x² 与 y = x 围成的区域([0, 1] 上直线在上,交点 (0, 0) 与 (1, 1))绕 y 轴。柱壳法:dV = 2πx·(x − x²)dx,V = 2π∫01 (x² − x³)dx = 2π(1/3 − 1/4) = π/6 ≈ 0.524。垫圈法:对 y 积分,右边界 x右 = √y、左边界 x左 = y,dV = π[(√y)² − y²]dy = π(y − y²)dy,V = π(1/2 − 1/3) = π/6——两法同值、互为质检,柱壳法全程没出现一次根号。顺带一记警钟:同一区域绕 x 轴的体积是 π∫01 [x² − x⁴]dx = π(1/3 − 1/5) = 2π/15 ≈ 0.419,与绕 y 轴的 π/6 不同——先定轴、再选法,轴换了体积必换。使用边界:柱壳要求壳高 h(x) 一式写完,壳高中途换段就得拆块或回垫圈——三法是三件工具,不是三选一的信仰。
决策树最大的岔路口,是把「绕 x 轴的圆盘思维」错带进绕 y 轴的题:常见病是转 y 轴时仍写 dV = π[f(x)]²dx——切片方向安在了错误的轴上。防呆动作是「先画一层微元、再誊抄公式」:绕 y 轴、以 x 为自变量时,画出来的应是一层柱壳(半径 x、高 h(x)、厚 dx),而不是一片圆盘;顺手量纲核查——2πx·h·dx 是长度³,π[f(x)]²dx 也是长度³,量纲都配平却答案迥异——量纲挡不住「轴带错」的错误,图形才能。
12.4求曲线的弧长
最后求一条曲线 y=f(x) 从 a 到 b 的长度。曲线是弯的,怎么量?还是微元法:在 x 处取一小段,它的水平增量是 dx,竖直增量是 dy = f′(x) dx,这一小段近似为直角三角形的斜边(勾股定理):
ds = √(dx² + dy²) = √(1 + [f′(x)]²) dx
弧长公式 L = ∫ab √(1 + [f′(x)]²) dx。
直觉:每一小段弧长,都是「水平、竖直增量构成的小直角三角形的斜边」。
🧠 一句话记忆 弧长 = 勾股定理的积分版:ds² = dx² + dy²,再积分。
📐 例题 10 一段幂函数曲线的弧长
求曲线 y = x3/2 在 [0, 1] 上的弧长。
思路 f′(x) = (3/2)x1/2,[f′(x)]² = (9/4)x。于是 L = ∫01√(1 + 9x/4)dx——根号里是一次式,直接换元积分。
解 L = ∫01(1 + 9x/4)1/2dx = (8/27)(1 + 9x/4)3/2|01 = (8/27)[(13/4)3/2 − 1] = (8/27)(13√13/8 − 1) = (13√13 − 8)/27 ≈ 1.440。
答:L = (13√13 − 8)/27 ≈ 1.440。⚠ 易错点:(13/4)3/2 要拆成 (13/4)·(13/4)1/2 = 13√13/8——分数的 3/2 次方直接硬算最容易错,先拆幂再算稳得多。
📐 例题 11 一段抛物线的弧长
求曲线 y = x²/2 在 [0, 1] 上的弧长。
思路 f′(x) = x,L = ∫01√(1+x²)dx。这是「根号下 1 + 平方」的标准形,用分部积分可推出 ∫√(1+x²)dx = (x/2)√(1+x²) + (1/2)ln(x + √(1+x²)) + C(推导留作分部积分的练习,本章先直接用)。
解 L = [(x/2)√(1+x²) + (1/2)ln(x+√(1+x²))]01 = √2/2 + (1/2)ln(1+√2) ≈ 0.707 + 0.441 = 1.148。
答:L = √2/2 + ½ln(1+√2) ≈ 1.148。⚠ 易错点:下限 x = 0 代入得 0 + ½ln(1) = 0——原函数在下限恰好取零是本题的巧合,不是「不用代下限」的通例。
延伸一步:参数方程的弧长
若曲线不用 y = f(x) 而用参数方程 x = φ(t)、y = ψ(t)(t 从 α 到 β)表示,弧长微元依然出自勾股定理:ds = √(dx² + dy²) = √([φ′(t)]² + [ψ′(t)]²)·dt。圆、摆线、螺线这类「天生绕圈」的曲线,用参数表示最自然,这版公式也就成了它们的标准量尺。
📐 例题 12 用参数弧长公式量一个圆
用参数方程 x = cos t、y = sin t(0 ≤ t ≤ 2π)求单位圆的周长。
思路 dx/dt = −sin t、dy/dt = cos t,于是 ds = √(sin²t + cos²t)·dt = 1·dt。
解 L = ∫02π 1·dt = 2π。若半径为 R,则 ds = R·dt,L = 2πR——周长公式again。
答:单位圆周长 2π;一般圆 2πR。⚠ 易错点:√ 里两项是「先平方、相加、再开方」,先开方后相加是常见手误;另外注意 ds = R·dt 恰好揭示了弧度制的本义——弧长 = 半径 × 转角。
弧长的数值自检:折线逼近 解析式拿不准时,回到第 10 章的看家本领:把曲线切成 n 段小折线,勾股定理逐段加总。对例 11 取 n = 1000 段,折线总长 ≈ 1.1478,与解析值 1.1478 完全咬合——而且「弧长 = 折线长的极限」正是弧长的定义本身,这道自检不只是查错,更是对定义的复述。工程上 GIS 软件量曲线长度、数控加工分配走刀步长,用的都是这招的自动化版本。
弧长公式的两道边界提醒 ①自检基准:对直线 y = x 在 [0,1],公式给 L = ∫01√2 dx = √2,恰是对角线长——公式在直线情形自动退回勾股定理,这是它「出身正确」的证据。②光滑性要求:公式要求 f′ 连续;曲线若有尖角(如折线),尖角处 f′ 不存在,需分成若干光滑段分别积分再相加——与 12.2 节「曲线交叉先分块」同一思路:「分块」是积分应用的万能补丁。
本章小结
- 微元法是通用招式:切一小条 → 写微元 dQ → 积分 ∫ dQ。
- 面积:S = ∫ [f(x) − g(x)] dx(上减下)。
- 旋转体体积:V = ∫ π[f(x)]² dx(圆盘法)。
- 弧长:L = ∫ √(1 + [f′(x)]²) dx(勾股定理的积分版)。
- 许多背过的几何公式(如球体积 4πR³/3)都能由积分推导出来。
- 极坐标面积:S = ½∫r²(θ)dθ(扇形微元;心形线面积 = 3π/2)。
- 垫圈法:V = ∫π[R²(x) − r²(x)]dx,旋转轴不穿过区域时用,是圆盘法的推广。
- 微元法是通用范式:质量 ∫ρdx、功 ∫Fdx、电量 ∫i dt——「均匀用乘法,不均匀用积分」。
- 弧长可数值自检:折线逼近既是查错利器,也是弧长定义本身。
- 选轴与选法:绕哪个轴、用圆盘还是垫圈,本质都是「垂直于轴切片 → 面积 × 厚度」同一件事;对 y 积分可作独立复算。
读完本章,你应该能……
- 复述微元法的三步,并说明「局部近似、全局精确」的道理。
- 写出两曲线围成面积的公式,并计算 y=x 与 y=x² 围成的面积。
- 写出旋转体体积公式,并解释「圆盘法」的由来。
- 写出弧长公式,并说明它为什么是勾股定理的积分版。
- 用积分推导出球体体积公式 4πR³/3。
- 解出 y = x² 与 y = x + 2 的交点,并算出面积 9/2。
- 用对称性与换元推出椭圆面积 πab,并验证 a=b 时退回圆面积。
- 用极坐标公式算出心形线 r = 1+cosθ 的面积 3π/2。
- 用垫圈法算出 y = x 与 y = x² 绕 x 轴的体积 2π/15,并说清为何是 R²−r² 而非 (R−r)²。
- 算出 y = x3/2 在 [0,1] 的弧长 ≈ 1.440,并用折线逼近法自检。
思考题
1. 微元法为什么能「先近似、再精确」?误差去哪了?
提示:局部近似的误差是比 dx 更高阶的无穷小,积分求和后趋于 0,剩下的是精确值。
2. 求 y = x 与 y = x² 围成的面积,为什么用「x − x²」而不是「x² − x」?
提示:在 [0,1] 上 x ≥ x²,上曲线是 x,下曲线是 x²,所以面积 = ∫(上−下)dx。
3. 圆盘法里,体积微元 dV = π[f(x)]² dx 是怎么来的?
提示:x 处薄片是半径 f(x)、厚 dx 的圆盘,体积 = 底面积 πr² × 厚度 dx。
4. 弧长微元 ds = √(dx²+dy²) 用了哪个几何定理?
提示:勾股定理。dx、dy 是两直角边,ds 是斜边。
5. 垫圈法的体积微元为什么是 π[R²(x) − r²(x)]dx,而不是 π(R−r)²dx?
提示:垫圈是「大圆盘挖去小圆盘」,体积是两圆盘体积之差 πR²dx − πr²dx;(R−r)² 是环宽的平方,与环形面积无关——例题 8 里后者会算出只有正确值四分之一的结果。
6. 极坐标的面积微元为什么是 ½r²dθ,而不是像直角坐标那样「高 × 宽」?
提示:dθ 对应的小块是扇形不是矩形;把扇形近似成底为弧长 r·dθ、高为 r 的小三角形,面积 = ½·底·高 = ½r²dθ。令 r 为常数转满一圈,公式退回 πr²。
7. 微元法除了算面积、体积、弧长,还能算什么?举两个非几何量的例子。
提示:变密度细棒质量 ∫ρ(x)dx、变力做功 ∫F(x)dx、充电量 ∫i(t)dt、注水量 ∫q(t)dt——凡是「密度 × 区间」型的不均匀总量都在射程内。
9. 阿基米德的球体积与开普勒的酒桶,本质上是同一件事——它是什么?
提示:把整体切分成微小单元、逐片近似、再累加——积分思想的古代形态。差别只在「严格取极限」这最后一步:古人靠天才的穷竭法与分割直觉,微积分则把这套流程变成了人人可执行的算法。
8. 同一块区域,有时对 x 积分方便、有时对 y 积分方便,怎么选方向?
提示:看边界曲线解「谁关于谁」更顺手——哪边不用拆块、边界表达式简单就选哪边;两法还能互为对账(例 2 的 9/2 双解法)。
10. 弹簧 k = 200 N/m:从原长拉到 0.3 m 做功多少?从已拉长 0.1 m 再拉到 0.3 m 呢?两个数字差在哪?
提示:W₁ = ∫00.3 200x dx = 9 J;W₂ = ∫0.10.3 200x dx = 8 J。差的 1 J 是前 0.1 m 已做过的功(100×0.01)——功是过程量,换起点必须换下限,(a)(b) 两账自洽(8 + 1 = 9)。
11. y = x² 与 y = x 围成的区域绕 y 轴旋转,分别用柱壳法与垫圈法求体积,并说明柱壳法省在哪一步。
提示:柱壳 dV = 2πx(x − x²)dx,V = 2π(1/3 − 1/4) = π/6 ≈ 0.524;垫圈 dV = π(y − y²)dy,V = π(1/2 − 1/3) = π/6,两法同值互为对账。柱壳法免反解边界(不出现 √y)、免拆块——边界本来就是 x 的函数时它最顺手。同一区域绕 x 轴则得 2π/15 ≈ 0.419,轴不同体积不同。
12. 为什么不能「对质心直接积分」?求质心的正确微元法路线是什么?用 ρ = 1 + x²、长 4 cm 的棒算一遍。
提示:质心是强度量、不可加(两段棒质心相加无意义)。正路是比值:一阶矩 ∫xρdx = 72 g·cm,总质量 ∫ρdx = 76/3 ≈ 25.333 g,x̄ = 72×3/76 = 54/19 ≈ 2.842 cm——右高于中点 2 cm,因为密度右高左低,量级与直觉吻合。