定积分进阶：几何意义、存在性对比、性质与华里士公式

今日学习地图

本次费曼主题：定积分进阶大课——在昨天"黎曼和定义"的基础上，一口气推进四块内容：几何意义、存在性定理（与不定积分对比）、性质全家、华里士公式与比大小武器库。

定积分进阶：几何意义、存在性、性质、华里士
├── 几何意义
│   ├── 带符号面积（上方正、下方负）
│   ├── ∫f ≠ 面积，∫|f| 才是真正面积
│   ├── 圆：√(a²−x²) 与 √(ax−x²)
│   └── sin/cos 在 [0,π/2] 积分 = 1
├── 存在性定理（重点）
│   ├── 定积分存在：有界 + 有限个间断点 / 单调
│   ├── 原函数存在：第一类必无、第二类可能有
│   └── 对比总表 + 做题后果
├── 定积分的性质
│   ├── 数、线性、可加性
│   ├── 比较定理、估值、中值
│   └── 奇偶性、周期性
├── 华里士公式（点火公式）
│   ├── 公式本体（奇偶分支）
│   ├── [0,π] 转化
│   └── cos 的奇偶坑
└── 比大小武器库
    ├── 五兄弟泰勒排序
    ├── 常数化积分
    └── 凹凸性 / 切线割线

本次需要重点关注的内容：

• 存在性两定理的性格完全不同：定积分看"乖不乖"（有界+间断点少），原函数看"能不能当导数"（不能跳但可以疯）。
• 第一类间断点（可去+跳跃）是分水岭：能积，但不能当导数——本课两次讲都被漏掉跳跃，已固化为记忆钩子。
• 华里士公式的奇偶分支：偶数乘 π/2，奇数不乘；[0,π] 上 sin 无脑翻倍，cos 偶数翻倍、奇数直接写 0。
• 比大小五兄弟排序：arctan < sin < x < arcsin < tan，靠泰勒展开三阶项系数一网打尽。

概念精拆

一、定积分的几何意义：带符号面积

Important

几何意义

$\int_a^b f(x)\,dx$ 表示 $x$ 轴上方（$f>0$）围成的面积减去 $x$ 轴下方（$f<0$）围成的面积，即带符号面积。上方记正、下方记负，积分值是正负抵消后的净值。

两个推论必须分清：

1. 定积分 ≠ 面积：面积永远非负，定积分可以为负、可以为 0。只有当 $f(x) \geqslant 0$ 在区间上恒成立时，定积分才恰好等于面积。
2. 真正围出来的总面积是 $\int_a^b |f(x)|\,dx$：加绝对值把下方翻到上方，正负不再抵消。$f \geqslant 0$ 时两者相等；$f$ 有正有负时，$\int f$ 是净值，$\int |f|$ 才是总量。

有限个点不影响积分（本课用户自己提出的深刻点）：在有限个点上修改函数值，不改变定积分——单点没有"面积贡献"，黎曼和里一个点的取值影响趋近于 0。所以：

• 可去间断点补值不影响积分（补上 $f(x_0)$ 让它连续，积分值纹丝不动）
• 分段函数的每个分段点只是"一条线"，切掉/接上都无所谓

二、几何意义常考：圆与对称

利用"积分 = 面积"来算定积分，是比硬求原函数快得多的路。两个必背图形：

1. $\sqrt{a^2 - x^2}$：圆心在原点、半径 $a$ 的上半圆。

   • 在 $[-a, a]$ 上积分 = 半圆面积 $\dfrac{\pi a^2}{2}$
   • 在 $[0, a]$ 上积分 = 四分之一圆 $\dfrac{\pi a^2}{4}$

2. $\sqrt{ax - x^2}$：圆心位移的上半圆。配方过程：

   $$ax - x^2 = -(x^2 - ax) = -\left((x - \tfrac{a}{2})^2 - \tfrac{a^2}{4}\right) = \tfrac{a^2}{4} - (x - \tfrac{a}{2})^2$$

   即 $\sqrt{\tfrac{a^2}{4} - (x - \tfrac{a}{2})^2}$——圆心 $(\tfrac{a}{2}, 0)$、半径 $\tfrac{a}{2}$ 的上半圆。

