こんにちは、リンス(@Lins016)です。
今回は仮定が二つ必要な数学的帰納法の証明について学習していこう。
仮定が二つ必要な数学的帰納法の問題
今まで学習してきたのは、一つだけ仮定をする問題だったよね。でも、問題によって二つの仮定を必要とする数学的帰納法もあるんだ。
今回はどんな問題で二つの仮定が必要になるのか学習していこう。
(i)\(\small{ \ n=n_0, \ n_1 \ }\)のとき成り立つことを証明
(ii)\(\small{ \ n=k, \ k+1 \ }\)のとき成り立つことを仮定
仮定を利用して\(\small{ \ n=k+2 \ }\)が成り立つことを証明
(i)(ii)より\(\small{ \ n\geqq n_0 \ }\)で命題が成り立つ
どんな問題で二つの仮定が必要になるのか
僕らが一番知りたいのは「どんな問題で二つの仮定が必要か」ってことだよね。
問題を見て、すぐに気付ければいいけど、なかなかそうはいかないよね。
だから普通の数学的帰納法の問題と同じように\(\small{ \ n=k+1 \ }\)を\(\small{ \ n=k \ }\)の仮定を利用して証明して行くんだ。
数学的帰納法の問題ってことで、普段の手順通りに証明していくと、仮定が二つ必要な場合、\(\small{ \ n=k+1 \ }\)のとき成り立つためには\(\small{ \ n=k \ }\)のときだけじゃなく、\(\small{ \ n=k-1 \ }\)のときも成り立つことが必要になる。
\(\small{ \ n=k \ }\)のとき成り立つと仮定しても、\(\small{ \ n=k-1 \ }\)のとき成り立つとは限らないよね。
このとき、二つの仮定が必要になるということに初めて気付くんだ。
たくさんの演習をこなすことで、問題を見ただけで気付けるようになるかもしれない。
でも、そのレベルになるまで、演習をこなすことは難しいと思う。
だから問題を見ただけで気付けなくても、解いてくうちに二つの仮定が必要だって気付ければいいからね。
答案を書き直そう
二つの仮定が必要なことに気付いたら答案を書き直そう。
まずは「\(\small{ \ n=1 \ }\)のとき成り立つ」の部分に「\(\small{ \ n=2 \ }\)のときも成り立つ」を加えよう。
次に仮定に「\(\small{ \ n=k+1 \ }\)のときも成り立つと仮定する」ことを加える。
そして、\(\small{ \ n=k+1 \ }\)を証明しようとしてたところを\(\small{ \ n=k+2 \ }\)に書き換えて証明しよう。
\(\small{ \ n \ }\)は自然数とする。\(\small{ \ 2 \ }\)数\(\small{ \ x \ }\)、\(\small{ \ y \ }\)の和、積がともに整数ならば\(\small{ \ x^n+y^n \ }\)は整数であることを証明せよ。
(i)\(\small{ \ n=1 \ }\)のとき
\(\small{ \ x+y \ }\)は整数である。
\(\small{ \ n=2 \ }\)のとき
\(\small{ \ x^2+y^2=(x+y)^2-2xy \ }\)より整数である。
(ii)\(\small{ \ n=k \ }\)と\(\small{ \ n=k+1 \ }\)のとき
\(\small{ \ x^k+y^k \ }\)と\(\small{ \ x^{k+1}+y^{k+1} \ }\)が整数だと仮定する。
このとき\(\small{ \ n=k+2 \ }\)について考えると
\(\small{ \ x+y \ }\)、\(\small{ \ xy \ }\)、\(\small{ \ x^k+y^k \ }\)、\(\small{ \ x^{k+1}+y^{k+1} \ }\)は整数であるから\(\small{ \ x^{k+2}+y^{k+2} \ }\)も整数である。
よって\(\small{ \ n=k+2 \ }\)のときも成り立つ。
(i)(ii)よりすべての自然数\(\small{ \ n \ }\)で\(\small{ \ x^n+y^n \ }\)は整数である。
Point
①\(\small{ \ n=k+1 \ }\)を証明するとき、\(\small{ \ n=k \ }\)と\(\small{ \ n=k-1 \ }\)の仮定が必要になるか確認する。
②二つの仮定が必要な場合、\(\small{ \ n=1 \ }\)だけでなく\(\small{ \ n=2 \ }\)の証明が必要になる。
\(\small{ \ n \ }\)は自然数とする。\(\small{ \ t=x+\displaystyle\frac{1}{x} \ }\)とおくと\(\small{ \ x^n+\displaystyle\frac{1}{x^n} \ }\)は\(\small{ \ t \ }\)の\(\small{ \ n \ }\)次式になることを数学的帰納法で証明せよ。
(i)\(\small{ \ n=1 \ }\)のとき
\(\small{ \ x+\displaystyle\frac{1}{x}=t \ }\)
\(\small{ \ n=2 \ }\)のとき
\(\small{ \ x^2+\displaystyle\frac{1}{x^2}=\left(x+\displaystyle\frac{1}{x}\right)^2-2x\cdot\displaystyle\frac{1}{x}=t^2-2 \ }\)
よって\(\small{ \ n=1, \ 2 \ }\)のとき、\(\small{ \ x^n+\displaystyle\frac{1}{x^n} \ }\)は\(\small{ \ t \ }\)の\(\small{ \ n \ }\)次式になる。
(ii)\(\small{ \ n=k \ }\)と\(\small{ \ n=k+1 \ }\)のとき
\(\small{ \ x^k+\displaystyle\frac{1}{x^k} \ }\)は\(\small{ \ t \ }\)の\(\small{ \ k \ }\)次式
\(\small{ \ x^{k+1}+\displaystyle\frac{1}{x^{k+1}} \ }\)は\(\small{ \ t \ }\)の\(\small{ \ k+1 \ }\)次式
になると仮定する。
このとき\(\small{ \ n=k+2 \ }\)について考えると
\(\small{ \ x^{k+2}+\displaystyle\frac{1}{x^{k+2}}=\left(x+\displaystyle\frac{1}{x}\right)\left(x^{k+1}+\displaystyle\frac{1}{x^{k+1}}\right)-x\cdot\displaystyle\frac{1}{x}\left(x^k+\displaystyle\frac{1}{x^k}\right)\\
=\left(x^{k+1}+\displaystyle\frac{1}{x^{k+1}}\right)t-\left(x^k+\displaystyle\frac{1}{x^k}\right) \ }\)
仮定より\(\small{ \ x^k+\displaystyle\frac{1}{x^k} \ }\)は\(\small{ \ t \ }\)の\(\small{ \ k \ }\)次式、\(\small{ \ x^{k+1}+\displaystyle\frac{1}{x^{k+1}} \ }\)は\(\small{ \ t \ }\)の\(\small{ \ k+1 \ }\)次式である。
よって\(\small{ \ x^{k+2}+\displaystyle\frac{1}{x^{k+2}} \ }\)は\(\small{ \ t \ }\)の\(\small{ \ k+2 \ }\)次式になる。
つまり\(\small{ \ n=k+2 \ }\)のときも成り立つ。
(i)(ii)よりすべての自然数\(\small{ \ n \ }\)で\(\small{ \ x^n+\displaystyle\frac{1}{x^n} \ }\)は\(\small{ \ t \ }\)の\(\small{ \ n \ }\)次式になる。
