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)。雖然它們聽起來很像，但其實是不同的工具：

• 反例法：用於證明某個「對於所有」的命題是錯誤的。
• 反證法：透過證明假設其否定命題會導致不可能的情況，從而說明原命題是正確的。

總結：以反例證偽是反駁錯誤猜想最有效的方法。它需要創造力、一點點「打破規則」的精神，以及對數學性質的紮實理解。

如果無法立刻找到反例，也不要擔心。有時候它們藏得很深！堅持嘗試不同類型的數字，最終你一定能破案。