数学归纳法 · 高中数学思想方法

方法定义

数学归纳法是证明与正整数 $n$ 有关的数学命题的非常实用的研究工具，是一种特殊的数学演绎证明方法。

核心思想

数学归纳法的核心在于**“递推传递性”**。证明一个与正整数 $n$ 有关的命题，分为两个相互关联、缺一不可的步骤：一是“归纳奠基”，验证初始状态成立；二是“归纳递推”，证明状态间的传递性（即以 $n=k$ 成立为假设，严格推出 $n=k+1$ 成立）。只要完成这两个步骤，就可以断定命题对从初始值开始的所有正整数都成立。和其他方法相比，它的解题思路更顺畅，在用其他常规方法难以作答时往往是一招奇效的杀手锏。

适用题型

该方法广泛应用于推理、证明、几何、等式、不等式等模块。特别适用于：

与正整数 $n$ 相关的复杂代数等式或不等式的证明。
数列通项公式的“先猜后证”问题。
难以直接使用常规放缩法（如通项放缩法、裂项相消法）求解的高阶数列不等式证明问题。

识别信号

“与正整数 $n$ 有关”：题干明确要求证明“对任意 $n \in N^*$ ”或“对于一切正整数 $n$ ”恒成立的命题。
“先猜后证”结构：题目要求先计算前几项（如 $a_2, a_3$ ），让考生自主归纳猜想出一个通项公式，并在后文要求“并加以证明”。
常规放缩失效：面对抽象数列前 $n$ 项和的不等式边界证明时，当直接利用通项放缩法无从下手、难度极大时，暗示需直接套用数学归纳法按固定步骤进行推导。

标准解题步骤

归纳奠基：证明当 $n=n_0$ ( $n_0 \in N^*$ ) 时命题成立（多为代入验证的形式，这是推理的起点）。
归纳递推：以“假设当 $n=k$ ( $k \in N^*, k \ge n_0$ ) 时，命题成立”为已知条件，利用该假设进行严密的代数变形或适度放缩，推导出“当 $n=k+1$ 时，命题也成立”。
得出结论：根据步骤(1)和(2)，断定该命题对从 $n_0$ 开始的所有正整数都成立。

一个简短示例

题目：已知数列 $\{a_n\}$ 满足 $a_1=3$ ， $a_{n+1}=3a_n-4n$ 。计算 $a_2, a_3$ ，猜想 $\{a_n\}$ 的通项公式，并加以证明。

解答：由题意可得： $a_2=3a_1-4\times1=3\times3-4=5$ ； $a_3=3a_2-4\times2=3\times5-8=7$ 。

观察 $a_1=3, a_2=5, a_3=7$ ，猜想通项公式为 $a_n=2n+1$ 。

下面用数学归纳法加以证明： ① 归纳奠基：当 $n=1$ 时， $a_1=3=2\times1+1$ ，命题成立。

② 归纳递推：假设当 $n=k$ ( $k \in N^*$ ) 时命题成立，即 $a_k=2k+1$ 。

那么当 $n=k+1$ 时，

$a_{k+1} = 3a_k - 4k$

将归纳假设代入：

$a_{k+1} = 3(2k+1) - 4k = 6k+3-4k = 2k+3 = 2(k+1)+1$

即当 $n=k+1$ 时，命题也成立。

根据①和②可知，对任意的 $n \in N^*$ ，都有 $a_n=2n+1$ 成立。

常见误区

忽视归纳奠基：缺少验证初始状态 $n=n_0$ 的步骤，直接进行假设递推。这会导致推理失去起点，可能证明出一个从一开始就不成立的“伪命题”。
递推时未用假设：在证明 $n=k+1$ 成立的推导过程中，必须且实质性地使用到 $n=k$ 时的归纳假设。如果推导过程完全脱离了归纳假设，这就退化成了直接证明，不再属于数学归纳法。
放缩尺度失控：在利用数学归纳法证明数列不等式时，从 $n=k$ 过渡到 $n=k+1$ 的代数变形往往需要配合不等式的放缩。若放缩得过大或过小，将无法凑出 $n=k+1$ 时的目标形式，导致递推链条断裂。