数学归纳法的思想内涵

1，证明P(0)正确。

2，假设P(k)正确，证明P(k+1)正确。

正如《程序员的数学》（结城浩 著）一书里作者写道：在学校学习数学归纳法之初，我不是很理解这个结构。

虽说等式的计算并没有那么难，但我不认为数学归纳法是有效的证明方法。当初我搞不明白的是步骤2。在步骤2中，

是要假设P(k)成立，推导出P(k+1)。我当是却想：‘P(k)不是现在要证明的式子吗？如果这样就谈不上证明了吧。‘

似乎现在我能明白数学归纳法第二步含义了。就是证明inductive的有效性。（归纳步骤）

这一步证明的目标与其说是证明P(k+1)成立，不如说是证明一个结合的有效性（induction's effectiveness）。

比如过年的爆竹。点燃引线，第一颗爆竹会响。然后第二颗要响前提是引线连接的。第二步关键就是证明引线不是断的啊。