数学的帰納法（問題）

...(�ｰ�｣迚�)繝｡繝九Η繝ｼ縺ｫ謌ｻ繧�
*** 遘醍岼 ***
謨ｰ竇�繝ｻ�｡謨ｰ竇｡繝ｻ�｢謨ｰ竇｢鬮伜穀繝ｻ螟ｧ蟄ｦ蛻晏ｹｴ蠎ｦ
*** 蜊伜� ***
蠑上→險ｼ譏�轤ｹ縺ｨ逶ｴ邱�蜀�霆瑚ｷ｡縺ｨ鬆伜沺荳芽ｧ帝未謨ｰ
謖�焚髢｢謨ｰ蟇ｾ謨ｰ髢｢謨ｰ蠕ｮ蛻�荳榊ｮ夂ｩ榊�螳夂ｩ榊�
鬮俶ｬ｡譁ｹ遞句ｼ�謨ｰ蛻�貍ｸ蛹門ｼ上→謨ｰ蟄ｦ逧�ｸｰ邏肴ｳ�
蟷ｳ髱｢繝吶け繝医Ν 遨ｺ髢薙�繧ｯ繝医Ν 遒ｺ邇��蟶�

窶ｻ鬮俶�｡謨ｰ蟄ｦB縺ｮ縲梧焚蟄ｦ逧�ｸｰ邏肴ｳ輔→貍ｸ蛹門ｼ上阪↓縺､縺�※�後％縺ｮ繧ｵ繧､繝医↓縺ｯ谺｡縺ｮ謨呎攝縺後≠繧翫∪縺呻ｼ�
縺薙�鬆√∈Google繧ШAHOO ! 縺ｪ縺ｩ縺ｮ讀懃ｴ｢縺九ｉ逶ｴ謗･譚･縺ｦ縺励∪縺｣縺溘�縺ｧ縲悟燕謠舌→縺ｪ縺｣縺ｦ縺�ｋ蜀�ｮｹ縺悟�縺九ｉ縺ｪ縺�阪→縺�≧蝣ｴ蜷医ｄ縲後％縺ｮ鬆√�蛻�°縺｣縺溘′繧ゅ▲縺ｨ蠢懃畑蝠城｡後ｒ隕九◆縺�阪→縺�≧蝣ｴ蜷医��御ｻ悶�鬆√ｒ隕九※縺上□縺輔＞��縲縺檎樟蝨ｨ蝨ｰ縺ｧ縺呻ｼ�

竊�蟶ｰ邏肴ｳ輔→縺ｯ�郁ｪｭ縺ｿ迚ｩ��
竊�謨ｰ蟄ｦ逧�ｸｰ邏肴ｳ包ｼ育ｭ牙ｼ擾ｼ�
竊�謨ｴ謨ｰ縺ｮ邏ｯ荵�(蜈･隧ｦ蝠城｡�)
竊�謨ｰ蟄ｦ逧�ｸｰ邏肴ｳ包ｼ井ｸ咲ｭ牙ｼ擾ｼ�
竊�謨ｰ蟄ｦ逧�ｸｰ邏肴ｳ包ｼ亥撫鬘御ｸ隕ｧ��-迴ｾ蝨ｨ蝨ｰ

竊�貍ｸ蛹門ｼ上→荳闊ｬ鬆�ｼ磯嚴蟾ｮ蠖｢��
竊�蜷鯉ｼ育ｭ画ｯ泌ｽ｢��
荳蛾��俣貍ｸ蛹門ｼ上�荳闊ｬ鬆�

== 数学的帰納法のいろいろな問題 ==（問題と答案）

　このページは数学的帰納法による証明問題として，よく登場するものを一覧表的に整理したものです．
　自分で解く場合は，問題の全部を解く必要はなく，「これは？」と気になる項目を解けばよいでしょう．
　各々の式をクリックすれば，答案にジャンプできます．（ファイルが大きいので，数式を展開するのに数分かかる［リンク先がしばらく出ない］場合があります）

数列の和：等式の証明

〇　nが自然数であるとき，次の等式が成り立つことを証明せよ．
(A1)

1 + 2 + 3 + \dots + n = \frac{n (n + 1)}{2}

(A2)

1 + 3 + 5 + \dots + (2 n - 1) = n^{2}

(A3)

1^{2} + 2^{2} + 3^{2} + \dots + n^{2} = \frac{n (n + 1) (2 n + 1)}{6}

(A4)

1^{2} + 3^{2} + 5^{2} + \dots + (2 n - 1)^{2} = \frac{n (2 n - 1) (2 n + 1)}{3}

(A5)

1^{2} - 2^{2} + 3^{2} - 4^{2} + \dots - (2 n)^{2} = - n (2 n + 1)

(A6)

1^{3} + 2^{3} + 3^{3} + \dots + n^{3} = {\frac{n (n + 1)}{2}}^{2}

(A7)

1 \cdot 2 + 2 \cdot 3 + 3 \cdot 4 + \dots + n (n + 1) = \frac{n (n + 1) (n + 2)}{3}

一般に，このような階段状の積の和は，１次高い階段状の積で表されます．

1 \cdot 2 \cdot 3 + 2 \cdot 3 \cdot 4 + 3 \cdot 4 \cdot 5 + \dots + n (n + 1) (n + 2)

= \frac{n (n + 1) (n + 2) (n + 3)}{4}

1 \cdot 2 \cdot 3 \cdot 4 + 2 \cdot 3 \cdot 4 \cdot 5 + \dots + n (n + 1) (n + 2) (n + 3)

= \frac{n (n + 1) (n + 2) (n + 3) (n + 4)}{5}

(A8)

1 \cdot 2 + 3 \cdot 4 + 5 \cdot 6 + \dots + (2 n - 1) 2 n

= \frac{n (n + 1) (4 n - 1)}{3}

(A9)

(n + 1) (n + 2) (n + 3) \dots (2 n)

= 2^{n} \cdot 1 \cdot 3 \cdot 5 \dots (2 n - 1)

(A10)

1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} \cdot \cdot \cdot - \frac{1}{2 n}

= \frac{1}{n + 1} + \frac{1}{n + 2} + \dots + \frac{1}{2 n}

(A11)

\frac{1}{1 \cdot 2} + \frac{1}{2 \cdot 3} + \frac{1}{3 \cdot 4} + \dots + \frac{1}{n (n + 1)} = \frac{n}{n + 1}

一般に，このような階段状の積の逆数（分数）の和は，次のようになる．

\frac{1}{1 \cdot 2 \cdot 3} + \frac{1}{2 \cdot 3 \cdot 4} + \frac{1}{3 \cdot 4 \cdot 5} + \dots + \frac{1}{n (n + 1) (n + 2)}

= \frac{1}{2} {\frac{1}{2!} - \frac{1}{(n + 1) (n + 2)}}

\frac{1}{1 \cdot 2 \cdot 3 \cdot 4} + \frac{1}{2 \cdot 3 \cdot 4 \cdot 5} + \dots + \frac{1}{n (n + 1) (n + 2) (n + 3)}

= \frac{1}{3} {\frac{1}{3!} - \frac{1}{(n + 1) (n + 2) (n + 3)}}

(A12)

\frac{1}{1 \cdot 3} + \frac{1}{3 \cdot 5} + \frac{1}{5 \cdot 7} + \dots + \frac{1}{(2 n - 1) (2 n + 1)} = \frac{n}{2 n + 1}

(A13)

\frac{1}{2} + \frac{2}{4} + \frac{3}{8} + \dots + \frac{n}{2^{n}} = 2 - \frac{n + 2}{2^{n}}

一般に，x≠1のとき

x + 2 x^{2} + 3 x^{3} + \dots + n x^{n} = \frac{n x^{n + 2} - (n + 1) x^{n + 1} + x}{(x - 1)^{2}}

が成り立つ．
上記は，この式において，

x = \frac{1}{2}

を代入した場合となっている．
他の例として，x=3の場合は

3 + 2 \cdot 3^{2} + 3 \cdot 3^{3} + \dots + n \cdot 3^{n} = \frac{(2 n - 1) \cdot 3^{n + 1} + 3}{4}

となる．
(A14)

\frac{1}{\sqrt{1} + \sqrt{2}} + \frac{1}{\sqrt{2} + \sqrt{3}} + \dots + \frac{1}{\sqrt{n} + \sqrt{n + 1}} = \sqrt{n + 1} - 1

不等式の証明

〇　nが自然数であるとき，次の不等式が成り立つことを証明せよ．
(B1)

1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n} ≧ \frac{2 n}{n + 1}

(B2)

(1 + 2 + 3 + \dots + n) (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n}) ≧ n^{2}

(B3)

2^{n} > n

(B4)

1 + \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} + \dots + \frac{1}{\sqrt{n}} < 2 \sqrt{n}

(B5) a>0, b>0のとき，

\frac{a^{n} + b^{n}}{2} ≧ (\frac{a + b}{2})^{n}

〇　nが２以上の自然数であるとき，次の不等式が成り立つことを証明せよ．
(B6)

\frac{1}{1^{2}} + \frac{1}{2^{2}} + \frac{1}{3^{2}} + \dots + \frac{1}{n^{2}} < 2 - \frac{1}{n}

(B7)

2^{n} > n + 1

(B8)

3^{n} > 2 n + 1

以下の問題も，ほぼ同様に証明できる．
〇　nが３以上の自然数であるとき，次の不等式が成り立つことを証明せよ．

2^{n} > 2 n + 1

3^{n} > 4 n + 10

〇　nが４以上の自然数であるとき，次の不等式が成り立つことを証明せよ．

2^{n} > 3 n

〇　nが５以上の自然数であるとき，次の不等式が成り立つことを証明せよ．
(B9)

2^{n} > n^{2}

〇　nが10以上の自然数であるとき，次の不等式が成り立つことを証明せよ．
(B10)

2^{n} > n^{3}

〇　nが２以上の自然数であるとき，次の不等式が成り立つことを証明せよ．
(B11)

(1 + h)^{n} > 1 + n h

（ただし，h>とする）
(B12)

(1 - h)^{n} > 1 - n h

（ただし，h>とする）

漸化式と数学的帰納法

(C1)
数列

{a_{n}}

を

a_{1} = \frac{3}{4}, a_{n + 1} = 1 - \frac{1}{4 a_{n}} (n = 1, 2, 3, \dots)

で定める．
(1)

a_{2}, a_{3}, a_{4}, a_{5}, a_{6}

を求めよ．また，それにより一般項

a_{n}

を推定せよ．
(2) 数学的帰納法により(1)の一般項の推定が正しいことを証明せよ．（以下略）

（2014年度岐阜大入試問題）

