数学的帰納法（問題）

...�ｽ蝓溷｣ｰ陝ｶ�ｯ霑夊肩�ｼ蟲ｨﾎ鍋ｹ昜ｹ斟礼ｹ晢ｽｼ邵ｺ�ｫ隰鯉ｽｻ郢ｧ�ｽ

...(�ｽ�ｰ�ｽ�｣霑夲ｿｽ)郢晢ｽ｡郢昜ｹ斟礼ｹ晢ｽｼ邵ｺ�ｫ隰鯉ｽｻ郢ｧ�ｽ
*** 驕倬�蟯ｼ ***
隰ｨ�ｰ遶�ｿｽ郢晢ｽｻ�ｽ�｡隰ｨ�ｰ遶�ｽ｡郢晢ｽｻ�ｽ�｢隰ｨ�ｰ遶�ｽ｢鬯ｮ莨懃ｩ郢晢ｽｻ陞滂ｽｧ陝�ｽｦ陋ｻ譎擾ｽｹ�ｴ陟趣ｽｦ
*** 陷贋ｼ懶ｿｽ ***
陟台ｸ岩�髫ｪ�ｼ隴擾ｿｽ霓､�ｹ邵ｺ�ｨ騾ｶ�ｴ驍ｱ�ｽ陷�ｽ髴�霜�ｷ�｡邵ｺ�ｨ鬯�ｼ懈ｲｺ闕ｳ闃ｽ�ｧ蟶晄悴隰ｨ�ｰ
隰厄ｿｽ辟夐ｫ｢�｢隰ｨ�ｰ陝�ｽｾ隰ｨ�ｰ鬮｢�｢隰ｨ�ｰ陟包ｽｮ陋ｻ�ｽ闕ｳ讎奇ｽｮ螟ゑｽｩ讎奇ｿｽ陞ｳ螟ゑｽｩ讎奇ｿｽ
鬯ｮ菫ｶ�ｬ�｡隴�ｽｹ驕槫唱�ｼ�ｽ隰ｨ�ｰ陋ｻ�ｽ雋搾ｽｸ陋ｹ髢�ｼ荳岩�隰ｨ�ｰ陝�ｽｦ騾ｧ�ｽ�ｸ�ｰ驍剰ざ�ｳ�ｽ
陝ｷ�ｳ鬮ｱ�｢郢晏生縺醍ｹ晏現ﾎ�驕ｨ�ｺ鬮｢阮呻ｿｽ郢ｧ�ｯ郢晏現ﾎ�驕抵ｽｺ驍�ｿｽ�ｽ陝ｶ�ｽ

遯ｶ�ｻ鬯ｮ菫ｶ�ｽ�｡隰ｨ�ｰ陝�ｽｦ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鬯ｮ�ｫ�ｽ�ｶ�ｽ縺､ﾂ鬮ｫ�ｲ陝ｷ�｢�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｴ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�｢鬯ｮ�ｫ�ｽ�ｨ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ

