たんげん A3-3
数学的帰納法
⤵ 合流 — さきに まなんで おきたい こと
「すべての自然数nについて成り立つ」——無限個の主張を、人間は一つずつ確かめられない。でも2手で証明できる方法がある：最初の1枚を倒し（n ＝ 1 で成立）、「どの1枚も倒れたら次も倒れる」（n ＝ k で成立すれば n ＝ k ＋ 1 でも成立）を示す。数学的帰納法だ。
S2章で身につけた証明の技に、無限を相手にする新しい武器が加わる。Σの公式（前たんげん）に借りていた証明を、ここで返済しよう。
たんげん A3-3
「すべての自然数nについて成り立つ」——無限個の主張を、人間は一つずつ確かめられない。でも2手で証明できる方法がある：最初の1枚を倒し（n ＝ 1 で成立）、「どの1枚も倒れたら次も倒れる」（n ＝ k で成立すれば n ＝ k ＋ 1 でも成立）を示す。数学的帰納法だ。
S2章で身につけた証明の技に、無限を相手にする新しい武器が加わる。Σの公式（前たんげん）に借りていた証明を、ここで返済しよう。