数学归纳法的证明有几个步骤

[你有几个能够借钱的朋友]你有几个能够借钱的朋友文/遇苓易越前段时间，一篇《向朋友借钱：文章值得一读，让人思索良久》的长微博流传甚广，深获共鸣。作者的朋友魏先生因为生意上的意外向她借钱，“我考虑...+阅读

数学归纳法的证明有几个步骤

（一）第一数学归纳法：

一般地，证明一个与自然数n有关的命题P(n)，有如下步骤：

(1)证明当n取第一个值n0时命题成立。n0对于一般数列取值为0或1，但也有特殊情况；

(2)假设当n=k(k≥n0,k为自然数)时命题成立，证明当n=k+1时命题也成立。

综合（1）(2)，对一切自然数n（≥n0），命题P(n)都成立。

（二）第二数学归纳法：

对于某个与自然数有关的命题P(n),

(1)验证n=n0时P(n)成立；

(2)假设n0≤n综合（1）(2)，对一切自然数n（≥n0），命题P(n)都成立。

（三）倒推归纳法（反向归纳法）：

(1)验证对于无穷多个自然数n命题P(n)成立（无穷多个自然数可以是一个无穷数列中的数，如对于算术几何不等式的证明，可以是2^k,k≥1）;

(2)假设P(k+1)(k≥n0)成立，并在此基础上，推出P(k)成立，

综合（1）(2)，对一切自然数n（≥n0），命题P(n)都成立；

（四）螺旋式归纳法

对两个与自然数有关的命题P(n),Q(n),

(1)验证n=n0时P(n)成立；

(2)假设P(k)(k>n0)成立，能推出Q(k)成立，假设 Q(k)成立，能推出 P(k+1)成立；

综合（1）(2)，对一切自然数n（≥n0）,P(n),Q(n)都成立。

数学归纳法得步骤是什么

数学归纳法是一种数学证明方法，典型地用于确定一个表达式在所有自然数范围内是成立的或者用于确定一个其他的形式在一个无穷序列是成立的。有一种用于数理逻辑和计算机科学广义的形式的观点指出能被出值的表达式是等价表达式；这就是著名的结构归纳法。已知最早的使用数学归纳法的证明出现于 Francesco Maurolico 的 Arithmeticorum libri duo (1575年)。Maurolico 证明了前 n 个奇数的总和是 n^2。最简单和常见的数学归纳法证明方法是证明当n属于所有自然数时一个表达式成，这种方法是由下面两步组成：递推的基础：证明当n = 1时表达式成立。递推的依据：证明如果当n = m时成立，那么当n = m + 1时同样成立。（递推的依据中的“如果”被定义为归纳假设。不要把整个第二步称为归纳假设。）这个方法的原理在于第一步证明起始值在表达式中是成立的，然后证明一个值到下一个值的证明过程是有效的。如果这两步都被证明了，那么任何一个值的证明都可以被包含在重复不断进行的过程中。或许想成多米诺效应更容易理解一些；如果你有一排很长的直立着的多米诺骨牌那么如果你可以确定：第一张骨牌将要倒下。只要某一个骨牌倒了，与他相临的下一个骨牌也要倒。那么你就可以推断所有的的骨牌都将要倒。数学归纳法的原理作为自然数公理，通常是被规定了的（参见皮亚诺公理第五条）。但是它可以用一些逻辑方法证明；比如，如果下面的公理：自然数集是有序的被使用。注意到有些其他的公理确实的是数学归纳法原理中的二者择一的公式化。更确切地说，两个都是等价的数学归纳法有两个关键点需要牢记 1。证明当n为某一个值时，结论是成立的。 2。假定n=k时成立，证明n=k+1时，结论也是成立的。第一条的证明是第二条假设能够成立的依据。可以想象，有了第一条的证明，比如n=1时成立，那么在第二条中假定n=k时成立，就有了依据。这时k=1。经过第二条的证明，k=2时结论也就成立了。于是在k=2时假设是一定成立的...... 如果没有第一条的证明，那么第二条的假设就不一定成立了。数学归纳法有两个关键步骤： 1.证明当n为某一个值时，结论成立； 2.假定n=k时成立，证明n=k+1时，结论也成立。如果只证明第二条，不证明第一条的话，是会出现你说的矛盾，这个叫循环论证，是不严密甚至是错的。一定要先证明一个特殊情况成立的时候才能用第二步证明其他情况也成立。举例：证：5个连续自然数的积能被120整除答案：

1、当n=1时1*2*3*4*5=120，能被120整除，原命题成立

2、假设当n=k时原命题成立，则当n=k+1时（k+1）(k+2)(k+3)(k+4)(k+5) =k(k+1)(k+2)(k+3)(k+4) +5(k+1)(k+2)(k+3)(k+4) 因为k(k+1)(k+2)(k+3)(k+4)是120的倍数只需证5(k+1)(k+2)(k+3)(k+4)是120的倍数即欲证（k+1）(k+2)(k+3)(k+4)是24的倍数四个数中两奇两偶，一定有4的倍数，3的倍数，还有另一个偶数，所以一定能被4*2*3=24整除。即当n=k+1时原命题成立所以，综合

1、

2、，原命题对任何自然数成立又一例：已知：a1=1/2,1+an=3an/3+an(n属于正整数)，则an= an=3/(n+5) 解：a1=1/2=3/6 a2=3/7,a3=3/8,a4=3/9,a5=3/10.... 猜想：an=3/(n+5) 证明：当n=1时，a1=1/2=3/6 假设当n=k时成立，即：ak=3/(k+5) 则当n=k+1时有ak+1=3ak/(3+ak) =[9/(k+5)]/[3+3/(k+5)] =9/3(k+5+1) =3/[(k+1)+5] 即当n=k+1时假设成立. 所以an=3/(n+5) (n为正整数)