鬯ｮ�ｫ�ｽ�ｨ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｳ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬯ｮ�ｦ�ｽ�ｮ髯ｷ�ｻ�ｽ�ｻ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｩ蟷｢�ｽ�｢髫ｴ蜿門ｾ暦ｿｽ�ｽ�ｽ�｣�ｽ�ｽ�ｽ�ｹ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｸ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｮ鬯ｮ�ｯ�ｽ�ｷ鬮｢�ｧ�ｽ�ｲ�ｽ�ｽ�ｽ�｣�ｽ�ｽ�ｽ�ｯ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｭ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｫ鬯ｮ�ｫ�ｽ�ｰ鬯ｲ�ｽ�ｼ螟ｲ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｻ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ鬯ｯ�ｩ�ｽ�ｫ�ｽ縺､ﾂ鬮ｴ蜿厄ｽｻ繧托ｽｽ�ｽ�ｽ�｡鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｲ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�｢鬯ｩ蟷｢�ｽ�｢髫ｴ雜｣�ｽ�｢�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｳ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｱ鬯ｩ蟷｢�ｽ�｢髫ｴ雜｣�ｽ�｢�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｼ鬯ｩ蟷｢�ｽ�｢髫ｴ諠ｹ�ｼ螟ｲ�ｽ�ｽ�ｽ�｣�ｽ�ｽ�ｽ�ｯ�ｽ�ｽ邵ｺ�､�つ鬩包ｽｶ隰ｫ�ｾ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�｡鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｲ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ
… 鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬯ｮ�ｦ�ｽ�ｮ髯ｷ�ｻ�ｽ�ｻ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�｢鬯ｩ蟷｢�ｽ�｢髫ｴ雜｣�ｽ�｢�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｳ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｱ鬯ｩ蟷｢�ｽ�｢髫ｴ雜｣�ｽ�｢�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｼ鬯ｩ蟷｢�ｽ�｢髫ｴ荳ｻ�ｽ隶捺ｻゑｽｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｮ�ｫ�ｽ�ｰ�ｽ�ｽ�ｽ�ｨ鬮ｯ�ｷ�ｽ�ｻ髯ｷ�ｿ陞滓��ｽ�ｧ�ｽ�ｽ陜呵肩�ｿ�ｽ�ｽ�ｾ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｹ鬯ｮ�ｯ隲幄肩�ｽ�ｻ郢ｧ謇假ｽｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｮ�ｯ�ｽ�ｷ�ｽ�ｽ�ｽ�ｿ鬩幢ｽ｢�ｽ�ｧ髴托ｽｺ�ｽ�ｰ�ｽ縺､ﾂ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬩包ｽｶ闔ｨ竏ｬ�ｱ�ｪ�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ鬯ｮ�ｴ陜捺ｺｷ郢ｭ鬯ｮ�ｮ�ｽ�ｷ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｦ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｫ�ｨ�ｽ�ｳ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬯ｯ�ｮ�ｽ�ｦ�ｽ�ｽ�ｽ�ｪ鬩包ｽｶ隰ｫ�ｾ�ｽ�ｽ�ｽ�ｪ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ

鬯ｮ�ｫ�ｽ�ｨ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬯ｮ�ｦ�ｽ�ｮ髯ｷ�ｻ�ｽ�ｻ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｯ�ｯ�ｽ�ｯ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬩包ｽｶ闔ｨ竏ｬ�ｱ�ｪ�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�､鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬩包ｽｯ�ｽ�ｶ�ｽ�ｽ�ｽ�ｻ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｴ謇假ｽｽ�ｹ髯橸ｽ｢�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｯ諛ｶ�ｽ�ｨ髫ｰ螟ｲ�ｽ�ｵ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬮ｫ�ｴ�ｽ�ｴ�ｽ�ｽ�ｽ�ｧ鬩搾ｽｵ�ｽ�ｺ髫ｶ蜻ｵ�ｶ�｣�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｯ諛ｶ�ｽ�ｨ髫ｰ螟ｲ�ｽ�ｵ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｩ蜍溪酪隰悟私�ｿ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�｣鬯ｯ�ｯ�ｽ�ｩ髫ｰ謔滂ｽ･�ｽ�ｽ�ｽ�ｽ�ｼ鬮ｮ蜈ｷ�ｽ�ｻ�ｽ�ｽ�ｽ�ｼ髫ｶ謐ｺ諷｣�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｮ鬯ｮ�ｫ�ｽ�ｰ髯ｷ�ｴ�ｽ�ｽ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｯ�ｩ陋ｹ�ｽ�ｽ�ｽ�ｽ�ｭ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｯ貅ｷ萓幢ｿｽ�ｨ�ｽ�ｯ鬮｣諛ｶ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｮ鬯ｮ�｣騾ｧ�ｮ陋ｻ�､驍ｵ�ｺ陋幢ｿｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｮ�ｫ�ｽ�ｲ�ｽ�ｽ�ｽ�｢鬮ｮ蛟ｶ�ｼ�ｽ�ｽ�ｳ�ｽ�ｶ�ｽ�ｽ�ｽ�ｦ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ貅ｷ萓幢ｿｽ�ｨ�ｽ�ｯ髫ｴ魃会ｽｽ�ｺ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ鬮ｯ貊灘擠�ｽ�ｯ闔ｨ螟ｲ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｯ�ｯ�ｽ�ｨ�ｽ�ｽ�ｽ�ｾ鬩包ｽｶ隰ｫ�ｾ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�｡鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ�ｷ闔ｨ螟ｲ�ｽ�ｽ�ｽ�ｱ鬩包ｽｯ�ｽ�ｶ�ｽ�ｽ�ｽ�ｻ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮｣蛹�ｽｽ�ｳ髯晢ｽｯ�ｽ�ｩ髯ｷ�ｻ�ｽ�ｳ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬯ｮ�ｴ鬩幢ｿｽ�ｽ�ｲ�ｽ�ｻ�ｽ�ｽ�ｽ�ｼ髫ｶ蜴�ｽｽ�ｸ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ

