开场：数学靠什么宣布“真相”
Truth, kinds of“真相”这个词，在不同领域由不同的东西说了算：
一个命题的数学证明（mathematical proof）是：从一组公理（axioms）出发，经由一连串逻辑演绎（logical deductions），最终抵达该命题的链条。
三个关键词——命题 proposition、逻辑演绎 deduction、公理 axiom——就是本章的三大主角。
命题
Propositions命题（proposition）是一个或真或假的陈述（statement）。
听起来要求很低？看两个最简单的例子——前者为真，后者为假，但它们都是命题：
命题 1.1.1. 2 + 3 = 5 ✅ 命题 1.1.2. 1 + 1 = 3 ❌
但这个定义确实排除了一类句子：疑问句（“罗密欧啊罗密欧？”）、祈使句（“给我个 A！”），以及真假随情境变化的句子（“现在是五点钟”、“明天股市会涨”）。
还有一件微妙的事：命题不要求我们知道它的真假。判断一个句子是不是命题，只问“它是否客观上或真或假“，不问”你是否知道答案“。
经典陷阱验证 39 次全对，第 40 次崩塌
对每个非负整数 n，p(n) ::= n2 + n + 41 都是素数。
动手试试——一个一个代入 n，看看这个“看起来非常靠谱”的断言能撑多久：
Manim 短片 · 断言的葬礼：40 格素数绿灯逐个亮起，n = 40 一声闷响——“40 个例子 ≠ 证明，1 个反例 = 推翻”。剧本在 manim/scenes.py，可自己改了自己渲。
历史上真有被单个反例杀掉的“铁律”：欧拉曾猜想 a4+b4+c4 = d4 无正整数解，挺了 218 年，最后被 Elkies 用
958004 + 2175194 + 4145604 = 4224814
一举推翻。更狠的是：313(x3+y3) = z3 的最小反例超过 1000 位数字——想靠“试”来证伪都够不着。
名人堂三个“命题资格”各不相同的著名例子
证明依靠计算机检查近两千种构形，曾因“太大无法人工复核”引发争议。
费马说他有证明但“页边太窄写不下”——357 年后才由 Wiles 补上。
已验证到 1018，但“验证到再多个”也代替不了证明。
注意：哥德巴赫猜想真假未知，但它仍然是一个如假包换的命题——它在 1.1 节的判官游戏里也出现了。
谓词
Predicates谓词（predicate）可以理解为“真相悬而未决的命题”：它的真假取决于变量的取值。书里的例子：
P(n) ::= “n 是完全平方数”。于是 P(4) 为真（4 = 2²），P(5) 为假。给 n 填上具体值，谓词就“升级”为命题。
⚠️ 别混淆：谓词 P(n) 的值是真/假；普通函数 p(n) = n² + 1 的值是数。记号长得像，本质两码事。
那“带变量的句子”怎样才能变成命题？两条路：代入具体值，或者用量词（quantifiers）∀（对所有）和 ∃（存在）把它“绑定”起来。下面亲手感受这两条路——以及它们在证明中的不对称性：
公理方法
The Axiomatic Method公元前 300 年左右，亚历山大城的欧几里得想出一套流传两千多年的“立真流程”：先立下少数几条不容置疑的假设——比如“任意两点之间可以连一条线段”——然后只靠逻辑推导建立其余一切。
公理（axiom）：被直接接受为真的命题。
证明（proof）：从公理和已证命题出发的一串逻辑演绎，以待证命题收尾。
已证明的命题按“戏份”不同有几个名字：定理（theorem）是重要命题；引理（lemma）是为证后面命题铺路的前置命题；推论（corollary）是从定理几步之内就能跟出来的命题。这些界线并不严格——有时一个好引理比它服务的定理还重要。
欧几里得这套做法至今仍是数学的地基，被称为公理方法（axiomatic method）。现代版本里，一组叫 ZFC（Zermelo–Fraenkel 集合论公理 + 选择公理）的公理，加上几条推理规则，几乎足以推出全部数学。
逻辑演绎
Logical Deductions光有公理不够，还需要从旧命题合法地制造新命题的规则——推理规则（inference rules）。其中最根本的一条是假言推理（modus ponens）：有了 P，又有了 “P ⇒ Q”，就得到 Q。写成规则的样子：
P, P ⇒ QQ P ⇒ Q, Q ⇒ RP ⇒ R ¬P ⇒ ¬QQ ⇒ P
一条推理规则是可靠的（sound），当且仅当：无论 P、Q…取什么真值，只要横线以上的前提都真，横线以下的结论就必然真。全用可靠规则 + 真公理 ⇒ 证出的一切都真。
注意第三条规则：从 ¬P ⇒ ¬Q 合法推出的是 Q ⇒ P（逆否）。很多人会顺手写成 P ⇒ Q——那是非法的。这个坑太常见，原书专门把它标成 “Non-Rule”。来，坐上法官席亲自断案：
证明一个蕴含
Proving an Implication“若 P 则 Q” 型命题叫蕴含（implication）。证明它有两个标准模板。
要证 P ⇒ Q：
1. 写下 “假设 P 成立”；
2. 推出 Q。
例 1.5.1先乱算，再干净地证明
若 0 ≤ x ≤ 2，则 −x3 + 4x + 1 > 0。
书里诚实展示了“草稿”：先代几个数，感觉不等式成立，但“感觉”不算数。关键一步是把麻烦的部分因式分解：
−x3 + 4x = x(2 − x)(2 + x)
啊哈！现在拖动滑块，看三个因子的符号如何在 [0, 2] 上“合谋”保证总和为正：
方法 #2改证逆否命题
“P ⇒ Q” 与其逆否命题“¬Q ⇒ ¬P”逻辑等价——证谁都是证谁，而后者有时顺手得多。
若 r 是无理数，则 √r 也是无理数。
原命题长着两个“不”（“r 不是两整数之比 ⇒ √r 不是两整数之比”），绕。改证逆否：若 √r 有理，则 r 有理——一下就顺了：
设 mn = √r（m, n 为整数）⇒ 两边平方 ⇒ r = m2n2。 m²、n² 都是整数 ⇒ r 有理。 ■
证明“当且仅当”
Proving an “If and Only If”“P 当且仅当 Q”（iff，记作 P ⇔ Q）要求双向都成立。两种标准打法：
分别证明 “P ⇒ Q” 和 “Q ⇒ P” 两个蕴含。
构造 P ⇔ R₁ ⇔ R₂ ⇔ … ⇔ Q 的等价链，每环都成立，首尾即等价。有时需要更多巧思，但成果可以又短又漂亮。
书里的例子非常贴近生活。标准差（standard deviation）衡量一组数的离散程度，而：
一组数 x₁, …, xn 的标准差为 0，当且仅当所有数都等于平均值 μ。
翻译：全班成绩的标准差是 0 ⇔ 每个人都恰好考了平均分。
原书用一条四环的等价链搞定。下面把链条拆开——每一环都靠一个你熟悉的数学事实来保证“⇔”，你来把每个环扣上：
分类讨论
Proof by Cases把复杂证明拆成若干情形（cases）逐一击破，是最常用的策略之一。唯一的要求：情形必须穷尽所有可能。书里选的例子是组合数学的一颗明珠——
任给两个人，要么他们认识，要么不认识。若一群人两两认识，叫一个俱乐部（club）；若两两不认识，叫一群陌生人（strangers）。
任意 6 个人中，必存在 3 人互相认识（三人俱乐部），或 3 人互不相识（三人陌生组）。
换句话说：你想给 6 人之间的 15 条“关系线”涂上红（认识）/蓝（不认识），却永远躲不开一个同色三角形。不信？亲自试试逃：
反证法
Proof by Contradiction反证法（proof by contradiction / indirect proof）：假设命题 P 为假，然后推出一个已知为假的事实（逻辑矛盾）——既然“P 为假”会引爆矛盾，P 就只能为真。
1. 宣布“用反证法”；2. “假设 P 为假”；3. 推出矛盾；4. “矛盾！故 P 为真”。
用它审的第一桩大案，是数学史上最有名的判决之一：
√2 是无理数（不能写成两个整数之比）。
下面是原书的完整证明，一行一行来。别划走——中间有两道关卡，答对才放行：
整个证明的灵魂藏在第一行的“最简分数”三个字里——最后引爆的矛盾（n、d 都含因数 2）全靠它。光读不够，亲手找找那个“不存在的分数”：
Manim 短片 · 无限逼近，永不重合：a² 与 2b² 两条 bar 从 (1,1) 追到 (17,12)，差距始终是 1——最接近 √2 的分数们，恰好都是"差一点"。
诚实声明：证明第三行用了“n² 是偶数 ⇒ n 是偶数”（原书习题 1.15 引导你自证）；“n² 是 4 的倍数 ⇒ 2d² 是 4 的倍数 ⇒ d² 是偶数”同理。这正是 1.3 节说的：用高中数学当公理，但用在哪要坦诚。
好证明的实践
Good Proofs in Practice机械上无误的证明可以长得像天书；但数学要有人懂才算数。好证明 = 正确 + 清晰，而且清晰会反过来保护正确——错误更难藏。原书给了九条写作建议（把证明当程序来写：长证明拆引理，就像长程序拆函数），做成卡片，先猜再翻：
实战假证明诊所（Bogus Proofs）
原书 Throughout 都埋着假证明（bogus proofs）：看着像证明，其实某一步偷换了不合法的操作。抓虫能力 = 自查能力。两桩悬案，你来指出第一处出错的行：
悬案三（原书习题 1.5）：均值不等式的“倒推证明”哪里不对？
要证 (a+b)/2 ≥ √(ab)，有人这样“证”：
(a+b)/2 ≥ √(ab) ⇐ a+b ≥ 2√(ab) ⇐ a² + 2ab + b² ≥ 4ab ⇐ (a−b)² ≥ 0 ✓
最后一行确实为真，可这不是证明：箭头方向反了。每一行只是“能推出上一行“（⇐），从真命题倒着推回来，等于什么也没证——除非你逐行声明”此步可逆“并把箭头翻成正向。这是”由果溯因“草稿最经典的翻车姿势。
终局自测
Final Check六题，覆盖全章。答错不扣分——每题都有讲解。
彩蛋与课后挑战
Easter Eggs & Problems惊喜测验悖论（原书习题 1.1）
Albert 向学生宣布：下周某天会有一场“惊喜测验”。学生们推理：不可能是周五——若周四还没考，周五就成了“必然”，毫无惊喜；于是周五被划掉。照此逻辑周四、周三……直到周一也全被划掉。学生们安心了：Albert 在虚张声势。然后 Albert 在周二发卷，所有人都傻眼：这确实是个惊喜。
学生那段听起来天衣无缝的“证明”到底哪里不对？（习题 1.6 的提示：这是哲学问题，不是数学问题——“惊喜”没有精确的数学定义，公理方法管不到它。）
无字证明：毕达哥拉斯定理（原书习题 1.2）
四份全等直角三角形（直角边 a、b，斜边 c）+ 一个正方形，两种摆法，面积总量不变：
左图总面积 = 4·(ab/2) + (b−a)² = c²；右图 = 4·(ab/2) + a² + b²。面积在重排中不变，两者相等 ⇒ a² + b² = c²。习题接着追问：这个“证明”隐含使用了哪些未声明的假设？（比如：重排前后形状真的能对齐吗？a = b 时还成立吗？）——这正是 1.3 节“对假设保持坦诚”的练习。
课后挑战（均出自原书习题，可来找我判卷）
- 1.9 存在无理数 a、b 使 ab 为有理数。提示：对 √2√2 分类讨论（你会撞上一次美妙的“不知道也无妨”）。
- 1.17 把 √2 无理性的证明推广到 √3、√5……哪些 k 行，哪些不行？
- 1.18 / 1.21 / 1.22 证明 log₄6、log₉12、log₁₂18 是无理数。
- 1.25 2009 年《美国数学月刊》上 √2 无理性的另一种证明：取使 (√2 − 1)q 为非负整数的最小正整数 q……(这预告了第 2 章的良序原理)
- 1.26 证明：不存在非常数整系数多项式能只产出素数（解释了互动 ② 里 n²+n+41 的宿命）。