归纳步骤

归纳步骤是"假设第 k 张倒了，证明它能撞倒第 k+1 张"：先假设命题在 n=k 时成立（叫归纳假设），再用它推出 n=k+1 时也成立。关键是要真的用上那个假设，把 k+1 的情形和 k 的情形连起来。