歡迎來到數學證明的世界！
在你目前的數學學習之旅中，你已經解過無數的方程，畫過不少圖形。但你曾經停下來問過：「我們怎麼知道這個結論永遠成立？」
這正是證明 (Proof) 的重要性所在。在本單元（P2）中，你將學習如何從「看起來好像是對的」轉變為「它 100% 一定是對的」。把自己想像成一位數學律師——你不是在猜測，而是正在運用無懈可擊的邏輯來建立證據！
1. 數學證明的結構
證明是一個邏輯論證，用來證明一個陳述在所有可能的情況下皆成立。它遵循一個非常明確的路徑：
- 假設 (Assumptions)：從已知成立的事實（定義或定理）開始。
- 邏輯步驟 (Logical Steps)：使用代數或邏輯從一步推導到下一步。
- 結論 (Conclusion)：以你要證明的那條陳述作為結尾。
前置概念：偶數與奇數
在開始之前，你必須掌握如何用代數方式表示偶數和奇數。這在考試中是一個至關重要的「技巧」：
- 偶數 (Even number) 永遠是 2 的倍數。我們將其寫作 \( 2n \)。
- 奇數 (Odd number) 永遠比偶數大（或小）1。我們將其寫作 \( 2n + 1 \)（或 \( 2n - 1 \)）。
快速複習：要證明某數為偶數，請證明它可以寫成 \( 2 \times (\dots) \) 的形式；若要證明它是奇數，請證明它可以寫成 \( 2 \times (\dots) + 1 \) 的形式。
2. 窮舉法證明 (Proof by Exhaustion)
別擔心，這並不代表數學會讓你筋疲力盡！窮舉法證明只是指你「窮盡」了所有可能性。你將問題拆解為所有可能的情況，並逐一證明該陳述在每一種情況下皆成立。
何時使用？
當只有有限數量的案例需要檢查時，請使用此方法。
逐步範例：
題目：假設 \( x \) 和 \( y \) 是大於 0 且小於 7 的奇整數。證明它們的和 \( x + y \) 永遠能被 2 整除。
步驟 1：列出 \( x \) 和 \( y \) 的所有可能性。
這些奇整數為 {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 整除，該陳述已由窮舉法證明。
常見錯誤：遺漏了某種情況。如果題目提到「\( x \) 和 \( y \)」，除非題目說明是「相異整數 (distinct integers)」，否則通常代表它們可以是同一個數（例如 \( 1 + 1 \)）。
3. 反例證偽 (Disproof by Counter-Example)
有時候，一個數學陳述是錯誤的。要證明一個陳述為假，你不需要檢查所有情況，只需要找到一個不成立的例子即可。這被稱為反例 (Counter-example)。
「黑天鵝」類比
如果有人說：「所有的天鵝都是白色的，」你不需要觀察世界上每一隻天鵝來證明他是對的。但只要你找到一隻黑天鵝，你就證明了他的陳述是錯的。那隻黑天鵝就是你的反例！
逐步範例：
題目：證偽該陳述：「對於所有正整數 \( 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 = 5 \) 時：\( 5^2 - 5 + 1 = 21 \)
步驟 2：指出錯誤之處。
觀察 \( n = 5 \) 時的結果是 21。我們知道 \( 21 = 3 \times 7 \)，所以 21 不是質數。
步驟 3：清晰地陳述結論。
當 \( n = 5 \) 時，\( n^2 - n + 1 = 21 \)，這並非質數。因此，該陳述透過反例證明為假。
你知道嗎？你只需要一個反例，就能推翻一個在數百萬種其他情況下皆成立的理論！
4. 直接證明 (Direct Proof / Deduction)
雖然課程大綱強調窮舉法和反例，但你還需要理解證明的基本結構。這通常涉及運用代數來證明某事在一般情況下永遠為真。
範例：證明兩個奇數的乘積永遠是奇數。
步驟 1：定義你的數字。
設第一個奇數為 \( 2n + 1 \)，第二個奇數為 \( 2m + 1 \)。
步驟 2：將它們相乘。
\( (2n + 1)(2m + 1) = 4nm + 2n + 2m + 1 \)
步驟 3：提取 2 作為公因數。
\( 2(2nm + n + m) + 1 \)
步驟 4：得出結論。
由於結果的形式為 \( 2(\text{整數}) + 1 \)，因此其乘積必定為奇數。
總結檢查清單
- 證明 (Proof)：達到結論的一連串邏輯步驟。
- 窮舉法證明 (Proof by Exhaustion)：測試每一種可能的情況（僅適用於有限集合）。
- 反例 (Counter-example)：找到一個不符合規則的情況，即可證明整個陳述為假。
- 關鍵術語：整數 (Integer)、有理數 (Rational)、恆等式 (Identity)（對所有數值皆成立的式子）。
最後小貼士：完成證明後，傳統上會寫上 Q.E.D. 或者畫一個小方塊 \( \square \)。它代表拉丁文 "Quod Erat Demonstrandum"，意思是：「我已經證明了我所要證明的內容！」你一定沒問題的！