Proof

歡迎來到數學證明世界！

在大多數科目中，我們尋求證據來判斷某事是否可能正確。在數學中，我們更進一步：我們使用證明 (Proof) 來確認某事在任何情況下皆為真，不容置疑。將證明想像成一場法律訴訟，而你是律師，正運用冷靜、嚴謹的邏輯說服陪審團，證明你的論點百分之百正確。
如果起初覺得這些概念有點抽象，別擔心！我們將其拆解為四種簡單的工具，你可以利用這些工具解決 MEI H640 考試中任何關於「證明…… (Prove that...)」的題目。

1. 基礎概念：什麼是證明？

數學證明是一種正式的方式，用以展示一個陳述（稱為猜想 (Conjecture)）是正確的。它遵循一套非常具體的結構：

• 假設 (Assumptions)：我們在開始時已知或假定為真的條件（例如：「設 \(n\) 為一偶整數」）。
• 邏輯步驟 (Logical Steps)：一系列推理，其中每一步都自然地從前一步推導出來。
• 結論 (Conclusion)：證明原始觀點的最終陳述。

重點速查：關鍵術語
陳述 (Statement)：一個不是「真」就是「假」的句子。
猜想 (Conjecture)：一個被認為正確，但尚未被證明的數學陳述。
定理 (Theorem)：一個已被證明為真的猜想！

2. 演繹證明 (Proof by Deduction)

這是最常見的證明類型。你從已知事實出發，運用代數「演繹」出結果。這就像依照食譜烹飪一樣——只要步驟正確，就一定會得到正確的結果。

範例：證明任何兩個偶數之和必為偶數。

步驟 1：定義變數。
設第一個偶數為 \(2m\)，第二個偶數為 \(2n\)，其中 \(m\) 和 \(n\) 為整數。
（記憶小撇步：任何偶數都可以寫成 \(2 \times\) 某個數！）

步驟 2：進行運算。
和 = \(2m + 2n\)

步驟 3：顯示其符合定義。
提取公因數 2：\(Sum = 2(m + n)\)
由於 \(m + n\) 是整數，因此 \(2(m + n)\) 必定為一個偶數。

步驟 4：結論。
因此，兩個偶數之和必為偶數。

常見錯誤：不要僅使用具體數字（例如 \(2 + 4 = 6\)）來證明一般規則。這只是舉例 (illustration)，並非證明 (proof)。你必須使用 \(n\) 和 \(k\) 之類的字母來代表所有可能的數字。

核心重點：演繹證明使用代數直接從起點推導至終點。

3. 枚舉證明 (Proof by Exhaustion)

這個方法聽起來很累人，但其實很簡單！枚舉意味著你要測試每一個可能性，直到沒有剩餘情況為止。這僅適用於情況數量少且有限的情形。

類比：如果你想證明小房間裡的每個人都穿著鞋子，你只需要檢查每個人的腳。一旦檢查完所有人，證明就「枚舉」完畢了。

範例：證明對於 \(n \in \{1, 2, 3\}\)，\(n^2 + 2\) 不能被 4 整除。

情況 1：若 \(n = 1\)，\(1^2 + 2 = 3\)（不能被 4 整除）。
情況 2：若 \(n = 2\)，\(2^2 + 2 = 6\)（不能被 4 整除）。
情況 3：若 \(n = 3\)，\(3^2 + 2 = 11\)（不能被 4 整除）。
由於我們已經檢查了 \(n\) 的所有可能值，該陳述得證。

核心重點：當你可以將問題拆解為幾個可控的情況時，使用枚舉證明。

4. 反證法：反例 (Disproof by Counter-example)

數學是非常嚴謹的。一個規則要成立，它必須始終成立。要推翻一個猜想，你只需要找到一個不適用的例子。這稱為反例 (Counter-example)。

類比：如果有人說「所有鳥類都會飛」，你只要指出企鵝的存在就能證明他們錯了。你不需要找出每一種不會飛的鳥，只需要一個就足夠了！

範例：推翻「所有質數皆為奇數」的猜想。

反例：數字 2 是質數，但它是偶數。
因此，該猜想為假。

核心重點：一個反例就足以擊破一個數學論點。

5. 歸謬法 (Proof by Contradiction)

這是證明中的「特務」。它的思維有點反向！為了證明某事為真，你先假設它是假的，然後證明這會導致一個不可能的結果（即矛盾 (Contradiction)）。

運作方式：
1. 假設與你要證明的內容相反的情況。
2. 使用邏輯步驟進行推導，直到得出一個完全荒謬的結果（例如 \(1 = 0\)，或得出一個數字既是偶數又是奇數）。
3. 由於邏輯本身不會出錯，說明你的最初假設肯定是錯的！
4. 因此，原來的陳述必定為真。

兩大「經典」歸謬法（MEI H640 必考）

A. 證明 \(\sqrt{2}\) 是無理數

1. 假設：假設 \(\sqrt{2}\) 是有理數。這意味著它可以寫成最簡分數 \(\frac{a}{b}\)（其中 \(a\) 和 \(b\) 沒有公因數）。
2. 代數運算：\(\sqrt{2} = \frac{a}{b} \implies 2 = \frac{a^2}{b^2} \implies 2b^2 = a^2\)。
3. 推論：這意味著 \(a^2\) 是偶數，所以 \(a\) 必定是偶數。設 \(a = 2k\)。
4. 更多運算：將 \(a = 2k\) 代入：\(2b^2 = (2k)^2 \implies 2b^2 = 4k^2 \implies b^2 = 2k^2\)。
5. 衝突：這意味著 \(b^2\) 是偶數，所以 \(b\) 必定是偶數。
6. 矛盾：我們原先假設 \(\frac{a}{b}\) 是最簡分數，但我們剛證明了 \(a\) 和 \(b\) 都是偶數（所以它們都能被 2 整除！）。
7. 結論：我們的假設是錯誤的，因此 \(\sqrt{2}\) 必定是無理數。

B. 證明質數有無窮多個

1. 假設：假設質數的數量是有限的，列表為：\(p_1, p_2, ..., p_n\)。
2. 邏輯：設想一個新數字 \(N = (p_1 \times p_2 \times ... \times p_n) + 1\)。
3. 矛盾：如果你用任何「已知」的質數去除 \(N\)，餘數永遠是 1。這意味著要麼 \(N\) 本身是質數，要麼它有一個不在我們列表中的質因數。
4. 結論：永遠存在另一個質數，因此質數的數量有無窮多個。

你知道嗎？這個質數證明最初是由歐幾里得在 2,000 多年前寫下的！至今它仍被認為是歷史上最優美的證明之一。

核心重點：歸謬法通過展示相反情況的不可能性來證明一個陳述。

學生總結清單

• 我能將偶數定義為 \(2n\)，將奇數定義為 \(2n+1\) 嗎？
• 我清楚何時該使用枚舉法（情況較少時）與演繹法（一般情況）嗎？
• 我有在尋找那個能推翻理論的單一反例嗎？
• 我能重現證明\(\sqrt{2}\) 為無理數的邏輯步驟嗎？
• 我記得在證明結束時寫下清晰的總結陳述嗎？

繼續練習吧！證明是一項熟能生巧的技能，當你看過的「邏輯路徑」越多，它就會變得越容易。你一定能做到的！