数学归纳法科研论文(刘巍老师自己写的).doc

长沙学院信息与计算科学系本科生科研训练数学归纳法及其应用系 （部）： 信息与计算科学 （宋体4号）专 业： 数学与应用数学 （宋体4号）学 号： （宋体4号）学生姓名： （宋体4号）成 绩： 2013 年 月数学归纳法及其应用XXX长沙学院 信息与计算科学系, 湖南 长沙, 410022摘要：数学归纳法是一种递归方法本文主要总结了各种不同的数学归纳法，比如第一数学归纳法、第二数学归纳法、反向数学归纳法等，同时举例说明了不同数学归纳法在代数证明中的应用关键词：第一数学归纳法，第二数学归纳法，反向数学归纳法1 引言数学归纳法是一种递归方法，并且是人们最早掌握的递归方法之一，它沟通着有限集与无限集，使人们能以有限掌握无限，以有限次操作来把握关于无限集的某些性质，即涉及到无限集的问题孙宏安在文献1中介绍了数学归纳法的历史背景及其发展历程. 孟涣晨在文献2中重点介绍了第一数学归纳法，第二数学归纳法及反向数学归纳法的理论依据以及相应的表现形式. 甘继荣在文献3系统地对各种归纳法做了探讨，如不太熟悉的螺旋式数学归纳法与二重数学归纳法等，并给出了相应的应用.本文主要总结了几类不同的数学归纳法以及它们相应的应用.2 数学归纳法及其应用数学归纳法是一种证明与正整数相关命题的特殊方法，所以它主要是用来研究与正整数相关的数学问题，我们最初在中学所接触到的数学归纳法，也就是我们现在所最为熟悉的第一数学归纳法2.1 第一数学归纳法 定理2.1 设有一个与正整数有关的命题如果(1)当时，命题成立；(2)假设时命题也成立；(3)若能证明该命题也成立，则这个命题对一切正整数都成立证明 假设该命题不是对于一切正整数都成立令表示使命题不成立的正整数作出的集合，那么于是由最小数原理，中有最小数因为命题对于时成立，所以，从而是一个正整数又由于是中的最小数，所以不属于也就是说，当时，命题成立于是由条件(3)，当时命题也成立，因此不属于此时与假设矛盾，因此原命题成立，即该命题对于一切正整数都成立 注 在应用数学归纳法时，有些命题不一定是从开始的，此时在叙述上只要将条件(1)中的换成即可故第一数学归纳法可以概括为以下三个步骤(1)归纳基础：证明时命题成立；(2)归纳假设：假设时命题成立；(3)归纳递推：由归纳假设推出时命题也成立在用数学归纳法来证明一个与自然数有关的命题时，证明过程中必须包括定理中的(1)(2)两个步骤(1)是基础，没有这个特例做基础就不能假设当时命题成立同样的，步骤(2)也不可缺少，只有在(1)成立时，又能在这个基础上证明(2）成立，给这个基础以正确的无限度的自动推演，才能确定命题的一般正确性因此，有了(1) (2)两个步骤，才能使我们的认识由有限到无限来一个飞跃在了解了第一数学归纳法的原理之后，我们来看它在级的范德蒙德行列式的证明过程中的应用.例2.1 级的范德蒙德行列式，证明对于任意的，级范德蒙德行列式等于，这个数的所有可能的差的乘积证明 对作第一数学归纳法(1)当时， ，这个显然是正确的(2)假设对于级的范德蒙德行列式结论成立(3)现在来证明级时的情形对于原式，即级的范德蒙德行列式中，第行减去第行的倍也就是说由上而下地从每一行减去它上一行的倍，得到 而后面的这行列式是一个级的范德蒙德行列式，根据数学归纳法的假设，它等于所有可能差的乘积，而包括的差全在前面出现了因此，结论对级范德蒙德行列式也成立于是，根据数学归纳法完成了证明 证毕用连乘号，这个结果可以简写为，即级的范德蒙德行列式等于这个数所有可能差的乘积2.2 第二数学归纳法第一数学归纳法是假设在的时候成立，它可以应用的证明之中的假定较弱，仅仅需要成立来证明也成立即可，如很多关于等式成立和数列通项公式成立证明，而在有些情况中，仅仅假设成立来证明也成立是不够的，还需要较强的假定，还需要前面各步都要成立，这种加强了的归纳法就形成了第二数学归纳法 定理2.2 设一个与正整数有关的命题如果(1)当时命题成立；(2)再假设命题对于一切正整数成立时；(3)若能证明该命题也成立，则这个命题对一切正整数都成立 证明的方法与第一数学归纳法的证明方法完全类似，同样运用反证法即可以证明得出证明 假设命题不是对一切正整数都成立令表示使命题不成立的正整数作出的集合，那么于是由最小数原理，中含有一个最小数，并且，所以对一切，命题成立，又由(2)(3)推出对正确，故结论矛盾，原命题成立第二数学归纳法的也可以概括为以下三个步骤：(1)归纳基础：证明时命题成立；(2)归纳假设：假设当时，命题成立；(3)归纳递推：由归纳假设推出时命题也成立从第一数学归纳法和第二数学归纳法的定理来看，第二数学归纳法与第一数学归纳法基本形式的区别就在于归纳假设在了解第二数学归纳法的原理后，我们看一个例题，来更加直观生动地观察出它与第一数学归纳法的区别之处.例2.2 已知任意自然数均有，（这里）求证.证明 (1)当时，由，得，所以命题对正确(2)假设对命题正确，这时，(3)当时， (2.1)但是 ， (2.2)又因为归纳假设对命题正确，所以，所以由(2.1)和(2.2)式得，消去，得，解得（舍去），所以命题对也正确由例2.2， 我们可以看到它只假设成立，即，显然是不够的，需要归结到时，由此可见，第一数学归纳法与第二数学归纳法的实质是等价的，第二数学归纳法包含第一数学归纳法，但是此处第二数学归纳法的作用是不能由第一归纳法所替代的为了进一步了解它们的区别，我们来看看带余除法的证明过程例2.3 对于中任意两个多项式与，其中，一定有中的多项式， 存在，使 (2.3)成立，其中或者证明 (2.3)中和的存在性可以由上面所说的除法直接得出我们用归纳法的语言来进行叙述如果，取即可 以下设.令， 的次数分别为，.对的次数作第二数学归纳法.当时，显然取，(1)式成立下面来讨论的情形假设当次数小于时， ，的存在已证现在看次数为的情形令，分别是，的首项，显然与有相同的首项，因而多项式的次数小于或为0对于后者，取，；对于前者，由归纳法假设，对，有，存在使得，其中或者于是，也就是说，有，使得成立由归纳法原理，对任意的，的存在性就证明了 下面来看一个具体的例子：令，得到，由此，我们可以看到如果按照第一数学归纳法的次数应该是5，故第一数学归纳法在此是不适用的2.3 反向数学归纳法第一数学归纳法和第二数学归纳法两种情形，都是从命题对较小的自然数成立来推出命题对较大的自然数也成立但是在有些情况下，正向推进证明比较困难，此时推理的方向可以反过来，就如数学证明中的反证法一样，可以使得一些证明会更加简捷，具体对于数学归纳法的证明步骤来说，即从时成立推出时成立这样的数学归纳法就称之为反向数学归纳法，又叫倒推数学归纳法定理2.3 设有一个与正整数有关的命题如果(1)命题对无限多个正整数成立；(2)假设时命题成立；(3)若能证明该命题也成立，则这个命题对一切正整数都成立证明 运用反证法假设该命题不是对于一切正整数都成立令表示使命题不成立的正整数构成的集合，那么任取，由条件(1)可知必有正整数，使成立令由这样的正整数组成的集合为，因为集合，故必有最小数，设为，显然由条件(3)可知，成立，由的取法可知，但是这与的最小性质相矛盾反向数学归纳法由法国数学家柯西首创，它可以概括为以下三个步骤：(1)归纳基础：证明命题对无限多个正整数成立；(2)归纳假设：假设时命题成立；(3)归纳递推：由归纳假设推出时命题也成立在理解反向数学归纳法的原理基础之上，我们来看一个经典的不等式的证明过程中反向归纳法的应用例2.4 求证个正实数的算术平均值大于或等于这个数的几何平均值，即证明 (1)当时，因此命题对正确当时，因此命题对正确同理可推出命题对，都正确（为任意自然数），所以命题对无