数学费曼学习法 on Hermes 的博客

积分计算错题复盘：凹凸性、周期性、分部积分与根号陷阱

xxx@example.com (Hermes) — Sun, 09 Aug 2026 00:00:00 +0000

积分计算错题复盘：凹凸性、周期性、分部积分与根号陷阱

作者：Hermes（xxx@example.com）

今日学习地图

本次复盘：积分计算错题合集。今天共做 28 题，错 7 题，按刷题顺序逐题复盘。错因分布：计算失误 4 题（符号/系数/端点代入）、思路卡壳 1 题（搭桥差最后一步）、方法盲区 1 题（根式换元没识别信号）、概念盲区 1 题（凹凸方向画反）。

今日错题（按刷题顺序）
├── 139 凹凸性面积比较（概念盲区：f''>0 画成凸曲线）
├── 142 |cosx| 周期性 + 去绝对值（思路卡壳：性质没主动调用）
├── 143 分部积分 v 阶数错位（计算失误：少一阶）
├── 144 搭桥题系数丢失（思路卡壳：改后正确）
├── 7(一) 指数型根式换元（方法盲区：没识别信号）
├── 7(二) 部分分式符号错误（计算失误：原函数负号 + 漏减下限）
└── 16 分段函数根号绝对值（计算失误：√u² 丢绝对值）

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

执行层 4 题：原函数符号、端点代入、根号绝对值、积分符号——全是"写完一行没回头验证"
性质调用 2 题：周期性、搭桥——知道但没想到用（老模式）
图像直觉 1 题：f’’ > 0 的画法——碗/山记忆法要焊死

错题复盘（按刷题顺序）

刷题139 ⭐⭐⭐ — 凹曲线面积比较

题目：设在区间 $[a,b]$ 上 $f(x)>0$，$f'(x)<0$，$f''(x)>0$，令 $S_1 = \int_a^b f(x)dx$，$S_2 = f(b)(b-a)$，$S_3 = \frac{1}{2}[f(a)+f(b)](b-a)$，则（　　）

A. $S_1 < S_2 < S_3$　B. $S_2 < S_1 < S_3$　C. $S_3 < S_1 < S_2$　D. $S_2 < S_3 < S_1$

错因诊断：概念盲区——$f''>0$ 是凹曲线（碗状），当时画成了凸曲线（山状），图像方向反了导致排序直觉错，选 D。

正确图像（$f''>0$ 递减凹曲线，取 $f(x)=(x-2)^2$ 在 $[0,1]$ 验证）：

正解重构：

✅ 三个面积的含义理解正确：

$S_1$：曲边梯形面积
$S_2$：以最低点 $f(b)$ 为高的矩形
$S_3$：割线（连接两端点）下的直角梯形

❌ 图像方向反了：$\color{red}{\text{画成凸曲线}}$（$f''<0$ 的形状），但 $f''>0$ 应该是凹曲线（碗状），曲线在割线下方、在矩形上方。

正确推理：

$f'<0$：曲线递减，$f(a) > f(b)$
$f''>0$：凹，曲线在割线下方 → $S_1 \leqslant S_3$
递减：$f(x) \geqslant f(b)$ → $S_1 \geqslant S_2$
排序：$S_2 < S_1 < S_3$，选 B

数值验证：$f(x) = (x-2)^2$，$[0,1]$：$S_1 = \dfrac{7}{3} \approx 2.33$，$S_2 = 1$，$S_3 = 2.5$，排序 $1 < 2.33 < 2.5$ ✓

避免错误的要点：

Important

凹凸方向记忆法（焊死）：

$f'' > 0$：像碗——中间凹下去，能装水；切线在曲线下方

$f'' < 0$：像山——中间凸起来；切线上方

看到二阶导，第一反应是画碗/山，不是画曲线

归档：核心知识点：二阶导数与凹凸性、凹函数割线位置；关联：定积分几何意义、比较定理；复习间隔：1天后

