欢迎来到证明这一章！

你好，未来的数学家！证明可以说是纯数学（Pure Mathematics）中最关键的章节。它不仅仅是为了得到正确答案，更是为了建立绝对的确定性。
在纯数学 1 (P1) 中，你已经学习了基础知识：演绎证明、穷举法和反例证明。在 P2 单元中，我们将引入一种强大且优雅的新技巧：反证法 (Proof by Contradiction)。

如果起初觉得证明很难，不用担心。它运用了严密的逻辑，这就像是在锻炼你大脑的一个新区域！我们将把每一种技巧拆解成简单、易于操作的步骤。

P1 证明技巧快速回顾

在深入学习新内容之前，让我们简要回顾一下你应该已经掌握的方法。这些是你进行反证法时所使用的“工具”！

1. 演绎证明 (Proof by Deduction)

这是最常用的方法。你从已知事实（定义、公理或给定的前提）出发，通过逻辑步骤推导出想要的结论。
示例：证明两个连续整数的平方差总是一个奇数。

  • 设这两个连续整数为 \(n\) 和 \(n+1\)，其中 \(n\) 为整数。
  • 它们的平方差为 \( (n+1)^2 - n^2 \)。
  • 展开：\( (n^2 + 2n + 1) - n^2 \)。
  • 简化：\( 2n + 1 \)。
  • 因为 \(n\) 是整数，所以 \(2n\) 是偶数，而 \(2n+1\) 总是一个奇数。Q.E.D.（拉丁语 Quod Erat Demonstrandum 的缩写，意为“即所证者”）。

2. 穷举法 (Proof by Exhaustion / Proof by Cases)

这种方法涉及将问题拆分为有限数量的几种情况，并证明该陈述对每一种情况都成立。这仅在可能性集合很小时可行。
记忆技巧：想象一下“穷尽”所有可用选项。

3. 反例证明 (Disproof by Counterexample)

要证明一个陈述是错误的，你只需要找到一个实例（即反例），使得该陈述不成立即可。

  • 应避免的常见错误： 证明一个陈述对两三个例子成立并不是证明！你必须证明它对所有情况（演绎法/反证法）或所有可能的有限情况（穷举法）都成立。

P2 证明的核心：反证法 (Proof by Contradiction)

这种技巧在智力上非常优雅，常用于直接演绎看似不可能或过于复杂的情况。

什么是反证法？

这种方法也被称为“归谬法”（Reductio ad Absurdum），其运作方式就像侦探破案。如果你想证明陈述 P 为真，你可以暂时假设 P 的完全相反的情况为真。
如果这个假设（P 的对立面）导致了一个逻辑上不可能的结果，或者与已知的数学事实相矛盾，那么这个假设一定是错误的。
如果假设是错误的，那么原始陈述 P 就一定是正确的！

类比： 想象你的朋友声称灯是关着的（陈述 P 是“灯关着”）。如果你想用反证法证明 P，你会假设其相反情况：“灯是开着的”。如果假设灯开着导致了一个荒谬的结论（比如房间既明亮又完全黑暗），那么最初的假设（“灯开着”）一定是错误的。因此，灯一定是关着的。

反证法的分步流程

每次使用此方法时，请严格遵循以下步骤：

第 1 步：陈述假设（否定）

假设你想证明的陈述是假的。这就是原始命题的否定。

第 2 步：逻辑演绎

以此假设为出发点，应用已知的数学规则和逻辑推导（如 P1 中的演绎证明）来操作方程或表达式。

第 3 步：得出矛盾

继续进行演绎，直到得出一个数学上不可能的陈述（例如 \( 0 = 1 \)，或者 \( 2n+1 \) 是偶数，或者一个数同时是有理数和无理数）。

第 4 步：总结结论

因为你的假设导致了不可能（矛盾），所以假设一定是错误的。因此，原始陈述必然是正确的。

核心要点： 全过程的目的就是为了展示，假设其对立面会导致数学上的混乱。

经典例题：证明 \(\sqrt{2}\) 是无理数

这个证明是反证法的典型范例，也是 P2 课程要求掌握的核心知识点。

命题 (P)：

数 \(\sqrt{2}\) 是无理数。

第 1 步：陈述假设（否定）

我们假设其对立面：即 \(\sqrt{2}\) 是有理数。

定义复习： 有理数可以写成分数 \( \frac{p}{q} \)，其中 \(p\) 和 \(q\) 是整数（\(q \neq 0\)）。关键一点，我们假设 \(p\) 和 \(q\) 没有公因数（即分数处于最简形式）。

因此，我们假设： $$ \sqrt{2} = \frac{p}{q} $$ 其中 \(p, q \in \mathbb{Z}\) 且分数 \(\frac{p}{q}\) 是不可约的。

第 2 步：逻辑演绎

1. 两边平方： $$ 2 = \frac{p^2}{q^2} $$ 2. 整理得： $$ p^2 = 2q^2 $$

3. 分析结果：因为 \(p^2\) 等于 2 乘以某个整数（\(q^2\)），所以 \(p^2\) 必须是偶数。

4. 关键子步骤： 如果 \(p^2\) 是偶数，那么 \(p\) 本身也必须是偶数。（思考：如果 \(p\) 是奇数，那么 \(p^2\) 也会是奇数）。

