歡迎來到數學證明（Mathematical Proof）的世界！
在你目前的數學學習歷程中，你已經解過數百條方程式，畫過數十個圖表。但你有沒有停下來問過：「我們如何得知這些規則對於每一個數字都確實成立？」
這就是證明（Proof）派上用場的時候了！證明是數學的核心。它是一個運用邏輯來展示一個陳述（statement）在任何情況下都百分之百正確的過程。在純數學 2 (Pure Mathematics 2, P2) 的這一章中，我們將學習如何建立紮實的論證，以及如何拆解一個站不住腳的論點。
如果這看起來比其他數學課題「文字化」許多，別擔心。一旦你看出了當中的規律，它就會變成一個非常有成就感的謎題！
1. 數學證明的結構
數學證明就像食譜或法律辯論。你不能直接跳到結尾；你必須遵循特定的邏輯步驟才能抵達目標。每個證明通常都遵循這個流程：
1. 假設（Assumptions）： 從你已知為真的事實或定義開始。
2. 邏輯步驟（Logical Steps）： 運用代數和邏輯從一步推導至下一步。
3. 結論（Conclusion）： 得出你試圖證明的陳述。
必須知道的關鍵術語
• 陳述（Statement）： 一個數學句子，其要麼為真，要麼為假（例如：「兩個偶數之和為偶數」）。
• 猜想（Conjecture）： 我們認為是真的，但尚未被證明的數學陳述。
• 定理（Theorem）： 已經被證明為真的陳述。
快速複習：基礎知識
在我們開始進行證明之前，先記住我們經常用的兩個定義：
• 偶數（Even Number）可以寫成 \( 2n \)，其中 \( n \) 為整數。
• 奇數（Odd Number）可以寫成 \( 2n + 1 \)，其中 \( n \) 為整數。
重點： 證明只是一座邏輯橋樑，用來連接「我們已知的東西」與「我們想要展示的東西」。
2. 窮舉法（Proof by Exhaustion）
這聽起來很累人，對吧？但窮舉法實際上只是指「檢查每一個可能性」。
當只有有限數量的案例需要檢查時，我們就會使用這種方法。如果你檢查了每一個案例，且該陳述在所有案例中皆成立，那麼整個陳述就得證了。
類比：走廊與門
想像你在一條只有五扇門的走廊裡。如果你想證明「這條走廊的每一扇門都鎖上了」，你只需要走到每一扇門前試著打開它們。一旦你檢查完這五扇門，你的證明就完成了！
範例：課程挑戰
證明：若 \( x \) 和 \( y \) 是 \( x < 7 \) 且 \( y < 7 \) 的奇整數，則它們的和能被 2 整除。
第 1 步：列出所有可能性。
小於 7 的奇整數為 1、3 和 5。
第 2 步：測試 \( x \) 和 \( y \) 的每一種組合。
• \( 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 步：得出結論。
由於我們檢查了每一種可能的組合，且其和皆為偶數，該陳述已通過窮舉法得證。
避免常見錯誤
最常見的錯誤就是遺漏了某個案例。如果有 6 種可能的組合，而你只檢查了 5 種，你的證明就是無效的！務必先列出清單，以確保沒有遺漏。
重點： 當可能性數量少到可以逐一列出並檢查時，請使用窮舉法。
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 \)。(不是質數！\( 3 \times 7 = 21 \))
第 2 步：提出你的反例。
「當 \( n = 5 \) 時，\( n^2 - n + 1 = 21 \)。由於 21 不是質數，該陳述為假。」
重要提示：保持簡單！
如果你發現了一個很大的反例也不必擔心，但通常考官設計題目時，會讓小數字（如 0、1、2 或 5）就能奏效。請務必先從最簡單的數字開始測試！
重點： 你不需要解釋為什麼一個陳述通常是錯的；你只需要展示一個它不成立的實例即可。
單元 P2 證明總結
• 數學證明運用邏輯步驟和明確的定義（例如用 \( 2n \) 表示偶數）。
• 窮舉法意味著檢查每一個案例。它只適用於案例數量很少的情況。
• 反例證偽法是推翻錯誤主張最快的方法。只要找到一個不成立的案例，該陳述就被正式推翻了。
• 在結論中務必保持清晰。清楚陳述你證明了什麼！
繼續練習吧！證明是一項技能，只要你越常「說」邏輯的語言，它就會變得越容易。你一定做得到的！