数学归纳法分两类:
第一类:k=1时成立;假设k=n时成立,k=n+1时也成立.从而命题对任意n>1成立
第二类:k=1时成立;假设k1成立
第一类是高中学的,第二类在证明大学高等代数和初等数论问题用过