浅谈数学归纳法解析.doc

浅谈数学归纳法 陈国良 井冈山大学数理学院 江西 吉安 邮编：343009 指导老师：曹艳华 [摘要] 用数学归纳法证明数学问题时，要注意它的两个步骤缺一不可，第一步是命题递推的基础，第二步是命题递推的依据，也是证明的关键和难点，两个步骤各司其职，互相配合.数学归纳法经历无数数学的潜心研究与科学家们的利用，是数学归纳法得以发展和它为数学问题与科学问题的发现做出了极大的贡献。学好归纳法是科学问题研究的最基础的知识. [关键词]理论依据；数学归纳法；表现形式 1 数学归纳法的萌芽和发展过程 数学归纳法思想萌芽可以说长生于古希腊时代。欧几里德在证明素数有无穷多多个时，使用了反证法，通过反设“假设有有限多个”，使问题变成“有限”的命题，其中证明里隐含着：若有n个素数，就必然存在第n+1个素数，因而自然推出素数有无限多个，这是一种是图用有限处理无限的做法，是人们通过过有限和无限的最初尝试。 欧几里德之后直到16世纪，在意大利数学家莫洛克斯的《算术》一书中明确提出一个“递归推理”原则，并用它证明了1+2+3+…+（2n-1）=,对任何自然数n都成立。不过他并没有对这原则做出清晰的表述。 对数学归纳法首次作出明确而清晰阐述的是法国数学家和物理学家帕斯卡，他发现了一种被后来成为“帕斯卡三角形”的数表。他在研究证明有关这个“算术三角形”的一些命题时，最先准确而清晰的指出了证明过程且只需的两个步骤，称之为第一条引理和第二条引理： 第一条引理 该命题对于第一底（即(n=1)成立，这是显然的。 第二条引理 如果该命题对任意底（对任意n）成立，它必对其下一底（对n+1）也成立。 由此可得，该命题对所有n值成立。 因此，在数学史上，认为帕斯卡是数学归纳法的创建人，因其所提出的两个引理从本质上讲就是数学归纳法的两个步骤，在他的著作《论算术三角形》中对此作了详尽的论述。 帕斯卡的思想论述十一例子来陈述归纳法的，而在他的时代还未建立表示一般自然数的符号。直至十七世纪，瑞士数学家J。伯努利提出表示任意自然熟的符号之后，在他的《猜度术》一书中，才给出并使用了现代形式的数学归纳法。由此，数学归纳法开始得到世人的承认并得到数学界日益广泛的应用。十九世纪，意大利数学家皮亚若建立自然数的公理体系时，提出归纳公理，为数学归纳法奠定了理论基础。即：对于正整数的子集M，如果满足：①1∈M;②若a∈M，则a+1∈M；则M=. 2 数学归纳法的表现形式 2.1 第一数学归纳法 原理1：设是一个与正整数有关的命题，如果 （1）当时，成立； （2）假设时命题成立,由此推得n=k+1时，也成立； 那么，对一切正整数n ,成立。 证明：反证法.假设该命题不是对于一切正整数都成立.令表示使该命题不成立的正整数作成的集合，那么，于是由最小数原理，中有最小数,因为命题对于时成立，所以1，，从而是个正整数，又由于条件（3）也成立.因此，导致矛盾，因此该命题对于一切正整数都成立，定理证毕. 在应用数学归纳法时，有些命题不一定从开始的，这时在叙述上只要将换成即可，第一数学归纳法主要可概括为以下三步： ①归纳基础：证明时命题成立； ②归纳假设：假设时命题成立； ③归纳递推;由归纳假设推出时命题也成立. 2．2第二数学归纳法 原理2：设是一个与正整数有关的命题，如果 （1）当时，成立； （2）假设时命题成立,由此推得n=k+1时，也成立； 那么，对一切正整数n ,成立。 则这个命题对于一切正整数都成立其证明方法与上述证明方法类似 由此我们可以看出第二数学归纳法与第一数学归纳法是等价的，在有些情况下，由归纳法 “假设时命题成立”还不够，而需要更强的假定.也就是说，对于命题，在证明成立，不仅依赖成立，而且依赖于前面各步成立.这时一般要选用第二数学归纳法. 第二数学归纳法可概括为一下三步： ①归纳基础：证明时命题成立; ②归纳假设：假设时命题成立; ③归纳递推：由归纳假设推出时命题也成立. 第二数学归纳法与第一数学归纳法基本形式的区别在于归纳假设. 2.3.跳板数学归纳法原理 原理3：设是一个与正整数有关的命题.如果： （1）当n=1，2，3，…，L时，都成立； （2）假设时，成立，由此能推得n=k+L时，也成立； 那么，对一切正整数n≥1,成立. 2.4.反向归纳法 反向归纳法是数学家柯西最先使用的，原理：设是一个与正整数有关的命题.如果： （1）对于无限多个正整数成立- （2）假设对正整数k1, 成立，则也成立； 那么，对一切正整数，成立. 3 归纳法的两种分类 归纳法有完全归纳法和不完全归纳法（经验归纳法）之分 3.1完全归纳法也叫完全推理。这是根据某类事物中的每一事物都具有某种性质P，推出该类中全部事物都具有该性质P的归纳推理。运用完全归纳法，前提必须包括某类事物