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)。
比如过年的爆竹。点燃引线,第一颗爆竹会响。然后第二颗要响前提是引线连接的。第二步关键就是证明引线不是断的啊。