今日学习地图
本次费曼主题：定积分第一课——定义。学完不定积分整章后，正式进入定积分。今天只打地基：定积分到底在算什么、怎么定义、为什么能定义。
定积分的定义（费曼第一课）
├── 动机：曲边梯形面积
│ └── 直边好算，曲边难算 → 需要新工具
├── 定积分 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→∞
这是定义最微妙的地方。用户原话：「如果其中最长的长度趋近于零，那么所有的长度不就都足够小了吗」——说对了。
为什么不能只说"切成 n 份，n 趋向无穷大"？因为 n 大不代表切得细：
Warning
反例：份数多 ≠ 切得细
比如前 $n-1$ 段每段都只有 $0.001$ 长，最后一段占了区间剩余的全部长度。n 再大，最后一段依然很长，矩形在那一带上和曲线差得远，近似并没有变好。
只有当最长的一段 $\lambda \to 0$ 时，所有段才都趋于 $0$，才是真正的"无限细分"。
所以定义的核心不是"份数多"，而是最长段趋 0——用户主动说出来，说明抓住了要点。
五、考试版：等分 + 三种取点
考试题为了方便，通常把 $[a,b]$ 等分：每段底都一样长
$$\Delta x_i = \frac{b-a}{n}$$取点位置决定了"高"的表达式：
| 取点方式 | 代表点 $\xi_i$ | 与右端点的关系 |
|---|---|---|
| 右端点 | $\xi_i = a + \dfrac{b-a}{n}\,i$ | 基准 |
| 左端点 | $\xi_i = a + \dfrac{b-a}{n}\,(i-1)$ | 减一个 $\dfrac{b-a}{n}$ |
| 中点 | $\xi_i = a + \dfrac{b-a}{n}\,\left(i-\dfrac{1}{2}\right)$ | 减 $\dfrac{b-a}{2n}$ |
特例 $[0,1]$：令 $a=0, b=1$，右端点取法就是
$$\xi_i = \frac{i}{n}, \qquad \Delta x_i = \frac{1}{n}, \qquad \text{和} = \sum_{i=1}^{n} f\!\left(\frac{i}{n}\right)\cdot\frac{1}{n}$$六、取点无关性（本课最重要的论证）
三种取法表达式长得不一样，极限是同一个数吗？——是。理由可以拆成三步：
- 底一样：同一分割下，三种取法用的都是同样的 $\Delta x_i$。
- 高几乎一样：底足够小时，连续函数在这个小段上的值变化很小，取左端点和右端点，高的差 $|f(x_i) - f(x_{i-1})|$ 趋近 $0$。
- 误差压得下去：每个小矩形的面积误差 = 底 × 高差。底趋 $0$，高差也趋 $0$，所以每个矩形都"只错一点点"；全部加起来，总误差不超过 (高差最大值) × (区间总长)，仍然趋 $0$。
这个"高几乎一样"的底气来自连续：连续函数在小范围里变化温和。这正是"连续函数一定可积"的雏形——本课先有直觉，可积性的严格理论后续章节展开。
七、定积分是确定的数
最后一条收尾性质（用户没主动讲，搭档收尾时补充）：
- 换变量字母不影响：$\int_a^b f(x)\,dx = \int_a^b f(t)\,dt$。$x$、$t$ 只是哑变量，积分值是同一个数。
- 上下限相同：$\int_a^a f(x)\,dx = 0$（区间长度为 $0$）。
- 交换上下限变号：$\int_a^b f(x)\,dx = -\int_b^a f(x)\,dx$（方向反了，带符号面积变负）。
- 几何意义：$x$ 轴上方为正、下方为负，定积分是带符号面积，不是单纯的面积。
题目实战（定义级自检）
今天没有刷题，补一个定义落地例题：用黎曼和定义计算 $\int_0^1 x\,dx$。它完整走一遍四步，还能用直边三角形面积互相验证。
第一步：分割。 把 $[0,1]$ 等分成 $n$ 份，每段底
$$\Delta x_i = \frac{1}{n}$$第二步：取点。 先用右端点 $\xi_i = \dfrac{i}{n}$，高为
$$f(\xi_i) = \frac{i}{n}$$第三步：求和。 黎曼和
$$\sum_{i=1}^{n} f(\xi_i)\,\Delta x_i = \sum_{i=1}^{n} \frac{i}{n}\cdot\frac{1}{n} = \frac{1}{n^2}\sum_{i=1}^{n} i$$用前 $n$ 个自然数求和公式 $\displaystyle\sum_{i=1}^{n} i = \frac{n(n+1)}{2}$，代入：
$$\frac{1}{n^2}\cdot\frac{n(n+1)}{2} = \frac{n+1}{2n} = \frac{1}{2} + \frac{1}{2n}$$第四步：取极限。
$$\lim_{n \to \infty} \left(\frac{1}{2} + \frac{1}{2n}\right) = \frac{1}{2}$$最终答案： $\displaystyle\int_0^1 x\,dx = \dfrac{1}{2}$。
验证（几何）： $y = x$ 在 $[0,1]$ 上与 $x$ 轴围成的是底 $1$、高 $1$ 的直角三角形，面积 $\dfrac{1}{2}\cdot 1\cdot 1 = \dfrac{1}{2}$。两种方法互相印证。
换一种取点再验（验证取点无关性）： 取中点 $\xi_i = \dfrac{i-\tfrac{1}{2}}{n}$，黎曼和
$$\sum_{i=1}^{n} \frac{i-\frac{1}{2}}{n}\cdot\frac{1}{n} = \frac{1}{n^2}\left(\sum_{i=1}^{n} i - \frac{n}{2}\right) = \frac{1}{n^2}\left(\frac{n(n+1)}{2} - \frac{n}{2}\right) = \frac{n^2}{2n^2} = \frac{1}{2}$$极限直接就是 $\dfrac{1}{2}$，一步到终——三种取点殊途同归，正是第六节论证的实例。
涉及知识点：
- 定积分定义（黎曼和） — 四步全流程
- 取点无关性 — 中点取法直接得到 $\dfrac{1}{2}$
费曼交锋实录
交锋一：定积分和不定积分"没关系"？
我的原始直觉：都叫"积分"，多少有点亲戚关系。
用户的判断：「定积分跟不定积分其实没什么关系」——不定积分是求导函数在区间上的所有原函数（函数族），定积分是算曲边梯形面积（一个数）。
逻辑修正：定义层面，用户是对的。不定积分 = 求导的逆运算；定积分 = 极限和的数。两者没有定义上的依赖关系。真正的连接是牛顿-莱布尼茨公式（下一课）：连续时定积分 = 原函数在端点的差。
理解锚点：定积分是数，不定积分是函数族；它们之间有一座桥，叫牛顿-莱布尼茨。
交锋二：高取哪个点？
我的追问：每个小区间里函数有无数个点，你取哪一点的值当高？
用户的回应：考试为了方便等分，底是 $\dfrac{b-a}{n}$；取右端点高是 $f\!\left(a + \dfrac{b-a}{n}i\right)$，取左端点就减一个 $\dfrac{b-a}{n}$，取中点就减 $\dfrac{b-a}{2n}$；$[0,1]$ 区间本质一样。
逻辑修正：取点是定义里的自由度，表达式可以不同。
理解锚点：取点是"选择"，极限是"归宿"——选哪个点都行，最后都被极限收编。
交锋三：三种取法的极限是同一个数吗？
我的追问：三个式子长得不一样，极限是同一个数吗？如果说是——为什么？
用户的论证：肯定是同一个数。小矩形的底一样，高也几乎一样；底足够小，左中右的极限一样，整个定积分当然相等。
逻辑修正：把这个直觉落到误差分析——每个矩形的误差 = 底 × 高差，底趋 $0$、高差趋 $0$，每个矩形"只错一点点"，总误差 = (高差最大值) × (区间总长) 也趋 $0$。所以极限相同。
理解锚点：误差是"底 × 高差"这种高阶小，压得下去——这就是可积性能成立的原因。
漏洞表
Caution
本次费曼的完整度很高，知识性漏洞几乎没有。 如实记录三个小尾巴，区分层次：
| 层次 | 内容 | 状态 |
|---|---|---|
| 语音嘴瓢 | 讲解中多次把"定积分"说成"不定积分" | 已捋直，不影响理解，非知识错误 |
| 未主动讲 | 变量字母无关、上下限交换变号两条性质，收尾时由搭档补充 | 已补入第七节，做题时会反复用到 |
| 待深化 | 取点无关性是直觉级论证（“高几乎一样”），严格的可积性理论（什么样的函数可积、证明思路）留待后续章节 | 先记住直觉：连续 → 变化温和 → 误差可压 |
本课固化口诀： 分割、取点、求和、取极限——最长段趋 0 才是真细分，取点随便选，极限殊途同归。
