数学归纳法的逻辑：实际起点、任意递推与合法范围

约 3029 字大约 10 分钟

归纳不是多验几项，而是用一个已成立的起点，加上对任意合法下标都成立的递推关系，覆盖全部目标整数。证明结论正确与体现指定方法，是需要分清的两件事。

一、知识点概念与依据

1. 起点与任意蕴含缺一不可

设P(n)是对所有整数n≥n₀要证明的命题。先证P(n₀)，再对任意整数k≥n₀，在P(k)成立的条件下证明P(k+1)。假设P(k)并非预先承认全体结论，而是为了证明条件关系P(k)⇒P(k+1)。

环节	实际需要完成的内容
基例	代入整条命题，两边、全部条件和所有量一并核验
递推	固定任意合法k，证明由旧命题到下一命题的蕴含
结论	起点与递推共同覆盖题目要求的所有整数

只有递推而没有起点，链条不能启动；只有几个基例而没有任意递推，也不能覆盖无限多个编号。

2. 为什么两步能覆盖全体整数

任意目标整数n距起点只有有限步，逐步应用递推即可到达。也可反证：若有失败编号，取第一个失败值m。它不是已成立的n₀，故m>n₀，前一编号m−1成立；递推却推出m成立，矛盾。因此没有失败编号。

先算几个值形成猜想叫不完全归纳，只是寻找命题的办法；上述任意递推才是证明覆盖全体的机制。

3. 起点和步长由实际范围决定

起点可以是0、3或其它整数，不固定为1；可按原整数范围证明，也可重编号。对全部正整数的和、积、递推性质和逐次计数，都应先写完整目标范围。

若一次递推跨2步，只覆盖与起点同奇偶的一支。要覆盖两种奇偶类，须分别提供起点；若只要求其中一类，就在那一类合法递推，不跳到题外编号。

4. 假设、目标与命题强度要一致

递推只假设P(k)，不能把P(k+1)当已知后绕回自身。要证明更强命题可以，但需先声明，并让基例、归纳假设与目标都属于同一个加强命题；不能由弱不等式擅自改用强假设。

把新对象中的旧部分括出，指出替换或估计的具体行，最能说明假设的作用。先写待证式再反推只有在各步等价、条件合法时才可成立，通常从已知旧部分正向推到目标更清楚。

5. 直接证明与使用假设的训练口径分开

不使用归纳假设也可能直接证明任意n的结论，不能因此说数学结论错误。形式逻辑中，若已经直接证明P(k+1)，当然也证明了P(k)⇒P(k+1)；假设不必在每个有效证明中都实际参与。

归纳法写法训练通常要求体现旧命题怎样用于新命题。遇到这类辨析题，应准确说明原推理实际做了什么，区分“缺少展示假设作用”与“蕴含逻辑无效”。

二、考点方法与例题

1. 基例把左右两端完整代入

范围确定最小允许编号，再逐一替换上限、下限、系数与幂。仅验证另一个较大编号，或只算左边，没有完成所需起点。

例题 01 交错和等式的归纳起点

题目

用数学归纳法证明“对任意的 $n\in {N}^{*}$ ，都有 $1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\cdots +\frac{1}{2n-1}-\frac{1}{2n}=\frac{1}{n+1}+\frac{1}{n+2}+$ $\frac{1}{n+3}+\cdots +\frac{1}{2n}$ ，第一步应该验证的等式是（）

A． $1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}=\frac{1}{3}+\frac{1}{4}$ B． $1-\frac{1}{2}+\frac{1}{3}=\frac{1}{2}+\frac{1}{3}$

C． $1=\frac{1}{2}+\frac{1}{2}$ D． $1-\frac{1}{2}=\frac{1}{2}$

答案与解析

解析

题目要求所有正整数n，起点是n=1。左边最后下标2n=2，共两项1−1/2；右边从n+1=2到2n=2，只有一项1/2。因此应验证1−1/2=1/2，选D。

A是n=2的等式，虽然成立，却不能代替起点1。B两边算得同为5/6，但左边只截到第三项，不是n=1的完整命题。C也是一个真等式，却不是把题中左右两端直接代n=1所得的式子。真假判断之外，还要对应真正基例。

本题结论

D。

2. 分析证明方法，不把正确结论误判为假

检查基例与假设是否正确，再定位递推中哪一行用了旧命题。如果实际采用直接比较，应如实说明；按要求改写归纳链时，必须保留平方、根式和不等号的合法条件。

例题 02 辨析一段根式不等式证明

题目

某同学用数学归纳法证明不等式 $\sqrt{{n}^{2}+n}<n+1\left( n\in {N}^{\ast }\right)$ ，过程如下：

（1）当 $n=1$ 时， $\sqrt{{1}^{2}+1}<1+1$ ，不等式成立．

