Honors Calculus 前三章证明题：从图到动笔，自己写出来

HKUST-GZ Honors Calculus 前三章（Ch0 数学论证、Ch1 数系与基本函数、Ch2 极限与连续性）的内容有一个共同特点：每一个核心概念都有一张图作为直觉入口，但图本身不是证明。这份专题要做的事，是按"先用图把命题画出来，再把图里的几何一步步还原成严谨的数学语言"的顺序，把这三章过一遍，让你下次拿到证明题能自己动笔写出像样的论证。 LUB Calculus

整个专题贯穿一个主线：会看图 ≠ 会写证明。Ch1 用一张 LUB 数轴图讲清楚什么是 sup；Ch2 用六族函数图谱帮你一眼认出新函数属于哪族；Ch3 用 ε-N 散点图把"那条线"逐字逐句翻译成量词；Ch4 用 ε-δ 图把"δ 怎么找"说透；Ch5 把前四章的工具组装起来，带你动手做讲义原题。 LUB

第一章：拿到命题先想它是哪种证法——六种骨架与反例举证法

证明不是格式，是论证的逻辑

讲义 Ch0 §0.1 给"数学证明"下的定义只有一句："A mathematical proof is an inferential argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion."（证明是一个推理论证，它要说明假设在逻辑上如何保证结论成立）Honors Calculus §0.1。定义里没有"必须写几行""必须按某种格式"这类要求。Devlin 在《Introduction to Mathematical Thinking》的 §3.1 里更直接："there is no particular format that an argument has to have in order to count as a proof"（没有特定格式才能算作证明）Devlin 2012, Introduction to Mathematical Thinking。换句话说，你看到一个证明，第一反应不应该是"它长得像不像证明"，而是"它的论证链条有没有断"。 Introduction to Mathematical Thinking

讲义把六种证法逐一列出，给了 outline 骨架。这六种是：直接法、归纳法、反证法、逆否命题法、穷举法、反例举证法Honors Calculus §0.1。拿到一道证明题，先看清命题在说什么比直接套 outline 重要——下面这张表把六种证法的适用场景与一句话判别串起来：

讲义 Ch0 把这套骨架的每一种都写成了 outline 模板（直接法见 line 233-2，反证法见 line 318-2，逆否命题法见 line 372-2，穷举法见 line 414-2，反例举证法见 line 437-2）。记住一句话：这些 outline 是写完检查用的，不是动笔前直接抄的。

反例举证法的元策略：全称命题怎么"翻"成反例

反例举证法（Proof by Counterexample）讲义原文给得极简："Proof by Counterexample: disprove $p \Rightarrow q$. Proof: 1. Find a case where $p$ is true but $q$ is false."Honors Calculus §0.1。但它紧跟着一段关键性的 Remark："Since mathematical statement is true only when it is true 100% of the time, one can prove that it is false by finding a single example where it is not true."Honors Calculus §0.1

讲义最值得抄的一句话在 line 445："單一例證無法證明普遍命題 (除非整個集合僅包含一種情況！)，而單一反例則足以推翻普遍命題"——单一例证不能证明普遍命题，单一反例足以推翻普遍命题。

这是 Devlin 在 §3.5 里特别强调的 Euler 多项式反例：$P(n) = n^2 + n + 41$ 对 $n = 1, 2, 3, \ldots, 40$ 都给出素数，但 $P(41) = 41^2$ 是合数。"a long run of confirmatory instances on its own does not constitute a proof"——再多特例也不能代替证明Devlin 2012, §3.5。这是反例举证法的反面：靠特例举不出来的东西，证明题真正需要的是"逻辑链条"。

动手找反例时，记下这四步：

1. 形式化原命题：把命题写成 $\forall x, A(x)$ 的形式。如果它本来是 "对所有正整数 $n$，$n^2 + n + 41$ 是素数"，那 $A(x)$ 就是 "$x^2 + x + 41$ 是素数"。
2. 写出 $\neg\forall x, A(x)$ 的等价形式：$\neg\forall x, A(x) \equiv \exists x, \neg A(x)$。这一步 Devlin §2.4 已经形式化证明过Devlin 2012, §2.4。要找反例，等价于找一个具体的 $x_0$，让 $\neg A(x_0)$ 成立。
3. 从边界 / 极端 / 最小情形入手：经常命题里的"小例子"才是反例。例如 $x_0 = 41$ 给出 Euler 多项式的反例；又比如"所有偶数都能写成两个素数之和"（Goldbach），最大反例风险是边界 $n = 4$ 这种极小值。
4. 验证 $A(x_0)$ 假：直接算出 $A(x_0)$ 反例成立。例如 $41^2 + 41 + 41 = 1763 = 41 \times 43$，显然不是素数。

如果以上四步走完还是找不到反例，说明命题很可能为真——这时反例举证法就不适用，应当转用直接法、反证法或归纳法。

六种证法的骨架已经立起来。下一章开始，把这套"先想清楚再动笔"的思路用到一个具体的概念：sup/inf——数轴上"上界中最小的那个"到底怎么写成严格定义。

第二章：为什么 $0.999\ldots = 1$ 不会让 $\mathbb{R}$ 散架——sup 的几何与完备性

sup 不是"最大的元素"，是"上界中最小的那个"

讲义 Ch1 §1.1 Definition 1.3 给 sup 的定义分两条Honors Calculus §1.1：

• (1) $\beta$ 是集合 $E$ 的一个上界：$x \leq \beta$ 对所有 $x \in E$ 成立；
• (2) 如果 $\gamma < \beta$，那么 $\gamma$ 就不是 $E$ 的上界。

合起来：$\beta = \sup E$ 既是上界，又比它更小的任何数都不再是上界。这就是 "least upper bound" 这三个词的字面意思。inf（infimum, 下确界）的定义完全对称。