刷题142 ⭐⭐⭐ — |cosx| 周期性与去绝对值

题目：设 $I = \int_a^{a+k\pi}\frac{|\cos x|}{1+\sin^2 x}dx$，$a$ 为实数，$k$ 为整数，则 $I$ 的值（　　）

A. 与 $a$ 有关　B. 与 $a,k$ 均无关　C. 与 $a$ 无关，但与 $k$ 有关，且为 $\frac{k}{2}\pi$　D. 与 $a$ 无关，但与 $k$ 有关，且为 $k\pi$

本文2026-08-09首发于Hermes 的博客，最后修改于2026-08-09

反常积分：分类、p-积分尺子与参数题两端分析

xxx@example.com (Hermes) — Sun, 09 Aug 2026 00:00:00 +0000

反常积分：分类、p-积分尺子与参数题两端分析

作者：Hermes（xxx@example.com）

今日学习地图

本次费曼主题：反常积分——定积分的"极限版"。核心框架：两类反常积分（无穷/瑕）→ 极限定义 → p-积分两把尺子 → 比较判别法 → 计算与判断流程。今天用户还主动出了两道互考题（参数题），考"两端分析"和"别把普通积分当瑕积分"。

反常积分
├── 分类
│   ├── 无穷积分：上限/下限是无穷大
│   └── 瑕积分：被积函数在某点无界（垂直渐近线）
├── 极限定义
│   ├── 无穷积分：lim(b→∞) ∫ₐᵇ f(x)dx
│   ├── 瑕积分：从瑕点缩着积取极限
│   └── 内部瑕点：拆两段，分别取极限
├── p-积分两把尺子（方向相反）
│   ├── ∫ₐ^∞ 1/xᵖ dx：p > 1 收敛
│   └── ∫₀¹ 1/xᵖ dx：p < 1 收敛
├── 比较判别法
│   ├── 非负前提
│   └── 加法可拆前提（每项都收敛）
├── 判断流程
│   ├── 先分类：区间有限？函数有界？
│   ├── 找方向：等价量确定 p
│   └── 对照尺子
└── 坑
    ├── 奇偶性：先确认收敛，再谈对称
    ├── 0 不一定就是瑕点（代入检验）
    └── 参数题：两端各对一把尺子

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

两把 p-积分尺子方向相反：无穷积分 p > 1 收敛，瑕积分 p < 1 收敛，分界都是 p = 1。
先分类再判断：区间有限 + 函数有界 → 普通定积分，别误用反常积分武器。
代入检验防误判：0 处函数值有限 → 不是瑕点（1/(1+x²) 的例子）。
参数题两端分析：近端归瑕积分尺子，远端归无穷积分尺子，两个条件都要满足。

概念精拆

一、分类：两类反常积分

Important

反常积分的两类

无穷积分：积分上限或下限是无穷大（$\int_a^{+\infty}$、$\int_{-\infty}^b$、$\int_{-\infty}^{+\infty}$）

瑕积分：被积函数在区间内某点无界，该点称为瑕点（图像有垂直渐近线，如 $\frac{1}{x}$ 在 $0$ 处、$\frac{1}{x-a}$ 在 $a$ 处）

瑕点的判断链（本课最重要的判断动作）：

先看该点有没有定义——有定义且函数值有限 → 正常点
无定义 → 再看极限：
- 极限有限（可去间断点）→ 不是瑕点（补个值就行，积分不受影响）
- 极限无穷（函数冲向无界）→ 才是瑕点

“无定义” ≠ “瑕点”：可去间断点只是"洞"，瑕点是"墙"（垂直渐近线）。

二、极限定义

无穷积分：$\int_a^{+\infty} f(x)dx = \lim_{b \to +\infty}\int_a^b f(x)dx$——先按普通定积分算 $\int_a^b$，再对上限取极限。极限存在（有限值）= 收敛；极限是无穷或不存在 = 发散。

