← 回到目录
第 1 幕
你手上的工具，只会验钞，不会印钞
回想一下极限的定义在干什么：给你一个候选答案 A，它告诉你怎么验证 A 对不对。
可问题是——A 从哪儿来？
sin x / x 在 x=0 处是 0/0，图上像是奔着 1 去
"图上看着像 1"——这不是证明，这是猜。ε-δ 只能在你猜对之后替你背书，它自己一个答案也生不出来。
我们缺的不是验证工具，是生产工具。
这一节要装的，就是两台真能造出极限的机器。
ε-δ 定义能帮你找到极限的值吗？
不能。它只能在你已经拿出一个候选答案 A 之后，验证 A 对不对。
A 从哪儿来，定义一个字也没说——这就是本节要补的窟窿。
第 2 幕
第一台机器：夹逼
道理蠢得可爱：如果你不知道它去哪儿，就给它派两个保镖。
只要两个保镖始终一左一右夹住它，而两个保镖奔向同一个地方，那它就没得选了——只能跟着去那儿。
中间那条随便怎么抖，两条边一收口，它就被逼到 1 上
- 1在某个邻域里，确实夹得住：l(x) ≤ f(x) ≤ u(x)
- 2两个保镖各自的极限都存在
- 3这两个极限相等
⚠️ 崩坏测试：如果两个保镖奔向不同的数，会怎样？
什么也得不出。−1 ≤ sin(1/x) ≤ 1 确实夹得住，但两边一个 −1 一个 1 —— 夹了等于没夹。第 3 条不是摆设。
夹逼的三个条件，缺哪个都不成立。第三个是什么？为什么不能少？
第三个是两个保镖的极限必须相等。
−1 ≤ sin(1/x) ≤ 1 确实夹得住，可两边一个 −1 一个 1——夹了等于没夹。
第 3 幕
用它把 sin x / x 造出来
保镖从哪儿找？画一个单位圆。取 0 < x < π/2，圆上就有三块图形，一块套着一块：
小三角形 ⊂ 扇形 ⊂ 大三角形 —— 面积必然一个比一个大
小三角形 ½·sin x
扇 形 ½·x
大三角形 ½·tan x
把 x 往小里拖：三块面积迅速靠拢，中间那块被上下两块越挤越紧。
把三块面积按大小排队，公因子 1/2 一约，得到：
sin x < x < tan x
除以 sin x1 < x / sin x < 1 / cos x
全部取倒数cos x < sin x / x < 1
保镖登场左边 cos x → 1，右边就是常数 1
夹逼收网lim sin x / x = 1
还有半步。上面只证了 x > 0 的一侧。
但 sin x / x 是偶函数——把 x 换成 −x，值一模一样。所以左极限＝右极限，双侧极限这才成立。
（这一步用的正是第一页那条判据。四页下来，它第一次派上真正的用场。）
这就是全套流程：造保镖 → 夹住 → 收网。
答案不是猜出来的，是被挤出来的。
单位圆那套只证了 x > 0 一侧。凭什么说双侧极限也成立？
因为 sin x / x 是偶函数，x 换成 −x 值不变，所以左极限＝右极限。
这一步用的正是第一页那条判据——四页下来，它第一次真正派上用场。
第 4 幕
一个极限，撂倒半张表
上一页那张等价无穷小表，你可能正打算硬背。不用背——它们大半是从这一个极限长出来的：
根只有一条，其余都是推论
怎么长出来的
tan x / x = (sin x / x) · (1/cos x) → 1 · 1 = 1
1 − cos x = 2 sin²(x/2) ~ 2 · (x/2)² = x² / 2
arcsin x / x：令 t = arcsin x，就变回 t / sin t → 1
一张要背八条的表，其实只有一个需要记。
剩下的，是你随时能在草稿纸上重新长出来的东西。
第 5 幕
第二台机器：单调有界
一个数列如果一直往上涨，同时又涨不出某个天花板——那它必然收敛。
只能一直涨，又撞不破天花板，就只剩一条路：贴上去
但这台机器有个要命的脾气，必须当场说清楚：
夹逼告诉你答案是谁。
单调有界只告诉你答案存在——至于它是几，一个字不说。
听起来像是废品？恰恰相反。有时候"存在"就已经够了：你可以给这个说不出是几的答案，起个名字。
数学史上最著名的一次这么干，就是下一幕。
单调有界准则，能告诉你极限是几吗？
不能。它只保证答案存在，一个字也不说它是多少。
但「存在」有时就够了——够到你可以给这个说不出是几的答案起个名字。下一幕就是这么来的。
第 6 幕
e 的出生证明
一块钱，年利率 100%，存一年。
一年结一次息：拿到 2 元。
半年结一次、利滚利：(1 + 1/2)² = 2.25 元。
那结息越频繁越好，一直分下去，能变成无穷多钱吗？
拖动 n，看它一路往上爬 —— 却始终撞不破那条线
| 结息次数 n | (1 + 1/n)n |
|---|
| 1（每年） | 2.000000 |
| 2（每半年） | 2.250000 |
| 12（每月） | 2.613035 |
| 365（每天） | 2.714567 |
| 31 536 000（每秒） | 2.718282 |
不会变成无穷多。它单调增，又被 3 死死压住——按第 5 幕那台机器，极限必然存在。
可这个极限写不成任何更简单的式子。于是数学家做了那件事：给它起个名字，叫 e。
limn→∞ (1 + 1/n)n = e = 2.718281828…
e 不是谁随手挑的一个常数。
它是"增长出来的东西立刻再投进去增长"这件事，能达到的上限。
第 7 幕
崩坏测试：两个条件，删哪个都塌
"单调有界"是两个条件，学生最爱只记前一半。各删一次看看：
只单调，不有界
aₙ = n 一路涨到天上
→ 发散
只有界，不单调
aₙ = (−1)ⁿ 在 ±1 之间跳
→ 不收敛
两个条件各挡一种死法：
有界挡住"跑掉"，单调挡住"来回横跳"。
少一个，结论立刻不成立。
第 8 幕
整节话，就这两行
ε-δ 是验钞机，夹逼和单调有界是印钞机。
夹逼告诉你答案是谁；单调有界只告诉你答案存在——存在到能给它起名叫 e。
今 天 的 任 务
八道，后三道是这一页的分水岭
前五道热身，练两台机器怎么用；后三道专门检验你有没有真懂条件。
- limx→0 sin 3x / x凑成 sin(3x)/(3x) 的形状再说
- limx→0 tan x / x不许查表。自己从 sin x/x 推一遍
- limx→0 (1 − cos x)/x²用 1−cos x = 2sin²(x/2)。答案不是 1
- limn→∞ (1 + 1/n)2n先把它拆成什么的平方
- limx→∞ (1 + 2/x)x换元。令 t = x/2
- ⚠️ limx→∞ sin x / x答案不是 1。同一个式子，过程一换，答案全变。老老实实用夹逼：|sin x / x| ≤ 1/|x|
- ⚠️ 用夹逼求 limn→∞ ( 1/(n²+1) + 1/(n²+2) + … + 1/(n²+n) )和"无穷小与无穷大"那座塔对照着做。那里 n 项加起来是 1，这里 n 项加起来是 0 —— 形式一模一样，结论完全相反。不算，你分不出来
- ⚠️ 数列 aₙ = (−1)ⁿ (1 − 1/n)：它有界吗？单调吗？收敛吗？三问分开答。这题只考第 7 幕
第 6 题和第 7 题请先写下你的直觉答案，再动笔算。
这两题的直觉几乎必错——而错完再改，比一次做对记得牢。
对完答案，每道错题旁只写一句：
我是忘了带过程、条件只记了一半、凑不出机器要的形状，还是纯算错？