Proof

欢迎来到数学证明（Mathematical Proof）的世界！

你有没有想过，数学家是如何能 100% 肯定某个命题适用于世界上所有数字的？他们不是靠猜测，而是依靠证明（Proof）。在本章中，你将学会如何建立一个严密的逻辑论证。你可以把它想象成律师在法庭上辩护：你从证据（已知的事实）出发，运用逻辑推论出最终的判决（结论）。

如果起初觉得这些概念有点抽象，不用担心！一旦你掌握了不同类型证明的“配方”，你会发现这是纯数学（Pure Mathematics）中最有成就感的部分之一。

1. 什么是数学证明？

数学证明是一个形式化的论证，用以展示某个命题是永远正确的。它遵循特定的结构：
1. 假设（Assumptions）： 从我们已知正确的事实或定义出发。
2. 逻辑步骤（Logical Steps）： 一连串的推论，每一个步骤都必须清晰地由前一个步骤推导出来。
3. 结论（Conclusion）： 你最终要证明的命题。

快速重温：关键术语
- 整数（Integer）： 没有小数部分的数（例如 -2, 0, 5）。
- 偶数（Even Number）： 可以写成 \(2n\) 的形式（其中 \(n\) 为整数）。
- 奇数（Odd Number）： 可以写成 \(2n + 1\) 的形式（其中 \(n\) 为整数）。

重点提示： 证明并不是展示某个规律在几个数字上成立；它是要展示该规律在规则范围内的所有可能情况下都成立。

2. 演绎法证明（Proof by Deduction）

演绎法证明是最常用的方法。你从已知事实出发，运用代数来“推导”出结论。这就像侦探追踪线索找出犯人一样。

例子：使用配方法（Completion of the Square）

假设题目要求你证明对于所有 \(n\) 值，\(n^2 - 6n + 10\) 均为正数。

步骤 1：配方。
我们改写该表达式：\(n^2 - 6n + 10 = (n - 3)^2 - 9 + 10\)
化简后得：\((n - 3)^2 + 1\)

步骤 2：运用逻辑。
我们知道任何实数的平方永远大于或等于零。
因此，\((n - 3)^2 \geq 0\)。

步骤 3：得出结论。
如果我们给一个至少为零的数加上 1，结果必然至少为 1。
因此，\((n - 3)^2 + 1 \geq 1\)，这意味着它永远是正数。
结论： 对于所有 \(n\)，\(n^2 - 6n + 10 > 0\)。

常见错误： 许多学生只尝试代入 \(n=1\) 或 \(n=2\) 等数字。虽然这能显示规律在这些数字上成立，但这并不能证明它适用于每一个数字。你必须使用代数（如配方法）来涵盖所有情况！

重点提示： 使用代数将一般的命题转化为无懈可击的事实。

3. 穷举法证明（Proof by Exhaustion）

这个方法听起来很累人，那是因为它需要测试每一种可能性！你只能在情况数量有限且较少时才使用此方法。

类比： 如果你想证明家里每一个电灯开关都能运作，“穷举法”就是你自己走到每个房间，亲自按下每一个开关。

例子：奇整数之和

命题：证明若 \(x\) 和 \(y\) 是小于 7（且大于 0）的奇整数，则它们的和能被 2 整除。

步骤 1：列出所有可能性。
小于 7 的奇整数为 1, 3 和 5。

步骤 2：测试所有组合。
- \(1 + 1 = 2\)（可被 2 整除）
- \(1 + 3 = 4\)（可被 2 整除）
- \(1 + 5 = 6\)（可被 2 整除）
- \(3 + 3 = 6\)（可被 2 整除）
- \(3 + 5 = 8\)（可被 2 整除）
- \(5 + 5 = 10\)（可被 2 整除）

步骤 3：结论。
由于我们检查了每一种可能的组合，且结果均为偶数，命题得证。

你知道吗？ 电脑曾利用穷举法解决了著名的“四色地图定理”。当时需要检查近 2,000 种情况，这对人类来说太多了，但对电脑而言却轻而易举！

重点提示： 如果数字组别很小，直接全部测试一遍吧！

4. 反例证明（Disproof by Counter-Example）

有时候题目会要求你证明一个命题是错误的。要做到这一点，你只需要找到一个例子证明该命题不成立即可。这被称为反例（Counter-example）。

类比： 如果有人声称“所有的汽车都是红色的”，你不需要查看世界上每一辆车来反驳他。你只需要指出一辆蓝色的车就足够了。

例子：质数

命题：“表达式 \(n^2 - n + 1\) 对于所有 \(n\) 值均为质数。”

步骤 1：尝试 \(n\) 的小数值。
- 若 \(n = 1\)：\(1^2 - 1 + 1 = 1\)（注意：1 实际上不是质数，所以这已经是一个反例！）
- 若 \(n = 2\)：\(2^2 - 2 + 1 = 3\)（质数）
- 若 \(n = 3\)：\(3^2 - 3 + 1 = 7\)（质数）
- 若 \(n = 5\)：\(5^2 - 5 + 1 = 21\)

步骤 2：找出错误所在。
等等！\(21\) 不是质数，因为 \(3 \times 7 = 21\)。

步骤 3：结论。
由于该命题在 \(n = 5\) 时不成立，因此“对于所有 \(n\) 值均为质数”这个命题是错误的。

快速重温：常见反例
当寻找反例时，请务必先尝试这些“狡猾”的数字：
- 0
- 1
- 负数（例如 -1）
- 分数（介于 0 和 1 之间）

重点提示： 一个“失败”的例子就足以推翻一个普遍的数学主张。

总结检查清单

在完成本章之前，请确保你能：
- [ ] 使用演绎法（代数）证明诸如“偶数 + 偶数 = 偶数”之类的命题。
- [ ] 使用配方法来证明一个表达式永远为正数。
- [ ] 使用穷举法检查有限的数字列表。
- [ ] 找到反例来显示命题为假。

记住：证明讲求精确，最后一定要清楚写出你的结论！