对数学归纳法的总结

什么是数学归纳法

• 数学归纳法是一种数学证明的方法,通常被用于证明某个给定命题在整个(或者局部)自然数范围内成立.
• 除了自然数以外,广义上的数学归纳法也可以用于证明一般的良基结构,例如: 集合论中的树.这种广义的数学归纳法应用于数学逻辑和技术按及科学领域,称为结构归纳法

数学归纳法的原理

• 最简单和最常见的数学归纳法是证明当n等于任意一个自然数时,某命题成立.证明分为以下两步:

1：证明 n=1 时命题成立
2：假设 n=m 时命题成立,那么可以推导出在 n=m+1的时候命题也成立.(m代表任意自然数)

• 这种方法的原理在于：首先证明在某个起始点的时候命题成立，然后证明从一个值到下一个值得过程有效．这两个点都已经证明，那么任意值都可以通过反复使用这个方法推导出来．

数学归纳法的证明

• 举例证明下面的定理

1+2+3+...+n = n(n+1)/2    //等差数列求和公式
第一步：验证改公式在n=1时成立,即=左边为1,右边为1(1+1)/2=1,等式成立
第二步：需要证明假设n=m时公式成立,那么还可以推导出n=m+1时公式也成立.
	步骤如下:
		在n=m时: 1+2+3+...+m=m(m+1)/2  //等式1
		然后再等式两边同时加上m+1 即: 1+2+3+...+m+(m+1) = m(m+1)/2 + (m+1)  //等式2
		根据等式1 证明等式2成立 :
		等式一等号左边=1+2+3+...+m那么也可以写成1+2+3+...+(m+1)
		等式二等号右边= m(m+1)/2 + 2(m+1)/2 = 
		(m+1)(m+2)/2 = (m+1)[(m+1)+1]/2
		最终:
		1+2+3+...+(m+1) = (m+1)[(m+1)+1]/2
		这样就完成了由n=m成立推导出n=m+1也成立的过程

本文摘要于百度百科