all_lessons/数学的逻辑/08第 9 课 / 共 44 课

第三部分 · 无穷与变化

累积与面积:积分与微积分基本定理

求面积是个两千年的老难题,已知速度求路程是另一个问题,它们看起来毫不相干。微积分基本定理却揭示:这两件事,其实是同一枚硬币的两面,而且都和导数正好相反。这是数学皇冠上的明珠。

线性回顾
上一课:我们用导数从"总量"求出了"瞬时变化率"——位置求出速度,让 0/0 的难题在 h→0 的极限里得到确定答案。
留下的问题:能不能反过来?只知道每时每刻的变化率(速度),如何恢复走过的总路程?还有一个更古老的几何难题:弯曲曲线下方的面积怎么算(直边图形会切割拼凑,弯边怎么办)?
本课新增:积分——把曲线下方切成无穷多个细矩形,再对它们的面积之和取极限(又一次用上极限)。以及微积分基本定理(FTC):积分与微分互为逆运算,把"求面积"和"求斜率"这两个看似无关的问题焊死在一起。
本课路线
(1) 弯边图形的面积难题;(2) 黎曼和:用 n 个细矩形逼近,宽→0、个数→∞,极限就是定积分;(3) "累积"视角——速度对时间累积出路程;(4) 微积分基本定理:∫ₐᵇ f′(x) dx = f(b) − f(a),且 d/dx [∫ₐˣ f(t) dt] = f(x);(5) 为什么这是一个奇迹;(6) 一切建在"无穷小"上,地基稳吗?

面积难题:弯边怎么办

古希腊人早就会算直边图形的面积:矩形是长乘宽,三角形、多边形都能切割拼凑出来。可一旦边是弯的——比如抛物线 y=x² 与 x 轴在 [0,1] 之间围出的那块——再多的剪刀也拼不出精确答案。阿基米德用"穷竭法"算出过一些特例,逼近得很苦。两千年里,弯边面积一直是悬而未决的难题。

撞墙
直边图形面积有公式,弯边图形没有。我们手上只有"长乘宽"这一件趁手的工具,可它只认矩形。怎么用只会算矩形的本事,去量一块边界弯曲的地?

黎曼和:用无穷多个细矩形逼近

思路和上一课一模一样:能算的去逼近不能算的,再取极限。 既然只会算矩形,那就用一堆矩形把弯边区域填满

把区间 [a, b] 切成 n 等份,每份宽 Δx = (b−a)/nΔx 读作"delta x",意思是一小段宽度)。在每一份上立起一根矩形,高度取曲线在那里的函数值。把这 n 根矩形的面积加起来:

Sₙ = f(x₁)·Δx + f(x₂)·Δx + … + f(xₙ)·Δx = ∑(k=1..n) f(xₖ)·Δx
读作"前 n 根矩形面积之和,等于从 k=1 到 n,把每根矩形的高 f(xₖ) 乘以宽 Δx 加起来"。这个和叫黎曼和(以德国数学家黎曼命名)。

矩形越多(n 越大),每根越窄(Δx 越小),它们的台阶状轮廓就越贴合那条弯曲的边,总面积的误差越小。我们当然不会停在某个有限的 n,而是让 n→∞、Δx→0 取极限——这个极限,就定义为定积分

∫ₐᵇ f(x) dx = lim(n→∞) ∑(k=1..n) f(xₖ)·Δx
读作"f 在 a 到 b 上的定积分"。符号 是拉长的 S(求和 Sum 的首字母),dx 是"宽度趋于 0 的那一小段"——整个式子就是"无穷多个细矩形面积之和的极限"。

下面的小实验让你亲手把矩形加密:看台阶轮廓如何贴上抛物线,近似面积如何逼近真值,误差如何随 n 增大滑向 0。这是极限第三次出场——无穷和(08)、瞬时速度(09),现在是面积。

