歡迎來到證明（Proof）的世界！
你好，未來的數學家！這一章節是純數學中最基礎且最有成就感的部分之一。雖然計算類章節著重於「如何」得到答案，但「證明」這一章則是著重於「為什麼」該答案（或陳述）必須是正確的。
在純數學 1 (P1) 中，你已經建立了解題技巧，並學習了演繹證明法 (Proof by Deduction)。在 P2 單元中，我們將跨出一大步，引進一種強大的技巧——反證法 (Proof by Contradiction)。這是確立數學確定性的終極工具。如果一開始覺得有點棘手也不用擔心，我們將會一步步拆解當中的邏輯！
為什麼證明如此重要？
數學建立在絕對的確定性之上。證明能將一個單純的猜測（猜想 Conjecture）轉變為無可辯駁的真相（定理 Theorem）。它確保了數學的根基堅如磐石。
第一節：基本術語複習
在深入探討各種方法之前，讓我們快速釐清一些你在證明過程中必須精確使用的術語：
- 猜想 (Conjecture)： 一個被認為正確，但尚未經過嚴謹證明的數學陳述。（例如：「所有大於 2 的質數都是奇數。」）
- 定理 (Theorem)： 一個已使用有效的數學論證證明為正確的數學陳述（即：已證明的猜想）。
- 證明 (Proof)： 一系列邏輯步驟，從已知事實（公理或先前已證明的定理）開始，最終確立一個陳述的真實性。
- 反例 (Counterexample)： 一個能證明猜想或陳述為錯誤的特定案例。只要找到一個反例，就足以推翻一個一般性陳述。
快速複習小撇步： 切記，找到一千個符合陳述的例子並不等於證明了它。證明要求你必須展示該陳述對「所有」情況皆適用。
第二節：演繹證明法（P1 複習）
演繹證明法是最常見的證明方法。它涉及從已知事實出發，經過一步步的邏輯推導，直到得出所需的結論。
演繹的過程（代數證明）
演繹的關鍵（特別是在 P2 中）在於理解如何以代數方式表示不同類型的數字：
- 偶數 (Even Number)： 表示為 \(2n\)（其中 \(n\) 為整數）。
- 奇數 (Odd Number)： 表示為 \(2n + 1\) 或 \(2n - 1\)（其中 \(n\) 為整數）。
- 連續整數 (Consecutive Integers)： \(n\) 與 \(n+1\)。
- k 的倍數 (Multiples of k)： 表示為 \(kn\)（其中 \(n\) 為整數）。
範例：證明兩個連續奇數的平方差永遠是 8 的倍數。
第一步：設定變數。
設第一個奇數為 \(2n - 1\)。
下一個連續奇數為 \((2n - 1) + 2 = 2n + 1\)。
第二步：建立所需表達式。
平方差：\((2n + 1)^2 - (2n - 1)^2\)
第三步：透過代數演繹結果。
$$ (4n^2 + 4n + 1) - (4n^2 - 4n + 1) $$
$$ 4n^2 + 4n + 1 - 4n^2 + 4n - 1 $$
$$ 8n $$
第四步：結論。
由於差值簡化為 \(8n\)，且 \(n\) 為整數，因此該差值永遠是 8 的倍數。
演繹法的關鍵要點
成功的演繹仰賴完美的代數表示與運算。如果你無法將最終表達式簡化以符合要求（例如：找出 \(kn\) 的形式），則你的證明是不完整的。
第三節：反證法（P2 核心技能）
當直接演繹過於複雜或不可行時，通常會使用此方法。這是一種紮根於邏輯的強大技巧，也是純數學 2 的必要要求。
什麼是反證法？
想像你是位偵探，試圖證明窗戶不是被風吹破的。
偵探的邏輯： 「我們先假設相反的情況：假設窗戶確實是被風吹破的。如果風吹破了窗戶，玻璃應該會散落在室外。但等等，我只看到玻璃散落在室內！這是不可能的。因此，最初的假設（窗戶是被風吹破的）必然是錯誤的。」
這正是數學反證法的運作方式：你假設想要證明的陳述是錯誤的，然後展示這個假設會導致一個邏輯上荒謬的結果，或是違反已知數學事實。這種荒謬性就稱為矛盾 (Contradiction)。
關鍵術語： 矛盾 (Contradiction) 指的是一個在邏輯上不可能為真的陳述（例如：\(0 = 1\)，或一個整數同時為偶數與奇數）。
反證法的四個必要步驟
每次使用此方法時，請遵循以下步驟：
第一步：假設相反情況（否定敘述）。
清楚說明你正在假設想要證明的陳述是錯誤的。
第二步：使用演繹法。
基於你錯誤的假設，使用代數與已知定理進行邏輯推導。
第三步：找出矛盾。
展示你的邏輯推導導致了一個不可能或荒謬的結果。
第四步：結論。
說明因為該假設導致了矛盾，所以原先的陳述必然為真。
範例：證明 \(\sqrt{2}\) 為無理數
這是 A-Level 數學中最常見且最重要的反證法範例。
先備知識：
有理數 (Rational Number) 可以寫成分數 \(\frac{a}{b}\)，其中 \(a\) 與 \(b\) 為整數，\(b \neq 0\)，且該分數已化為最簡形式（即 \(a\) 與 \(b\) 除了 1 之外沒有共同因數）。
證明過程：
第一步：假設相反情況（否定敘述）
為了進行反證，假設 \(\sqrt{2}\) 是有理數。
因此，我們可以寫成 \(\sqrt{2} = \frac{a}{b}\)，其中 \(a\) 與 \(b\) 為整數，\(b \neq 0\)，且 \(a\) 與 \(b\) 沒有共同因數。
第二步：使用演繹法
兩邊平方：
$$ 2 = \frac{a^2}{b^2} $$
$$ 2b^2 = a^2 \quad \quad (方程式 1) $$
由於 \(a^2\) 等於 \(2\) 乘以一個整數 (\(b^2\))，所以 \(a^2\) 必須是偶數。
如果 \(a^2\) 是偶數，那麼 \(a\) 本身也必須是偶數。
因為 \(a\) 是偶數，我們可以將 \(a\) 寫成 \(2k\)（其中 \(k\) 為某個整數）。
將 \(a = 2k\) 代回方程式 1：
$$ 2b^2 = (2k)^2 $$
$$ 2b^2 = 4k^2 $$
兩邊同除以 2：
$$ b^2 = 2k^2 $$
第三步：找出矛盾
由於 \(b^2\) 等於 \(2\) 乘以一個整數 (\(k^2\))，所以 \(b^2\) 必須是偶數。
如果 \(b^2\) 是偶數，那麼 \(b\) 本身也必須是偶數。
我們現在證明了兩件事：
1. \(a\) 是偶數。
2. \(b\) 是偶數。
如果 \(a\) 與 \(b\) 都是偶數，代表它們都能被 2 整除，這意味著它們有一個共同因數 2。
這就是矛盾所在！ 在第一步中，我們假設了 \(a\) 與 \(b\) 沒有共同因數（即已經是最簡分數）。
第四步：結論
我們最初的假設——即 \(\sqrt{2}\) 是有理數——必然是錯誤的，因為它導致了 \(a\) 與 \(b\) 有共同因數的矛盾。因此，\(\sqrt{2}\) 必然是無理數。
!!! 常見錯誤警示 !!!
如果你忘記在第一步中說明 \(a\) 與 \(b\) 沒有共同因數，你的證明將存在嚴重瑕疵，因為之後你將找不到任何矛盾來支撐論點！這一點對於論證的有效性至關重要。
第四節：反證法的其他應用
反證法也可以用來證明某些類型數字的存在，例如證明有無窮多個質數（另一個經典證明），或者用來證明數列與邊界相關的性質。
證明範例：有理數與無理數之和
陳述：證明有理數 \(x\) 與無理數 \(y\) 之和永遠是無理數。
第一步：假設相反情況
假設和 \(x + y\) 是有理數。
令 \(z = x + y\)。由於 \(z\) 是有理數，我們可以寫成 \(z = \frac{a}{b}\)。
由於 \(x\) 是有理數，我們可以寫成 \(x = \frac{c}{d}\)。(其中 \(a, b, c, d\) 皆為整數)。
第二步：使用演繹法
我們有 \(z = x + y\)。我們想把可能為無理數的 \(y\) 單獨列出來：
$$ y = z - x $$
代入有理數的表示式：
$$ y = \frac{a}{b} - \frac{c}{d} $$
尋找共同分母 (\(bd\))：
$$ y = \frac{ad - bc}{bd} $$
第三步：找出矛盾
由於 \(a, b, c, d\) 均為整數，分子 \((ad - bc)\) 為整數，分母 \((bd)\) 為非零整數。
因此，\(y\) 為兩個整數之比，這意味著 \(y\) 是有理數。
矛盾之處： 我們原先被給定 \(y\) 是一個無理數。但我們的假設（即 \(x + y\) 為有理數）導致我們得出 \(y\) 必須是有理數的結論。
第四步：結論
既然我們最初的假設導致了矛盾，該假設必然是錯誤的。因此，有理數與無理數之和必然是無理數。
學習小撇步與記憶法
記憶法：P-C 方法（反證法專用）
記住 P-C：Presume the opposite（假設相反情況），find the Contradiction（找出矛盾）。
代數證明的小撇步
證明結束時，請務必加上一句總結語，將你的數學結果與原始陳述聯繫起來。（例如：「由於表達式化簡為 \(8n\)，它是 8 的倍數，Q.E.D. [拉丁文 Quod Erat Demonstrandum，意即『證明完畢』]」。）
你知道嗎？
著名的關於有無窮多個質數的反證法，是由古希臘數學家歐幾里得在 2,300 多年前首次寫下的！\(\sqrt{2}\) 證明中使用的相同邏輯結構，幾千年來一直是數學思維的核心。
快速複習：何時使用哪種證明？
- 演繹證明法 (Proof by Deduction)： 當你可以從已知事實出發，並透過簡單的操作（通常是代數運算）得到所需結果時使用。
- 反證法 (Proof by Contradiction)： 當陳述涉及無理數、無限等概念，或是當你要證明某件事不可能發生時使用。當直接演繹過於複雜時，此方法至關重要。
最終勉勵
證明講究的是嚴謹，而非速度。請對自己有耐心，清楚定義你的術語，並務必按照反證法的四個步驟來架構你的論點。一旦你掌握了這套邏輯，你將解鎖更高層次的數學理解能力！繼續努力練習吧！