数学归纳法有两种形式：

一、

验证n=1时命题正确；

假设n=k时命题正确；

证明n=k+1时命题正确。

二、

验证n=1和n=2时命题都正确；

假设n<k时命题正确；

证明n=k时命题正确。