程序员的数学 第四章 数学归纳法

征服无穷数列
数学归纳法是证明某断言对于以上的所有整数（1，2，3，4……）都成立的方法

只需要两个步骤：
① 证明p(0)成立 这一步叫做基底
②证明不论k为0以上的哪个整数 “若 p(k)成立 则 p(k+1)也成立 这一步叫做归纳

这种思路可以比喻为 "推倒多米诺骨牌”
和编程的区别 数学归纳法忽略了时间的限制

一个很神奇的定理
Q(n): 1+3+5+7+9+11+……+（2*n-1)=n^2
即前n个奇数的和等于n^2
(它的证明用小方格画的图更为神奇）