歡迎來到數學歸納法的世界！
你有沒有想過，數學家是如何能 100% 確定一個公式對無窮大的數字都成立的？他們可不是測試一百萬次然後祈禱結果正確！相反，他們運用了一種強大且具備「骨牌效應」的邏輯，稱為數學歸納法 (Proof by Induction)。
在進階純數學 1 (Further Pure Mathematics 1) 的這一章中，你將學習如何構建這些邏輯上的「骨牌陣」，以證明數列求和、整除性、矩陣，甚至微積分中的規律。如果初看之下覺得有點抽象，請別擔心——一旦你掌握了四個標準步驟，你會發現這是進階數學中最令人滿足的部分之一！
1. 邏輯核心：骨牌類比
想像有一排延伸至無窮遠的骨牌。要證明它們全部都會倒下，你只需要證明兩件事：
1. 第一塊骨牌會倒下（基礎情況，Base Case）。
2. 如果任意一塊骨牌倒下，它必然會推倒下一塊骨牌（歸納步驟，Inductive Step）。
如果兩者皆為真，整排骨牌必定全倒！在數學中，我們利用這一點來證明一個命題 \(P(n)\) 對所有正整數 \(n \ge 1\) 均成立。
2. 四個必要步驟
每一個歸納證明都遵循完全相同的結構。請像跟隨食譜一樣遵守這些步驟：
第一步：基礎情況 (The Base Case)
展示命題對於最小的可能值（通常是 \(n = 1\)）成立。將 \(n = 1\) 代入等式的左右兩邊，並證明兩者相等。
第二步：假設 (The Assumption)
假設命題對於某個整數 \(k\) 成立。我們寫下：「假設 \(P(k)\) 對某個 \(k \in \mathbb{Z}^+\) 成立。」
第三步：歸納步驟 (The Inductive Step)
這是證明的「引擎室」。你必須利用第二步的假設，來證明該命題對於 \(n = k + 1\) 也成立。你的目標是達到一個最終表達式，其中每一個 \(k\) 都被 \((k+1)\) 所取代。
第四步：結論 (The Conclusion)
寫下正式的結束語。「由於結果對於 \(n=1\) 成立，且若對 \(n=k\) 成立則對 \(n=k+1\) 亦成立，根據數學歸納法原理，該結果對於所有 \(n \in \mathbb{Z}^+\) 均成立。」
關鍵重點：
絕對不要省略結論！ 在考試中，這部分是為了完成完整的邏輯論證，因此是計分重點。
3. 類型 1：數列求和 (Summation of Series)
這是最常見的類型。你會獲得一個求和公式，例如課程大綱中的：
\(\sum_{r=1}^{n} r^3 = \frac{1}{4}n^2(n+1)^2\)
技巧：
要從 \(k\) 項之和變為 \(k+1\) 項之和，你只需要加上下一項：
\((k+1)\) 項之和 = (\(k\) 項之和) + (第 \((k+1)\) 項)
求和問題的步驟：
1. 證明 \(n=1\) 的情況。
2. 假設 \(\sum_{r=1}^{k} r^3 = \frac{1}{4}k^2(k+1)^2\)。
3. 將第 \((k+1)\) 項，即 \((k+1)^3\)，加到你的假設中：
\(\frac{1}{4}k^2(k+1)^2 + (k+1)^3\)
4. 重要：不要把所有東西都展開！請立即提取公因式 \((k+1)^2\)。這會讓代數運算簡單得多。
快速檢查站：
常見錯誤：忘記在整個公式中將 \(n\) 替換為 \((k+1)\)。如果你的公式包含 \((n+1)\)，歸納步驟的目標就是 \(((k+1)+1)\)，即 \((k+2)\)。
4. 類型 2：整除性證明 (Divisibility Proofs)
在此，你需要證明一個表達式（例如 \(f(n) = 3^{2n} + 2 \times 5^n - 3\)）總是能被某個數（例如 8）整除。
策略：
觀察差值 \(f(k+1) - f(k)\)，或者嘗試以 \(f(k)\) 來表達 \(f(k+1)\)。
如果你能證明 \(f(k+1) = f(k) + (\text{某個能被 8 整除的數})\)，你就成功了！因為我們假設了 \(f(k)\) 能被 8 整除，那麼 \(f(k+1)\) 也必須能被 8 整除。
記憶小幫手：「因數技巧」
處理 \(f(k+1)\) 時，你會遇到類似 \(3^{2(k+1)}\) 的項。將其重寫為 \(3^2 \times 3^{2k} = 9 \times 3^{2k}\)，然後將 \(9\) 寫成 \((8 + 1)\)。這樣就能「抽離」出你所尋找的除數！
你知道嗎？
整除性證明在計算機科學中經常用到，用以確保處理大數的算法不會因為未預期的餘數而崩潰！
5. 類型 3：矩陣冪次 (Matrix Powers)
課程大綱要求你證明 \(\mathbf{M}^n\) 的結果，其中 \(\mathbf{M}\) 為 \(2 \times 2\) 矩陣。
範例：證明 \(\begin{pmatrix} 4 & -1 \\ 6 & -1 \end{pmatrix}^n = \begin{pmatrix} 3 \times 2^n - 2 & 1 - 2^n \\ 3 \times 2^{n+1} - 6 & 3 - 2^{n+1} \end{pmatrix}\)
矩陣的歸納步驟：
使用規則：\(\mathbf{M}^{k+1} = \mathbf{M} \times \mathbf{M}^k\)。
1. 將你的假設矩陣代入 \(\mathbf{M}^k\)。
2. 將其與原始矩陣 \(\mathbf{M}\) 相乘。
3. 利用你的代數技巧簡化結果，直到它們看起來與 \(n=k+1\) 的公式一致。
關鍵重點：
矩陣乘法通常不具備交換律（即 \(\mathbf{AB} \neq \mathbf{BA}\)），但在歸納法中，\(\mathbf{M} \times \mathbf{M}^k\) 和 \(\mathbf{M}^k \times \mathbf{M}\) 會給出相同的結果。為了保持一致，建議統一使用 \(\mathbf{M} \times \mathbf{M}^k\)。
6. 類型 4：數列與猜想 (Sequences and Conjectures)
有時候題目不會直接給你公式，你必須先自行找出規律，這稱為猜想 (Conjecture)。
範例：找出 \(xe^x\) 的第 \(n\) 階導數。
1. 找出第 1 階導數：\(f'(x) = e^x + xe^x = (x+1)e^x\)。
2. 找出第 2 階導數：\(f''(x) = e^x + (x+1)e^x = (x+2)e^x\)。
3. 觀察規律：看起來規律是 \(f^{(n)}(x) = (x+n)e^x\)。
4. 證明：使用歸納法證明你的「猜想」對於所有 \(n\) 確實成立。
避免常見錯誤：
處理如 \(u_{n+1} = 3u_n - 1\) 的數列時，學生有時會忘記在歸納步驟中使用遞迴關係。請務必留意何處可以代入該數列的「規則」！
成功檢查清單
- 基礎情況：我是否清楚展示了 \(n=1\) 時 \(LHS = RHS\)？
- 假設：我是否寫下了「假設對 \(n=k\) 成立」？
- 歸納步驟：我是否確實運用了假設？（如果沒有用到它，那就不算是歸納證明！）
- 代數：我是否進行了因式分解，而不是把所有東西都展開成一團亂？
- 結論：我是否寫下了「由於對 \(n=1\) 成立……」那段結論文字？
如果起初代數運算變得很混亂，請不要氣餒。歸納法既是對邏輯的考驗，也是對耐心的考驗。心中緊記你的目標 (\(n=k+1\))，你一定能成功解出！