讲义紧跟在定义之后给了一张数轴图，把抽象的两条翻译成一目了然的几何：

图注：讲义 §1.1 LUB 数轴图。数轴上蓝色线段是"set $E$"，它右边的红色线段是"upper bounds"（所有上界组成的集合）。注意蓝色 $E$ 与红色上界之间有一个小空隙，空隙处的点标着 $\gamma - \varepsilon$，写明"not an upper bound"。下箭头指向 $\gamma = \sup E$，标注是"the least upper bound"。

这张图把"sup 是上界中最小的那个"这件事直接画出来了。关键点是蓝色 $E$ 与红色上界之间的那个空隙：任何比 $\gamma$ 小的数（包括 $\gamma - \varepsilon$）都不再是上界——因为 $E$ 里有元素比它更大。这正是 Definition 1.3 第 (2) 条的几何对应。

讲义在 §1.1 Remark 里给出了 sup 的两条等价表述（把定义翻译成"上界 + 任意 $\varepsilon > 0$ 都能找到更接近的 $E$ 内元素"），这是后面 ε-N 证明思路的最早雏形：

• (1)' $\gamma$ 是上界：$p \leq \gamma$ 对所有 $p \in E$ 成立。
• (2)' 对任意 $\varepsilon > 0$，存在 $q \in E$ 使得 $\gamma - \varepsilon < q$。

把 (1)' 和 (2)' 拼起来，就是数轴图上看到的：$\gamma$ 左侧紧贴着蓝色 $E$（再小的数旁边都有 $E$ 的点），右侧是红色上界（再大的数仍然算上界）。

$\mathbb{Q}$ 的数轴上有洞，$\mathbb{R}$ 没有

讲义 Theorem 1.4 是整个 Ch1 最关键的一条Honors Calculus §1.1：

• (1) 在通常的加法、乘法与序下，$\mathbb{Q}$ 是一个不具备 least-upper-bound property 的有序域；
• (2) $\mathbb{R}$ 是一个具备 least-upper-bound property 的有序域，且 $\mathbb{Q}$ 是 $\mathbb{R}$ 的子域。

讲义在 Remark 里点出关键差别："Whether possessing the least-upper-bound property or not is one of the major differences between $\mathbb{R}$ and $\mathbb{Q}$. Without the least-upper-bound property, the set $\mathbb{Q}$ cannot cover the whole line completely so that the key concept, limit, cannot be well defined."Honors Calculus §1.1

来看 $\mathbb{Q}$ 不具备 LUB property 的标准反例：取 $A = {p \in \mathbb{Q} : p^2 < 2}$。$A$ 在 $\mathbb{Q}$ 内有上界（例如 $p = 2$），但没有上确界——任何一个 $\mathbb{Q}$ 内的上界 $p/q$，要么 $p^2/q^2 < 2$（这时 $p/q$ 不是上界），要么 $p^2/q^2 > 2$（这时可以找到一个更小的上界把 $p/q$ 替换掉）。这个反例在 Rudin《Principles of Mathematical Analysis》Example 1.9(a) 与 Devlin §4.3 Theorem 4.3.1 中有严格证明Rudin 1976, Principles of Mathematical Analysis, Example 1.9(a)；Devlin 2012, §4.3。

为什么这个反例如此重要？因为 $\sqrt{2}$ 不在 $\mathbb{Q}$ 内——$\mathbb{Q}$ 数轴上"$\sqrt{2}$ 应该站的位置"是一个洞。把 $A$ 在 $\mathbb{R}$ 里看（这时 $A \subset \mathbb{R}$），sup $A = \sqrt{2}$ 存在；把 $A$ 限制在 $\mathbb{Q}$ 内，sup 不存在。这就是为什么 $\mathbb{R}$ 的数轴"没有洞"而 $\mathbb{Q}$ 的数轴"有洞"。

Archimedean property：从 LUB property 推出的第一个直接推论

讲义 Exercise 1.7 要证明 Archimedean property："如果 $x > 0$ 且 $y$ 是任意实数，那么存在正整数 $n$ 使得 $nx > y$" Honors Calculus Exercise 1.7。

为什么这件事与 LUB property 有关系？ 反证法：如果 Archimedean property 不成立，存在某个 $x > 0$ 与某个 $y$ 使得对所有 $n \in \mathbb{Z}^+$，$nx \leq y$，即集合 $S = {nx : n \in \mathbb{Z}^+}$ 在 $\mathbb{R}$ 内有上界 $y$。由 $\mathbb{R}$ 具备 LUB property，$S$ 存在上确界 $\sup S = \gamma$。但因为 $\gamma$ 是最小上界（Definition 1.3 第 (2) 条），$\gamma - x < \gamma$ 意味着 $\gamma - x$ 不是 $S$ 的上界。因此存在某个 $m \in \mathbb{Z}^+$ 使得 $mx > \gamma - x$。由于 $m \in \mathbb{Z}^+$，$m+1 \in \mathbb{Z}^+$。给 $mx > \gamma - x$ 两边加 $x$，得 $(m+1)x = mx + x > \gamma - x + x = \gamma$。而 $(m+1) \in \mathbb{Z}^+$，所以 $(m+1)x \in S$，因此 $S$ 中有元素超过 $\gamma$，即 $\gamma$ 不是 $S$ 的上界——与 $\gamma = \sup S$ 矛盾。

Exercise 1.7 (a) 还要先证 $\mathbb{Z}^+$ 在 $\mathbb{R}$ 内无上界——这本身要靠反证（如果有上界，sup 存在，再加 1 又得到一个上界，矛盾）。

动手写证明时的五步思考（讲义 Ch6 这一类题的通用模板，详见后文第六章）：