(C2)
数列

{a_{n}}

が

a_{1} = \frac{2}{3}, a_{n + 1} = \frac{2 - a_{n}}{3 - 2 a_{n}} (n = 1, 2, 3, \dots)

を満たしている．次の問いに答えよ．
(1)

a_{2}, a_{3}

を求めよ．
(2) 一般項

a_{n}

を推定し，それが正しいことを数学的帰納法により証明せよ．（以下略）

（2011年度岡山県立大入試問題）

図形問題の証明

(D1)
nが４以上の自然数であるとき，凸n角形の対角線の総数は，

\frac{n (n - 3)}{2}

に等しいことを数学的帰納法で証明せよ．
(D2)
平面上にn本の直線があり，どの２本も平行でなく，どの３本も同一の点を通らないとする．このとき，これらn本の直線によって，平面は

\frac{n^{2} + n + 2}{2}

個の領域に分けられることを数学的帰納法で証明せよ．

降順の証明

(E1) ak>0 (1≦k≦7)のとき，次の不等式が成り立つことを証明せよ．

\frac{a_{1} + a_{2} + a_{3} + \dots + a_{7}}{7} ≧ \sqrt[7]{a_{1} a_{2} a_{3} \dots a_{7}}

(E2) m, nが自然数で，

a_{k} > 0 (1 ≦ k ≦ n)

のとき，次の不等式が成り立つことを証明せよ．

(\frac{a_{1} + a_{2} + a_{3} + \dots + a_{n}}{n})^{m} ≦ \frac{a_{1}^{m} + a_{2}^{m} + a_{3}^{m} + \dots + a_{n}^{m}}{n}

ｐならばｑの証明

(F1) nが自然数，a, bが整数で

(2 + \sqrt{3})^{n} = a + \sqrt{3} b

であるならば，

(2 - \sqrt{3})^{n} = a - \sqrt{3} b

となることを証明せよ．
(F2) nが自然数，a, bが整数で

(3 + 2 \sqrt{2})^{n} = a + \sqrt{2} b

であるならば，

(3 - 2 \sqrt{2})^{n} = a - \sqrt{2} b

となることを証明せよ．

整数問題の証明

≪

n = k - 1, k \to k + 1

の形で証明するもの≫
nが自然数であるとき，次の式の値が整数になることを証明せよ．
(G1)

(3 + 2 \sqrt{2})^{n} + (3 - 2 \sqrt{2})^{n}

(G2)

\frac{(5 + 2 \sqrt{6})^{n} + (5 - 2 \sqrt{6})^{n}}{2}

(G3)

a_{1} = 1, a_{2} = 1, a_{n + 2} = a_{n} + a_{n + 1}

で定義される数列（フィボナッチ数列）の一般項は

a_{n} = \frac{(\frac{1 + \sqrt{5}}{2})^{n} - (\frac{1 - \sqrt{5}}{2})^{n}}{\sqrt{5}}

となることを証明せよ．
≪倍数の証明≫
(G4) すべての自然数nについて，

3^{n} - 2 n + 3

は4の倍数である．このことを，数学的帰納法を用いて示せ．

（2016年度愛知教育大入試問題）

(G5) すべての自然数nについて，

3^{3 n + 1} + 7^{2 n - 1}

は11の倍数である．このことを，数学的帰納法を用いて示せ．

（2016年度愛知教育大入試問題）

(G6) nを自然数とするとき

4 \times 3^{2 n - 1} + 2^{4 n}

は28で割り切れることを示せ．

（2005年度東京女子大入試問題）

(A1)

1 + 2 + 3 + \dots + n = \frac{n (n + 1)}{2}

［証明］
(Ⅰ) n=1のとき，（左辺）=1，（右辺）

= \frac{1 \times 2}{2} = 1

だから(A1)は成立する．
(Ⅱ) n=kのとき(A1)が成り立つと仮定すると，

1 + 2 + 3 + \dots + k = \frac{k (k + 1)}{2}

…(*)
(*)の両辺にk+1を加えると

1 + 2 + 3 + \dots + k + (k + 1) = \frac{k (k + 1)}{2} + (k + 1)

= \frac{k (k + 1) + 2 (k + 1)}{2} = \frac{(k + 1) (k + 2)}{2}

…(**)
(**)はn=k+1のときも(A1)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A1)が成り立つ．

↑等式一覧に戻る

(A2)

1 + 3 + 5 + \dots + (2 n - 1) = n^{2}

［証明］
(Ⅰ) n=1のとき，（左辺）=1，（右辺）=12=1だから(A2)は成立する．
(Ⅱ) n=kのとき(A2)が成り立つと仮定すると，

1 + 3 + 5 + \dots + (2 k - 1) = k^{2}

…(*)
(*)の両辺に2k+1を加えると

1 + 3 + 5 + \dots + (2 k - 1) + (2 k + 1) = k^{2} + (2 k + 1)

= (k + 1)^{2}

…(**)
(**)はn=2k+1のときも(A2)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A2)が成り立つ．

↑等式一覧に戻る

(A3)

1^{2} + 2^{2} + 3^{2} + \dots + n^{2} = \frac{n (n + 1) (2 n + 1)}{6}

［証明］
(Ⅰ) n=1のとき，(左辺)=12=1，
(右辺)

= \frac{1 \times 2 \times 3}{6} = 1

だから(A3)は成立する．
(Ⅱ) n=kのとき(A3)が成り立つと仮定すると，

1^{2} + 2^{2} + 3^{2} + \dots + k^{2} = \frac{k (k + 1) (2 k + 1)}{6}

…(*)
(*)の両辺に

(k + 1)^{2}

を加えると

1^{2} + 2^{2} + 3^{2} + \dots + k^{2} + (k + 1)^{2}

= \frac{k (k + 1) (2 k + 1)}{6} + (k + 1)^{2}

= \frac{k (k + 1) (2 k + 1) + 6 (k + 1)^{2}}{6}

= \frac{(k + 1) {2 k^{2} + k + 6 k + 6}}{6}

= \frac{(k + 1) {2 k^{2} + 7 k + 6}}{6}

= \frac{(k + 1) (k + 2) (2 k + 3)}{6}

= \frac{(k + 1) {(k + 1) + 1} {2 (k + 1) + 1}}{6}

…(**)
(**)はn=k+1のときも(A3)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A3)が成り立つ．

↑等式一覧に戻る

(A4)

1^{2} + 3^{2} + 5^{2} + \dots + (2 n - 1)^{2} = \frac{n (2 n - 1) (2 n + 1)}{3}

［証明］
(Ⅰ) n=1のとき，(左辺)=12=1，
(右辺)

= \frac{1 \times 1 \times 3}{3} = 1

だから(A4)は成立する．
(Ⅱ) n=kのとき(A4)が成り立つと仮定すると，

1^{2} + 3^{2} + 5^{2} + \dots + (2 k - 1)^{2} = \frac{k (2 k - 1) (2 k + 1)}{3}

…(*)
(*)の両辺に

(2 k + 1)^{2}

を加えると

1^{2} + 3^{2} + 5^{2} + \dots + (2 k - 1)^{2} + (2 k + 1)^{2}

= \frac{k (2 k - 1) (2 k + 1)}{3} + (2 k + 1)^{2}

= \frac{k (2 k - 1) (2 k + 1) + 3 (2 k + 1)^{2}}{3}

= \frac{(2 k + 1) {2 k^{2} - k + 6 k + 3}}{3}

= \frac{(2 k + 1) {2 k^{2} + 5 k + 3}}{3}

= \frac{(2 k + 1) (k + 1) (2 k + 3)}{3}

= \frac{(k + 1) {2 (k + 1) - 1} {2 (k + 1) + 1}}{3}

…(**)
(**)はn=k+1のときも(A4)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A4)が成り立つ．

↑等式一覧に戻る

(A5)

1^{2} - 2^{2} + 3^{2} - 4^{2} + \dots - (2 n)^{2} = - n (2 n + 1)

［証明］
(Ⅰ) n=1のとき，(左辺)

= 1^{2} - 2^{2} = - 3

，
　　(右辺)

= - 1 \times 3 = - 3

だから(A5)は成立する．
(Ⅱ) n=kのとき(A5)が成り立つと仮定すると，

1^{2} - 2^{2} + 3^{2} - 4^{2} + \dots - (2 k)^{2} = - k (2 k + 1)

…(*)
(*)の両辺に

(2 k + 1)^{2} - (2 k + 2)^{2}

を加えると

1^{2} - 2^{2} + 3^{2} - 4^{2} + \dots - (2 k)^{2} + (2 k + 1)^{2} - (2 k + 2)^{2}

= - k (2 k + 1) + (2 k + 1)^{2} - (2 k + 2)^{2}

= - 2 k^{2} - k + 4 k^{2} + 4 k + 1 - 4 k^{2} - 8 k - 4

= - 2 k^{2} - 5 k - 3 = - (k + 1) (2 k + 3)

= - 2 k^{2} - 5 k - 3 = - (k + 1) {2 (k + 1) + 1}

…(**)
(**)はn=k+1のときも(A5)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A5)が成り立つ．
　（参考）
(A3)

1^{2} + 2^{2} + 3^{2} + \dots + n^{2} = \frac{n (n + 1) (2 n + 1)}{6}

の結果が使える場合は，(A5)は次のようにして導ける．

1^{2} + 2^{2} + 3^{2} + \dots + (2 n)^{2} = \frac{2 n (2 n + 1) (4 n + 1)}{6}

…(*1)

4 {1^{2} + 2^{2} + 3^{2} + \dots + (n)^{2}} = \frac{4 n (n + 1) (2 n + 1)}{6}

2^{2} + 4^{2} + 6^{2} + \dots + (2 n)^{2} = \frac{4 n (n + 1) (2 n + 1)}{6}

…(*2)
(*1)−2×(*2)　（←偶数番目を2回引く）

1^{2} - 2^{2} + 3^{2} - 4^{2} + \dots - (2 n)^{2}

= \frac{n (2 n + 1) (4 n + 1)}{3} - \frac{4 n (n + 1) (2 n + 1)}{3}

= \frac{n (2 n + 1) (4 n + 1 - 4 n - 4)}{3}

= \frac{n (2 n + 1) (- 3)}{3}

= - n (2 n + 1)

↑等式一覧に戻る

(A6)

1^{3} + 2^{3} + 3^{3} + \dots + n^{3} = {\frac{n (n + 1)}{2}}^{2}

［証明］
(Ⅰ) n=1のとき，(左辺)

= 1^{3} = 1

，
　　(右辺)

= {\frac{1 \times 2}{2}}^{2} = 1