必记数值：$\displaystyle\int_0^{\pi/2} \sin x\,dx = 1$，$\displaystyle\int_0^{\pi/2} \cos x\,dx = 1$。验证：$\sin x$ 的原函数是 $-\cos x$，代入端点 $-\cos(\pi/2) - (-\cos 0) = 0 + 1 = 1$；$\cos x$ 的原函数是 $\sin x$，$\sin(\pi/2) - \sin 0 = 1$。

三、定积分存在性定理（可积性）

必要条件：$f$ 在 $[a,b]$ 上可积 $\Rightarrow$ $f$ 在 $[a,b]$ 上有界。逻辑：可积推出有界，所以有界是必要条件；有界推不出可积，所以不是充分条件。无界函数直接出局（$1/x$ 在 $[0,1]$ 上靠近 $0$ 处值无限大，黎曼和没有边）。

充分条件三兄弟：

1. 连续 $\Rightarrow$ 可积——最强、最常用，考试九成函数都连续。
2. 有界 + 只有有限个间断点 $\Rightarrow$ 可积——间断点类型不限：可去、跳跃、有界震荡都行。
3. 单调 $\Rightarrow$ 可积——哪怕有无穷多个间断点（只能是跳跃型）也照样可积。

Warning

两个经典反例

• 无界震荡不可积：$f(x) = \dfrac{\sin(1/x)}{x}$ 在 $0$ 附近——值在正负之间震荡且越荡越大（无界），它不是"无穷间断点"（极限不是 $\infty$ 而是震荡），但照样不可积。判据是有界，不是间断点类型。
• 有界但不可积：狄利克雷函数（有理数取 $1$、无理数取 $0$）在任意区间上有界，但每个小区间里取有理点得 $1$、取无理点得 $0$，黎曼和不收敛到同一个极限——正好呼应昨天的"取点无关性"。

单调函数为什么"跳再多也能积"：单调函数从 $f(a)$ 升到 $f(b)$，总上升高度有限。取左端点和右端点分别做黎曼和，两者的差不超过最长段 × 总高差：

最长段 $\lambda$ 趋 $0$，上下两个和的差就被压下去——哪怕无穷多个跳跃点，极限照样稳定。

四、原函数存在性定理（与可积性对比）

Important

原函数存在性

• 连续 $\Rightarrow$ 有原函数（区间上连续必有原函数）
• 第一类间断点（可去、跳跃）$\Rightarrow$ 必无原函数
• 第二类间断点（震荡、无穷）$\Rightarrow$ 可能有原函数

为什么第一类必无原函数（可去情形证明）：假设 $f$ 有原函数 $F$，即 $F' = f$ 处处成立。设 $x_0$ 是可去间断点，则 $\lim_{x \to x_0} f(x)$ 存在但不等于 $f(x_0)$。用拉格朗日中值定理：对 $x \neq x_0$，存在 $\xi$ 介于 $x_0$ 与 $x$ 之间，使得

两边取 $x \to x_0$：左边趋 $F'(x_0) = f(x_0)$，右边 $\xi$ 也趋 $x_0$，趋 $\lim f(x)$。于是 $f(x_0) = \lim f(x)$，与可去间断点定义矛盾。跳跃间断点同理：左右极限各焊一次，一跳就裂。背后的达布定理说：导函数不能跳，但可以疯。

为什么第二类可能有（两个经典例子）：

• 震荡型：$F(x) = x^2 \sin\dfrac{1}{x}$（$x \neq 0$），$F(0) = 0$。$F$ 在 $0$ 处可导，$F'(x) = 2x\sin\dfrac{1}{x} - \cos\dfrac{1}{x}$（$x \neq 0$）。导函数在 $0$ 处有震荡间断点（$\cos(1/x)$ 极限不存在），但原函数 $F$ 明明白白存在。
• 无穷型：$f(x) = \dfrac{1}{\sqrt{x}}$ 在 $(0,1]$ 上，$x \to 0^+$ 时值趋 $\infty$（无穷间断点），原函数是 $2\sqrt{x}$。

