歡迎來到數學證明的世界！
你有沒有想過，為什麼數學家對某些規則總是萬無一失感到如此確信？在大多數科目中，我們尋找的是證據；但在數學中，我們尋求的是證明 (Proof)。證明是一個邏輯論證，用以表明一個命題對於所有可能的情況，永遠都是 100% 正確的！
在你的 Paper 2 考試中，你需要展示你能夠一步步建立這些論證。如果起初覺得這是一種全新的思維方式，請不要擔心——這就像是從我們已知的事實，搭建出一座通往我們想要證明之結論的橋樑。
1. 證明的組成基礎
在我們開始「搭建」之前，需要先備齊材料。在數學證明中，我們使用邏輯演繹 (Logical deduction)。這意味著我們從已知的事實（假設）出發，運用清晰且具邏輯性的步驟，來推導出結論。
必須了解的關鍵術語：
- 命題 (Statement)： 一個數學句子，其性質非真即假。
- 恆等式 (Identity，\( \equiv \))： 對於變數的所有值均成立的式子。例如，\( 2(x + 1) \equiv 2x + 2 \)。
- 猜想 (Conjecture)： 一個數學上的「直覺」，或者看起來正確但尚未經過證明的命題。
小貼士： 在撰寫證明時，務必先清楚說明你的假設，並以「因此，該命題成立」這類總結性語句作為結尾。
2. 演繹證明 (Proof by Deduction)
演繹證明是最常見的方法。你從已知事實出發，利用代數進行「推導」以得出結果。這就像跟著食譜做菜——只要食材正確且步驟精確，你就一定能得出相同的結果。
先修概念：代數中的數值
要證明關於數的問題，我們需要一種通用的表示方式：
- 偶數 (Even number) 永遠是 2 的倍數。我們將其寫作 \( 2n \)（其中 \( n \) 為任意整數）。
- 奇數 (Odd number) 永遠比偶數大 1。我們將其寫作 \( 2n + 1 \)。
- 連續整數 (Consecutive integers) 是指緊接在一起的數字，例如 \( n \) 和 \( n + 1 \)。
範例：證明任意兩個偶數的和必為偶數。
第 1 步：定義數值。 設第一個偶數為 \( 2n \)，第二個為 \( 2m \)。 (我們使用不同的字母，因為這兩個數不一定相同！)
第 2 步：相加。 和 = \( 2n + 2m \)。
第 3 步：因式分解。 提取公因子 2： \( 2(n + m) \)。
第 4 步：結論。 由於 \( n + m \) 為整數，因此 \( 2(n + m) \) 必為 2 的倍數。因此，其和為偶數。 Q.E.D. （這是拉丁文，意思是「證畢」！）
你知道嗎？ "Q.E.D." 代表 Quod Erat Demonstrandum，意即「這就是所要證明的」。這是數學家宣告大功告成的帥氣方式！
重點總結：
在演繹證明中，請使用像 \( 2n \) 這樣的通用代數式，而不是 2 或 4 這樣的具體數字。具體數字無法證明該規則適用於所有情況！
3. 窮舉法證明 (Proof by Exhaustion)
有時代數過程可能較繁瑣，但可能性範圍卻很小。窮舉法證明是指你檢查每一種可能的情況，直到將其「窮盡」為止。
類比： 如果你想證明一條走廊上的每扇門都是鎖上的，你不需要複雜的理論——你只需要親手去拉動每一扇門的把手即可！
範例：證明對於 \( 1 \leq n \leq 3 \)，\( n^2 + 2 \) 不能被 4 整除。
由於 \( n \) 只能是 1、2 或 3，我們逐一檢查：
- 若 \( n = 1 \)： \( 1^2 + 2 = 3 \) (不能被 4 整除)
- 若 \( n = 2 \)： \( 2^2 + 2 = 6 \) (不能被 4 整除)
- 若 \( n = 3 \)： \( 3^2 + 2 = 11 \) (不能被 4 整除)
結論： 所有可能的情況均已測試，命題成立。
常見錯誤： 學生常試圖對「所有質數」或「所有整數」使用窮舉法。只有在你要測試的群體是有限的（有明確的起點和終點）時，才能使用這種方法。
重點總結：
當只有少量情況需要測試時，請使用窮舉法。請清楚列出每一種情況，讓閱卷老師能看出你沒有遺漏任何可能性！
4. 反證法 (Disproof by Counter-Example)
證明某事對於所有情況都成立是很困難的，但要證明某事是錯誤的卻簡單得多！你只需要找到一個例子，證明該命題不成立即可。這稱為反例 (Counter-Example)。
類比： 如果有人宣稱「所有的鳥都會飛」，你不需要檢查全世界所有的鳥，你只需要指著一隻企鵝。這隻企鵝就是打破規則的反例。
範例：反駁「對於所有正整數 \( n \)，\( n^2 + n + 1 \) 均為質數」這一命題。
讓我們代入一些數值試試：
- 若 \( n = 1 \)： \( 1^2 + 1 + 1 = 3 \) (質數)
- 若 \( n = 2 \)： \( 2^2 + 2 + 1 = 7 \) (質數)
- 若 \( n = 3 \)： \( 3^2 + 3 + 1 = 13 \) (質數)
- 等等！讓我們試試 \( n = 4 \)： \( 4^2 + 4 + 1 = 21 \)。
結論： 21 不是質數（它是 \( 3 \times 7 \)）。因此，\( n = 4 \) 是一個反例，該命題為假。
快速回顧：
證明 (To Prove)： 你必須展示它適用於所有情況（演繹法/窮舉法）。
反駁 (To Disprove)： 你只需要找到一個失敗的例子（反例）。
5. Paper 2 的實用技巧
當你在 AQA 考試中看到「證明」題目時，請記住以下策略：
- 仔細閱讀符號： 題目是指 \( n \) 為「整數」(integer)、「實數」(real number) 還是「自然數」(natural number)？這會影響你可以使用的數值範圍！
- 展示每一個步驟： 閱卷老師會給予邏輯推導過程分數。不要跳過那些看似「顯而易見」的部分。
- 使用正確的用語： 像「設... (Let...)」、「假設... (Assume...)」、「由於... (Since...)」和「因此... (Therefore...)」這樣的詞彙，能幫助閱卷者跟上你的邏輯思路。
- 不要慌張！ 如果你看不出代數證明（演繹法），試著代入一些數字，看看能否找到規律或反例。
總結表：我該使用哪種方法？
演繹法 (Deduction)： 當你需要用代數證明某事適用於所有數字時使用。
窮舉法 (Exhaustion)： 當你有一個小型、有限的數字列表需要檢查時使用。
反例 (Counter-Example)： 當題目要求你「證明該命題為假」時使用。
繼續練習吧！證明就像拼圖——一旦你找到了關鍵的邏輯板塊，其餘的部分自然就會拼湊起來。