证明题入门：从定义能看懂，到第一行会写
你可能已经能读懂“对任意 ε>0，存在 N……”这样的定义，却在题目要求“证明”时停住：第一行写什么？要不要先举例？假设能不能随便取？这种卡顿不是你不会数学，而是你正在经历从计算到论证的换挡。Terence Tao 把数学学习粗略分成 pre-rigorous、rigorous、post-rigorous 三个阶段，并指出从第一阶段进入第二阶段时，proof-type questions 会让许多本科生感到痛苦；但严格性并不是为了消灭直觉，而是为了清理坏直觉、提升好直觉Tao。
这篇文章只抓住一个动作：拿到题目以后，先读它的逻辑形状，再写出对应的第一行。后面的归纳、反证、sup 和 ε-N，看起来是不同章节，其实都在重复同一件事：命题的量词和连接词，已经把证明骨架藏在题面里了。
拿到证明题，第一行到底该写什么
从“我要证明什么”开始，而不是从公式开始
证明不是把算式算得更长，而是让每一步都能回答“为什么这一步合法”。先看最简单的条件命题：若整数 $x$ 是偶数，证明 $x^2$ 是偶数。这里“若……则……”就是蕴含，前件是“$x$ 是偶数”，后件是“$x^2$ 是偶数”。第一行自然写：
设 $x$ 是任意整数，并假设 $x$ 是偶数。
“任意整数”来自题目的全称量词，“假设 $x$ 是偶数”来自蕴含的前件。既然 $x$ 是偶数，就存在整数 $k$ 使 $x=2k$，于是 $x^2=4k^2=2(2k^2)$，所以 $x^2$ 是偶数。最后写“因此命题成立”。Hutchings 的讲义把这种“命题形状决定第一行”的规则整理成了证明速查表Hutchings。
| 题目形状 | 第一行怎么写 | 骨架 | 常见否定形式 |
|---|---|---|---|
| $\forall x\in S, P(x)$ | 取任意 $x\in S$ | 对这个任意对象证明 $P(x)$ | 存在 $x\in S$ 使 $P(x)$ 不成立 |
| $P\Rightarrow Q$ | 假设 $P$ 成立 | 从 $P$ 推到 $Q$ | $P$ 且 $Q$ 不成立 |
| $P\Leftrightarrow Q$ | 分别证 $P\Rightarrow Q$ 与 $Q\Rightarrow P$ | 两个独立方向 | 一个方向失败 |
| $\forall x\in S,\exists y\in T$ | 取任意 $x\in S$，构造 $y$ | $y$ 可以依赖当前的 $x$ | 存在一个 $x$，所有 $y$ 都失败 |
| $A\subseteq B$ | 取任意 $x\in A$ | 证明 $x\in B$ | 存在 $x\in A$ 且 $x\notin B$ |
| $\lim x_n=L$ | 给定 $\varepsilon>0$，选择 $N$ | 再证所有 $n\ge N$ 都满足误差界 | 存在固定误差，任意截断后仍有坏项 |
全称量词不能偷偷添加条件。题目说“任意整数”，你不能一上来只取偶数；只有进入蕴含的前件后，才可以使用“偶数”这个条件。存在量词则相反，不能只说“存在”，必须真的给出一个对象并验证它满足要求。
量词顺序就是依赖关系
考虑命题“每个整数都小于某个整数”。它写成 $\forall x\in\mathbb Z,\exists y\in\mathbb Z, x<y$。正确读法是：对手先给出 $x$，你看见 $x$ 后再选择 $y$，例如 $y=x+1$。如果把顺序换成 $\exists y\in\mathbb Z,\forall x\in\mathbb Z, x<y$，意思就变成“存在一个固定的整数，比所有整数都大”，这显然错误。
后面最重要的 ε-N 定义也是这种结构：$\forall\varepsilon>0$ 在外层，$\exists N$ 在中层，$\forall n\ge N$ 在内层。因此 $N$ 可以依赖 $\varepsilon$，但不能反过来让 $\varepsilon$ 依赖 $N$。看到量词，先把“谁先给、谁后选、谁必须对所有对象负责”写成中文，第一行通常就不会丢。
数学归纳法：从多米诺骨牌到强归纳
普通归纳的两块骨牌
数学归纳法处理的是一串由自然数编号的命题 $P(0),P(1),P(2),\ldots$。它不是“看了前几项觉得规律成立”，而是证明两件事：第一块确实倒下；任意一块倒下都会带倒下一块。两件事合起来，才覆盖整条无限链。下面这张图是 Richard Hammack 在 Book of Proof 中给出的教学类比，图中的骨牌只是直观说明，不是形式证明本身。
先有了第一块，再有稳定的传递规则，才可以谈所有命题都成立。
图注：四个画面把命题排成 $S_1,S_2,\ldots$ 的骨牌序列。先证明第一条命题倒下，再证明第 $k$ 条倒下必然带倒第 $k+1$ 条，最后整列都倒下。图为 Richard Hammack, Book of Proof, p.181，CC BY-NC-ND 4.0，保持原图使用Book of Proof
正式模板如下。
- 明确说使用数学归纳法，并定义 $P(n)$。
- 基本步骤：验证起始值，例如 $P(0)$。
- 归纳步骤：固定任意 $n$，假设 $P(n)$ 成立，证明 $P(n+1)$ 成立。
- 写出“由数学归纳法，$P(n)$ 对所有规定的 $n$ 成立”。
最容易漏掉的是第三步中的“使用”。归纳假设不是装饰。你必须在等式或不等式的某一步真正调用它，否则你只是分别证明了两个相邻命题，并没有证明它们之间的传递关系。
以奇数求和为例，证明
$$1+3+\cdots +(2n-1)=n^2,\qquad n\ge 1.$$
令 $P(n)$ 表示上式。基本步骤 $n=1$ 时，左边为 $1$，右边为 $1^2$，成立。归纳步骤中，假设
$$1+3+\cdots +(2n-1)=n^2.$$
于是
$$1+3+\cdots +(2n-1)+(2n+1)=n^2+2n+1=(n+1)^2.$$
中间的等号 $1+3+\cdots +(2n-1)=n^2$ 就是归纳假设的实际使用位置。没有这一行，证明会失去桥梁。
假设成立不是循环论证
“假设 $P(n)$ 成立，再证明 $P(n+1)$”看起来像先假定了结论。关键在于，归纳步骤不是单独证明某个未知的 $P(n)$，而是在证明一个条件命题：对任意 $n$，如果 $P(n)$ 成立，那么 $P(n+1)$ 也成立。基本步骤负责启动链条，归纳步骤负责保证链条不断。
经典错误“所有马都是同一种颜色”很能说明问题。它的基本步骤 $P(1)$ 没问题，错误出在从一匹马推广到两匹马时，把两组马的“中间重叠部分”当成存在。可是当 $n=1$ 时，第一匹和第二匹之间没有剩余马匹作桥梁。因此错的不是“归纳假设不能假设”，而是归纳步骤在边界情形没有成立。MIT 的 Mathematics for Computer Science 对这个错误的位置作了明确分析MCS。
有时单纯的 $P(n)$ 太弱，虽然命题是真的，却无法完成归纳步骤。此时可以加强命题。例如铺设一个 $2^n\times2^n$ 的院落时，不要只说“中心在某个固定位置时能铺”，而说“中心无论位于哪个位置都能铺”。
图注：图中大正方形被分成四个边长为 $2^n$ 的子正方形，右上方标记真实的 Bill，其余三个象限标记临时位置。把命题加强为“Bill 可在任意位置”后，归纳步骤才能在每个子象限调用归纳假设。这里展示的是普通归纳配合加强假设的技巧，不是强归纳本身MCS
强归纳何时更自然
普通归纳在第 $n+1$ 步只能使用 $P(n)$。强归纳允许使用全部较早情形 $P(0),P(1),\ldots,P(n)$。它不是更“神奇”的证明，而是把可用工具写得更宽。
最典型的例子是证明每个大于 $1$ 的整数都能写成素数的乘积。对 $n+1$ 做归纳。如果 $n+1$ 本身是素数，立即完成。如果它不是素数，就写成 $n+1=ab$，其中 $2\le a,b\le n$。这时需要知道 $a$ 和 $b$ 都能分解，而它们未必等于 $n$，所以普通归纳假设不够，必须调用更早的多个命题。
强归纳也可以处理“凑金额”问题。只有 3Sg 和 5Sg 两种硬币时，先验证 8Sg、9Sg、10Sg 都能凑出。对更大的金额，如果要凑 $n+1+8$，可以从已经凑出的 $n-2+8$ 再加一枚 3Sg。图中只展示 26Sg 的一种凑法，不能理解成唯一方案。
图注：图中可见四个 5Sg 圆形和两个 3Sg 圆形，组成一种 $4\times5+2\times3=26$ 的凑法。它用来说明强归纳例子中的“较早情形帮助构造当前情形”，并不表示所有凑法MCS
算术基本定理的存在性部分正是同一结构。基例 $2$ 是素数。若 $N=k+1$ 不是素数，则 $N=ab$ 且 $a,b<N$，由强归纳假设分别分解 $a,b$，再把两组素数相乘即可。唯一性则需要另外说明：若两个素因数分解都表示同一个数，先用素数整除积的性质匹配一个素因子，再约去它，把问题降到更小的整数。这里“更小”很重要，因为它说明调用的是更早的命题，而不是凭空重复结论。Conrad 的归纳证明笔记也特别提醒，前面的 case 必须帮助推出后面的 case，但不一定每次都只把“紧邻的上一项”变成下一项Conrad。
反证法：从假设存在，到推出矛盾
反证法的固定三步
反证法适合这样的情况：直接从定义推进不顺，但“假设结论不成立”会带出一个不可避免的冲突。三步是：先假设目标的否定；然后连续推导；最后明确说出哪一个事实同时为真又为假。只写“矛盾”还不够，必须指出矛盾对象。
证明 $\sqrt2$ 不是有理数是标准例子。假设相反，存在互质的正整数 $p,q$ 使
$$\sqrt2=\frac pq.$$
平方得到 $p^2=2q^2$，因此 $p^2$ 是偶数，从而 $p$ 是偶数。写 $p=2k$，代回得到
$$4k^2=2q^2,\qquad q^2=2k^2.$$
因此 $q$ 也是偶数。但 $p,q$ 已经取成互质，不能同时为偶数。更严格地说，互质条件先让“$p$ 偶”推出“$q$ 奇”，而代数推导又推出“$q$ 偶”。所以最后的矛盾是“$q$ 同时为偶数和奇数”，不是一句模糊的“与原式矛盾”。这正是 Book of Proof 给出的完整证明结构Book of Proof。
图注：这页课堂笔记把“假设存在有理解”“写成互质分数”“由平方关系推出分子和分母都为偶数”“与互质矛盾”连续写在一起，并在同页引出有理数零点定理。它是笔记原貌的视觉对照，不替代上面的正式证明。
互质条件是矛盾能落地的着力点。如果一开始允许 $p,q$ 还有公因子，那么“它们都是偶数”只是说明当前表示没有约到最简，并不直接和“这两个整数不能同时为偶数”冲突。
从一个根式推广到整类多项式
有理根定理把“假设一个根是有理数”变成有限候选检查。设整系数多项式
$$P(x)=a_nx^n+\cdots+a_1x+a_0,$$
其中 $a_n,a_0\ne0$。若互质分数 $p/q$ 是有理根，则 $p\mid a_0$，$q\mid a_n$。证明时把 $P(p/q)=0$ 两边乘 $q^n$，得到整数等式。移项并提取 $p$，可得 $p\mid a_0q^n$。因为 $p$ 与 $q^n$ 互质，Euclid 引理给出 $p\mid a_0$。对 $q$ 做完全对称的提取，就得到 $q\mid a_n$Rational Root Theorem。
因此遇到复杂根式，可以固定使用“翻译、列举、验证”三步。令
$$p=\sqrt{2+\sqrt[3]{5}}.$$
则 $(p^2-2)^3=5$，展开为
$$p^6-6p^4+12p^2-13=0.$$
首项系数是 $1$，所以有理根若存在必须是整数，而且只能整除 $13$。候选是 $\pm1,\pm13$。代入 $p=\pm1$ 得 $-6\ne0$；代入 $p=\pm13$ 也不为零。因此没有候选有理根，原根式是无理数。注意，有根号不自动意味着无理数，因为 $\sqrt4=2$ 是有理数。
sup 要证两件事：上界性 + 最小性
为什么最大值不够用
集合 $A={1-1/n:n\in\mathbb N, n\ge1}$ 的元素是 $0,1/2,2/3,3/4,\ldots$。它越来越接近 $1$，却没有一个元素等于 $1$，所以没有最大值。可是 $1$ 是它的最小上界，这就是 supremum，记作 $\sup A=1$。
最大值必须属于集合，supremum 不必属于集合。可以把上界看成一组“挡住集合继续向右移动”的边界，sup 是所有这些边界中最靠左的那个。它和集合本身不是同一个东西。这个对应关系像硬件清单里的边界规格：规格约束所有部件，但“最小可行规格”不需要是清单中的某一个部件；这里的结构对应是“上界集合的最小元”与“原集合元素”分属两个集合，不能混为一谈。
图注：笔记页面写出 sup 的两条条件：候选数是集合的上界，并且任何更小的数都不是上界。下方数轴只作辅助示意，没有给出集合端点的具体数值。
精确定义是：$\beta=\sup E$ 当且仅当
- 对所有 $x\in E$，都有 $x\le\beta$，所以 $\beta$ 是上界。
- 每个比 $\beta$ 小的数都不是上界。换句话说，对任意 $\varepsilon>0$，都能找到 $x\in E$ 使 $x>\beta-\varepsilon$。
第二条就是“逼得足够近”：如果在 $\beta$ 左边留下任何正宽度的空隙，那个更小的数就可能成为上界，$\beta$ 便不会是最小上界。Lebl 的教材把这条 ε-刻画和“sup 不等于 max”的区别并列讲清Basic Analysis。
证 sup 的通用模板
题目要求证明 $\sup E=\beta$ 时，第一行不要直接写“显然”。先写：“我们证明两件事。第一，证明 $\beta$ 是 $E$ 的上界。第二，任取 $\varepsilon>0$，构造 $x\in E$ 使 $x>\beta-\varepsilon$。”这就是上界性方向和最小性方向。
以 $E={x\in\mathbb R:x^2<2}$ 为例，候选值是 $\sqrt2$。若 $x\in E$ 且 $x\ge0$，则 $x^2<2$，所以 $x<\sqrt2$，说明 $\sqrt2$ 是上界。接着要说明任何小于 $\sqrt2$ 的数都不是上界。给定 $\varepsilon>0$，需要找到集合中的点大于 $\sqrt2-\varepsilon$。当 ε 足够小时，可以取一个靠近 $\sqrt2$ 的数，并验证其平方仍小于 $2$；等价地，若某个候选上界与 $\sqrt2$ 有正距离，就能在两者之间找到更小的上界，从而否定它是最小上界。于是 $\sup E=\sqrt2$，但 $\sqrt2\notin E$，所以这里没有 max。
下确界完全镜像。证明 $\inf E=\alpha$ 时，先证 $\alpha$ 是下界，再证任意 $\varepsilon>0$ 都能在集合中找到 $x<\alpha+\varepsilon$。因此“sup 要证两件事”不是死记，而是因为一个候选值必须同时满足“挡得住”和“不能再往里移”。
图注：数轴上集合 $E$ 位于标记为 $b$ 的边界左侧，图中标出 sup E 的位置。它展示的是“集合有上界且存在最小上界”的几何关系，不代表具体刻度或具体集合端点Basic Analysis
图注：数轴上集合 $S$ 的线段都位于 β 左侧，b 是更靠右的上界。β 的特征是它右侧没有集合点，但任何比 β 小的数仍会被某个集合点超过。图中不表示 sup 一定是集合的最大元素Introduction to Real Analysis
实数为什么没洞：完备性、Archimedean 与稠密性
完备性把“存在”写进实数系统
完备性公理，也叫最小上界性质，是一条关于实数的保证：每个非空且有上界的实数集合，都有一个属于实数的 supremum。它不是从更基础的实数运算推出来的普通计算规则，而是构造实数系统时必须接受的结构性质。Trench 将它写成：若一个非空实数集合有上界，那么它有 sup。
为什么这叫“实数没有洞”？考虑
$$S={q\in\mathbb Q:q\ge0,\ q^2\le2}.$$
它在有理数里非空且有上界。直觉上，所有元素向 $\sqrt2$ 靠近，但 $\sqrt2$ 不是有理数。于是若要求 sup 也必须属于 $\mathbb Q$，那个位置就空着：集合有上界，却没有最小的有理数上界。换到 $\mathbb R$ 中，$\sqrt2$ 是实数，这个位置被填上了。因此“洞”不是数轴上真的画了一个缺口，而是“最小上界应该存在，却不在当前数系中”。
图注：这张课堂笔记是扩张实数系的文字页，写出在 $\mathbb R$ 中加入 $+\infty$ 与 $-\infty$ 的约定，并说明无上界集合可记作 sup $=+\infty$、无下界集合可记作 inf $=-\infty$。扩张实数不是域，不能把无穷符号当普通实数任意运算。
Archimedean 性质来自完备性
Archimedean 性质说：对任意实数 $x$，存在自然数 $n$ 使 $x<n$。它的倒数形式更适合后面的极限证明：对任意 $\varepsilon>0$，存在自然数 $n$ 使
$$0<\frac1n<\varepsilon.$$
它不是另一个孤立背诵的公理，而可以从完备性推出。反设存在一个实数 $x$，大于所有自然数。于是自然数集有上界，令 $M=\sup\mathbb N$。根据最小上界性质，$M-1$ 不可能仍是上界，所以存在自然数 $m>M-1$。于是 $m+1>M$，这和 $M$ 是上界矛盾。Hunter 的分析讲义把这条依赖链写成了由完备性到 Archimedean 性质的短证明Hunter。
稠密性：把实数区间缩放成整数区间
有理数在实数中稠密，意思是任意 $a<b$ 之间都存在有理数 $r$：
$$a<r<b.$$
证明的关键不是猜一个分数，而是把区间放大。令长度 $b-a>0$。由 Archimedean 性质取自然数 $n$，使 $n(b-a)>1$。于是放大后的区间 $(na,nb)$ 长度超过 $1$。长度超过 $1$ 的实数区间里必有整数 $m$，满足 $na<m<nb$。最后除以 $n$，得到
$$a<\frac mn<b.$$
所以 $r=m/n$ 是所需的有理数。这里每一步都有职责：Archimedean 负责选缩放倍数，整数的离散性负责提供 $m$，除法负责把结果缩回原区间。下面的图是依据 Hunter 的定理与引理重绘的教学示意，不是原书插图。
图注：上方数轴表示原区间 $(a,b)$ 及其中的 $r=m/n$，下方数轴表示放大后的区间 $(na,nb)$ 及其中的整数 $m$。虚线连接 $m$ 与 $m/n$，对应“先找整数，再缩回有理数”的两步构造。该图基于 Hunter Theorem 2.31 与 Lemma 2.30 重绘，不是 Hunter 原书插图Hunter
这条稠密性和完备性并不矛盾。有理数可以在任意区间里出现，却仍然在某个“应该有最小上界”的位置缺少元素。密集描述的是“到处都有”，完备描述的是“该有的极限位置也属于系统”。
ε-N：把“趋近”翻译成能验证的句子
先读懂三个量词
说数列 $x_n$ 趋近 $L$，不是说“看起来越来越接近”，而是说：
$$\forall\varepsilon>0,\ \exists N\in\mathbb N,\ \forall n\ge N,\quad |x_n-L|<\varepsilon.$$
任意正数 ε 都代表对误差的严格要求。你不能挑一个方便的 ε，而必须对所有 ε 负责。看到 ε 后，你可以选择一个足够大的 $N$。一旦 $N$ 选定，从 $n\ge N$ 开始的每一项都必须满足误差小于 ε。前面的有限项可以不在带内。
这就是笔记中的几何图像：ε 越小，围绕极限的带越窄；$N$ 是截断点，表示从这里开始，所有后续项都进入带内。
图注：手绘图用灰色带表示极限附近的 ε 邻域，用竖线标记截断点 $N$，并把 $x_N,x_{N+1},\ldots$ 标在带内。右侧文字强调对任意 $\varepsilon>0$ 都可以要求带子任意窄；$N+100$ 只是示意标记，不是固定的截断公式。
MIT 18.100A 的讲义和 Lebl 教材使用同一量词结构，并明确说明截断指标可以依赖 εMIT 18.100A。
草稿先反解，正式证明再验证
例：证明
$$\lim_{n\to\infty}\frac n{n+1}=1.$$
草稿阶段只是在寻找 $N$。误差是
$$\left|\frac n{n+1}-1\right|=\frac1{n+1}.$$
为了让它小于 ε，只要 $n+1>1/\varepsilon$。因此可以选择
$$N=\left\lceil\frac1\varepsilon\right\rceil.$$
正式证明不能写成“因为反解得到，所以成立”，而应按量词顺序书写：
给定任意 $\varepsilon>0$，取 $N=\lceil1/\varepsilon\rceil$。对任意 $n\ge N$，有
$$\left|\frac n{n+1}-1\right|=\frac1{n+1}\le\frac1{N+1}<\varepsilon.$$
因此 $\lim_{n\to\infty}n/(n+1)=1$。
注意草稿是从目标不等式倒推条件，正式证明则从已经选定的 $N$ 出发，正向验证目标不等式。
再看稍复杂的数列：
$$x_n=\frac1{n^2+2n+100}.$$
当 $n\ge1$ 时，$n^2+2n+100\ge2n$，所以
$$0\le x_n\le\frac1{2n}.$$
草稿要求 $1/(2n)<\varepsilon$，于是取 $N>1/(2\varepsilon)$。正式写法是：给定 ε，取自然数 $N>1/(2\varepsilon)$。当 $n\ge N$ 时，
$$\left|x_n-0\right|=\frac1{n^2+2n+100}\le\frac1{2n}\le\frac1{2N}<\varepsilon.$$
MIT 讲义在这个例子里用的正是“放大分母，再用 $n\ge N$ 替换”这两个标准动作MIT 18.100A。
发散就是把量词全部翻过来
收敛定义的否定是：存在某个固定的 $\varepsilon_0>0$，使得无论你把 $N$ 取多大，总能找到某个 $n\ge N$ 让
$$|x_n-L|\ge\varepsilon_0.$$
看起来来回摆动的数列 $(-1)^n$ 就是例子。取相邻两项 $(-1)^M$ 和 $(-1)^{M+1}$，它们相差 $2$。如果它们都离同一个 $L$ 小于 $1$，三角不等式会推出两项相差小于 $2$，矛盾。因此相邻两项中至少有一项距离 $L$ 不小于 $1$，而且这种坏项在任何截断点之后都能找到。它不可能收敛到任何实数。
套路清单与常见坑
一张“题目形状到第一行”的地图
| 看到的题目 | 优先考虑的方法 | 第一行 | 最后要落到哪里 |
|---|---|---|---|
| 对所有 $n$ 的递推或求和命题 | 普通归纳 | 定义 $P(n)$，先证基例 | 基例与传递步骤完成 |
| 当前对象要用多个更小对象构成 | 强归纳 | 假设所有更小 case 成立 | 每个子对象可调用强归纳假设 |
| 目标是“不存在”或直接推导会绕 | 反证法 | 假设相反情况成立 | 点名一个明确矛盾 |
| 要证明 $\sup E=\beta$ | 上界性加 ε-刻画 | 先证 $\beta$ 是上界 | 任意 ε 下找到 $x>\beta-\varepsilon$ |
| 要证明 $\lim x_n=L$ | ε-N | 给定 ε，选择依赖 ε 的 $N$ | 任意 $n\ge N$ 都有误差小于 ε |
| 要证明双向等价 | 两方向证明 | 分别写 $P\Rightarrow Q$ 和 $Q\Rightarrow P$ | 两个方向都结束 |
四个最常见的失分点
第一，归纳步没有使用归纳假设。你可以在草稿中圈出“by the inductive hypothesis”对应的那一行，确保下一步真的依赖前面的命题。若完全删掉假设，推导仍然成立，通常说明归纳步骤没有完成。
第二，反证法只写“产生矛盾”，却不说矛盾是什么。应写“这说明 $q$ 是偶数，但互质条件说明 $q$ 是奇数，因此 $q$ 同时为偶数和奇数，矛盾”。矛盾对象越明确，证明越可靠。
第三，证 sup 只证了“它是上界”。很多数都可能是上界，只有最小的那个才是 sup。必须补上“任意 ε>0，都有集合元素超过 $\beta-\varepsilon$”这一方向。
第四，把 ε-N 的 $N$ 取成依赖 $n$。正式证明中，$N$ 必须在看到 ε 后选出，并且之后要对所有 $n\ge N$ 有效。不能先看某个具体 $n$，再为它量身定做一个 $N$。
最后，把这张地图压缩成一句工作习惯：先圈出题目中的“任意”“存在”“若……则……”，再决定第一行；写完以后检查每个假设有没有被真正使用。严格推导和直觉并不是两套互相竞争的系统。理想状态是，直觉自然提示一条可验证的证明，而证明又反过来告诉你直觉哪里准确、哪里需要修正Tao。
参考文献
本专题引用的核心资料如下，建议深入学习时阅读原文：
- Book of Proof (Third Edition) — Richard Hammack — https://richardhammack.github.io/BookOfProof/
- Introduction to mathematical arguments — Michael Hutchings — https://math.berkeley.edu/~hutching/teach/proofs.pdf
- Mathematics for Computer Science (MIT 6.042J, Spring 2015) — Chapter 5 Induction — https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-spring-2015/resources/mit6_042js15_textbook/
- Examples of proofs by induction — Keith Conrad — https://kconrad.math.uconn.edu/blurbs/proofs/induction.pdf
- Basic Analysis: Introduction to Real Analysis (Volume I) — Jiří Lebl — https://www.jirka.org/ra/
- An Introduction to Real Analysis — John K. Hunter — https://www.math.ucdavis.edu/~hunter/intro_analysis_pdf/intro_analysis.pdf
- Introduction to Real Analysis — William F. Trench — https://digitalcommons.trinity.edu/mono/7/
- 18.100A Real Analysis, Fall 2020 — MIT OpenCourseWare — https://ocw.mit.edu/courses/18-100a-real-analysis-fall-2020/
- Rational root theorem — https://en.wikipedia.org/wiki/Rational_root_theorem
- There's more to mathematics than rigour and proofs — Terence Tao — https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/
- Infimum and supremum — Wikipedia — https://en.wikipedia.org/wiki/Infimum_and_supremum