存在但不可表：连续函数理论上都有原函数，但很多写不出来——$e^{-x^2}$（原函数是误差函数 erf）、$\dfrac{\sin x}{x}$（正弦积分 Si）、$\dfrac{\cos x}{x}$（余弦积分 Ci）、$\dfrac{1}{\ln x}$（对数积分 li），原函数都不是初等函数。碰到它们别求原函数，换路（换元、几何意义、分部积分凑消、背特殊结论，比如 $\int_0^{+\infty} e^{-x^2}dx = \dfrac{\sqrt{\pi}}{2}$）。

五、存在性对比总表

graph LR
  A[间断点] --> B[第一类 可去跳跃]
  A --> C[第二类 震荡无穷]
  B --> D[能积 不能当导数]
  C --> E[有界能积 原函数看运气]

记忆钩子：第一类一家人 = 可去 + 跳跃（永远成对出现）；第二类一家人 = 震荡 + 无穷。定积分看"乖"（有界 + 间断点少），原函数看"能不能当导数"（不能跳但可以疯）。

做题后果：

1. 被积函数有第一类间断点：定积分存在，但没有原函数——不能用"找原函数、代端点"整体算，必须分段处理。
2. 被积函数连续但原函数非初等（$e^{-x^2}$、$\sin x/x$）：定积分存在、原函数理论上也有，但写不出来——别硬求，换路。
3. 被积函数无界：正常定积分不存在（反常积分另说）——判断可积，先看有界。

六、定积分的性质

性质 1（数）：$\int_a^b f(x)\,dx$ 是一个确定的实数，与积分变量字母无关（哑变量）：$\int_a^b f(x)\,dx = \int_a^b f(t)\,dt$。推论：$\int_a^a f(x)\,dx = 0$。

性质 2（线性）：$\int_a^b [k_1 f(x) + k_2 g(x)]\,dx = k_1\int_a^b f(x)\,dx + k_2\int_a^b g(x)\,dx$。常数可提、加法可拆；函数不能提（$\int fg \neq f\int g$）。

性质 3（区间可加性）：$\int_a^b f(x)\,dx = \int_a^c f(x)\,dx + \int_c^b f(x)\,dx$，其中 $c$ 可以是任意实数，不需要夹在 $a,b$ 中间。$c$ 在区间外时用"交换变号"验证依然成立。分段函数积分的命根子。

性质 4（比较定理）：若在 $[a,b]$ 上 $f(x) \leqslant g(x)$，则 $\int_a^b f \leqslant \int_a^b g$。前提：$a < b$——上限小于下限时，交换变号，不等号方向要反过来。条件可放宽到"开区间上 $f \leqslant g$"，端点个别点相等不影响（有限个点无面积贡献）。

性质 5（估值定理）：若 $m \leqslant f(x) \leqslant M$，则 $m(b-a) \leqslant \int_a^b f(x)\,dx \leqslant M(b-a)$。

性质 6（奇偶性）：区间对称 $[-a,a]$ 上，奇函数积分为 $0$（正负抵消），偶函数是 $2\int_0^a f(x)\,dx$（翻倍）。区间必须对称才能用。

性质 7（周期性）：$f$ 以 $T$ 为周期，则 $\int_a^{a+T} f(x)\,dx = \int_0^T f(x)\,dx$（任何长度 $T$ 的区间积分等于一个周期），推论 $\int_0^{nT} f(x)\,dx = n\int_0^T f(x)\,dx$。

性质 8（绝对值不等式）：$\left|\int_a^b f(x)\,dx\right| \leqslant \int_a^b |f(x)|\,dx$。

性质 9（积分中值定理）：$f$ 在 $[a,b]$ 上连续，则 $\exists \xi \in [a,b]$，使

