数学归纳法的探讨.docVIP

【标题】数学归纳法的探讨 【作者】贾 旗 【关键词】第一数学归纳法?第二数学归纳法?跳板数学归纳法 【指导老师】白 永 娟 【专业】数学与应用数学 【正文】实质就是通过有限次来论证无限的过程。数学归纳法主要应用于证明恒等式，不等式整除性以及一些有趣的杂题。虽然它运用广泛,?但是对数学归纳法却存在一些误解：一方面有人认为这是一种完全归纳法,?它用递推代替了无限次验证;?另一方面关于数学归纳法的根据,?有人认为是“归纳法公理”,?又有人认为是最小数原理。对于这样一个重要证明方法,?不能不弄清它的理论基础.故本文着重介绍数学归纳法的历史，分类以及应用等，对提高我们的认识和理解很有帮助。2数学归纳法的历史[1]2.1归纳推理的产生数学归纳法的产生经历了一个较长的历史时期，一般认为，归纳推理可追溯到公元6世纪毕达哥拉斯时代，小亚西亚西岸米利都城的泰勒斯开创了证明的几何学，证明几何学的重要意义之一在于泰勒斯为几何定理本身提供了某种逻辑推理，尽管这种推理还没建立在自然数的公理系统之上，它还是标志着证明数学的诞生。这一时代杰出的数学家毕达哥拉斯大约比泰勒斯小五十岁，他利用点子数对级数求和问题进行了探讨。利用经过剖分后的正方形数的直观形象，他得出：?（1）毕达哥达斯可能以为这就是一种证明，因为不借助于几何图象，通过归纳手段也能得出这个结果,直观形象起到加深认识和确立信念的作用。他的几乎所有的有关点子数的命题，都是由有限个特殊情况而作出一般结论的，这里有明显的推理过程，但这种推理只是简单的枚举而没有碰到矛盾事实的归纳结果，因此是不完全的归纳推理，或者说，这种归纳推理只是一种寻求结论的手段，它只能作为一种猜想或假说，而不是可靠的，尽管如此，他仍为数学归纳法的确立奠定了一定的基础。可靠的归纳推理，即早期的数学归纳法是欧几里得对系数个数无穷的证明，虽然其中递归推理过程不甚明显，但基本思想却是按递归推理原理指导的，他在证明这个定理时，指出若有 n个系数，就必有n+1?个系数；而由于既有第一个系数，故系数的个数必为无穷，欧几里得也许还没有自觉意识到，这个包括着归纳步骤和传递步骤的推理，对于证明有关无穷个自然数情况的命题是充分有效的，是他们所崇尚的演绎推理的一种重要的变态。肯定地说，这一关于系数个数无穷的具体证明为后人的对数学归纳法的认识提供了原形，促使人们加深了对数学归纳法的理解。因此，欧几里得以后，数学归纳法的论证思想，曾在关于级数求和以及从 n?个东西中取?个的组合数的表示上得到应用。2.2归纳推理的发展阶段16?世纪，经过文艺复兴洗礼的欧洲学者越来越意识到数学的重要性，在当时，扩展数学领域，改进数学方法的要求更加迫切，意大利数学家莫罗利科首先对与全体自然数有关的命题的证明作了深入的考察，他认识到，对于像（1）式那样的命题，采用逐一用数代入式子进行校验的做法，不是严格意义上的数学证明，而要把所有自然数一个个都进行验证是不可能的。那么怎样才能做到对于这类命题的完全性呢？莫罗利科认为递归推理是一个好办法。所谓递归推理是指这样的思想，它首先确定命题对于第一个自然数是真的，然后再去确证命题具有后继数也是真的。于是，根据递推特性，命题对于第一个自然数的后继数为真，则对于第二个自然数也为真；对于第二个自然数为真，则对于第三个自然数也为真，如此类推，直到将整个自然数穷举完毕。1575?年，莫罗利科在他所著的《算术》一书中，明确地提出了这个思想方法，这是一个重大的突破，它是现代数学归纳法的表述的模式，莫罗利科提出的递归推理思想由于帕斯卡的工作而得到提炼和发扬，这些工作主要体现在帕斯卡的发行于 1665?年的《三角阵算术》一书中。数学归纳法有时也叫逐次归纳法或完全归纳法，前面两种叫法最早见于英国数学家德?摩根 1838?年所写的《小百科全书》的引言中，因为在使用这个方法论证的时候，有一个形式上的归纳步骤，即确证命题对于第一项为真，并由归纳得出命题对于第 n?项为真，这和通常的归纳程序有极其相似之处，所以德?摩根赋予了它“逐次归纳法”的名称，也许是由于这种方法主要被用于数学中的证明的缘故，在《引言》的结尾处，德?摩根又提出了“数学归纳法”这个名称，比起逐次归纳法来，人们似乎更喜欢数学归纳法，因为后者更能表明它论证的可靠性。此后，1887年，德国数学家戴德金又称此法为“完全归纳法”。而逻辑学上完全归纳法专指“从列举对应的一切特殊情形的前提中，推出关于全部对象的一般结论的一种推理方法”，所以与“数学归纳法”不完全等价了。虽然数学归纳法和普通的归纳法有相似之处，但本质是完全不同的.归纳法常常是通过简单的枚举而没有碰到矛盾事实出发的，在这种方法里，它的前提只是已被考察过的部分对象的属性，而结论却是关于同类对象全体的。因此，由归纳所得出的结论并不