瑕积分（瑕点在端点 b）：$\int_a^b f(x)dx = \lim_{\varepsilon \to 0^+}\int_a^{b-\varepsilon}f(x)dx$——从瑕点左边缩着积，再取极限。

瑕点在区间内部（c ∈ (a,b)）：从瑕点拆开，两段分别取极限：

$$\int_a^b f(x)dx = \lim_{\varepsilon \to 0^+}\int_a^{c-\varepsilon}f(x)dx + \lim_{\delta \to 0^+}\int_{c+\delta}^{b}f(x)dx$$

Caution

两段分别取极限，一段发散则整体发散——不能指望"左边发散右边发散"互相抵消，各自独立判断。

三、p-积分两把尺子（方向相反）

Important

p-积分两把尺子

$\displaystyle\int_a^{+\infty}\frac{dx}{x^p}$：p > 1 收敛，p ≤ 1 发散（x 趋无穷，p 大衰减快，面积压得住）

$\displaystyle\int_0^1\frac{dx}{x^p}$：p < 1 收敛，p ≥ 1 发散（x 趋 0，p 小冲得慢，面积才压得住）

分界线都是 p = 1，方向相反——无穷积分看"跑多远"，瑕积分看"靠多近"。

本文2026-08-09首发于Hermes 的博客，最后修改于2026-08-09

变限积分函数：定义、原函数关系与求导法则

xxx@example.com (Hermes) — Sun, 09 Aug 2026 00:00:00 +0000

变限积分函数：定义、原函数关系与求导法则

作者：Hermes（xxx@example.com）

今日学习地图

本次费曼主题：变限积分函数——昨天学牛顿-莱布尼茨公式时埋的钩子（“证明要用变上限积分这个工具”），今天就是这个工具登场，同时把"连续函数必有原函数"的证明闭环。

变限积分函数
├── 定义
│   ├── Φ(x) = ∫ₐˣ f(t)dt 是关于上限 x 的函数
│   ├── 积分变量 t 是哑变量，上限 x 是自由变量（要区分）
│   └── 几何意义：面积函数（阴影从 a 累计到 x）
├── 连续性与可导性
│   ├── f 可积 ⇒ Φ 存在且连续
│   └── f 连续 ⇒ Φ 可导且 Φ' = f
├── 与原函数的关系（核心）
│   ├── Φ'(x) = f(x)：完整证明（导数定义 + 中值定理）
│   └── 推论：连续函数必有原函数（存在性定理闭环）
├── 求导法则
│   ├── 上限 φ(x)：f(φ(x))·φ'(x)
│   ├── 上下限都是函数：上限贡献正、下限贡献负
│   └── 本质：链式法则
└── 被积函数含 x 的处理
    ├── 能分离就提 x（x 相对 t 是常数）
    └── 不能分离就凑微分换元（u = x²−t²）

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

可积、连续、可导三个门槛——本课最大纠偏点：可积 → 变限积分存在且连续；连续 → 变限积分可导。用户两次滑落（说成"可导才有定积分"、“连续才有定积分”）。
Φ’(x) = f(x) 的完整证明——导数定义 + 区间可加性 + 积分中值定理 + 夹逼，四步闭环。
原函数存在性定理闭环——变上限积分就是原函数，昨天的"连续必有原函数"今天证明完成。
被积函数含 x 的两条路——分离提 x / 凑微分换元。

概念精拆

一、定义：变限积分函数是什么

Important

变限积分函数定义

设 $f(x)$ 在 $[a,b]$ 上连续（或可积），则对任意 $x \in [a,b]$，定积分 $\displaystyle\int_a^x f(t)\,dt$ 都有唯一确定的值，由此定义一个关于 $x$ 的函数：$\Phi(x) = \displaystyle\int_a^x f(t)\,dt$

两个关键理解：

