歡迎來到數學證明的世界！
你好！準備好成為一名數學偵探了嗎？證明是 AQA A-Level 數學課程中最核心的組成部分之一。大多數數學課題都在於「計算」出答案，但證明則在於「驗證」為什麼一個規則對於宇宙中所有的數字都必然成立。
你可以把證明想像成一場法庭訴訟：你不能單憑一句話就斷定某人有罪，你必須提供環環相扣、無懈可擊的證據鏈。在這個章節中，我們將學習如何建立這條證據鏈，確保沒人能挑出你邏輯中的漏洞。
1. 基礎入門：掌握「數學語言」
在開始構建證明之前，我們需要先了解其中的「基本單元」。在數學中，我們使用特定的字母和術語來表示不同類型的數字。
必須掌握的關鍵詞：
• 整數 (Integers)： 整數（... , -2, -1, 0, 1, 2, ...）。我們通常用 \(n\) 或 \(m\) 來代表一個整數。
• 偶數 (Even Numbers)： 任何可以寫成 \(2n\) 形式的數（其中 \(n\) 為整數）。
• 奇數 (Odd Numbers)： 任何比偶數大（或小）1 的數，寫作 \(2n + 1\) 或 \(2n - 1\)。
• 連續整數 (Consecutive Integers)： 相連的數字，例如 \(n, n+1, n+2\)。
• 有理數 (Rational Numbers)： 可以寫成分數 \(\frac{p}{q}\) 形式的數字。
快速重溫： 看到 \(2n\)，就聯想到「偶數」；看到 \(2n+1\)，就聯想到「奇數」。這個簡單的技巧就是許多證明的「骨架」！
2. 演繹法證明 (Proof by Deduction)
演繹法證明是最常見的方法。你從已知事實（例如上述定義）出發，通過邏輯步驟推導出最終結論。
步驟拆解範例：
證明：任意兩個偶數之和必為偶數。
第一步：定義你的數字。
設第一個偶數為 \(2n\)，第二個偶數為 \(2m\)，其中 \(n\) 和 \(m\) 為整數。
第二步：進行運算。
將它們相加：\(2n + 2m\)。
第三步：因式分解以顯示規律。
\(2n + 2m = 2(n + m)\)。
第四步：總結。
由於 \((n + m)\) 是一個整數，因此 \(2(n + m)\) 符合偶數的定義。證明完成！
常見錯誤： 除非題目明確指出這兩個數字相同，否則不要對兩個數使用同一個字母（如 \(2n + 2n\)）。使用 \(n\) 和 \(m\) 才能保證證明具有普遍性！
關鍵總結： 演繹法就是利用代數運算，根據定義證明某個陳述「必須」為真。
3.窮舉法證明 (Proof by Exhaustion)
這個方法聽起來很累，事實上也確實如此！窮舉法證明是指將問題拆解成所有可能的情況，並逐一進行驗證。
比喻： 想像一下，你要證明家裡所有的燈泡都能正常運作。窮舉法就是走進每一個房間，按下每一個開關。
範例：
證明：對於所有 \(n \leq 3\) 的正整數，\(n^2 + n\) 均為偶數。
情況 1 (\(n=1\))： \(1^2 + 1 = 2\)（偶數）
情況 2 (\(n=2\))： \(2^2 + 2 = 6\)（偶數）
情況 3 (\(n=3\))： \(3^2 + 3 = 12\)（偶數）
所有情況均為偶數，因此該陳述已通過窮舉法得到證明。
何時使用？ 當需要檢查的可能性很少，或者可以將所有數字分為兩類（如「偶數」與「奇數」）時，請使用此方法。
4. 反例證偽 (Disproof by Counter-example)
這是最「簡單」的證明類型。要推翻一個陳述，你只需要找到一個不成立的例子即可。
冷知識： 在數學中，「總是」意味著 100% 的情況。只要失敗一次，整個陳述在數學上就被定義為「假 (False)」。
範例：
推翻以下陳述：「所有質數皆為奇數。」
反例： 考慮數字 2。2 是一個質數，但它是偶數。因此，該陳述為假。
關鍵總結： 反例證偽不需要複雜的公式。只要找到一個「叛逆」的數字來打破規則就夠了！
5. 反證法 (Proof by Contradiction)
這是一種聰明的「逆向心理」方法。如果一開始覺得困難也不要灰心，這確實有點燒腦！
運作原理：
1. 假設該陳述是錯誤的。
2. 運用邏輯推導，直到遇到「數學災難」（即矛盾之處）。
3. 既然你的邏輯過程完美無缺，那麼唯一的錯誤必然在於最初的假設。
4. 因此，原陳述必須是正確的。
著名範例：\(\sqrt{2}\) 是無理數
1. 假設相反情況： 假設 \(\sqrt{2}\) 是「有理數」。這意味著 \(\sqrt{2} = \frac{p}{q}\)，且該分數處於最簡形式（沒有公因數）。
2. 兩邊平方： \(2 = \frac{p^2}{q^2}\)，這意味著 \(p^2 = 2q^2\)。
3. 邏輯推理： 這代表 \(p^2\) 是偶數，所以 \(p\) 也必須是偶數。設 \(p = 2k\)。
4. 代入： \((2k)^2 = 2q^2 \implies 4k^2 = 2q^2 \implies 2k^2 = q^2\)。
5. 崩潰點： 這意味著 \(q^2\) 也是偶數，所以 \(q\) 也必須是偶數。
6. 矛盾： 如果 \(p\) 和 \(q\) 都是偶數，則分數 \(\frac{p}{q}\) 並非最簡形式！這與我們第一步的假設產生了矛盾。
7. 結論： 我們的假設錯誤，因此 \(\sqrt{2}\) 必定是無理數。
關鍵總結： 反證法非常適合證明某事「不存在」或「不是某種性質」（例如「不是有理數」或「不是有限的」）。
考試成功的快捷小貼士
• 細心審題： 題目說的是「對於所有整數」還是「對於所有正整數」？零和負數往往是絕佳的反例來源！
• 說明顯而易見的事實： 永遠寫出總結句，例如「由於這是 2 的倍數，該表達式即為偶數」。
• 保持冷靜： 如果被證明題卡住了，先代入幾個數字試試。這有助於你觀察規律以進行演繹，或者幫你找到一個反例。
最終總結清單：
• 演繹法： 利用代數，從起點推導到終點。
• 窮舉法： 檢查所有情況或群組。
• 反例： 找到一個「失敗」的例子來推翻理論。
• 反證法： 假設相反情況，並找出邏輯矛盾。