数学归纳法的正确叙述

证明，对于所有正整数n，P(n)为真。

归纳法的叙述如下：

a）给出P(1)为真的证明。

b）给出“如果所有P(1),P(2),...,P(n)都为真，则P(n+1)也为真”的证明；这个证明应对任何正整数n都为真。

列举几种不太完整的叙述：

最简单和常见的数学归纳法证明方法是证明当n属于所有自然数时一个表达式成，这种方法是由下面两步组成:

　　递推的基础: 证明当n = 1时表达式成立。

　　递推的依据: 证明如果当n = m时成立，那么当n = m + 1时同样成立。(递推的依据中的“如果”被定义为归纳假设。 不要把整个第二步称为归纳假设。)

 

点评 ：以上这种归纳法的叙述，是我们在高中证明题中经常用到的，但是这个叙述存在一点问题。在推理依据部分的叙述实际上削弱了原来归纳法的证明能力。按照原来的叙述，在证明递推依据的时候，我们可用的资源是所有k<=n的资源，而上面的叙述中弱化为只有n=m的资源。

百度百科中给出的叙述：

一般地，证明一个与正整数n有关的命题，有如下步骤：

　　（1）证明当n取第一个值时命题成立；
　　（2）假设当n=k（k≥n的第一个值，k为自然数 ）时命题成立，证明当n=k+1是命题也成立。

这个叙述和上面的叙述存在同样的问题。

 

注意：我们在对第二条的理解上一定要注意这句话“这个证明应对任何正整数n都为真”。

 

下面我给出一个典型的错误叙述:

对任意给定的a，命题：a^(n-1)=1成立。（这个命题显然是错误的。）

a）当n=1时，a^(n-1) = a^(1-1)=a^0=1成立；

b）假设a^n-1对于1到n都成立，则

a ^((n+1)-1)=a^n=a^(n-1) * a^(n-1)/a^((n-1)-1)=1 * 1 / 1 = 1;

 

可能这时候有人就有意见了，如果用百度百科上叙述的归纳法证明就不会有这种错误了。稍后我将给出一个命题，用百度百科上的证明方法是十分困难的。

现在我们说上面的这个叙述存在的问题是，b)中用到的式子不是对所有的n成立，你会发现，当n = 1，时有a^((n-1)-1) = a^-1，

如果我们有a^-1=1的假定的话，那么命题也是成立的。再一个就是它对于n=2的情况并没有进行证明。