歡迎來到證明世界！
在進階數學中，我們不僅僅滿足於知道「某個東西行得通」，我們更想百分之百確定它「為什麼」行得通。這一章將介紹邏輯語言，你將學會如何建立無懈可擊的論證，並利用單一例子揪出「數學謊言」。如果起初覺得有些抽象，別擔心——把自己想像成一位數學偵探，正在建立一個無人能反駁的案子吧！
1. 演繹證明 (Proof by Deduction)
演繹證明是最常見的證明類型。它就像跟隨麵包屑的路徑，你從已經確定正確的事實（定義）出發，運用代數步驟一步步推導至最終結論。
如何操作：
- 定義你的項：如果題目涉及偶數，先將偶數寫成 \(2n\)；如果是奇數，則使用 \(2n+1\)。
- 建立表達式：按照題目的指令進行（例如「平方」或「相加」）。
- 化簡：運用你的代數技巧進行展開與重組。
- 因式分解：通常你需要證明結果是某個數的倍數。例如，若想證明結果為偶數，試著提出一個 \(2\)。
例子：證明兩個奇數的積永遠是奇數。
設兩個奇數為 \(2m+1\) 及 \(2n+1\)。
相乘：\((2m+1)(2n+1) = 4mn + 2m + 2n + 1\)。
因式分解：\(2(2mn + m + n) + 1\)。
由於 \(2(某數) + 1\) 正是奇數的定義，我們已完成證明！
速查表：
- 偶數： \(2n\)
- 奇數： \(2n + 1\)
- 連續整數： \(n, n+1, n+2...\)
重點總結：演繹法的核心在於邏輯步驟。只要你的代數運算正確，且起點紮實，你的結論必定為真！
2. 窮舉證明 (Proof by Exhaustion)
這聽起來很累人，但其實就是指「檢查每一個可能性」。當你需要檢查的情況數量有限時，便可以使用窮舉證明。
比喻：想像你有一個裝了 5 個燈泡的盒子，想證明它們全都正常運作。你只需逐一將它們接上電源進行測試，檢查完這 5 個後，你就完成了「窮舉證明」。
何時使用：
- 當題目給定特定範圍（例如「對於 \(1 \le n \le 5\)...」）。
- 當你可以將問題分類時（例如「當 \(n\) 為偶數時」與「當 \(n\) 為奇數時」）。
常見錯誤：遺漏了其中一種情況。只要錯過了一個，證明就不算完整！
重點總結：只要你能測試所有可能的情況且全部通過，該敘述即被證明成立。
3. 反例否定 (Disproof by Counter-example)
在數學中，一個敘述要成立，它必須隨時隨地都正確。要否定一個敘述（猜想），你只需要找到一個不成立的例子，這就稱為反例 (Counter-example)。
你知道嗎？你可能花費多年試圖證明某個東西是對的，但別人只需一秒鐘，透過找到一個例外，就能摧毀你的理論！
例子：否定「所有質數皆為奇數」這一敘述。
反例：數字 \(2\) 是質數，但它是偶數。因此，該敘述錯誤。
重點總結：證明需要通用論證；反例否定則只需要一個特定的「漏洞」例子。
4. 數學歸納法 (Proof by Mathematical Induction)
這是進階數學中的「重量級」證明方法。數學歸納法用於證明某個公式適用於所有正整數（\(n = 1, 2, 3...\)）。
骨牌比喻：
1. 第一塊骨牌：證明第一塊骨牌會倒下（\(n=1\)）。
2. 連結：證明如果任何一塊骨牌倒下，下一塊骨牌也一定會倒下（\(k \to k+1\)）。
如果兩者皆成立，整條無限排列的骨牌都會倒下！
四個必要步驟 (B-A-I-C)：
- 基礎 (Basis)：證明敘述對於 \(n=1\) 成立。（分別計算左式與右式）。
- 假設 (Assumption)：假設敘述對於 \(n=k\) 成立。將公式中的 \(n\) 換成 \(k\) 並寫下來。
- 歸納步驟 (Inductive Step)：證明若上述成立，則敘述對於 \(n=k+1\) 必成立。這是最考驗代數技巧的地方！請利用你的「假設」來協助推導。
- 結論 (Conclusion)：寫下標準的「結尾語」（見下文）。
應用 A：數列求和
你可能會被要求證明類似 \(\sum_{r=1}^{n} r^2 = \frac{1}{6}n(n+1)(2n+1)\) 的公式。
技巧：要找出 \(k+1\) 項的和，請拿 \(k\) 項的和（你的假設）加上第 \((k+1)\) 項：
\(Sum_{k+1} = Sum_k + Term_{k+1}\)。
應用 B：數列
如果數列定義為 \(u_{n+1} = u_n + 2n\)，你可能需要證明 \(u_n\) 的通用公式。
步驟：利用題目給出的遞迴關係，將你的 \(n=k\) 假設代入 \(n=k+1\) 的情況中。
應用 C：矩陣
你可以證明矩陣的冪次，例如 \(\mathbf{M}^n\)。
關鍵規則：記住 \(\mathbf{M}^{k+1} = \mathbf{M}^k \times \mathbf{M}\)。利用你的假設處理 \(\mathbf{M}^k\) 部分，然後乘以原始矩陣 \(\mathbf{M}\)。
「標準」結論（背下來！）：
「由於該結果對於 \(n=1\) 成立，且若對於 \(n=k\) 成立亦能推導出對於 \(n=k+1\) 成立，根據數學歸納法，該結果對於所有正整數 \(n\) 均成立。」
鼓勵一下：歸納法的代數運算可能會因為大量的分數和括號顯得嚇人。慢慢來，儘早進行因式分解，並記住：題目通常已經直接告訴你要達到的目標答案了！
重點總結：歸納法是一部 3 階段引擎：啟動它 (\(n=1\))，展示它是如何延續的 (\(k \to k+1\))，最後下結論。
總結檢查清單
- 我能用代數定義奇數/偶數嗎？（演繹證明）
- 情況數量是否夠少，能全部檢查嗎？（窮舉證明）
- 我是否找到了一個不成立的特定例子？（反例否定）
- 我是否遵循了歸納法的 4 個步驟並寫下了最終結論？