Disproof by counterexample

欢迎来到数学侦探的世界！

在你的 H2 数学旅程中，你花了不少时间去证明命题是正确的 (true)。但在 H3 数学 (9820) 中，我们同样重视证明命题是错误的 (false)。试想象有人提出一个大胆的断言：“每个新加坡人都喜欢吃辣。”要证明他是错的，你根本不需要调查整个新加坡的人口，你只需要找出一个讨厌吃辣的人就够了。那个人就是你的反例 (counterexample)。

在这一章中，我们将学习如何运用这项强大的工具来拆解错误的数学猜想。如果起初觉得这种思维方式有点“反向”也别担心——这其实是数学推理中最令人满足的部分之一！

1. 到底什么是反例？

反例是指一个特定的例子，用以证明一个普遍性的陈述是错误的。在逻辑语言中，我们使用反例来推翻全称命题 (universal statements)（即声称某件事在“所有”情况下皆成立的命题）。

其背后的逻辑

假设我们有一个命题：“对于所有 \(x\)，如果 \(x\) 满足性质 \(P\)，则 \(x\) 满足性质 \(Q\)。”
要推翻这个命题，我们只需要找出一个特定的 \(x\) 值，使得：
1. \(x\) 确实满足性质 \(P\)（条件成立）。
2. \(x\) 并不满足性质 \(Q\)（结论失败）。

小贴士：你只需要一个有效的反例就能摧毁一个理论。就算该命题在其他十亿个情况下都成立也无关紧要；只要它失败过一次，该普遍命题就正式被宣告为错误。

重点总结：反例就是“规则的例外”，它证明了规则根本称不上是规则！

2. 我们何时使用“以反例证伪”？

当我们遇到一个涉及“对于所有”(\(\forall\)) 量词的猜想 (conjecture)（即数学上的假设）时，我们就会使用这种方法。

你知道吗？许多著名的数学家曾花费数年试图证明某些猜想，结果却被别人找出了单一反例，导致他们的工作全盘作废。这是数学中终极的“抓到了！”时刻。

需要留意的常见“量词”：

• “对于所有 \(n \in \mathbb{Z}^+\)...”
• “对于每一个实数 \(x\)...”
• “对于任何质数 \(p\)...”

如果你看到这些措辞并怀疑该命题可能是错的，那就开始寻找反例吧！

3. 如何寻找反例：分步指南

寻找反例就像当侦探一样。你需要到那些“容易出错的地方”去寻找线索。你可以遵循以下步骤：

步骤 1：理解命题。明确找出“如果”（前提）和“则”（结论）分别是什么。
步骤 2：测试“常规”情况。尝试 2、3 或 5 等小数。如果命题成立，它可能真的是对的（那你就需要用其他方法来证明）。
步骤 3：测试“边界”或“特殊”情况。这往往是反例藏身的地方！尝试：
• 数字 0 或 1。
• 负数。
• 介于 0 和 1 之间的分数。
• 非常大的数。
• 质数与合数的对比。
• 偶数与奇数的对比。
步骤 4：验证。一旦找到候选数字，请仔细核对它是否满足初始条件，但导致结论失败。

4. 现实生活与数学范例

范例 1：代数

猜想：“对于所有实数 \(a\) 和 \(b\)，\((a + b)^2 = a^2 + b^2\)。”
搜寻：让我们测试一些数值。如果 \(a = 1\) 且 \(b = 1\)...
左式 (LHS)：\((1 + 1)^2 = 2^2 = 4\)
右式 (RHS)：\(1^2 + 1^2 = 1 + 1 = 2\)
结论：由于 \(4 \neq 2\)，所以 \(a = 1, b = 1\) 是一个反例。该命题已被证伪。

范例 2：数论

猜想：“对于每一个正整数 \(n\)，\(n^2 + n + 41\) 都是一个质数。”
搜寻：如果你测试 \(n = 1, 2, 3...\)，它看起来确实成立！（这是一个著名的“陷阱”猜想）。
但让我们看看特殊情况。如果我们让这个表达式变得容易因式分解会怎样？试试 \(n = 41\)。
当 \(n = 41\) 时，表达式变为 \(41^2 + 41 + 41\)。
我们可以提取公因数 41：\(41(41 + 1 + 1) = 41 \times 43\)。
结论：由于 \(41 \times 43\) 不是质数，因此 \(n = 41\) 是一个反例。该命题是错误的。

记忆法：寻找反例时，记住“4 个 O”：One（数字 1）、Other side（另一端，即负数）、Oddities（奇葩数，如 0）、以及 Outliers（离群值，即极端数值）。

5. 避免常见错误

即使是最优秀的 H3 学生也会在这里失手。请留意以下陷阱：

• 挑选违反前提的数值：如果问题说“对于所有质数”，你不能使用 \(n = 4\) 作为反例，因为 4 本身就不是质数。
• 用文字争论而非用例子：不要只说“它不总是对的，因为有些数字不同”。你必须提供一个具体的数值例子。
• 认为一个反例不够：你不需要证明它“大多数时候”都是错的。只要有一个例子，就足以彻底推翻该命题！

快速检视表：
1. 目标：声称某事总是正确的命题 (\(\forall\))。
2. 任务：找出一个“前提正确但结论错误”的特例。
3. 成功：该命题现在被视为“已证伪”。

6. 与其他证明方法的联系

在你的 H3 课程中，你还会学习反证法 (Proof by Contradiction)。虽然它们听起来很像，但其实是不同的工具：

• 反例法：用于证明某个“对于所有”的命题是错误的。
• 反证法：透过证明假设其否定命题会导致不可能的情况，从而说明原命题是正确的。

总结：以反例证伪是反驳错误猜想最有效的方法。它需要创造力、一点点“打破规则”的精神，以及对数学性质的扎实理解。

如果无法立刻找到反例，也不要担心。有时候它们藏得很深！坚持尝试不同类型的数字，最终你一定能破案。