引入
要证明”对所有自然数 ,“,逐个验证是不可能的——自然数有无穷多个。
为什么”验证 成立”和”假设 成立能推出 成立”这两步,就能覆盖全部自然数?
多米诺骨牌为什么会全部倒下?它需要满足什么条件?
正文
定义
数学归纳法是一种证明与自然数有关的命题的方法。若要证明命题 对所有 成立,只需证明:
- 奠基: 成立;
- 递推:若 成立(),则 成立。
为什么两步就够了
把命题 想成一排多米诺骨牌:
| 步骤 | 对应 | 作用 |
|---|---|---|
| 奠基 | 推倒第一块 | 保证有起点 |
| 递推 | 每块倒下都能带倒下一块 | 保证传递 |
两者缺一不可。只有奠基没有递推,只能证明第一块倒下;只有递推没有奠基,整排骨牌可能一块也不倒。
这不是”验证了很多情况所以成立”,而是”证明了传递机制存在”。所以归纳法能覆盖无穷多个 ,而枚举不能。
标准写法
以 为例:
| 步骤 | 内容 |
|---|---|
| 奠基 | 时,左边 ,右边 ,成立 |
| 假设 | 设 时成立,即 |
| 递推 | 当 时,,也成立 |
| 结论 | 由归纳法,对一切 成立 |
递推步骤中必须”用上假设”。如果推导 时没有用到 ,那这个证明其实与归纳法无关,只是对任意 的直接证明。
第二归纳法(强归纳法)
| 类型 | 假设的内容 | 适用 |
|---|---|---|
| 第一归纳法 | 只假设 | 递推只依赖前一项 |
| 第二归纳法 | 假设 全部成立 | 递推依赖前若干项 |
第二归纳法适合” 依赖前面多个结论”的情形,例如证明每个大于 的整数都能分解为素数乘积(需要用到更小的因子)。
两者在逻辑上等价:第二归纳法可以用第一归纳法证明其合法性。
常见变形
| 变形 | 说明 |
|---|---|
| 起点不是 | 如证明 时 ,奠基从 开始 |
| 跨步归纳 | 每次从 推到 ,需验证两个起点 |
| 倒推归纳 | 先证无穷多个 成立,再反向推 |
| 多重归纳 | 对两个变量同时归纳 |
跨步归纳要特别注意:若每次跨 步,必须验证两个起点,否则只能覆盖与起点同奇偶的 。
适用边界
| 能证 | 不能证 |
|---|---|
| 与自然数编号有关的命题 | 与实数连续性有关的命题 |
| 数列通项、求和公式 | 一般的不等式(需先猜出形式) |
| 整除性、递推关系 | 存在性命题(除非能构造) |
| 组合恒等式 | 需要极限的命题 |
归纳法不能”发现”结论,只能”验证”结论。公式往往要先猜出来(通过计算前几项),再用归纳法证明。
常见错误
| 错误 | 问题 |
|---|---|
| 递推时没用假设 | 实际是直接证明,不是归纳 |
| 只验证一个起点就跨步 | 漏掉一半的 |
| 假设写成”对任意 成立” | 那是把要证的结论当前提 |
| 奠基从 开始但命题要求 | 起点不匹配 |
| 递推中隐含使用了未证结论 | 循环论证 |
引出
第二归纳法为什么与第一归纳法等价?
归纳法能否用于证明实数上的命题?
如果命题对无穷多个 成立,能否反推它对所有 成立?