歡迎來到數學證明的世界！
你有沒有試過在爭論中明明知道自己是對的，卻說不出個所以然來？在數學中，證明 (Proof) 就是贏得這場「辯論」的終極武器。它是一座邏輯「橋樑」，將我們已知的事實連接到一個必然成立的結論。
在本章中，我們將學習如何從「看起來好像是對的」邁向「我已經證明它永遠成立」。這可是所有高等數學的基石！
1. 基礎架構：什麼是證明？
數學證明是一連串的邏輯步驟，從假設 (Assumptions)（我們已知為真的事物）出發，推導出結論 (Conclusion)。一旦某個命題被證明，它就會成為一個定理 (Theorem)。
別擔心，剛開始覺得有點複雜是很正常的！ 證明就像是跟隨食譜。只要你準備好正確的材料並按照步驟操作，每次都能得出正確的結果。
預備知識：偶數與奇數
為了對數值進行證明，我們需要用「數學語言」來定義「偶數」和「奇數」：
- 偶數： 總是可以寫成 \( 2n \) 的形式，其中 \( n \) 是任何整數 (\( \dots, -2, -1, 0, 1, 2, \dots \))。
- 奇數： 總是在偶數的基礎上加 1，因此我們寫作 \( 2n + 1 \)。
- 整數： 我們經常用符號 \( \mathbb{Z} \) 來代表所有整數的集合。
溫故知新： 如果 \( n \) 是一個整數，那麼 \( 2n \) 必定是偶數，而 \( 2n + 1 \) 必定是奇數。
2. 演繹證明 (Proof by Deduction)
演繹證明（也稱為直接證明）是最常用的方法。你從已知事實出發，利用代數或邏輯來達到目標。可以把它想像成一個偵探利用線索建立案情的過程。
逐步示範
證明任何兩個偶數之和必定為偶數。
第一步：利用代數定義你的數值。
設第一個偶數為 \( 2n \)，第二個偶數為 \( 2m \)，其中 \( n \) 和 \( m \) 皆為整數。
第二步：進行題目要求的運算（求和）。
和 = \( 2n + 2m \)
第三步：因式分解以展示其性質。
我們可以提出公因數 2： \( 2(n + m) \)
第四步：陳述你的結論。
由於 \( n + m \) 是一個整數，\( 2(n + m) \) 符合偶數的定義。因此，兩個偶數之和必定為偶數。證明完畢！
常見錯誤
當證明適用於任意兩個數時，千萬不要使用同一個字母！如果你同時使用 \( 2n \) 和 \( 2n \)，你只證明了當這兩個數相等時的情況。請使用 \( 2n \) 和 \( 2m \) 來保持它們的普遍性。
重點總結： 演繹法利用代數來展示一個陳述對於每一個可能的值都是正確的。
3. 窮舉法 (Proof by Exhaustion)
有時候，我們無法寫出通用的代數證明。如果只有少數幾種情況需要檢查，你大可把它們全部檢查一遍！這就叫做窮舉法。
比喻： 如果你想證明客廳裡的每個燈掣都能運作，你不需要複雜的電路圖，只需要親自走過去，把每個燈掣都撥一遍就行了。
範例
證明對於所有滿足 \( 1 \leq n \leq 3 \) 的整數 \( n \)，\( n^2 + 2 \) 都是質數。
在這個例子中，我們關心的「數值範圍」非常小：\( n \) 只可能是 1, 2 或 3。
- 情況 1： 當 \( n = 1 \) 時，\( 1^2 + 2 = 3 \)。(3 是質數！)
- 情況 2： 當 \( n = 2 \) 時，\( 2^2 + 2 = 6 \)。等等！ 6 不是質數。
（自我糾正：如果其中一個情況失敗，該命題就是錯誤的。如果命題是「證明 \( n^2 + 1 \) 對於 \( 1 \leq n \leq 3 \) 為質數」，我們就會檢查 \( n=1, 2, 3 \) 並發現它們全都成立。）
何時使用？
- 題目給出了一個具體且範圍很小的數值區間時。
- 當一個性質可以拆分為「偶數」和「奇數」兩種情況進行測試時。
你知道嗎？ 電腦非常擅長窮舉法！在 1976 年，「四色定理 (Four Color Map Theorem)」就是由電腦檢查了人類無法手動完成的近 2,000 種不同情況後獲得證明的。
重點總結： 窮舉法意味著檢查每一個個別情況，以確認規則是否對所有情況皆成立。
4. 反例證明 (Disproof by Counter-example)
在數學中，猜想 (Conjecture) 是指人們認為正確但尚未證明的命題。要反證一個猜想，你不需要長篇大論，只需要找到一個不成立的例子就夠了。
這個單一的「失敗案例」被稱為反例 (Counter-example)。
比喻： 如果有人說「所有的鳥都會飛」，你只需指著一隻企鵝就能反駁他。你不需要討論鴕鳥或鴯鶓——只要有一隻企鵝，就足以證明這句話是錯的。
範例
反證猜想：「對於所有正整數 \( n \)，\( n^2 - n + 11 \) 皆為質數。」
讓我們試試幾個值：
- 若 \( n = 1 \)： \( 1^2 - 1 + 11 = 11 \) (質數)
- 若 \( n = 2 \)： \( 2^2 - 2 + 11 = 13 \) (質數)
- 若 \( n = 11 \)： \( 11^2 - 11 + 11 = 11^2 = 121 \)。
由於 \( 121 \) 等於 \( 11 \times 11 \)，它不是質數。因此，\( n = 11 \) 就是一個反例，該猜想被成功反證。
記憶法：掃興鬼法
把反例證明想像成一個「掃興鬼」。當大家都在慶祝一條新規則時，你走進來並指出它為什麼錯誤的具體原因！
重點總結： 要推翻一個錯誤的數學規則，你只需要找到一個使其失效的例子。
考試總結清單
- 演繹法： 利用代數 (\( 2n, 2n+1 \)) 來證明它總是成立。
- 窮舉法： 如果範圍很小，列出並測試每一個單一情況。
- 反例： 只要找到一個破壞規則的數字，就能證明該規則為假。
- 語句： 最後務必清楚陳述你的結論（例如：「因此，根據演繹法，該命題為真」）。
最終小貼士： 如果題目要求你「證明 (Prove)」某事，那它通常是真的。如果題目問你「判斷它是否正確 (Determine if it is true)」，請先嘗試尋找反例！