数学归纳法（入门篇）——让无限命题像多米诺骨牌一样被证明
数学归纳法是证明与自然数n有关的命题的万能工具，核心步骤只有两步：奠基（n=1成立）和递推（若n=k成立则n=k+1成立）。通过生活化的多米诺骨牌模型帮助你真正理解原理，再学会规范的书写格式，轻松拿满高考中的证明分数。
一、从生活场景出发：多米诺骨牌的启示
你肯定看过或玩过多米诺骨牌：一排骨牌直立排开，当你推倒第一张后，它会撞倒第二张，第二张又撞倒第三张……只要满足两个条件，所有骨牌都会依次倒下：
- 条件1：第一张骨牌被推倒（保证起点）
- 条件2：如果第k张骨牌倒下了，它一定会撞倒第k+1张骨牌（保证传递）
数学归纳法的思想完全一样。我们要证明一个命题对所有自然数n都成立，只需要验证两个事实：
- 奠基：当 n = 1 时命题成立（第一块骨牌倒了）
- 递推：假设当 n = k 时命题成立，证明当 n = k+1 时命题也成立（如果第k块倒了，一定能推倒第k+1块）
一旦这两步完成，我们就可以宣称：命题对所有自然数 n 都成立。这就像多米诺骨牌，无论排多少张，只要满足①②，全都会倒下。
二、核心概念：数学归纳法的两个步骤
设 $P(n)$ 是关于自然数 $n$ 的一个命题（例如 $1+2+\cdots+n = \frac{n(n+1)}{2}$）。
- 奠基步骤：证明 $P(1)$ 为真。即验证 $n=1$ 时等式成立。
- 归纳步骤：假设 $P(k)$ 为真（$k\ge 1$），证明 $P(k+1)$ 也为真。这里 $P(k)$ 称为归纳假设。
上述两步完成，则 $P(n)$ 对所有自然数 $n$ 成立。
易错提醒： 归纳步骤中，“假设 $P(k)$ 成立”并不是默认事实，而是一种假设，我们必须利用这个假设去推导 $P(k+1)$。千万不能跳过假设直接证明 $P(k+1)$。
三、标准书写格式（高考必备）
为了拿满分，请严格按照以下模板书写：
- 明确命题：“记 $S_n = 1+2+\cdots+n$，求证 $S_n = \frac{n(n+1)}{2}$”
- 证明：
（1）当 $n=1$ 时，左边 $=1$，右边 $=\frac{1\times2}{2}=1$，等式成立。
（2）假设当 $n=k$ 时等式成立，即 $1+2+\cdots+k = \frac{k(k+1)}{2}$。
则当 $n=k+1$ 时，
$$\begin{aligned} 1+2+\cdots+k+(k+1) &= \frac{k(k+1)}{2} + (k+1) \\ &= (k+1)\left(\frac{k}{2}+1\right) \\ &= \frac{(k+1)(k+2)}{2} = \frac{(k+1)[(k+1)+1]}{2}. \end{aligned}$$
即 $n=k+1$ 时等式也成立。
由（1）（2）可知，对任意正整数 $n$，等式 $1+2+\cdots+n = \frac{n(n+1)}{2}$ 成立。
四、典型例题（由易到难）
例1（基础）用数学归纳法证明：$1+3+5+\cdots+(2n-1) = n^2$（$n \in \mathbb{N}^*$）
思路： 这是奇数求和公式。首先验证 n=1，然后假设 n=k 时成立，推导 n=k+1 时左边比 k 时多了第 (k+1) 个奇数 $2k+1$。
解：
（1）当 $n=1$ 时，左边 $=1$，右边 $=1^2=1$，等式成立。
（2）假设当 $n=k$ 时等式成立，即 $1+3+5+\cdots+(2k-1)=k^2$。
则当 $n=k+1$ 时，
$$\begin{aligned} 1+3+5+\cdots+(2k-1)+(2k+1) &= k^2 + (2k+1) \\ &= k^2+2k+1 = (k+1)^2. \end{aligned}$$
即 $n=k+1$ 时等式成立。
由（1）（2）可知，对任意正整数 $n$, $1+3+5+\cdots+(2n-1)=n^2$ 成立。
例2（中等）用数学归纳法证明：$n^3+2n$ 能被 3 整除（$n \in \mathbb{N}^*$）
思路： 整除性证明关键在于将 $n=k+1$ 时的表达式用 $n=k$ 时的结论（即 $k^3+2k$ 是3的倍数）加上其它项表示，并说明其他项也是3的倍数。
解：
（1）当 $n=1$ 时，$1^3+2\times1=3$，能被3整除，命题成立。
（2）假设当 $n=k$ 时命题成立，即 $k^3+2k$ 能被3整除。
则当 $n=k+1$ 时，
$$\begin{aligned} (k+1)^3+2(k+1) &= (k^3+3k^2+3k+1) + (2k+2) \\ &= (k^3+2k) + 3(k^2+k+1). \end{aligned}$$
由归纳假设，$k^3+2k$ 是3的倍数；而 $3(k^2+k+1)$ 显然是3的倍数。所以 $(k+1)^3+2(k+1)$ 能被3整除。
即 $n=k+1$ 时命题也成立。
由（1）（2）可知，对任意正整数 $n$，$n^3+2n$ 能被3整除。
易错点：在展开 $(k+1)^3$ 时写错符号或漏项，导致无法凑出 $k^3+2k$ 的形式。一定要仔细展开并分组。
例3（进阶）用数学归纳法证明不等式：$2^n > n$（$n \in \mathbb{N}^*$）
思路： 不等式证明需要用到归纳假设，并传递到 $n=k+1$ 时。注意从 $2^{k+1} = 2\cdot 2^k$ 出发，结合假设 $2^k > k$ 得到 $2^{k+1} > 2k$，再证明 $2k \ge k+1$（对 $k\ge1$ 成立），从而完成。
解：
（1）当 $n=1$ 时，$2^1=2>1$，不等式成立。
（2）假设当 $n=k$ 时不等式成立，即 $2^k > k$。
则当 $n=k+1$ 时，
$$\begin{aligned} 2^{k+1} &= 2 \cdot 2^k > 2 \cdot k = 2k. \end{aligned}$$
接下来要证明 $2k > k+1$，即 $k > 1$。当 $k \ge 2$ 时，$k>1$ 显然成立；但考虑 $k=1$ 时，从 $n=1$ 过到 $n=2$：$2^2=4>2$ 直接验证成立。所以为严谨，我们可以在归纳假设中要求 $k\ge 2$，并单独验证 $n=2$ 的情况。
更简洁的写法：因为 $k\ge1$，所以 $2k \ge k+1$（当 $k=1$ 时取等号 $2 \ge 2$；当 $k\ge2$ 时 $2k > k+1$）。所以 $2^{k+1} > 2k \ge k+1$，即 $2^{k+1} > k+1$。
从而 $n=k+1$ 时不等式成立。
由（1）（2）可知，对任意正整数 $n$，$2^n > n$ 成立。
易错点：直接从 $2^{k+1} > 2k$ 推出 $2^{k+1} > k+1$ 需要中间步骤，很多同学跳步导致逻辑不严谨。
五、常见误区与避坑指南
| 误区 | 错误示例 | 正确做法 |
|---|---|---|
| 忘记验证 $n=1$ 或 $n$ 的起点 | 直接写“假设 $n=k$ 成立，推 $n=k+1$” | 必须明确写出“当 $n=1$ 时，……成立” |
| 在归纳步骤中不使用归纳假设 | 直接证明 $n=k+1$ 时的等式而不借助 $n=k$ | 先写上“由归纳假设 $P(k)$ 成立”，再以此为基础变形 |
| 假设 $n=k$ 时把 $k$ 当作所有自然数 | 推导 $n=k+1$ 时认为 $k$ 可以取任意值，导致证明循环 | $k$ 是任意给定的正整数，假设只针对这一个 $k$ |
| 关于 $n$ 的起始值不是1 | 命题只对 $n \ge 2$ 成立，却从 $n=1$ 开始验证 | 根据题目条件选择正确的起始值（如 $n_0=2$） |
六、学习建议
- 先理解再记忆： 把多米诺骨牌的故事讲给自己听，理解为什么两个步骤就够。
- 规范书写模板： 每次证明都按“①当n=1时②假设n=k成立③递推到n=k+1④结论”四步走，高考阅卷按步骤给分。
- 多练变式： 除了等式，还要练习不等式、整除性、几何问题（如四边形内角和）等不同类型的归纳证明。
- 检验起始值： 有些命题的起点不是1而是2或更大的整数，务必看清。
七、知识链接
- 前驱知识： 等差数列求和、因式分解、不等式基本性质（高中数学必修内容）
- 后续知识： 数学归纳法的加强形式（第二数学归纳法）、递推数列的通项证明、数列极限的证明等。
- 高考地位： 全国卷常以解答题形式出现（数列或不等式证明），分值12分左右。
八、习题自测（巩固练习）
- 用数学归纳法证明：$1^2+2^2+\cdots+n^2 = \frac{n(n+1)(2n+1)}{6}$（$n\in\mathbb{N}^*$）
- 用数学归纳法证明：$n^3 - n$ 能被6整除（$n\in\mathbb{N}^*$）
- 用数学归纳法证明不等式：$2^n \ge n^2$（$n \ge 4$）
参考答案（可先尝试后再对照）：
点击查看答案
1. 略（类似例1，注意平方和公式推导）。
2. 提示：$(k+1)^3-(k+1) = (k^3-k)+3k(k+1)$，$k^3-k$ 由归纳假设是6的倍数，$3k(k+1)$ 中 $k(k+1)$ 必为偶数，故也是6的倍数。
3. 提示：当 $n=4$ 时 $2^4=16=4^2$，成立；假设 $2^k \ge k^2$（$k\ge4$），则 $2^{k+1}=2\cdot2^k \ge 2k^2$，要证 $2k^2 \ge (k+1)^2$，即 $k^2-2k-1\ge0$，当 $k\ge4$ 时成立。