证明——从"我觉得对"到"必然对"

小学生的回答

"1+3=4 是偶数，3+5=8 是偶数，7+9=16 是偶数——所以奇数+奇数=偶数。"

直觉知道"试了几个例子"和"保证永远对"之间有差距——但怎么填补这个差距，需要从"我觉得"升级为"逻辑必然"。

公理——不证自明的起点

任何证明体系都需要一个起点——你不能无限制地"证明这是因为那、那这是因为那……"

欧几里得的五条公理（适用于所有数学）和五个公设（适用于几何）：

• 公理1：等于同一个量的两个量相等
• 公理2：等量加等量，和相等
• 公理3：等量减等量，差相等
• 公理4：彼此重合的东西相等
• 公理5：整体大于部分
• 第五公设（平行公设）：过直线外一点，有且只有一条直线与已知直线平行

公理不是"证明出来的"——它们是不可证明的起点。如果连公理都需要证明，那就无穷后退。2000年后数学家发现：改变第五公设→ 得到了非欧几何（球面几何、双曲几何）——说明公理不是"绝对真理"，只是"我们选定作为起点的假设"。

证明的结构——三段论

任何证明的基本单元是三段论：

1. 大前提：所有矩形都是平行四边形
2. 小前提：正方形是矩形
3. 结论：正方形是平行四边形

如果大前提和小前提都真，结论必然真。欧几里得的几何原本就是几千个三段论串起来。每一句证明要么是"已知条件"，要么是"由之前步骤推出的结论"，要么是"由公理直接得出"。

回到奇数问题——证明 vs 举例

• 举例：1+3=4, 3+5=8, 5+7=12, 7+9=16, … 都是偶数。能证明"所有奇数相加都是偶数"吗？不能——奇数有无穷多个
• 证明：任何奇数可以写成 2k+1（k 是整数）。两个奇数： (2k₁+1)+(2k₂+1) = 2(k₁+k₂+1) = 2×整数 = 偶数。

证明就这几行——不需要试任何一个具体例子。这就是"必然对"和"我试过都对"的区别。

反证法——假设结论错，然后推出矛盾

√2 是无理数的证明（前面在数树里出现过）就是反证法的经典案例：

1. 假设 √2 不是无理数（即 √2 = p/q 是最简分数）
2. 两边平方 → 2 = p²/q² → 2q² = p² → p 是偶数
3. 设 p = 2k → 2q² = 4k² → q² = 2k² → q 也是偶数
4. p 和 q 都是偶数 → 跟"最简分数"（p 和 q 没有公因数）矛盾
5. 所以假设不成立 → √2 不是有理数

反证法是数学中最有力的武器之一。你不需要直接证明"P 成立"——只需要证明"如果 P 不成立，世界会崩塌"。它的逻辑基础：一个命题要么真要么假，如果假导致矛盾，它就必须真。

数学归纳法——用有限步证明无限个命题

想证明"前 n 个奇数的和 = n²"对于所有正整数 n 都成立：

• 基础步骤：n=1 时，前1个奇数的和 = 1 = 1² ✓
• 归纳步骤：假设 n=k 时成立（前k个奇数的和 = k²），那么前 k+1 个奇数的和 = k² + (2k+1) = (k+1)² ✓

证明完成。它的逻辑像多米诺骨牌：你推倒了第一块（基础步骤），然后证明了每一块倒下都会推倒下一块（归纳步骤）。数学归纳法的威力：你只花了2步，就证明了无穷多个命题。

构造性证明——做出来就是证明

有些证明通过直接构造出例子来证明存在性。比如：证明"存在无理数 a、b 使得 aᵇ 是有理数"。

构造：取 a = √2, b = √2。如果 √2^√2 是有理数，证毕。如果 √2^√2 是无理数，那么取 a = √2^√2, b = √2，则 (√2^√2)^√2 = (√2)^(√2·√2) = (√2)² = 2，是有理数。

不论哪种情况，都找到了存在需要的无理数。这个证明没有确定你到底属于哪种情况——但它证明了至少有一种情况成立。这就是构造性证明。

公理系统的三个要求

欧几里得几何是完备的吗？平行公设独立于其他公理——不能从其他公理推出，也不能被否定。这说明有些命题在公理系统中是不可判定的。希尔伯特在1900年问：能不能找到一个一致且完备的公理系统覆盖全部数学？

哥德尔不完备定理——数学的天花板

1931年，25岁的哥德尔用天才的构造证明了两个定理：

• 第一不完备定理：任何包含算术的一致公理系统，都存在一个真命题，在系统内既不能证明也不能证伪
• 第二不完备定理：任何这样的系统不能在其内部证明自己的一致性

哥德尔的构造思路（极度简化）：构造一个命题 P，P 说的是"P 不能被证明"。如果 P 能被证明 → P 说它不能被证明 → 矛盾。如果 P 不能被证明 → 那么 P 就是真的（因为 P 说的正好是"P 不能被证明"）。所以 P 是真的但不可证明。

这跟"这句话是假话"的悖论类似，但哥德尔把它翻译成了严格的数学语言——他发明了一种编码（哥德尔数），让数学命题可以引用自身。

不完备定理对数学意味着什么

• 数学永远不完整：总是存在"真的但证不了"的命题。数学不是封闭的——它在不断扩展中
• 不能证明自己没问题：你不能指望一个系统自己证明自己一致——你需要更强的外部系统
• 这不是数学的失败：这是数学的深刻——它不需要绝对真理来运行。数学仍然可以做出无比精确的预测，只是它有固有的边界

哥德尔的定理跟海森堡的不确定关系、图灵的停机问题处于同一层级——它们都揭示了某些事物存在根本性的不可知边界。

四色定理——第一个计算机辅助证明

四色定理（1852年提出）：任何地图只需要四种颜色就能让相邻区域颜色不同。一个简单到小孩能理解的问题。

1976年，Appel 和 Haken 用计算机检查了1936种不可简化的构型——每种都要验证大量子情况。总计算时间约1000小时。

很多数学家不满意："这算证明吗？没有人能自己验证。计算机可能出错。"但四色定理最终还是被接受了——因为它开启了"证明"的新定义：可被机器验证的推理链也是合法的证明。

形式化证明——人类写思路，机器查步骤

为什么需要形式化证明？

• 复杂证明（如费马大定理的证明约200页）可能有隐藏的错误——形式验证能确保所有细节正确
• 证明助手可以处理人类难以应付的大量情况枚举
• 形式化本身有助于发现新的数学结构

证明的未来——AI参与证明

传统上，证明的每一步都需要人类想出"下一步走什么"。但机器学习正在改变这一点：

• 自动定理证明：程序自动搜索证明路径——在有限领域内已经很强
• AI辅助证明：人类写思路框架，AI填充具体的推理步骤
• 证明验证：证明助手机器检查人类或AI写出的完整证明

2023年，一个AI系统独立发现了新的数学定理。但哥德尔不完备定理仍然有效——总存在机器和人类都证明不了的数学真理。证明不是"变简单了"——只是从人类独自战斗变成了人机协作。