欢迎来到数学证明（Mathematical Proof）的世界！
在过去的数学学习中，你大部分时间都在解题以求出一个“数值”。但在纯数二（P2）的证明章节里，我们的焦点将会改变。与其只求出答案，我们将学习如何保证一个命题在任何情况下都成立（或指出它为何错误）。
你可以把数学证明想象成律师在法庭上进行辩论。你不能只说“我觉得它是对的”，你需要提供一连串的逻辑步骤，从我们已知为真的前提（假设）出发，最后导出一个坚实的结论。如果一开始觉得这种“数学逻辑”有点抽象，不用担心，这是一项你通过练习就能愈来愈熟练的技巧！
1. 什么是数学证明？
证明是一种逻辑论证，用以显示一个数学命题对所有可能的情况都成立。在你的 IAL P2 考试中，你需要学会如何运用清晰、分步骤的推理来建立这些论证。
预备知识检测：你需要知道的数
在开始之前，我们先厘清一些基本词汇：
• 整数 (Integers)： 即没有小数部分的数（例如 \( -2, 0, 5, 100 \)）。
• 偶数 (Even Numbers)： 任何可以写成 \( 2n \) 的数，其中 \( n \) 为整数。
• 奇数 (Odd Numbers)： 任何可以写成 \( 2n + 1 \)（或 \( 2n - 1 \)）的数。
• 质数 (Prime Numbers)： 大于 1 且只有两个因数的数，即 1 和它本身（例如 \( 2, 3, 5, 7, 11 \)）。
2. 枚举证明法 (Proof by Exhaustion)
这可能是最直观的证明方法。枚举证明法意味着你需要测试每一种可能的情况，以显示该命题对所有情况皆成立。
比喻： 想象有人说：“这个房间里所有的电灯开关都能用。”为了用枚举法证明这一点，你会走遍房间，把每一个开关逐一按下去。如果它们都能开灯，你就证明了该命题！
例题：奇整数之和
课程例题：假设 \( x \) 和 \( y \) 是小于 7 的奇整数。证明它们的和必定能被 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 整除，该命题即得证。
快速复习：何时使用枚举法？
当只有少量的情况需要检查时，才使用此方法。如果题目要求“对于所有实数”，你就不能使用枚举法，因为实数有无穷多个！
3. 反例证伪法 (Disproof by Counter-Example)
有时候，你不是要证明某事为真，而是要证明它是错误的。这称为反证（Disproof）。
要证明一个命题为假，你只需要找到一个例子证明它不成立即可。这个单一例子称为反例 (Counter-example)。
比喻： 如果有人声称：“这所学校的每个学生都戴眼镜”，你不需要检查每一个学生来证明他是错的。你只需要找到一位不戴眼镜的学生。那位学生就是你的反例。
例题：质数公式
课程例题：证明“对于所有 \( n \) 的值，\( 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 = 4 \)：\( 4^2 - 4 + 1 = 13 \)（质数）
• 若 \( n = 5 \)：\( 5^2 - 5 + 1 = 21 \)。(啊哈！\( 21 = 3 \times 7 \)，所以它不是质数)。
步骤 2：清晰陈述结论。
“当 \( n = 5 \) 时，\( n^2 - n + 1 = 21 \)。由于 21 不是质数，因此该命题为假。”
你知道吗？
在数学中，即使一条规则对一万亿个数都成立，但只要它在第一万亿零一个数时失败，整条规则就被视为错误。数学对真理的要求是非常严格的！
4. 常见错误避坑指南
1. 使用单一例子来“证明”： 你可以使用一个例子来证伪（反例），但你不能使用一个例子来证明一般规则。例如，显示 \( 2 + 4 = 6 \) 并不能证明“任意两个偶数之和为偶数”。你需要更一般的代数证明才能完成。
2. 枚举法遗漏情况： 如果你在枚举证明中忘记检查哪怕一种可能性，你的证明就是不完整的，这会导致失分。
3. 假设规律会一直持续： 不要因为公式对 \( n = 1, 2, 3 \) 成立，就假设它对所有 \( n \) 都成立。请务必看清题目要求你进行证明还是证伪。
5. 总结与重点摘要
• 数学证明： 一连串逻辑步骤，用以显示一个命题永远为真。
• 枚举证明法： 将问题拆解为所有可能的情况并逐一测试。最适合数值数量较少的情况。
• 反例证伪法： 只要找到一个不成立的情况，就能证明整个命题为假。
• 精确性： 使用明确的标签（例如“情况 1”、“情况 2”），并务必以“因此，该命题为真/假”作为结尾。
如果这看起来有点抽象，别担心！证明与你之前做的代数题相比，是一种截然不同的思考方式。记住：枚举法 = 检查所有情况；反例 = 找出一个错误。你一定能做到的！