だから(A6)は成立する．
(Ⅱ) n=kのとき(A6)が成り立つと仮定すると，

1^{3} + 2^{3} + 3^{3} + \dots + k^{3} = {\frac{k (k + 1)}{2}}^{2}

…(*)
(*)の両辺に

(k + 1)^{3}

を加えると

1^{3} + 2^{3} + 3^{3} + \dots + k^{3} + (k + 1)^{3}

= {\frac{k (k + 1)}{2}}^{2} + (k + 1)^{3}

= \frac{(k + 1)^{2} {k^{2} + 4 (k + 1)}}{4}

= \frac{(k + 1)^{2} (k^{2} + 4 k + 4)}{4}

= \frac{(k + 1)^{2} (k + 2)^{2}}{4}

= {\frac{(k + 1) (k + 2)}{2}}^{2}

…(**)
(**)はn=k+1のときも(A6)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A6)が成り立つ．

↑等式一覧に戻る

(A7)

1 \cdot 2 + 2 \cdot 3 + 3 \cdot 4 + \dots + n (n + 1) = \frac{n (n + 1) (n + 2)}{3}

［証明］
(Ⅰ) n=1のとき，(左辺)=1·2=2，
　(右辺)

= \frac{1 \times 2 \times 3}{3} = 2

だから(A7)は成立する．
(Ⅱ) n=kのとき(A7)が成り立つと仮定すると，
　

1 \cdot 2 + 2 \cdot 3 + 3 \cdot 4 + \dots + k (k + 1) = \frac{k (k + 1) (k + 2)}{3}

…(*)
(*)の両辺に(k+1)(k+2)を加えると

1 \cdot 2 + 2 \cdot 3 + 3 \cdot 4 + \dots + k (k + 1) + (k + 1) (k + 2)

= \frac{k (k + 1) (k + 2)}{3} + (k + 1) (k + 2)

= \frac{k (k + 1) (k + 2) + 3 (k + 1) (k + 2)}{3}

= \frac{(k + 1) (k + 2) (k + 3)}{3}

= \frac{(k + 1) {(k + 1) + 1} {(k + 1) + 2}}{3}

…(**)
(**)はn=k+1のときも(A7)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A7)が成り立つ．

↑等式一覧に戻る

(A8)

1 \cdot 2 + 3 \cdot 4 + 5 \cdot 6 + \dots + (2 n - 1) 2 n

= \frac{n (n + 1) (4 n - 1)}{3}

［証明］
(Ⅰ) n=1のとき，(左辺)=1·2=2，
(右辺)

= \frac{1 \times 2 \times 3}{3} = 2

だから(A8)は成立する．
(Ⅱ) n=kのとき(A8)が成り立つと仮定すると，

1 \cdot 2 + 3 \cdot 4 + 5 \cdot 6 + \dots + (2 k - 1) 2 k = \frac{k (k + 1) (4 k - 1)}{3}

…(*)
(*)の両辺に

(2 k + 1) (2 k + 2)

を加えると

1 \cdot 2 + 3 \cdot 4 + 5 \cdot 6 + \dots + (2 k - 1) 2 k + (2 k + 1) (2 k + 2)

= \frac{k (k + 1) (4 k - 1)}{3} + (2 k + 1) (2 k + 2)

= \frac{k (k + 1) (4 k - 1) + 6 (2 k + 1) (k + 1)}{3}

= \frac{(k + 1) {4 k^{2} - k + 12 k + 6}}{3}

= \frac{(k + 1) {4 k^{2} + 11 k + 6}}{3}

= \frac{(k + 1) (k + 2) (4 k + 3)}{3}

= \frac{(k + 1) {(k + 1) + 1} {4 (k + 1) - 1}}{3}

…(**)
(**)はn=k+1のときも(A8)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A8)が成り立つ．

↑等式一覧に戻る

(A9)

(n + 1) (n + 2) (n + 3) \dots (2 n)

= 2^{n} \cdot 1 \cdot 3 \cdot 5 \dots (2 n - 1)

［証明］
(Ⅰ) n=1のとき，(左辺)

= (1 + 1) \cdot (1 + 2) = 6

　　(右辺)

= 2^{1} \cdot 1 \cdot 3 = 6

だから(A9)は成立する．
(Ⅱ) n=kのとき(A9)が成り立つと仮定すると，

(k + 1) (k + 2) (k + 3) \dots (2 k)

= 2^{k} \cdot 1 \cdot 3 \cdot 5 \dots (2 k - 1)

…(*)
(*)の両辺に(2k+1)(2k+2)をかけて，(k+1)で割ると

(k + 2) (k + 3) \dots (2 k) (2 k + 1) (2 k + 2)

= 2^{k} \cdot 1 \cdot 3 \cdot 5 \dots (2 k - 1) \cdot \frac{(2 k + 1) (2 k + 2)}{k + 1}

= 2^{k + 1} \cdot 1 \cdot 3 \cdot 5 \dots (2 k - 1) (2 k + 1)

…(**)
(**)はn=k+1のときも(A9)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A9)が成り立つ．

↑等式一覧に戻る

(A10)

1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} \cdot \cdot \cdot - \frac{1}{2 n}

= \frac{1}{n + 1} + \frac{1}{n + 2} + \dots + \frac{1}{2 n}

［証明］
(Ⅰ) n=1のとき，(左辺)

= 1 - \frac{1}{2} = \frac{1}{2}

(右辺)

= \frac{1}{1 + 1} = \frac{1}{2}

だから(A10)は成立する．
(Ⅱ) n=kのとき(A10)が成り立つと仮定すると，

1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} \cdot \cdot \cdot - \frac{1}{2 k}

= \frac{1}{k + 1} + \frac{1}{k + 2} + \dots + \frac{1}{2 k}

…(*)
(*)の両辺に

\frac{1}{2 k + 1} - \frac{1}{2 k + 2}

を加えると

1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} \cdot \cdot \cdot - \frac{1}{2 k} + \frac{1}{2 k + 1} - \frac{1}{2 k + 2}

= \frac{1}{k + 1} + \frac{1}{k + 2} + \dots + \frac{1}{2 k} + \frac{1}{2 k + 1} - \frac{1}{2 k + 2}

= \frac{1}{k + 2} + \dots + \frac{1}{2 k} + \frac{1}{2 k + 1} + {\frac{1}{k + 1} - \frac{1}{2 k + 2}}

= \frac{1}{k + 2} + \dots + \frac{1}{2 k} + \frac{1}{2 k + 1} + \frac{1}{2 k + 2}

…(**)
(**)はn=k+1のときも(A10)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A10)が成り立つ．

↑等式一覧に戻る

(A11)

\frac{1}{1 \cdot 2} + \frac{1}{2 \cdot 3} + \frac{1}{3 \cdot 4} + \dots + \frac{1}{n (n + 1)} = \frac{n}{n + 1}

［証明］
(Ⅰ) n=1のとき，(左辺)

= \frac{1}{2}

　　(右辺)

= \frac{1}{2}

だから(A11)は成立する．
(Ⅱ) n=kのとき(A11)が成り立つと仮定すると，

\frac{1}{1 \cdot 2} + \frac{1}{2 \cdot 3} + \frac{1}{3 \cdot 4} + \dots + \frac{1}{k (k + 1)} = \frac{k}{k + 1}

…(*)
(*)の両辺に

\frac{1}{(k + 1) (k + 2)}

を加えると

\frac{1}{1 \cdot 2} + \frac{1}{2 \cdot 3} + \frac{1}{3 \cdot 4} + \dots + \frac{1}{k (k + 1)} + \frac{1}{(k + 1) (k + 2)}

= \frac{k}{k + 1} + \frac{1}{(k + 1) (k + 2)}

= \frac{k (k + 2) + 1}{(k + 1) (k + 2)} = \frac{(k + 1)^{2}}{(k + 1) (k + 2)} = \frac{k + 1}{k + 2}

…(**)
(**)はn=k+1のときも(A11)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A11)が成り立つ．

↑等式一覧に戻る

(A12)

\frac{1}{1 \cdot 3} + \frac{1}{3 \cdot 5} + \frac{1}{5 \cdot 7} + \dots + \frac{1}{(2 n - 1) (2 n + 1)} = \frac{n}{2 n + 1}

［証明］
(Ⅰ) n=1のとき，(左辺)

= \frac{1}{1 \cdot 3} = \frac{1}{3}

　(右辺)

= \frac{1}{3}

だから(A12)は成立する．
(Ⅱ) n=kのとき(A12)が成り立つと仮定すると，

\frac{1}{1 \cdot 3} + \frac{1}{3 \cdot 5} + \frac{1}{5 \cdot 7} + \dots + \frac{1}{(2 k - 1) (2 k + 1)} = \frac{k}{2 k + 1}

…(*)
(*)の両辺に

\frac{1}{(2 k + 1) (2 k + 3)}

を加えると

\frac{1}{1 \cdot 3} + \frac{1}{3 \cdot 5} + \frac{1}{5 \cdot 7} + \dots + \frac{1}{(2 k - 1) (2 k + 1)} + \frac{1}{(2 k + 1) (2 k + 3)}

= \frac{k}{2 k + 1} + \frac{1}{(2 k + 1) (2 k + 3)}

= \frac{k (2 k + 3) + 1}{(2 k + 1) (2 k + 3)} = \frac{2 k^{2} + 3 k + 1}{(2 k + 1) (2 k + 3)}

= \frac{(2 k + 1) (k + 1)}{(2 k + 1) (2 k + 3)} = \frac{k + 1}{2 k + 3}

…(**)
(**)はn=k+1のときも(A12)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A12)が成り立つ．

↑等式一覧に戻る

(A13)

\frac{1}{2} + \frac{2}{4} + \frac{3}{8} + \dots + \frac{n}{2^{n}} = 2 - \frac{n + 2}{2^{n}}

［証明］
(Ⅰ) n=1のとき，(左辺)

= \frac{1}{2}

　(右辺)

= 2 - \frac{3}{2} = \frac{1}{2}

だから(A13)は成立する．
(Ⅱ) n=kのとき(A13)が成り立つと仮定すると，
　

\frac{1}{2} + \frac{2}{4} + \frac{3}{8} + \dots + \frac{k}{2^{k}} = 2 - \frac{k + 2}{2^{k}}

…(*)
(*)の両辺に

\frac{k + 1}{2^{k + 1}}

を加えると

\frac{1}{2} + \frac{2}{4} + \frac{3}{8} + \dots + \frac{k}{2^{k}} + \frac{k + 1}{2^{k + 1}} = 2 - \frac{k + 2}{2^{k}} + \frac{k + 1}{2^{k + 1}}

