数学归纳法论文提纲

数学归纳法论文提纲

段丽娜

数学归纳法是证明与自然数有关命题的一种方法，应用广泛．数学归纳法的应用不仅仅体现在中学数学中，在高等数学命题的证明中也起着极为重要的作用.文中通过对范德蒙德行列式的证明、二次型标准化定理的证明、数学归纳法证明数列的单调性以及用数学归纳法证明整除问题、恒等式问题以及数学归纳法与其他知识点的交汇等问题来谈一谈数学归纳法在数学命题的证明上所突出的重要应用.

中文摘要

Abstract

引言

1. 数学归纳法的历史由来。

2. 数学归纳法的定义。

3. 数学归纳法解决应用问题

3．1 代数恒等式方面的问题

3．2 几何方面的应用

3．3 排列和组合

4. 对运用数学归纳法时易错的地方进行分析（举例）

5. 运用数学归纳法的典型例题。

6. 数学归纳法的用途

7. 主要参考文献

第二篇：数学归纳法科研论文(刘巍老师自己写的)

长沙学院信息与计算科学系本科生科研训练

数学归纳法及其应用

系（部）：信息与计算科学（宋体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 反向数学归纳法

第一数学归纳法和第二数学归纳法两种情形，都是从命题对较小的自然数成立来推出命题对较大的自然数也成立．但是在有些情况下，正向推进证明比较困难，此时推理的方向可以反过来，就如数学证明中的反证法一样，可以使得一些证明会更加简捷，具体对于数学归纳法的证明步骤来说，即从时成立推出时成立．这样的数学归纳法就称之为反向数学归纳法，又叫倒推数学归纳法．