5. 因为 \(p\) 是偶数，我们可以将 \(p\) 写成 \(2k\)（\(k\) 为某整数）。

6. 将 \(p=2k\) 代入方程 \( p^2 = 2q^2 \)： $$ (2k)^2 = 2q^2 $$ $$ 4k^2 = 2q^2 $$

7. 两边除以 2： $$ 2k^2 = q^2 $$

第 3 步：得出矛盾

观察结果 \( q^2 = 2k^2 \)。

  • 因为 \(q^2\) 等于 2 乘以某个整数（\(k^2\)），所以 \(q^2\) 必须是偶数。
  • 如果 \(q^2\) 是偶数，那么 \(q\) 本身也必须是偶数。

我们发现了什么？
从第 2 步，我们推导出 \(p\) 是偶数。
从第 3 步，我们推导出 \(q\) 是偶数。

如果 \(p\) 和 \(q\) 都是偶数，那么它们都包含公因数 2。

这矛盾了我们最初在第 1 步中的假设，即 \(p\) 和 \(q\) 没有公因数（即分数 \(\frac{p}{q}\) 是最简分数）。

第 4 步：总结结论

既然假设 \(\sqrt{2}\) 是有理数会导致逻辑矛盾，那么该假设一定是错误的。
因此，原始陈述为真：\(\sqrt{2}\) 是无理数。Q.E.D.

快速回顾框：逻辑链

我们假设 P 为假（即是有理数）。\(\rightarrow\) 这导致 p 和 q 存在公因数。\(\rightarrow\) 这与“最简分数”的定义（假设的一部分）相矛盾。\(\rightarrow\) 因此，假设为假。\(\rightarrow\) 因此，P 为真（即是无理数）。

使用反证法处理特定数集

反证法也可以用来证明关于整数的性质，通常涉及奇偶性。

示例 2：证明质数有无穷多个

（这是欧几里得提出的著名反证法证明，展示了反证法的威力。）

命题 (P)： 质数有无穷多个。

第 1 步：陈述假设

假设其对立面：质数的数量是有限的。

第 2 步：演绎证明

1. 如果质数数量有限，我们可以列出所有质数：\(P_1, P_2, P_3, \dots, P_n\)，其中 \(P_n\) 是最大的质数。
2. 考虑一个新数 \(N\)，它是所有这些有限质数的乘积再加 1： $$ N = (P_1 \times P_2 \times P_3 \times \dots \times P_n) + 1 $$ 3. 现在，尝试用我们列表中的任何一个质数 (\(P_i\)) 去除 \(N\)。 4. 如果我们用 \(P_i\) 除 \(N\)，由于项 \((P_1 \times \dots \times P_n)\) 可以被整除，所以余数总是 1。

第 3 步：得出矛盾

由于 \(N\) 被我们完整列表中的每一个质数除时余数均为 1：

情况 A： \(N\) 必然是一个新的质数，它不在我们最初的有限列表中。
情况 B： \(N\) 是合数（非质数），这意味着它一定能被某个更小的质因数 \(X\) 整除。但 \(X\) 不能是 \(P_1\) 到 \(P_n\) 中的任何一个（因为我们看到它们相除余数都为 1）。因此，\(X\) 一定是一个新的质数，不在我们最初的有限列表中。

无论哪种情况（A 或 B），我们都发现了一个不在我们所谓“完整列表”中的质数。
这矛盾了我们最初关于列表 \(P_1\) 到 \(P_n\) 是穷尽所有质数的假设。

第 4 步：总结结论

质数的数量不可能是有限的。因此，质数有无穷多个。

辅助功能与练习建议

使用反证法时的常见错误

  • 弱否定： 假设必须是完美的对立面。如果陈述是“所有数字都是偶数”，那么否定句不是“所有数字都是奇数”。正确的否定句是“至少存在一个数字不是偶数（即它是奇数）”。
  • 假设结论： 你不能在推导步骤中使用原始陈述本身。你的推导必须完全源于那个错误的假设。
  • 忽略不可约性： 在涉及有理数的证明中（如 \(\sqrt{2}\)），一定要在一开始就说明 \(p\) 和 \(q\) 没有公因数。如果你漏掉了这一关键点，后面就没有任何矛盾可言了。

术语速查

理解这些术语对于设定假设（第 1 步）至关重要：

陈述类型否定（假设）
\(x\) 是有理数\(x\) 是无理数
\(x\) 是 3 的倍数\(x\) 不是 3 的倍数
对于所有 \(n\)，P 为真存在至少一个 \(n\)，使得 P 为假
集合是有限的集合是无限的

你知道吗？

反证法通常被认为是非构造性的证明。构造性证明会确切地告诉你如何找到答案。而像反证法这样的非构造性证明，只是保证了答案（或某种状态）必然存在，因为其对立面会导致逻辑荒谬。

要点总结

你现在已经拥有了一套完整的证明工具箱：演绎法、穷举法、反例法，以及强大的反证法。反证法要求你系统地假设其对立面，并沿着产生的逻辑走下去，直到它与已知的数学事实相抵触。掌握好 \(\sqrt{2}\) 这个例子，你就掌握了这个技巧！

坚持练习这些结构化的步骤，很快你就会发现逻辑自然地顺手了！加油！