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

长沙学院信息与计算科学系本科生科研训练 数学归纳法及其应用 系 （部）： 信息与计算科学 （宋体4号） 专 业： 数学与应用数学 （宋体4号） 学 号： × × × × × （宋体4号） 学生姓名： × × × （宋体4号） 成 绩： 　 　　 　 2013 年６ 月 数学归纳法及其应用 XXX 长沙学院 信息与计算科学系, 湖南 长沙, 4100 摘要：数学归纳法是一种递归方法．本文主要总结了各种不同的数学归纳法，比如第一数学归纳法、第二数学归纳法、反向数学归纳法等，同时举例说明了不同数学归纳法在代数证明中的应用． 关键词：第一数学归纳法，第二数学归纳法，反向数学归纳法 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)若能证明该命题也成立，则这个命题对一切正整数都成立． 证明的方法与第一数学归纳法的证明方法完全类似，同样运用反证法即可以证明得出． 证明 假设命题不是对一切正整数都成立．令表示使命题不成立的