1. 题干：要证 $x > 0, y \in \mathbb{R} \Rightarrow \exists n \in \mathbb{Z}^+: nx > y$。
2. 给什么：$x, y$ 是任意实数，$x > 0$。
3. 证什么：存在整数 $n$ 让 $nx > y$。
4. 用哪条定理：反证 + LUB property（或者直接用 Exercise 1.7 (a) 的结论）。
5. 假设反面（"对所有 $n$，$nx \leq y$"），推矛盾。

这套"反证 + LUB property 反用"的范式，是讲义 Ch1 / Ch2 习题里反复出现的——记住它能解决一大半 LUB property 类的练习。

第三章：六族函数怎么一眼认出——基本初等函数图谱

函数：先看定义域，再看映射方向

讲义 §1.2 Definition 1.7 把函数定义成一个"唯一指派"：对定义域 $D_f$ 的每个 $x$，陪域 $Y$ 中有唯一的 $y = f(x)$ Honors Calculus §1.2。几个常用术语一次理清：$D_f$ 是定义域，$Y$ 是陪域，$R_f = f(D_f) \subset Y$ 是值域。如果 $R_f = Y$（陪域的每个点都被某个定义域点打到），$f$ 是 surjective (满射)；如果 $f(x_1) = f(x_2) \Rightarrow x_1 = x_2$（不同定义域点打到不同陪域点），$f$ 是 injective (单射)；两者都满足就是 bijective (双射)。

这张 Venn 图把这三个概念一目了然：

图注：讲义 §1.2 函数映射 Venn 图。左椭圆是定义域 $X = D_f$，内含三个点 $x, a, \ldots$；右椭圆是陪域 $Y$，内含较小的绿色椭圆区域标着 $R_f$（值域）。红色弧线箭头从定义域点指到对应的值域点。满射 = 绿色 $R_f$ 完全覆盖 $Y$；单射 = 定义域的不同点打到不同的陪域点。

反函数：从 $y = f(x)$ 解出 $x$ 再换 $x, y$

讲义 Method 1.8 给"如何求反函数"三步走Honors Calculus §1.2：

1. 写出 $y = f(x)$；
2. 从中解出 $x = g(y)$；
3. 把 $x, y$ 互换，得到 $y = f^{-1}(x)$。

为什么可以互换？因为 $(a, b)$ 在 $y = f(x)$ 图像上当且仅当 $(b, a)$ 在 $y = f^{-1}(x)$ 图像上。这件事的几何后果是：$f$ 与 $f^{-1}$ 关于直线 $y = x$ 对称。

图注：讲义 §1.2 反函数镜像图。蓝色曲线 $y = f(x)$ 位于左上象限，红色曲线 $y = f^{-1}(x)$ 位于右下象限，两条曲线关于绿色虚线 $y = x$ 镜像对称。

动手写反函数时的关键判别：只有 $f$ 是 injective（即严格单调或分段后严格单调）时才有反函数——因为 injective 是反函数存在的充要条件。讲义 Proposition 2.28 还给了一个加强："如果 $f$ 严格单调且连续，则 $f$ 在定义域与值域之间双射，且 $f^{-1}$ 也是严格单调连续的"Honors Calculus §2.3 Proposition 2.28——这就解释了为什么 $\arcsin, \arccos, \arctan$ 都在它们各自的限制区间上连续。

六族函数图谱：每个新函数都能套到一族的性质上

讲义 §1.2 Proposition 1.14 到 1.19 把六族基本初等函数逐一列出，配有图谱。下面把每族的关键性质压成一张表——拿到一个函数，先看它"属于哪族"，再翻对应行的性质。

族	表达式	domain / range	单调性	奇偶 / 周期	图像
幂函数	$f(x) = x^n$	$n$ 偶: $\mathbb{R}$ / $[0, \infty)$；$n$ 奇: $\mathbb{R}$ / $\mathbb{R}$	$n$ 偶: $(-\infty, 0]$ 降、$[0, \infty)$ 升；$n$ 奇: $\mathbb{R}$ 上升	$n$ 偶: even；$n$ 奇: odd
根式函数	$f(x) = \sqrt[n]{x}$	$n$ 偶: $[0, \infty)$；$n$ 奇: $\mathbb{R}$	严格增	$n$ 奇: odd
指数函数	$f(x) = a^x$	$\mathbb{R}$ / $(0, \infty)$	$a > 1$ 升；$0 < a < 1$ 降	无
对数函数	$f(x) = \log_a x$	$(0, \infty)$ / $\mathbb{R}$	$a > 1$ 升；$0 < a < 1$ 降	无（$\ln(1/x) = -\ln x$ 是奇性的"镜像"）
三角函数	$\sin x, \cos x$	$\mathbb{R}$ / $[-1, 1]$	$\sin$ 在 $[-\pi/2, \pi/2]$ 增；$\cos$ 在 $[0, \pi]$ 降	odd / even，周期 $2\pi$
反三角函数	$\arcsin, \arccos, \arctan$	$[-1, 1]$ 或 $\mathbb{R}$	$\arcsin, \arctan$ 增；$\arccos$ 降	$\arcsin, \arctan$ odd；$\arccos$ 非奇非偶

讲义 Remark 1.18 给出一句关键性的话："the Pythagorean identity and Euler's formula serve as the foundational equalities from which almost all basic trigonometric identities can be derived"Honors Calculus §1.2 Proposition 1.18 Remark——这张图把这两条恒等式摆在一起：

图注：讲义 §1.2 Pythagorean identity 与 Euler 公式图。上方绿色框是 $\sin^2 x + \cos^2 x = 1$；下方是 Euler 公式 $e^{ix} = \cos x + i \sin x$，其中 $i = \sqrt{-1}$。这两条是后面所有三角恒等式推导的根基。

