漏洞百出的数学归纳法

字体 -

从一般定理推出特殊结论叫 演绎”, 而从一些特例找出一般规律就叫 归纳”. 归纳得出的结论并不总是正确的. 比如一则关于物理学家的笑话: 一位物理学家断言60能够被所有小于它的数除尽, 他说: 60能被1, 2, 3, 4除尽; 再试试56, 也行; 看看7, 不行! 不过这可能只是个实验错误而已. 再看看10, 12, 15, 20, 30, … 都能除得尽60. 所以说, 60能够被所有小于它的数除尽.

要证明归纳得出的结论之正确性, 可以使用 数学归纳法”. 它分两步进行:

第一, 证明结论对于起始值成立(通常是从1开始);

第二, 假定结论对于n = k成立, 推出n = k + 1成立.

那么, 结论对于所有正整数都成立.

看看下面几个证明到底哪里出了问题, 以至于推出了谬论.例1.          证明所有的自然数都相等.

: 假定命题 “n = n  + 1” 对于n = k成立, 即有k = k + 1. n = k + 1, 在上式两边同时加1 可得: k + 1 = k + 2. 故结论对n = k + 1成立. 所以, 结论对于所有正整数都成立.

例2.          证明所有人的姓名都相同.: n = 1, 命题成立, 因为一个人跟他/她自己显然同名.假定结论对于n = k成立, : 任何k个人都同名. n = k + 1, 我们可以把这k + 1个人排成一行. 由归纳假设, k个人同名, k个人也同名, 所以他们都跟中间的人同名.  

例3.          证明所有人都是秃子.: n表示人的头发数. n = 1, 命题成立,因为只有一根头发的人肯定是秃子.假定结论对于n = k成立, : 任何有k根头发的人都是秃子. 那么, 对一个仅有k + 1根头发的人也只能算是秃子. , 所有人都是秃子. 下面还有几个命题, 试试看你能不能构造出一个谬误的证明.

  1. 假设平行线相交于无穷远处. 证明, 平面上任何n条直线都有一个公共点.
  2. 证明n×n – 79n + 1601 对所有正整数n都是质数.
  3. 证明2 + 2^2 + … + 2^n = 2^(n + 1). 2^n 表示2n次幂.
分享博文至:

    2 条评论

  1. 1. xyz - 2009年7月5日 03:55

    老弟,你的第一个例子中没有去检验n=1, 2, 3. 只顾去证明 “假定当n=k 此推理成立的话,当n=k 1是也成立“这个比较核心的步骤了。下次再来看你的下面几个例子。:)

  2. 2. lemoncoffee - 2015年4月21日 13:40

    哈哈

发表评论