数学的帰納法で倍数を証明する問題の解法

数学的帰納法を使ってある式が何かの倍数になることを証明する問題です。

見出し

1 基本問題
- 1.1 解き方
  - 1.1.1 解説
2 終わりに
3 関連

基本問題

$\displaystyle 3^n+2n+7$ は4の倍数になることを証明しなさい。

解き方

数学的帰納法については数学的帰納法の問題の解法をご参照ください。
基本的には数学的帰納法の知識で解けます。
※左辺=右辺みたいな問題ではないので分けています。

解説

$\displaystyle 3^n+2n+7$ は4の倍数になることを証明しなさい。

この手の問題は数学的帰納法が証明方法の候補として思いつけると良いですね。

(1)n=1のときに成り立つことを示す
n=1のときどうなるかですから、n=1のとき4の倍数になるか計算すればいいですね。
$\displaystyle 3^1+2+7=12$
12は4の倍数です。
よって成り立ちます。

(2)n=kのときに式が成り立つと仮定したとき、n=k+1のときに式が成り立つことを示す
$\displaystyle 3^k+2k+7$ が4の倍数になると仮定しましょう。
このとき $\displaystyle 3^{k+1}+2(k+1)+7$ が4の倍数になればいいですね。

$\displaystyle 3^k+2k+7$ が4の倍数になると仮定するとある整数lがあって
$\displaystyle 3^k+2k+7=4l$ と書けます。
これが手掛かりです。
数学的帰納法ではとにかくn=kの $\displaystyle 3^k+2k+7=4l$ を使う事を考えます。
これを使えなければ普通に証明する事になってしまうので。

という事でn=k+1のときを考えてみましょう。
$\displaystyle 3^{k+1}+2(k+1)+7$
$3^{k+1}$ は $3^k$ にしたいです。
$\displaystyle =3\cdot 3^k+2k+2+7=2\cdot 3^k+3^k+2k+2+7$
$\displaystyle =3^k+2k+7+2\cdot 3^k+2$
欲しい形が作れました。
$\displaystyle =4l+2\cdot 3^k+2$
$\displaystyle =4l+2(3^k+1)$
となります。
$3^k+1$ は奇数同士の和なので偶数です。
ある整数mがあって、 $3^k+1=2m$ と書けます。
$\displaystyle =4l+2\cdot 2m$
$\displaystyle =4l+4m$
$\displaystyle =4(l+m)$
これは4の倍数ですね。
よってn=kのときに式が成り立つと仮定したとき、n=k+1でも成り立ちます。