反证法——方法与经典例题

反证法通过先假设结论的反面成立，再证明这个假设会导出不可能的结果，从而完成证明。只要推理有效，而且得到的矛盾是真正的矛盾，那么原命题就一定成立。

当命题的否定形式能给你一个更具体的切入点时，这种方法尤其有用。经典例子就是证明 $\sqrt{2}$ 是无理数：一旦假设它是有理数，就可以把它写成分数形式，然后顺着这个假设继续推下去。

反证法是如何工作的

设你要证明的命题是 $P$。

在反证法中，你先假设 $P$ 不成立。然后从这个假设出发不断推理，直到得到矛盾，例如：

$$1 = 0$$

或者与某个已知定义冲突，或者得到一个不可能与前面步骤同时成立的结论。

到了这一步，$P$ 的否定就不可能正确，因此 $P$ 必须成立。

关键条件是：这个矛盾必须来自有效的推理和公认的事实。仅仅“看起来很奇怪”还不够。它必须在你所使用的定义或定理下真正不可能成立。

什么时候使用反证法

当一个命题的反面具有很强的结构时，反证法通常最好用。这种情况在数论、不可能性证明以及某些存在性问题中很常见。

例如，如果你想证明一个数是无理数，那么假设它是有理数，就会得到一个具体的分数形式可供操作。这样的额外结构，往往比直接证明更容易导出矛盾。

如果已经有一个很短的直接证明，反证法就没那么必要了。反证法当然是有效的方法，但它应该让论证更清晰，而不是让证明显得比必要的更冗长。

例题：为什么 $\sqrt{2}$ 是无理数

一个经典的反证法证明表明，$\sqrt{2}$ 是无理数。

先假设相反的情况成立：

$$\sqrt{2} \text{ is rational.}$$

如果这是真的，那么 $\sqrt{2}$ 可以写成

$$\sqrt{2} = \frac{a}{b}$$

其中 $a$ 和 $b$ 是整数，$b \neq 0$，并且这个分数已经是最简分数。

现在两边平方：

$$2 = \frac{a^2}{b^2}$$

所以

$$a^2 = 2b^2.$$

这说明 $a^2$ 是偶数。于是 $a$ 也必须是偶数，因为奇整数的平方仍然是奇数。所以可设

$$a = 2k$$

其中 $k$ 是某个整数。

把它代入 $a^2 = 2b^2$：

$$(2k)^2 = 2b^2$$ $$4k^2 = 2b^2$$ $$2k^2 = b^2.$$

现在 $b^2$ 是偶数，所以 $b$ 也是偶数。

但这样一来，$a$ 和 $b$ 都是偶数。这意味着它们都能被 $2$ 整除，这就与 $\frac{a}{b}$ 已经是最简分数的假设矛盾。

所以最初的假设是错误的。因此，$\sqrt{2}$ 是无理数。

为什么这个矛盾是决定性的

这里的矛盾并不是“感觉哪里不对”。它是非常具体的：

1. 假设说 $\sqrt{2} = \frac{a}{b}$，而且 $\frac{a}{b}$ 是最简分数。
2. 代数推导表明 $a$ 和 $b$ 都必须是偶数。
3. 一个分数不可能既是最简分数，又同时分子和分母都能被 $2$ 整除。

这种直接冲突，就是矛盾所在。

反证法中的常见错误

一个常见错误是对“反面”假设得太模糊。你需要使用命题真正的否定形式，而不是一个听起来差不多、但其实不同的说法。

另一个错误是因为错误的代数步骤才得到矛盾。在这种情况下，矛盾只能说明你的代数推导有问题，并不能说明原命题是真的。

第三个错误是没有明确指出到底与什么事实发生了矛盾。好的证明会把冲突说清楚：是奇偶性规则、某个定义、最小性条件，还是之前已经证明过的定理。

还有一种情况也很常见：用“这就矛盾了”这句话掩盖薄弱的推理。如果你不能明确指出究竟违背了哪条事实，那么这个证明很可能还不完整。

一个简单的反证法模板

对于很多入门证明，结构通常是这样的：

1. 假设命题不成立。
2. 把这个假设转化成一个具体形式。
3. 一步一步推出它的后果。
4. 得到一个与已知事实相矛盾的结论。
5. 于是原来的假设错误，所以原命题成立。

如果第 2 步不够扎实，整个证明通常都会显得模糊。最有力的反证法，往往来自把否定形式转化成非常具体的对象或条件。

试着做一个类似的反证法证明

试着证明这个命题：“不存在最小的正有理数。” 先假设存在这样一个数，记作 $r$，然后想一想 $\frac{r}{2}$ 会怎样。如果你想像上面的例子那样一步一步检查自己的推理，可以在 GPAI Solver 中写出你自己的证明版本，并把每一步与最终要得到的矛盾进行对照。