欢迎来到数学证明的世界！
在 GCSE 和 A Level 的学习中，你已经使用过无数的公式。但你有没有想过，我们是如何确定这些公式对每一个数字都成立的呢？在进阶数学（Further Mathematics）中，我们不只是“听信别人的话”。我们使用的是数学归纳法（Mathematical Induction）。
你可以把数学归纳法想象成一排骨牌。要让所有骨牌倒下，你只需要做两件事：
1. 推倒第一块骨牌。
2. 确保如果任何一块骨牌倒下，它一定能推倒下一块。
如果你能证明这两点，你就知道整排骨牌都会倒下，即使有无穷多块也一样！这正是我们如何证明命题对所有正整数 \( n \) 都成立的方法。
成功的四步公式
你在 8FM0 Core Pure 考试中，每一个归纳法证明都应该遵循这套逻辑“公式”。如果刚开始觉得要写很多字，别担心——一旦你掌握了模式，就会变得轻松得多！
1. 基础步骤（The Basis Step）：证明命题对第一个值（通常是 \( n = 1 \)）成立。
2. 假设（The Assumption）：假设命题对一般情况 \( n = k \) 成立。
3. 归纳步骤（The Inductive Step）：利用你的假设来证明命题对下一种情况 \( n = k + 1 \) 也一定成立。
4. 结论（The Conclusion）：写下一句正式的总结陈词。
快速回顾：为什么我们要假设它对 \( k \) 成立？我们是在检查数字与数字之间的“连接”。如果这个连接存在，且第一项成立，那么它们全部都成立！
1. 级数求和
归纳法最常见的用途之一是证明数字求和（级数）的公式。
例子：证明 \( \sum_{r=1}^{n} r = \frac{1}{2}n(n+1) \)
步骤 1：基础。当 \( n = 1 \) 时，左式（LHS）为 1。右式（RHS）为 \( \frac{1}{2}(1)(1+1) = 1 \)。由于 LHS = RHS，故 \( n = 1 \) 时成立。
步骤 2：假设。假设该公式对 \( n = k \) 成立：\( \sum_{r=1}^{k} r = \frac{1}{2}k(k+1) \)。
步骤 3：归纳步骤。考虑 \( n = k + 1 \)。这其实就是前 \( k \) 项之和，再加上下一项 (\( k+1 \))。
\( \sum_{r=1}^{k+1} r = [\sum_{r=1}^{k} r] + (k+1) \)
代入你的假设：\( = \frac{1}{2}k(k+1) + (k+1) \)
提取公因式 \( (k+1) \)：\( = (k+1)[\frac{1}{2}k + 1] \)
化简：\( = \frac{1}{2}(k+1)(k+2) \)。这正是原公式将 \( n \) 换成 \( k+1 \) 的结果！
步骤 4：结论。“由于结果对 \( n=1 \) 成立，且若对 \( n=k \) 成立，则对 \( n=k+1 \) 亦成立，根据数学归纳法，该结果对所有 \( n \in \mathbb{Z}^+ \) 皆成立。”
记忆小撇步：尽量先因式分解，而不是把所有东西展开！寻找“公括号”（就像上面的 \( k+1 \)）会让代数运算变得亲切许多。
2. 整除性证明
这是证明某个表达式总能被特定数字整除的地方。这看起来可能有点抽象，我们用个比喻：如果你有一盒 4 颗装的巧克力，那么任何倍数的巧克力盒都一定能被 4 整除。
例子：证明 \( f(n) = 3^{2n} + 11 \) 能被 4 整除。
技巧：在归纳步骤中，我们观察下一项与当前项的差：\( f(k+1) - f(k) \)。如果这个差能被 4 整除，且 \( f(k) \) 本身也能被 4 整除，那么 \( f(k+1) \) 一定也能被 4 整除！
归纳步骤的详细过程：
1. 找出 \( f(k+1) \)：\( 3^{2(k+1)} + 11 = 3^{2k+2} + 11 \)。
2. 利用指数律重写：\( 3^2 \times 3^{2k} + 11 = 9(3^{2k}) + 11 \)。
3. 使用“代入法”或“差值法”。例如：\( f(k+1) - f(k) = [9(3^{2k}) + 11] - [3^{2k} + 11] \)。
4. 化简：\( 8(3^{2k}) \)。由于 8 是 4 的倍数，整个表达式显然能被 4 整除！
常见错误：学生常忘记明确写出 \( 8(3^{2k}) \) 即是 \( 4 \times 2(3^{2k}) \)。一定要将你所除的数字作为因数展示出来！
3. 矩阵的幂
课程要求你证明 \( \mathbf{M}^n \) 的公式。如果你对矩阵乘法很熟悉，这通常是最直观的一类题目。
先备知识检查：要计算 \( \begin{pmatrix} a & b \\ c & d \end{pmatrix} \times \begin{pmatrix} e & f \\ g & h \end{pmatrix} \)，记得要“横向乘直向”（行乘以列）。
归纳步骤逻辑：要得到 \( \mathbf{M}^{k+1} \)，你只需计算 \( \mathbf{M}^k \times \mathbf{M} \)。
1. 假设 \( \mathbf{M}^k \) 的公式成立。
2. 将该假设的矩阵与原始矩阵 \( \mathbf{M} \) 相乘。
3. 化简结果，直到它看起来像目标公式中把 \( n \) 换成 \( k+1 \) 的样子。
你知道吗？矩阵归纳证明在计算机图形学中非常常见。我们使用矩阵来旋转图形；归纳法证明了将小旋转重复 \( n \) 次会遵循一条可预测的路径！
常见陷阱与避雷指南
• 格式松散：不要只写“LHS = RHS”。请清楚写出 \( n=1 \) 的代入过程。
• “假设”步骤：你必须写上“假设结果对 \( n=k \) 成立”。如果你不写出这个假设，你就不能使用它！
• 结论模糊：结论通常占有一个分数。请使用正式用语：“对 \( n=1 \) 成立... 若对 \( n=k \) 成立... 则对 \( n=k+1 \) 成立... 因此对所有 \( n \) 皆成立。”
重点总结
• 归纳法是一个 4 步过程：基础、假设、归纳步骤、结论。
• 求和级数：代数处理时，专注于提取公因式。
• 整除性：利用你的假设，展示 \( f(k+1) \) 是除数的倍数。
• 矩阵：使用 \( \mathbf{M}^{k+1} = \mathbf{M}^k \mathbf{M} \) 并执行标准矩阵乘法。
如果刚开始觉得困难，别担心！证明是一种全新的思考方式。多练习写作结构，数学就会像骨牌一样自然地到位！