Euler 公式的几何意义要在复平面单位圆上看：

图注：讲义 §1.2 Euler 公式单位圆图。横轴 $\text{Re}$、纵轴 $\text{Im}$，原点 $O$。以原点为圆心、半径 1 的单位圆上一点标为 $e^{i\theta}$，它到实轴的投影长度是 $\cos\theta$，到虚轴的投影长度是 $\sin\theta$。圆与正实轴交于 $1$。

动手写三角题时的判别：任何包含 $\sin^2 + \cos^2$、和差化积、倍角公式的题，都可以先用 Euler 公式 $e^{i\theta} = \cos\theta + i\sin\theta$ 把三角函数翻译成复指数，再用指数律做代数运算，最后取实部或虚部得到结果——这就是讲义 Exercise 1.30 让你用 Euler 公式推导三角恒等式的思路Honors Calculus Exercise 1.30。

指数族与对数族的对照值得多说一句：$\log_a x$ 是 $a^x$ 的反函数，所以两族的图像关于 $y = x$ 对称，单调性完全镜像（$a > 1$ 都增，$0 < a < 1$ 都降）。这张 Stewart Calculus Figure 3 把"底数越大增长越陡"这件事铺成一条连续谱——作为讲义 image-0037 的系统化扩充：

图注：Stewart Calculus 8e Figure 3，七条不同底数的指数函数 $y = b^x$ 在同一图上对照：递减的 $(1/4)^x$ 与 $(1/2)^x$、水平常数 $1^x$、递增的 $1.5^x, 2^x, 4^x, 10^x$，全部经过 $(0, 1)$。注意 $y$ 轴没有具体刻度数值——只能看到"底数越大，增长越陡"这条趋势Stewart 2015, Calculus: Early Transcendentals 8e, Figure 3。

六族函数图谱已经立起来。下一章开始用这些图谱做更细的事：把"那条线"——$\varepsilon$-$N$ 数列极限的几何画面——逐字逐句翻译成量词。

第四章：把"那条线"翻译成句子——ε-N 是怎么写出来的

ε-N 定义的几何画面

讲义 §2.1 Definition 2.2 给数列极限 $\lim_{n \to \infty} x_n = x$ 的 ε-N 定义Honors Calculus §2.1：

对任意 $\varepsilon > 0$，存在整数 $N$，当 $n \geq N$ 时 $|x_n - x| < \varepsilon$。

这句话的几何对应是下面这张散点图：

图注：讲义 §2.1 ε-N 数列收敛散点图。横轴 $n$，从原点出发标有刻度 $1, 2, 3, 4, 5$ 以及 $N$（表示某个较大的整数阈值）；纵轴是数列通项 $x_n$，在水平方向标有三条参考线：上方 $x + \varepsilon$、中间浅蓝实线 $x$、下方 $x - \varepsilon$。红色散点表示数列 ${x_n}$ 的样本值——在 $n$ 较小时散点分散（在 $x + \varepsilon$ 上方或 $x - \varepsilon$ 下方都可能），从某个 $N$ 之后所有红点都落在以 $x \pm \varepsilon$ 为上下界的灰色容差带内。

3Blue1Brown 用动画把这件事讲得更直观：把"输入窗口"逐级收紧（$\pm 0.1$ → $\pm 0.01$ → $\pm 0.001$），看"输出窗口"是否对应收紧3Blue1Brown, "(ε, δ) definition of limits" (2017)：

图注：3Blue1Brown 三联输入窗口图（视频静态截图）。三幅并排子图，每幅图是一个中心点 $x = 0, y = 12.00$ 的函数（黄色折线 + 黄色空心圆中心点）。从左到右输入窗口逐级收紧：±0.1 / ±0.01 / ±0.001，对应输出范围逐级收紧：约 ±0.6 / ±0.06 / ±0.006。这演示的是"输出范围 can be made as small as you want"——每收紧输入窗口一个数量级，输出窗口也按对应比例收紧。视频里这是连续动画，静态三联图只是三个采样点。

把讲义 image-0047 的"静态 N 之后所有点都在容差带内"与 3Blue1Brown 的"动态输入窗口 → 输出窗口"对应起来，ε-N 定义就完全可视化：每一个给定的 $\varepsilon$，都能找到对应的 $N$，让 $n \geq N$ 时所有 $|x_n - x| < \varepsilon$。

把几何翻译成四步量词证明

拿到一个 ε-N 证明题，按下面四步翻译，每步对应图里的一个几何元素：

1. 任意 $\varepsilon > 0$ 给定：这是题目给你的输入。把它当作"我需要多窄的容差带"，在图上画两条 $x + \varepsilon$、$x - \varepsilon$ 横线。
2. 找 $N$：根据数列 ${x_n}$ 与 $x$ 的关系，反解出"为了让 $|x_n - x| < \varepsilon$，$n$ 需要多大"。在图上这个 $N$ 就是容差带开始把所有红点都包进去的那个阈值位置。
3. 解不等式：用 $n \geq N$ 代入 $|x_n - x|$ 的表达式，解出 $|x_n - x| < \varepsilon$ 的等价形式。
4. 验证 $n \geq N$ 时不等式成立：把第三步的不等式链从右往左串起来。

最简单的一例：证明 $\lim_{n \to \infty} \frac{1}{n} = 0$。下面把四步完整写出来。

题目：对任意 $\varepsilon > 0$，存在正整数 $N$，当 $n \geq N$ 时 $|\frac{1}{n} - 0| < \varepsilon$。