鬯ｮ�ｫ�ｽ�ｨ�ｽ�ｽ�ｽ�ｳ鬮ｯ蜈ｷ�ｽ�ｹ�ｽ�ｽ�ｽ�ｺ鬮ｫ�ｴ�ｽ�ｫ髯樊ｻ楢��ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｮ鬯ｮ�ｯ雋�ｽｷ驕假ｿｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�｢鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ鬮ｯ蜿･�ｹ�｢�ｽ�ｽ�ｽ�ｵ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｦ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬩搾ｿｽ遘�ｿｽ�ｽ�ｽ�ｫ�ｽ�ｽ�ｽ�｢鬮ｮ蛟ｶ�ｼ�ｽ�ｽ�ｳ�ｽ�ｶ�ｽ�ｽ�ｽ�ｦ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｯ鬯ｮ�ｯ�ｽ�ｷ鬮｣魃会ｽｽ�ｨ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｨ鬯ｯ�ｯ�ｽ�ｩ髯晢ｽｷ�ｽ�｢�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｨ鬯ｯ�ｮ�ｽ�ｫ�ｽ�ｽ�ｽ�ｱ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｭ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｾ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ譎｢�ｽ�ｶ髯ｷ�ｷ�ｽ�ｮ�ｽ縺､ﾂ�ｽ�ｽ�ｽ�ｻ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ鬩幢ｽ｢�ｽ�ｧ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮｢�ｾ�ｽ�･�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�｣鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｦ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬩包ｽｶ隰ｫ�ｾ�ｽ�ｽ�ｽ�ｪ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ�ｷ�ｽ�ｻ�ｽ�ｽ�ｽ�ｻ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｼ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ
鬯ｮ�ｫ�ｽ�ｨ�ｽ�ｽ�ｽ�ｳ鬮ｯ蜈ｷ�ｽ�ｹ�ｽ�ｽ�ｽ�ｺ鬮ｫ�ｨ雋ょ庄ﾂ鬯ｮ�ｫ�ｽ�ｲ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｳ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｮ鬯ｮ�ｯ�ｽ�ｷ�ｽ縺､ﾂ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬩搾ｽｵ�ｽ�ｲ髫ｰ螟ｲ�ｽ�ｵ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬮ｯ貅ｷ萓幢ｿｽ�ｨ�ｽ�ｯ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｮ鬯ｮ�ｯ隲幢ｽｶ�ｽ�ｿ�ｽ�ｽ鬮ｯ諛茨ｽ･�｢�ｽ�ｶ�ｽ�｣�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�｡鬮ｯ貅ｷ萓幢ｿｽ�ｨ�ｽ�ｯ�ｽ縺､ﾂ�ｽ�ｽ�ｽ�ｲ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｩ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬩搾ｽｵ�ｽ�ｲ髯懶ｽ｣�ｽ�､�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ鬩幢ｽ｢�ｽ�ｧ�ｽ�ｽ�ｽ�ｽ髯樊ｻゑｽｽ�｢鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｮ蜈ｷ�ｿ�ｽ�ｽ�ｼ闔ｨ螟ｲ�ｽ�ｽ�ｽ�ｰ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ鬮ｯ�ｷ�ｽ�ｻ鬮｣魃会ｽｽ�ｨ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｭ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�｣鬯ｯ�ｩ陟�瑳�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｺ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｪ鬯ｮ�ｫ�ｽ�ｴ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｫ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｧ鬯ｮ�｣髮具ｽｻ�ｽ�ｽ�ｽ�ｨ鬮ｫ�ｴ隰ｫ�ｾ�ｽ�ｽ�ｽ�ｴ鬩包ｽｶ隰ｫ�ｾ�ｽ�ｽ�ｽ�ｴ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｦ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｫ�ｨ�ｽ�ｳ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｫ�ｨ�ｽ�ｳ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｬ�ｽ�ｽ�ｽ�ｾ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｹ鬯ｮ�ｯ隲幄肩�ｽ�ｻ郢ｧ謇假ｽｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｦ鬩包ｽｶ隰ｫ�ｾ�ｽ�ｽ�ｽ�ｵ鬮ｫ�ｰ雎慕霜�ｪ�ｿ�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｫ鬯ｮ�ｯ隴趣ｽ｢�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｾ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ�ｷ闔ｨ螟ｲ�ｽ�ｽ�ｽ�ｱ鬩包ｽｯ�ｽ�ｶ�ｽ�ｽ�ｽ�ｻ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｯ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｫ�ｰ騾搾ｽｲ�ｽ�ｺ�ｽ�ｷ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ髯橸ｽｯ陷ｻ�ｻ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｪ鬯ｯ�ｯ�ｽ�ｮ�ｽ�ｽ�ｽ�ｯ鬯ｮ�｣闔ｨ�ｽ�ｽ�ｯ闔ｨ螟ｲ�ｽ�ｽ�ｽ�ｽ鬯ｯ蛟�ｽｿ�ｶ�ｽ�ｱ隶厄ｽｸ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｾ鬯ｮ�ｯ雋翫ｑ�ｽ�ｽ�ｽ�｢鬮ｫ�ｲ陝ｶ蟷｢�ｽ�ｲ�ｽ�ｩ�ｽ�ｽ�ｽ�ｽ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ鬮｣蛹�ｽｽ�ｵ髫ｴ雜｣�ｽ�｢�ｽ�ｽ�ｽ�ｽ鬮｢�ｧ�ｽ�ｲ�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬩包ｽｶ闔ｨ竏ｬ�ｱ�ｪ�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ鬮ｯ�ｷ闔ｨ螟ｲ�ｽ�ｽ�ｽ�ｱ鬩包ｽｯ�ｽ�ｶ�ｽ�ｽ�ｽ�ｻ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬩包ｽｶ隰ｫ�ｾ�ｽ�ｽ�ｽ�ｪ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ�ｷ�ｽ�ｻ�ｽ�ｽ�ｽ�ｻ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｼ鬯ｮ�ｮ隲幢ｽｶ�ｽ�ｽ�ｽ�｣�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｼ鬯ｯ�ｩ陋ｹ�ｽ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ邵ｺ�､�つ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｻ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｪ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ讒ｭ�托ｿｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｼ鬮ｫ�ｴ�ｽ�ｴ�ｽ�ｽ�ｽ�ｧ鬮ｯ蜈ｷ�ｽ�ｻ�ｽ�ｽ�ｽ�､鬯ｮ�ｫ�ｽ�ｰ�ｽ�ｽ�ｽ�ｦ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｯ諛�ｽｶ�｣�ｽ�ｽ�ｽ�ｪ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｪ鬯ｮ�ｫ�ｽ�ｴ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｫ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｫ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｪ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�｣鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｦ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬩搾ｿｽ謌溯ｬ先圜�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｴ鬯ｮ�ｯ�ｽ�ｷ�ｽ�ｽ�ｽ�ｷ鬮ｯ蜈ｷ�ｽ�ｹ�ｽ�ｽ�ｽ�ｻ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｯ貅ｷ萓幢ｿｽ�ｨ�ｽ�ｯ鬮｣諛ｶ�ｽ�ｽ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ鬮ｯ貊灘擠�ｽ�ｯ闔ｨ螟ｲ�ｽ�ｽ�ｽ�ｽ髯橸ｽｳ陞｢�ｽ�つ�ｽ�ｦ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｬ鬯ｯ�ｯ�ｽ�ｮ�ｽ�ｽ�ｽ�｢鬮｣蛹�ｽｽ�ｵ髫ｴ謫ｾ�ｽ�ｶ�ｽ�ｽ�ｽ�ｽ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ鬮｣蛹�ｽｽ�ｵ髫ｴ謫ｾ�ｽ�ｶ�ｽ�ｽ�ｽ�ｽ鬯ｯ�ｩ陋ｹ�ｽ�ｽ�ｽ�ｽ�ｲ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ邵ｺ�､�つ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｫ�ｨ�ｽ�ｽ�ｽ�ｽ�ｽ�｡鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮｣豈費ｽｼ螟ｲ�ｽ�ｽ�ｽ�｣鬩搾ｽｵ�ｽ�ｲ髯懶ｽ｣�ｽ�､�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｪ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ�ｷ隰�∞�ｽ�ｽ�ｽ�ｰ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｪ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｭ鬯ｯ�ｮ�ｽ�｢�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ驛｢�ｧ陷ｿ�･隰ｫ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｭ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ�ｽ�ｽ邵ｺ�､�つ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬯ｮ�ｦ�ｽ�ｮ髯ｷ�ｷ�ｽ�ｮ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｫ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｪ鬯ｩ蟷｢�ｽ�｢�ｽ�ｽ�ｽ�ｧ鬯ｩ諤憺●�ｽ�ｽ�ｽ�ｫ鬩包ｽｶ隰ｫ�ｾ�ｽ�ｽ�ｽ�ｪ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ�ｷ�ｽ�ｷ�ｽ�ｽ�ｽ�ｶ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｧ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬮ｫ�ｴ�ｽ�ｴ�ｽ�ｽ�ｽ�ｧ鬮ｮ蜿冶��ｽ�ｽ�ｽ�ｻ鬯ｯ�ｨ�ｽ�ｾ髯具ｽｹ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｨ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ�ｷ闔ｨ螟ｲ�ｽ�ｽ�ｽ�ｱ鬩包ｽｶ隰ｫ�ｾ�ｽ�ｽ�ｽ�ｪ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ譎｢�ｽ�ｶ髯ｷ�ｻ�ｽ�ｻ�ｽ�ｽ�ｽ�ｽ鬯ｮ�ｮ�ｽ�｣�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｮ�ｮ隲幢ｽｶ�ｽ�ｽ�ｽ�｣�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｼ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ

鬯ｯ�ｮ�ｽ�ｮ髣費ｽｨ陞滂ｽｲ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｪ鬯ｮ�ｯ隲幢ｽｶ�ｽ�ｿ�ｽ�ｽ鬮｣蛹�ｽｽ�ｳ髯晢ｽｯ�ｽ�ｩ�ｽ�ｽ�ｽ�ｽ鬯ｮ�ｯ隴趣ｽ｢�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｾ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬮ｯ�ｷ�ｽ�ｷ�ｽ�ｽ�ｽ�ｶ�ｽ�ｽ�ｽ�ｽ鬩搾ｿｽ謌滄け諞ｺ蝙ｳ隰撰ｽｺ隲ｷ�｣�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｭ鬮ｫ�ｴ遶擾ｽｵ髢ｻ�ｸ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｮ�｣陋ｹ�ｽ�ｽ�ｽ�ｽ�ｳ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｭ鬯ｮ�ｯ隴趣ｽ｢�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｦ鬯ｮ�ｴ陞滂ｽｧ�ｽ�｣�ｽ�ｼ髴托ｽｴ�ｽ�ｾ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬯ｮ�ｦ�ｽ�ｮ髯ｷ�ｻ�ｽ�ｻ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｯ�ｯ�ｽ�ｯ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ蠅捺��ｽ�ｿ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｫ鬮｣蜴�ｽｽ�ｫ�ｽ�ｽ�ｽ�ｶ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�｡鬯ｮ�ｴ陞滂ｽｧ�ｽ�｣�ｽ�ｼ髴托ｽｴ�ｽ�ｾ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬯ｮ�ｦ�ｽ�ｮ髯ｷ�ｻ�ｽ�ｻ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｯ�ｯ�ｽ�ｯ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｿ�ｽ�ｽ�ｽ�ｽ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｫ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ鬩幢ｽ｢�ｽ�ｧ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ鬯ｯ蛟ｩ�ｲ�ｻ�ｽ�ｽ�ｽ�ｸ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｾ鬯ｩ謳ｾ�ｽ�ｵ�ｽ�ｽ�ｽ�ｺ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ�ｽ