📘 第一节

从”分割–近似求和–取极限”到定积分的正式定义

微积分里最浪漫、最有哲思味道的概念——让你真正看懂”面积是怎么被定义出来的”

SECTION 01

大局观：定积分的灵魂

同学们，上课啦～ 咱今天要讲的是微积分里最浪漫、最有哲思味道的概念：定积分的定义。

别被符号吓到，我们先从”切东西 → 拼东西 → 看极限“的朴素思想讲起。

核心思想：定积分的本质不是 ∫ 符号，而是 分割 → 求和 → 极限

很多连续量，都能用一句话概括：

$$\text{总量} = \lim_{\text{分割越来越细}} \sum(\text{很多小块})$$
  • 路程 = 无数个”小位移”累加
  • 面积 = 无数个”窄矩形面积”累加
  • 质量、电荷、能量、功…… 全是这套玩意

数学把这套思想抽象成了定积分。

SECTION 02

分割区间 [a,b]：把整体切碎

设 $f(x)$ 在区间 $[a,b]$ 定义。我们随便取一些分点：

$$a = x_0 < x_1 < \cdots < x_n = b$$

切成 $n$ 个小区间：

$$[x_0, x_1], [x_1, x_2], \ldots, [x_{n-1}, x_n]$$

每段长度：

$$\Delta x_i = x_i – x_{i-1}$$
📌 关键点

分割能多随意就多随意——可以等分、不等分、整齐切、乱切，全都允许！这种灵活性正是黎曼积分定义的优雅之处。

SECTION 03

在每一小段里挑一个代表高度点 ξᵢ

在每个区间随便选一个点：

$$\xi_i \in [x_{i-1}, x_i]$$

用它估计这一段曲线的”高度”：

  • 矩形底：$\Delta x_i$
  • 矩形高：$f(\xi_i)$

于是第 $i$ 个小矩形面积近似：

$$f(\xi_i) \Delta x_i$$

所有矩形面积加在一起：

📐 黎曼和 (Riemann Sum)
$$S(T, \xi) = \sum_{i=1}^{n} f(\xi_i) \Delta x_i$$
SECTION 04

分割模长 λ：衡量”分得细不细”

给每个分割定义”最粗的那块”长度：

$$\lambda(T) = \max \Delta x_i$$
  • $\lambda$ 越大 → 分割越粗
  • $\lambda$ 越小 → 分割越细
  • $\lambda \to 0$ → 所有区间都变得无限窄

黎曼和趋不趋近某个固定值，就看 $\lambda$ 变小时的情况。

SECTION 05

交互可视化：分割越细，黎曼和越准

下面通过动态演示，让你肉眼看到：当 $n$ 增大（分割变细）时，矩形面积如何逼近曲线下方的真实面积。

📊 中点黎曼和可视化

n = 4
矩形数量
4
黎曼和 S(T,ξ)
0.3281
真实积分值
0.3333
误差
1.56%

四组对比：n = 4, 10, 30, 80

n = 4
分割很粗，误差明显
n = 10
明显更好了
n = 30
逼近效果很好
n = 80
几乎完美
💡 观察结论

当 $n$ 从 4 增加到 80 时，矩形的”锯齿”逐渐消失，拼合图形与真实曲线下面积几乎重合。这就是 $\lambda \to 0$ 时黎曼和收敛的直观体现！

SECTION 06

定积分的正式定义

现在你完全能理解这个定义了：

📜 定积分定义

若对任意分割 $T$ 和任意代表点选择 $\xi_i$，当分割越来越细（$\lambda(T) \to 0$）时，黎曼和

$$S(T, \xi) = \sum f(\xi_i) \Delta x_i$$

都收敛到同一个极限 $I$，则称 $f$ 在 $[a,b]$ 上黎曼可积，并定义

$$\int_a^b f(x) \, dx = I$$

这个定义意味着：

  1. 不管你怎么切
  2. 不管你怎么选点
  3. 只要够细
  4. 结果都会逼近同一个值 $I$

这就是”面积”概念存在的数学本质。

SECTION 07

ε–δ 严谨版（数学逻辑最严密的定义）

说 $\displaystyle\int_a^b f(x) \, dx = I$ 等价于：

🔬 ε–δ 语言

对任意 $\varepsilon > 0$，存在 $\delta > 0$，使得所有满足 $\lambda(T) < \delta$ 的分割 $T$ 和任意选点构成的黎曼和都满足

$$|S(T, \xi) – I| < \varepsilon$$
一句话解释：你要求多准都可以（任意小的 $\varepsilon$），我都能找到足够细的分割（对应的 $\delta$）让近似达到你的要求。
SECTION 08

本块小结

📝 考试 + 直觉都必须掌握
定积分的本质
极限意义下的累积量
分割 T
把区间切成很多段
代表点 ξᵢ
每段随便选一个点
黎曼和
一堆矩形面积的和
分割模长 λ
区间是否足够细
定积分定义
λ→0 时黎曼和收敛到同一个数
🎉

第一节内容——图 + 文完美融合版到此正式完成！