= 2 + \frac{- 2 k - 4 + k + 1}{2^{k + 1}} = 2 - \frac{k + 3}{2^{k + 1}}

…(**)
(**)はn=k+1のときも(A13)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A13)が成り立つ．

↑等式一覧に戻る

(A14)

\frac{1}{\sqrt{1} + \sqrt{2}} + \frac{1}{\sqrt{2} + \sqrt{3}} + \dots + \frac{1}{\sqrt{n} + \sqrt{n + 1}} = \sqrt{n + 1} - 1

［証明］
(Ⅰ) n=1のとき，(左辺)

= \frac{1}{\sqrt{1} + \sqrt{2}} = \sqrt{2} - 1

　(右辺)

= \sqrt{2} - 1

だから(A14)は成立する．
(Ⅱ) n=kのとき(A14)が成り立つと仮定すると，
　

\frac{1}{\sqrt{1} + \sqrt{2}} + \frac{1}{\sqrt{2} + \sqrt{3}} + \dots + \frac{1}{\sqrt{n} + \sqrt{n + 1}} = \sqrt{n + 1} - 1

…(*)
(*)の両辺に

\frac{1}{\sqrt{n + 1} + \sqrt{n + 2}}

を加えると

\frac{1}{\sqrt{1} + \sqrt{2}} + \frac{1}{\sqrt{2} + \sqrt{3}} + \dots + \frac{1}{\sqrt{n} + \sqrt{n + 1}} + \frac{1}{\sqrt{n + 1} + \sqrt{n + 2}}

= \sqrt{n + 1} - 1 + \frac{1}{\sqrt{n + 1} + \sqrt{n + 2}}

= \sqrt{n + 1} - 1 + \sqrt{n + 2} - \sqrt{n + 1}

= \sqrt{n + 2} - 1

…(**)
(**)はn=k+1のときも(A14)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(A14)が成り立つ．

↑等式一覧に戻る

(B1)
〇　nが自然数であるとき，

1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n} ≧ \frac{2 n}{n + 1}

［証明］
(Ⅰ) n=1のとき，(左辺)=1
　(右辺)

= \frac{2}{2} = 1

だから(B1)は成立する．
(Ⅱ) n=kのとき(B1)が成り立つと仮定すると，
　

1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k} ≧ \frac{2 k}{k + 1}

…(*)
(*)の両辺に

\frac{1}{k + 1}

を加えると
　

1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k} + \frac{1}{k + 1} ≧ \frac{2 k}{k + 1} + \frac{1}{k + 1} = \frac{2 k + 1}{n + 1}

\overset{(* ?)}{>} \frac{2 (k + 1)}{k + 2}

(*?)は次のように証明できる．

\frac{2 k + 1}{k + 1} - \frac{2 (k + 1)}{k + 2} = \frac{(2 k + 1) (k + 2) - 2 (k + 1)^{2}}{(k + 1) (k + 2)}

= \frac{2 k^{2} + 5 k + 2 - 2 k^{2} - 4 k - 2}{(k + 1) (k + 2)} = \frac{k}{(k + 1) (k + 2)} > 0

したがって

1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k} + \frac{1}{k + 1} ≧ \frac{2 (k + 1)}{k + 2}

…(**)
(**)はn=k+1のときも(B1)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(B1)が成り立つ．

不等式は「左辺を変形しても右辺にはならない」から，(*?)のように「言いたいこと」を設定して，「引き算が正になる」ことを別途示すというスタイルにするとよい．

↑不等式一覧に戻る

(B2)
〇　nが自然数であるとき，

(1 + 2 + 3 + \dots + n) (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n}) ≧ n^{2}

［証明1］
次の証明は，数学的帰納法による証明ではないが，，(B1)の結果を利用すれば，次のように示せる．
　

1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n} \underset{―}{\geq} \frac{2 n}{n + 1}

の両辺に

(1 + 2 + 3 + \dots + n) (> 0)

を掛けると

(1 + 2 + 3 + \dots + n) (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n})

≧ \frac{2 n}{n + 1} (1 + 2 + 3 + \dots + n)

= \frac{2 n}{n + 1} \cdot \frac{n (n + 1)}{2} = n^{2}

1 + 2 + 3 + \dots + n = \frac{n (n + 1)}{2}

のような，教科書に出ている公式は，それ自体の証明が問題である場合を除けば，黙って使える．

［証明2］
次の証明も，数学的帰納法による証明ではないが，スマートに決まる．
（相加平均）≧（相乗平均）の関係から

\frac{1 + 2 + 3 + \dots + n}{n} ≧ \sqrt[n]{n!} (> 0)

\frac{1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n}}{n} ≧ \sqrt[n]{\frac{1}{n!}} (> 0)

両辺とも正であるから，辺々掛けると

\frac{1 + 2 + 3 + \dots + n}{n} \cdot \frac{1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n}}{n} ≧ 1

したがって

(1 + 2 + 3 + \dots + n) (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n}) ≧ n^{2}

ｎ個の場合の相加，相乗の関係は，教科書に書いてないから，黙って使うと少し減点されることがある．

［証明3］
「数学的帰納法を用いて証明せよ」と解き方が指定されている場合は，それに従う他ない．
(Ⅰ) n=1のとき，(左辺)=1×1=1
(右辺)

= 1^{2}

だから(B2)は成立する．
(Ⅱ) n=kのとき(B2)が成り立つと仮定すると，

(1 + 2 + 3 + \dots + k) (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k}) ≧ k^{2}

…(*)
n=k+1の場合を考えると

{1 + 2 + 3 + \dots + k

+ (k + 1)}

\times (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k} + \frac{1}{k + 1})

= (1 + 2 + 3 + \dots + k) (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k})

+ (k + 1)

(1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k})

+ (1 + 2 + 3 + \dots + k)

(\frac{1}{k + 1})

+ (k + 1) (\frac{1}{k + 1})

≧ k^{2}

+ (k + 1)

(1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k})

+ (1 + 2 + 3 + \dots + k)

(\frac{1}{k + 1}) + 1 = A

とおく
ここで，(相加平均)≧(相乗平均)の関係より

(k + 1) (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k}) + (1 + 2 + 3 + \dots + k) (\frac{1}{k + 1})

≧ 2 \sqrt{(k + 1) (1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k}) (1 + 2 + 3 + \dots + k) (\frac{1}{k + 1})}

= 2 \sqrt{(1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k}) (1 + 2 + 3 + \dots + k)}

≧ 2 \sqrt{k^{2}} = 2 k

だから

A ≧ k^{2} + 2 k + 1 = (k + 1)^{2}

…(**)
(**)はn=k+1のときも(B2)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(B2)が成り立つ．

↑不等式一覧に戻る

(B3)
〇　nが自然数であるとき，

2^{n} > n

(Ⅰ) n=1のとき，(左辺)

= 2^{1} = 2

(右辺)=1だから(B3)は成立する．
(Ⅱ) n=k (k≧1)のとき(B3)が成り立つと仮定すると，
　

2^{k} > k

…(*)
(*)の両辺に2をかけると

2^{k + 1} > 2 k \overset{(* ?)}{≧} k + 1

(*?)は次のように示せる．

2 k - (k + 1) = k - 1 ≧ 0

したがって，

2^{k + 1} > k + 1

…(**)
(**)はn=k+1のときも(B3)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(B3)が成り立つ．

↑不等式一覧に戻る

(B4)
〇　nが自然数であるとき，

1 + \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} + \dots + \frac{1}{\sqrt{n}} < 2 \sqrt{n}

(Ⅰ) n=1のとき，(左辺)=1
　(右辺)

= 2 \sqrt{1} = 2

だから(B4)は成立する．
(Ⅱ) n=k (k≧1)のとき(B4)が成り立つと仮定すると，

1 + \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} + \dots + \frac{1}{\sqrt{k}} < 2 \sqrt{k}

…(*)
(*)の両辺に

\frac{1}{\sqrt{k + 1}}

を加えると

1 + \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} + \dots + \frac{1}{\sqrt{k}} + \frac{1}{\sqrt{k + 1}} < 2 \sqrt{k} + \frac{1}{\sqrt{k + 1}}

\overset{(* ?)}{<} 2 \sqrt{k + 1}

(*?)は次のように示せる．

2 \sqrt{k + 1} - 2 \sqrt{k} = \frac{2}{\sqrt{k + 1} + \sqrt{k}} > \frac{2}{\sqrt{k + 1} + \sqrt{k + 1}}

= \frac{1}{\sqrt{k + 1}}

したがって，

2 \sqrt{k + 1} > 2 \sqrt{k} + \frac{1}{\sqrt{k + 1}}

1 + \frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} + \dots + \frac{1}{\sqrt{k}} + \frac{1}{\sqrt{k + 1}} < 2 \sqrt{k + 1}

…(**)
(**)はn=k+1のときも(B4)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(B4)が成り立つ．

↑不等式一覧に戻る

(B5)
〇　nが自然数であるとき，
a>0, b>0のとき，

\frac{a^{n} + b^{n}}{2} ≧ (\frac{a + b}{2})^{n}

(Ⅰ) n=1のとき，(左辺)

= \frac{a + b}{2}

，(右辺)

= \frac{a + b}{2}

だから(B5)は成立する．
(Ⅱ) n=k (k≧1)のとき(B5)が成り立つと仮定すると，
　

\frac{a^{k} + b^{k}}{2}

≧ (\frac{a + b}{2})^{k}

…(*)
(*)の両辺に

\frac{a + b}{2}

をかけると

(\frac{a^{k} + b^{k}}{2}) (\frac{a + b}{2})

≧ (\frac{a + b}{2})^{k + 1}

ここで
　

\frac{a^{k + 1} + b^{k + 1}}{2} \overset{(* ?)}{≧} (\frac{a^{k} + b^{k}}{2}) (\frac{a + b}{2})

≧ (\frac{a + b}{2})^{k + 1}

を証明する．(*?)の部分は

\frac{a^{k + 1} + b^{k + 1}}{2} - (\frac{a^{k} + b^{k}}{2}) (\frac{a + b}{2})

= \frac{1}{4} {2 a^{k + 1} + 2 b^{k + 1} - (a^{k} + b^{k}) (a + b)}

= \frac{1}{4} (2 a^{k + 1} + 2 b^{k + 1} - a^{k + 1} - b^{k + 1} - a^{k} b - a b^{k})

= \frac{1}{4} (a^{k + 1} + b^{k + 1} - a^{k} b - a b^{k})

= \frac{1}{4} {a^{k} (a - b) + b^{k} (b - a)}

= \frac{1}{4} (a^{k} - b^{k}) (a - b) = A

