歡迎來到數學證明世界！
你有沒有想過，數學家是如何百分之百確定某件事是正確的呢？他們並非靠「猜測」或「驗證幾個數字」——他們使用的是證明 (Proof)。在本章中，你將學習構建無懈可擊的邏輯論證技巧。試著把自己想像成偵探或律師；你將運用已知的事實，推導出不容置疑的真理。
如果起初覺得這些概念有些抽象，別擔心！證明就像解謎遊戲。一旦你掌握了「遊戲規則」和一些實用技巧，你就會發現這是 A Level 數學中最有成就感的部分之一。
先備知識檢查清單：認識你的數字
在開始之前，讓我們快速回顧一下你將會接觸到的數字類型：
- 整數 (Integers)： 整數（..., -2, -1, 0, 1, 2, ...）。在證明中通常用字母 \(n\) 或 \(m\) 來表示。
- 有理數 (Rational Numbers)： 可以寫成分數 \(\frac{p}{q}\) 的數字，其中 \(p\) 和 \(q\) 均為整數（且 \(q \neq 0\)）。
- 無理數 (Irrational Numbers)： *不能*寫成簡單分數的數字（例如 \(\sqrt{2}\) 或 \(\pi\)）。
- 實數 (Real Numbers)： 數線上所有可能的數字（包含有理數與無理數）。
1. 邏輯的語言（邏輯聯結詞）
為了寫出優質的證明，我們使用特殊的符號，稱為邏輯聯結詞 (logical connectives)。它們是將你的論證緊密連接在一起的「膠水」。
\(\Rightarrow\)（蘊含）
這表示「蘊含」(implies) 或「若……則……」(if... then)。
範例： 是貓 \(\Rightarrow\) 有鬍鬚。（如果是貓，則它有鬍鬚）。
\(\equiv\)（恆等）
這表示「恆等於」(is identically equal to)。它比一般的等號更強，意指對於 \(x\) 的每一個可能值，等號兩邊皆相等。
範例： \(2(x + 1) \equiv 2x + 2\)。
\(\Leftrightarrow\)（等價）
這表示「若且唯若」(if and only if)（通常簡稱為 "iff"）。當邏輯在兩個方向上完全成立時使用。
範例： 一個多邊形有三條邊 \(\Leftrightarrow\) 它是一個三角形。
快速回顧：
\(\Rightarrow\) 邏輯僅單向成立。
\(\Leftrightarrow\) 邏輯雙向皆成立。
2. 演繹證明 (Proof by Deduction)
這是最常見的證明類型。你從已知事實 (known facts) 或假設 (assumptions) 出發，運用代數步驟 (algebraic steps) 來得出結論。
操作步驟：
1. 定義變數： 使用 \(n\) 或 \(m\) 來表示整數。
2. 建立表達式： 例如，用 \(2n\) 表示偶數，用 \(2n + 1\) 表示奇數。
3. 進行代數運算： 展開括號或進行因式分解。
4. 結論： 展示你的結果與試圖證明的目標相符。
範例：證明任意兩個奇數之和為偶數。
步驟 1：設兩個奇數分別為 \(2n + 1\) 及 \(2m + 1\)。
步驟 2：相加：\((2n + 1) + (2m + 1) = 2n + 2m + 2\)。
步驟 3：因式分解：\(2(n + m + 1)\)。
步驟 4：結論：由於結果是 2 的倍數，因此必定為偶數。（證明完成！）
重點提示： 在演繹證明中，你的代數運算必須證明該陳述對所有可能的數字都成立，而不僅僅是你挑選出的幾個數字！
3. 窮舉法證明 (Proof by Exhaustion)
有時，代數運算太過複雜，但可能性數量很少。窮舉法證明是指你將每一個情況分別進行檢查。
類比： 想像你想證明房間裡所有的電燈開關都能運作。你不會寫方程式，而是直接走過去把每個開關都撥動一次！
範例：證明對於所有整數 \(n\)，\(n^2 + n\) 皆為偶數。
整數只有兩種：偶數與奇數。
情況 1 (n 為偶數)： 令 \(n = 2k\)。則 \( (2k)^2 + 2k = 4k^2 + 2k = 2(2k^2 + k) \)。這是偶數！
情況 2 (n 為奇數)： 令 \(n = 2k + 1\)。則 \( (2k+1)^2 + (2k+1) = (4k^2 + 4k + 1) + 2k + 1 = 4k^2 + 6k + 2 = 2(2k^2 + 3k + 1) \)。這也是偶數！
由於兩種情況皆成立，因此對所有整數都成立。
常見錯誤： 遺漏了其中一個情況。如果你漏掉了一種情況，你的證明就不算「窮盡」！
4. 反例證明 (Disproof by Counter-Example)
要證明某事為真，你需要完整的論證。但要推翻某事（證明它為假），你只需要找到一個反例 (counter-example) 即可。
你知道嗎？ 這就像「黑天鵝理論」。幾個世紀以來，歐洲人認為所有的天鵝都是白色的。要反駁他們，只需找到一隻黑天鵝即可。
範例：推翻「所有質數皆為奇數」這一陳述。
反例： 數字 2。
2 是質數，但它是偶數。因此，該陳述為假。
快速回顧：
找到 1,000 個符合規則的例子，並不能證明它是對的。
找到 1 個不符合規則的例子，即足以推翻它。
5. 反證法 (Proof by Contradiction)
這是一種「反向」的證明方法，非常強大！你先假設該陳述為假，然後證明這個假設會導致不可能發生的結果（矛盾）。
邏輯流程：
1. 假設你想證明的結論的相反面。
2. 進行邏輯推演，直到遇到「崩潰」（例如發現 \(1 = 0\)，或一個數字同時是偶數又是奇數）。
3. 得出結論：既然你的假設導致了荒謬的結果，原本的陳述必然為真。
必考證明 1：\(\sqrt{2}\) 是無理數
如果起初覺得這很難理解，別擔心，這是經典題目！
1. 假設相反面： 假設 \(\sqrt{2}\) 是有理數。這意味著 \(\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 \Rightarrow 4k^2 = 2b^2 \Rightarrow 2k^2 = b^2\)。
5. 發生崩潰： 這意味著 \(b^2\) 是偶數，所以 \(b\) 必須是偶數。
6. 矛盾： 如果 \(a\) 和 \(b\) 都是偶數，則分數 \(\frac{a}{b}\) 就不是最簡形式！這與我們的第一步假設產生矛盾。
7. 結論： 因此，\(\sqrt{2}\) 必須是無理數。
必考證明 2：質數有無窮多個
1. 假設相反面： 假設只有有限個質數：\(P_1, P_2, ..., P_n\)。
2. 創造一個新數： 將它們全部乘起來再加 1。令 \(N = (P_1 \times P_2 \times ... \times P_n) + 1\)。
3. 發生崩潰： 如果你將 \(N\) 除以我們「完整」列表中的任何質數，餘數永遠是 1。
4. 矛盾： 這意味著要麼 \(N\) 本身就是質數，要麼它擁有一個不在我們列表中的質數因子。
5. 結論： 我們的列表並不完整。質數永遠還有更多！
重點提示： 反證法就像在說：「如果我沒穿外套，我就會覺得冷。但我現在並不冷，所以我想我一定穿了外套。」
總結檢查清單
你能夠：
- 正確使用 \(\Rightarrow\) 和 \(\Leftrightarrow\) 嗎？
- 使用 \(2n\) 和 \(2n+1\) 進行演繹證明嗎？
- 將問題拆解為「偶數」與「奇數」情況進行窮舉法證明嗎？
- 找到一個反例來推翻錯誤的說法嗎？
- 使用反證法解釋為什麼 \(\sqrt{2}\) 是無理數嗎？
你一定可以做到的！證明題最重要的就是多練習。試著多寫幾次，直到這些邏輯推演變成你的直覺為止。