今日学习地图
本次费曼主题：定积分整章总复习——从 8/6 定义到 8/12 应用，全章考点串讲。用户对照思维导图从头讲一遍，搭档核对纠偏。今天最大收获：① 原函数存在性的精细版修正（无穷间断点在区间内必无原函数）；② 达布定理"装逼版"；③ 三处死穴加固。
定积分总复习
├── ① 定义：黎曼和四步、λ→0、带符号面积、数列极限+夹逼
├── ② 存在性+性质：可积判据、原函数对比、性质9条（含估值/绝对值）
├── ③ 计算：N-L、换元、分部、区间再现、去x、轮换、华里士、比大小
├── ④ 变限积分：标准型判断、求导法则、含x两路
├── ⑤ 反常积分：p-积分两尺子、比较/比值判别、奇偶性
├── ⑥ 应用：面积、体积、弧长、侧面积（微元法）
└── ⑦ 死穴（9条）
本次需要重点关注的内容：
- 原函数存在性精细版：可去、跳跃、无穷（区间内）→ 必无原函数；有界震荡 → 可能有。8/7 的"无穷可能有"表述粗糙，本次修正。
- 达布定理：导函数处处有定义 ⇒ 至多震荡间断点（可去/跳跃/无穷都不行）。
- 性质漏项：估值定理、绝对值定理是比较定理的推论（漏讲补上）。
- 三处死穴加固：无穷间断点精细版、比值判别方向、侧面积用 ds。
考点串讲（按总复习顺序）
一、定义
- 黎曼和四步：分割 → 取点 → 求和 → 取极限；精髓是最长段 λ→0（不是份数→∞）
- 带符号面积：x 轴上方正、下方负；∫|f| 才是真面积
- 三种取点：右端点 f(a + i(b−a)/n)、左端点 i 减 1、中点 i 减 1/2
- 数列极限应用：$\displaystyle\lim_{n\to\infty}\frac{1}{n}\sum_{i=1}^{n}f\left(\frac{i}{n}\right) = \int_0^1 f(x)dx$——把 1/n 看成 dx、i/n 看成 x，常与夹逼准则结合
二、存在性 + 性质
- 可积判据：有界 + 间断点少。连续 ⇒ 可积；有界+有限个间断点 ⇒ 可积；单调 ⇒ 可积（总复习补：无穷多跳跃点也可积）
- 反例：狄利克雷函数（有界但不可积）——“有界推不出可积”
- 原函数存在性（精细版，本次修正）：
| 间断点类型 | 原函数存在？ |
|---|---|
| 第一类：可去、跳跃 | 必无（达布定理） |
| 第二类：无穷（无界） | 区间内必无（达布性质破坏）；区间不含该点才有（1/√x 在 (0,1]） |
| 第二类：有界震荡 | 可能有（x²sin(1/x) 的导数，F = x²sin(1/x)） |
- 达布定理（装逼版）：导函数在区间上处处有定义 ⇒ 导函数至多震荡间断点（可去、跳跃、无穷都不行）——与"原函数存在性"等价互证
- 性质 9 条：数（与变量符号无关）/ 交换上下限加负号 / 上下限相等 = 0 / 线性 / 可加性 / 比较（母定理） / 估值、绝对值（比较的推论，总复习补） / 奇偶 / 周期 / 中值定理
三、计算
- N-L 公式：∫ₐᵇf = F(b) − F(a)——连接定积分与不定积分的纽带，条件 f 连续
- 换元：从不定积分顺延，但换元必换限、不用回代
- 分部积分：顺延不定积分，v 阶数核对
- 区间再现：∫ₐᵇf(x)dx = ∫ₐᵇf(a+b−x)dx
- 去 x 公式：∫₀^π x·f(sinx)dx = (π/2)∫₀^π f(sinx)dx——cos 只能偶次方（cos(π−x) = −cos x 会变号）
- 区间对称公式（奇偶性推广）：∫₋ₐᵃf(x)dx = ∫₀ᵃ[f(x) + f(−x)]dx（f = 偶部 + 奇部）
- 轮换对称：∫₀^(π/2) f(sinx,cosx)dx = f 互换（区间再现 + 诱导公式）
- 华里士完整区间版：[0,π/2] 本体（偶乘 π/2、奇乘到 2/3）；[0,π] sin 无脑翻倍、cos 奇归零偶翻倍（总复习补 sin）；[0,2π] 奇归零、偶 4 倍
- 比大小：五兄弟泰勒排序、常数化积分、凹凸性切线割线
四、变限积分
- 标准型判断（总复习新增流程）：先看是不是 ∫ₐˣ f(t)dt；不是标准型 → 换元化成标准型（换元必换限）
- 求导法则：上限 α(x) → f(α(x))·α’(x)；下限 β(x) → 减 f(β(x))·β’(x)——上限正、下限负
- 被积函数含 x：x 相对 t 是常数，提出来 + 乘积法则，或凑微分换元
- 三合一：变上限积分 = 面积函数 = f 的原函数
五、反常积分
- 两类：无穷积分（lim(t→∞)∫ₐᵗ）、瑕积分（左开右闭 + 端点极限无穷）
- p-积分两把尺子：∫ₐ^∞ 1/xᵖ（p>1 收敛）、∫₀ᵃ 1/xᵖ（p<1 收敛）
- 比较判别：非负前提；大收敛压小收敛、小发散炸大发散
- 比值判别（极限形式）：lim f/g = c（常数）→ 同敛散；= 0（f 是弟弟）→ g 收敛则 f 收敛（本次纠正方向）；= ∞（f 是大哥）→ g 发散则 f 发散
- 奇偶性：对称区间先看一半敛散——偶函数收敛则 2 倍；奇函数不能盲目写 0，发散则整体发散
- 常与极限结合考，先分类 → 找方向 → 等价量找 p → 对照尺子
六、应用（微元法）
- 面积：直角坐标 x 型上减下 / y 型右减左；极坐标 ½∫r²dθ（扇形）；参数方程 ∫y(t)x’(t)dt——上下限"该怎样就怎样"（dx 可负，符号自动调节），对比弧长必须从小到大
- 体积：绕 x 轴切片 π∫y²dx（圆饼）；绕 y 轴柱壳法 2π∫xy dx（壳展开 = 周长 2πx × 宽 dx × 高 y）
- 弧长：ds = √(dx²+dy²)（勾股定理），直角/参数/极坐标三种形式
- 侧面积：2π∫y·ds——宽是 ds 不是 dx（斜条带贴壁纸，不能拿 dx 冒充弧长）
费曼交锋实录
交锋一：原函数存在性（三次放错 → 精细版修正）
用户第一次：「只有无穷间断点和可去间断点，原函数一定不存在」——❌ 无穷放错位置。
搭档纠正：可去、跳跃（第一类）必无；震荡、无穷（第二类）可能有；1/√x 有原函数。
用户第二次：「可去和跳跃必无，震荡和无穷未知」——✅ 对了。
用户第三次（关键）：「处处有定义 + 可去 + 无穷间断点 ⇒ 一定没有原函数」。
搭档承认：用户是对的！1/√x 例子的区间 (0,1] 不含 0，f 在区间上其实连续；如果区间含无穷间断点，达布性质破坏，必无原函数。修正 8/7 的粗糙表述：无穷间断点在区间内必无原函数。
交锋二：达布定理装逼版
用户：「导函数在区间上处处有定义，则导函数至多存在震荡间断点」——✅ 完全正确。
用户补充：「可以用原函数存在性定理证明」——✅ 等价互证：假设 f’ 有第一类间断点 ⇒ 无原函数，但 F 就是它的原函数，矛盾。
交锋三：性质漏项
用户讲了 7 条核心（数、线性、可加、比较+严格版、奇偶、周期、中值），漏估值定理和绝对值。
用户判断：「这两条都是比较定理的推论」——✅ 估值（m ≤ f ≤ M ⇒ 夹住积分）、绝对值（−|f| ≤ f ≤ |f| ⇒ |∫f| ≤ ∫|f|）确实都是比较的崽。
交锋四：比值判别法方向
用户：「lim f/g = 0 时，f 收敛则 g 肯定收敛」——❌ 说反了。
搭档纠正：lim f/g = 0 ⇒ f 远小于 g（f 是弟弟）⇒ g 收敛则 f 收敛（大收敛压小收敛）。
交锋五：侧面积 dx/ds 滑回又自纠
用户（讲侧面积）：「宽是 dx」——❌ 滑回坑里。
用户（被拦后自纠）：「对，是 ds 不是 dx，ds 是弧长，dx 不能代替弧长，ds 和 dx、dy 有关系」——✅ 自己纠正回来。
结论：知识在（8/12 答对过），但"说得太快"暴露熟练度不够——记入死穴，做题时特意慢半拍。
漏洞表（死穴清单 9 条）
Caution
总复习暴露的三处死穴已加固，加上之前的六条，共九条。复习时重点盯。
| # | 死穴 | 状态 |
|---|---|---|
| 1 | 可积 / 连续 / 可导三词边界（可积管存在、连续管可导） | 已固 |
| 2 | 换元必换限（忘了就是全错） | 已固 |
| 3 | 分部积分 v 阶数核对（写完求导回验） | 已固 |
| 4 | 华里士 cos 奇次 [0,π] 归零（sin 无脑翻倍） | 已固 |
| 5 | 反常积分先分类再判断（别把普通积分当反常） | 已固 |
| 6 | y 型右减左、参数方程 ∫y dx | 已固 |
| 7 | 无穷间断点在区间内 ⇒ 无原函数（精细版；1/√x 在 (0,1] 不含 0） | 本次修正加固 |
| 8 | 比值判别方向：lim f/g = 0 时 g 收敛则 f 收敛（f 是弟弟） | 本次新增 |
| 9 | 侧面积用 ds 不用 dx（体积切饼 dx，侧面积贴壁纸 ds） | 本次滑回自纠 |
总复习固化口诀：
- 原函数：可去、跳跃、无穷（区间内）都无原函数；有界震荡可能有——“导函数可以疯（震荡），不能跳（第一类）、不能飞（无穷）”
- 性质：比较定理是母定理，估值、绝对值是它的崽
- 华里士：[0,π] sin 无脑翻倍，cos 奇归零偶翻倍；[0,2π] 奇归零偶 4 倍
- 反常积分：比值 = 常数同敛散，= 0 听大哥（g），= ∞ 听小弟（g 散 f 散）
- 应用：体积切饼 dx，侧面积贴壁纸 ds
