1,4数学归纳法 2.pptVIP

数学归纳法 一 归纳法的演变和发展 　　在现行的中学数学教材中，介绍了枚举归纳法和数学归纳法．其实归纳推理和演绎推理可以追溯到公元前六世纪毕达哥拉斯时代，当时毕达哥拉斯学派中有人研究了所谓的“三角数”，用现在的数学语言来表述，即满足下列条件的数列 ： ， 如果来一个飞跃：问 更一般地， 1 他们通过归纳的方法得到了一般的结论，进一步，毕达哥拉斯学派还研究了“四角数”以及“毕达哥拉斯数”等． 但将归纳推理和演绎推理巧妙地集合起来并形成现在的数学归纳法，其间经历了两千年的坎坷发展，直到十六世纪才初见端倪，十七世纪开始广为推广，十九世纪才得到“数学归纳法”这一美称． 最早发现数学归纳法的递归推理模式的人是意大利数学家莫洛里克（1494年——1575年），他在《算术》一书中的命题11指出：第n个三角形数加上它前面的那个三角形数和为n2 ．他是这样来证明： ， ． 　　?法国人帕斯卡（1623年——1662年）是第二个应用数学归纳法的数学家，而且更为成熟严密，并出色地证明了 　　? 给数学归纳法取名的是德国数学家摩尔根（1806年——1871年），他于1838年在《小百科全书引言（数学）》中首次提出了“逐次归纳法”这一名称，之后又更名为“数学归纳法”． 二、数学归纳法证明的理论基础 　　数学归纳法是一种重要的证题方法，许多涉及正整数的问题，往往使用它．人们验算起始命题成立后，只要证明了递推依据（由 成立，可推出 成立）就完成了数学归纳法的主要证明．那么，数学归纳法的逻辑理论基础是什么？下面从两个方面给予说明． 　　 数学归纳法证明的理论基础之一--Peano公理 1．数学归纳法合理性是建立在以下自然数公理系统（Peano公理系统）基础上的． Peano把自然数集 定义为满足如下五条公理的集合． 　（1） （2）任给 ，则存在 且 （ 为元素 a 的后面加个元素“1”， 称为 a 的后继数） （3）若 ，则 （即 中任何元素不能作为 中多于一个元素的后继数） （4）任给 ，则 （即1不是 中任一元素的后继数） 　（5）若 的任一子集 具有性质（1）、（2），则 （即集合M 就含有集合 的所有元素） 数学归纳法证明的理论基础之二-- 自然数最小数原理 数学归纳法的合理性也可用自然数最小数原理来证明，用反证法证明如下： 证明: 设满足（1）、（2）的命题 不是对所有自然数都成立．记 　　 根据自然数最小数原理：非空的某些自然数组成的集合中一定存在最小自然数，故M 中一定存在一个最小自然数．不妨设为l ，显然 ，否则l=1 ，则 ，即 ，知 不真，这与条件（1）矛盾．由 知 ，于是 ，又l 是使 不真的自然数中的最小者，所以 就使题为真，即 真，由（2）知 为真，所以 ，这与 矛盾．故 对所有自然数都成立． 三、数学归纳法的其他形式 1．不一定从1开始．初值可据实际情况适当提前或推后， 2.不一定由 k推k+1 ．对于某些命题： 　　（1）验证n=1、2 时，命题成立； 　　（2）设n=k 时成立，证明n=k+2 时，命题成立 3．反向归纳法 　　对于命题 ，若 （1） 对无穷个n 值真． （2）若 真，则 真． 　　根据（1）、（2），对 ， 真． * 这里实际上用了数学归纳法． 又 下面用Peano公理证明数学归纳法的合理性． 　　记P（k）表示含自然数n 的某一命题， 　　若（1）P（1）为真命题； 　　 （2）任给 ，若 真，则 真． 则对一切 真． 　　证明：记 　　 由①知 　　 又由②，对一切 　　由Peano公理5可知 ， 即 M 应该包含一切自然数． 　　 对一切自然数都正确． *