このページは数学的帰納法による証明問題として,よく登場するものを一覧表的に整理したものです.
自分で解く場合は,問題の全部を解く必要はなく,「これは?」と気になる項目を解けばよいでしょう. 各々の式をクリックすれば,答案にジャンプできます.(ファイルが大きいので,数式を展開するのに数分かかる[リンク先がしばらく出ない]場合があります)
数列の和:等式の証明
が自然数であるとき,次の等式が成り立つことを証明せよ.(A1) (A2) (A3) (A4) (A5) (A6) (A7) 一般に,このような階段状の積の和は,1次高い階段状の積で表されます. (A8) (A9) (A10) (A11) 一般に,このような階段状の積の逆数(分数)の和は,次のようになる. (A12) (A13) 一般に,のとき が成り立つ. 上記は,この式において,を代入した場合となっている. 他の例として,の場合は となる. (A14) |
不等式の証明
が自然数であるとき,次の不等式が成り立つことを証明せよ.(B1) (B2) (B3) (B4) (B5) のとき, が2以上の自然数であるとき,次の不等式が成り立つことを証明せよ. (B6) (B7) (B8)
以下の問題も,ほぼ同様に証明できる.
が5以上の自然数であるとき,次の不等式が成り立つことを証明せよ.が3以上の自然数であるとき,次の不等式が成り立つことを証明せよ. が4以上の自然数であるとき,次の不等式が成り立つことを証明せよ. (B9) が10以上の自然数であるとき,次の不等式が成り立つことを証明せよ. (B10) が2以上の自然数であるとき,次の不等式が成り立つことを証明せよ. (B11)(ただし,とする) (B12)(ただし,とする) |
漸化式と数学的帰納法
(C1)数列をで定める. (1)を求めよ.また,それより一般項を推定せよ. (2) 数学的帰納法により(1)の一般項の推定が正しいことを証明せよ.(以下略) (2014年度岐阜大入試問題)
(C2)数列がを満たしている.次の問いに答えよ. (1)を求めよ. (2) 一般項を推定し,それが正しいことを数学的帰納法により証明せよ.(以下略) (2011年度岡山県立大入試問題)
図形問題の証明
(D1)が4以上の自然数であるとき,凸角形の対角線の総数は,に等しいことを数学的帰納法で証明せよ. (D2) 平面上に本の直線があり,どの2本も平行でなく,どの3本も同一の点を通らないとする.このとき,これら本の直線によって,平面は個の領域に分けられることを数学的帰納法で証明せよ.
降順の証明
(E1) のとき,次の不等式が成り立つことを証明せよ.(E2) が自然数で,のとき,次の不等式が成り立つことを証明せよ.
pならばqの証明
(F1) が自然数,が整数でであるならば,となることを証明せよ.(F2) が自然数,が整数でであるならば,となることを証明せよ.
整数問題の証明
≪の形で証明するもの≫が自然数であるとき,次の式の値が整数になることを証明せよ. (G1) (G2) (G3)で定義される数列(フィボナッチ数列)の一般項は となることを証明せよ. ≪倍数の証明≫ (G4) すべての自然数について,は4の倍数である.このことを,数学的帰納法を用いて示せ. (2016年度愛知教育大入試問題)
(G5) すべての自然数について,は11の倍数である.このことを,数学的帰納法を用いて示せ.
(2016年度愛知教育大入試問題)
(G6)を自然数とするときは28で割り切れることを示せ.
(2005年度東京女子大入試問題)
|
[証明] (T) のとき,(左辺),(右辺)だから(A1)は成立する. (U) のとき(A1)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A1)が成り立つことを示している. (T),(U)により,すべての自然数について(A1)が成り立つ. [証明] (T) のとき,(左辺),(右辺)だから(A2)は成立する. (U) のとき(A2)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A2)が成り立つことを示している. (T),(U)により,すべての自然数について(A2)が成り立つ. |
[証明] (T) のとき,(左辺), (右辺)だから(A3)は成立する. (U) のとき(A3)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A3)が成り立つことを示している. (T),(U)により,すべての自然数について(A3)が成り立つ. |
[証明] (T) のとき,(左辺), (右辺)だから(A4)は成立する. (U) のとき(A4)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A4)が成り立つことを示している. (T),(U)により,すべての自然数について(A4)が成り立つ. |
[証明] (T) のとき,(左辺), (右辺)だから(A5)は成立する. (U) のとき(A5)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A5)が成り立つことを示している. (T),(U)により,すべての自然数について(A5)が成り立つ. (参考) (A3) の結果が使える場合は,(A5)は次のようにして導ける. …(*1) …(*2) (*1)−2×(*2) (←偶数番目を2回引く) |
[証明] (T) のとき,(左辺), (右辺)だから(A6)は成立する. (U) のとき(A6)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A6)が成り立つことを示している. (T),(U)により,すべての自然数について(A6)が成り立つ. |
[証明] (T) のとき,(左辺), (右辺)だから(A7)は成立する. (U) のとき(A7)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A7)が成り立つことを示している. (T),(U)により,すべての自然数について(A7)が成り立つ. |
[証明] (T) のとき,(左辺), (右辺)だから(A8)は成立する. (U) のとき(A8)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A8)が成り立つことを示している. (T),(U)により,すべての自然数について(A8)が成り立つ. |
[証明] (T) のとき,(左辺) (右辺)だから(A9)は成立する. (U) のとき(A9)が成り立つと仮定すると, …(*) (*)の両辺にをかけて,で割ると …(**) (**)はのときも(A9)が成り立つことを示している. (T),(U)により,すべての自然数について(A9)が成り立つ. |
[証明] (T) のとき,(左辺) (右辺)だから(A10)は成立する. (U) のとき(A10)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A10)が成り立つことを示している. (T),(U)により,すべての自然数について(A10)が成り立つ. |
[証明] (T) のとき,(左辺) (右辺)だから(A11)は成立する. (U) のとき(A11)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A11)が成り立つことを示している. (T),(U)により,すべての自然数について(A11)が成り立つ. |
[証明] (T) のとき,(左辺) (右辺)だから(A12)は成立する. (U) のとき(A12)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A12)が成り立つことを示している. (T),(U)により,すべての自然数について(A12)が成り立つ. |
[証明] (T) のとき,(左辺) (右辺)だから(A13)は成立する. (U) のとき(A13)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A13)が成り立つことを示している. (T),(U)により,すべての自然数について(A13)が成り立つ. |
[証明] (T) のとき,(左辺) (右辺)だから(A14)は成立する. (U) のとき(A14)が成り立つと仮定すると, …(*) (*)の両辺にを加えると …(**) (**)はのときも(A14)が成り立つことを示している. (T),(U)により,すべての自然数について(A14)が成り立つ. |
[証明] (T) のとき,(左辺) (右辺)だから(B1)は成立する. (U) のとき(B1)が成り立つと仮定すると, …(*) (*)の両辺にを加えると (*?)は次のように証明できる. したがって …(**) (**)はのときも(B1)が成り立つことを示している. (T),(U)により,すべての自然数について(B1)が成り立つ.
不等式は「左辺を変形しても右辺にはならない」から,(*?)のように「言いたいこと」を設定して,「引き算が正になる」ことを別途示すというスタイルにするとよい.
|
[証明1] 次の証明は,数学的帰納法による証明ではないが,,(B1)の結果を利用すれば,次のように示せる. の両辺にを掛けると
のような,教科書に出ている公式は,それ自体の証明が問題である場合を除けば,黙って使える.
[証明2]次の証明も,数学的帰納法による証明ではないが,スマートに決まる. (相加平均)≧(相乗平均)の関係から 両辺とも正であるから,辺々掛けると したがって
n個の場合の相加,相乗の関係は,教科書に書いてないから,黙って使うと少し減点されることがある.
[証明3]「数学的帰納法を用いて証明せよ」と解き方が指定されている場合は,それに従う他ない. (T) のとき,(左辺) (右辺)だから(B2)は成立する. (U) のとき(B2)が成り立つと仮定すると, …(*) の場合を考えると とおく ここで,(相加平均)≧(相乗平均)の関係より だから …(**) (**)はのときも(B2)が成り立つことを示している. (T),(U)により,すべての自然数について(B2)が成り立つ. |
(T) のとき,(左辺) (右辺)だから(B3)は成立する. (U) のとき(B3)が成り立つと仮定すると, …(*) (*)の両辺にをかけると (*?)は次のように示せる. したがって, …(**) (**)はのときも(B3)が成り立つことを示している. (T),(U)により,すべての自然数について(B3)が成り立つ. |
(T) のとき,(左辺) (右辺)だから(B4)は成立する. (U) のとき(B4)が成り立つと仮定すると, …(*) (*)の両辺にを加えると (*?)は次のように示せる. したがって, …(**) (**)はのときも(B4)が成り立つことを示している. (T),(U)により,すべての自然数について(B4)が成り立つ. |
(T) のとき,(左辺) (右辺)だから(B5)は成立する. (U) のとき(B5)が成り立つと仮定すると, …(*) (*)の両辺にをかけると ここで を証明する.(*?)の部分は とおく のとき,だから のとき,だから したがって,つねに…(**) (**)はのときも(B5)が成り立つことを示している. (T),(U)により,すべての自然数について(B5)が成り立つ.
左辺からそろえる証明がほとんどであるが,この問題では右辺からそろえる.考えたらわかる.
|
(T) のとき,(左辺) (右辺)だから(B6)は成立する. (U) のとき(B6)が成り立つと仮定すると, …(*) (*)の両辺にを加えると ここで を証明する. (*?)が成立するから …(**)が成立する. (**)はのときも(B6)が成り立つことを示している. (T),(U)により,2以上のすべての自然数について(B6)が成り立つ. |
(T) のとき,(左辺) (右辺)だから(B7)は成立する. (U) のとき(B7)が成り立つと仮定すると, …(*) (*)の両辺にをかけると …(**)が成立する. (**)はのときも(B7)が成り立つことを示している. (T),(U)により,2以上のすべての自然数について(B7)が成り立つ. (T) のとき,(左辺) (右辺)だから(B8)は成立する. (U) のとき(B8)が成り立つと仮定すると, …(*) (*)の両辺にをかけると ここで を証明する. だから(*?)が成り立つ.したがって …(**)が成立する. (**)はのときも(B8)が成り立つことを示している. (T),(U)により,2以上のすべての自然数について(B8)が成り立つ. |
(T) のとき,(左辺) (右辺)だから(B9)は成立する. (U) のとき(B9)が成り立つと仮定すると, …(*) (*)の両辺にをかけると ここで,…(*?)を証明する. (∵) (*?)により,…(**)が成立する. (**)はのときも(B9)が成り立つことを示している. (T),(U)により,5以上のすべての自然数について(B9)が成り立つ. |
(T) のとき,(左辺) (右辺)だから(B10)は成立する. (U) のとき(B10)が成り立つと仮定すると, …(*) (*)の両辺にをかけると ここで,…(*?)を証明する. とおくと () はにおいて単調増加 また, したがって,において…(*?)が成り立つ
正の数の大小は比によって調べることができる.すなわち,のとき,ならばであると言える.
(*?)により,…(**)が成立する.2つの正の数について において,のとき, であるから (**)はのときも(B10)が成り立つことを示している. (T),(U)により,10以上のすべての自然数について(B10)が成り立つ. |
(T) のとき,(左辺) (右辺)だから(B11)は成立する. (U) のとき(B11)が成り立つと仮定すると, …(*) (*)の両辺にをかけると …(**)が成立する. (**)はのときも(B11)が成り立つことを示している. (T),(U)により,2以上のすべての自然数について(B11)が成り立つ. (T) のとき,(左辺) (右辺)だから(B12)は成立する. (U) のとき(B12)が成り立つと仮定すると, …(*) (*)の両辺にをかけると …(**)が成立する. (**)はのときも(B12)が成り立つことを示している. (T),(U)により,2以上のすべての自然数について(B12)が成り立つ. |
(1)
…(*1) と推定する. (2) (T) のとき, だから(*1)は成立する. (U) のとき(*1)が成り立つと仮定すると, …(*) …(**)が成立する. (**)はのときも(*1)が成り立つことを示している. (T),(U)により,すべての自然数について(*1)が成り立つ. |
(1) (2)
…(*1) と推定する. (T) のとき, だから(*1)は成立する. (U) のとき(*1)が成り立つと仮定すると, …(*) …(**) が成立する. (**)はのときも(*1)が成り立つことを示している. (T),(U)により,すべての自然数について(*1)が成り立つ. |
に等しい. (U) のとき対角線の総数が …(*) に等しいと仮定する. ア)右図の赤実線で示したように,番目の頂点からこれに隣り合わない個の頂点に引いた線分が対角線として増える. イ)右図の赤破線で示したように,角形のときに辺に数えていたもの1本が角形では対角線に入る. 以上のア)イ)から,角形の対角線の総数は …(**) に等しい. (**)はのときも(*)が成り立つことを示している. (T),(U)により,4以上の自然数について(*)が成り立つ.
組合せを使って求める場合は,個の頂点を結ぶ線分の総数のうちで辺となるもの本を引くと
となることが分かる. |
に等しい. (U) のとき …(*) 個の領域に分かれると仮定する. 図の赤丸で示した個の交点が本目の直線上に並ぶから,植木算の考え方により,本目の直線は個の線分や半直線に分かれる. そのとき,各々向こう側とこちら側に領域が分かれるから,本目の直線を引くことにより,領域の数は個だけ増える. したがって,のとき,領域の数は …(**) に等しい. (**)はのときも(*)が成り立つことを示している. (T),(U)により,すべての自然数について(*)が成り立つ. |
※数学的帰納法による証明では,ほとんどの場合,のときなどから初めて,順次多い方に向かって攻めていく論証の形をとる.しかし,のときの関係から1つ多いのときの関係を導くのが難しいことがある.このような場合,多い方から降順に攻めてもすべての整数について成り立つことを示せる.
Aを変形してBを導くのは難しいが Cを変形して Bを導くのはやさしい.…(A) また,AからC,CからGを導くのも容易である. AからCは CからGも同様に示せる. 一般に個の正の数について(相加平均)≧(相乗平均)の関係を示すことができる.…(B) そこで,教科書に掲載されていて,黙って使えるAだけを前提として,大きな整数の場合に(相加平均)≧(相乗平均)の関係を証明するには,適当に大きなから順に下がってもよい. において,変数は各々独立した自由な値をとれるから,たまたま,となる場合を考えてみると 両辺を4乗すると 両辺の3乗根をとると 本題に戻って,G→Fの場合は とおいてから,8乗して,7乗根をとると同様に証明できる. ※ここでは,話を簡単にするためにの場合のみ取り上げたが,一般に与えられた自然数よりもが大きくなるような数から降っていくとに至るのは明らかであるから,どのような自然数についても成り立つと言える. |
初めにについての数学的帰納法を用い,次にについての数学的帰納法を用いる.についての数学的帰納法は,降順に示すと簡単になる.
初めに,すべての自然数について…(*1) が成り立つことを証明する. (T)のとき だから,成立する. (U)のとき が成り立つと仮定すれば が成り立つ.ここで を示す. のとき のとき であるから,(*?)が成り立つ. 以上から,数学的帰納法によりすべての自然数について,(*1)が成り立つ. 次に,すべての自然数について …(*2) が成り立つことを証明する. (T) のとき (左辺),(右辺)であるから,成立する. のとき,(*1)により が成り立つ. (U)で成り立つことを示す. 同様にすれば,で成り立つことが言える. の場合に のときを考えると 右辺の第2項を左辺に移項すると このようにして,のとき,成り立つことが示せる. 同様にして,よりも大きなのときから順次降順に示すことができる. 以上により,すべての自然数について(*2)が成り立つ. |
(別解)** グラフによる証明 ** のグラフ上にあって,座標がとなる点をとおく. このとき,との重心をとすると, からy軸に平行な直線を引いてのグラフと交わる点をとおくと のグラフはのとき下に凸だから,はよりも上(以上)にある.したがって 次に,の重心 は,その重心からy軸に平行な直線を引いてのグラフと交わる点 よりも上(以上)にある.
■ここが重要■
一般に,だから,とを1:2の比に内分する点 は,グラフが下に凸であることにより よりも上(以上)にある.そこで が成り立つ. だから,第番目の重心は,第番目の重心とを結ぶ線分を1:(n−1)の比に内分する点となるから,次のはよりも上(以上)にある. したがって が成り立つ. |
「Aのとき,PならばQ」ということをもう少しシンプルな表現にすると「AかつPならばQ」と考えればよい.
(T) のとき,だから,
同様にして,「Aのとき,P(k)ならばQ(k)が成り立つとき,P(k+1)ならばQ(k+1)が成り立つことを証明せよ」とは「AかつP(k)かつQ(k)かつP(k+1)ならばQ(k+1)が成り立つことを証明せよ」と考えればよい. 要するに,Q(k+1)以外はすべて仮定してQ(k+1)を証明したらよい. このとき,だから, だから(F1)は成立する. (U) のとき(F1)が成り立つと仮定すると, であるならば,…(*) このとき, …(**)が成立する. (**)はのときも(F1)が成り立つことを示している. (T),(U)により,すべての自然数について(F1)が成り立つ. |
(T) のとき,だから,
このとき,だから, だから(F2)は成立する. (U) のとき(F2)が成り立つと仮定すると, であるならば,…(*) このとき, …(**)が成立する. (**)はのときも(F2)が成り立つことを示している. (T),(U)により,すべての自然数について(F2)が成り立つ. |
(T) のとき,は整数である. また,のとき, は整数である. (U) のとき
以下,簡単のために,とおく.このとき,である.
が整数であると仮定するとここで,は仮定により整数で,も整数であるから,も整数になる (T),(U)により,すべての自然数について, が整数になることが示された. |
(T) のとき, は整数である. また,のとき, は整数である. (U) のとき
以下,簡単のために,とおく.このとき,である.
が整数であると仮定するとここで,は仮定により整数で,も整数であるから,も整数になる (T),(U)により,すべての自然数について, が整数になることが示された. |
が漸化式を満たすことを証明する. (T) のとき, のとき, が成り立つ. (U) のとき
以下,簡単のために,とおく.このとき,である.
が成り立つと仮定する. だから ここで,だから したがって が成り立つ. (T),(U)により,すべての自然数について, が漸化式を満たすことが示された. |
(T) のとき, は4の倍数である. (U) のとき (Nは整数)と仮定する. このとき,差が4の倍数になることを示せばよい. ここで,は奇数だから,は偶数 したがって,は4の倍数. (T),(U)により,すべての自然数について,は4の倍数であることが示された. |
(T) のとき, は11の倍数である. (U) のとき (Nは整数)と仮定する. このとき,差が11の倍数になることを示せばよい. は11の倍数である. (T),(U)により,すべての自然数について,は11の倍数であることが示された. |
(T) のとき, は28で割り切れる. (U) のとき (Nは整数)と仮定する. このとき,差 が28の倍数になることを示せばよい. は28の倍数である. (T),(U)により,すべての自然数について,は28の倍数であることが示された. |
...(携帯版)メニューに戻る ...メニューに戻る |