数学归纳法
数学归纳法是一种用于证明与自然数相关的命题的数学方法，其核心是“递推”思想。通过学习，你将掌握如何用归纳奠基和归纳递推两步证明命题，并避免常见错误。
一、概念导入：从“多米诺骨牌”到“数学证明”
同学们小时候可能玩过多米诺骨牌：
- 第一块骨牌被推倒（基础）；
- 如果任何一块倒下，下一块也会跟着倒下（递推）；
- 那么所有骨牌都会倒下。
数学归纳法的思想正是如此。我们想证明一个与自然数n有关的命题P(n)对所有正整数n成立，只需两步：
- 奠基（Base）：证明n=1（或某个起始值）时P(1)成立；
- 归纳步骤（Inductive Step）：假设n=k时P(k)成立，证明n=k+1时P(k+1)也成立。
就像骨牌：第一块倒，且每一块都能推倒下一块，那么全部倒。下面我们用一个生动的图形直观展示这个思想。
上图清晰的展示了：只要第一块倒下，并且每一块都能导致下一块倒下，则所有骨牌都会倒下。这正是数学归纳法的精髓。
二、核心讲解：第一数学归纳法
设P(n)是一个与正整数n有关的命题。如果满足：
- 奠基：P(1)成立（有时起始值不一定是1，而是某个整数m）；
- 归纳假设：假设P(k)（k≥m）成立；
- 归纳递推：证明P(k+1)成立。
那么P(n)对所有n≥m都成立。
注意：第二步中的“假设”叫做归纳假设，是证明的核心工具。在证明P(k+1)时，必须用到归纳假设。
还有一种常用的第二数学归纳法（强归纳法），它假设P(1), P(2), …, P(k)都成立，进而证明P(k+1)。这两种归纳法本质相通，但第二归纳法在需要用到前面多个命题时更方便。本文主要讨论第一数学归纳法。
三、推导过程与图形辅助：写出规范的证明步骤
下面我们通过一个典型例子来展示完整的证明过程。
- 奠基：当n=1时，左边=1，右边=\(\frac{1\times 2}{2}=1\)，所以P(1)成立。
- 归纳假设：假设当n=k时成立，即 $$1+2+\cdots+k = \frac{k(k+1)}{2}.$$
- 归纳递推：证明n=k+1时也成立。左边＝$$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} = \frac{(k+1)(k+2)}{2}\)。两边相等，故P(k+1)成立。
由数学归纳法，P(n)对所有正整数n成立。
我们可以用下图来直观理解这个递推过程：每个方程像一个台阶，每步都利用上一步的结果走到下一个台阶。
四、典型例题（由易到难）
例2（较易）：证明不等式
证明：对一切正整数n≥3，有 \(n^2 > 2n+1\)。
奠基：n=3时，\(3^2=9 > 7 = 2\cdot3+1\)，成立。
归纳假设：假设n=k（k≥3）时，\(k^2 > 2k+1\)。
递推：需证\((k+1)^2 > 2(k+1)+1\)，即\(k^2+2k+1 > 2k+3\).
由归纳假设\(k^2 > 2k+1\)，两边加\(2k+1\)得\(k^2+2k+1 > 4k+2\)。但由于我们要证> \(2k+3\)，显然\(4k+2 > 2k+3\)对k≥3恒成立（因为\(2k-1>0\)）。所以不等式成立。
因此对所有n≥3，\(n^2 > 2n+1\)。
易错提醒：有的同学直接用归纳假设替换左边后不继续放缩，导致证明不完整。必须确保每一步推理严格。
例3（中等）：整除问题
证明：\(n^3 - n\)能被6整除（对任意正整数n）。
奠基：n=1时，\(1^3-1=0\)，0能被6整除。
归纳假设：设\(6 \mid (k^3 - k)\).
递推：\((k+1)^3 - (k+1) = (k^3+3k^2+3k+1)-(k+1) = (k^3 - k) + 3k(k+1)\).
由假设\(k^3 - k\)是6的倍数；而\(k(k+1)\)是连续两数乘积，必为偶数，所以\(3k(k+1)\)是6的倍数（因为3乘以偶数得6的倍数）。因此和也是6的倍数，故\(P(k+1)\)成立。
由归纳法，对所有正整数n成立。
注意：这里运用了“连续两数之积是偶数”这一简单事实，体现了数学归纳法与其他数论知识的结合。
五、常见误区与注意事项
- 误区1：忽略奠基 如果只证明递推而忘记验证起始值，那么整个证明就像空中楼阁。例如：如果假装“对所有正整数”，但n=1时命题不成立，归纳递推再怎么完美也是无效的。
- 误区2：递推时未使用归纳假设 有些同学在证明\(P(k+1)\)时，自己从头到尾重新推导一遍，根本没有用到“假设\(P(k)\)成立”，这样就不是数学归纳法，只是直接证明。
- 误区3：错误地假设大于需要验证的数值 例如在例2中，归纳假设只对k≥3成立，但证明时却使用了k=1或2时的结论，这是不允许的。
- 误区4：证明方向搞反 归纳法是从k推到k+1，不能反过来。
六、学习建议
- 先写好模版：每次证明都清晰地写出：
命题P(n) = ……；
1. 奠基：n=起始值，左边=…，右边=…，成立；
2. 归纳假设：假设n=k时……；
3. 递推：证明n=k+1时…（此处必须用假设）。 - 多练多种类型：等式、不等式、整除、几何、数论等，积累不同构造技巧。
- 注意“起点”：有些命题从n=2或n=3才开始成立，要找准基础值。
- 学会“凑”出假设：证明\(P(k+1)\)时，经常要把表达式变形，分离出与\(P(k)\)相关的部分。
七、知识链接
- 与数列的关系：数列通项公式、求和公式的证明常依赖数学归纳法。
- 与不等式的结合：如证明\(2^n > n^2\)（n≥5）等。
- 与组合恒等式：杨辉三角性质、二项式定理等。
- 与递归算法：编程中的递归函数正确性常用数学归纳法证明。
八、习题自测
1. 证明：\(1\cdot2 + 2\cdot3 + 3\cdot4 + \cdots + n(n+1) = \frac{n(n+1)(n+2)}{3}\) 对所有正整数n成立。
2. 证明：\(2^n \ge n+1\) 对所有正整数n成立。
3. 证明：任意大于1的整数可以分解为若干个质数的乘积（即算术基本定理的存在性，用第二数学归纳法）。
答案（简）：
1. 略，标准代入。
2. 奠基n=1时\(2^1=2\ge2\)；假设\(2^k \ge k+1\)，则\(2^{k+1}=2·2^k \ge 2(k+1) = 2k+2 \ge k+2\)（因为\(2k+2 \ge k+2\)等价于\(k\ge0\)），注意这里需要说明\(2^{k+1} \ge (k+1)+1\)，即\(2k+2 \ge k+2\)显然成立。
3. 提示：假设所有小于等于k的正整数都能分解，考虑k+1；若k+1是质数则成立；否则可写成两个小于k+1的正整数之积，由假设可分解。
数学归纳法是高三数学中极具逻辑魅力的工具，掌握了它，你就掌握了一把“无限”问题的万能钥匙。希望同学们在练习中不断体会递推的奥妙！