1 对数学归纳法’如果‘表述的批评

数学归纳法用来证明与正整数有关的命题组 P(n)全为真， 其中正整数n=1,2,3,....

证明分为两步

(1)  P(1) 成立

(2)  如果 n=k, P(k) 成立， 则  n=k+1,  P(k+1) 也成立， 即

       P(k)  =>  P(k+1) 

由（1）（2）可知， 全组命题成立。 

我相信数学归纳法作为方法本身没有问题，但是叙述方法有严重缺陷。  

第二步， ‘如果n=k，P(k) 成立’, 由于k是任意的正整数， 这就是说假定对于所有自然数成立，k+1也是自然数， 

P(k+1) 当然也成立， 那还证什么？ 

一个命题正确与否由其内容确定， 或对或错，是客观的，不能如果。

在反证法中， 我们假定过待证命题的反命题成立， 以推导矛盾，但是现在却是假定要证明的命题成立， 与反证法无关。 

我们要证明三点在一条直线上， 证明过程就不能说假如它们在一条直线上。

2 命题列P(n)的正确命题编号集和错误命题编号集 

一个给定的命题， 其正确与否是确定的。 在命题列

P(n)， n=1,2,3,.... 

中， 正确命题的编号构成集合

K ={k:  P(k)正确）

错误命题的编号构成集合

M={m:  P(m)错误）

例1.  1=1，  2=2， 3>3, 4=4, ..., 

K ={1,2,4, 5,...）

M ={3）

例2.  1<3，  2<3， 3<3, 4<3, ..., n<3, ...

K ={1,2 }

M ={3,4,5.6}

例3.      1=1，  2=2， 3=3, ..., n=n, ...

 K={ 1，2，3, ...}, M=Φ

例4.      1>3，  2>3， 3>3, ..., n>3, ...

 K={4, 5,6, ...},  M={ 1，2，3}. 

例5.      1=2，  2=3， 3=4, ..., n=n+1, ...

K=Φ,  M={ 1，2，3, ...}. 

在例3，4，5 中, 在命题列P(n)中可以看出， 正确命题的下一个还是正确命题。

例5完全没有正确命题, 是一个极端例子。    

在例1和2中， 正确命题的下一个命题可以是错误命题。 

这个差异正是由命题的内容决定的。归纳法第二步的目标， 正是区别这两类情形。 

3. 数学归纳法的改进表述和例子

证明分为两步

(1)  P(1) 成立

(2)  对于任一正确命题, P(k)， 其下一命题, P(k+1) 也正确， 即

       P(k)  =>  P(k+1) 

由（1）（2）可知， 全组命题成立。 

 例3'

用数学归纳法或其他方法证明 

 1=1，  2=2， 3=3, ..., n=n, ...

证明：

(1) n=1,  1=1 正确。 

(2) k=k 是任一个正确命题， 两边加1， 

   k+1 = k+1

于是， 正确命题的下一个也正确。 

由（1）和（2）结合， 所有命题为真。 

例4'

用数学归纳法或其他方法研究例4. 

1>3，  2>3， 3>3, ..., n>3, ...

研究：

(1) 逐一检验开始4个命题可知， 

      P(1), P(2), P(3)错误， P(4) 正确   

(2) k>3 是任一个正确命题， 

   k+1 > k, 

所以k+1 > 3， 所以正确命题的下一个也正确

结合（1）（2）， 

P(1), P(2), P(3)错误， P(4) 及以后正确。  

例5’. 请研究下列命题正确与否  

   1=2，  2=3， 3=4, ..., n=n+1, ... 

研究: 

（1）直接验证前几项， 一直没有发现正确命题。 

（2）真实结论完全没有正确命题，  但是也可以说成： 

正确命题后面还是正确命题， 只是正确命题没有出现。  

2026 NCTE-NCTM international attendee letter - Wei .pdf

支持单位：