数学归纳法

设 P(n) 是一个关于正整数 n 的命题。若满足:

则 P(n) 对一切 n≥n₀ 都成立。两步缺一不可:只有第一步,后面全靠猜;只有第二步,链条永远起不了头。

⚠ 第二步不是「再验证一个 n=k+1 的具体数」,而是从 P(k) 这个假设出发,推出 P(k+1)。归纳假设「P(k) 成立」是你手里唯一的桥墩,必须踩着它过河。

归纳法的两步各司其职,谁都不能省。少了任何一步,证明就是无效的:

为什么第一步不能省: 只有递推「P(k)⟹P(k+1)」而没验起点,好比骨牌摆好了却没人推——链条自身没错,但永远启动不了。甚至一个假命题都可能满足递推,唯有奠基把它钉死在真起点上。

⚠ 高考批卷最爱抓「第一步漏写」和「第二步没真正用上归纳假设」。这两处丢分几乎是送分反被扣分。

归纳步的全部技巧,都在「如何从 P(k) 变形出 P(k+1)」。核心动作是:写出 n=k+1 的目标式,把它朝 n=k 的样子靠拢,好让归纳假设能替换进来。

三种最常用的「搭桥」手法

⚠ 搭桥失败的通病:写出 P(k+1) 却没往 P(k) 靠,归纳假设放在那儿没用上——那这一步就白写了,阅卷直接判无效。

题型A — 证明恒等式(求和公式)型

触发信号:「求证 1+2+…+n=…」「证明对一切正整数 n，某个求和/连乘等式成立」。

标准动作:① 验 n=1 两边相等;② 设 n=k 时等式成立;③ 目标式 S(k+1)=S(k)+第(k+1)项，把 S(k) 用归纳假设替换，再化简凑成 n=k+1 的右边。

示例(带完整解): 求证 1+2+…+n = n(n+1)/2。
① 奠基: n=1,左=1,右=1·2/2=1,成立。
② 假设: n=k 时 1+2+…+k = k(k+1)/2 成立。
③ 递推(k→k+1): 1+2+…+k+(k+1) = k(k+1)/2 + (k+1)【用归纳假设替换前 k 项】= (k+1)[k/2 + 1] = (k+1)(k+2)/2 = (k+1)[(k+1)+1]/2。
正好是 n=k+1 时的右边,故 P(k+1) 成立。由①②③,原式对一切 n≥1 成立。

陷阱:第三步不写「用归纳假设」就直接跳答案;化简时忘了提公因式 (k+1);漏验 n=1。

题型B — 证明整除型

触发信号:「求证 aⁿ−bⁿ 能被 c 整除」「证 f(n) 是某数的倍数」,含 aⁿ、n! 或指数式。

标准动作:① 验起点整除;② 设 f(k) 能被 c 整除;③ 把 f(k+1) 拆成「f(k) 的倍数」＋「明显能被 c 整除的项」,常用配凑 f(k+1)=A·f(k)+B·(能整除的量)。

示例(带完整解): 求证 f(n)=5ⁿ−1 能被 4 整除。
① 奠基: n=1,f(1)=5−1=4,被 4 整除,成立。
② 假设: n=k 时 5ᵏ−1 能被 4 整除(设 5ᵏ−1=4m,m 为整数)。
③ 递推(k→k+1): f(k+1)=5ᵏ⁺¹−1 = 5·5ᵏ−1 = 5·(5ᵏ−1)+5−1 = 5·(5ᵏ−1) + 4。前一项 5·(5ᵏ−1)=5·4m 含因子 4;后一项 4 也含 4。故 f(k+1) 能被 4 整除。
由①②③,f(n) 对一切 n≥1 都能被 4 整除。

陷阱:配凑时算错系数;拆完没说清「两部分都含因子 c」;把归纳假设 5ᵏ−1=4m 忘了代进去。

题型C — 证明不等式型

触发信号:「求证 2ⁿ>n²(n≥5)」「证某个含 n 的不等式对 n≥n₀ 成立」,起点常不是 1。

标准动作:① 验正确的起点 n₀(不等式常从某个较大的 n 才成立!);② 设 n=k 成立;③ 从 n=k+1 目标式出发,用归纳假设替换后再放缩,凑出要证的一边。

示例(带完整解): 求证 2ⁿ > n² 对一切 n≥5 成立。
① 奠基: n=5,2⁵=32>25=5²,成立(注意起点是 5 不是 1:n=2,3,4 都不成立)。
② 假设: n=k(k≥5) 时 2ᵏ>k² 成立。
③ 递推(k→k+1): 2ᵏ⁺¹=2·2ᵏ > 2·k²【用归纳假设放大】。只需再证 2k²≥(k+1)²,即 k²−2k−1≥0,当 k≥5 时 k²−2k−1=(k−1)²−2≥16−2>0 成立。故 2ᵏ⁺¹>2k²≥(k+1)²,即 P(k+1) 成立。
由①②③,原不等式对一切 n≥5 成立。

陷阱:起点取错(从 n=1 开始验就翻车);放缩方向搞反(不等式要放大就不能缩小);中间那步 2k²≥(k+1)² 忘了单独证。

题型D — 先猜后证(数列通项猜想)型

触发信号:给递推关系(如 a₁=1,aₙ₊₁=aₙ/(1+aₙ)),问「求通项 aₙ」或「猜想并证明」。

