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