Proof

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

在你目前的数学学习历程中，你已经解过数百条方程，画过数十个图表。但你有没有停下来问过：“我们如何得知这些规则对于每一个数字都确实成立？”

这就是证明（Proof）派上用场的时候了！证明是数学的核心。它是一个运用逻辑来展示一个陈述（statement）在任何情况下都百分之百正确的过程。在纯数学 2 (Pure Mathematics 2, P2) 的这一章中，我们将学习如何建立扎实的论证，以及如何拆解一个站不住脚的论点。

如果这看起来比其他数学课题“文字化”许多，别担心。一旦你看出了当中的规律，它就会变成一个非常有成就感的谜题！

1. 数学证明的结构

数学证明就像食谱或法律辩论。你不能直接跳到结尾；你必须遵循特定的逻辑步骤才能抵达目标。每个证明通常都遵循这个流程：

1. 假设（Assumptions）： 从你已知为真的事实或定义开始。
2. 逻辑步骤（Logical Steps）： 运用代数和逻辑从一步推导至下一步。
3. 结论（Conclusion）： 得出你试图证明的陈述。

必须知道的关键术语

• 陈述（Statement）： 一个数学句子，其要么为真，要么为假（例如：“两个偶数之和为偶数”）。
• 猜想（Conjecture）： 我们认为是真的，但尚未被证明的数学陈述。
• 定理（Theorem）： 已经被证明为真的陈述。

快速复习：基础知识

在我们开始进行证明之前，先记住我们常用的两个定义：
• 偶数（Even Number）可以写成 \( 2n \)，其中 \( n \) 为整数。
• 奇数（Odd Number）可以写成 \( 2n + 1 \)，其中 \( n \) 为整数。

重点： 证明只是一座逻辑桥梁，用来连接“我们已知的的东西”与“我们想要展示的东西”。

2. 穷举法（Proof by Exhaustion）

这听起来很累人，对吧？但穷举法实际上只是指“检查每一个可能性”。

当只有有限数量的案例需要检查时，我们就会使用这种方法。如果你检查了每一个案例，且该陈述在所有案例中皆成立，那么整个陈述就得证了。

类比：走廊与门

想象你在一条只有五扇门的走廊里。如果你想证明“这条走廊的每一扇门都锁上了”，你只需要走到每一扇门前试着打开它们。一旦你检查完这五扇门，你的证明就完成了！

示例：课程挑战

证明：若 \( x \) 和 \( y \) 是 \( x < 7 \) 且 \( y < 7 \) 的奇整数，则它们的和能被 2 整除。

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

第 2 步：测试 \( x \) 和 \( y \) 的每一种组合。
• \( 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 步：得出结论。
由于我们检查了每一种可能的组合，且其和皆为偶数，该陈述已通过穷举法得证。

避免常见错误

最常见的错误就是遗漏了某个案例。如果有 6 种可能的组合，而你只检查了 5 种，你的证明就是无效的！务必先列出清单，以确保没有遗漏。

重点： 当可能性数量少到可以逐一列出并检查时，请使用穷举法。

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 \)。(不是质数！\( 3 \times 7 = 21 \))

第 2 步：提出你的反例。
“当 \( n = 5 \) 时，\( n^2 - n + 1 = 21 \)。由于 21 不是质数，该陈述为假。”

重要提示：保持简单！

如果你发现了一个很大的反例也不必担心，但通常考官设计题目时，会让小数字（如 0、1、2 或 5）就能奏效。请务必先从最简单的数字开始测试！

重点： 你不需要解释为什么一个陈述通常是错的；你只需要展示一个它不成立的实例即可。

单元 P2 证明总结

• 数学证明运用逻辑步骤和明确的定义（例如用 \( 2n \) 表示偶数）。
• 穷举法意味着检查每一个案例。它只适用于案例数量很少的情况。
• 反例证伪法是推翻错误主张最快的方法。只要找到一个不成立的案例，该陈述就被正式推翻了。
• 在结论中务必保持清晰。清楚陈述你证明了什么！

继续练习吧！证明是一项技能，只要你越常“说”逻辑的语言，它就会变得越容易。你一定做得到的！