等价形式 $f(\xi) = \dfrac{1}{b-a}\int_a^b f(x)\,dx$——右边是积分平均值，定理说的是：连续函数一定能取到自己的平均值。几何直觉：存在一个点 $\xi$，以 $f(\xi)$ 为高的矩形面积恰好等于曲边梯形面积。与估值定理一条线：平均值夹在 $m$ 和 $M$ 之间，连续函数取遍中间所有值（介值定理），所以必有 $\xi$ 取到。

七、华里士公式（点火公式）

Important

华里士公式（Wallis / 点火公式）

$\displaystyle\int_0^{\pi/2} \sin^n x\,dx = \int_0^{\pi/2} \cos^n x\,dx$

• $n$ 为偶数：$\dfrac{n-1}{n}\cdot\dfrac{n-3}{n-2}\cdots\dfrac{3}{4}\cdot\dfrac{1}{2}\cdot\dfrac{\pi}{2}$（乘到 $\frac{1}{2}$ 再乘 $\frac{\pi}{2}$，点火成功）
• $n$ 为奇数：$\dfrac{n-1}{n}\cdot\dfrac{n-3}{n-2}\cdots\dfrac{4}{5}\cdot\dfrac{2}{3}$（乘到 $\frac{2}{3}$ 不乘 $\frac{\pi}{2}$，火没点着）

验证几个数：

• $n=2$：$\dfrac{1}{2}\cdot\dfrac{\pi}{2} = \dfrac{\pi}{4}$
• $n=3$：$\dfrac{2}{3}$
• $n=4$：$\dfrac{3}{4}\cdot\dfrac{1}{2}\cdot\dfrac{\pi}{2} = \dfrac{3\pi}{16}$
• $n=5$：$\dfrac{4}{5}\cdot\dfrac{2}{3} = \dfrac{8}{15}$

sin 和 cos 结果一模一样（在 $[0,\pi/2]$ 上互为平移），一套公式两用。

[0,π] 上的转化：$\sin x$ 在 $[0,\pi]$ 上关于 $x=\pi/2$ 对称，两半相等，所以

验证 $n=1$：两半都是 $1$，总积分 $2$（$\int_0^\pi \sin x\,dx = 2$ 正确）。

Caution

cos 在 [0,π] 上的奇偶坑

$\cos x$ 关于 $x = \pi/2$ 是反对称的（$\cos(\pi - x) = -\cos x$）：

• $n$ 为偶数：偶次方消掉负号，$\int_0^\pi \cos^n x\,dx = 2\int_0^{\pi/2} \cos^n x\,dx$
• $n$ 为奇数：奇次方保留负号，$\int_0^\pi \cos^n x\,dx = \mathbf{0}$（正负半波正好抵消）！

做题先看两件事：谁（sin 还是 cos）在 $[0,\pi]$ 上，几次方（奇偶）。sin 无脑翻倍；cos 偶数翻倍、奇数直接写 $0$。

八、比大小武器库

武器 1：五兄弟泰勒排序（$x$ 在常规小区间，如 $(0, \pi/4)$）

看泰勒展开三阶项系数直接读出来：

系数 $-\frac{1}{3} < -\frac{1}{6} < 0 < \frac{1}{6} < \frac{1}{3}$，排序直接读：arctan 垫底、tan 封顶、x 居中。验证 $x=0.5$：arctan $\approx 0.464 < \sin \approx 0.479 < 0.5 < \arcsin \approx 0.524 < \tan \approx 0.546$。

注意：这个链是局部的，$x$ 特别接近 $1$ 时 $\tan x$ 与 $\arcsin x$ 会反转（$\tan 1 \approx 1.557 < \arcsin 1 = \pi/2 \approx 1.571$），考试常规区间不涉及。

武器 2：经典切线不等式组（比大小的"尺子"）：

• $e^x \geqslant 1 + x$（$e^x$ 在 $0$ 处的切线）
• $\ln(1+x) \leqslant x$（$\ln$ 在 $0$ 处的切线）
• $\sin x < x < \tan x$（$(0, \pi/2)$ 上）
• $\arctan x < x < \arcsin x$（$x > 0$ 时）

武器 3：凹凸性三明治（割线 + 切线）：凸函数（$f''>0$）图像在割线下方、切线上方；凹函数（$f''<0$）反过来。凹凸性清楚的函数直接拿切线/割线卡位置。

