歡迎來到數學證明（Mathematical Proof）的世界！
在過去的數學學習中，你大部分時間都在解題以求出一個「數值」。但在純數二（P2）的證明章節裡，我們的焦點將會改變。與其只求出答案，我們將學習如何保證一個命題在任何情況下都成立（或指出它為何錯誤）。
你可以把數學證明想像成律師在法庭上進行辯論。你不能只說「我覺得它是對的」，你需要提供一連串的邏輯步驟，從我們已知為真的前提（假設）出發，最後導出一個堅實的結論。如果一開始覺得這種「數學邏輯」有點抽象，不用擔心，這是一項你透過練習就能愈來愈熟練的技巧！
1. 甚麼是數學證明？
證明是一種邏輯論證，用以顯示一個數學命題對所有可能的情況都成立。在你的 IAL P2 考試中，你需要學會如何運用清晰、分步驟的推理來建立這些論證。
預備知識檢測：你需要知道的數
在開始之前，我們先釐清一些基本詞彙：
• 整數 (Integers)： 即沒有小數部分的數（例如 \( -2, 0, 5, 100 \)）。
• 偶數 (Even Numbers)： 任何可以寫成 \( 2n \) 的數，其中 \( n \) 為整數。
• 奇數 (Odd Numbers)： 任何可以寫成 \( 2n + 1 \)（或 \( 2n - 1 \)）的數。
• 質數 (Prime Numbers)： 大於 1 且只有兩個因數的數，即 1 和它本身（例如 \( 2, 3, 5, 7, 11 \)）。
2. 枚舉證明法 (Proof by Exhaustion)
這可能是最直觀的證明方法。枚舉證明法意味著你需要測試每一種可能的情況，以顯示該命題對所有情況皆成立。
比喻： 想像有人說：「這個房間裡所有的電燈開關都能用。」為了用枚舉法證明這一點，你會走遍房間，把每一個開關逐一按下去。如果它們都能開燈，你就證明了該命題！
例題：奇整數之和
課程例題：假設 \( x \) 和 \( y \) 是小於 7 的奇整數。證明它們的和必定能被 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 整除，該命題即得證。
快速複習：何時使用枚舉法？
當只有少量的情況需要檢查時，才使用此方法。如果題目要求「對於所有實數」，你就不能使用枚舉法，因為實數有無窮多個！
3. 反例證偽法 (Disproof by Counter-Example)
有時候，你不是要證明某事為真，而是要證明它是錯誤的。這稱為反證（Disproof）。
要證明一個命題為假，你只需要找到一個例子證明它不成立即可。這個單一例子稱為反例 (Counter-example)。
比喻： 如果有人聲稱：「這所學校的每個學生都戴眼鏡」，你不需要檢查每一個學生來證明他是錯的。你只需要找到一位不戴眼鏡的學生。那位學生就是你的反例。
例題：質數公式
課程例題：證明「對於所有 \( n \) 的值，\( 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 = 4 \)：\( 4^2 - 4 + 1 = 13 \)（質數）
• 若 \( n = 5 \)：\( 5^2 - 5 + 1 = 21 \)。(啊哈！\( 21 = 3 \times 7 \)，所以它不是質數)。
步驟 2：清晰陳述結論。
「當 \( n = 5 \) 時，\( n^2 - n + 1 = 21 \)。由於 21 不是質數，因此該命題為假。」
你知道嗎？
在數學中，即使一條規則對一萬億個數都成立，但只要它在第一萬億零一個數時失敗，整條規則就被視為錯誤。數學對真理的要求是非常嚴格的！
4. 常見錯誤避坑指南
1. 使用單一例子來「證明」： 你可以使用一個例子來證偽（反例），但你不能使用一個例子來證明一般規則。例如，顯示 \( 2 + 4 = 6 \) 並不能證明「任意兩個偶數之和為偶數」。你需要更一般的代數證明才能完成。
2. 枚舉法遺漏情況： 如果你在枚舉證明中忘記檢查哪怕一種可能性，你的證明就是不完整的，這會導致失分。
3. 假設規律會一直持續： 不要因為公式對 \( n = 1, 2, 3 \) 成立，就假設它對所有 \( n \) 都成立。請務必看清題目要求你進行證明還是證偽。
5. 總結與重點摘要
• 數學證明： 一連串邏輯步驟，用以顯示一個命題永遠為真。
• 枚舉證明法： 將問題拆解為所有可能的情況並逐一測試。最適合數值數量較少的情況。
• 反例證偽法： 只要找到一個不成立的情況，就能證明整個命題為假。
• 精確性： 使用明確的標籤（例如「情況 1」、「情況 2」），並務必以「因此，該命題為真/假」作為結尾。
如果這看起來有點抽象，別擔心！證明與你之前做的代數題相比，是一種截然不同的思考方式。記住：枚舉法 = 檢查所有情況；反例 = 找出一個錯誤。你一定能做到的！