歡迎來到證明章節！
嘿！你已經進入了 Pure Mathematics 4，現在我們要挑戰數學中最基礎且最有成就感的技能：證明 (Proof)。
為什麼這很重要？ 證明不僅僅是展示你的計算過程，它關乎建立絕對的數學真理。這就像是「我認為這是對的」與「我確定這『必定』是對的，無一例外」之間的區別。
本章重點在於一種強大、優雅且常令人意想不到的技巧：反證法 (Proof by Contradiction)。別擔心，如果起初覺得有點難理解，我們會逐步拆解其中的邏輯，確保你掌握這種方法並能自信地運用。
什麼是數學證明？（快速複習）
證明是一個邏輯上嚴密且合理的論證，它利用已認可的事實、定義或已證明的定理，來確立某個陳述（通常稱為定理）的真實性。
簡單來說，你是在 A 點（已知事實）到 B 點（你想證明的陳述）之間，建立一座堅固的邏輯橋樑。
關鍵術語
- 陳述/命題 (Statement/Proposition)： 一個可以明確判斷為真或假的數學主張。
- 定理 (Theorem)： 一個已被證明為真的重要陳述。
- 公理 (Axiom)： 一個無需證明即被視為真實的基本陳述（絕對的起點）。
你可能記得演繹證明 (Proof by Deduction)（或直接證明），即從前提開始，按邏輯步驟推導直到得出結論。然而，反證法是一種間接方法。
反證法 (Reductio ad Absurdum)
這是你在 P4 中的主要焦點。反證法常以其拉丁文名稱 Reductio ad Absurdum 概括，意為「化歸於謬」。
核心概念如下：與其直接證明陳述 A 為真，不如假設其完全相反的情況（非 A）為真。如果假設「非 A」會導致一個不可能的數學結果——即產生矛盾——那麼「非 A」必然是錯誤的。既然「非 A」錯誤，那麼陳述 A 就一定是真的！
手機充電器壞掉的類比
你想證明手機的充電孔沒有壞掉（陳述 A）。
1. 假設相反情況： 假設充電孔確實壞了（非 A）。
2. 測試結果： 如果充電孔壞了，即使使用已知正常的充電器和插座，手機也不應該充電。
3. 結果/矛盾： 你接上電源後，充電圖示立即出現（這與「充電孔壞掉」的假設產生矛盾）。
4. 結論： 既然假設導致了謊言，原先的陳述（「充電孔沒有壞掉」）必定是真的。
反證法的步驟流程
每次嘗試反證法時，請遵循這四個關鍵步驟：
- 假設相反情況（否定）： 一開始要正式說明你想證明的陳述是錯誤的。
- 邏輯推導： 利用這個錯誤的假設，結合定義和已知定理，進行一系列邏輯與代數步驟的推導。
- 得出矛盾： 展示你的推導會導致一個明顯不可能的陳述，或者與基本數學規則或你在第 1 步中設定的前提相矛盾（例如：證明一個數既是奇數又是偶數，或證明 \(1=0\)）。
- 總結： 明確指出由於該假設導致了矛盾，初始假設必然錯誤。因此，原始陳述一定是正確的。
經典例題：證明 \(\sqrt{2}\) 是無理數
這個例子非常基礎，你必須能自己寫出這個證明。
待證陳述 (A)： \(\sqrt{2}\) 是無理數。
第 1 步：假設相反情況（非 A）
假設 \(\sqrt{2}\) 是有理數。
如果 \(\sqrt{2}\) 是有理數，則可以寫成分數 \(\frac{a}{b}\)，其中 \(a\) 和 \(b\) 為整數且 \(b \neq 0\)。
關鍵前提： 我們將此分數設定為最簡形式。這意味著 \(a\) 和 \(b\) 是互質的（它們除了 1 之外沒有共同因數）。
第 2 步：邏輯推導
我們從 \(\sqrt{2} = \frac{a}{b}\) 開始。
1. 兩邊平方：
\(2 = \frac{a^2}{b^2}\)
2. 重新排列：
\(2b^2 = a^2\)
3. 由於 \(a^2\) 等於 2 乘以一個整數 (\(b^2\))，因此 \(a^2\) 必須是偶數。
4. 整數性質指出：如果 \(a^2\) 是偶數，那麼 \(a\) 本身也必須是偶數。
5. 既然 \(a\) 是偶數，我們可以寫成 \(a = 2k\)（\(k\) 為某個整數）。
6. 將 \(a = 2k\) 代入方程式 \(2b^2 = a^2\)：
\(2b^2 = (2k)^2\)
\(2b^2 = 4k^2\)
7. 除以 2：
\(b^2 = 2k^2\)
8. 由於 \(b^2\) 等於 2 乘以一個整數 (\(k^2\))，因此 \(b^2\) 必須是偶數。同理，\(b\) 也必須是偶數。
第 3 步：得出矛盾
經過推導，我們得出：
- \(a\) 是偶數。
- \(b\) 是偶數。
這意味著 \(a\) 和 \(b\) 擁有共同因數 2。
但是，在第 1 步中，我們定義了 \(a\) 和 \(b\) 沒有共同因數（互質）。
這就是矛盾（它與我們在第 1 步中的初始前提相衝突）。
第 4 步：總結
既然「\(\sqrt{2}\) 是有理數」的假設導致了邏輯上的不可能，該假設必然錯誤。因此，\(\sqrt{2}\) 必然是無理數。
反證法中常見的錯誤
- 忽略前提： 在證明無理數時，你必須在一開始就聲明 \(a\) 和 \(b\) 是互質的（最簡形式）。如果漏掉這一點，你就失去了矛盾的基礎。
- 循環論證： 確保你的矛盾是真實的——它必須破壞已知事實或你自己的前提，而不僅僅是混亂的代數推導。
- 忽略否定： 當題目要求證明「該陳述為真」時，你必須從假設「該陳述為假」開始。
你知道嗎？ 證明 \(\sqrt{2}\) 的無理性是歷史上最早的證明之一，通常歸功於畢達哥拉斯學派。這在當時是一個革命性的觀點，震驚了古希臘世界，因為當時人們相信所有數字都能表示為比值！
反證：說明陳述為假
反證法用於確立絕對真理。然而，如果一個陳述在一般情況下是錯誤的，我們可以使用更簡單的工具：反例證明 (Disproof by Counterexample)。
反例證明
如果一個陳述宣稱某事對所有值都成立（全稱陳述），你只需要找到一個單一實例使得該陳述不成立，就能證明整個陳述是錯誤的。
那單一的失敗案例就是反例 (Counterexample)。
例題： 反證下列陳述：「對於所有質數 \(p\)，\(p+2\) 也是質數。」
我們檢查幾個情況：
- 如果 \(p=3\)，\(p+2=5\)。 (正確)
- 如果 \(p=5\)，\(p+2=7\)。 (正確)
- 如果 \(p=7\)，\(p+2=9\)。 (9 不是質數)。
反例： \(p=7\) 的情況產生了一個非質數 (9)。既然該陳述在 \(p=7\) 時不成立，原本的宣告（「對於所有質數 \(p\)，\(p+2\) 也是質數」）就是錯誤的。
記憶小撇步：證明 vs. 反證
證明 (Proof) 需要邏輯步驟來涵蓋所有 (All) 可能的情況。
反證 (Disproof) 只需要找到一個 (One) 失敗案例（即反例 (Counterexample)）。
章節總結與最後鼓勵
證明或許是純數中最耗腦力的部分，但也是最有回報的。它需要對細節的關注和絕對的嚴謹。如果你需要時間來掌握這種結構，不用擔心。
快速回顧：反證法策略
1. 假設相反： 如果該陳述是錯誤的會怎樣？確立所有初始前提（例如互質整數）。
2. 推導： 嚴格遵循邏輯步驟，直到無法再進行下去為止。
3. 矛盾： 撞上一堵邏輯牆（例如偶數等於奇數，或者與第 1 步的前提衝突）。
4. 總結： 既然假設導致了謬論，原始陳述必然為真。
持續練習標準證明，特別專注於無理數證明的結構。你一定可以做到！
成功的關鍵在於練習結構，而不僅僅是死背步驟。