数学归纳法专题复习
数学归纳法是证明与正整数相关命题的利器。本专题从第一数学归纳法出发，延伸至第二数学归纳法，并通过数列、不等式、整除等典型问题展示其核心思想——递推。配合图形辅助理解“递推链条”，攻克综合难题。
概念导入：从“多米诺骨牌”到数学证明
你是否看过多米诺骨牌表演？第一张牌倒下，接着第二张、第三张……直到最后一张全部倒塌。如果我们把每一张骨牌看作一个命题$P(n)$（$n$是正整数），那么要保证所有骨牌都能倒下，需要满足两个条件：
- 第一张骨牌倒下——即验证$P(1)$成立；
- 如果某张骨牌倒下，它的下一张也一定倒下——即假设$P(k)$成立，能推出$P(k+1)$成立。
这就是数学归纳法的精髓！它把无限步的证明转化为两步：奠基和递推。
上面的图中，红色骨牌代表$P(1)$倒下（成立），橙色代表$P(2)$（成立），蓝色代表假设$P(k)$成立，灰色虚线箭头表示如果能从$P(k)$推出$P(k+1)$，那么灰色骨牌也会倒下（命题成立）。于是所有骨牌都能倒下——所有正整数$n$都有$P(n)$成立。
核心讲解：第一数学归纳法
设$P(n)$是关于正整数$n$的命题。
步骤：
- 奠基：验证$n=n_0$时命题成立（通常$n_0=1$，但有时也可从$0$或$2$开始）；
- 归纳假设：假设当$n=k$（$k\ge n_0$）时命题成立；
- 归纳递推：在假设的基础上，证明$n=k+1$时命题也成立。
结论：命题对从$n_0$开始的所有正整数$n$都成立。
第二数学归纳法（强归纳法）
有时仅靠$P(k)$难以推出$P(k+1)$，我们需要假设$n\le k$时全部成立，再证$P(k+1)$。步骤为：
- 奠基：$P(1)$成立；
- 归纳假设：假设对一切$m\le k$，$P(m)$成立；
- 归纳递推：证明$P(k+1)$成立。
它们在本质上等价，但强归纳法在递归数列、质数分解等问题中更灵活。
典型例题
例1（基础）
用数学归纳法证明：$1+3+5+\cdots+(2n-1)=n^2$（$n\in\mathbb{N}^*$）。
思路：直接套用第一归纳法。
步骤：
① 当$n=1$时，左边$=1$，右边$=1^2=1$，成立。
② 假设$n=k$时，有$1+3+5+\cdots+(2k-1)=k^2$。
当$n=k+1$时，左边$=1+3+\cdots+(2k-1)+(2k+1)=k^2+(2k+1)=(k+1)^2$，成立。
∴ 对所有正整数$n$，原等式成立。
易错点：一定要明确添加的项是$2(k+1)-1=2k+1$，而不能写成$2k-1$。
例2（中等）
已知数列$\{a_n\}$满足$a_1=1$，且$a_{n+1}=\dfrac{a_n}{1+2a_n}$，求通项公式并用数学归纳法证明。
思路：先通过递推算出前几项猜想通项，再用归纳法验证。
计算：$a_1=1$，$a_2=\dfrac{1}{1+2}=\dfrac13$，$a_3=\dfrac{1/3}{1+2/3}=\dfrac15$，$a_4=\dfrac{1/5}{1+2/5}=\dfrac17$，猜想$a_n=\dfrac{1}{2n-1}$。
证明：
① $n=1$时，$a_1=1=\dfrac{1}{1}$，成立。
② 假设$n=k$时，$a_k=\dfrac{1}{2k-1}$。
则$a_{k+1}=\dfrac{a_k}{1+2a_k}=\dfrac{\frac{1}{2k-1}}{1+\frac{2}{2k-1}}=\dfrac{\frac{1}{2k-1}}{\frac{2k-1+2}{2k-1}}=\dfrac{1}{2k+1}=\dfrac{1}{2(k+1)-1}$，成立。
∴ 猜想正确。
例3（困难）
用数学归纳法证明：对任意正整数$n$，$2^n>n^2$（$n\ge 5$）。
思路：起点是$n=5$（因为$n=1,2,3,4$时不成立）。需要较强的放缩技巧。
① 当$n=5$时，$2^5=32>25=5^2$，成立。
② 假设当$n=k$（$k\ge5$）时，$2^k>k^2$成立。
要证$2^{k+1}>(k+1)^2$。左边$2^{k+1}=2\cdot2^k>2k^2$。
只需证$2k^2\ge(k+1)^2$，即$2k^2\ge k^2+2k+1\Rightarrow k^2-2k-1\ge0\Rightarrow (k-1)^2\ge2$。
当$k\ge5$时，$(k-1)^2\ge16>2$，因此$2k^2>(k+1)^2$。
于是$2^{k+1}>2k^2>(k+1)^2$，证毕。
易错点：不要忘记先证明$k\ge5$时$k^2-2k-1\ge0$成立，以及严格不等式传递。
常见误区
- 基础缺失：忘记验证$n=1$（或起始值），或从$n=1$开始但起始值实际是$n=0$或$n=2$。
- 假设滥用：在归纳步骤中直接用$P(k+1)$成立去证明，或者循环论证。
- 放缩方向错：不等式证明时，需要从$P(k)$推出$P(k+1)$，往往需要适当的放缩，放缩方向必须合理。
- 忽略范围：归纳假设中的$k$必须大于等于起始值，并且递推过程中不能超出定义域。
学习建议
1.多练二级结论：掌握常见的归纳命题模式，如恒等式、整除、不等式。
2.数形结合：画出递推箭头图，时刻问自己“如果$P(k)$真，$P(k+1)$是否一定真？”
3.从试题中找归纳法：很多数列压轴题的第二问就是考查归纳法，先大胆猜想通项，再严谨证明。
4.注意“强归纳”的灵活使用：当递推公式涉及前几项时（如斐波那契数列），强归纳法是首选。
知识链接
- 数列递推：归纳法常与数列通项、求和公式证明结合。
- 二项式定理：证明组合恒等式时常用归纳法。
- 不等式放缩：导数与函数单调性也可辅助证明与正整数有关的不等式。
- 整除性：证明形如“$f(n)$能被$d$整除”时，常用朴素的因式分解加归纳。
习题自测
- （基础） 用数学归纳法证明：$1^2+2^2+\cdots+n^2=\frac{n(n+1)(2n+1)}{6}$（$n\in\mathbb{N}^*$）。
- （中等） 数列$\{a_n\}$满足$a_1=2$，$a_{n+1}=3a_n+2$，求通项公式并用归纳法证明。
- （困难） 用数学归纳法证明：对$n\ge 4$，有$2^n\ge n^2$。
答案提示：
1. 奠基$n=1$，左边$1$，右边$1$；假设$n=k$成立，则$n=k+1$时左边$=\frac{k(k+1)(2k+1)}{6}+(k+1)^2=\frac{(k+1)(2k^2+7k+6)}{6}=\frac{(k+1)(k+2)(2k+3)}{6}$，与公式一致。
2. 先计算$a_2=8$，$a_3=26$，猜想$a_n=2\cdot3^{n-1}-1$；归纳证明时注意利用$a_{k+1}=3a_k+2=3(2\cdot3^{k-1}-1)+2=2\cdot3^k-1$。
3. 注意起始值$n=4$，验证$2^4=16\ge16=4^2$；设$n=k\ge4$时$2^k\ge k^2$，则$2^{k+1}=2\cdot2^k\ge2k^2$，需证$2k^2\ge(k+1)^2$，即$k^2-2k-1\ge0$，当$k\ge4$时成立，故$2^{k+1}\ge(k+1)^2$。