数学归纳法的发展、原理及其在数学中的应用毕业论文.doc

数学归纳法的发展及其在数学中的应用摘 要：在数学论证中，数学归纳法是一种常用的数学方法，用途很广，对于某些结论是自然数的函数命题，往往都可以通过数学归纳法来加以证明。本文叙述了数学归纳法名称的发展，数学归纳法内容的发展，并分别从良序原理、数学归纳法、第二数学归纳法、数学归纳法的有效性这四个方面对数学归纳法的原理做了介绍，都有相关的例子，能帮助读者深入的理解数学归纳法的原理。本文也列举了几种常见的数学归纳法的形式，如第一数学归纳法、第二数学归纳法、倒推归纳法、螺旋式归纳法。在了解数学归纳在数学中的应用后，本文重点叙述了数学归纳法在证明恒等式、证明不等式、证明整除问题、证明几何问题、探索与正整数有关的问题中的具体应用过程。通过本文，能使读者更加深入的了解数学归纳法，并且能更好的运用数学归纳法解决数学学科中的一些问题。关键词：数学归纳法 发展 原理 应用一、 数学归纳法的发展（一）数学归纳法名称的发展“数学归纳法”名称是由英国数学家创立, 并由英国教科书作者普遍采用推广。 在名称上迈出重要一步的是英国数学家德摩根。1838年在伦敦出版的小百科全书中，德摩根在他的条目“归纳法里建议使用“逐收归纳法”。但在该条目的最后他偶然地使用了术语数学归纳法 ，这是我们所能看到这一术语的最早使用。无论是毛罗利科还是帕斯卡，也无论是伯努利还是其后的数学家们，虽然都在不断地使用数学归纳法，但在很长的时期内并授有给他们的方法以任何名称。只是由于沃利斯以及雅各布伯努利的工作，才引进了“归纳法”这一名称。并在两种截然不同的意义上应用于数学：(1)以特此获得一般结论的沃利斯方式 (2)指定的步骤论证，并且影响了其后的数学家们，使这种混用状态大约持续了140年。到l9世纪上半叶，英国的数学家皮科克在他的代数学的排列与组合部分，谈到梅成的规律用归纳法延伸到任意数，是从预攫f 意义上以沃利斯方式使用归纳法的。后来，他又将从“到R+1的论证称之为证明归纳法。 皮科克和德摩根的名称后来为英国数学家托德亨特的代数(1866年第4版)所采用并因而得到广泛传播。他在该书中介绍这种证明方法时，使用了两个名称 “数学归纳法”和“证明归纳法”，但该章的题目却用的是前者。这两个名称后来又为英国逻辑学家杰文斯以及菲科林所使用，后者宣称是受惠于托德亨特。随着时间的推移，后来的通用教科书的作者们，如英国教育家、数学家克里斯托(chrysta11851-1911)的代数第2卷以及霍尔(HSHal1)和纳特(sRKmgM)台著的代数(1898)、奥尔迪斯的代数教科书(Textbook 0f Algebra1887)等都只用数学归纳法而不再使用“证明归纳法”。（二）数学归纳法的历史1.数学归纳法最早的使用数学归纳法是数学中一种重要的证明方法，从普通不严密的“归纳法”到精确的“数学归纳法”，再到更一般的“超穷归纳法”、“连续归纳法”等，数学归纳法已经有两千多年的历史了。数学归纳法最早可以在印度和古希腊时代的著作中找到丝缕痕迹，如印度婆什迦罗的“循环方法”和欧几里德素数无限的证明中都可以找到这种踪迹。李文林翻译的美国数学史教授VJKatz在数学史通论中表明，十四世纪法国数学家、物理学家和工程师莱维本热尔森（Levi ben Gerson，12881344）在其1321年出版的代表作计算技术中已经“本质上使用了数学归纳法”，更有资料表明，在中世纪伊斯兰数学中就已经较清楚、广泛地使用了数学归纳法的归纳推理。2.莫洛里科斯解开数学归纳法之谜但真正比较明确使用数学归纳法的是意大利数学家、物理天文学家和工程师莫洛里科斯（F. Maurolycus, 1494- 1575），但他也未对数学归纳法证明中的奠基和归纳推理这两个步骤进行明确的描述。他只是利用递推关系巧妙的证明出证明了前 n 个奇数的总和是 n2，由此揭开了数学归纳法之谜。 最简单和常见的数学归纳法证明方法是证明当n属于所有自然数时一个表达式成立，这种方法是由下面两步组成: 递推的基础: 证明当n = 1时表达式成立。 递推的依据: 证明如果当n = m时成立，那么当n = m + 1时同样成立。 这种方法的原理在于第一步证明起始值在表达式中是成立的，然后证明一个值到下一个值的证明过程是有效的。如果这两步都被证明了，那么任何一个值的证明都可以被包含在重复不断进行的过程中。 或许想成多米诺效应更容易理解一些，如果你有一排很长的直立着的多米诺骨牌那么如果你可以确定： 第一张骨牌将要倒下，只要某一个骨牌倒了，与他相临的下一个骨牌也要倒，那么你就可以推断所有的的骨牌都将要倒。 这样就确定出一种递推关系，只要满足两个条件就会导致所有骨牌全都倒下：（1） 第一块骨牌倒下（2）任意两块相邻骨牌，只要前一块倒下，后一块必定倒下3.帕斯卡明确数学归纳法的两步真正明确数学归纳法证明两步的应该是17世纪的数学家帕斯卡( B.Pascal, 1623 1662)，他最早将数学归纳法的证明用形式的两步明确下来。4.数学归纳法的建立然而严格意义上的数学归纳法的建立，是在数的理论充分发展及对无穷概念有较深刻的认识后才得以完成的。十七世纪后，在数学归纳法有了明晰的框架后，发展出了最小数原理、第一和第二数学归纳法、反向归纳法、递减归纳法、螺旋归纳法、双重甚至多重归纳法等各种形式的数学归纳法。至1889年意大利数学家C皮亚诺( C. Peano , 1858 1932 )发表算术原理新方法，给出自然数的公理体系，使数学归纳法有了一个准确、合理的理论基础。二、 数学归纳法的原理（一） 良序原理所有数学都始于计数，计数就是把要计数的对象集合与几个起始自然数（或计算值）：1，2，3，4，5一一对应的过程，我们用N表示自然数这个无限集合，这里值得注意的是关于N的定义并未达成共识，有些数学家把0也归入N。但这两种不同定义并不会引起太大的冲突，哪一种使用方便即可选择哪一种。自然数N的一个基本性质是良序性，下面将对自然数的良序性进行形式化的论述，并且把它作为一个关于N的公理.对于任何系统，公理是无需证明即为真的命题.为了对一个系统（这里指自然数）进行推理，首先需要对该系统做一些假设.尽管这些基本的假设常常不容易一眼就看出，但它应该是“合理的”和“显而易见为真的”。良序原理：自然数集N的每个非空子集都有一个最小元素。显而易见，自然数N的任何子集都可以通过列出实际元素的方式给定，即使对于不易直接定义的集合，该定理依然有效.例如，当X和Y可取任意整数时，考虑12X+28Y所表示的所有自然数集合.从定义看该集合的范围并不明显，但是根据良序原理，由于该集合非空（注意这很重要），集合中必有一个通过该方式表示的最小自然数。（当然，求具体的最小自然数的值是另外一回事。注意良序原理保证有一个最小数存在，但绝对没说如何去计算它。）例2.1.1 用良序原理证明算法的正确性.整除算法说：若a是整数而且d是正整数，则存在唯一的整数q和r满足和a=dq+r.证明 设S是形如a-dq的非负整数的集合，其中q是整数。这个集合非空，因为-dq可以任意大（取q是绝对值很大的负整数）。根据良序性，S有最小元。整数非负而且.若不是这样，则里存在更小的非负整数，即。为了看出这一点，假设。因为，所以。因此，存在满足的整数和。证明和都是唯一的，此处略。良序原理允许我们证明最有效的一个证明方法，即数学归纳法定理。（二） 数学归纳法对任何正整数n，因为存在无限多个正整数，所以，在证明这个断言时，不能通过对n的每个值逐一验证等式是否成立。有一种规范的方法可用来证明命题对所有的正整数都成立，这种方法称为数学归纳法原理。定理2.2.1 假设要证明的命题能写成，其中是某个固定整数，即：假设希望证明对所有整数都有为真，那么如下方法可以说明如何做到这一点.。假设（a）为真,和(b)如果对任一只要为真，那么也一定为真.于是对所有，为真.这种方法称作数学归纳法原理。因此，用数学归纳法原理证明命题：为真，必须首先用直接法证明第一个命题为真，称其为归纳法的基础步骤，并且通常来讲该步是非常容易的。然后必须证明对的任何选择，是一个重言式。因为一个蕴涵为假的惟一情况是如果前提为真而结论为假，做这一步通常是证明如果为真，那么也一定为真。注意，它同假设对某个值为真不一样。这一步称作归纳步骤，并且某些工作通常要求证明蕴涵恒为真。（三） 第二数学归纳法与上述数学归纳法略有不同的形式在某些证明当中更易于使用。第二数学归纳法或强归纳法中，其归纳步骤是证明是一个重言式。同前面一样，需要检验的唯一情况是如果每个，为真，那么为真.强归纳法与数学归纳法是等价的，在一个证明中使用哪一个取决于方便性。例2.3.1 证明：每个正整数能惟一地写成，其中是素数且。证明 基础步骤 这里，显然为真，因为2是素数。归纳步骤 使用，证明：能惟一地写成，其中是素数且。需要考虑两种情况：若是一个素数，则为真。若不是素数，则，.利用和，得，其中每个或，.若，则，否则且或者且。因为和的因子分解是惟一的，所以的因子分解也是唯一的。（四） 数学归纳法的有效性为什么数学归纳法是一种有效的证明方法？原因在于良序原理。假定知道为真，而且对所有正整数来说命题为真。为了证明对所有正整数来说都为真，假定至少存在一个为假的正整数。那么使为假的正整数非空。因此，根据良序性，有一个最小元，把它表示成。可以知道不是1，因为为真.因为是正的而且大于1，所以是一个正整数。另外，因为小于，它不属于，所以必然为真.因为蕴涵式也为真，所以实际情况必然是为真。这与对的选择相矛盾。因此对每个正整数来说必然为真。三、 数学归纳法几种常见方式（一）第一数学归纳法： 一般地，证明一个与自然数n有关的命题P(n），有如下步骤 ：（1）证明当n取第一个值n0时命题成立。n0对于一般数列取值为0或1，但也有特殊情况；（2）假设当n=k（kn0，k为自然数）时命题成立，证明当n=k+1时命题也成立。 综合（1）（2），对一切自然数n（n0），命题P(n）都成立。（二）第二数学归纳法： 对于某个与自然数有关的命题P(n）， （1）验证n=n0时P(n）成立； （2）假设n0nn0）成立，能推出Q(k）成立，假设 Q(k）成立，能推出 P(k+1）成立； 综合（1）（2），对一切自然数n（n0），P(n），Q(n）都成立。四、 数学归纳法的具体应用(一)证明恒等式应用数学归纳法证明的恒等式，包括与正整数有关的代数恒等式、三角恒等式、组合数公式及其恒等式等，证明过程中只要实现等式左右两边相等即可。下面举例说明。例1 用数学归纳法证明：证明：(1)当时，左边，右边 左边=右边(2)假设时，等式成立即 当时， 当时，等式也成立。由(1)(2)知，等式对任何nN*都成立。例2 已知ABC的三边长都是有理数。 （1）求证：是有理数； （2）求证：对任意正整数，是有理数证明：(1)由、为有理数及余弦定理知是有理数。(2)用数学归纳法证明和都是有理数。 当时，由（1）知是有理数，从而有也是有理数。假设当时，和都是有理数。当时，由由和归纳假设，知与都是有理数。即当时，结论成立。综合、可知，对任意正整数，是有理数。（二）证明不等式应用数学归纳法证明不等式，分为严格不等式和非严格不等式两种。严格不等式的证明，只要保证原不等式中的“”或“”成立即可。对于非严格不等式，情况略显复杂，在证明过程的第一步验证中，对于“”或“”的处理，存在两种不同的看法，一种观点认为：在第一步中，既要验证“”成立，也要说明成立。只有如此，才能更充分地体现非严格不等式成立。另一种观点认为：在第一步中，只要证明或有一个成立，即可说明非严格不等式成立。事实上，用数学归纳法证明非严格不等式时，是或的基础。例1 求证：证明：（1）当时，不等式成立。 （2）假设当时命题成立，即那么当 即当时，命题成立。 根据（1）和（2），可知命题对任何nN*都成立。 例2 求证： 证明：（1）当时，左边=右边 不等式成立 （2）假设当时命题成立，即 令 那么当时，令 则有 由归纳假设知，则 即当时，命题成立。 根据（1）和（2），可知命题对任何nN*都成立。 有时候，我们要证明的不等式无法直接运用归纳法解决，这时，我们则考虑将不等式加强以便运用归纳法。而不等式加强的形式是多样的，其中规律有法可循根据要证不等式的形式进行构造。 （三）证明整除问题应用数学归纳法证明整除性问题，是数学归纳法的重要应用之一。在做这一部分题时，应从整除的基本含义入手，通过添项去项进行“配凑”，使之能够获证。例1 用数学归纳法证明：x2n+y2n (nN*)能被整除（对于多项式，,如果,也是多项式，那么能被整除）证明：（1）当时，能被整除。 （2）假设当时，能被整除，那么当时， 因为与都能被整除，所以上面的和 也能被整除。 这就是说，当时，能被整除。 根据（1）和（2），可知命题对任何nN*都成立。（四）证明几何问题 应用数学归纳法证明几何问题是数学归纳法的一个重要应用。数学归纳法是证明与正整数有关的命题的重要方法，但是运用它只能证明命题的正确性，而不能指望由它发现命题。数学家华罗庚曾在其数学归纳法一书中指出；“难处不在于有了公式去证明，而在于没有公式之前，怎样去找出公式来。”不少与正整数有关的几何问题，也可以用数学归纳法证明，但是在证明之前要找出规律，获得公式，然后才能用数学归纳法证明结论。例2 求证凸边形的内角和。证明：（1）当时， 三角形内角和等于 当时，命题正确。 （2）假设时命题成立，即 当，连结边形有公共顶点的两条线段的两端点得到线段,则与除外的条线段组成一个边形，与组成一个三角形。 当时，命题成立。 由（1）、（2）可知，命题成立。（五）用数学归纳法解决某些与正整数有关的探索性问题由有限个特殊事例进行归纳、猜想、，从而得出一般性的结论，然后加以证明是科学研究的重要思想方法。在研究与正整数有关的数学命题中，此思想方法尤其重要。例1 已知y=f（x）满足f（n1）=f（n）lgan1（n2，nN）且f（1）=lga，是否存在实数、使f（n）=（n2+n1）lga对任何nN *都成立，证明你的结论。解：f（n）=f（n1）+lgan1，令n=2，则f（2）=f（1）+f（a）=lga+lga=0又f（1）=lga，f（n）=（n2n1）lga证明：（1）当n=1时，显然成立（2）假设n=k时成立，即f（k）=（k2k1）lga，则n=k+1时，f（k+1）=f（k）+lgak=f（k）+klga=（k2k1+k）lga=（k+1）2（k+1）1lga当n=k+1时，等式成立综合（1）（2）可知，存在实数、且=，=，使f（n）=（n2+n1）lga对任意n