标准动作:① 算前几项 a₁、a₂、a₃、a₄ 找规律;② 猜出通项公式 aₙ=…;③ 用归纳法证明猜想:验 n=1,设 n=k 成立,由递推式把 aₖ₊₁ 用 aₖ 表示,代入归纳假设算出 aₖ₊₁ 恰为公式在 k+1 的值。

示例(带完整解): a₁=1,aₙ₊₁=aₙ/(1+aₙ),求 aₙ。
① 猜: a₁=1,a₂=1/2,a₃=1/3,a₄=1/4 → 猜 aₙ=1/n。
② 奠基: n=1,a₁=1=1/1,成立。
③ 假设: n=k 时 aₖ=1/k。
④ 递推(k→k+1): aₖ₊₁ = aₖ/(1+aₖ) = (1/k)/(1+1/k)【用归纳假设与递推式】= (1/k)/((k+1)/k) = 1/(k+1)。正是公式在 k+1 处的值,P(k+1) 成立。
由归纳法,aₙ=1/n。

陷阱:光猜不证(猜想必须归纳法证明!);递推步没用「递推式」把 aₖ₊₁ 与 aₖ 挂钩;算前几项时算错导致猜错公式。

题型E — 几何 / 组合计数型

触发信号:「n 条直线两两相交最多把平面分成几部分」「n 个点连线段数」「n 边形对角线数」等，答案是关于 n 的公式。

标准动作:① 验小情形(n=1 或 n=2);② 设 n=k 时块数/条数为公式值;③ 分析「加第 k+1 个元素时新增多少」,把 f(k+1)=f(k)+新增量,用归纳假设代入化简。

示例(带完整解): 求证平面内 n 条直线两两相交且无三线共点,把平面分成 f(n)=1+n(n+1)/2 部分。
① 奠基: n=1,一条直线分平面为 2 部分,f(1)=1+1·2/2=2,成立。
② 假设: n=k 时 f(k)=1+k(k+1)/2。
③ 递推(k→k+1): 加第 k+1 条直线,它与前 k 条各交于 1 点,共 k 个交点,被分成 k+1 段,每段把一块区域一分为二,故新增 k+1 块。f(k+1)=f(k)+(k+1) = 1+k(k+1)/2+(k+1) = 1+(k+1)(k/2+1) = 1+(k+1)(k+2)/2。
正是公式在 k+1 处的值,P(k+1) 成立。故对一切 n≥1 成立。

陷阱:「新增量」数错(第 k+1 条被前 k 条分成 k+1 段,新增 k+1 块,别漏);奠基取错;化简时公因式没提干净。

① 忘记验证起始项(缺第一步)。奠基是骨牌的第一推,漏了整个证明作废。批卷第一眼就看有没有验 n=n₀。

② 递推时没真正用上归纳假设。第二步若没把「P(k) 成立」代进去,就不是归纳法。归纳假设是唯一桥墩,必须踩上。

③ 第 k+1 项凑配失误(拆项/放缩出错)。求和忘了「+第 k+1 项」、整除配凑系数算错、不等式放缩方向反了,都在这一步。

④ 起始 n₀ 取值错误。不等式(如 2ⁿ>n²)往往不是从 n=1 才成立,起点要取真正开始成立的那个值(此例 n=5)。

⑤ 先猜后证只猜不证。数列通项「观察前几项猜公式」只是第一步,必须用归纳法证明,否则不算完整。

⑥ 第二步写成「再验一个具体数」。递推是「假设 k 成立 ⟹ 推出 k+1 成立」的逻辑推导,不是把 n=k+1 当具体数字再算一遍。

⑦ 结论没收口。三步做完要写「由数学归纳法,命题对一切 n≥n₀ 成立」,少这句话逻辑不闭合。

⑧ k 的取值范围写漏。假设里 k≥n₀ 要交代,尤其起点不是 1 时,放缩才有 k≥5 之类的依据。

① 加强命题法(要证的太弱反而证不动): 有时直接对原命题归纳,第二步推不下去——因为归纳假设「太弱」,提供的信息不够搭桥。反直觉的解法是:把结论证得更强一点,让归纳假设也变强,反而推得动。例:证某数列有界不好证时,先证「aₙ 落在某个更精确的区间」,更强的假设让递推一步到位。心法:假设越强,递推时手里的牌越多。这是归纳法最深的一招。

② 第二数学归纳法(强归纳法)的思想: 第一归纳法的递推是「由 P(k) 推 P(k+1)」——只用前一张。但有些命题(尤其递推涉及前面好几项,如斐波那契 aₙ=aₙ₋₁+aₙ₋₂)光靠 P(k) 不够。第二归纳法把假设加强为:假设 P(n₀)、P(n₀+1)、…、P(k) 全都成立,再证 P(k+1)。骨牌类比:不是「前一张倒撞倒下一张」,而是「前面所有张都倒了,才保证下一张倒」。它与第一归纳法等价,但对付「依赖多个前项」的递推更顺手。

③ 归纳的本质是「良序性」: 归纳法为什么对?因为正整数集有最小反例——若命题不全对,必有一个最小的 n 使它失败,而奠基+递推恰好排除了这个最小反例的存在。理解这一层,你就明白归纳法不是「凑巧的技巧」,而是正整数结构的必然。

④ 「先猜后证」是归纳法的灵魂搭档: 归纳法只能验证已知的公式,不能凭空产生公式。所以数列题的完整链条是「算几项 → 观察规律 → 大胆猜 → 归纳证」。猜是创造,证是把关,两者缺一不可——这也是命题人考查「探究能力」的着力点。