とおく
a≧bのとき，

a - b ≧ 0, a^{k} - b^{k} ≧ 0

だからA≧0
a<bのとき，

a - b < 0, a^{k} - b^{k} < 0

だからA>0
したがって，つねにA≧0…(**)
(**)はn=k+1のときも(B5)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(B5)が成り立つ．

左辺からそろえる証明がほとんどであるが，この問題では右辺からそろえる．考えたらわかる．

↑不等式一覧に戻る

(B6)
〇　nが２以上の自然数であるとき，

\frac{1}{1^{2}} + \frac{1}{2^{2}} + \frac{1}{3^{2}} + \dots + \frac{1}{n^{2}} < 2 - \frac{1}{n}

(Ⅰ) n=2のとき，(左辺)

= \frac{1}{1^{2}} + \frac{1}{2^{2}} = \frac{5}{4}

　(右辺)

= 2 - \frac{1}{2} = \frac{3}{2} = \frac{6}{4}

だから(B6)は成立する．
(Ⅱ) n=k (k≧2)のとき(B6)が成り立つと仮定すると，

\frac{1}{1^{2}} + \frac{1}{2^{2}} + \frac{1}{3^{2}} + \dots + \frac{1}{k^{2}} < 2 - \frac{1}{k}

…(*)

(*)の両辺に

\frac{1}{(k + 1)^{2}}

を加えると

\frac{1}{1^{2}} + \frac{1}{2^{2}} + \frac{1}{3^{2}} + \dots + \frac{1}{k^{2}} + \frac{1}{(k + 1)^{2}} < 2 - \frac{1}{k} + \frac{1}{(k + 1)^{2}}

ここで

2 - \frac{1}{k} + \frac{1}{(k + 1)^{2}} \overset{(* ?)}{<} 2 - \frac{1}{k + 1}

を証明する．

2 - \frac{1}{k + 1} - (2 - \frac{1}{k} + \frac{1}{(k + 1)^{2}})

= \frac{1}{k} - \frac{1}{k + 1} - \frac{1}{(k + 1)^{2}}

= \frac{(k + 1)^{2} - k (k + 1) - k}{k (k + 1)^{2}}

= \frac{k^{2} + 2 k + 1 - k^{2} - k - k}{k (k + 1)^{2}}

= \frac{1}{k (k + 1)^{2}} > 0

(*?)が成立するから

\frac{1}{1^{2}} + \frac{1}{2^{2}} + \frac{1}{3^{2}} + \dots + \frac{1}{k^{2}} + \frac{1}{(k + 1)^{2}} < 2 - \frac{1}{k + 1}

…(**)が成立する．
(**)はn=k+1のときも(B6)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，２以上のすべての自然数nについて(B6)が成り立つ．

↑不等式一覧に戻る

(B7)
〇　nが２以上の自然数であるとき，

2^{n} > n + 1

(Ⅰ) n=2のとき，(左辺)

= 2^{2} = 4

　(右辺)

= 2 + 1 = 3

だから(B7)は成立する．
(Ⅱ) n=k (k≧2)のとき(B7)が成り立つと仮定すると，
　

2^{k} > k + 1

…(*)

(*)の両辺に2をかけると

2^{k + 1} > 2 (k + 1) = 2 k + 2 > k + 2

…(**)が成立する．
(**)はn=k+1のときも(B7)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，２以上のすべての自然数nについて(B7)が成り立つ．

↑不等式一覧に戻る

(B8)
〇　nが２以上の自然数であるとき，

3^{n} > 2 n + 1

(Ⅰ) n=2のとき
　(左辺)

= 3^{2} = 9

　(右辺)

= 2 \times 2 + 1 = 5

だから(B8)は成立する．
(Ⅱ) n=k (k≧2)のとき(B8)が成り立つと仮定すると，
　

3^{k} > 2 k + 1

…(*)

(*)の両辺に3をかけると

3^{k + 1} > 3 (2 k + 1)

ここで

3 (2 k + 1) \overset{(* ?)}{>} 2 (k + 1) + 1

を証明する．

3 (2 k + 1) - {2 (k + 1) + 1} = 6 k + 3 - 2 k - 3

= 4 k > 0

だから(*?)が成り立つ．したがって

3^{k + 1} > 2 (k + 1) + 1

…(**)が成立する．
(**)はn=k+1のときも(B8)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，２以上のすべての自然数nについて(B8)が成り立つ．

↑不等式一覧に戻る

(B9)
〇　nが５以上の自然数であるとき，

2^{n} > n^{2}

(Ⅰ) n=5のとき
　(左辺)

= 2^{5} = 32

　(右辺)

= 5^{2} = 25

だから(B9)は成立する．
(Ⅱ) n=k (k≧5)のとき(B9)が成り立つと仮定すると，
　

2^{k} > k^{2}

…(*)

(*)の両辺に2を掛けると

2^{k + 1} > 2 k^{2}

ここで，

2 k^{2} \overset{(* ?)}{>} (k + 1)^{2}

…を証明する．

2 k^{2} - (k + 1)^{2} = k^{2} - 2 k - 1

= (k - 1)^{2} - 2 ≧ 4^{2} - 2 > 0

　(∵k≧5)
(*?)により，

2^{k + 1} > (k + 1)^{2}

…(**)が成立する．
(**)はn=k+1のときも(B9)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，５以上のすべての自然数nについて(B9)が成り立つ．

↑不等式一覧に戻る

(B10)
〇　nが10以上の自然数であるとき，

2^{n} > n^{3}

(Ⅰ) n=10のとき
　(左辺)

= 2^{10} = 1024

　(右辺)

= 10^{3} = 1000

だから(B10)は成立する．
(Ⅱ) n=k (k≧10)のとき(B10)が成り立つと仮定すると，
　

2^{k} > k^{3}

…(*)

(*)の両辺に2をかけると

2^{k + 1} > 2 k^{3}

ここで，

2 k^{3} \overset{(* ?)}{>} (k + 1)^{3}

を証明する．

2 k^{3} - (k + 1)^{3} = k^{3} - 3 k^{2} - 3 k - 1

f (k) = k^{3} - 3 k^{2} - 3 k - 1

とおくと