武器 4：常数化积分：比较"常数 vs 积分"时，把常数写成定积分——常数 = 常数 × 区间长度 = $\int_a^b$ 常数 $dx$，让两边区间统一，然后比被积函数。

graph LR
  A[比较定积分大小] --> B[画图看上下]
  B --> C[凹凸性卡位置]
  C --> D[经典不等式]
  D --> E[常数化积分]

题目实战

题 1：积分方程（定积分是"数"的考法）

设 $f(x)$ 连续，$f(x) = x + \int_0^1 t\,f(t)\,dt$，求 $f(x)$。

关键观察：$\int_0^1 t\,f(t)\,dt$ 是一个确定的数（积分把 $t$ 全部吸收，结果不依赖 $t$），而且积分里的 $t$ 与外面的 $x$ 是两个世界的变量——外面的 $x$ 是自由变量，积分里的 $t$ 是哑变量。

第一步：设常数。 令 $A = \int_0^1 t\,f(t)\,dt$，则 $f(x) = x + A$。

第二步：代回积分。 两边乘以 $t$ 再在 $[0,1]$ 上积分：

第三步：解 A。 左边就是 $A$，所以 $A = \dfrac{1}{3} + \dfrac{A}{2}$，解得 $A = \dfrac{2}{3}$。

最终答案：$f(x) = x + \dfrac{2}{3}$。

坑：如果题目是 $f(x) = x + \int_0^1 f(t)\,dt$，设 $A = \int_0^1 f(t)\,dt$，代回去得 $A = \dfrac{1}{2} + A$——矛盾，无解。出题人通常用权重（$t\cdot f(t)$ 这种）让系数不是 $1$，方程才可解。解出来矛盾时，先判断是不是题型本身无解。

题 2：比大小（常数化积分）

比较 $\displaystyle\int_0^1 \frac{\sin x}{x}\,dx$ 与 $1$ 的大小。

第一步：把 1 写成定积分。 区间 $[0,1]$ 长度是 $1$，所以 $1 = \int_0^1 1\,dx$。

第二步：统一区间比被积函数。 两个积分区间都是 $[0,1]$，在 $(0,1)$ 上 $\sin x < x$，所以 $\dfrac{\sin x}{x} < 1$。

第三步：结论。 $\displaystyle\int_0^1 \frac{\sin x}{x}\,dx < \int_0^1 1\,dx = 1$。

补充性质：$\dfrac{\sin x}{x}$ 在 $(0, \pi/2)$ 上单调递减，从 $x \to 0^+$ 的极限 $1$ 降到 $\dfrac{2}{\pi}$；$\dfrac{\tan x}{x}$ 则大于 $1$ 且递增。

题 3：华里士 + [0,π] 转化

计算 $\displaystyle\int_0^\pi \cos^3 x\,dx$。

第一步：看奇偶。 $n = 3$ 是奇数，$\cos$ 在 $[0,\pi]$ 上关于 $x = \pi/2$ 反对称。

第二步：结论。 $\cos^3 x$ 在 $[0,\pi]$ 上正负半波正好抵消，直接写 $\mathbf{0}$。

对比：$\displaystyle\int_0^\pi \sin^3 x\,dx = 2\int_0^{\pi/2} \sin^3 x\,dx = 2 \cdot \frac{2}{3} = \frac{4}{3}$——sin 无脑翻倍，华里士 $n=3$ 给 $\dfrac{2}{3}$。

题 4：切线不等式组合

比较 $e^x - 1$ 与 $x - \ln(1+x)$（$x \geqslant 0$），并比较 $\ln 2$ 与 $e - 1$。

第一步：做差拆分。

第二步：逐项判定符号。 $e^x \geqslant 1 + x$ 推出 $e^x - 1 - x \geqslant 0$；$x \geqslant 0$ 时 $\ln(1+x) \geqslant 0$。两项都非负。

第三步：结论。 $x \geqslant 0$ 时 $e^x - 1 \geqslant x - \ln(1+x)$。

