数学归纳法是一种重要的论证方法本文从最小数原理出发,对它的第二种形式即第二数学归纳法进行粗略的探讨数学归纳法是一种重要的论证方法它们通常所说的“數学归纳法”大多是指它的第一种形式而言,本文想从最小数原理出发对它的第二种形式即第二数学归纳法进行粗略的探讨,旨在加深對数学归纳法的认识】 第二数学归纳法原理是设有一个与正整数n有关的命题,如果: (1)当n=1时命题成立;
(2)假设当n≤k(k∈N)时,命題成立由此可推得当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的取值范围,而命题在n=k-k+1互時成立的实质是命题对一切≤k的自然数n来说都成立这个条件不是别的,正是第二个步骤中的归纳假设以上分析表明,假如论证命在n=k+1时嘚真伪时必须以n取不大于k的两个或两个以上乃至全部的自然数时命题的真伪为其论证的依据,则一般选用第二数学归纳法进行论证之所以这样,其根本原则在于第二数学归纳法的归纳假设的要求较之第一数学归纳法更强不仅要求命题在n=k时成立,而且还要求命题对于一切小于k的自然数来说都成立反过来,能用第一数学归纳法来论证的数学命题一定也能用第二数学归纳进行证明,这一点是不难理解的不过一般说来,没有任何必要这样做
第二数学归纳法和第一数学归纳法一样,也是数学归纳法的一种表达形式而且可以证明第二数學归纳法和第一数学归纳法是等价的,之所以采用不同的表达形式旨在更便于我们应用。
免责声明:本页面内容均来源于用户站内编辑發布部分信息来源互联网,并不意味着本站赞同其观点或者证实其内容的真实性如涉及版权等问题,请立即联系客服进行更改或删除保证您的合法权益。
}