# 数学归纳法证明

> CIE A-Level 进阶数学 · 9231 进阶纯数1
> 来源: https://www.owlsprep.com/zh/study/cie-9231-u1-proof-by-induction/

本模块讲解数学归纳法的正式四步结构，以及适配CIE 9231进阶纯数1考试的求和、整除、矩阵幂三类证明的应用方法。

**先修:** [基础代数运算与多项式展开](https://www.owlsprep.com/zh/study/cie-9231-u1-algebra-manipulation/); [2×2矩阵乘法规则](https://www.owlsprep.com/zh/study/cie-9231-u1-matrix-basics/)

## 学习目标

- 熟记针对正整数的数学归纳法4个标准正式步骤
- 应用归纳法证明求和、整除和2×2矩阵幂恒等式类命题
- 识别并修正考试作答中导致失分的常见逻辑漏洞
- 搭建完整的归纳证明结构，满足CIE 9231评分标准要求

## 归纳法的核心形式化结构

**数学归纳法原理** — 若命题P(n)在n=1时成立，且对所有正整数k，P(k)成立都能推导出P(k+1)成立，则P(n)对所有n ∈ ℕ都成立

> **tip**
>
> CIE阅卷官会为清晰引用归纳原理的最终结论单独给出1分，即使考试时间不足也绝对不要跳过这一步。

**例题:** 使用归纳法证明前n个正整数的和等于n(n+1)/2

1. 步骤1：基例。测试n=1：左侧=1，右侧=1(2)/2=1，P(1)成立。
2. 步骤2：归纳假设。假设P(k)成立：$\sum_{r=1}^k r = \frac{k(k+1)}{2}$
3. 步骤3：归纳步骤。在等式两侧同时加(k+1)：$\sum_{r=1}^{k+1} r = \frac{k(k+1)}{2} + (k+1) = \frac{(k+1)(k+2)}{2}$，该结果与P(k+1)的形式完全匹配
4. 步骤4：结论。由于P(1)成立，且P(k)成立可推导出P(k+1)成立，因此P(n)对所有正整数n都成立。

**概念自测**

测试你对归纳法各步骤分值占比的理解

1. 在典型的9231考题中，标准归纳证明的哪一步占总分值的比例最高？

   - 基例验证
   - 归纳假设
   - 归纳步骤
   - 最终结论

   *解析:* 归纳步骤中的代数变形通常占完整归纳题8-10分中的4-6分。

## 求和恒等式的归纳证明

求和证明是CIE 9231卷1中最常考的归纳题型。核心规则是从P(k)的求和式中分离出第(k+1)项，再整理变形匹配目标闭式。

$$\sum_{r=1}^{k+1} f(r) = \sum_{r=1}^{k} f(r) + f(k+1)$$

**例题:** 证明对所有正整数n，$\sum_{r=1}^n r^2 = \frac{n(n+1)(2n+1)}{6}$

1. 基例n=1：左侧=1，右侧=1*2*3/6=1，因此P(1)成立。
2. 归纳假设：假设$\sum_{r=1}^k r^2 = \frac{k(k+1)(2k+1)}{2}$
3. 归纳步骤：在两侧同时加$(k+1)^2$：
4. $$\sum_{r=1}^{k+1} r^2 = \frac{k(k+1)(2k+1)}{6} + (k+1)^2$$
5. $$= \frac{(k+1)}{6} \left[ 2k^2 +k + 6k +6 \right] = \frac{(k+1)(k+2)(2k+3)}{6}$$
6. 该结果与n=k+1时的目标形式匹配，因此P(k)可推导出P(k+1)，之后补充标准的全称结论即可。

> **考试提示:** 先把n=k+1时的目标右侧展开，再从左侧往目标形式凑，避免在复杂代数变形中卡住。

## 整除性的归纳证明

整除性证明需要证明给定表达式f(n)对所有正整数n都能被固定整数d完全整除。标准技巧是将f(k+1)改写为f(k)的倍数加上d的倍数的形式。

**整除记号** — 整数d可以完全整除f(n)且无余数，即存在整数m使得f(n) = d * m。

*记法:* $d \mid f(n)$

> **mnemonic**
>
> 做整除证明可以用「加底减底」技巧：$f(k+1) = a f(k) + (a-1)c$，其中a是指数项的底数，可以直接提取出公因子d。

**例题:** 证明对所有正整数n，$7^n - 1$可被6整除

1. 基例n=1：$7^1 -1 = 6$，可被6整除，因此P(1)成立。
2. 归纳假设：假设存在整数m使得$7^k -1 = 6m$。
3. 归纳步骤：改写$7^{k+1} -1 = 7 \times 7^k -1$
4. $$= 7 \times (6m +1) -1 = 42m + 6 = 6(7m +1)$$
5. 该结果是6的整数倍，因此P(k+1)成立，之后补充标准结论即可。

## 矩阵幂恒等式的归纳证明

矩阵归纳证明需要证明将给定2×2或3×3矩阵M的n次幂展开后符合指定的标准矩阵形式。归纳步骤使用恒等式$M^{k+1} = M^k \times M$。

**例题:** 证明对于$M = \begin{pmatrix}1 & 2 \\ 0 & 1\end{pmatrix}$，对所有正整数n都有$M^n = \begin{pmatrix}1 & 2n \\ 0 & 1\end{pmatrix}$

1. 基例n=1：$M^1 = M$，与右侧2*1=2的形式匹配，因此P(1)成立。
2. 归纳假设：假设$M^k = \begin{pmatrix}1 & 2k \\ 0 & 1\end{pmatrix}$
3. $$M^{k+1} = M^k M = \begin{pmatrix} 1 & 2k \\ 0 & 1 \end{pmatrix} \begin{pmatrix} 1 & 2 \\ 0 & 1 \end{pmatrix}$$
4. $$= \begin{pmatrix} 1 & 2(k+1) \\ 0 & 1 \end{pmatrix}$$
5. 该结果与n=k+1时的目标形式匹配，因此P(k)可推导出P(k+1)，之后补充标准结论即可。

**考试命令词**

CIE在归纳题中使用以下标准指令术语，对应特定的评分要求：

- **Prove by induction** — 你必须明确展示全部4个步骤，不允许跳步

- **Show that** — 只有当题目已经指定使用归纳法时，你才可以省略正式的最终结论

## 常见错误

- **错误做法:** 完全跳过基例直接开始归纳步骤
  - 原因: 这会产生逻辑谬误，甚至可以证明「所有整数都相等」这类错误命题，直接丢失2-3分的基础分值
  - 正确做法: 永远先测试n=1（或题目指定的起始值），并清晰陈述验证结果。
- **错误做法:** 写「假设P(n)成立」而不是「假设P(k)成立」
  - 原因: 这会混淆通用变量和假设中使用的特定固定整数k，丢失1分的表达分
  - 正确做法: 明确定义k是使P(k)成立的任意正整数。
- **错误做法:** 没有明确写出关联归纳法原理的最终结论
  - 原因: CIE评分标准为这个总结性陈述单独分配1分，很多赶时间的考生都会漏掉
  - 正确做法: 每道证明题都以标准语句收尾：「由于P(1)成立，且P(k)成立可推导出P(k+1)成立，因此P(n)对所有正整数n都成立」。
- **错误做法:** 在整除证明中没有定义整数倍数变量（比如没有写$7^k -1 = 6m$且m是整数）
  - 原因: 阅卷官会因为你没有说明最终表达式是d的整数倍而扣减分数
  - 正确做法: 明确命名整数倍数变量，并声明它是整数。
- **错误做法:** 在矩阵归纳中错误地按$M \times M^k$相乘，而不是$M^k \times M$
  - 原因: 矩阵乘法不满足交换律，对于非交换矩阵这会得到完全错误的结果
  - 正确做法: 永远按$M^{k+1} = M^k \times M$书写，匹配归纳假设的结构。

## 速查表

| 证明类型 | 核心归纳步骤恒等式 | 典型分值占比 |
| --- | --- | --- |
| 求和证明 | $\sum_{r=1}^{k+1} f(r) = \sum_{r=1}^k f(r) + f(k+1)$ | 6-7分 |
| 整除证明 | $f(k+1) = a f(k) + c d$ | 5-6分 |
| 矩阵幂证明 | $M^{k+1} = M^k M$ | 7-8分 |
| 递推关系证明 | $u_{k+1} = f(u_k)$ | 6-7分 |

## 下一步

你现在已经掌握了CIE 9231进阶纯数1考试中最常见的3类归纳证明的核心结构。为了巩固技能，请练习融合多个知识点的完整真题风格归纳题，包括不等式和递推关系证明，这是本主题下难度更高的进阶内容。你也可以复习相关的证明方法比如反证法，这是进阶纯数1中另一个高频考点，帮你搭建完整的形式化证明技巧体系。熟练掌握归纳法也会为你后续学习大纲中的级数与序列证明内容提供支撑。

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/cie-9231-u1-proof-by-induction/