五、数学归纳法
归纳是一种有特殊事例导出一般原理的思维方法。归纳推理分完全归纳推理与不完全归纳推理两种。不完全归纳推理只根据一类事物中的部分对象具有的共同性质,推断该类事物全体都具有的性质,这种推理方法,在数学推理论证中是不允许的。完全归纳推理是在考察了一类事物的全部对象后归纳得出结论来。
数学归纳法是用来证明某些与自然数有关的数学命题的一种推理方法,在解数学题中有着广泛的应用。它是一个递推的数学论证方法,论证的第一步是证明命题在n=1(或n )时成立,这是递推的基础;第二步是假设在n=k时命题成立,再证明n=k+1时命题也成立,这是无限递推下去的理论依据,它判断命题的正确性能否由特殊推广到一般,实际上它使命题的正确性突破了有限,达到无限。这两个步骤密切相关,缺一不可,完成了这两步,就可以断定“对任何自然数(或n≥n且n∈N)结论都正确”。由这两步可以看出,数学归纳法是由递推实现归纳的,属于完全归纳。