数学归纳法——编码的依据

数学归纳法：（用于证明断言对所有自然数成立）

1、  证明对于N=1成立

2、  证明N>1时：如果对于N-1成立，那么对于N成立（关键的一步）

 

如，求证：1+2+3+…+n  =  n(n+1)/2           int  sum(int){

1、1=1*2/2                                                             if(n==1)  return 1;

2、如果1+2+3+…+(n-1)  =  (n-1)n/2

那么1+2+3+…+n  = 1+2+3+…+(n-1)+n

= (n-1)n/2+n  =n(n+1)/2                             return  sum (n-1)+n;}