f^{'} (k) = 3 k^{2} - 6 k - 3 = 3 (k - 1)^{2} - 6

≧ 3 \times 9^{2} - 6 > 0

　(∵k≧10)
　したがって，f(x)はk≧10において単調増加
また，

f (10) = 10^{3} - 3 \times 10^{2} - 3 \times 10 - 1 = 669 > 0

したがって，k≧10においてf(x)>0…(*?)が成り立つ

※以上は，微分を使った証明であるが，微分をまだ習っていない場合は，次のように示すことができる．

正の数の大小は比によって調べることができる．すなわち，a, b>0のとき，

\frac{b}{a} < 1

ならばa>bであると言える．
２つの正の数

2 k^{3}, (k + 1)^{3} > 0

について

\frac{(k + 1)^{3}}{2 k^{3}} = \frac{1}{2} \times (\frac{k + 1}{k})^{3} = \frac{1}{2} \times (1 + \frac{1}{k})^{3}

において，k≧10のとき，

0 < 1 + \frac{1}{k} ≦ 1 + \frac{1}{10} = \frac{11}{10}

であるから

\frac{(k + 1)^{3}}{2 k^{3}} \underset{―}{\leq} 12 \times \frac{1331}{1000} = \frac{1331}{2000} < 1

(*?)により，

2^{k + 1} > (k + 1)^{3}

…(**)が成立する．
(**)はn=k+1のときも(B10)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，10以上のすべての自然数nについて(B10)が成り立つ．

↑不等式一覧に戻る

(B11)
○　nが２以上の自然数であるとき，

(1 + h)^{n} > 1 + n h

（ただし，h>0とする）

(Ⅰ) n=2のとき
　(左辺)

= (1 + h)^{2} = 1 + 2 h + h^{2}

　(右辺)

= 1 + 2 h

だから(B11)は成立する．
(Ⅱ) n=k (k≧2)のとき(B11)が成り立つと仮定すると，

(1 + h)^{k} > 1 + k h

…(*)

(*)の両辺に

(1 + h)

をかけると

(1 + h)^{k + 1} > (1 + k h) (1 + h) = 1 + (k + 1) h + k h^{2}

> 1 + (k + 1) h

…(**)が成立する．
(**)はn=k+1のときも(B11)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，２以上のすべての自然数nについて(B11)が成り立つ．

↑不等式一覧に戻る

(B12)
○　nが２以上の自然数であるとき，

(1 - h)^{n} > 1 - n h

（ただし，h>0とする）

(Ⅰ) n=2のとき
　(左辺)

= (1 - h)^{2} = 1 - 2 h + h^{2}

　(右辺)

= 1 - 2 h

だから(B12)は成立する．
(Ⅱ) n=k (k≧2)のとき(B12)が成り立つと仮定すると，

(1 - h)^{k} > 1 - k h

…(*)

(*)の両辺に

(1 - h)

をかけると

(1 - h)^{k + 1} > (1 - k h) (1 - h) = 1 - (k + 1) h + k h^{2}

> 1 - (k + 1) h

…(**)が成立する．
(**)はn=k+1のときも(B12)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，２以上のすべての自然数nについて(B12)が成り立つ．

↑不等式一覧に戻る

(C1)
　数列 {an}を

a_{1} = \frac{3}{4}, a_{n + 1} = 1 - \frac{1}{4 a_{n}} (n = 1, 2, 3, \dots)

で定める．
(1)

a_{2}, a_{3}, a_{4}, a_{5}, a_{6}

を求めよ．また，それより一般項anを推定せよ．
(2) 数学的帰納法により(1)の一般項の推定が正しいことを証明せよ．（以下略）

（2014年度岐阜大入試問題）

(1)

n	1	2	3	4	5	6
an	$\frac{3}{4}$	$\frac{4}{6}$	$\frac{5}{8}$	$\frac{6}{10}$	$\frac{7}{12}$	$\frac{8}{14}$

左の表から

a_{n} = \frac{n + 2}{2 n + 2}

…(*1)
と推定する．
(2)
(Ⅰ) n=1のとき，

a_{1} = \frac{1 + 2}{2 \times 2 + 2} = \frac{3}{4}

だから(*1)は成立する．
(Ⅱ) n=kのとき(*1)が成り立つと仮定すると，

a_{k} = \frac{k + 2}{2 k + 2}

…(*)

a_{k + 1} = 1 - \frac{1}{4 \times \frac{k + 2}{2 k + 2}} = 1 - \frac{k + 1}{2 (k + 2)}

= \frac{k + 3}{2 k + 4} = \frac{(k + 1) + 2}{2 (k + 1) + 2}

…(**)が成立する．
(**)はn=k+1のときも(*1)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(*1)が成り立つ．

↑漸化式と数学的帰納法一覧に戻る

(C2)
数列 {an} が

a_{1} = \frac{2}{3}, a_{n + 1} = \frac{2 - a_{n}}{3 - 2 a_{n}} (n = 1, 2, 3, \dots)

を満たしている．次の問いに答えよ．
(1)

a_{2}, a_{3}

を求めよ．
(2) 一般項anを推定し，それが正しいことを数学的帰納法により証明せよ．（以下略）

（2011年度岡山県立大入試問題）

(1)

a_{2} = \frac{2 - a_{1}}{3 - 2 a_{1}} = \frac{2 - \frac{2}{3}}{3 - 2 \times \frac{2}{3}} = \frac{\frac{4}{3}}{\frac{5}{3}} = \frac{4}{5}

a_{3} = \frac{2 - a_{2}}{3 - 2 a_{2}} = \frac{2 - \frac{4}{5}}{3 - 2 \times \frac{4}{5}} = \frac{\frac{6}{5}}{\frac{7}{5}} = \frac{6}{7}

(2)

n	1	2	3
an	$\frac{2}{3}$	$\frac{4}{5}$	$\frac{6}{7}$

左の表から

a_{n} = \frac{2 n}{2 n + 1}

…(*1)
と推定する．
(Ⅰ) n=1のとき，

a_{1} = \frac{2 \times 1}{2 \times 1 + 1} = \frac{2}{3}

だから(*1)は成立する．
(Ⅱ) n=kのとき(*1)が成り立つと仮定すると，

a_{k} = \frac{2 k}{2 k + 1}

…(*)

a_{k + 1} = \frac{\frac{2 k + 2}{2 k + 1}}{\frac{2 k + 3}{2 k + 1}} = \frac{2 k + 2}{2 k + 3} = \frac{2 (k + 1)}{2 (k + 1) + 1}

…(**)
が成立する．
(**)はn=k+1のときも(*1)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(*1)が成り立つ．

↑漸化式と数学的帰納法一覧に戻る

(D1)
　nが４以上の自然数であるとき，凸n角形の対角線の総数は，

\frac{n (n - 3)}{2}

に等しいことを数学的帰納法で証明せよ．

(Ⅰ) n=4のとき，４角形の対角線は２本であるから，

\frac{4 \times (4 - 3)}{2} = 2

に等しい．
(Ⅱ) n=kのとき対角線の総数が

\frac{k (k - 3)}{2}

…(*)
に等しいと仮定する．

　この図形にk+1番目の頂点を追加して，k+1角形にすると
ア）右図の赤実線で示したように，k+1番目の頂点からこれに隣り合わないk−2個の頂点に引いた線分が対角線として増える．
イ）右図の赤破線で示したように，k角形のときに辺に数えていたもの１本がk+1角形では対角線に入る．

以上のア）イ）から，k+1角形の対角線の総数は

\frac{k (k - 3)}{2} + (k - 2) + 1 = \frac{k^{2} - 3 k + 2 k - 4 + 2}{2}

= \frac{k^{2} - k - 2}{2} = \frac{(k + 1) (k - 2)}{2}

= \frac{(k + 1) {(k + 1) - 3}}{2}

…(**)
に等しい．
(**)はn=k+1のときも(*)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，４以上の自然数nについて(*)が成り立つ．

↑図形と数学的帰納法一覧に戻る

組合せを使って求める場合は，n個の頂点を結ぶ線分の総数

_{n} C_{2}

のうちで辺となるものn本を引くと

\frac{n (n - 1)}{2} - n = \frac{n^{2} - n - 2 n}{2} = \frac{n (n - 3)}{2}

となることが分かる．

(D2)
　平面上にn本の直線があり，どの２本も平行でなく，どの３本も同一の点を通らないとする．このとき，これらn本の直線によって，平面は

\frac{n^{2} + n + 2}{2}

個の領域に分けられることを数学的帰納法で証明せよ．

(Ⅰ) n=1のとき，平面は２つの領域に分けられる．

\frac{1^{2} + 1 + 2}{2} = 2

に等しい．
(Ⅱ) n=kのとき

\frac{k^{2} + k + 2}{2}

…(*)
個の領域に分かれると仮定する．

　この図形にk+1本目の直線を追加すると，どの２本も平行でなく，どの３本も同一の点を通らないことにより，初め描かれていたk本の直線と交わる．
　図の赤丸で示したk個の交点がk+1本目の直線上に並ぶから，植木算の考え方により，k+1本目の直線はk+1個の線分や半直線に分かれる．
　そのとき，各々向こう側とこちら側に領域が分かれるから，k+1本目の直線を引くことにより，領域の数はk+1個だけ増える．
　したがって，n=k+1のとき，領域の数は

\frac{k^{2} + k + 2}{2} + (k + 1) = \frac{k^{2} + k + 2 + 2 k + 2}{2}

= \frac{k^{2} + 3 k + 4}{2} = \frac{(k + 1)^{2} + (k + 1) + 2}{2}

…(**)
に等しい．
(**)はn=k+1のときも(*)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(*)が成り立つ．

↑図形と数学的帰納法一覧に戻る

(E1)
　

a_{k} > 0 (1 ≦ k ≦ 7)

のとき，次の不等式が成り立つことを証明せよ．

\frac{a_{1} + a_{2} + a_{3} + \dots + a_{7}}{7} ≧ \sqrt[7]{a_{1} a_{2} a_{3} \dots a_{7}}

※数学的帰納法による証明では，ほとんどの場合，n=1のときなどから初めて，順次多い方に向かって攻めていく論証の形をとる．しかし，n=kのときの関係から１つ多いn=k+1のときの関係を導くのが難しいことがある．このような場合，多い方から降順に攻めてもすべての整数について成り立つことを示せる．

②

\frac{a_{1} + a_{2}}{2} ≧ \sqrt{a_{1} a_{2}}

を変形して
③

\frac{a_{1} + a_{2} + a_{3}}{3} ≧ \sqrt[3]{a_{1} a_{2} a_{3}}

を導くのは難しいが
④

\frac{a_{1} + a_{2} + a_{3} + a_{4}}{4} ≧ \sqrt[4]{a_{1} a_{2} a_{3} a_{4}}

を変形して
③

\frac{a_{1} + a_{2} + a_{3}}{3} ≧ \sqrt[3]{a_{1} a_{2} a_{3}}

を導くのはやさしい．…(A)
また，②から④，④から⑧を導くのも容易である．
②から④は

\frac{a_{1} + a_{2} + a_{3} + a_{4}}{4} = \frac{\frac{a_{1} + a_{2}}{2} + \frac{a_{3} + a_{4}}{2}}{2} ≧ \sqrt{\frac{a_{1} + a_{2}}{2} \cdot \frac{a_{3} + a_{4}}{2}}

≧ \sqrt{\sqrt{a_{1} a_{2}} \cdot \sqrt{a_{3} a_{4}}} = \sqrt[4]{a_{1} a_{2} a_{3} a_{4}}

④から⑧も同様に示せる．
　一般に

n = 2^{m}

個の正の数について（相加平均）≧（相乗平均）の関係を示すことができる．…(B)
　そこで，教科書に掲載されていて，黙って使える②だけを前提として，大きな整数nの場合に（相加平均）≧（相乗平均）の関係を証明するには，適当に大きな

n = 2^{m}

から順に下がってもよい．

(B)については，上に示したので，④→③の場合を例にとって(A)を示してみる．

\frac{a_{1} + a_{2} + a_{3} + a_{4}}{4} ≧ \sqrt[4]{a_{1} a_{2} a_{3} a_{4}}

において，変数

a_{1}, a_{2}, a_{3}, a_{4}, (> 0)

は各々独立した自由な値をとれるから，たまたま，

a_{4} = \frac{a_{1} + a_{2} + a_{3}}{3}

となる場合を考えてみると

\frac{a_{1} + a_{2} + a_{3} + \frac{a_{1} + a_{2} + a_{3}}{3}}{4} ≧ \sqrt[4]{a_{1} a_{2} a_{3} \frac{a_{1} + a_{2} + a_{3}}{3}}

\frac{\frac{4 (a_{1} + a_{2} + a_{3})}{3}}{4} ≧ \sqrt[4]{a_{1} a_{2} a_{3} \frac{a_{1} + a_{2} + a_{3}}{3}}

\frac{a_{1} + a_{2} + a_{3}}{3} ≧ \sqrt[4]{a_{1} a_{2} a_{3} \frac{a_{1} + a_{2} + a_{3}}{3}}

両辺を４乗すると

(\frac{a_{1} + a_{2} + a_{3}}{3})^{4} ≧ a_{1} a_{2} a_{3} \frac{a_{1} + a_{2} + a_{3}}{3}

(\frac{a_{1} + a_{2} + a_{3}}{3})^{3} ≧ a_{1} a_{2} a_{3}

両辺の３乗根をとると

\frac{a_{1} + a_{2} + a_{3}}{3} ≧ \sqrt[3]{a_{1} a_{2} a_{3}}

　本題に戻って，⑧→⑦の場合は

a_{8} = \frac{a_{1} + a_{2} + a_{3} + \dots + a_{7}}{7}

とおいてから，８乗して，7乗根をとると同様に証明できる．
　※ここでは，話を簡単にするためにn=7の場合のみ取り上げたが，一般に与えられた自然数nよりも

p = 2^{m}

が大きくなるような数から降っていくとnに至るのは明らかであるから，どのような自然数nについても成り立つと言える．

↑降順の証明に戻る

(E2)
　m, nが自然数で，ak>0 (1≦k≦n)のとき，次の不等式が成り立つことを証明せよ．

(\frac{a_{1} + a_{2} + a_{3} + \dots + a_{n}}{n})^{m} ≦ \frac{a_{1}^{m} + a_{2}^{m} + a_{3}^{m} + \dots + a_{n}^{m}}{n}

初めにmについての数学的帰納法を用い，次にnについての数学的帰納法を用いると証明しやすい．nについての数学的帰納法は，降順に示すと簡単になる．

　初めに，すべての自然数mについて

(\frac{a_{1} + a_{2}}{2})^{m} ≦ \frac{a_{1}^{m} + a_{2}^{m}}{2}

…(*1)
が成り立つことを証明する．
（Ⅰ）m=1のとき

(\frac{a_{1} + a_{2}}{2})^{1} ≦ \frac{a_{1}^{1} + a_{2}^{1}}{2}

だから，成立する．
（Ⅱ）m=kのとき

(\frac{a_{1} + a_{2}}{2})^{k} ≦ \frac{a_{1}^{k} + a_{2}^{k}}{2}

が成り立つと仮定すれば

(\frac{a_{1} + a_{2}}{2})^{k + 1} ≦ \frac{a_{1}^{k} + a_{2}^{k}}{2} \times \frac{a_{1} + a_{2}}{2}

が成り立つ．ここで

\frac{a_{1}^{k} + a_{2}^{k}}{2} \times \frac{a_{1} + a_{2}}{2} \overset{(* ?)}{≦} \frac{a_{1}^{k + 1} + a_{2}^{k + 1}}{2}

を示す．

\frac{a_{1}^{k + 1} + a_{2}^{k + 1}}{2} - \frac{a_{1}^{k} + a_{2}^{k}}{2} \times \frac{a_{1} + a_{2}}{2}

= \frac{1}{4} (2 a_{1}^{k + 1} + 2 a_{2}^{k + 1} - a_{1}^{k + 1} - a_{2}^{k + 1} - a_{1}^{k} a_{2} - a_{1} a_{2}^{k})

= \frac{1}{4} (a_{1}^{k + 1} + a_{2}^{k + 1} - a_{1}^{k} a_{2} - a_{1} a_{2}^{k})

= \frac{1}{4} {a_{1}^{k} (a_{1} - a_{2}) - a_{2}^{k} (a_{1} - a_{2})}

= \frac{1}{4} (a_{1}^{k} - a_{2}^{k}) (a_{1} - a_{2})

a_{1} ≧ a_{2}

のとき

a_{1}^{k} ≧ a_{2}^{k}

a_{1} < a_{2}

のとき

a_{1}^{k} < a_{2}^{k}

であるから，(*?)が成り立つ．
　したがって

(\frac{a_{1} + a_{2}}{2})^{k + 1} \underset{―}{\leq} \frac{a_{1}^{k + 1} + a_{2}^{k + 1}}{2}

　以上から，数学的帰納法によりすべての自然数mについて，(*1)が成り立つ．

　次に，すべての自然数nについて

(\frac{a_{1} + a_{2} + a_{3} + \dots + a_{n}}{n})^{m} ≦ \frac{a_{1}^{m} + a_{2}^{m} + a_{3}^{m} + \dots + a_{n}^{m}}{n}

…(*2)
が成り立つことを証明する．
（Ⅰ）
n=1のとき
　(左辺)

= a_{1}^{m}

，(右辺)

= a_{1}^{m}

であるから，成立する．
n=2のとき，(*1)により
　

(\frac{a_{1} + a_{2}}{2})^{m} ≦ \frac{a_{1}^{m} + a_{2}^{m}}{2}

が成り立つ．
（Ⅱ）

n = 4

で成り立つことを示す．

(\frac{\frac{a_{1} + a_{2}}{2} + \frac{a_{3} + a_{4}}{2}}{2})^{m} ≦ \frac{(\frac{a_{1} + a_{2}}{2})^{m} + (\frac{a_{3} + a_{4}}{2})^{m}}{2}

≦ \frac{\frac{a_{1}^{m} + a_{2}^{m}}{2} + \frac{a_{3}^{m} + a_{4}^{m}}{2}}{2}

(\frac{a_{1} + a_{2} + a_{3} + a_{4}}{4})^{m} ≦ \frac{a_{1}^{m} + a_{2}^{m} + a_{3}^{m} + a_{4}^{m}}{4}

　同様にすれば，

n = 2^{3}, 2^{4}, \dots, 2^{p}

で成り立つことが言える．

n=4の場合に
　

a_{4} = \frac{a_{1} + a_{2} + a_{3}}{3}

のときを考えると

(\frac{a_{1} + a_{2} + a_{3} + \frac{a_{1} + a_{2} + a_{3}}{3}}{4})^{m} ≦ \frac{a_{1}^{m} + a_{2}^{m} + a_{3}^{m} + (\frac{a_{1} + a_{2} + a_{3}}{3})^{m}}{4}

(\frac{\frac{4 (a_{1} + a_{2} + a_{3})}{3}}{4})^{m} ≦ \frac{a_{1}^{m} + a_{2}^{m} + a_{3}^{m}}{4} + \frac{(\frac{a_{1} + a_{2} + a_{3}}{3})^{m}}{4}

{(\frac{a_{1} + a_{2} + a_{3}}{3})}^{m} ≦ \frac{a_{1}^{m} + a_{2}^{m} + a_{3}^{m}}{4} + \frac{1}{4} \times (\frac{a_{1} + a_{2} + a_{3}}{3})^{m}

右辺の第2項を左辺に移項すると

\frac{3}{4} {(\frac{a_{1} + a_{2} + a_{3}}{3})}^{m} ≦ \frac{a_{1}^{m} + a_{2}^{m} + a_{3}^{m}}{4}

{(\frac{a_{1} + a_{2} + a_{3}}{3})}^{m} ≦ \frac{a_{1}^{m} + a_{2}^{m} + a_{3}^{m}}{3}

　このようにして，n=3のとき，成り立つことが示せる．
　同様にして，kよりも大きな

2^{p}

のときから順次降順に示すことができる．
　以上により，すべての自然数nについて(*2)が成り立つ．

↑降順の証明に戻る

(F1) nが自然数，a, bが整数で

(2 + \sqrt{3})^{n} = a + \sqrt{3} b

であるならば，

(2 - \sqrt{3})^{n} = a - \sqrt{3} b

となることを証明せよ．

「Ａのとき，ＰならばＱ」ということをもう少しシンプルな表現にすると「ＡかつＰならばＱ」と考えればよい．
同様にして，「Ａのとき，Ｐ(k)ならばＱ(k)が成り立つとき，Ｐ(k+1)ならばＱ(k+1)が成り立つことを証明せよ」とは「ＡかつＰ(k)かつＱ(k)かつＰ(k+1)ならばＱ(k+1)が成り立つことを証明せよ」と考えればよい．
要するに，Ｑ(k+1)以外はすべて仮定してＱ(k+1)を証明したらよい．

(Ⅰ) n=1のとき
　

(2 + \sqrt{3})^{1} = 2 + \sqrt{3} \times 1

だから，a=2, b=1
　このとき，

(2 - \sqrt{3})^{1} = 2 - \sqrt{3} \times 1

だから，a=2, b=1だから(F1)は成立する．

(Ⅱ) n=kのとき(F1)が成り立つと仮定すると，
　

(2 + \sqrt{3})^{k} = a + \sqrt{3} b

であるならば，
　

(2 - \sqrt{3})^{k} = a - \sqrt{3} b

…(*)

このとき，

(2 + \sqrt{3})^{k + 1} = (a + \sqrt{3} b) (2 + \sqrt{3})

= (2 a + 3 b) + (a + 2 b) \sqrt{3}

(2 - \sqrt{3})^{k + 1} = (a - \sqrt{3} b) (2 - \sqrt{3})

= (2 a + 3 b) - (a + 2 b) \sqrt{3}

…(**)が成立する．

(**)はn=k+1のときも(F1)が成り立つことを示している．

(Ⅰ)，(Ⅱ)により，すべての自然数nについて(F1)が成り立つ．

↑pならばQの一覧に戻る

(F2) nが自然数，a, bが整数で

(3 + 2 \sqrt{2})^{n} = a + \sqrt{2} b

であるならば，

(3 - 2 \sqrt{2})^{n} = a - \sqrt{2} b

となることを証明せよ．

(Ⅰ)
　n=1のとき，

(3 + 2 \sqrt{2})^{1} = 3 + 2 \sqrt{2}

だから
a=3, b=2
　このとき，

(3 - 2 \sqrt{2})^{1} = 3 - 2 \sqrt{2}

だから，a=3, b=2
だから(F2)は成立する．
(Ⅱ)
　n=kのとき(F2)が成り立つと仮定すると，

(3 + 2 \sqrt{2})^{k} = a + \sqrt{2} b

であるならば，

(3 - 2 \sqrt{2})^{k} = a - \sqrt{2} b

…(*)

このとき，

(3 + 2 \sqrt{2})^{k + 1} = (a + \sqrt{2} b) (3 + 2 \sqrt{2})

= (3 a + 4 b) + (2 a + 3 b) \sqrt{2}

(3 - 2 \sqrt{2})^{k + 1} = (a - \sqrt{2} b) (3 - 2 \sqrt{2})

= (3 a + 4 b) - (2 a + 3 b) \sqrt{2}

…(**)が成立する．
(**)はn=k+1のときも(F2)が成り立つことを示している．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて(F2)が成り立つ．

↑PならばQの一覧に戻る

(G1) nが自然数であるとき，次の式の値が整数になることを証明せよ．

(3 + 2 \sqrt{2})^{n} + (3 - 2 \sqrt{2})^{n}

(Ⅰ) n=1のとき
　

(3 + 2 \sqrt{2})^{1} + (3 - 2 \sqrt{2})^{1} = 6

は整数である．
また，n=2のとき，
　

(3 + 2 \sqrt{2})^{2} + (3 - 2 \sqrt{2})^{2} = 9 + 12 \sqrt{2} + 8 + 9 - 12 \sqrt{2} + 8

=34は整数である．

(Ⅱ) n=k−1, k (k≧2)のとき

以下，簡単のために，

3 + 2 \sqrt{2} = A, 3 - 2 \sqrt{2} = B

とおく．このとき，A+B=6, AB=1である．

A^{k - 1} + B^{k - 1}, A^{k} + B^{k}

が整数であると仮定すると

A^{k + 1} + B^{k + 1} = (A^{k} + B^{k}) (A + B) - (A^{k} B + A B^{k})

= (A^{k} + B^{k}) (A + B) - A B (A^{k - 1} + B^{k - 1})

ここで，

A^{k - 1} + B^{k - 1}, A^{k} + B^{k}

は仮定により整数で，A+B, ABも整数であるから，

A^{k + 1} + B^{k + 1}

も整数になる
(Ⅰ)，(Ⅱ)により，すべての自然数nについて，

(3 + 2 \sqrt{2})^{n} + (3 - 2 \sqrt{2})^{n}

が整数になることが示された．

↑整数問題の一覧に戻る

(G2) nが自然数であるとき，次の式の値が整数になることを証明せよ．

\frac{(5 + 2 \sqrt{6})^{n} + (5 - 2 \sqrt{6})^{n}}{2}

(Ⅰ) n=1のとき，

\frac{(5 + 2 \sqrt{6})^{1} + (5 - 2 \sqrt{6})^{1}}{2} = 5

は整数である．
また，n=2のとき，

\frac{(5 + 2 \sqrt{6})^{2} + (5 - 2 \sqrt{6})^{2}}{2} = 49

は整数である．

(Ⅱ) n=k−1, k (k≧2)のとき

以下，簡単のために，

5 + 2 \sqrt{6} = A, 5 - 2 \sqrt{6} = B

とおく．このとき，A+B=10, AB=1である．

\frac{A^{k - 1} + B^{k - 1}}{2}, \frac{A^{k} + B^{k}}{2}

が整数であると仮定すると

\frac{A^{k + 1} + B^{k + 1}}{2} = \frac{(A^{k} + B^{k}) (A + B) - (A^{k} B + A B^{k})}{2}

= \frac{A^{k} + B^{k}}{2} (A + B) - A B \frac{A^{k - 1} + B^{k - 1}}{2}

ここで，

\frac{A^{k - 1} + B^{k - 1}}{2}, \frac{A^{k} + B^{k}}{2}

は仮定により整数で，A+B, ABも整数であるから，

A^{k + 1} + B^{k + 1}

も整数になる
(Ⅰ)，(Ⅱ)により，すべての自然数nについて，

\frac{(5 + 2 \sqrt{6})^{n} + (5 - 2 \sqrt{6})^{n}}{2}

が整数になることが示された．

↑整数問題の一覧に戻る

(G3)

a_{1} = 1, a_{2} = 1, a_{n + 2} = a_{n} + a_{n + 1}

で定義される数列（フィボナッチ数列）の一般項は

a_{n} = \frac{(\frac{1 + \sqrt{5}}{2})^{n} - (\frac{1 - \sqrt{5}}{2})^{n}}{\sqrt{5}}

となることを証明せよ．

a_{n} = \frac{(\frac{1 + \sqrt{5}}{2})^{n} - (\frac{1 - \sqrt{5}}{2})^{n}}{\sqrt{5}}

が漸化式を満たすことを証明する．
(Ⅰ)
n=1のとき，

a_{1} = \frac{{(\frac{1 + \sqrt{5}}{2})}^{1} - {(\frac{1 - \sqrt{5}}{2})}^{1}}{\sqrt{5}} = \frac{\frac{2 \sqrt{5}}{2}}{\sqrt{5}} = 1

n=2のとき，

a_{2} = \frac{{(\frac{1 + \sqrt{5}}{2})}^{2} - {(\frac{1 - \sqrt{5}}{2})}^{2}}{\sqrt{5}} = \frac{\frac{4 \sqrt{5}}{4}}{\sqrt{5}} = 1

が成り立つ．

(Ⅱ) n=k, k+1 (k≧1)のとき

以下，簡単のために，

\frac{1 + \sqrt{5}}{2} = A, \frac{1 - \sqrt{5}}{2} = B

とおく．このとき，A+B=1, AB=−1である．

a_{k} = \frac{A^{k} - B^{k}}{\sqrt{5}}, a_{k + 1} = \frac{A^{k + 1} - B^{k + 1}}{\sqrt{5}}

が成り立つと仮定する．

A^{k + 2} - B^{k + 2}

= (A^{k + 1} - B^{k + 1}) (A + B) - A B (A^{k} - B^{k})

だから

\frac{A^{k + 2} - B^{k + 2}}{\sqrt{5}}

= \frac{(A^{k + 1} - B^{k + 1})}{\sqrt{5}} (A + B) - A B \frac{(A^{k} - B^{k})}{\sqrt{5}}

ここで，A+B=1, AB=−1だから

\frac{A^{k + 2} - B^{k + 2}}{\sqrt{5}}

= \frac{(A^{k + 1} - B^{k + 1})}{\sqrt{5}} + \frac{(A^{k} - B^{k})}{\sqrt{5}}

したがって

a_{k + 2} = a_{k} + a_{k + 1}

が成り立つ．
(Ⅰ)，(Ⅱ)により，すべての自然数nについて，

a_{n} = \frac{{(\frac{1 + \sqrt{5}}{2})}^{n} - {(\frac{1 - \sqrt{5}}{2})}^{n}}{\sqrt{5}}

が漸化式を満たすことが示された．

↑整数問題の一覧に戻る

(G4) すべての自然数nについて，

3^{n} - 2 n + 3

は4の倍数である．このことを，数学的帰納法を用いて示せ．

（2016年度愛知教育大入試問題）

(Ⅰ) n=1のとき，

3^{1} - 2 + 3 = 4

は4の倍数である．

(Ⅱ) n=kのとき

3^{k} - 2 k + 3 = 4 N

（Nは整数）と仮定する．
このとき，差

{3^{k + 1} - 2 (k + 1) + 3} - {3^{k} - 2 k + 3}

が4の倍数になることを示せばよい．

{3^{k + 1} - 2 (k + 1) + 3} - {3^{k} - 2 k + 3}

= 3^{k} (3 - 1) - 2 = 2 (3^{k} - 1)

ここで，

3^{k}

は奇数だから，

3^{k} - 1

は偶数
したがって，

2 (3^{k} - 1)

は4の倍数．

(Ⅰ)，(Ⅱ)により，すべての自然数nについて，

3^{n} - 2 n + 3

は4の倍数であることが示された．

↑整数問題の一覧に戻る

(G5) すべての自然数nについて，

3^{3 n + 1} + 7^{2 n - 1}

は11の倍数である．このことを，数学的帰納法を用いて示せ．

（2016年度愛知教育大入試問題）

(Ⅰ) n=1のとき，

3^{3 + 1} + 7^{2 - 1} = 81 + 7 = 88

は11の倍数である．

(Ⅱ) n=kのとき

3^{3 k + 1} + 7^{2 k - 1} = 11 N

（Nは整数）と仮定する．
このとき，差

{3^{3 (k + 1) + 1} + 7^{2 (k + 1) - 1}} - {3^{3 k + 1} + 7^{2 k - 1}}

が11の倍数になることを示せばよい．

{3^{3 (k + 1) + 1} + 7^{2 (k + 1) - 1}} - {3^{3 k + 1} + 7^{2 k - 1}}

= 3^{3 k + 1} (3^{3} - 1) + 7^{2 k - 1} (7^{2} - 1)

= 3^{3 k + 1} \times 26 + 7^{2 k - 1} \times 48

= 26 (3^{3 k + 1} + 7^{2 k - 1}) + 7^{2 k - 1} \times 22

= 26 \times 11 N + 7^{2 k - 1} \times 2 \times 11

は11の倍数である．

(Ⅰ)，(Ⅱ)により，すべての自然数nについて，

3^{3 n + 1} + 7^{2 n - 1}

は11の倍数であることが示された．

↑整数問題の一覧に戻る

(G6) nを自然数とするとき

4 \times 3^{2 n - 1} + 2^{4 n}

は28で割り切れることを示せ．

（2005年度東京女子大入試問題）

(Ⅰ) n=1のとき，

4 \times 3^{2 - 1} + 2^{4} = 12 + 16 = 28

は28で割り切れる．

(Ⅱ) n=kのとき

4 \times 3^{2 k - 1} + 2^{4 k} = 28 N

（Nは整数）と仮定する．
このとき，差

{4 \times 3^{2 (k + 1) - 1} + 2^{4 (k + 1)}} - {4 \times 3^{2 k - 1} + 2^{4 k}}

が28の倍数になることを示せばよい．

{4 \times 3^{2 (k + 1) - 1} + 2^{4 (k + 1)}} - {4 \times 3^{2 k - 1} + 2^{4 k}}

= 4 \times 3^{2 k - 1} (9 - 1) + 2^{4 k} (16 - 1)

= 32 \times 3^{2 k - 1} + 15 \times 2^{4 k}

= 28 \times 3^{2 k - 1} + (4 \times 3^{2 k - 1} + 2^{4 k}) + 14 \times 2^{4 k}

= 28 \times 3^{2 k - 1} + 28 N + 28 \times 2^{4 k - 1}

は28の倍数である．

(Ⅰ)，(Ⅱ)により，すべての自然数nについて，

4 \times 3^{2 n - 1} + 2^{4 n}

は28の倍数であることが示された．

↑整数問題の一覧に戻る

...（携帯版）メニューに戻る

...メニューに戻る

笆�縺薙�繧ｵ繧､繝亥�縺ｮGoogle讀懃ｴ｢笆�

笆ｳ縺薙�繝壹�繧ｸ縺ｮ蜈磯�ｭ縺ｫ謌ｻ繧銀無縲� 繧｢繝ｳ繧ｱ繝ｼ繝磯∽ｿ｡縲�
… 縺薙�繧｢繝ｳ繧ｱ繝ｼ繝医�謨呎攝謾ｹ蝟��蜿り�↓縺輔○縺ｦ縺�◆縺�縺阪∪縺�

笆�縺薙�鬆√↓縺､縺�※�瑚憶縺�園�梧が縺�園�碁俣驕輔＞縺ｮ謖�遭�後◎縺ｮ莉悶�諢滓Φ縺後≠繧後�騾∽ｿ｡縺励※縺上□縺輔＞��

笳区枚遶�縺ｮ蠖｢繧偵＠縺ｦ縺�ｋ諢滓Φ縺ｯ蜈ｨ驛ｨ隱ｭ縺ｾ縺帙※繧ゅｉ縺｣縺ｦ縺�∪縺呻ｼ�
笳区─諠ｳ縺ｮ蜀�〒�後←縺ｮ蝠城｡後′縺ｩ縺�〒縺ゅ▲縺溘°繧呈ｭ｣遒ｺ縺ｪ譁�ｫ�縺ｧ莨昴∴縺ｦ縺�◆縺�縺�◆謾ｹ蝟�ｦ∵悍縺ｫ蟇ｾ縺励※縺ｯ�悟庄閭ｽ縺ｪ髯舌ｊ蟇ｾ蠢懊☆繧九ｈ縺�↓縺励※縺�∪縺呻ｼ趣ｼ遺ｻ縺ｪ縺奇ｼ梧判謦�噪縺ｪ譁�ｫ�縺ｫ縺ｪ縺｣縺ｦ縺�ｋ蝣ｴ蜷医��後◎繧後ｒ蜈ｬ髢九☆繧九→遲��□縺代〒縺ｪ縺剰ｪｭ閠�ｂ隱ｭ繧縺薙→縺ｫ縺ｪ繧翫∪縺吶�縺ｧ�梧治逕ｨ縺励∪縺帙ｓ�趣ｼ�

雉ｪ蝠上↓蟇ｾ縺吶ｋ蝗樒ｭ斐�荳ｭ蟄ｦ迚医�縺薙�鬆��碁ｫ俶�｡迚医�縺薙�鬆�縺ｫ縺ゅｊ縺ｾ縺