（2）假设当 $n=k\left( k\in {N}^{\ast }\right.$ ,且 $\left. k\ge 1\right)$ 时，不等式成立，即 $\sqrt{{k}^{2}+k}<k+1$ ，则当 $n=k+1$ 时， $\sqrt{{(k+1)}^{2}+(k+1)}=\sqrt{{k}^{2}+3k+2}<\sqrt{{k}^{2}+3k+2+(k+2)}=\sqrt{{(k+2)}^{2}}=(k+1)+1$ ，

∴当 $n=k+1$ 时，不等式成立．

根据（1）和（2）可知对任何 $n\in {N}^{\ast },\sqrt{{n}^{2}+n}<n+1$ 都成立．则上述证法（）

A．全部过程均符合数学归纳法的原理

B． $n=1$ 的验证不正确

C．归纳假设不正确

D．从 $n=k$ 到 $n=k+1$ 的推理没有用到归纳假设

答案与解析

解析

基例√2<2正确，任意k≥1时写出的假设也正是旧命题，所以B、C不选。原递推直接把根号内增加正数k+2，得到(k+2)²，并没有调用√(k²+k)<k+1这一假设。D准确描述了这一事实。

本题按“展示归纳假设作用”的课堂训练口径选择D。A的“符合原理”若理解为纯粹的条件蕴含有效性，则需要区分：直接证明下一命题同样能推出该蕴含，不能把未使用假设断言为数学逻辑错误。这里要辨认的是原写法实际未使用假设，而非否认不等式。

目标对任意正整数n可直接证明：(n+1)²−(n²+n)=n+1>0，且两边非负，故√(n²+n)<n+1。

若要求明确用到假设，可这样补全归纳链：基例仍为√2<2；假设√(k²+k)<k+1，两边非负，平方得k²+k<(k+1)²。于是

\begin{aligned}(k+1)^2+(k+1)&=k^2+k+2k+2\\&<(k+1)^2+2k+2\\&=(k+2)^2-1<(k+2)^2.\end{aligned}

第一条严格不等式来自归纳假设；取非负平方根得到下一命题。任意k的递推与基例共同覆盖全体正整数。

本题结论

按本题的方法辨析口径选D；原目标不等式及其直接比较均正确。

3. 指定范围从真正最小值启动

先查题给范围，再把假设提供的中间界与真正下一目标衔接。乘除量的符号必须明确，不能把“得到一个界”当作“已到目标”。

例题 03 指定整数范围的指数不等式

题目

用数学归纳法证明：对任意的正整数 $n>4,{2}^{n}>{n}^{2}$ ．

答案与解析

解析

n>4且n为整数，起点为5。2⁵=32>25=5²，基例成立。

任取整数k≥5，假设2ᵏ>k²。乘正数2得到2ᵏ⁺¹>2k²，而

2k^2-(k+1)^2=(k-1)^2-2\ge16-2=14>0.

所以2ᵏ⁺¹>2k²>(k+1)²，完成下一命题。由起点与任意递推，对全部正整数n>4结论成立；只核5、6不能替代这一步。

本题结论

对所有正整数 $n>4$ ， $2^n>n^2$ 。

4. 递推猜想同时证明定义域

有限计算形成猜想；任意k代入原递推才给全体证明。尤其先核下一项分母非零，再进行计算，最后回验初值和原关系。

例题 04 由有理递推猜想通项并证明

题目

已知数列 $\left\{ {a}_{n}\right\}$ 中， ${a}_{1}=0$ 且 ${a}_{n+1}=\frac{1}{2-{a}_{n}}$ .

(1)求数列 $\left\{ {a}_{n}\right\}$ 的第2，3，4项；

(2)根据（1）的计算结果，猜想数列 $\left\{ {a}_{n}\right\}$ 的通项公式，并用数学归纳法证明.

答案与解析

解析

（1）a₂=1/(2−0)=1/2，a₃=1/(2−1/2)=2/3，a₄=1/(2−2/3)=3/4，各分母均非零。

（2）猜想aₙ=(n−1)/n。n=1时给0，符合首项。任取k≥1，假设aₖ=(k−1)/k，则

2-a_k=2-\frac{k-1}{k}=\frac{k+1}{k}>0,

所以递推合法，且

a_{k+1}=\frac1{2-a_k}=\frac{k}{k+1}=\frac{(k+1)-1}{k+1}.

这里将aₖ的假设值代入分母，正是实际使用归纳假设。于是通项对全部正整数成立，并且0≤aₙ<1，每一步分母都正。首项与原递推回代也均吻合；前几项只用于猜想，不是全体结论的证据。

本题结论

（1） $a_2=1/2,a_3=2/3,a_4=3/4$ ；（2） $a_n=(n-1)/n$ 。