歡迎來到數學證明世界！
在你標準的 A Level 數學課程中，你已經學會了如何解方程式和使用公式。但在進階數學 (Further Mathematics) 中，我們會鑽研得更深。我們不只想知道某個結果「是否」成立；我們更想證明它對於每一個數字永遠都成立！
在純數學核心 (Pure Core) 的這一章中，我們將聚焦於一個強大的技巧，稱為數學歸納法 (Mathematical Induction)。它就像數學中的「骨牌效應」，讓我們只需幾個邏輯步驟，就能證明無窮多個整數的命題。如果起初覺得有點抽象也不用擔心——一旦你看出了規律，它就會變成一個非常實用且令人滿意的「食譜」。
1. 數學歸納法的邏輯
想像一排延伸到無窮遠處的骨牌。你如何能絕對肯定「每一塊骨牌」都會倒下？你只需要證明兩件事：
1. 第一塊骨牌會倒下。
2. 如果任何一塊骨牌倒下，它必然會推倒下一塊骨牌。
如果這兩點都成立，整排骨牌就一定會倒下！在數學中，我們使用相同的邏輯來證明關於正整數 (\(n = 1, 2, 3, ...\)) 的性質。
四步驟「食譜」
要寫出正式的歸納法證明，你必須每次都遵循這四個步驟：
- 基礎步驟 (Basis Step)： 證明命題對於 \(n\) 的最小可能值成立（通常是 \(n = 1\)）。
- 假設步驟 (Assumption)： 假設命題對於某個任意整數 \(k\) 成立。（我們稱之為歸納假設 (Inductive Hypothesis)）。
- 歸納步驟 (Inductive Step)： 利用你的假設，證明該命題對於下一個整數 \(n = k + 1\) 也必然成立。這是證明過程中「最費力」的部分！
- 結論 (Conclusion)： 寫下一句正式的結論語來完成證明。（請參閱下方的模板）。
溫馨提示：結論模板
「由於該結果對於 \(n=1\) 成立，且若它對於 \(n=k\) 成立則對於 \(n=k+1\) 亦成立，因此根據數學歸納法，該結果對於所有 \(n \in \mathbb{Z}^+\) 均成立。」
2. 矩陣證明
課程中一個常見的應用是證明矩陣冪次的公式。這些通常是最簡單的歸納法證明，因為代數運算非常直接。
例題： 證明對於 \(n \in \mathbb{Z}^+\)，\( \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}^n = \begin{pmatrix} 1 & 0 \\ n & 1 \end{pmatrix} \)。
步驟 1 (基礎)： 令 \(n = 1\)。
左式：\( \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}^1 = \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix} \)。
右式：\( \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix} \)。
基礎步驟成立。
步驟 2 (假設)： 假設當 \(n = k\) 時成立：\( \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}^k = \begin{pmatrix} 1 & 0 \\ k & 1 \end{pmatrix} \)。
步驟 3 (歸納步驟)： 我們需要找出 \(n = k + 1\) 時的結果。
\( \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}^{k+1} = \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}^k \times \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix} \)
利用我們的假設：\( = \begin{pmatrix} 1 & 0 \\ k & 1 \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix} \)
進行矩陣乘法：\( = \begin{pmatrix} (1 \times 1 + 0 \times 1) & (1 \times 0 + 0 \times 1) \\ (k \times 1 + 1 \times 1) & (k \times 0 + 1 \times 1) \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ k+1 & 1 \end{pmatrix} \)。
這正是目標公式中將 \(n\) 替換為 \(k+1\) 的結果！
步驟 4 (結論)： 使用第 1 節的模板。
核心重點： 對於矩陣冪次，\(M^{k+1}\) 永遠等於 \(M^k \times M\)。利用你對 \(M^k\) 的假設並進行相乘即可！
3. 整除性證明
這類證明要求你展示一個表達式（例如 \(7^n - 3^n\)）總是能被某個數字（本例中為 4）整除。
小撇步： 目標是改寫 \(k+1\) 的表達式，使其包含 \(k\) 的表達式。
例題： 證明對於 \(n \in \mathbb{Z}^+\)，\(f(n) = 7^n - 3^n\) 可被 4 整除。
假設當 \(n=k\) 時成立：\(7^k - 3^k = 4M\)（其中 \(M\) 為某個整數）。
考慮 \(f(k+1) = 7^{k+1} - 3^{k+1}\)
\( = 7(7^k) - 3(3^k) \)
現在，將 7 拆解為 \((4 + 3)\)：
\( = (4 + 3)7^k - 3(3^k) \)
\( = 4(7^k) + 3(7^k) - 3(3^k) \)
\( = 4(7^k) + 3(7^k - 3^k) \)
代入我們的假設 \(7^k - 3^k = 4M\)：
\( = 4(7^k) + 3(4M) = 4(7^k + 3M) \)。
因為整個結果都能提取出 4 作為因數，所以它一定能被 4 整除！
常見錯誤： 別忘了說明最終括號內的項是一個整數。只有當你沒有剩下分數時，整除性才成立！
4. 不等式證明
這類題目可能最為棘手，因為你需要使用「大於」(\(>\)) 或「小於」(\(<\)) 的邏輯，而不是等號。
記憶輔助： 「橋樑」法
在這些證明中，你通常試圖證明 \(A > C\)。你可能會發現利用假設證明 \(A > B\) 很簡單，然後你只需要解釋為什麼 \(B > C\) 即可。
例題： 證明對於 \(n \ge 3\)，\(n \in \mathbb{Z}\)，\(2^n > 2n\)。
注意：這裡的基礎步驟從 \(n=3\) 開始。
基礎： \(2^3 = 8\)，\(2(3) = 6\)。由於 \(8 > 6\)，命題成立。
假設： \(2^k > 2k\)。
歸納步驟： 考慮 \(n = k+1\)。
左式：\(2^{k+1} = 2 \times 2^k\)。
根據假設，\(2 \times 2^k > 2 \times (2k)\)，所以 \(2^{k+1} > 4k\)。
我們想證明 \(2^{k+1} > 2(k+1)\)，也就是 \(2k + 2\)。
因為我們已知 \(2^{k+1} > 4k\)，且對於 \(k \ge 3\)，\(4k\) 絕對大於 \(2k + 2\)，所以證明完成！
冷知識：
數學歸納法早在古希臘時期就被隱含地使用，但直到 16 世紀才由 Francesco Maurolico 正式描述。它現在是皮亞諾公理 (Peano Axioms) 之一，這是定義數字本質的基本規則！
5. 總結與常見陷阱
如果剛開始覺得困難，別擔心！ 歸納法是一種非常正式的書寫風格。如果你卡住了，請記住每個步驟的目標：
- 基礎步驟： 只是一個簡單的檢查。如果這步不成立，該命題就是錯的！
- 假設： 這是你的「免費禮物」。你可以將其視為事實來幫助後面的證明。
- 歸納步驟： 這只是代數運算。目標是得到一個看起來像原始公式，但變量變為 \(k+1\) 的表達式。
應避免的常見陷阱：
1. 代數失誤： 特別是在整除性證明中（注意你的負號！）。
2. 模糊的結論： 考官在尋找「對於 \(n=1\) 成立」以及「若對於 \(n=k\) 成立則對於 \(n=k+1\) 亦成立」這些特定語句。
3. 沒有使用假設： 如果你在 \(n=k+1\) 的步驟中沒有使用 \(n=k\) 的假設，那就不是歸納法證明！
核心重點： 數學歸納法證明了一種「連鎖反應」。如果你能證明第一步發生，且每一步都能引發下一步，你就證明了整個無窮的鏈條！