高中数学归纳法证明的过程！

用数学归纳法证明：2^n+2>n^2 1,n=1，显然成立 2，设当 N=k 时成立，即有 2^k+2>k^2. 3. 2^k+2>k^2 2*2^k+4>2*k^2 2*2^k+2>2*k^2-2 =k^2+k^2-2 >k^2 +2k+1 只需 k^2-2>2k+1 即 k^2+2k>3 ，显然成立数学上证明与自然数n有关的命题的一种方法。必须包括两步：

（1）验证当n取第一个自然数值n=n1(n1=1,2或其他常数)时，命题正确；

（2）假设当n取某一自然数k时命题正确，以此推出当n=k+1时这个命题也正确。从而就可断定命题对于从n1开始的所有自然数都成立。数学归纳法是一种数学证明方法，典型地用于确定一个表达式在所有自然数范围内是成立的或者用于确定一个其他的形式在一个无穷序列是成立的。有一种用于数理逻辑和计算机科学广义的形式的观点指出能被出值的表达式是等价表达式；这就是著名的结构归纳法。已知最早的使用数学归纳法的证明出现于 Francesco Maurolico 的 Arithmeticorum libri duo (1575年)。Maurolico 证明了前 n 个奇数的总和是 n^2。最简单和常见的数学归纳法证明方法是证明当n属于所有自然数时一个表达式成，这种方法是由下面两步组成：递推的基础：证明当n = 1时表达式成立。递推的依据：证明如果当n = m时成立，那么当n = m + 1时同样成立。（递推的依据中的“如果”被定义为归纳假设。不要把整个第二步称为归纳假设。）这个方法的原理在于第一步证明起始值在表达式中是成立的，然后证明一个值到下一个值的证明过程是有效的。如果这两步都被证明了，那么任何一个值的证明都可以被包含在重复不断进行的过程中。或许想成多米诺效应更容易理解一些；如果你有一排很长的直立着的多米诺骨牌那么如果你可以确定：第一张骨牌将要倒下。只要某一个骨牌倒了，与他相临的下一个骨牌也要倒。那么你就可以推断所有的的骨牌都将要倒。数学归纳法的原理作为自然数公理，通常是被规定了的（参见皮亚诺公理第五条）。但是它可以用一些逻辑方法证明；比如，如果下面的公理：自然数集是有序的被使用。注意到有些其他的公理确实的是数学归纳法原理中的二者择一的公式化。更确切地说，两个都是等价的。用数学归纳法进行证明的步骤：

（1）（归纳奠基）证明当取第一个值时命题成立；证明了第一步，就获得了递推的基础，但仅靠这一步还不能说明结论的普遍性在第一步中，考察结论成立的最小正整数就足够了，没有必要再考察几个正整数，即使命题对这几个正整数都成立，也不能保证命题对其他正整数也成立；

（2）（归纳递推）假设时命题成立，证明当时命题也成立；证明了第二步，就获得了递推的依据，但没有第一步就失去了递推的基础.只有把第一步和第二步结合在一起，才能获得普遍性的结论；

（3）下结论：命题对从开始的所有正整数都成立。注：

（1）用数学归纳法进行证明时，“归纳奠基”和“归纳递推”两个步骤缺一不可；

（2）在第二步中，在递推之前，时结论是否成立是不确定的，因此用假设二字，这一步的实质是证明命题对的正确性可以传递到时的情况.有了这一步，联系第一步的结论（命题对成立），就可以知道命题对也成立，进而再由第二步可知即也成立，…，这样递推下去就可以知道对于所有不小于的正整数都成立.在这一步中，时命题成立，可以作为条件加以运用，而时的情况则有待利用归纳假设、已知的定义、公式、定理加以证明，不能直接将代入命题. 数学归纳法的第二种形式数学归纳法是一种重要的论证方法。它们通常所说的“数学归纳法”大多是指它的第一种形式而言，本文想从最小数原理出发，对它的第二种形式即第二数学归纳法进行粗略的探讨，旨在加深对数学归纳法的认识。第二数学归纳法原理是设有一个与自然数n有关的命题，如果：

（1）当n=1回时，命题成立；

（2）假设当n≤k时命题成立，则当n=k+1时，命题也成立。那么，命题对于一切自然数n来说都成立。证明：用反证法证明。假设命题不是对一切自然数都成立。命N表示使命题不成立的自然数所成的集合，显然N非空，于是，由最小数原理N中必有最小数m，那么m≠1，否则将与

（1）矛盾。所以m-1是一个自然数。但m是N中的最小数，所以m-1能使命题成立。这就是说，命题对于一切≤m-1自然数都成立，根据

（2）可知，m也能使命题成立，这与m是使命题不成立的自然数集N中的最小数矛盾。因此定理获证。当然，定理2中的

（1），也可以换成n等于某一整数k。对于证明过程的第一个步骤即n=1（或某个整数a）的情形无需多说，只需要用n=1（或某个整数a）直接验证一下，即可断定欲证之命题的真伪。所以关键在于第二个步骤，即由n≤k到n=k+1的验证过程。事实上，我们不难从例1的第二个步骤的论证过程中发现，证明等式在n=k+1时成立是利用了假设条件；等式在n=k及n=k-1时均需成立。同样地，例2也不例外，只是形式的把n=k及n=k-1分别代换成了n=k-1和n=k-2。然而例3就不同了，第二个步骤的论证过程，是把论证命题在n=k+1时的成立问题转化为验证命题在n=k-2+1时的成立问题。换言之，使命题在n=k+1成立的必要条件是命题在n=k-2+1时成立，根据1的取值范围，...