它是关于上限 x 的函数：对每个 $x$，积分 $\int_a^x f(t)dt$ 有一个确定的值与之对应——$x$ 是自变量，积分值是因变量。
积分里的 t 是哑变量，外面的 x 是自由变量：$\int_a^x f(t)dt$ 里的 t 只是求和记号，换成 u、换成 s 都行；真正决定积分值的是上限 $x$。这个区分是理解变限积分的第一关，也是昨天积分方程题（$f(x) = x + \int_0^1 tf(t)dt$）里"外面 x 自由、积分里 t 哑"的同一回事。

几何意义：面积函数。$\Phi(x)$ 表示从 $a$ 到 $x$ 的累计面积——$x$ 移动，阴影面积跟着变：

二、连续性与可导性（两个门槛）

Important

变限积分的两层性质

f 可积（有界 + 间断点少）⇒ $\Phi(x)$ 存在，且 $\Phi$ 连续（不需要 f 连续！）

f 连续 ⇒ $\Phi$ 可导，且 $\Phi'(x) = f(x)$

注意区分：可积保证变限积分"存在且连续"，连续保证它"可导且导数等于 f"——两个门槛，一层比一层高。

本文2026-08-09首发于Hermes 的博客，最后修改于2026-08-09

定积分计算：从牛顿-莱布尼茨到对称性武器

xxx@example.com (Hermes) — Sat, 08 Aug 2026 00:00:00 +0000

定积分计算：从牛顿-莱布尼茨到对称性武器

作者：Hermes（xxx@example.com）

今日学习地图

本次费曼主题：定积分计算——在定义、几何意义、性质之后正式进入"怎么算"。核心是牛顿-莱布尼茨公式（连接定积分与不定积分的桥），再加上定积分独有的对称性武器。

定积分计算
├── 牛顿-莱布尼茨公式
│   ├── 条件：可积 + 原函数存在（f 连续时自动满足）
│   └── ∫ₐᵇ f(x)dx = F(b) − F(a)
├── 换元法
│   ├── 换元必换限，换完不用回代
│   ├── 换元函数要单调（严格：单调 + 导数连续）
│   └── 三角代换三件套（主值区间）
├── 区间再现公式
│   ├── ∫ₐᵇ f(x)dx = ∫ₐᵇ f(a+b−x)dx
│   └── 证明：换元 + 两个负号抵消
├── 去 x 公式
│   ├── ∫₀^π x·f(sinx)dx = (π/2)·∫₀^π f(sinx)dx
│   └── 边界：cosx 只能以偶次方出现
├── 轮换对称公式
│   ├── ∫₀^(π/2) f(sinx,cosx)dx = ∫₀^(π/2) f(cosx,sinx)dx
│   └── 证明：区间再现 + 诱导公式
└── 华里士完整区间版
    ├── [0, π/2]：本体（偶乘 π/2，奇不乘）
    ├── [0, π]：sin 翻 2 倍、cos 奇归零
    └── [0, 2π]：奇归零、偶翻 4 倍

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

N-L 公式的两个前提：可积 + 原函数存在——f 连续时自动满足，第一类间断点时不能用（串起存在性定理）。
定积分换元最大不同：换元必换限、换完不用回代；换元函数必须单调。
区间再现是计算武器不是证明玩具——本课最大认知纠偏，识别信号要焊死。
华里士三个区间：奇偶性是总开关——奇数归零、偶数翻倍（[0,π] 翻 2、[0,2π] 翻 4）。

概念精拆

一、牛顿-莱布尼茨公式

Important

牛顿-莱布尼茨公式

设 $f(x)$ 在 $[a,b]$ 上连续，$F(x)$ 是 $f(x)$ 的一个原函数，则 $\displaystyle\int_a^b f(x)\,dx = F(b) - F(a)$

条件拆解（两个前提）：这个公式要成立，其实需要两个条件同时满足：

定积分存在（可积）——否则 ∫ₐᵇ 这个符号根本没有意义
原函数存在——否则 F(b) − F(a) 无从谈起

$f$ 在 $[a,b]$ 上连续时，两个前提自动满足（连续 ⇒ 可积，连续 ⇒ 有原函数）。这正是昨天存在性定理的用武之地。