证明：给定任意 $\varepsilon > 0$。取 $N = \lceil 1/\varepsilon \rceil$（向上取整，$N$ 是正整数）。当 $n \geq N$ 时，由 $N \geq 1/\varepsilon$ 得 $1/N \leq \varepsilon$，因此 $\frac{1}{n} \leq \frac{1}{N} \leq \varepsilon$，即 $|\frac{1}{n} - 0| = \frac{1}{n} < \varepsilon$。证毕。

为什么 $N = \lceil 1/\varepsilon \rceil$？ 因为我们想让 $n \geq N$ 时 $\frac{1}{n} \leq \varepsilon$，即 $n \geq 1/\varepsilon$。所以 $N$ 选任何 $\geq 1/\varepsilon$ 的整数都行——$\lceil 1/\varepsilon \rceil$ 是最小的这种整数，让证明中的不等式尽量紧。

关键：写证明时，量词顺序必须严格。"对任意 $\varepsilon > 0$" 先出现，"存在 $N$" 后出现，"对所有 $n \geq N$" 最后——这三层的顺序与定义一致，不能乱。讲义 Remark 2.2 给的提醒正是："the condition '$n \geq N$' in the definition can be changed to '$n > N$', and $N$ need not be an integer"Honors Calculus §2.1——这些小变化不影响证明结构。

命题链：每一项命题"它存在是要解决什么问题"

讲义 §2.1 给出数列极限的完整命题链Honors Calculus §2.1。每一条命题的存在都有"它要解决的问题"：

• Proposition 2.3 (唯一性)：要解决"同一个数列能不能有两个不同的极限"。答：不能。证明用反证——如果 $x_n \to x$ 且 $x_n \to x'$，取 $\varepsilon = |x - x'|/2$，由极限定义存在 $N$ 让 $n \geq N$ 时 $|x_n - x| < \varepsilon$ 且 $|x_n - x'| < \varepsilon$，于是 $|x - x'| \leq |x_n - x| + |x_n - x'| < 2\varepsilon = |x - x'|$，矛盾。
• Proposition 2.3 (有界性)：要解决"收敛数列会不会跑得无穷大"。答：不会。如果 ${x_n}$ 收敛到 $x$，取 $\varepsilon = 1$，存在 $N$ 让 $n \geq N$ 时 $|x_n - x| < 1$，于是 $n \geq N$ 时 $|x_n| \leq |x| + 1$ 有限；$n < N$ 时只有有限个点也都有限。
• Proposition 2.4 (算术规则)：要解决"两个收敛数列能不能做四则运算"。答：能，且极限等于极限的四则运算。
• Theorem 2.6 (Squeeze Theorem)：要解决"夹在两个都收敛到 $L$ 的数列中间的数列"。答：也收敛到 $L$。
• Theorem 2.8 (Monotone Convergence Theorem)：要解决"单调有界数列"。答：必收敛，且极限 = sup（上升）或 inf（下降）。
• Theorem 2.12 (Bolzano-Weierstrass)：要解决"有界数列"。答：必有收敛子列。
• Theorem 2.13 (Cauchy Criterion)：要解决"在不知道极限值的情况下能不能判别收敛"。答：能——数列在 $\mathbb{R}$ 收敛当且仅当它满足 Cauchy 准则：$\forall \varepsilon > 0, \exists N: |x_n - x_m| < \varepsilon$ 对所有 $n, m \geq N$ 成立Honors Calculus §2.1 Theorem 2.13。

Cauchy Criterion 的关键意义是不依赖极限值就能判别收敛。这让 Bolzano-Weierstrass + Cauchy Criterion 的组合成为构造收敛子列的标准工具——讲义 Exercise 2.30（下一章会演练）正是这一组合的最简形式。

反例：跳变函数（输出范围横跨间隙，limit DNE）

讲义 §2.1 Remark 提到了一个反例：当 $|x_n - x| \geq \varepsilon_0$ 能对任意大的 $N$ 都找到 $n \geq N$ 满足时，极限不存在。3Blue1Brown 把这件事做成一张"straddle gap"概念图：

图注：3Blue1Brown 跳变函数反例图（视频静态截图）。三幅并排子图 (a)(b)(c)，共同演示：无论把输入窗口收得多紧（从 ±0.1 到 ±0.01 再到 ±0.001），输出范围始终横跨一个宽度不缩小的间隙——黄色单调递增曲线 + 蓝色水平条带 + 绿色竖直条带共同显示输出范围不能坍缩到任何单一 $L$ 的 $\varepsilon$ 带内3Blue1Brown 2017。

动手证 DNE 的反例题时，三步走：(1) 假设极限存在为 $L$；(2) 找一个具体的 $\varepsilon_0$，让无论 $N$ 多大都能找到 $n \geq N$ 让 $|x_n - L| \geq \varepsilon_0$；(3) 与极限定义矛盾。

第五章：δ 是怎么"找"出来的——ε-δ 与连续性

ε-δ 函数极限的几何

讲义 §2.2 Definition 2.15 把 ε-N 推广到函数极限 ε-δHonors Calculus §2.2：

对任意 $\varepsilon > 0$，存在 $\delta > 0$，当 $0 < |x - a| < \delta$ 时 $|f(x) - L| < \varepsilon$。

这张图把"输入窗口 $\delta$ 与输出窗口 $\varepsilon$ 的关系"画出来：

图注：讲义 §2.2 函数极限 ε-δ 图。横轴 $x$，纵轴 $y$，原点 $O$。红色曲线 $y = f(x)$ 经过 $x = a$ 附近；纵轴附近有三条水平参考线：上方 $L + \varepsilon$（水平虚线）、中间 $L$（浅蓝实线）、下方 $L - \varepsilon$（水平虚线）。横轴上标有 $a - \delta, a, a + \delta$，对应竖直虚线。当 $x$ 在 $a - \delta$ 到 $a + \delta$ 之间时，$f(x)$ 落在 $L - \varepsilon$ 到 $L + \varepsilon$ 的带状区域内——这就是 ε-δ 极限定义的几何翻译。

