数学归纳法的七种变式及其应用.doc

精品文档，仅供学习与交流，如有侵权请联系网站删除数学归纳法的七种变式及其应用摘要：数学归纳法是解决与自然有关命题的一种行之有效的方法，又是数学证明的又一种常用形式.数学归纳法不仅能够证明自然数命题，在实数中也广泛应用，还能对一些数学定理进行证明.在中学时学习了第一数学归纳法和第二数学归纳法，因而对一些命题进行了简单证明.在原有的基础上，给出了数学归纳法的另外五种变式，其中涉及到反向归纳法、二重归纳法、螺旋式归纳法、跳跃归纳法和关于实数的连续归纳法，并简单的举例说明了每种变式在数学各分支的应用.这就突破了数学归纳法仅在自然数中的应用，为今后的数学命题证明提供了一种行之有效的证明方法数学归纳法.关键词：数学归纳法；七种变式；应用1引言归纳法是由特殊事例得出一般结论的归纳推理方法，一般性结论的正确性依赖于各个个别论断的正确性。数学归纳法的本质是证明一个命题对于所有的自然数都是成立的.由于它在本质上是与数的概念联系在一起，所以数学归纳法可以运用到数学的各个分支，例如：证明等式、不等式，三角函数，数的整除，在几何中的应用等.数学归纳法的基本思想是用于证明与自然数有关的命题的正确性的证明方法，如第一数学归纳法，操作步骤简单明了.在第一数学归纳法的基础上，又衍生出了第二数学归纳法，反向归纳法，二重归纳法等证明方法.从而可以解决更多的数学命题.2 数学归纳法的变式及应用2.1 第一数学归纳法 设是一个含有正整数的命题,如果满足：1） 成立（即当时命题成立）；2）只要假设成立（归纳假设），由此就可证得也成立（是自然数），就能保证对于任意的自然数，命题都成立.通常所讨论的命题不都全是与全体自然数有关，而是从某个自然数开始的，因此，将第一类数学归纳法修改为：设是一个含有正整数n的命题(，), 如果1）当=时,成立；2）由 成立必可推得成立, 那么对所有正整数都成立.例1 用数学归纳法证明 证明： （1）当时，左边=，右边=，因此等式成立.（2） 假设时成立，即成立.当时，左边= =右边因此， 当时等式也成立.2.2第二数学归纳法 设是一个含有正整数的命题，如果：1）当=时,成立；2）由对所有适合的正整数成立的假定下，推得时命题也成立,那么对所有正整数都成立.例 2 利用数学归纳法证明第个质数 证明：（1）当时，命题成立.（2）设时命题成立，即即则所以 的质因子.又都不是的质因子（相除时余1），故.即 .因此，.即时命题也成立.综上（1）、（2）可知对于任何自然数命题都成立.2.3 反向归纳法反向归纳法也叫倒推归纳法.相应的两个步骤如下：（1） 对于无穷对个自然数，命题成立.（2） 假设成立，可导出也成立.由（1）、（2）可以判定对于任意的自然数都成立.例3 利用倒推归纳法证明. 证明：（1）首先证明，当（为自然数）时，不等式（2）成立.对施行归纳法.当时，即时，（已证）.当时，即时因此时，不等式（2）都成立.设当时不等式（2）成立，那么当时 由此可知，对于形状的自然数，不等式（2）是成立的.即对无穷多个自然数 2， 4， 8， 16，不等式（2）是成立的.（2）下面再证倒推归纳法的第二步.假设时，不等式（2）成立.只要导出时不等式（2）也成立就可以了.为证 ， 设 ，即由假设即 由（1）、（2），对于任意的自然数，不等式（2）都成立.2.4 二重归纳法 设是一个含有两个独立正整数，的命题，如果（1）对任意正整数成立，对任意正整数成立；（2）在与成立的假设下，可以证明成立.那么对任意正整数和都成立.例4 设，都是正整数，则用数学归纳法证明不定方程的非负整数解的个数为证明：（1）当时，不定方程为显然，方程的非负整数解为 共有组，而按式计算，方程的非负整数解的组数为，所以对任意正整数都成立.当时，不定方程为 显然，此方程只有一组解，而由式可知，方程的非负整数解的组数为，因此对任意正整数成立.（3） 假设结论对和成立,即假设不定方程的非负整数解的组数为，不定方程的非负整数解的组数为. 现在来考虑不定方程的非负整数解的组数，该方程的非负整数解可分为两类： 第一类 当时，方程变为所以方程满足的非负整数解的组数为. 第二类 当时，令，则方程变为方程与方程实为同一方程，所以，方程满足的非负整数解的组数为.因此,方程的非负整数解的组数为这表明，命题成立.于是，由二重归纳法知，对任意正整数和，命题都成立.2.5 螺旋式归纳法现有两个与自然数有关的命题，.如果满足是正确的.假设成立，能导出成立，假设成立，能导出成立.这样就能断定对于任意的自然数，和都正确.例5 数列满足，其中是自然数，又令表示数列的前项之和，求证： （1） （2）证明：这里可把等式（1）：看作命题，把等式（2）： 看作命题(为自然数). 时，等式（1）成立. 假设时，等式（1）成立.即那么即等式（2）也成立.这就是说，若成立可导出成立.又假设成立，即那么这就是说，若命题成立，可以导出命题也成立.由、可知，对于任意的自然数等式（1）、（2）都成立.显然，这种螺旋式归纳法也实用于多个命题的情形，在原有的基础上再加入也是成立的.2.6 跳跃归纳法若一个命题对自然数,都是正确的；如果由假定命题对自然数正确，就能推出命题对自然数正确则命题对一切自然数都正确证明：因为任意自然数由于命题对一切中的都正确，所以命题对都正确，因而对一切命题都正确例6 求证用面值分和分的邮票可支付任何()分邮资证明：显然当，时，可用分和分邮票构成上面邮资（时，用一个分邮票和一个分邮票，时，用个分邮票，时，用个分邮票）下面假定时命题正确，这时对于，命题也正确，因为分可用分与分邮票构成，再加上一个分邮票，就使分邮资可用分与分邮票构成由跳跃归纳法知命题对一切都成立2.7 关于实数的连续归纳法设是关于实数的一个命题，如果： 有，当时，成立；如果对所有小于的，成立，则由，使得对所有小于的，成立；则对所有实数，成立.例7 证明连续函数的介值定理：设是上的连续函数，则有，使得. 证明： 不妨令在上恒为，在上恒为.用反证法，设没有实数，使得.考虑命题：.则有：显然，当时成立；如果对所有小于的，成立，即；由连续性可得.由反证法假设，不能为，故.再由连续性，有，使得在上成立.故有，对所有小于的，成立.由连续归纳法，对所有实数，成立：.这与矛盾，说明反证法假设不成立.下面，我们用连续归纳法证明柯西收敛准则.例8（Cauchy 收敛准则）数列收敛，存在一个正整数，.证明：必要性易证.现证充分性. 若有无穷多项相等，不妨设，则收敛于.事实上，由条件，存在一个正整数，,使得=，即. 若没有无穷多项相等，则有无穷多个互异的项，即集合是无限集.下面用反证法证明收敛.假设不收敛，仿照上面证明，可知，对任意，都不是的极限，因此存在，使得中最多含有的有限项，否则，中含有的无限多项，由已知条件，对于，存在一个正整数，一定存在，且，从而，即，得出矛盾.故,存在，使得中最多含有的有限项.引入命题：在中最多含有的有限项.取，对于任意，显然有真；如果有某个，使得对一切有真，因为不是的极限，故有开区间，使，而内只有的有限个点，内取，由归纳法假定，内只有的有限个点，内也只有的有限个点，于是内只有的有限个点，于是对一切，有为真.由连续性归纳法知，对于一切内只有的有限个点.取，可推出是有限集，这与题设矛盾.故收敛.命题得证.结束语经过这次的学习，对数学归纳法有了更深入的了解.数学归纳法不仅在自然数上广泛应用，在实数上的应用也是相当广泛的，甚至对许多数学定理的证明起到了很大的帮助.有了这七种变式，在今后的数学命题的证明过程中，又会有更多的方法，方便解题.当然，数学归纳法的内容是十分丰富的，不仅仅是 只有这七种形式，如在今后学习过程中遇到，再做详细了解.参考文献1蒋文蔚,杨延龄.数学归纳法M.北京：北京师范大学出版社，1985.52王志兰.数学归纳法及其在数论方面的应用J.青海师专学报，2009.53张景中,冯勇.有序集的一般归纳原理和连续归纳法J.科技导报，2008.64肖海燕,代钦.数学归纳法在几何教学中的应用J.内蒙古师范大学学报，2011.45华东师范大学数学系.数学分析（第三版）M.北京：高等教育出版社，2009.56徐永春,关金玉,李博，梅瑞.用连续归纳法证明实数系中的定理J.河北北方学院数学系，2007.1 【精品文档】第 8 页