Frank Math Labs · 课程 03
优雅地学会积分基础
积分回答另一个方向的问题:许多小块累积起来一共是多少。曲线围出的面积、变速走过的路程、按不均匀速率漏水的水池,都属于这一类,它们都由无限多个无限小的量加成。这门课从"切矩形"这个笨办法开始,一路走到把无限求和一步算完的牛顿-莱布尼茨公式,最后看清它和上一门课的导数本是同一枚硬币的两面。
学完这门课,你应当能够
- 说清黎曼和如何构造,以及 n 增大时它为什么趋于定积分;
- 解释"代数面积"与"几何面积"的区别,处理穿越 x 轴的函数;
- 陈述并使用微积分基本定理:∫ = F(b) − F(a),以及 G(x) = ∫ₐˣ 的导数是 f(x);
- 看懂斜率场,明白原函数为什么是一族相差常数的曲线;
- 在"速度—位移—路程"问题里正确区分带符号的量与恒正的量。
面积的难题
矩形的面积人人会算:底乘高。三角形的面积也不难:补成矩形再砍一半。可是抛物线 y = x² 在 [0, 1] 上方、x 轴下方围出的那块"曲边三角形",两条边是弯的,任何现成公式都用不上。
古人的办法是切。公元三世纪,刘徽为算圆面积提出"割之弥细,所失弥少,割之又割,以至于不可割,则与圆周合体而无所失矣":把图形切成越来越细的小条,每条都近似成能算的形状,误差便越来越小。两千年后,这套思想有了一个系统的名字,黎曼和;它取极限后的产物,就是定积分。
这门课就沿这条路走:先老老实实切矩形(实验一),再给"和"一个正式的记号(第二、三节),然后遇到一个奇迹般的捷径——求面积居然是求导的逆运算(第四节)。走完全程你会发现,刘徽的"割之又割"与牛顿的 F' = f,说的是同一件事。
黎曼和与定积分
第一步就是切。把区间 [a, b] 切成 n 小段,每段宽 Δx = (b−a)/n。在每段上取一点 xᵢ(左端、右端或中点都行),立一个高为 f(xᵢ) 的矩形。n 个矩形面积加起来:
Σ Δx · f(xᵢ)
这就是黎曼和。它不是面积的精确值:矩形顶上总有一截"露馅"的台阶。但 n 越大,台阶越细,和越贴近真实面积。n → ∞ 时这个和的极限,就定义为定积分,记作 ∫ₐᵇ f(x) dx:那个拉长的 S 是莱布尼茨留下的提醒,它的本名是"求和",dx 就是那"无限窄的宽度"。
三件事值得亲手试。把取样点从"左端点"拨到"中点",同样小的 n,中点的误差常常小一个量级,因为矩形高出与亏掉的部分大致相抵。把函数换成 x³:对称区间上积分为零,正负矩形互相抵消。最后按「加密分割」,盯着误差一栏,看它如何随 n 增长一路缩到小数点后好几位。
面积可以是负的吗
黎曼和里的 f(xᵢ) 如果是负数,那一项就是负的:x 轴下方的矩形"倒着"计入总和。所以定积分给出的从来不是几何意义上的面积,而是代数面积:x 轴上方记正,下方记负。想让每块都记正?给 f 套上绝对值再积,得到的才是纸面上真正涂了色的面积。
用 sin x 在整周期上玩一次:把 b 从 π 拖到 2π,青色的正面积被红色的负面积一点点吃掉,积分读数从 2 一路跌回 0。"积分归零"不等于"没有面积",它只说明有进有出,两清了。
从累加到求导的反面
切矩形终究是笨功夫:n 取到一千,手算就不现实了。捷径的线索藏在这样一个问题里:下限定住不动,只动上限,攒下的面积会怎样随上限变化?记 G(x) = ∫ₐˣ f(t) dt,它是"从 a 走到 x 一路攒下的面积"。x 挪动一小步 Δx,面积增加约一块细长条:高 f(x)、宽 Δx。于是:
G'(x) = lim ΔG/Δx = f(x)
面积函数的导数,就是被积函数本身。这是微积分基本定理的第一半。它意味着:求面积(积分)与求变化率(导数)互为逆运算——想知道 ∫ₐᵇ f dx,不必切一万块矩形,只要找到一个"导数恰好是 f"的函数 F,算 F(b) − F(a) 即可。这就是牛顿-莱布尼茨公式,整座微积分大厦的拱顶石。
播放时盯住两个联动:f 在 x 轴上方(青色面积增长)时,F 曲线爬升;f 转负(红色面积)时,F 掉头向下。而 F 曲线的切线斜率始终等于 f 的高度——导数与积分的互逆关系,在这张图上一目了然。
斜率场:原函数的指纹
牛顿-莱布尼茨公式把球踢给了一个新问题:怎么找 F,使 F' = f?这样的 F 叫 f 的原函数。麻烦在于它从不孤单:F、F+7、F−π 的导数全都相同,所以原函数总是成族出现,写作 F + C。
想"看见"这一族函数,有个漂亮的办法:在平面上每一点画一根小短线,方向顺着 f 在该处的值。这张图叫斜率场。任何一条原函数的图像,都必须在每个点顺着场里的短线走——于是整个解族像梳过头一样,整整齐齐地从场里浮出来。
把 C 从 −2 拉到 2,高亮的曲线沿场竖直滑动,形状分毫不改。微分方程 F' = f 的全部解,就是这一族彼此平移的曲线。"解微分方程"在最基础的层面,就是找一场斜率里的那条顺线的曲线。
速度、位移与路程
把抽象的面积放回现实:v(t) 是速度,那么 ∫ v dt 是什么?速度 × 时间是位移,无限细分再求和,积分给出的正是位移——但它带符号:v 为负(倒车)的时段在账本上是负面积。想知道"一共走过多少路",要对 |v| 积分,那是路程。位移可以两清,路程只增不减。
第一个函数是"匀减速到零再倒车":到 t = 4 时位移归零(底部的小车回到了出发点),可路程停在 4,走过的每一步都记在里程上。第二个函数来回摆动,位移爬到 16/π 后停住。同一个积分,两种问法,答案不同:先想清楚你积分的是 v 还是 |v|。
例题
用 n = 4 的中点黎曼和估算 ∫ 从 0 到 2,x² dx。
解答
练习:同题改用左端点取样,结果是偏大还是偏小?
求 ∫ 从 1 到 3,(2x + 1) dx。
解答
练习:换成 F(x) = x² + x + 100 会影响结果吗?
G(x) = ∫ 从 0 到 x,f(t) dt 的图像在 x = 2 处达到峰顶、此后下降。问 f(2) 与 f 在 (2, +∞) 上的符号。
解答
练习:G 在什么位置积累的面积最多?
自测
十道题覆盖全课。实验一(黎曼和)与实验三(面积函数)承载了最核心的两层理解,做错题先回那里。
小结与速查
核心公式
常用结论
| 内容 | 式子 | 备注 |
|---|---|---|
| 幂函数积分 | ∫ xⁿ dx = xⁿ⁺¹/(n+1) + C | n ≠ −1;导数降次,积分升次 |
| 常数 | ∫ c dx = cx + C | |
| 正负 | ∫ = 正面积 − 负面积 | 几何面积要积 |f| |
| 区间可加 | ∫ₐᵇ + ∫ᵇᶜ = ∫ₐᶜ | 分段处理穿越 x 轴的函数 |
| 上下限颠倒 | ∫ᵇᵃ = −∫ₐᵇ | 反着走记负账 |
课后思考
- 基础实验一里换成"右端点"取样,上升函数(x²)的和偏大、下降函数的偏小。用"每块矩形取的是最高点还是最低点"解释这件事。
- 进阶实验四的场 F' = x(4−x) 里,哪条解曲线在 x = 2 处最高?它对应的 C 是多少?(提示:峰值点处导数为零,比较 F(2) + C。)
- 挑战一辆车 v(t) = 6t − t²(0 ≤ t ≤ 6)。求最大速度出现的时刻、全程位移与路程,并说明位移为什么等于 ∫v 而路程不是。
至此,微分与积分在你手里合成了一件完整的工具:导数拆解瞬间,积分汇总全程,牛顿-莱布尼茨公式在两者之间架桥。接下来的两门课,就站在这座桥上看曲线——圆锥曲线的切线、运动与统一方程。