Spivak 在《Calculus》Chapter 5 给出同样定义的另一种几何——这里借用一个公开的 ε-δ 概念图（Stephan Kulla 2016 CC-BY-SA 系列插图）作对照，展示"δ 邻域带被 $\varepsilon$ 容差带完全覆盖"的连续情形：

图注：Spivak 风格 ε-δ 满足图。连续函数曲线（深色背景上从左下延伸到右上方），$x_0$ 处有黑实心圆 + $f(x_0)$ 处有水平虚线，灰色 $\delta$ 邻域带 $(x_0 - \delta, x_0 + \delta)$ + 红色 $\varepsilon$ 容差带。$\delta$ 邻域带被 $\varepsilon$ 容差带完全覆盖——这就是 ε-δ 准则满足的几何Spivak 2008, Calculus 4e, Chapter 5；Kulla 2016 CC-BY-SA via Wikimedia Commons。

对比跳跃函数不满足 ε-δ 的情形：

图注：Spivak 风格 ε-δ 不满足图。函数曲线在 $x_0$ 处跳跃——白色点表示实际极限值，黑色点表示 $f(x_0)$ 不重合。$\delta$ 邻域内部分函数值（特别是 $x_0 - \delta$ 处）落在 $\varepsilon$ 容差带下方——这就是 ε-δ 准则不满足的几何Spivak 2008, Chapter 5；Kulla 2016 CC-BY-SA via Wikimedia Commons。

δ 构造的两类基本范式

写 ε-δ 证明的核心难点是"给定 $\varepsilon$，怎么找出 $\delta$"。Spivak 在 Chapter 5 Problem 7（$\lim_{x \to a} x^2 = a^2$）展示用 $\min(1, \varepsilon/(2|a|+1))$ 控制中间因子的范式；在 Theorem 2 的 reciprocal lemma 中则用 $\min(|y_0|/2, \varepsilon,|y_0|^{2}/2)$ 给出 $1/x$ 类因子的标准构造——这两种"先取 $\delta \leq 1$ 让分母有下界，再让 $|x - a|$ 控制到 $\varepsilon$ 量级"的思路，是 ε-δ 证明的两类典型动作Spivak 2008, Chapter 5：

范式 1：线性函数（δ = ε/k）

例：证明 $\lim_{x \to 3} (2x + 1) = 7$。给定 $\varepsilon > 0$，要 $|2x + 1 - 7| = 2|x - 3| < \varepsilon$，即 $|x - 3| < \varepsilon/2$。取 $\delta = \varepsilon/2$，则 $0 < |x - 3| < \delta$ 时 $|2x + 1 - 7| < \varepsilon$。

范式 2：含 $1/x$ 类因子（δ = min(1, ε/(2|a|+1))）

例：证明 $\lim_{x \to a} 1/x = 1/a$（$a \neq 0$）。给定 $\varepsilon > 0$，要 $|\frac{1}{x} - \frac{1}{a}| = \frac{|a - x|}{|x| \cdot |a|}$。问题在于 $|x|$ 在分母，$x$ 接近 $a$ 但不一定有下界。Spivak 的处理：先限制 $\delta \leq 1$（即 $|x - a| < 1$），那么 $|x| \geq |a| - 1$。如果 $|a| \geq 1$ 取 $|x| \geq |a|/2$，如果 $|a| < 1$ 取 $|x| > 0$，统一取 $|x| \geq |a|/2$（要求 $|a| \geq 1$），否则直接另外处理。最简洁的统一范式是 $\delta = \min!\bigl(1,, |a|/2,, \varepsilon, |a|^{2}/2\bigr)$（先取 $\delta \leq |a|/2$ 让 $|x|$ 有下界 $|a|/2$，再让 $|a-x| < \varepsilon,|a|^{2}/2$ 保证 $|1/x - 1/a| < \varepsilon$），而 Spivak Problem 7 用的范式是 $\delta = \min(1, \varepsilon/(2|a|+1))$——后者把 $|a|$ 不论大小都覆盖了。

动手写 ε-δ 证明的标准动作：

1. 把要找的 $\delta$ 写成"让中间那一坨被 $|x - a|$ 控制住"的形式——这是动笔前的草稿阶段，把"如果 $0 < |x - a| < \delta$，那么 $|f(x) - L|$ 应该 $< \varepsilon$"中的 $|f(x) - L|$ 用 $|x - a|$ 反解出来。
2. 反解不等式：找到 $|x - a|$ 应该满足的"上界"，这就是 $\delta$ 的候选值。
3. 如果中间有除法或负指数项，用 $\min(1, \ldots)$ 范式先限制 $|x - a| \leq 1$，再让分母有下界。
4. 验证：把 $\delta$ 代回 $|f(x) - L|$，让每个因子都 $\leq$ 自己的"上界"，乘出来 $< \varepsilon$。

讲义 §2.3 把"连续性"定义为 $\lim_{x \to a} f(x) = f(a)$Honors Calculus §2.3 Definition 2.24——也就是把 $L$ 替换成 $f(a)$。这意味着连续函数的 δ 构造"自由度更大"，因为可以直接用 $f$ 在 $a$ 附近的已知值。

连续性的定理集与介值定理的几何

讲义 §2.3 给出连续函数的核心定理Honors Calculus §2.3：

