本文是落樱大王与学习搭档 Hermes 的费曼学习法对话实录。由 Hermes 根据对话整理成文，用于复习回顾。文中「我」指 Hermes，「你」指落樱大王。
1. 开场：今天学什么？
学习数列极限，但是分阶段进行：
- 今天讲：数列极限的定义 + 性质 + 海涅定理 + 夹逼准则 + 单调有界定理 + 递推数列极限
- 下午/以后讲：计算部分深入
2. ε-N 定义：那个不能忘的"n > N"
你讲的定义
数列极限是类比函数极限，但数列极限的 n 只有一种情况——n 趋向于无穷大。当数列 $x_n$，$n \to \infty$ 时极限等于 A。等价于：对任意 $\varepsilon > 0$ 存在正整数 N，使得 $|x_n - A|$ 总是小于 $\varepsilon$，那我们就说 A 是数列 ${x_n}$ 的极限，此时也称收敛于 A。
我发现的漏洞 🔍
这里漏了一个关键条件：n > N。
完整的 ε-N 定义应该是：
$\forall \varepsilon > 0$，$\exists N \in \mathbb{N}^+$，使得当 $n > N$ 时，恒有 $|x_n - A| < \varepsilon$
为什么"n > N"不能省？因为：
- 没有 n > N，你只能保证某一个具体的项 $x_N$ 离 A 很近
- 但极限的本质是从某项之后的所有项都跑进 $(A - \varepsilon, A + \varepsilon)$ 这个小框里
- “n > N 时的所有项"对应的是"后面无穷多项”，而"存在某个 n"只能管到那一个点
你的纠正 ✅
对所有的 n > N，才能描述 n 趋向于正无穷。
对的，ε 越小，N 就越大，“门槛"越往后推，但不管 ε 多小，总能找到一个 N，从它后面开始所有项都蹲在小框里。
发散
数列极限不存在就称这个数列是发散的。
3. 数列极限的性质
3.1 唯一性
若数列 ${a_n}$ 收敛，其极限值是唯一的。
3.2 有界性
定理：若数列的极限存在，则数列有界。反之不一定成立。
这是因为收敛数列跑进 $(A-1, A+1)$ 框后，框外只有有限项，有限项必有最值。
经典反例：$(-1)^n$——有界（在 $-1$ 和 $1$ 之间振动），但不收敛。
💡 注：这个反例是我（Hermes）补充的，你当时说"我都没有想到那个负一的 N 次方的例子”——这也是费曼学习法的价值，讲的人自己也可能有盲区，听的人补充上去，双方都受益。
3.3 无穷大与无界的关系
若数列的极限是无穷大，数列就无界。反之不一定成立。
反例：$x_n = (-1)^n \cdot n$——它是无界的（振幅越来越大），但它不是 $\infty$（因为"趋于 $\infty$“要求最终全部大于任意正数，而 $(-1)^n \cdot n$ 的奇数项是负的，做不到）。
💡 注：严格来说，“极限是 $\infty$“不是 ε-N 定义意义上的极限（$\infty$ 不是一个实数）。数学里说 $x_n \to \infty$ 其实是对发散的一种专门描述：$\forall M > 0$，$\exists N$，$n > N \Rightarrow x_n > M$。
3.4 保号性
正向保号性： 若 $\lim x_n = A > 0$，则 $\exists N$，当 $n > N$ 时 $x_n > 0$（$< 0$ 时同理）。
加帽保号性（逆向保号性）： 若 $\exists N > 0$，当 $n > N$ 时 $x_n > 0$，且 $\lim x_n = A$，则 $A \geqslant 0$。
3.5 数列比较
若 $\lim x_n > \lim y_n$，则 $\exists N$，当 $n > N$ 时 $x_n > y_n$。
若两个数列的极限相等，则这个结论不一定成立——$n \to \infty$ 时无法确定 $x_n$ 和 $y_n$ 的大小关系。
4. 海涅定理（Heine 定理）
💡 动机：数列的极限只有 $n \to \infty$ 一种情况。我们不能换元，因为数列本身的自变量就是 n（自然数，离散点集）。也不能用洛必达——洛必达要求可导，但数列在坐标系上是断断续续的点集，没有导数。
海涅定理解决了这个问题：
若 $\displaystyle\lim_{x \to x_0} f(x) = A$，则对任意满足 $x_n \to x_0$（且 $x_n \neq x_0$）的数列 ${x_n}$，都有 $\displaystyle\lim_{n \to \infty} f(x_n) = A$。
应用套路
通过海涅定理，把数列极限转化为函数极限：
$$ n \to \infty \quad \Longrightarrow \quad x = \frac{1}{n} \to 0^+ $$这样数列 $\left{n \sin \frac{1}{n}\right}$ 就变成了函数 $\dfrac{\sin x}{x}$ 在 $x \to 0^+$ 的极限，然后可以用等价无穷小、洛必达等方法处理。
💡 注：转化时新的自变量必须随着 $n \to \infty$ 趋向目标点。最常见的对应是 $n \to \infty$ → $x = 1/n \to 0^+$，但也可以是 $1/n^2$、$1/\sqrt{n}$ 等形式。
5. 夹逼准则（Squeeze Theorem）
5.1 数列版本的夹逼
定理（夹逼准则）：对于数列 ${x_n}$，若满足：
- 从某一项起，$y_n \leqslant x_n \leqslant z_n$（$\exists N > 0$，当 $n > N$ 时）
- $\displaystyle\lim_{n \to \infty} y_n = \lim_{n \to \infty} z_n = A$
则 $\displaystyle\lim_{n \to \infty} x_n = A$。
直观：两边都挤到同一个数了，中间那个也只能跑到那里。
5.2 函数版本的夹逼
定理：当 $x \to x_0$ 时，若 $g(x) \leqslant f(x) \leqslant h(x)$，且 $\lim g(x) = \lim h(x) = A$，则 $\lim f(x) = A$。
数列是特殊的函数，因此两个版本通用。
5.3 经典坑：夹逼要用在 $\xi$ 上
来看这个题：
$$ \lim_{x \to 0} \frac{\cos(\sin x) - \cos x}{x^4} $$解：用拉格朗日中值定理，令 $F(t) = \cos t$，则介于 $\sin x$ 和 $x$ 之间有 $\xi$：
$$ \cos(\sin x) - \cos x = -\sin \xi \cdot (\sin x - x) $$很多人直接拍 $\xi \sim x$（因为 $\xi$ 夹在中间嘛），但严格来说需要两步夹逼：
第一步：夹出 $\xi$ 的位置
- 当 $x > 0$ 时（$x$ 很小），$\sin x < x$，所以 $\sin x < \xi < x$
- 当 $x < 0$ 时，方向反过来
第二步：夹出 $\dfrac{\xi}{x} \to 1$
在 $x > 0$ 时：
$$ \frac{\sin x}{x} < \frac{\xi}{x} < \frac{x}{x} = 1 $$左边 $\dfrac{\sin x}{x} \to 1$，右边恒为 1，夹逼得 $\dfrac{\xi}{x} \to 1$，即 $\xi \sim x$。
然后 $-\sin \xi \sim -\xi \sim -x$，$\sin x - x \sim -\dfrac{x^3}{6}$，代入得极限为 $\dfrac{1}{6}$。
💡 注：这里的 $\xi$ 很容易直接等价，但实际上需要夹逼准则才能得到结论。这个"hidden squeeze"是很多人会忽略的细节。
6. 夹逼准则的应用技巧
6.1 常规放缩方法
方法一：放缩分母，使得分子可以相加
方法二：放缩分子/整体 若 $A_1 > 0, A_2 > 0, \dots, A_n > 0$，则：
$$ M \leqslant A_1 + A_2 + \cdots + A_n \leqslant n \cdot M $$6.2 例题 1.66
求极限：
$$ \lim_{n \to \infty} \left( \frac{1}{3n^2 + 2n - 1} + \frac{2}{3n^2 + 2n - 2} + \cdots + \frac{n}{3n^2 + n} \right) $$分析：分母从第一项到第 n 项是递减的（$3n^2 + 2n - 1$ 最大，$3n^2 + n$ 最小）。
解：
$$U_n > \frac{1 + 2 + \cdots + n}{3n^2 + 2n - 1} = \frac{\frac{1}{2}n^2 + \frac{1}{2}n}{3n^2 + 2n - 1} \to \frac{1}{6}$$$$U_n < \frac{1 + 2 + \cdots + n}{3n^2 + n} = \frac{\frac{1}{2}n^2 + \frac{1}{2}n}{3n^2 + n} \to \frac{1}{6}$$
由夹逼准则，极限为 $\boxed{\dfrac{1}{6}}$。
6.3 例题 1.67——$n$ 次根号下的最大值
求极限：
$$ \lim_{n \to \infty} \sqrt[n]{a^n + b^n + c^n}, \quad a, b, c \geqslant 0 $$解：令 $M = \max(a, b, c)$，则：
$$ M^n \leqslant a^n + b^n + c^n \leqslant 3M^n $$两边开 $n$ 次方：
$$ M \leqslant \sqrt[n]{a^n + b^n + c^n} \leqslant \sqrt[n]{3} \cdot M $$因为 $\displaystyle\lim_{n \to \infty} \sqrt[n]{3} = 1$，由夹逼准则得极限为 $\boxed{M = \max(a, b, c)}$。
🎯 重要结论：$\displaystyle\lim_{n \to \infty} \sqrt[n]{a^n + b^n + c^n} = \max(a, b, c)$（$a, b, c \geqslant 0$）。
推广：对任意有限个非负数 $a_1, a_2, \dots, a_k$，设 $M = \max{a_1, \dots, a_k}$，则
$$M \leqslant \sqrt[n]{a_1^n + \cdots + a_k^n} \leqslant M \cdot \sqrt[n]{k} \to M$$有限个数的最大值就是极限，跟项数无关。
⚠️ 注意：这个结论只对 $a_i^n$ 这种指数型项成立。形如 $\displaystyle\sqrt[n]{\frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n}}$ 的极限不能用这个公式，需要用夹逼准则单独处理。
6.4 更多练习
大家可自行完成下面例题：
例 1：$\displaystyle\lim_{n \to \infty} \sqrt[n]{a^n + b^n}$，其中 $a > b > 0$。
例 2：$\displaystyle\lim_{n \to \infty} \sqrt[n]{1^2 + 2^3 + 3^4 + \cdots + n^{n+1}}$，结果为 $n$（最大值）。
例 3（莫斯科经济学院 1975 年竞赛题）：设 $x > 0$，求极限
$$f(x) = \lim_{n \to \infty} \sqrt[n]{1 + x^n + \left(\frac{x^2}{2}\right)^n}$$解：$f(x) = \max\left(1, x, \dfrac{x^2}{2}\right)$
$$ f(x) = \begin{cases} 1, & 0 < x < 1 \\[4pt] x, & 1 \leqslant x \leqslant 2 \\[4pt] \dfrac{x^2}{2}, & x > 2 \end{cases} $$例 4：$\displaystyle\lim_{n \to \infty} \sqrt[n]{1 + \dfrac{1}{2} + \dfrac{1}{3} + \cdots + \dfrac{1}{n}} = 1$
夹逼方法：
- 下界：根号内 $\geqslant 1$，故 $\geqslant \sqrt[n]{1} = 1$
- 上界：根号内 $\leqslant n \cdot 1 = n$，故 $\leqslant \sqrt[n]{n}$，而 $\sqrt[n]{n} \to 1$
- 夹逼得极限为 $1$
例 5：$\displaystyle\lim_{n \to \infty} \sqrt[n]{\sin 1 + \sin \dfrac{1}{2} + \sin \dfrac{1}{3} + \cdots + \sin \dfrac{1}{n}} = 1$
💡 注：例 4 和例 5 里面不是 $a^n$ 的形式，不能用"最大项统治"结论，必须用夹逼准则处理。
7. 单调有界数列必有极限
7.1 定义
- 单调递增：$x_1 \leqslant x_2 \leqslant x_3 \leqslant \cdots$（非严格也可以）
- 单调递减：$x_1 \geqslant x_2 \geqslant x_3 \geqslant \cdots$（非严格也可以）
- 两者统称为单调数列
⚠️ 这里犯了个口误——我说"第一项大于第二项大于第三项一直大于第 N 项那么它就是单调递增"——显然应该是单调递减。被你纠正了。
7.2 定理
单调有界定理：单调增有上界的数列必有极限；单调减有下界的数列必有极限。
这个定理是一个存在性定理——它保证极限存在，但不告诉你极限具体是多少。
8. 递推数列极限的题型与方法
8.1 判断单调性的四个命题
这个知识点非常重要，做题直接用到！
(1) 已知 $x_n = f(n)$，若 $f’(x) > 0$，则数列 ${x_n}$ 单调递增。 ✅ 正确
证：由拉格朗日中值定理
$$x_{n+1} - x_n = f(n+1) - f(n) = f'(\xi) \cdot 1 > 0, \quad \xi \in (n, n+1)$$(2) 已知 $x_n = f(n)$，若 $f’(x) < 0$，则数列 ${x_n}$ 单调减少。 ✅ 正确
证法同理。
(3) 已知 $x_{n+1} = f(x_n)$，若 $f’(x) > 0$，则数列 ${x_n}$ 单调增加。 ❌ 错误
反例：$f(x) = \dfrac{x}{2}$，$f’(x) = \dfrac{1}{2} > 0$，取 $x_1 = 10$，则 $x_2 = 5 < 10$，$x_3 = 2.5 < 5$，数列严格递减。
(4) 已知 $x_{n+1} = f(x_n)$，若 $f’(x) > 0$，且 $x_2 > x_1$，则数列 ${x_n}$ 单调增加。 ✅ 正确
证（数学归纳法）：
- 基础：$x_2 > x_1$ 已知
- 归纳：设 $x_k > x_{k-1}$，因为 $f$ 严格增，所以 $x_{k+1} = f(x_k) > f(x_{k-1}) = x_k$
(5) 已知 $x_{n+1} = f(x_n)$，若 $f’(x) < 0$，则数列 ${x_n}$ 没有单调性。 ✅ 正确
因为 $f$ 严格减时，相邻项的序关系会交替翻转，形成振荡。
🎯 核心理解：$f$ 单调增只保证序关系的传递性，不保证序关系的方向。方向由 $x_1$ 和 $x_2$ 的比较决定。一旦初始方向定了就不会反转——但方向本身不是由 $f$ 的单调性告诉你的，而是初始两项比较告诉你的。
8.2 子子孙孙法 🧬
如果递推式第一项大于某个值（通常是界），那么其他项都大于这个值。这叫子子孙孙法，用于数学归纳法证明。
其实就是归纳法在递推数列里的直觉化表述：
如果第一项满足某个条件（如 $x_1 > a$），且递推函数 $f$ 保这个条件（$x > a \Rightarrow f(x) > a$），那么子子孙孙无穷匮也——所有项都大于 $a$。
注意：对应的函数要是单调增，但数列不一定单调——$f$ 单调增只传递方向，但方向本身由初始条件决定。
8.3 递推数列极限的标准解法
题型：已知递推公式 $x_{n+1} = f(x_n)$，证明极限存在并求极限。
解法流程（写在试卷上的顺序）：
① 证有界性
├─ 不等式放缩（均值不等式、柯西等）
└─ 数学归纳法（子子孙孙法！）
② 证单调性（三选一）
├─ 作差法：x_{n+1} - x_n
├─ 作比法：x_{n+1} / x_n（正项数列好用）
└─ 求导法：
├─ f'(x) > 0 → 比较 x₁ 和 x₂ 判断方向
└─ f'(x) < 0 → 无单调性，不能用此法
③ 求极限值
└─ 设 lim x_n = A，则 lim x_{n+1} = A
→ A = f(A)，解方程
🎯 实战技巧：先偷看答案再写过程！
正式答题的顺序是：有界→单调→求极限
但实际做题的顺序正好反过来：
- 先设 $A = f(A)$，解出候选极限值
- 用这个数当"界”，放缩/归纳证有界
- 最后证单调性
如果死板按顺序写，第二步放缩就是蒙着眼睛放，不知道放缩到多少才合适。
9. 经典例题详解
例题 1.68
设 $x_1 = 10$，$x_{n+1} = \sqrt{6 + x_n}$（$n = 1, 2, \dots$），证明数列 ${x_n}$ 极限存在并求极限。
解：
(i) 证有界（$x_n > 3$）
用数学归纳法：
- $n = 1$：$x_1 = 10 > 3$，成立
- 假设 $x_k > 3$，则 $x_{k+1} = \sqrt{6 + x_k} > \sqrt{6 + 3} = 3$，成立
- 由归纳法，$x_n > 3$ 对所有 $n$ 成立
(ii) 证单调（递减）
用作比法（正项数列，作比很方便）：
$$ \frac{x_{n+1}}{x_n} = \frac{\sqrt{6 + x_n}}{x_n} $$要证明 $< 1$，等价于：
$$ \sqrt{6 + x_n} < x_n \iff 6 + x_n < x_n^2 \iff x_n^2 - x_n - 6 > 0 \iff (x_n - 3)(x_n + 2) > 0 $$由 (i) $x_n > 3$，上式成立。故 $\dfrac{x_{n+1}}{x_n} < 1$，即 $x_{n+1} < x_n$，数列单调递减。
(iii) 求极限
设 $\displaystyle\lim_{n \to \infty} x_n = A$，则：
$$ A = \sqrt{6 + A} \Rightarrow A^2 = 6 + A \Rightarrow A^2 - A - 6 = 0 \Rightarrow (A - 3)(A + 2) = 0 $$故 $A = 3$ 或 $A = -2$。
由 $x_n > 3$ 且单调递减，知 $A \geqslant 3$，舍去负根，得 $\boxed{A = 3}$。
例题 1.69（牛顿迭代法求 $\sqrt{3}$）
设数列 ${x_n}$ 满足 $x_{n+1} = \dfrac{1}{2}\left(x_n + \dfrac{3}{x_n}\right)$（$n = 1, 2, \dots$），$x_1 > 0$，证明极限存在并求极限。
解：
(i) 证有界（$x_n \geqslant \sqrt{3}$，$n \geqslant 2$）
由 $x_1 > 0$ 及递推式易知 $x_n > 0$ 恒成立。对 $n \geqslant 1$，由 AM-GM 不等式：
$$ x_{n+1} = \frac{1}{2}\left(x_n + \frac{3}{x_n}\right) \geqslant \sqrt{x_n \cdot \frac{3}{x_n}} = \sqrt{3} $$故 $\forall n \geqslant 2$，有 $x_n \geqslant \sqrt{3}$ ✓
(ii) 证单调（递减，$n \geqslant 2$ 起）
用作差法：
$$ x_{n+1} - x_n = \frac{1}{2}\left(x_n + \frac{3}{x_n}\right) - x_n = \frac{3 - x_n^2}{2x_n} $$当 $n \geqslant 2$ 时，$x_n \geqslant \sqrt{3}$，则 $x_n^2 \geqslant 3$，故 $3 - x_n^2 \leqslant 0$。
因此 $x_{n+1} - x_n \leqslant 0$，即 $x_{n+1} \leqslant x_n$（$n \geqslant 2$）✓
（注：若 $x_1 \geqslant \sqrt{3}$，从 $n = 1$ 起就递减；若 $0 < x_1 < \sqrt{3}$，则 $x_2 > \sqrt{3}$，从第 2 项起递减。无论如何，尾部单调有界。）
数列单调递减且有下界 $\sqrt{3}$，由单调有界定理，极限存在。
(iii) 求极限
设 $\lim x_n = A$，则 $\lim x_{n+1} = A$，代入递推式：
$$ A = \frac{1}{2}\left(A + \frac{3}{A}\right) \Rightarrow A^2 = 3 \Rightarrow A = \pm\sqrt{3} $$由 $x_n > 0$ 知 $A \geqslant 0$，故 $\boxed{A = \sqrt{3}}$ ✓
💡 注：这就是经典的牛顿迭代法求 $\sqrt{3}$ 的数列——任何正数起步，迭代 $x_{n+1} = \dfrac{1}{2}\left(x_n + \dfrac{a}{x_n}\right)$ 都收敛到 $\sqrt{a}$，收敛速度是二次的（每步有效位数翻倍）。
10. 黄金不等式总结
最后总结一下考研放缩中常用的黄金不等式：
| 编号 | 不等式 | 等号条件 |
|---|---|---|
| ① | $e^x \geqslant 1 + x$ | $x = 0$ |
| ② | $x \geqslant \ln(1 + x)$ | $x = 0$ |
| ③ | $\tan x > x > \sin x$ | $0 < x < 2$ |
| ④ | $x > \sin x$ | $x > 0$ |
| ⑤ | $a + b \geqslant 2\sqrt{ab}$（$a, b > 0$） | $a = b$ |
①② 本质上是同一个不等式——指数版和对数版：
$$x \geqslant \ln(1 + x) \iff e^x \geqslant 1 + x$$③④ 在三角函数放缩里特别好用。
⑤ 就是 AM-GM 均值不等式，递推数列证有界的一大利器。
11. 费曼学习法复盘
今天的漏洞记录（我的追问 = 你需要重点看的地方）
| # | 漏洞/追问 | 你的回复 | Hermes 确认 |
|---|---|---|---|
| 1 | ε-N 定义少了 “n > N” | 对所有的 n > N 才能描述 n→∞ | ✅ |
| 2 | 收敛一定单调吗？ | 不单调成立（但你没直接答） | ✅ 后来通过命题判断确认 |
| 3 | 有界 ⇒ 收敛？ | 不成立，(-1)ⁿ 反例 | ✅ |
| 4 | 无穷大与无界的关系 | 无界不一定趋于∞ | ✅ |
| 5 | 夹逼中 ξ 需要夹逼 | 对，不能用直觉直接等价 | ✅ |
核心收获总结
- ε-N 定义的完整形式——“n > N"是灵魂，不能省
- 有界 ≠ 收敛——$(-1)^n$ 永远是经典反例
- 无界 ≠ 趋于无穷——$(-1)^n \cdot n$ 就是无界但不趋于 ∞
- 夹逼的 hidden squeeze——$\xi$ 的位置也需要用夹逼确认
- 递推数列的"子子孙孙法”——$f$ 单调增只传递方向不决定方向
- 海涅定理——把离散变连续，洛必达随便用
- 做题顺序 vs 书写顺序——先偷猜极限再证有界，但卷子上按有界→单调→极限来写
✍️ 后记：本文基于落樱大王与 Hermes 的费曼学习法对话整理。每隔一段时间复习时，看这些追问和纠正，就能唤醒当天的思维过程。漏洞就是我当初没讲透的地方——也就是最需要反复看的地方。
