歡迎來到數學證明世界！
你有沒有想過，數學家是如何百分之百確定一條規則適用於世上每一個數字的？他們並非單純猜測或測試幾個數值；他們使用的是數學證明（Mathematical Proof）。在本章中，你將學習這些「遊戲規則」，徹底證明數學命題的真偽。
你可以把證明想像成法庭上的案件。你從既定假設（given assumptions）開始，透過一系列的邏輯步驟（logical steps），最終達到一個無懈可擊的結論（conclusion）。讓我們開始吧！
1. 演繹證明（Proof by Deduction）
演繹證明是你在 A Level 數學中最常用的方法。它涉及從已知事實或「基本原理（first principles）」出發，利用代數展示某個命題必定成立。
它是如何運作的：
想像一排骨牌。如果第一塊倒下（你的初始假設），並且每一塊骨牌都能推倒下一塊（你的邏輯步驟），那麼最後一塊骨牌就一定會倒下（你的結論）。
逐步示例：
證明對於所有 \(n\) 的值，\(n^2 - 6n + 10\) 均為正數。
1. 找出工具：對於二次式，配方法（completing the square）是我們最好的朋友，因為平方數永遠是非負的。
2. 進行配方： \(n^2 - 6n + 10 = (n - 3)^2 - 9 + 10\)
3. 簡化： \(= (n - 3)^2 + 1\)
4. 邏輯說明：我們知道任何實數的平方至少為零，因此 \((n - 3)^2 \geq 0\)。
5. 結論：因此， \((n - 3)^2 + 1 \geq 1\)，這必然恆為正數。證明完畢！
快速回顧框：
● 永遠從一般情況開始（使用 \(n\) 或 \(x\) 等字母），而不是特定的數字。
● 使用配方法來證明表達式為正數。
● 使用由基本原理求導（differentiation from first principles）（稍後在課程中會學到）作為另一種演繹形式。
重點提示：演繹法利用代數在已知的事實與想要證明的目標之間建立邏輯橋樑。
2. 窮舉法（Proof by Exhaustion）
別擔心——這並不代表你必須工作到筋疲力盡！窮舉法是指將問題拆解成所有可能的情況，並逐一證明每一種情況。
何時使用：
當只有少量且易於檢查的可能性時使用此方法。
課程示例：
已知 \(p\) 為質數且 \(3 < p < 25\)，證明 \((p - 1)(p + 1)\) 為 12 的倍數。
1. 列出情況：介於 3 和 25 之間的質數有：5, 7, 11, 13, 17, 19, 23。
2. 測試情況 1 (\(p=5\))： \((5-1)(5+1) = 4 \times 6 = 24\)。(是 12 的倍數嗎？是的！)
3. 測試情況 2 (\(p=7\))： \((7-1)(7+1) = 6 \times 8 = 48\)。(是 12 的倍數嗎？是的！)
4. 繼續：對 11, 13, 17, 19 和 23 重複上述步驟。若全部成立，則證明完成！
你知道嗎？
電腦在窮舉法方面非常厲害。1976 年，著名的「四色定理（Four Color Theorem）」就是透過電腦檢查了 1,936 種不同情況而得證的！
重點提示：如果你找不到通則，試著將問題分類（例如「偶數」與「奇數」）或檢查有限的值列表。
3. 反例證偽法（Disproof by Counter-Example）
這通常是最令人痛快的方法。要證偽（disprove）一個命題（顯示它是錯誤的），你只需要找到一個不成立的例子即可。
類比：
如果有人說：「世界上所有的車都是藍色的」，你不需要去檢查每一輛車。你只需要指出一輛紅色的車，就能證明他錯了。
示例：
證偽以下命題：「對於所有 \(n\) 的值，\(n^2 - n + 1\) 皆為質數。」
1. 嘗試代入數值：讓我們測試一些數字。
若 \(n=1\)， \(1^2 - 1 + 1 = 1\) (不是質數，但關於質數的定義有時存在爭議，我們繼續測試)。
若 \(n=2\)， \(2^2 - 2 + 1 = 3\) (質數)。
若 \(n=3\)， \(3^2 - 3 + 1 = 7\) (質數)。
2. 找出「錯誤」：讓我們試試 \(n=11\)。
\(11^2 - 11 + 1 = 121 - 11 + 1 = 111\)。
等等！ \(111\) 可以被 3 整除 (\(3 \times 37 = 111\))。
3. 結論：由於 \(n=11\) 得出的結果並非質數，因此該命題不成立。
避免常見錯誤：
你不能僅透過舉例來「證明」某事為真。你只能用例子來「證偽」。要證明某事，你必須使用演繹法或窮舉法。
重點提示：只要出現一個失敗的例子，就足以摧毀一條數學「規則」。
4. 反證法（Proof by Contradiction）
這是數學證明中的「秘密武器」。剛開始可能會覺得有點反直覺，但它非常強大。如果覺得有點難懂也不要擔心——這需要一點練習！
它是如何運作的：
1. 假設你要證明的命題是錯誤的（FALSE）。
2. 利用邏輯步驟證明這個假設會導致某種不可能的情況（即矛盾）。
3. 因此，你的假設一定是錯的，這代表原始命題必然為真（TRUE）。
必考證明：證明 \(\sqrt{2}\) 是無理數
(Pearson Edexcel 明確要求你必須掌握此證明！)
1. 假設反面情況：假設 \(\sqrt{2}\) 是有理數。這意味著它可以寫成最簡分數 \(\frac{a}{b}\)（沒有共同因數）。
2. 兩邊平方： \(2 = \frac{a^2}{b^2}\)，這代表 \(a^2 = 2b^2\)。
3. 邏輯推理：這告訴我們 \(a^2\) 是偶數，因此 \(a\) 也必須是偶數。讓我們令 \(a = 2k\)。
4. 代入： \((2k)^2 = 2b^2\) 變為 \(4k^2 = 2b^2\)，簡化後得到 \(b^2 = 2k^2\)。
5. 矛盾：這告訴我們 \(b^2\) 是偶數，所以 \(b\) 必須是偶數。但等等！如果 \(a\) 和 \(b\) 都是偶數，那麼這個分數就不是最簡形式了。產生矛盾！
6. 結論：我們的假設錯了，因此 \(\sqrt{2}\) 必然是無理數。
記憶小撇步：
將反證法想像成「抬槓法」：
「喔是嗎？好，假設你是對的……[進行數學推導]……你看？這完全說不通吧！所以你一定是錯的。」
重點提示：如果假設「相反的情況」會導致數學上的災難，那麼原命題就一定是正確的。
考試總結清單
● 演繹法（Deduction）：我能使用代數（如配方法）來推導出結果嗎？
● 窮舉法（Exhaustion）：問題是否只有少量情況可以逐一測試？
● 反例證偽法（Counter-Example）：我能找到一個打破規則的數字嗎？
● 反證法（Contradiction）：我可以假設它是假的並推導出不可能的情況嗎？（記得背誦 \(\sqrt{2}\) 是無理數以及質數有無窮多個的證明！）