数学归纳法

重温数学归纳法时，发现这玩意儿跟递归就像孪生兄弟一样。

数学归纳法，更像是递归的文字表述。

当数学归纳法通过证明基底Q(0)成立，就相当于递归设置了退出条件。

之后的数学归纳法假设Q(n)成立，只要验证Q(n+1)也成立，就可以得到证明的结果。而此时对于程序的递归，则更类似于递归开始执行。

所以：递归是通过借助计算机的栈自底向上进行计算，而数学归纳法则更像自上向底进行验证。

铛铛！