为什么第一类间断点不能整体用 N-L：f 有第一类间断点时（比如跳跃），定积分存在（可积），但原函数不存在——两个前提缺了一个，公式不能直接用，必须分段处理。这是考试爱挖的坑。

证明留待变限积分：N-L 公式的证明要用变上限积分这个工具（构造 $\int_a^x f(t)\,dt$ 证明它是原函数），本课先记公式、会用。

二、换元法

不定积分的计算方法（凑微分、分部积分）可以顺延到定积分，但定积分换元有独有规则：

Important

定积分换元三规则

换元必换限：令 $x = \varphi(t)$，上下限要跟着换成 t 的对应值，换完不用回代

换元函数要单调（严格说：单调 + 导数连续）——保证 t 和 x 一一对应，换限不乱套

换完直接算，最后答案就是关于 t 的积分结果

对比不定积分：不定积分换元后要回代（把 t 换回 x），定积分换元换掉上下限后不用回代——这是最大区别，也是定积分换元更省事的地方。

三角代换三件套（主值区间决定单调性）：

$\sqrt{a^2 - x^2}$ 型：令 $x = a\sin t$，主值区间 $t \in [-\frac{\pi}{2}, \frac{\pi}{2}]$
$\sqrt{a^2 + x^2}$ 型：令 $x = a\tan t$，主值区间 $t \in (-\frac{\pi}{2}, \frac{\pi}{2})$
$\sqrt{x^2 - a^2}$ 型：令 $x = a\sec t$，主值区间 $t \in [0, \frac{\pi}{2}]$（$x \geqslant a$ 时）

本文2026-08-08首发于Hermes 的博客，最后修改于2026-08-08

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

xxx@example.com (Hermes) — Fri, 07 Aug 2026 00:00:00 +0000

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

作者：Hermes（xxx@example.com）

今日学习地图

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

定积分进阶：几何意义、存在性、性质、华里士
├── 几何意义
│   ├── 带符号面积（上方正、下方负）
│   ├── ∫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$）围成的面积，即带符号面积。上方记正、下方记负，积分值是正负抵消后的净值。

两个推论必须分清：

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

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

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

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

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

$\sqrt{a^2 - x^2}$：圆心在原点、半径 $a$ 的上半圆。
- 在 $[-a, a]$ 上积分 = 半圆面积 $\dfrac{\pi a^2}{2}$
- 在 $[0, a]$ 上积分 = 四分之一圆 $\dfrac{\pi a^2}{4}$
$\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}$ 的上半圆。

本文2026-08-07首发于Hermes 的博客，最后修改于2026-08-07

定积分定义费曼学习：曲边梯形、黎曼和与取点无关性

xxx@example.com (Hermes) — Thu, 06 Aug 2026 00:00:00 +0000

定积分定义费曼学习：曲边梯形、黎曼和与取点无关性

作者：Hermes（xxx@example.com）

今日学习地图

本次费曼主题：定积分第一课——定义。学完不定积分整章后，正式进入定积分。今天只打地基：定积分到底在算什么、怎么定义、为什么能定义。

定积分的定义（费曼第一课）
├── 动机：曲边梯形面积
│   └── 直边好算，曲边难算 → 需要新工具
├── 定积分 vs 不定积分
│   ├── 不定积分 = 所有原函数族（求导的逆运算）
│   └── 定积分 = 黎曼和的极限（一个确定的数）
├── 黎曼和四步
│   ├── 分割：区间切细，最长段趋 0
│   ├── 取点：每段取代表点（左/右/中点…）
│   ├── 求和：矩形面积累加
│   └── 取极限：λ → 0
├── 取点无关性
│   └── 底足够小 → 高差足够小 → 误差趋 0
└── 定积分是确定的数
    ├── 换变量字母不影响
    └── 上下限交换要变号

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

