Proof

歡迎來到數學證明（Mathematical Proof）的世界！

你有沒有想過，數學家是如何能 100% 肯定某個命題適用於世界上所有數字的？他們不是靠猜測，而是依靠證明（Proof）。在本章中，你將學會如何建立一個嚴密的邏輯論證。你可以把它想像成律師在法庭上辯護：你從證據（已知的事實）出發，運用邏輯推論出最終的判決（結論）。

如果起初覺得這些概念有點抽象，不用擔心！一旦你掌握了不同類型證明的「配方」，你會發現這是純數學（Pure Mathematics）中最有成就感的部分之一。

1. 什麼是數學證明？

數學證明是一個形式化的論證，用以展示某個命題是永遠正確的。它遵循特定的結構：
1. 假設（Assumptions）： 從我們已知正確的事實或定義出發。
2. 邏輯步驟（Logical Steps）： 一連串的推論，每一個步驟都必須清晰地由前一個步驟推導出來。
3. 結論（Conclusion）： 你最終要證明的命題。

快速重溫：關鍵術語
- 整數（Integer）： 沒有小數部分的數（例如 -2, 0, 5）。
- 偶數（Even Number）： 可以寫成 \(2n\) 的形式（其中 \(n\) 為整數）。
- 奇數（Odd Number）： 可以寫成 \(2n + 1\) 的形式（其中 \(n\) 為整數）。

重點提示： 證明並不是展示某個規律在幾個數字上成立；它是要展示該規律在規則範圍內的所有可能情況下都成立。

2. 演繹法證明（Proof by Deduction）

演繹法證明是最常用的方法。你從已知事實出發，運用代數來「推導」出結論。這就像偵探追蹤線索找出犯人一樣。

例子：使用配方法（Completion of the Square）

假設題目要求你證明對於所有 \(n\) 值，\(n^2 - 6n + 10\) 均為正數。

步驟 1：配方。
我們改寫該表達式：\(n^2 - 6n + 10 = (n - 3)^2 - 9 + 10\)
化簡後得：\((n - 3)^2 + 1\)

步驟 2：運用邏輯。
我們知道任何實數的平方永遠大於或等於零。
因此，\((n - 3)^2 \geq 0\)。

步驟 3：得出結論。
如果我們將一個至少為零的數加上 1，結果必然至少為 1。
因此，\((n - 3)^2 + 1 \geq 1\)，這意味著它永遠是正數。
結論： 對於所有 \(n\)，\(n^2 - 6n + 10 > 0\)。

常見錯誤： 許多學生只嘗試代入 \(n=1\) 或 \(n=2\) 等數字。雖然這能顯示規律在這些數字上成立，但這並不能證明它適用於每一個數字。你必須使用代數（如配方法）來涵蓋所有情況！

重點提示： 使用代數將一般的命題轉化為無懈可擊的事實。

3. 窮舉法證明（Proof by Exhaustion）

這個方法聽起來很累人，那是因為它需要測試每一種可能性！你只能在情況數量有限且較少時才使用此方法。

類比： 如果你想證明家裡每一個電燈開關都能運作，「窮舉法」就是你自己走到每個房間，親自按下每一個開關。

例子：奇整數之和

命題：證明若 \(x\) 和 \(y\) 是小於 7（且大於 0）的奇整數，則它們的和能被 2 整除。

步驟 1：列出所有可能性。
小於 7 的奇整數為 1, 3 和 5。

步驟 2：測試所有組合。
- \(1 + 1 = 2\)（可被 2 整除）
- \(1 + 3 = 4\)（可被 2 整除）
- \(1 + 5 = 6\)（可被 2 整除）
- \(3 + 3 = 6\)（可被 2 整除）
- \(3 + 5 = 8\)（可被 2 整除）
- \(5 + 5 = 10\)（可被 2 整除）

步驟 3：結論。
由於我們檢查了每一種可能的組合，且結果均為偶數，命題得證。

你知道嗎？ 電腦曾利用窮舉法解決了著名的「四色地圖定理」。當時需要檢查近 2,000 種情況，這對人類來說太多了，但對電腦而言卻輕而易舉！

重點提示： 如果數字組別很小，直接全部測試一遍吧！

4. 反例證明（Disproof by Counter-Example）

有時候題目會要求你證明一個命題是錯誤的。要做到這一點，你只需要找到一個例子證明該命題不成立即可。這被稱為反例（Counter-example）。

類比： 如果有人聲稱「所有的汽車都是紅色的」，你不需要查看世界上每一輛車來反駁他。你只需要指出一輛藍色的車就足夠了。

例子：質數

命題：「表達式 \(n^2 - n + 1\) 對於所有 \(n\) 值均為質數。」

步驟 1：嘗試 \(n\) 的小數值。
- 若 \(n = 1\)：\(1^2 - 1 + 1 = 1\)（注意：1 實際上不是質數，所以這已經是一個反例！）
- 若 \(n = 2\)：\(2^2 - 2 + 1 = 3\)（質數）
- 若 \(n = 3\)：\(3^2 - 3 + 1 = 7\)（質數）
- 若 \(n = 5\)：\(5^2 - 5 + 1 = 21\)

步驟 2：找出錯誤所在。
等等！\(21\) 不是質數，因為 \(3 \times 7 = 21\)。

步驟 3：結論。
由於該命題在 \(n = 5\) 時不成立，因此「對於所有 \(n\) 值均為質數」這個命題是錯誤的。

快速重溫：常見反例
當尋找反例時，請務必先嘗試這些「狡猾」的數字：
- 0
- 1
- 負數（例如 -1）
- 分數（介於 0 和 1 之間）

重點提示： 一個「失敗」的例子就足以推翻一個普遍的數學主張。

總結檢查清單

在完成本章之前，請確保你能：
- [ ] 使用演繹法（代數）證明諸如「偶數 + 偶數 = 偶數」之類的命題。
- [ ] 使用配方法來證明一個表達式永遠為正數。
- [ ] 使用窮舉法檢查有限的數字列表。
- [ ] 找到反例來顯示命題為假。

記住：證明講求精確，最後一定要清楚寫出你的結論！