数学B / 漸化式と数学的帰納法

数学的帰納法(整除)

★★ 標準数学的帰納法整数

問題

すべての自然数 について、 の倍数であることを数学的帰納法で証明せよ。

ヒントを見る

段目では を、仮定が使える形( を含む形)に変形するのが急所。 から始めて、どう分ければ仮定が顔を出すか。

解答・解説

方針

(I) で確認。(II) の倍数(= と書ける)と仮定し、 を使って変形して、 でくくれることを示す。

解答

⓪ 発想 — どう考え始めるか。 の倍数である」ことを全部の で示す — 倍数性も帰納法で運べる。

(I) : 。確かに の倍数。

(II) ( は整数)と書けると仮定する。 を、仮定が使える形 — つまり が見える形 — にわざと崩すのが勝負どころだ。 から

と変形すれば、 の倍数。「仮定のかたまりを作り出す変形」が倍数性の帰納法の核心である。

定理整除の帰納法: で「 の倍数()」と仮定し、 の形にする

(I) のとき。 で、 の倍数。成り立つ。

(II) を仮定する。 の倍数、すなわち整数 と書けるとする。 を調べる。

(ここで を使い、 と合わせて にした。)仮定 を代入する。

は整数なので、 の倍数。

結論。 (I)(II) より、すべての自然数 の倍数。

まとめ:整除の帰納法は「 でくくり出す」変形がカギ。 とすれば、仮定( の倍数)と残り()が両方 の倍数になる。

発展 — 一歩先へ。 本解の変形 は、「余りだけ見れば だから 」という合同式(数A)の考えを、帰納法の言葉に翻訳したものだ。合同式を学んだ人なら 行で済む — 同じ事実に、帰納法・因数分解・合同式の つの道がある。

の倍数」という一般形も、別解と同じ因数分解で証明できる。整数の倍数性の問題では、この恒等式が隠れた主役になっていることが多い。

n=1 で 5 の倍数、n=k を仮定して n=k+1 でも 5 の倍数

別解

帰納法を使わない一撃の証明が、因数分解でできる。

等比数列の和の公式を因数分解の形で読むと

カッコの中は のべきの和 — 明らかに整数だ。よって の倍数。これで終わり。

という恒等式に を入れただけである。同じ理屈で「 の倍数」「()は の倍数」も一瞬で出る。

直感的に言えば、 進法で ( 個)— 進法の の倍数であるのと同じ景色だ。帰納法は万能の重機、因数分解は急所を突く小刀 — 両方持っていると証明の選択肢が広がる。

ポイント

  • と変形。
  • 仮定を代入して の形に。

よくある間違い

  • (II)で の「」の補正を落とす( の差)
  • 仮定を「」と文字でおかず、「 の倍数」のまま式変形して論証が曖昧になる
  • 結論で の形まで書かず「よって倍数」と飛ばす( 整数の形を見せる)