引入

要证明”对所有自然数 ,“,逐个验证是不可能的——自然数有无穷多个。

为什么”验证 成立”和”假设 成立能推出 成立”这两步,就能覆盖全部自然数?

多米诺骨牌为什么会全部倒下?它需要满足什么条件?

正文

定义

数学归纳法是一种证明与自然数有关的命题的方法。若要证明命题 对所有 成立,只需证明:

  1. 奠基: 成立;
  2. 递推:若 成立(),则 成立。

为什么两步就够了

把命题 想成一排多米诺骨牌:

步骤对应作用
奠基推倒第一块保证有起点
递推每块倒下都能带倒下一块保证传递

两者缺一不可。只有奠基没有递推,只能证明第一块倒下;只有递推没有奠基,整排骨牌可能一块也不倒。

这不是”验证了很多情况所以成立”,而是”证明了传递机制存在”。所以归纳法能覆盖无穷多个 ,而枚举不能。

标准写法

以 为例:

步骤内容
奠基 时,左边 ,右边 ,成立
假设设 时成立,即
递推当 时,,也成立
结论由归纳法,对一切 成立

递推步骤中必须”用上假设”。如果推导 时没有用到 ,那这个证明其实与归纳法无关,只是对任意 的直接证明。

第二归纳法(强归纳法)

类型假设的内容适用
第一归纳法只假设 递推只依赖前一项
第二归纳法假设 全部成立递推依赖前若干项

第二归纳法适合” 依赖前面多个结论”的情形,例如证明每个大于 的整数都能分解为素数乘积(需要用到更小的因子)。

两者在逻辑上等价:第二归纳法可以用第一归纳法证明其合法性。

常见变形

变形说明
起点不是 如证明 时 ,奠基从 开始
跨步归纳每次从 推到 ,需验证两个起点
倒推归纳先证无穷多个 成立,再反向推
多重归纳对两个变量同时归纳

跨步归纳要特别注意:若每次跨 步,必须验证两个起点,否则只能覆盖与起点同奇偶的 。

适用边界

能证不能证
与自然数编号有关的命题与实数连续性有关的命题
数列通项、求和公式一般的不等式(需先猜出形式)
整除性、递推关系存在性命题(除非能构造)
组合恒等式需要极限的命题

归纳法不能”发现”结论,只能”验证”结论。公式往往要先猜出来(通过计算前几项),再用归纳法证明。

常见错误

错误问题
递推时没用假设实际是直接证明,不是归纳
只验证一个起点就跨步漏掉一半的
假设写成”对任意 成立”那是把要证的结论当前提
奠基从 开始但命题要求 起点不匹配
递推中隐含使用了未证结论循环论证

引出

第二归纳法为什么与第一归纳法等价?

归纳法能否用于证明实数上的命题?

如果命题对无穷多个 成立,能否反推它对所有 成立?