数学归纳法-岭南师范学院.ppt

* 数 学 归 纳 法 张 映 姜 湛江师范学院 数科院 zhangyingjiang17@126.com 数学归纳法意义与依据 生活中的数学归纳法 数学归纳法的历史发展 数学归纳法是证明关于自然数 n的命题 P (n )的一种方法, 是人们最早掌握的递归方法. 具体程序是： ⑴ 证明P（1）成立； ⑵ 假设P(k)成立，证明P(k+1)也成立。 若⑴，⑵都成立，则P(n)对所有自然数都成立。 数学归纳法在数学中有重要的意义, 它是人们以有限把握无限, 通过有限次的操作，证明关于无限集合的命题的基本方法。 叹为观止的桌上多米诺骨牌 鄂尔多斯万人多米诺：打破尘封十年的吉尼斯纪录 法国数学家帕斯卡在1645年其著作《论算术三角形》中用数学归纳法证明了“帕斯卡三角形”共三个命题：首先明确清晰地指出了称之为第一引理、第二引理的即数学归纳法的第一、二两个步骤。 在费马(1601～1665)、伯努力(1654～1705)、欧拉(1707～783)、高斯(1777～1855)这些大数学家们的出色工作中，都可以找到运用数学归纳法的例子，这些都是皮亚诺完成自然数公理以前的事。可见，在建立自然数公理以前，人们对数学归纳法的合理性是不曾有什么怀疑的。这岂不恰好说明数学归纳法之所以成为公理的一个历史根源 . 李铁木著.公式树与归纳法.地震出版社,1999年P88-90 沃利斯与数学归纳法 英国沃利斯是17世纪最富有创造性的数学家之一。1656年在牛津出版了他的重要著作《无穷算术》中，为了找出平方数0、1、4、9……的和与 之比的一般规律，他写出6个关系式以便观察检验。下面是其中的前3个： ， ， 他观察在所有6个特例中，这比值都大于 差数分别为 与平方数的个数相关，前6个特例所得到的规律可以用于n大于6的情形。他把这种方法叫做“归纳法”。 沃利斯的归纳法既带来了称赞也引起了各种批评。29年后，他本人曾说，费尔马“责备我的归纳法证明并且想改进它，我把归纳法看作是一种很好的研究方法，它常常引导我们易于发现一般规律。” 另一批评来自雅可比·伯努利。1686年在德国莱比锡出版的《学艺》中，指出沃利斯方法的问题并引入从n到n+1的论证着手改进这个方法，在他去世后（1713年）出版的巨著《猜度术》里，他写进一个更详细的对沃利斯的方法的批评，并应用从n到n+1的论证来证明二项式定理，因此， 雅可比·伯努利应作为数学归纳法的另一发明者。 雅可比·伯努利与数学归纳法 数学归纳法的命名 毛罗利科还是帕斯卡，不断地使用数学归纳法，但很长的时期内没有给方法以命名。所以数学归纳法在很长时间没有得到正名与更好的推广。 在名称上迈出重要一步的是，英国的数学家达.摩根在1838年出版的《小百科全书中，达.摩根在他们的条目“归纳法(数学)”里建议使用“逐次归纳法”，但在该条目的最后他偶然有意无意地使用了术语“数学归纳法”，这就是我们所能看到这一术语的最早一次使用。 之后，“数学归纳法”这一名称为英国数学家托德亨特的《代数》所采用并因而得到广泛传播。 欧洲与数学归纳法 在欧洲大陆，也使用“数学归纳法”的名称，但不普遍，德国数学家戴德金在他的著作《数的意义》和第59节第80节中使用“完全归纳法” 。 法国大数学家庞加莱不限于用一个固定名称，他曾使用过“递推法证明”、“递归推理” 等名称。 后来，20世纪的一位学者丹齐克在他的《数，科学的语言》中宣称，“数学归纳法”与“完全归纳法”都是误用，只有“递归推理”可以接受。