• Extreme Value Theorem (极值定理)：闭区间 $[a, b]$ 上的连续函数必取到最大值与最小值。
• Intermediate Value Theorem (介值定理)：闭区间 $[a, b]$ 上的连续函数必取到 $f(a)$ 与 $f(b)$ 之间的所有值。
• Bolzano's Theorem (零点定理)：闭区间 $[a, b]$ 上的连续函数若 $f(a) \cdot f(b) < 0$，则必有零点。
• Theorem 2.30：闭区间 $[a, b]$ 上的连续函数一致连续——这是讲义 §2.3 的 Theorem 2.30，也是下一章 Exercise 2.30 同名编号（不同题）要小心区分的。

介值定理的几何：

图注：讲义 §2.3 介值定理配图。蓝色曲线从 $x = a$ 到 $x = b$，左端点 $f(a)$ 在下方较低位置，右端点 $f(b)$ 在上方较高位置。曲线先升到局部极大值再降到局部极小值最后再升。纵轴上标有 $f(a), f(b)$ 以及介于两者之间的 $\xi$（红色水平线对应的高度），红色虚线从 $\xi$ 高度处水平延伸到曲线再垂直落到横轴上的点 $c \in [a, b]$——这正是介值定理"$\xi$ 在 $f(a)$ 与 $f(b)$ 之间 $\Rightarrow \exists c \in [a, b]$ 使 $f(c) = \xi$"的几何对应Honors Calculus §2.3 Theorem 2.27。

一致连续：δ 不依赖特定点

讲义 §2.3 Definition 2.29 给一致连续的 ε-δ 定义Honors Calculus §2.3 Definition 2.29：

对任意 $\varepsilon > 0$，存在 $\delta > 0$，使对所有 $x, y \in E$ 满足 $|x - y| < \delta$，都有 $|f(x) - f(y)| < \varepsilon$。

讲义 Remark 直接点出关键区别："continuity is a pointwise property, whereas uniform continuity pertains to a whole set"——逐点连续是逐点性质，一致连续是整个集合上的性质Honors Calculus §2.3 Definition 2.29 Remark。具体说：普通连续性里，给定 $\varepsilon$，$\delta$ 可以同时依赖于 $\varepsilon$ 和 特定的点 $a$；一致连续里，$\delta$ 只依赖 $\varepsilon$，对整个 $E$ 上所有点都"一致地"起作用。

这张图把对比讲清：

图注：讲义 §2.3 一致连续定义文字图。红色框里是正式 ε-δ 定义（与普通连续性的差异在量词顺序：对所有 $x, y \in E$）。下方两个 Remark 把"一致"这个词的含义点透：给定 $\varepsilon$，所选的 $\delta$ 在整个区间上一致地起作用——不依赖于区间内的特定点 $x, y$，只依赖于 $\varepsilon$。讲义 Theorem 2.30：闭区间 $[a, b]$ 上的连续函数必一致连续Honors Calculus §2.3 Theorem 2.30。

第六章：拿到证明题从哪下手——五步思考顺序

把前五章的工具组装起来。Devlin 在 Preface 与 §3.1 里给出的核心动作是："面对一个没有现成套路的新问题，先想清楚它在说什么，再去找解法"Devlin 2012, Preface。这套"想清楚"可以压成五步：

下面用讲义六道原题现场演练这套思考顺序，每题按 E/I/D 分档，先讲 E/I 题，D 题给完整参考。

Exercise 1.1（E）：证明 $\sqrt{6}$ 是无理数

题干：证明 $\sqrt{6}$ 是无理数。

给什么：$\sqrt{6} = \sqrt{6}$——还没给其他假设。

证什么：$\sqrt{6}$ 不能写成 $\frac{p}{q}$（$p, q$ 互质，$q > 0$）的形式。

用哪条定理：反证法（讲义 Ch0 §0.1 反证法 outline；Devlin §3.2 反证法专门适合证"某物不存在"——这里要证"$\sqrt{6} \notin \mathbb{Q}$"，正是反证法的拿手戏）。

递归 / 分情形：假设 $\sqrt{6} = \frac{p}{q}$，$p, q$ 互质，$q > 0$。两边平方：$6 = \frac{p^2}{q^2}$，即 $p^2 = 6q^2$。这推出 $2 | p^2$，所以 $2 | p$，写 $p = 2k$，于是 $4k^2 = 6q^2$，即 $2k^2 = 3q^2$。这推出 $2 | 3q^2$，即 $2 | q^2$，所以 $2 | q$。但 $p, q$ 都被 2 整除与互质矛盾。

注意："互质"是反证法里关键的假设——如果 $p, q$ 可以不互质（如 $p = q = 0$），证明就崩了。

Exercise 1.7（E+I，D 题分两部分）

(a) 证明 $\mathbb{Z}^+$ 在 $\mathbb{R}$ 中无上界（E）

用哪条定理：反证法。假设 $\mathbb{Z}^+$ 在 $\mathbb{R}$ 中有上界 $\gamma$。由 $\mathbb{R}$ 具备 LUB property，sup $\mathbb{Z}^+ = \gamma \in \mathbb{R}$。但 $\gamma - 1 < \gamma$，根据 LUB property 的定义 $\gamma - 1$ 不是 $\mathbb{Z}^+$ 的上界，因此存在 $n_0 \in \mathbb{Z}^+$ 使 $n_0 > \gamma - 1$。于是 $n_0 + 1 \in \mathbb{Z}^+$ 且 $n_0 + 1 > \gamma$，与 $\gamma$ 是上界矛盾。

(b) 用 (a) 证明 Archimedean property（I）：$x > 0, y \in \mathbb{R} \Rightarrow \exists n \in \mathbb{Z}^+ : nx > y$

用哪条定理：反证法 + (a) 的结论。假设对所有 $n \in \mathbb{Z}^+$，$nx \leq y$。这时 $\mathbb{Z}^+$ 在 $\mathbb{R}$ 中有上界 $y/x$（除以 $x > 0$）——这与 (a) 矛盾。

