数学归纳法

第一类数学归纳法

1. 验证n=0,或者n=1,对应关系是成立的。

2. 假设n=k时成立

3. 证明n=k+1时也成立

   而在编程的世界里正向递归也是随处可见，也是比较容易理解容易上手的方法。
   用简单的java程序来看

//求1~100的和
public class Text{
 	 public static void main(args[]){
 		System.out.println(sum(1));//当然这种算法计算机是通过前
 		//一项的成立造就后一项的成立
    }
	 public static int sum(int k){
		if(n
		k==1)
		return 1;//1.n=1是成立的
		else
		return sum(k-1)+k;//此句子意思为n=k时成立需要n=k-1时成立
		//需要寻找到k-1并且用电脑判断是否成立。
	}
}

第二类数学归纳法

对于P（n）
1.n<=k&&n>=n₀成立
2.n=k&&k>=n₀成立，n=k+1时P（n)也成立
3.对于一切n>=n₀P(n)都成立

反向数学归纳法

1.P（n）对于n趋近于无限时成立
2.如果P（k+1）成立可以推导出P（k）成立，那么P（n）对于一切都成立

分段数学归纳和二元有限数学归纳

1.设P（n,m）是两个独立的自然数n，m有关的问题
2.P（1，m）对于一切m都成立，P（n，1）对于一切n都成立
3.P（n+1,m）成立，P（n,m+1）成立，对于所有m，n，P(m,n)成立

双向数学归纳

跳跃数学归纳

1.当n=1，2，3…l 时P(n)成立
2.当n=k时成立，n=k+l时成立
3.对于任意n，P(n)成立

同步数学归纳

螺旋数学归纳、跷跷板数学归纳

P（n）和Q(n)相关
1.如果P（1）成立
2.如果P(k)成立Q（k）成立，如果Q（k）成立P（k+1）成立
3.对于一切P,Q,同时成立
本文借鉴于数学竞赛的数学归纳、同步数学归纳与双向数学归纳