歡迎來到數學證明（Mathematical Proof）的世界！
你有沒有試過跟別人爭論，明明心裡知道自己是對的，但卻必須一步一步解釋「為什麼」，才能說服對方？這正是數學證明（mathematical proof）的精髓！在純數（Pure Mathematics, XPM01）的世界裡，證明是真理的黃金標準。我們不能只說某個理論「通常有效」；我們想要展示的是，它在任何情況下都必然成立。
在這一章中，我們將學習如何建立邏輯論證，並掌握兩種處理數學命題的特定方法：窮舉法（Proof by Exhaustion）和反證法（Disproof by Counter-Example，又稱反例法）。別擔心，剛開始接觸這些概念可能會覺得有點抽象——一旦你看懂了當中的規律，解題就像拼圖一樣有趣！
1. 證明的邏輯
證明是一種將數學命題顯示為正確的形式化方法。為了做到這一點，我們需要遵循特定的路徑：
1. 假設（Assumptions）： 從你已知正確的事實開始（例如偶數的定義）。
2. 邏輯步驟（Logical Steps）： 利用代數或邏輯推演，一步步由已知推向未知。
3. 結論（Conclusion）： 導出你想要證明的最終命題。
重點溫習：必須記住的術語
• 整數（Integers）： 像 \(... -2, -1, 0, 1, 2 ...\) 這樣的數。
• 偶數（Even Numbers）： 可寫成 \( 2n \) 的形式（其中 \( n \) 為整數）。
• 奇數（Odd Numbers）： 可寫成 \( 2n + 1 \) 或 \( 2n - 1 \) 的形式。
• 連續整數（Consecutive Numbers）： 按順序排列的數，如 \( n \) 和 \( n + 1 \)。
核心要點： 一個證明就是一條邏輯鏈。只要鏈上的每一環都堅不可摧，你的結論就是已證明（proven）的！
2. 窮舉法（Proof by Exhaustion）
想像一下，你手裡有一個裝著 5 顆彩色彈珠的小袋子，你想證明它們全是藍色的。最簡單的方法是什麼？把每一顆彈珠都拿出來檢查一遍。這就是窮舉法。
在數學中，當我們只有有限數量的個案需要檢查時，就會使用這種方法。你需要測試每一種可能性，以證明該命題對所有情況都成立。
例子：奇整數之和
問題：假設 \( x \) 和 \( y \) 為大於 0 且小於 7 的奇整數。請利用窮舉法證明，它們的和 \( x + y \) 永遠為偶數。
第 1 步：列出所有可能的值。
由於數值必須是奇數且介於 0 和 7 之間，因此 \( x \) 和 \( y \) 的可能值為：\( \{1, 3, 5\} \)。
第 2 步：測試所有組合。
• 個案 1： \( 1 + 1 = 2 \)（偶數）
• 個案 2： \( 1 + 3 = 4 \)（偶數）
• 個案 3： \( 1 + 5 = 6 \)（偶數）
• 個案 4： \( 3 + 3 = 6 \)（偶數）
• 個案 5： \( 3 + 5 = 8 \)（偶數）
• 個案 6： \( 5 + 5 = 10 \)（偶數）
（註：我們不需要檢查 \( 3 + 1 \)，因為這與 \( 1 + 3 \) 的結果相同。）
第 3 步：結論。
既然我們已經檢查了每一種可能的組合，且結果始終為偶數，該命題已得證！
常見錯誤： 遺漏了其中一個個案！如果你漏掉任何一種可能性，你的證明就不是「窮舉」的，這是不完整的。
核心要點： 當你需要測試的項目數量很少且容易處理時，請使用窮舉法。
3. 反證法（Disproof by Counter-Example）
如果有人對你說：「世界上每個人都喜歡吃巧克力」，為了證明他是錯的，你需要採訪地球上的每一個人嗎？不需要！你只需要找到一個人是不喜歡吃巧克力的就夠了。
這就是反證法（反例法）。在數學中，要證明一個命題是錯誤的，你只需要提供一個該命題失效的例子即可。
例子：質數（Prime Numbers）
問題：請反證以下命題：「對於所有正整數 \( n \)，\( n^2 - n + 1 \) 都是質數。」
第 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 = 4 \)： \( 4^2 - 4 + 1 = 13 \)。 （質數）
第 2 步：找出一個明確的失敗例子。
讓我們試試 \( n = 11 \)：
\( 11^2 - 11 + 1 = 121 - 11 + 1 = 111 \)。
111 是質數嗎？檢查一下： \( 1 + 1 + 1 = 3 \)，所以 111 可以被 3 整除（\( 3 \times 37 = 111 \)）。因此，111 不是質數。
第 3 步：清晰地寫出結論。
「當 \( n = 11 \) 時，\( n^2 - n + 1 = 111 \)，其並非質數。因此，該命題為假。」
你知道嗎？
在數學中，「所有」代表 100% 的情況。即使一個規則對十億個數字都有效，只要它在「十億零一個」數字上失敗了，整個命題就會被視為錯誤！
核心要點： 要反證一個命題，你不需要一長串的代數推導。你只需要找出一隻「黑天鵝」——一個能打破規律的例子即可。
4. 總結與成功秘訣
快速策略指南：
• 如果題目要求你「證明...（Prove that...）」並且給你一個有限的數字範圍，請使用窮舉法。
• 如果題目要求你「反證...（Disprove that...）」或「證明該命題是不正確的...」，請尋找一個反例。
• 當你需要尋找反例時，請優先嘗試代入 0、1、2 或負數。這些數字通常是最容易打破規則的地方！
最後的鼓勵：
證明過程就像是在當數學偵探。你在尋找證據來支持真理，或者揭露謊言。請保持耐心，清晰地列出你的個案，並務必解釋為什麼你的最終結果確認或推翻了開頭的命題。你一定做得到的！