数学B / 漸化式と数学的帰納法
数学的帰納法(整除)
問題
すべての自然数 について、 は の倍数であることを数学的帰納法で証明せよ。
ヒントを見る
段目では を、仮定が使える形( を含む形)に変形するのが急所。 から始めて、どう分ければ仮定が顔を出すか。
解答・解説
方針
(I) で確認。(II) で が の倍数(= と書ける)と仮定し、 を を使って変形して、 でくくれることを示す。
解答
⓪ 発想 — どう考え始めるか。 「 の倍数である」ことを全部の で示す — 倍数性も帰納法で運べる。
(I) : 。確かに の倍数。
(II) で ( は整数)と書けると仮定する。 を、仮定が使える形 — つまり が見える形 — にわざと崩すのが勝負どころだ。 から
と変形すれば、 で の倍数。「仮定のかたまりを作り出す変形」が倍数性の帰納法の核心である。
(I) のとき。 で、 の倍数。成り立つ。
(II) を仮定する。 が の倍数、すなわち整数 で と書けるとする。 を調べる。
(ここで を使い、 と合わせて にした。)仮定 を代入する。
は整数なので、 は の倍数。
結論。 (I)(II) より、すべての自然数 で は の倍数。
まとめ:整除の帰納法は「 を でくくり出す」変形がカギ。 とすれば、仮定( の倍数)と残り()が両方 の倍数になる。
発展 — 一歩先へ。 本解の変形 は、「余りだけ見れば だから 」という合同式(数A)の考えを、帰納法の言葉に翻訳したものだ。合同式を学んだ人なら の 行で済む — 同じ事実に、帰納法・因数分解・合同式の つの道がある。
「 は の倍数」という一般形も、別解と同じ因数分解で証明できる。整数の倍数性の問題では、この恒等式が隠れた主役になっていることが多い。
n=1 で 5 の倍数、n=k を仮定して n=k+1 でも 5 の倍数
別解
帰納法を使わない一撃の証明が、因数分解でできる。
等比数列の和の公式を因数分解の形で読むと
カッコの中は のべきの和 — 明らかに整数だ。よって は の倍数。これで終わり。
という恒等式に を入れただけである。同じ理屈で「 は の倍数」「()は の倍数」も一瞬で出る。
直感的に言えば、 進法で は ( が 個)— 進法の が の倍数であるのと同じ景色だ。帰納法は万能の重機、因数分解は急所を突く小刀 — 両方持っていると証明の選択肢が広がる。
ポイント
- と変形。
- 仮定を代入して の形に。
よくある間違い
- (II)で の「」の補正を落とす( と の差)
- 仮定を「」と文字でおかず、「 の倍数」のまま式変形して論証が曖昧になる
- 結論で の形まで書かず「よって倍数」と飛ばす( 整数の形を見せる)