「$n=1$ のとき成立。$n=k$ のとき成り立つと仮定して、$n=k+1$ のとき……」
テスト前に丸暗記して、なんとなく書いている——そんな人は多いはずだ。でも「なぜこの手順で証明になるのか」が腑に落ちていないと、少し問題がひねられた途端に手が止まってしまう。
今回は数学的帰納法を、日常のある「仕掛け」を使って、直感から100%理解してもらおう。
１． ドミノ倒しで考える
数学的帰納法を理解する最強のたとえ話が、「ドミノ倒し」だ。
ドミノを1列に無限に並べたとき、「すべてのドミノが倒れる」ことを確実に保証するには、何を確認すればいいだろうか？
💡 ドミノが全部倒れる2つの条件
- 条件①： 最初の1枚（1番目）が倒れる
- 条件②： $k$ 番目が倒れたら、必ず $k+1$ 番目（次の枚）も倒れる
この2つさえ言えれば、ドミノが何万枚、何億枚あっても全部倒れる。1枚目が倒れ $\rightarrow$ 2枚目が倒れ $\rightarrow$ 3枚目が倒れ $\rightarrow$ ……と、無限に連鎖するからだ。
これがそのまま、数学的帰納法の構造になっている。
🍕 数学的帰納法の構造（ドミノ対応表）
| ドミノの現象 | 数学的帰納法の手順 |
| 1枚目が倒れる | $n=1$ のとき命題が成り立つ |
| $k$ 枚目が倒れたら $k+1$ 枚目も倒れる | $n=k$ のとき成立 $\rightarrow$ $n=k+1$ も成立 |
| 全部のドミノが倒れる | すべての自然数 $n$ で命題が成り立つ |
ここで重要なのは、「$k$ 枚目が倒れたと仮定する」は嘘をついているわけではないということだ。「もし $k$ 枚目が倒れたとしたら、次の $k+1$ 枚目はどうなるか？」という、ドミノの間隔（仕組み）を調べているだけ。
その仮定が本当に成り立つかどうかは、条件①で確認済みの「1枚目が倒れる」という事実が、1枚目 $\rightarrow$ 2枚目 $\rightarrow$ 3枚目……と連鎖的に保証してくれる。
２． もうひとつのたとえ：無限に続くはしご
ドミノ以外にもう一つ、より直感的なたとえを紹介しよう。
上に無限に続く「はしご」を想像してほしい。
「あなたはすべてのはしごの段に登れる」ことを証明したい。そのために必要なのは、次の2つだけだ。
- 条件①： 1段目に登れる（スタート地点に立てる）
- 条件②： $k$ 段目に登れたなら、次の $k+1$ 段目にも登れる（1段ずつ上がれる）
この2つが言えれば、「何段目であっても登れる」ことが証明できる。
ドミノが「前から押す」連鎖なら、はしごは「下から上がる」連鎖だ。方向は違えど、有限の確認（たった2回）で無限の結論を出すという構造はまったく同じなのだ。
💡 なぜ「有限の確認」で「無限の証明」ができるのか？
①と②は2つだけの確認だが、その2つが「連鎖の仕組み」そのものを保証している。1 $\rightarrow$ 2 $\rightarrow$ 3 $\rightarrow$ …と無限に続く理由が②にあり、その連鎖のスタート地点が①だ。だから2つだけで十分なのだ。
３． 実際に証明してみる（和の公式）
では、具体的な命題を数学的帰納法で証明してみよう。
【命題】
すべての自然数 $n$ に対して、次の式が成り立つことを示せ。
$$1 + 2 + 3 + \dots + n = \displaystyle \frac{n(n+1)}{2}$$
この式、教科書で見たことがある人も多いだろう。さっそく2つの手順でドミノを倒しにいこう。
【手順①】$n=1$ のとき（ドミノの1枚目）
左辺：$1$
右辺：
$$\displaystyle \frac{1 \times (1+1)}{2} = \frac{2}{2} = 1$$
（左辺）＝（右辺）となり、 $n=1$ のとき成立。
これで、ドミノの「1枚目が倒れる」確認が終わった。
【手順②】$n=k$ のとき成り立つと仮定して、$n=k+1$ のときを示す（ドミノの連鎖）
仮定（$k$ 枚目が倒れた状態）：
$$1 + 2 + \dots + k = \displaystyle \frac{k(k+1)}{2}$$
が成り立つとする。
示したいこと（$k+1$ 枚目も倒れること）：
$$1 + 2 + \dots + k + (k+1) = \displaystyle \frac{(k+1)(k+2)}{2}$$
を目指して、計算を進めよう。
（証明）
左辺の式に、さっそく「仮定の式」を代入する。
$$1 + 2 + \dots + k + (k+1) = (1 + 2 + \dots + k) + (k+1)$$
$$= \displaystyle \frac{k(k+1)}{2} + (k+1) \quad \text{←★ここで仮定を使った！}$$
ここからの通分と因数分解がポイントだ。
$$= \displaystyle \frac{k(k+1)}{2} + \frac{2(k+1)}{2}$$
$$= \displaystyle \frac{k(k+1) + 2(k+1)}{2}$$
分子にある共通因数 $(k+1)$ でくくり出すと……
$$= \displaystyle \frac{(k+1)(k+2)}{2}$$
これで（右辺）と同じ形になった。
よって、$n=k+1$ のときも成立することが示せた。
💡 式変形のコツ
途中の
$$\displaystyle \frac{k(k+1)}{2} + (k+1)$$
の変形で迷う人は、次のように $(k+1)$ を共通因数として前にくくり出す意識を持とう。
$$(k+1) \times \left( \displaystyle \frac{k}{2} + 1 \right) = (k+1) \times \frac{k+2}{2}$$
こう整理すると、展開してドロ沼にはまるのを防げて見通しが良くなる。
【結論】
①より $n=1$ のとき成立。②より $n=k$ のとき成立すれば $n=k+1$ のときも成立する。
よって、数学的帰納法により、すべての自然数 $n$ で命題は成り立つ。 $\blacksquare$
４． よくある2つのミス
ミス①：$n=1$ の確認を「なんとなく」で終わらせる
「どうせ成り立つでしょ」と、計算せずに「左辺＝右辺＝1」と雑に書く人がいる。しかし①の確認は、ドミノの最初の1枚を実際に指で倒す作業だ。これがなければ、どんなに綺麗な連鎖の仕組みを作っても何も始まらない。左辺と右辺は必ず別々に計算して、等しいことを誠実に示そう。
ミス②：「仮定」と「示すこと」を混同する
「$n=k+1$ のときも成り立つと仮定して……」と書いてしまうパターンだ。これは一番やってはいけない。証明したい結論を最初に仮定してしまったら、論理がループしてしまう。
仮定するのはあくまで「$n=k$ のとき」だけ。$n=k+1$ は仮定するものではなく、計算によって必死に導き出す結論だ。
- ❌ NG例：「$n=k+1$ のとき成り立つと仮定すると……」
- ✅ OK例：「$n=k$ のとき成り立つと仮定する。このとき $n=k+1$ でも成り立つことを示す。」
５． まとめ：数学的帰納法の「なぜ」
数学的帰納法は、ただの「形式的な手順」ではない。ドミノ倒しやはしごと同じ「連鎖の論理」だ。
| 手順 | 数学的な意味 | ドミノで言うと？ |
| $n=1$ で成立を示す | 連鎖のスタート地点を確保する | 1枚目を実際にパタンと倒す |
| $n=k$ を仮定して $n=k+1$ を示す | 「1つ前が倒れれば次も倒れる」仕組みを作る | ドミノの間隔が正しいことを確認する |
| 「すべての $n$ で成立」と結ぶ | 連鎖が無限に続くことを宣言する | 全部のドミノが倒れる！ |
次に帰納法の問題を解くときは、手順を書きながら頭の中でドミノを並べてみてほしい。
「今、1枚目を倒しているんだな」「よし、今は連鎖の仕組みを証明しているぞ」と意識するだけで、答案の書きやすさも、記述の意味もまったく変わってくるはずだ。
コメント