 ...（携帯版）メニューに戻る...(ＰＣ版)メニューに戻る*** 科目 *** 数Ⅰ・Ａ数Ⅱ・Ｂ数Ⅲ高卒・大学初年度 *** 単元 *** 式と証明点と直線円軌跡と領域三角関数 指数関数対数関数微分不定積分定積分 高次方程式数列漸化式と数学的帰納法 平面ベクトル空間ベクトル確率分布 ※高校数学Bの「数学的帰納法と漸化式」について，このサイトには次の教材があります．
この頁へGoogleやYAHOO ! などの検索から直接来てしまったので「前提となっている内容が分からない」という場合や「この頁は分かったがもっと応用問題を見たい」という場合は，他の頁を見てください． が現在地です． ↓帰納法とは（読み物） ↓数学的帰納法（等式） ↓整数の累乗(入試問題) ↓数学的帰納法（不等式）-現在地 ↓数学的帰納法（問題一覧） ↓漸化式と一般項（階差形） ↓同（等比形） 三項間漸化式の一般項 |
|
［要点］ ある不等式（Ａ）が成り立つことを数学的帰納法によって証明するには，次のようにすればよい． (I) n=1 のとき（Ａ）が成り立つことを証明する． (II) n=k のとき（Ａ）が成り立つことを仮定する． その仮定を使って n=k+1 のとき（Ａ）が成り立つことを証明する． ［例題1］
n が 3 以上の整数のとき，次の不等式が成り立つことを証明せよ．
［証明］
2n>2n …（Ａ）
(I) n=3 のとき， 左辺=23=8 右辺=6 よって，n=3のとき（Ａ）が成り立つ． (II) n=k （ k≧3 ）のとき（Ａ）が成立すると仮定すれば，
2k>2k …（Ｂ）
（Ｂ）の両辺に 2 を掛けると
どこからそんな話が出てくるのか？それは，n=k+1 のときの左辺の形を予想すると，式（Ｂ）と ×2 の分だけ違うからである．
2k×2>2k×2
2k+1>4k
次に 4k と 2(k+1) を比較すると ※
4k−2(k+1)=2k−2=2(k−1)>0 （ k≧3 だから）
よって，
2k+1>4k>2(k+1) ※
2k+1>2(k+1)
したがって，n=k+1 のときも（Ａ）が成立する．(I)，(II) より， 3 以上のすべての正の整数 n について（Ａ）が成り立つ．
勢い余って「すべての正の整数について成立する」などと書かないように．「 3 以上」だけでしか成り立たないことに注意
|
|
［不等式の証明で注意すべき点］ 左辺と右辺が等しくないのが不等式なので，ほとんどの場合左辺を変形していっても右辺にはならない． ※において 4k を変形しても 2(k+1) にはならない． 証明したいことは 2k+1>2(k+1) だから，この結論に合うように 4k>2(k+1) を証明すればよい．
このように，不等式の証明問題では左辺から得られる不等式を変形しているだけでは本来の結論までたどり着かないことが多いので，「結論との間につなぎを入れる」ことが重要である．
具体的には※のように「差を作って大小比較する」とよい． n=k のときと n=k+1 のときを比較すると   ※この問題では「右辺からすり寄って」「左辺を比較する」やりかたでもできるが少し複雑になる． （Ｂ）の両辺に 2 を加えると
2k+2>2k+2=2(k+1)
次に
2k+1−(2k+2)=2k(2−1)−2=2k−2
ここで k≧3 だから
2k−2≧8−2=6>0
よって
2k+1>2k+2>2k+2=2(k+1)
|
|
［例題2］
n が 4 よりも大きい自然数のとき，次の不等式が成り立つことを証明せよ．
［証明］
2n>n2 …（Ａ）
(I) n=5 のとき， (*1) 左辺=25=32 右辺=52=25 よって，n=5 のとき（Ａ）が成り立つ． (II) n=k （ k≧5 ）のとき（Ａ）が成立すると仮定すれば，
2k>k2 …（Ｂ）
（Ｂ）の両辺に 2 を掛けると
2k+1>2k2
次に
2k2−(k+1)2
k≧5 のとき
=k2−2k−1 =(k−1)2−2 (*2)
(k−1)2−2≧14>0 (*3)
よって，n=k+1 のときも（Ａ）が成立する．(I)，(II) より，4 よりも大きい自然数 n について（Ａ）が成り立つ． |
|
(*1) 4 よりも大きい自然数だから n は 5 以上 (*2) ２次関数の最小値を求めたいのだから，平方完成して頂点の座標を求める．
(II) において次のように書いている答案は零点なので要注意
n=k のとき
2k>k2
n=k+1 のとき
2k+1>(k+1)2
⇒ n=k のときも，n=k+1 のときも代入しているだけで何も証明されていない．n=k+1 のときも代入してしまうと，その式が n=k+1 のときに成立することを仮定していることになる．⇒ n=k のときは成立することを仮定しなければならないが，n=k+1 のときは成立することを証明しなければならない． (*3) k≧5 という条件を使わなければ (k−1)2−2>0 は示せない． この範囲外，たとえば k=1 のときは (k−1)2−2=−2<0 となり，証明はできない． |
|
［例題3］
n が 2 以上の自然数のとき，次の不等式が成り立つことを証明せよ．
［証明］1+  12 + 13 + ··· + 1n > 2nn+1 …（Ａ）
(I) n=2 のとき，
左辺=1+
12 = 32=1.5
右辺=
よって，n=2 のとき（Ａ）が成り立つ．42+1 =43=1.33...
(II) n=k （ k≧2 ）のとき（Ａ）が成立すると仮定すれば，
1+
12 + 13 + ··· + 1k > 2kk+1 …（Ｂ）
（Ｂ）の両辺に
1k+1 を加えると
1+
次に
12 + 13 + ··· + 1k + 1k+1 > 2kk+1 + 1k+1 = 2k+1k+1
2k+1k+1−2(k+1)k+2
=
1(k+1)(k+2) { (2k+1)(k+2)−2(k+1)(k+1) }
=
1(k+1)(k+2) { 2k2+5k+2−(2k2+4k+2) }
=
したがって
k(k+1)(k+2) > 0 （∵ k≧2 ）
1+
よって，n=k+1 のときも（Ａ）が成立する．12 + 13 + ··· + 1k + 1k+1 > 2k+1k+1 > 2(k+1)k+2
(I)，(II) より，2 以上のすべての自然数 n について（Ａ）が成り立つ． |
|
［例題4］
n が 2 以上の自然数のとき，次の不等式が成り立つことを証明せよ．
［証明］112 + 122 + 132 + ··· + 1n2 < 2−1n …（Ａ）
(I) n=2 のとき，
左辺=
112 + 122 = 1+ 14 = 54
右辺=2−
よって，n=2 のとき（Ａ）が成り立つ．12 = 32 = 64
(II) n=k （ k≧2 ）のとき（Ａ）が成立すると仮定すれば， 112 + 122 + 132 + ··· + 1k2 < 2−1k …（Ｂ）
（Ｂ）の両辺に
1(k+1)2 を加えると
112 + 122 + 132 + ··· + 1k2 + 1(k+1)2 < 2−1k + 1(k+1)2
2−
1k+1 > 2−1k + 1(k+1)2 を証明する．
(2−
1k+1 )−(2−1k + 1(k+1)2 )
=−
1k+1 + 1k−1(k+1)2
=
1k(k+1)2{ -k(k+1)+(k+1)2−k }
=
1k(k+1)2{ -k2−k+k2+2k+1−k }
=
したがって
1k(k+1)2 > 0 （∵ k≧2 ）
112 + 122 + 132 + ··· + 1k2 + 1(k+1)2 < 2−1k + 1(k+1)2
< 2−
よって，n=k+1 のときも（Ａ）が成立する．1k+1
(I)，(II) より，2 以上のすべての自然数 n について（Ａ）が成り立つ． |
|
［問題］
すべての自然数 n について，次の不等式が成り立つことを証明せよ．
4n > 3n …（Ａ）
※初めに [ ? ] で示される空欄を１つ選び，続いてその空欄に入る値を下の選択肢から１つ選べ．
［証明］合っていれば代入されます．間違っていれば元に戻り，答案の傾向が表示されます． (I) n=1 のとき，
左辺=[ ？ ]
右辺=[ ？ ]
よって，n=1 のとき（Ａ）が成り立つ．(II) n=k のとき（Ａ）が成立すると仮定すれば，
4k > 3k …（Ｂ）
（Ｂ）の両辺に [ ？ ] を掛けると
4k+1 > [ ？ ] k
次に
したがって，
4k+1 > 12k > 3(k+1)
よって，n=k+1 のときも（Ａ）が成立する．(I)，(II) より，すべての自然数 n について（Ａ）が成り立つ． |
|
［選択肢］
|
|
...（携帯版）メニューに戻る...メニューに戻る |
| ■このサイト内のGoogle検索■ |