欢迎来到数学证明的世界！
在你目前的数学学习之旅中，你已经解过无数的方程，画过不少图形。但你曾经停下来问过：“我们怎么知道这个结论永远成立？”
这正是证明 (Proof) 的重要性所在。在本单元（P2）中，你将学习如何从“看起来好像是对的”转变为“它 100% 一定是对的”。把自己想象成一位数学律师——你不是在猜测，而是在运用无懈可击的逻辑来建立证据！
1. 数学证明的结构
证明是一个逻辑论证，用来证明一个陈述在所有可能的情况下皆成立。它遵循一个非常明确的路径：
- 假设 (Assumptions)：从已知成立的事实（定义或定理）开始。
- 逻辑步骤 (Logical Steps)：使用代数或逻辑从一步推导到下一步。
- 结论 (Conclusion)：以你要证明的那条陈述作为结尾。
前置概念：偶数与奇数
在开始之前，你必须掌握如何用代数方式表示偶数和奇数。这在考试中是一个至关重要的“技巧”：
- 偶数 (Even number) 永远是 2 的倍数。我们将其写作 \( 2n \)。
- 奇数 (Odd number) 永远比偶数大（或小）1。我们将其写作 \( 2n + 1 \)（或 \( 2n - 1 \)）。
快速复习：要证明某数为偶数，请证明它可以写成 \( 2 \times (\dots) \) 的形式；若要证明它是奇数，请证明它可以写成 \( 2 \times (\dots) + 1 \) 的形式。
2. 穷举法证明 (Proof by Exhaustion)
别担心，这并不代表数学会让你筋疲力尽！穷举法证明只是指你“穷尽”了所有可能性。你将问题拆解为所有可能的情况，并逐一证明该陈述在每一种情况下皆成立。
何时使用？
当只有有限数量的案例需要检查时，请使用此方法。
逐步范例：
题目：假设 \( x \) 和 \( y \) 是大于 0 且小于 7 的奇整数。证明它们的和 \( x + y \) 永远能被 2 整除。
步骤 1：列出 \( x \) 和 \( y \) 的所有可能性。
这些奇整数为 {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 整除，该陈述已由穷举法证明。
常见错误：遗漏了某种情况。如果题目提到“\( x \) 和 \( y \)”，除非题目说明是“相异整数 (distinct integers)”，否则通常代表它们可以是同一个数（例如 \( 1 + 1 \)）。
3. 反例证伪 (Disproof by Counter-Example)
有时候，一个数学陈述是错误的。要证明一个陈述为假，你不需要检查所有情况，只需要找到一个不成立的例子即可。这被称为反例 (Counter-example)。
“黑天鹅”类比
如果有人说：“所有的天鹅都是白色的，”你不需要观察世界上每一只天鹅来证明他是对的。但只要你找到一只黑天鹅，你就证明了他的陈述是错的。那只黑天鹅就是你的反例！
逐步范例：
题目：证伪该陈述：“对于所有正整数 \( 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 = 5 \) 时：\( 5^2 - 5 + 1 = 21 \)
步骤 2：指出错误之处。
观察 \( n = 5 \) 时的结果是 21。我们知道 \( 21 = 3 \times 7 \)，所以 21 不是质数。
步骤 3：清晰地陈述结论。
当 \( n = 5 \) 时，\( n^2 - n + 1 = 21 \)，这并非质数。因此，该陈述透过反例证明为假。
你知道吗？你只需要一个反例，就能推翻一个在数百万种其他情况下皆成立的理论！
4. 直接证明 (Direct Proof / Deduction)
虽然课程大纲强调穷举法和反例，但你还需要理解证明的基本结构。这通常涉及运用代数来证明某事在一般情况下永远为真。
范例：证明两个奇数的乘积永远是奇数。
步骤 1：定义你的数字。
设第一个奇数为 \( 2n + 1 \)，第二个奇数为 \( 2m + 1 \)。
步骤 2：将它们相乘。
\( (2n + 1)(2m + 1) = 4nm + 2n + 2m + 1 \)
步骤 3：提取 2 作为公因数。
\( 2(2nm + n + m) + 1 \)
步骤 4：得出结论。
由于结果的形式为 \( 2(\text{整数}) + 1 \)，因此其乘积必定为奇数。
总结检查清单
- 证明 (Proof)：达到结论的一连串逻辑步骤。
- 穷举法证明 (Proof by Exhaustion)：测试每一种可能的情况（仅适用于有限集合）。
- 反例 (Counter-example)：找到一个不符合规则的情况，即可证明整个陈述为假。
- 关键术语：整数 (Integer)、有理数 (Rational)、恒等式 (Identity)（对所有数值皆成立的式子）。
最后小贴士：完成证明后，传统上会写上 Q.E.D. 或者画一个小方块 \( \square \)。它代表拉丁文 "Quod Erat Demonstrandum"，意思是：“我已经证明了我所要证明的内容！”你一定没问题的！