黎曼和:矩形越多,越逼近真实面积
曲线是 y=x² 在 [0,1] 上,真实面积是 1/3 ≈ 0.3333。拖动滑块增加矩形个数 n(取右端点高度)。看台阶轮廓贴合曲线,近似面积逼近 1/3,误差趋向 0。
矩形个数 n
4
近似面积
0.4688
真值 ∫₀¹ x² dx
0.3333
误差
0.1354

"累积"视角:速度怎样攒成路程

积分还有一个完全等价、却更直观的读法——累积。如果 v(t) 是某一时刻的速度,那么"这一小段时间 Δt 里走的路"约等于 v(t)·Δt(速度乘以时间)。把每一小段走的路全攒起来再取极限,就是总路程:

总路程 = ∫ₐᵇ v(t) dt
读作"速度 v 从时刻 a 到 b 的定积分"。它和"曲线下面积"是同一回事:速度曲线下方的面积,就是走过的路程。

这下,上一课留下的"反过来"的问题有了名字:已知变化率(速度),把它累积起来恢复总量(路程),就是积分。 导数把总量拆成变化率,积分把变化率攒回总量——它们听起来就该是一对逆运算。但"听起来该是"和"真的是",差着一个证明。这个证明,就是整个微积分的心脏。

微积分基本定理:把两个难题焊在一起

导数(求斜率)和积分(求面积)来自两个互不相干的问题:一个问"曲线此刻多陡",一个问"曲线下方多大"。牛顿和莱布尼茨的真正伟大,不在于谁先发明,而在于他们看穿了这惊人的一点——这两件事互为逆运算。这就是微积分基本定理(FTC),它有两半,互相呼应:

基本定理 · 第一半(用反导数算面积)
∫ₐᵇ f′(x) dx = f(b) − f(a)
读作"f 的导数 f′ 在 a 到 b 上的定积分,等于 f 在 b 的值减去 f 在 a 的值"。意思是:要算一段面积(积分),只需找一个"导数等于被积函数"的函数 f(叫反导数),在两端取值相减即可——再也不用真的去加无穷多个矩形!
基本定理 · 第二半(面积函数的导数是原函数)
d/dx [ ∫ₐˣ f(t) dt ] = f(x)
读作"对'从 a 到 x 的面积'这个函数求导,恰好还原成被积函数 f(x)"。意思是:把面积当成上限 x 的函数,对它求导(求变化率),就原路退回到 f 本身。

两半合起来说的是同一句话:微分和积分是一对正好相反的操作。 一个把你拆开,另一个把你拼回。

为什么这是一个奇迹

请体会这件事有多不可思议。"曲线在某点多陡"和"曲线下方面积多大",从直觉上没有任何关系——一个是局部的倾斜,一个是整体的累积。可基本定理说:求面积(积分)和求斜率(微分),是同一枚硬币的两面,做完一个再做另一个,你就回到原点。

它的实际威力同样惊人。算 y=x²[0,1] 下的面积,本来要算 n→∞ 的黎曼和;现在只需注意到 (x³/3)′ = x²x³/3 的导数是 ),于是面积 = ∫₀¹ x² dx = 1³/3 − 0³/3 = 1/3——一行算完,正是小实验里那条矩形逼近的极限值。把"加无穷多个矩形"的苦力活,换成了"求一次反导数再相减"的轻巧活。 这就是为什么微积分一出,物理、工程、天文一夜之间脱胎换骨。

常见误解

一句话带走
积分是"无穷多个细矩形面积之和的极限",也是把变化率累积回总量的运算。微积分基本定理揭示它与微分互为逆运算——求面积和求斜率是同一枚硬币的两面。这一焊接,是数学皇冠上的明珠。
下一步
微积分威力盖世,可整座大厦都盖在一句含糊话上:"让 h 无限小,但又非零。" 它一会儿当分母(非零),一会儿被扔掉(当零),到底是不是 0?贝克莱主教辛辣地讥讽这些无穷小是"消失量的幽灵"——逻辑上自相矛盾。地基这么松,大厦凭什么不塌?数学必须把极限彻底说清楚。→ 第 09 课《ε–δ:把"无穷小"赶出去,给极限上锁》。