它的证明挺简单的,我就是想提升一下B格所以po出来。
数学归纳法:
证明一整个无穷多个数学命题:
1)通过某些数学论证证明了:如果
是任意正整数,且如果命题
已知是真的,则可推出命题
也为真。
那么整个序列都为真。
数学归纳法的证明:
首先介绍一个最小自然数原理:任何一个非空正整数集都有最小元素。
我们考虑任意一系列命题:
使得:
利用反证法:假设在这一系列命题中,存在一个
为假。那么,使得
不为真的全体正整数集合就不是空的,因为这个集合里面至少有一个
。那么,由于最小自然数原理,这个集合里面一定包含一个最小整数,假设为
。由于已知
为真,所以
。可是
,那就意味着,
为真,而
不为真的情况。与第一条假设矛盾。
所以数学归纳法为真。