Mathematical Induction
数学的帰納法は、無限に多い命題をドミノのように一列に倒していく証明の方法です。 まず最初のドミノが倒れること(n = 1 で成立)を示し、次にどれか一つが倒れればすぐ次も倒れること(n = k で成立なら n = k + 1 でも成立)を示します。 この二つを確かめるだけで、すべての自然数について命題が正しいことが一度に保証されます。 ドミノが次々に倒れていく様子をたどると、帰納法の二つの段階が見えます。