欢迎来到数学证明（Mathematical Proof）的世界！
你有没有试过跟别人争论，明明心里知道自己是对的，但却必须一步一步解释“为什么”，才能说服对方？这正是数学证明（mathematical proof）的精髓！在纯数（Pure Mathematics, XPM01）的世界里，证明是真理的黄金标准。我们不能只说某个理论“通常有效”；我们想要展示的是，它在任何情况下都必然成立。
在这一章中，我们将学习如何建立逻辑论证，并掌握两种处理数学命题的特定方法：穷举法（Proof by Exhaustion）和反证法（Disproof by Counter-Example，又称反例法）。别担心，刚开始接触这些概念可能会觉得有点抽象——一旦你看懂了当中的规律，解题就像拼图一样有趣！
1. 证明的逻辑
证明是一种将数学命题显示为正确的形式化方法。为了做到这一点，我们需要遵循特定的路径：
1. 假设（Assumptions）： 从你已知正确的事实开始（例如偶数的定义）。
2. 逻辑步骤（Logical Steps）： 利用代数或逻辑推演，一步步由已知推向未知。
3. 结论（Conclusion）： 导出你想要证明的最终命题。
重点复习：必须记住的术语
• 整数（Integers）： 像 \(... -2, -1, 0, 1, 2 ...\) 这样的数。
• 偶数（Even Numbers）： 可写成 \( 2n \) 的形式（其中 \( n \) 为整数）。
• 奇数（Odd Numbers）： 可写成 \( 2n + 1 \) 或 \( 2n - 1 \) 的形式。
• 连续整数（Consecutive Numbers）： 按顺序排列的数，如 \( n \) 和 \( n + 1 \)。
核心要点： 一个证明就是一条逻辑链。只要链上的每一环都坚不可摧，你的结论就是已证明（proven）的！
2. 穷举法（Proof by Exhaustion）
想象一下，你手里有一个装着 5 颗彩色弹珠的小袋子，你想证明它们全是蓝色的。最简单的方法是什么？把每一颗弹珠都拿出来检查一遍。这就是穷举法。
在数学中，当我们只有有限数量的个案需要检查时，就会使用这种方法。你需要测试每一种可能性，以证明该命题对所有情况都成立。
例子：奇整数之和
问题：假设 \( x \) 和 \( y \) 为大于 0 且小于 7 的奇整数。请利用穷举法证明，它们的和 \( x + y \) 永远为偶数。
第 1 步：列出所有可能的值。
由于数值必须是奇数且介于 0 和 7 之间，因此 \( x \) 和 \( y \) 的可能值为：\( \{1, 3, 5\} \)。
第 2 步：测试所有组合。
• 个案 1： \( 1 + 1 = 2 \)（偶数）
• 个案 2： \( 1 + 3 = 4 \)（偶数）
• 个案 3： \( 1 + 5 = 6 \)（偶数）
• 个案 4： \( 3 + 3 = 6 \)（偶数）
• 个案 5： \( 3 + 5 = 8 \)（偶数）
• 个案 6： \( 5 + 5 = 10 \)（偶数）
（注：我们不需要检查 \( 3 + 1 \)，因为这与 \( 1 + 3 \) 的结果相同。）
第 3 步：结论。
既然我们已经检查了每一种可能的组合，且结果始终为偶数，该命题已得证！
常见错误： 遗漏了其中一个个案！如果你漏掉任何一种可能性，你的证明就不是“穷举”的，这是不完整的。
核心要点： 当你需要测试的项目数量很少且容易处理时，请使用穷举法。
3. 反证法（Disproof by Counter-Example）
如果有人对你说：“世界上每个人都喜欢吃巧克力”，为了证明他是错的，你需要采访地球上的每一个人吗？不需要！你只需要找到一个人是不喜欢吃巧克力的就够了。
这就是反证法（反例法）。在数学中，要证明一个命题是错误的，你只需要提供一个该命题失效的例子即可。
例子：质数（Prime Numbers）
问题：请反证以下命题：“对于所有正整数 \( n \)，\( n^2 - n + 1 \) 都是质数。”
第 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 = 4 \)： \( 4^2 - 4 + 1 = 13 \)。 （质数）
第 2 步：找出一个明确的失败例子。
让我们试试 \( n = 11 \)：
\( 11^2 - 11 + 1 = 121 - 11 + 1 = 111 \)。
111 是质数吗？检查一下： \( 1 + 1 + 1 = 3 \)，所以 111 可以被 3 整除（\( 3 \times 37 = 111 \)）。因此，111 不是质数。
第 3 步：清晰地写出结论。
“当 \( n = 11 \) 时，\( n^2 - n + 1 = 111 \)，其并非质数。因此，该命题为假。”
你知道吗？
在数学中，“所有”代表 100% 的情况。即使一个规则对十亿个数字都有效，只要它在“十亿零一个”数字上失败了，整个命题就会被视为错误！
核心要点： 要反证一个命题，你不需要一长串的代数推导。你只需要找出一只“黑天鹅”——一个能打破规律的例子即可。
4. 总结与成功秘诀
快速策略指南：
• 如果题目要求你“证明...（Prove that...）”并且给你一个有限的数字范围，请使用穷举法。
• 如果题目要求你“反证...（Disprove that...）”或“证明该命题是不正确的...”，请寻找一个反例。
• 当你需要寻找反例时，请优先尝试代入 0、1、2 或负数。这些数字通常是最容易打破规则的地方！
最后的鼓励：
证明过程就像是在当数学侦探。你在寻找证据来支持真理，或者揭露谎言。请保持耐心，清晰地列出你的个案，并务必解释为什么你的最终结果确认或推翻了开头的命题。你一定做得到的！