一般地,证明一个与正整数 n 有关的数学命题,可按如下两个步骤进行:
(1)(归纳奠基)证明当 n=
n
0
n_{0}
n0 (
n
0
n_{0}
n0
∈
\in
∈
N
∗
N^{*}
N∗ )时命题成立;
(2)(归纳递推)假设当 n=k (k
∈
\in
∈
N
∗
N^{*}
N∗,
k
≥
k \geq
k≥
n
0
n_{0}
n0)时命题成立,证明当 n = k+1 时命题也成立。
根据(1)(2)就可以断定命题对于从
n
0
n_{0}
n0开始的所有正整数都成立。
上述证明方法叫作数学归纳法。