Exercise 1.11（E）：判定 sup / inf

$E_1 = {x : x^2 - 2x < 3}$。解 $x^2 - 2x - 3 < 0$，即 $(x-3)(x+1) < 0$，得 $x \in (-1, 3)$。所以 $E_1 = (-1, 3)$。sup $E_1 = 3$（不可达但任意接近），inf $E_1 = -1$（不可达但任意接近）。

判定这种题的统一动作：(1) 解不等式把 $E$ 写成区间或区间并；(2) 看上下界是否在集合内——在集合内就是 max/min，否则是 sup/inf 但不可达。

Exercise 1.14（I+D）：sup/inf 论证 + 反例

正命题：$A, B \subset \mathbb{R}^+$ 非空且有上界，$a = \sup A, b = \sup B$，$C = {xy : x \in A, y \in B}$。证 $C$ 有上界且 $\sup C = ab$。

证法：直接法。先证 $C$ 有上界——$x \leq a, y \leq b$，所以 $xy \leq ab$，$ab$ 是上界。再证 $\sup C \geq ab$——任取 $\varepsilon > 0$，由 sup 定义存在 $x \in A$ 使 $x > a - \varepsilon/(2b)$（这里 $b > 0$），$y \in B$ 使 $y > b - \varepsilon/(2a)$（这里 $a > 0$），于是 $xy > (a - \varepsilon/(2b))(b - \varepsilon/(2a)) = ab - \varepsilon + \varepsilon^2/(4ab) \geq ab - \varepsilon$。所以 $\sup C \geq ab$。结合上界 = $ab$ 那一半，得 $\sup C = ab$。

反例（去掉"正数"条件）：取 $A = B = (-1, 1)$。$A, B$ 非空有上界（$\sup A = \sup B = 1$）。但 $C = {xy : x, y \in (-1, 1)} = (-1, 1)$（可验证），$\sup C = 1 = \sup A \cdot \sup B$——这反例没有给出反例。试 $A = B = (-\infty, 0)$，$\sup A = \sup B = 0$，$C = (0, \infty)$，$\sup C = \infty \neq 0 \cdot 0$。这就是反例：$A = B = {x \in \mathbb{R} : x < 0}$，$\sup A = \sup B = 0$，但 $C = {xy : x < 0, y < 0} = {z : z > 0}$，$\sup C = +\infty$，$\sup A \cdot \sup B = 0 \neq \sup C$。

关键："正数"这个条件是结论成立的保证；去掉它，结论立刻崩。

Exercise 2.7（E）：${x_n}$ 收敛 + ${y_n}$ 发散 ⇒ ${x_n + y_n}$ 收敛还是发散？

判定：发散。

反证（用反证法）：假设 $x_n + y_n \to L$。由 ${x_n}$ 收敛知 $x_n \to x$，于是 $y_n = (x_n + y_n) - x_n \to L - x$，与 ${y_n}$ 发散矛盾。

这是讲义命题 2.4 算术规则的直接应用——"差的极限等于极限的差"反过来用。

Exercise 2.30（D）：无界 ⇒ 存在子列 $|x_{n_k}| > k$

题干：如果 ${x_n}$ 无界，证明存在子列 ${x_{n_k}}$ 使 $|x_{n_k}| > k$ 对所有正整数 $k$ 成立。

证法：递归构造子列。

• 基步（$k = 1$）：${x_n}$ 无界，所以存在 $n_1$ 使 $|x_{n_1}| > 1$。
• 递归步：假设已经找到 $n_1 < n_2 < \ldots < n_{k-1}$，使 $|x_{n_j}| > j$ 对 $j = 1, \ldots, k-1$ 成立。继续找 $n_k > n_{k-1}$ 使 $|x_{n_k}| > k$——这必然存在，因为 ${x_n}$ 无界（特别地，$n \geq n_{k-1}$ 之后的部分也无界）。
• 验证：递归完成后 ${x_{n_k}}$ 是 ${x_n}$ 的子列（$n_1 < n_2 < \ldots$），且 $|x_{n_k}| > k$ 对每个 $k$ 成立。

为什么需要"无界"？ 如果 ${x_n}$ 有界，存在 $M$ 让 $|x_n| \leq M$ 对所有 $n$ 成立，那对 $k > M$ 永远找不到 $|x_{n_k}| > k$。

关键提醒：Exercise 2.30 是讲义 Ch2 §2.1 的题，与讲义 Theorem 2.30（连续函数一致连续）编号相同但题不同——动笔时不要看错。

把第六章讲义六道原题的五步演练走完。读者你已经拿到了本专题的核心动作："先用一张图把命题画出来，再把图里的几何一步步还原成严谨的数学语言"。这套动作在六章里反复用——拿到任何证明题，先问"这是哪种证法"，再问"图怎么画"，最后问"图里的几何怎么写成量词"。

参考文献

本专题引用的核心资料如下，建议深入学习时阅读原文：

1. Honors Calculus (HKUST-GZ MathGroup, Aug 2025) — 讲义主页（原网页当前 404，原文以 PDF 副本为准）
2. Principles of Mathematical Analysis (Rudin, 3rd ed., 1976) — Amazon
3. Calculus (Spivak, 4th ed., 2008) — Amazon
4. Mathematical Analysis (Apostol, 2nd ed., 1974) — Internet Archive
5. Proofs from THE BOOK (Aigner & Ziegler, 4th ed., 2010) — Springer
6. 3Blue1Brown: (ε, δ) definition of limits (Sanderson, 2017-05-04) — 3blue1brown.com
7. Introduction to Mathematical Thinking (Devlin, 2012) — PDF mirror
8. Calculus: Early Transcendentals (Stewart, 8th ed., 2015) — stewartcalculus.com