欢迎来到数学证明世界！
你有没有想过，我们是如何百分之百确定一条数学规则在任何情况下都成立的呢？我们不是靠“猜”或者“希望”它正确，而是依靠证明 (Proof)。你可以把证明想像成一张逻辑导航图：它带领我们从起点（我们已知的事实）出发，经过一步步坚不可摧的推论，抵达终点（得出新结论）。在本章中，你将学习如何成为一名数学“律师”，建立起无懈可击的论证！
1. 证明的基石
在开始“搭建”证明之前，我们需要准备工具。一个数学证明通常遵循特定的结构：
1. 假设 (Assumptions)： 这是我们已知的起始事实（例如“设 \(n\) 为一个偶数”）。
2. 逻辑步骤 (Logical Steps)： 一连串的推理过程，每一步都必须自然地由前一步推导出来。
3. 结论 (Conclusion)： 你成功证明后的最终陈述。
重点复习：关键术语
- 命题 (Statement)： 一句非真即假的语句（例如“7 是一个质数”）。
- 变量 (Variable)： 代表可以改变数值的字母（如 \(x\) 或 \(n\)）。
- 常数 (Constant)： 数值固定不变的数（如 \(5\) 或 \(\pi\)）。
- 恒等式 (Identity) \(\equiv\)： 对于变量的所有数值均成立的语句。它就像一个超级等号！
重要总结
证明并不是单纯展示某个规则适用于几个数字；它是一个逻辑论证，证明该规则适用于每一个可能的情况。
2. 演绎证明 (Proof by Deduction)
演绎证明是最常用的方法。你从已知事实出发，利用代数“演绎”出结果。这就像跟随食谱：只要配料正确且步骤无误，就一定能做出同样的蛋糕。
例子：证明任何两个偶数之和必为偶数。
逐步解释：
1. 定义数值： 任何偶数都可以写成 \(2n\)，其中 \(n\) 为整数。设我们两个偶数分别为 \(2m\) 和 \(2k\)。
2. 将它们相加： \(2m + 2k\)。
3. 因式分解： 我们可以提出 2，得出 \(2(m + k)\)。
4. 得出结论： 由于 \(m + k\) 亦为整数，因此任何形式为 \(2 \times (\text{整数})\) 的数必然是偶数。证明完成！
如果一开始觉得困难，别担心！ 其中的“诀窍”往往在于找出正确的数字表达方式。以下是一个实用的记忆小撇步：
记忆辅助：如何在证明中表达数字
- 偶数： \(2n\)
- 奇数： \(2n + 1\) (或 \(2n - 1\))
- 连续整数： \(n, n+1, n+2\)...
重要总结
在演绎证明中，你使用代数将起点转化为终点。只要能证明最终结果符合偶数或奇数的“形式”，你就成功了！
3. 穷举证明 (Proof by Exhaustion)
有时候，代数推导太复杂，但需要检查的情况却很少。穷举证明是指测试每一个可能的情况，直到没有剩余为止。之所以称为“穷举”，是因为如果情况很多，过程会相当累人！
比喻： 想像你要证明一个只有五个人的小教室里，每个学生都穿着鞋子。与其运用复杂的理论，你只需要看看学生 1、学生 2，以此类推直到 5。一旦你检查完所有人，你就证明完毕了！
例子：证明对于 \(n = 1, 2, 3\)，\(n^2 + 2\) 都不能被 4 整除。
- 情况 1：若 \(n = 1\)，\(1^2 + 2 = 3\)。(3 不能被 4 整除)。
- 情况 2：若 \(n = 2\)，\(2^2 + 2 = 6\)。(6 不能被 4 整除)。
- 情况 3：若 \(n = 3\)，\(3^2 + 2 = 11\)。(11 不能被 4 整除)。
所有情况都已检查完毕，因此该命题得证。
常见错误： 学生常会遗漏某种情况。如果题目要求证明适用于“所有整数”，你通常不能使用穷举法，因为整数有无限多个！
重要总结
只有在情况数量少且有限时才使用穷举法。请务必列出并检查每一种情况。
4. 反例证明 (Disproof by Counter-Example)
在数学中，一个规则要被视为“真”，它必须在 100% 的情况下都成立。如果你能找到哪怕一个不适用的例子，整个规则就会被推翻。这就是所谓的反例 (Counter-example)。
你知道吗？ 你不需要复杂的理由来推翻一个命题。只要找到一个反例，就足以胜出这场辩论！
例子：推翻“所有质数都是奇数”的命题。
- 反例： 数字 2。
- 解释： 2 是一个质数，但 2 是偶数。因此，该命题是错误的。
寻找反例的步骤：
1. 观察命题（例如“任何数的平方都大于该数本身”）。
2. 尝试“非典型”数字，例如 0、1、负数或分数。
3. 测试：若 \(n = 0.5\)，则 \(n^2 = 0.25\)。由于 \(0.25\) 并不大于 \(0.5\)，命题已被推翻！
重要总结
要证明命题为真，你需要完整的论证（演绎或穷举）。要证明命题为假，你只需要一个反例。
5. 批判性审视论证
课程大纲也要求你能够“评论”或判断他人的证明。在审视一个证明时，请试问自己：
- 语言是否精确？（他们是否正确使用系数 (coefficient)、项 (term) 和表达式 (expression)？）
- 每一步推论是否真的能引导至下一步？
- 他们是否使用了正确的符号，例如恒等式符号 \(\equiv\)？
重点复习方块
- 演绎证明： 利用代数/逻辑证明它永远成立。
- 穷举证明： 逐一检查每一种情况。
- 反例证明： 找出一个不适用的例子来推翻整个命题。
如果证明题感觉与数学的其他部分不同，请不要气馁。你正在学习一种全新的思维方式！请持续练习“偶数/奇数”的代数设定，因为这些在 Paper 1 中非常常见。