第 6 章 · 积分：黎曼的严格化

面积这种"人人都懂"的东西，严格化后是黎曼和的极限。这一章做三件事：定义定积分、建立微积分基本定理、给出可积性判据。

黎曼和与可积性

分割 $[a,b]$、取介点、求和 $S = \sum f(\xi_i)\Delta x_i$，当分割细度趋于零时极限存在（与分割、介点选取无关）则称可积：

可积性判据（达布上和 = 下和的极限重合）：闭区间上连续函数可积；单调可积；有限个间断点可积——三类足够工程与物理使用。

微积分基本定理：两个方向的桥

• 变上限积分求导：$\Phi(x) = \int_a^x f(t)dt$ 连续，且 $f$ 连续时 $\Phi' = f$——连续函数必有原函数（存在性的积分证明）；
• 牛顿-莱布尼茨公式：$f$ 连续且 $F'=f$ 时

它把"无限求和"变成"取端点差"，是数学史上最重要的公式之一。注意适用条件：$f$ 可积 + 存在原函数并不自动互推（可积无原函数、有原函数不可积的例子都存在）——严格性在这里体现价值。

技术手册：换元与分部

• 换元：$\int f(\varphi(t))\varphi'(t)dt = \int f(u)du$；定积分换元必须换上下限。
• 分部：$\int u\,dv = uv - \int v\,du$；$u$ 的选取口诀"反、对、幂、三、指"（谁求导变简单谁当 $u$）。
• 奇偶对称、周期性缩区间是定积分计算的两大免费加速。

老师的提醒

• 广义积分（无穷区间、瑕点）收敛性判别先于计算：$\int_1^\infty \frac{dx}{x^p}$、$\int_0^1 \frac{dx}{x^q}$ 两个标尺函数记牢，比较判别法通吃大半。
• 定积分的几何直觉与严格定义要同时在脑内：几何出答案，定义验对错。

自检

• 用达布上和下和叙述可积准则。
• 变上限积分定理为什么同时证明了原函数存在性？
• $\int_{-1}^{1}(x^3\cos^2 x + x^4)dx$ 怎么秒算？

更深一层：黎曼积分的"存在性"与"可计算性"是两件事

定积分理论有两层容易被混为一谈：存在性（黎曼和的极限存在——数学问题）与可计算性（牛顿-莱布尼茨给出闭式——技巧问题）。存在性由达布准则裁决（上下和夹逼），与原函数是否存在无关——存在"可积但无初等原函数"的函数（$\sin x/x$ 在 $[1,\infty)$ 反常积分收敛但原函数非初等），也存在"处处有原函数但不可积"的极端例子。这个分层解释了为什么数值积分是一个独立的学科：当牛顿-莱布尼茨不可用（绝大多数场合）时，黎曼和的离散化（梯形、Simpson、高斯）就是积分的"计算定义"。理论定义保证"是什么"，数值方法解决"怎么算"——两层分工在定积分这里第一次清晰地展示给初学者。

推导细读：微积分基本定理为什么是"两个方向"

牛顿-莱布尼茨公式其实是两条定理的合称，方向相反、各有深意。正向（变上限求导）：$\frac{d}{dx}\int_a^x f = f(x)$——它证明了连续函数必有原函数（变上限积分就是原函数），这是"存在性"的积分证明：不必构造出初等表达式，积分本身定义了那个函数。反向（N-L 公式）：已知原函数时积分变成端点差——这是"计算"的飞跃。两个方向的合并陈述（连续函数的微分与积分互为逆运算）是微积分的"基本定理"称号的由来。学习时值得注意的细节：正向要求 $f$ 连续（只可积不够），反向要求 $F$ 是任意一个原函数（差常数不影响）——两个方向的适用条件不同，混用是证明题的失分点。

在真实世界里：定积分的"对称性经济学"

定积分计算的工程效率来自三张免费券。奇偶券：对称区间上奇函数积分为零——$\int_{-1}^1 (x^3 + x^2)dx$ 直接砍掉一半；周期券：$\int_a^{a+T} f = \int_0^T f$（周期函数与起点无关）——振荡积分定段的标配；几何券：$\int_{-r}^{r}\sqrt{r^2 - x^2}dx$ 是半圆面积 = $\frac{\pi r^2}{2}$——能看出面积的积分不必动公式。这三张券的共同思想：先看结构、再动积分——计算量大的定积分，九成有结构性捷径；剩下的才轮到换元、分部、递推的硬功夫。

专题深入：定积分的"存在性 vs 可计算性"分层

定积分理论的两层分层值得强调：存在性（黎曼和的极限存在——数学问题）与可计算性（牛顿-莱布尼茨给出闭式——技巧问题）。存在性由达布准则裁决（上下和夹逼），与原函数是否存在无关——存在"可积但无初等原函数"的函数（$\sin x/x$ 的反常积分收敛但原函数非初等）。可积性判据（连续 ⟹ 可积、单调 ⟹ 可积、有限个间断点 ⟹ 可积）覆盖工程与物理的全部需求。理论定义保证"是什么"，数值方法解决"怎么算"——两层分工在定积分这里第一次清晰地展示给初学者。

数学细节展开：变上限积分定理的"双向身份"

微积分基本定理的两个方向值得分别读出：正向（变上限求导） $\frac{d}{dx}\int_a^x f = f(x)$——它证明了连续函数必有原函数（变上限积分就是原函数），这是"存在性"的积分证明；反向（N-L 公式） $\int_a^b f = F(b) - F(a)$——已知原函数时积分变成端点差，这是"计算"的飞跃。两个方向的适用条件不同：正向要求 $f$ 连续（只可积不够），反向要求 $F$ 是任意一个原函数（差常数不影响）——混用是证明题的失分点。

工程案例细节：定积分的"对称性经济学"实操

定积分计算的工程效率来自三张免费券的实操：奇偶券（对称区间上奇函数积分为零——$\int_{-1}^1(x^3 + x^2)dx$ 直接砍掉一半）；周期券（$\int_a^{a+T}f = \int_0^Tf$——振荡积分定段的标配）；几何券（$\int_{-r}^r\sqrt{r^2-x^2}dx$ 是半圆面积——能看出面积的积分不必动公式）。先看结构、再动积分——计算量大的定积分，九成有结构性捷径；剩下的才轮到换元、分部、递推的硬功夫。