Proof

欢迎来到数学证明世界！

在大多数科目中，我们寻求证据来判断某事是否可能正确。在数学中，我们更进一步：我们使用证明 (Proof) 来确认某事在任何情况下皆为真，不容置疑。将证明想象成一场法律诉讼，而你是律师，正运用冷静、严谨的逻辑说服陪审团，证明你的论点百分之百正确。
如果起初觉得这些概念有点抽象，别担心！我们将其拆解为四种简单的工具，你可以利用这些工具解决 MEI H640 考试中任何关于“证明…… (Prove that...)”的题目。

1. 基础概念：什么是证明？

数学证明是一种正式的方式，用以展示一个陈述（称为猜想 (Conjecture)）是正确的。它遵循一套非常具体的结构：

• 假设 (Assumptions)：我们在开始时已知或假定为真的条件（例如：“设 \(n\) 为一偶整数”）。
• 逻辑步骤 (Logical Steps)：一系列推理，其中每一步都自然地从前一步推导出来。
• 结论 (Conclusion)：证明原始观点的最终陈述。

重点速查：关键术语
陈述 (Statement)：一个不是“真”就是“假”的句子。
猜想 (Conjecture)：一个被认为正确，但尚未被证明的数学陈述。
定理 (Theorem)：一个已被证明为真的猜想！

2. 演绎证明 (Proof by Deduction)

这是最常见的证明类型。你从已知事实出发，运用代数“演绎”出结果。这就像依照食谱烹饪一样——只要步骤正确，就一定会得到正确的结果。

范例：证明任何两个偶数之和必为偶数。

步骤 1：定义变量。
设第一个偶数为 \(2m\)，第二个偶数为 \(2n\)，其中 \(m\) 和 \(n\) 为整数。
（记忆小撇步：任何偶数都可以写成 \(2 \times\) 某个数！）

步骤 2：进行运算。
和 = \(2m + 2n\)

步骤 3：显示其符合定义。
提取公因数 2：\(Sum = 2(m + n)\)
由于 \(m + n\) 是整数，因此 \(2(m + n)\) 必定为一个偶数。

步骤 4：结论。
因此，两个偶数之和必为偶数。

常见错误：不要仅使用具体数字（例如 \(2 + 4 = 6\)）来证明一般规则。这只是举例 (illustration)，并非证明 (proof)。你必须使用 \(n\) 和 \(k\) 之类的字母来代表所有可能的数字。

核心重点：演绎证明使用代数直接从起点推导至终点。

3. 枚举证明 (Proof by Exhaustion)

这个方法听起来很累人，但其实很简单！枚举意味着你要测试每一个可能性，直到没有剩余情况为止。这仅适用于情况数量少且有限的情形。

类比：如果你想证明小房间里的每个人都穿着鞋子，你只需要检查每个人的脚。一旦检查完所有人，证明就“枚举”完毕了。

范例：证明对于 \(n \in \{1, 2, 3\}\)，\(n^2 + 2\) 不能被 4 整除。

情况 1：若 \(n = 1\)，\(1^2 + 2 = 3\)（不能被 4 整除）。
情况 2：若 \(n = 2\)，\(2^2 + 2 = 6\)（不能被 4 整除）。
情况 3：若 \(n = 3\)，\(3^2 + 2 = 11\)（不能被 4 整除）。
由于我们已经检查了 \(n\) 的所有可能值，该陈述得证。

核心重点：当你可以将问题拆解为几个可控的情况时，使用枚举证明。

4. 反证法：反例 (Disproof by Counter-example)

数学是非常严谨的。一个规则要成立，它必须始终成立。要推翻一个猜想，你只需要找到一个不适用的例子。这称为反例 (Counter-example)。

类比：如果有人说“所有鸟类都会飞”，你只要指出企鹅的存在就能证明他们错了。你不需要找出每一种不会飞的鸟，只需要一个就足够了！

范例：推翻“所有质数皆为奇数”的猜想。

反例：数字 2 是质数，但它是偶数。
因此，该猜想为假。

核心重点：一个反例就足以击破一个数学论点。

5. 归谬法 (Proof by Contradiction)

这是证明中的“特务”。它的思维有点反向！为了证明某事为真，你先假设它是假的，然后证明这会导致一个不可能的结果（即矛盾 (Contradiction)）。

运作方式：
1. 假设与你要证明的内容相反的情况。
2. 使用逻辑步骤进行推导，直到得出一个完全荒谬的结果（例如 \(1 = 0\)，或得出一个数字既是偶数又是奇数）。
3. 由于逻辑本身不会出错，说明你的最初假设肯定是错的！
4. 因此，原来的陈述必定为真。

两大“经典”归谬法（MEI H640 必考）

A. 证明 \(\sqrt{2}\) 是无理数

1. 假设：假设 \(\sqrt{2}\) 是有理数。这意味着它可以写成最简分数 \(\frac{a}{b}\)（其中 \(a\) 和 \(b\) 没有公因数）。
2. 代数运算：\(\sqrt{2} = \frac{a}{b} \implies 2 = \frac{a^2}{b^2} \implies 2b^2 = a^2\)。
3. 推论：这意味着 \(a^2\) 是偶数，所以 \(a\) 必定是偶数。设 \(a = 2k\)。
4. 更多运算：将 \(a = 2k\) 代入：\(2b^2 = (2k)^2 \implies 2b^2 = 4k^2 \implies b^2 = 2k^2\)。
5. 冲突：这意味着 \(b^2\) 是偶数，所以 \(b\) 必定是偶数。
6. 矛盾：我们原先假设 \(\frac{a}{b}\) 是最简分数，但我们刚证明了 \(a\) 和 \(b\) 都是偶数（所以它们都能被 2 整除！）。
7. 结论：我们的假设是错误的，因此 \(\sqrt{2}\) 必定是无理数。

B. 证明质数有无穷多个

1. 假设：假设质数的数量是有限的，列表为：\(p_1, p_2, ..., p_n\)。
2. 逻辑：设想一个新数字 \(N = (p_1 \times p_2 \times ... \times p_n) + 1\)。
3. 矛盾：如果你用任何“已知”的质数去除 \(N\)，余数永远是 1。这意味着要么 \(N\) 本身是质数，要么它有一个不在我们列表中的质因数。
4. 结论：永远存在另一个质数，因此质数的数量有无穷多个。

你知道吗？这个质数证明最初是由欧几里得在 2,000 多年前写下的！至今它仍被认为是历史上最优美的证明之一。

核心重点：归谬法通过展示相反情况的不可能性来证明一个陈述。

学生总结清单

• 我能将偶数定义为 \(2n\)，将奇数定义为 \(2n+1\) 吗？
• 我清楚何时该使用枚举法（情况较少时）与演绎法（一般情况）吗？
• 我有在寻找那个能推翻理论的单一反例吗？
• 我能重现证明\(\sqrt{2}\) 为无理数的逻辑步骤吗？
• 我记得在证明结束时写下清晰的总结陈述吗？

继续练习吧！证明是一项熟能生巧的技能，当你见过的“逻辑路径”越多，它就会变得越容易。你一定能做到的！