第四步：代值。 取 $x = 1$：$e - 1 \geqslant 1 \geqslant \ln 2$，所以 $\ln 2 \approx 0.693 < e - 1 \approx 1.718$，两个数一次比较完。

费曼交锋实录

交锋一：间断点类型的判据（用户两次滑落，已固化）

用户的原始表述：「有界 + 有限个可去间断点和震荡间断点 ⇒ 定积分存在」。

搭档的纠正：跳跃间断点被漏了。可去、跳跃都属于第一类，只要有界 + 有限个，都可积。判据是"有界 + 间断点有限"，类型不限。

用户的再表述：「间断点类型必是第一类间断点和震荡间断点」。

逻辑修正：在有界的前提下，能剩下的间断点确实只有第一类（可去、跳跃）和有界震荡——但逻辑顺序是有界是"因"，类型受限是"果"，不是"因为是这些类型所以可积"。无界震荡（$\sin(1/x)/x$）不是无穷间断点，照样不可积。

理解锚点：第一类一家人 = 可去 + 跳跃（永远成对出现）；第二类一家人 = 震荡 + 无穷。判据永远先看有界。

交锋二：无穷间断点放错位置（1/√x 反例）

用户的原始表述：「只存在无穷间断点和可去间断点，就一定没有原函数」。

搭档的纠正：两个错误——无穷间断点属于第二类，可能有原函数（$f(x) = 1/\sqrt{x}$ 在 $(0,1]$ 上无穷间断，原函数 $2\sqrt{x}$）；跳跃间断点才是"必无原函数"家族成员（第一类全家：可去 + 跳跃）。

理解锚点：第一类（可去、跳跃）必无原函数；第二类（震荡、无穷）可能有原函数。分界线是达布定理：导函数不能跳，但可以疯。

交锋三：单调函数"有限个间断点"的错误

用户的原始表述：「单调函数只会有有限个间断点」。

搭档的纠正：错——单调函数的间断点可以无穷多个（阶梯函数反例：在 $(1/(k+1), 1/k]$ 上取 $1/k$，每个 $1/k$ 都是跳跃点，无穷多个，照样可积）。这正是单调函数定理比"有界 + 有限个间断点"更狠的地方。

理解锚点：单调函数从 $f(a)$ 升到 $f(b)$，总上升高度有限；分得越细，每个跳跃点的贡献（高度 × 底）越小，总误差被压下去。

交锋四：cos 在 [0,π] 的奇偶坑

用户的原始表述：「[0,π] 上 sin 拆成两半相等，翻倍就行」。

搭档的补充：sin 无脑翻倍对；但 cos 在 [0,π] 上关于 π/2 反对称——偶数次翻倍、奇数次直接写 0。先看"谁"（sin/cos）、再看"几次方"（奇偶）。

理解锚点：sin 在 [0,π] 恒非负（两半相等），cos 有正有负（奇数次要抵消）。

交锋五：五兄弟排序的泰勒记忆法

用户的原始表述：「tan x、arcsin x、x、sin x、arctan x 怎么排？」

搭档的整理：看三阶项系数 $-\frac{1}{3} < -\frac{1}{6} < 0 < \frac{1}{6} < \frac{1}{3}$，排序直接读：arctan < sin < x < arcsin < tan。附边界提醒：$x$ 接近 $1$ 时 tan 与 arcsin 反转。

理解锚点：比大小先看图像上下，再上凹凸性、经典不等式、常数化积分。

漏洞表

Caution

本课知识点全部讲到位，主要漏洞集中在"间断点分类"的两个反复滑落点，以及语音口误。

本课固化口诀：

1. 可积看"乖”（有界 + 间断点少），原函数看"能不能当导数"（不能跳但可以疯）
2. 第一类（可去、跳跃）能积不能当导数；第二类（震荡、无穷）有界就能积，原函数看运气
3. 华里士：偶数点火乘 π/2，奇数熄火不乘；[0,π] 上 sin 翻倍，cos 偶数翻倍奇数归零
4. 比大小：arctan < sin < x < arcsin < tan（三阶项系数排序）