数学归纳法：从多米诺骨牌到数学证明
数学归纳法是证明与自然数有关的命题的一种强大工具，其核心思想是“递推”：先验证基础情况（第一张牌倒下），再证明递推步骤（如果第k张牌倒下，则第k+1张牌也倒下），从而推出所有牌都倒下。本文通过生动类比、详细步骤、典型例题和常见误区，帮助高三学生轻松掌握这一方法。
一、概念导入：为什么需要数学归纳法？
想象一个经典场景：你站成一排多米诺骨牌前，如果推倒第一张，它会撞倒第二张，第二张撞倒第三张……最终全部倒下。但你要保证两点：
- 第一张牌必须倒下（初始条件）；
- 任意相邻两张牌之间间距适当，前一张倒下一定能碰倒后一张（递推关系）。
数学归纳法的思想与多米诺骨牌完全吻合。当我们想证明一个关于自然数 $n$ 的命题 $P(n)$ 对所有 $n\geq n_0$ 成立时，只需要验证：
- 奠基（Base case）：$P(n_0)$ 成立；
- 归纳步骤（Inductive step）：假设 $P(k)$ 成立（$k\geq n_0$），推出 $P(k+1)$ 也成立。
由此，就像多米诺骨牌一样，$P(n_0),P(n_0+1),P(n_0+2),\ldots$ 全部成立。
二、核心讲解：数学归纳法的基本形式
1. 定义
数学归纳法是一种用于证明关于自然数的命题的演绎推理方法。其标准形式（第一数学归纳法）如下：
设 $P(n)$ 是关于正整数 $n$ 的一个命题。如果：
- 奠基：$P(1)$ 成立；
- 归纳假设：假设 $P(k)$ 成立（$k\in \mathbb{N}^*$）；
- 归纳证明：在假设基础上，推出 $P(k+1)$ 成立。
那么，对于所有正整数 $n$，$P(n)$ 都成立。
2. 书面格式
标准的证明过程应当包含以下三个步骤，缺一不可：
- 奠基步骤：当 $n=n_0$ 时，验证命题成立（通常是 $n=1$ 或 $n=0$）。
- 归纳假设：假设 $n=k$ 时命题成立。
- 归纳步骤：利用假设，证明 $n=k+1$ 时命题也成立。
注意：归纳假设是证明的“催化剂”，必须明确写出并正确使用。
三、推导/过程：从假设到结论的变形技巧
数学归纳法的核心难点在于“从 $k$ 到 $k+1$”的推导。你需要将 $P(k+1)$ 的表达式写成与 $P(k)$ 相关的形式，然后代入假设。常见技巧包括：
- 加项法：如求和问题，$\sum_{i=1}^{k+1} a_i = \sum_{i=1}^{k} a_i + a_{k+1}$。
- 乘除法：如整除问题，将 $P(k+1)$ 的表达式拆分成 $P(k)$ 的倍数 + 余项。
- 等价变形：如不等式证明，通过放缩或差值比较。
下面通过一个具体的推导示例展示：
命题：证明 $1+2+3+\cdots+n = \dfrac{n(n+1)}{2}$ 对所有正整数 $n$ 成立。
奠基：当 $n=1$ 时，左边 $=1$，右边 $=\frac{1\times2}{2}=1$，成立。
归纳假设：假设 $n=k$ 时，$1+2+\cdots+k = \dfrac{k(k+1)}{2}$ 成立。
归纳步骤：考虑 $n=k+1$：
$$\begin{aligned} 1+2+\cdots+k+(k+1) &= (1+2+\cdots+k) + (k+1) \\ &= \frac{k(k+1)}{2} + (k+1) \quad (\text{代入假设}) \\ &= \frac{k(k+1) + 2(k+1)}{2} \\ &= \frac{(k+1)(k+2)}{2} \\ &= \frac{(k+1)[(k+1)+1]}{2}. \end{aligned}$$所以 $n=k+1$ 时命题也成立。由数学归纳法，对于所有正整数 $n$，公式成立。
四、典型例题
例1（易）：证明 $n^3+2n$ 能被 $3$ 整除，$n\in\mathbb{N}^*$。
思路：整除问题常用“加项变形”，将 $k+1$ 的表达式写成 $k$ 的表达式加上 $3$ 的倍数。
证明：
- 奠基：$n=1$ 时，$1^3+2\times1=3$，能被 $3$ 整除。
- 归纳假设：假设 $n=k$ 时，$k^3+2k=3m$（$m\in\mathbb{Z}$）。
- 归纳步骤：$n=k+1$ 时，
所以也能被 $3$ 整除。故原命题得证。
易错点：忘记拆出 $k^3+2k$ 时漏掉常数项或搞错符号。
例2（中）：证明 $\dfrac{1}{1\times2}+\dfrac{1}{2\times3}+\cdots+\dfrac{1}{n(n+1)} = \dfrac{n}{n+1}$。
思路：裂项相消与归纳假设结合。注意 $\frac{1}{k(k+1)}=\frac{1}{k}-\frac{1}{k+1}$。
证明：
- $n=1$ 时，左边 $=\frac{1}{2}$，右边 $=\frac{1}{2}$，成立。
- 假设 $n=k$ 时，$\sum_{i=1}^k \frac{1}{i(i+1)} = \frac{k}{k+1}$。
- $n=k+1$ 时，
命题得证。
易错点：裂项时符号错误或通分计算失误。
例3（中偏易）：证明 $2^n > n^2$（$n\geq 5$，$n\in\mathbb{N}$）。
思路：不等式需要调整或放缩。奠基从 $n=5$ 开始。归纳步骤要利用 $2^{k+1}=2\cdot2^k$ 与 $(k+1)^2$ 的比较。
证明：
- $n=5$ 时，$2^5=32$，$5^2=25$，$32>25$，成立。
- 假设 $n=k$ 时，$2^k > k^2$（$k\geq5$）。
- $n=k+1$ 时，
由于 $k\geq5$，所以 $(k-1)^2\geq16>2$，故 $2k^2 > (k+1)^2$，即 $2^{k+1} > (k+1)^2$。原不等式成立。
易错点：从 $2^k>k^2$ 直接推出 $2^{k+1}> (k+1)^2$ 并不显然，需要额外放缩或比较。
五、常见误区
- 遗漏奠基：有些学生直接假设 $P(k)$ 并推出 $P(k+1)$，却从未验证第一个值，导致论证“悬空”。
- 使用假设不当：在推导 $P(k+1)$ 时，没有将 $P(k)$ 作为一个整体代入，而是零散地重复证明。
- 递推逻辑倒置：有些同学试图从 $P(k+1)$ 推出 $P(k)$，方向反了。
- 忽略 $k$ 的范围：在归纳步骤中，$k$ 必须不小于奠基值 $n_0$，否则递推失效。
- 只做形式，没有实质变形：仅仅写出“由归纳假设得”，不写出具体变形过程，扣分严重。
六、学习建议
- 模板化书写：按“奠基→假设→递推”三段式清晰书写，不要跳步。
- 变形先行：在动笔前，先想清楚如何将 $P(k+1)$ 与 $P(k)$ 关联，常见的变形手段（加项、乘项、代换）要熟练。
- 多练多悟：归纳法看似死板，但变形灵活。建议从数列求和、整除、不等式、恒等式四个方向各练几道题。
- 注意起点：有些命题 $n=1$ 不成立，需要从 $n=2$ 或更大的数开始，修改奠基值即可。
- 第二数学归纳法：当命题对 $n$ 的依赖不限于 $n-1$ 时，可假设 $P(1),P(2),\ldots,P(k)$ 都成立来证明 $P(k+1)$，称为强归纳法。
七、知识链接
数学归纳法常与其他高考考点结合：
- 数列：求数列通项公式、证明前 $n$ 项和公式、等差等比数列性质。
- 不等式：证明与自然数有关的不等式，如贝努利不等式、均值不等式推广。
- 函数与导数：证明某些函数性质对正整数成立（如 $x^n$ 的导数公式）。
- 整除与数论：证明 $n^5-n$ 被 $30$ 整除等。
- 几何计数：平面内直线划分区域问题。
另外，归纳法也在大学数学中广泛使用，如证明级数性质、组合恒等式等，是高中数学向高等数学过渡的重要桥梁。
八、习题自测
- 证明：$1\times2 + 2\times3 + \cdots + n(n+1) = \dfrac{n(n+1)(n+2)}{3}$（$n\in\mathbb{N}^*$）。
- 证明：$n^3 + (n+1)^3 + (n+2)^3$ 能被 $9$ 整除（$n\in\mathbb{N}^*$）。
- 证明：$\sqrt{2+\sqrt{2+\cdots+\sqrt{2}}}$（$n$ 重根号）$< 2$，对所有正整数 $n$ 成立。
参考答案
- 略（用标准归纳法，注意 $\sum_{i=1}^{k+1} i(i+1) = \frac{k(k+1)(k+2)}{3} + (k+1)(k+2)$，提公因式即可）。
- 奠基 $n=1$ 得 $1^3+2^3+3^3=36$ 能被 $9$ 整除；假设 $k^3+(k+1)^3+(k+2)^3=9m$，则 $(k+1)^3+(k+2)^3+(k+3)^3 = [k^3+(k+1)^3+(k+2)^3] + [(k+3)^3 - k^3] = 9m + 9(k^2+3k+3)$，也整除。
- 设 $a_1=\sqrt{2}<2$；假设 $a_k<2$，则 $a_{k+1}=\sqrt{2+a_k}<\sqrt{2+2}=2$，归纳成立。