数学归纳法是证明当"n"等于任意一个自然数时某命题成立。证明分下面两步：这种方法的原理在于：首先证明在某个起点值时命题成立，然后证明从一个值到下一个值的过程有效。当这两点都已经证明，那么任意值都可以通过反复使用这个方法推导出来。把这个方法想成多米诺骨牌效应也许更容易理解一些。例如：你有一列很长的直立着的多米诺骨牌，如果你可以：则可下结论：所有的骨牌都会倒下。
例子1.证明下面这个给定公式（命题）为真：formula_1其中"n"为任意自然数。这是用于计算前