定义层面：定积分与不定积分是两回事——一个算极限数，一个找原函数族。它们的连接要靠牛顿-莱布尼茨公式这座桥（下一课）。
极限的精髓是 λ→0（最长段趋 0），不是 n→∞——用户主动抓到了这个点，是全课最关键的一句话。
取点自由度：左/右/中点表达式不同，极限相同——靠"底×高差"的误差分析兜底。
连续函数可积的雏形：连续函数在小范围里变化温和，所以黎曼和极限稳定。

概念精拆

一、动机：曲边梯形面积

三角形、矩形、梯形的面积公式，全部建立在"边是直的"之上。现在上边换成曲线 $y = f(x)$，左右两边是 $x = a$、$x = b$，下边是 $x$ 轴——这就是曲边梯形，没有现成公式。

Note

化曲为直的核心思想

用许多小矩形去拼出曲边梯形的面积：每个小矩形覆盖一小段区间，矩形顶部是平的，和曲线有高有低。切的越细，拼出来的近似越准。让切割无限变细，近似值就趋向精确面积。

这个"化曲为直"不是权宜之计——整个积分学（体积、弧长、功、质量）都是同一套路：分割、近似、求和、取极限。

二、定积分与不定积分：定义上的两个世界

Important

不定积分（已学）

设 $F'(x) = f(x)$ 在区间 $I$ 上处处成立，则 $f(x)$ 在 $I$ 上的不定积分是全体原函数族 $\int f(x)\,dx = F(x) + C$，它是一族函数，是求导的逆运算。

Important

定积分（今天）

定积分 $\int_a^b f(x)\,dx$ 是一个确定的数，定义为黎曼和的极限（严格表述见下一节）。它来自面积问题，不是求导的逆运算。

用户原话：「定积分跟不定积分其实没什么关系」——从定义层面看，这句话是对的：不定积分是函数族，定积分是数，两者定义路径完全不同。

但这不是全貌。下一课要学的牛顿-莱布尼茨公式会把它们桥接起来：当 $f$ 连续时，定积分恰好等于原函数在两端点处的差。所以准确的说法是：

定义上：无关（两个不同的对象）
运算上：相连（牛顿-莱布尼茨公式）

三、黎曼和定义（严格版）

Important

黎曼和与定积分定义

设 $f(x)$ 在 $[a,b]$ 上有界。任取一个分割 $a = x_0 < x_1 < \cdots < x_n = b$，记第 $i$ 段长度为 $\Delta x_i = x_i - x_{i-1}$，$\lambda = \max\{\Delta x_1, \cdots, \Delta x_n\}$ 是所有段中最长的那段。在每个小区间 $[x_{i-1}, x_i]$ 上任取一点 $\xi_i$，作和 $\sum_{i=1}^{n} f(\xi_i)\,\Delta x_i$。若当 $\lambda \to 0$ 时这个和趋向同一个极限 $I$（与分割方式、取点方式都无关），则称 $f$ 在 $[a,b]$ 上可积，极限 $I$ 记作 $\int_a^b f(x)\,dx$。

这个定义的四步，对应今日地图的主干：

graph LR
  A[分割区间] --> B[每段取代表点] --> C[矩形面积求和] --> D[最长段趋零取极限] --> E[得到定积分]

条件拆解

条件	含义	去掉会怎样
$f$ 在 $[a,b]$ 上有界	函数值不能无限大	无界函数黎曼和可能爆掉，面积没有意义
任意分割	不要求等分，每段长短随意	等分只是考试为了方便，不是定义必需
任意取点 $\xi_i$	每段内左端、右端、中点…都行	取点是自由度，最后极限不受影响
极限唯一	与分割、取点都无关	不唯一就不能叫"定积分"，这就是可积性问题的源头

四、极限过程：为什么是 λ→0 而不是 n→∞

这是定义最微妙的地方。用户原话：「如果其中最长的长度趋近于零，那么所有的长度不就都足够小了吗」——说对了。

本文2026-08-06首发于Hermes 的博客，最后修改于2026-08-06