PC用は別頁
窶サ鬮俶�。謨ー蟄ヲB縺ョ縲梧焚蟄ヲ逧�クー邏肴ウ輔→貍ク蛹門シ上€阪↓縺、縺�※�後%縺ョ繧オ繧、繝医↓縺ッ谺。縺ョ謨呎攝縺後≠繧翫∪縺呻シ�
縺薙�鬆√∈Google繧ШAHOO ! 縺ェ縺ゥ縺ョ讀懃エ「縺九i逶エ謗・譚・縺ヲ縺励∪縺」縺溘�縺ァ縲悟燕謠舌→縺ェ縺」縺ヲ縺�k蜀�ョケ縺悟�縺九i縺ェ縺�€阪→縺�≧蝣エ蜷医d縲後%縺ョ鬆√�蛻�°縺」縺溘′繧ゅ▲縺ィ蠢懃畑蝠城。後r隕九◆縺�€阪→縺�≧蝣エ蜷医��御サ悶�鬆√r隕九※縺上□縺輔>��縲€ 縺檎樟蝨ィ蝨ー縺ァ縺呻シ�
竊�蟶ー邏肴ウ輔→縺ッ�郁ェュ縺ソ迚ゥ��
竊�謨ー蟄ヲ逧�クー邏肴ウ包シ育ュ牙シ擾シ�
竊�謨エ謨ー縺ョ邏ッ荵�(蜈・隧ヲ蝠城。�)
竊�謨ー蟄ヲ逧�クー邏肴ウ包シ井ク咲ュ牙シ擾シ�-迴セ蝨ィ蝨ー
竊�謨ー蟄ヲ逧�クー邏肴ウ包シ亥撫鬘御ク€隕ァ��
竊�貍ク蛹門シ上→荳€闊ャ鬆�シ磯嚴蟾ョ蠖「��
竊�蜷鯉シ育ュ画ッ泌ス「��
荳蛾��俣貍ク蛹門シ上�荳€闊ャ鬆�

■ 数学的帰納法(不等式の証明)

[要点]
 ある不等式(A)が成り立つことを数学的帰納法によって証明するには,次のようにすればよい.
(I) n=1 のとき(A)が成り立つことを証明する
(II) n=k のとき(A)が成り立つことを仮定する
 その仮定を使って
 n=k+1 のとき(A)が成り立つことを証明する

[例題1]
 n3 以上の整数のとき,次の不等式が成り立つことを証明せよ.
2n>2n …(A)
[証明]
(I) n=3 のとき,
 左辺=23=8
 右辺=6
よって,n=3のとき(A)が成り立つ.

(II) n=kk3 )のとき(A)が成立すると仮定すれば,
2k>2k …(B)
(B)の両辺に 2 を掛けると
どこからそんな話が出てくるのか?それは,n=k+1 のときの左辺の形を予想すると,式(B)と ×2 の分だけ違うからである.
2k×2>2k×2
2k+1>4k
次に 4k2(k+1) を比較すると 
4k2(k+1)=2k−2=2(k−1)>0 ( k3 だから)
よって,
2k+1>4k>2(k+1) 
2k+1>2(k+1)
したがって,n=k+1 のときも(A)が成立する.
(I)(II) より, 3 以上のすべての正の整数 n について(A)が成り立つ.
勢い余って「すべての正の整数について成立する」などと書かないように.「 3 以上」だけでしか成り立たないことに注意
[不等式の証明で注意すべき点]
 左辺と右辺が等しくないのが不等式なので,ほとんどの場合左辺を変形していっても右辺にはならない.

において 4k を変形しても 2(k+1) にはならない.
証明したいことは 2k+1>2(k+1) だから,この結論に合うように 4k>2(k+1) を証明すればよい.
 このように,不等式の証明問題では左辺から得られる不等式を変形しているだけでは本来の結論までたどり着かないことが多いので,「結論との間につなぎを入れる」ことが重要である.
 具体的にはのように「差を作って大小比較する」とよい.

 n=k のときと n=k+1 のときを比較すると
 ほとんどの場合「左辺からすり寄って」「右辺を比較する」とできる.
未解決の部分だけ別途証明を付ける.



※この問題では「右辺からすり寄って」「左辺を比較する」やりかたでもできるが少し複雑になる.
(B)の両辺に 2 を加えると
2k+2>2k+2=2(k+1)
次に
2k+1−(2k+2)=2k(2−1)−2=2k−2
ここで k3 だから
2k−28−2=6>0
よって
2k+1>2k+2>2k+2=2(k+1)

[例題2]
 n4 よりも大きい自然数のとき,次の不等式が成り立つことを証明せよ.
2n>n2 …(A)
[証明]
(I) n=5 のとき, (*1)
 左辺=25=32
 右辺=52=25
よって,n=5 のとき(A)が成り立つ.

(II) n=kk5 )のとき(A)が成立すると仮定すれば,
2k>k2 …(B)
(B)の両辺に 2 を掛けると
2k+1>2k2
次に
2k2−(k+1)2
=k2−2k−1
=(k−1)2−2 (*2)
k5 のとき
(k−1)2−214>0 (*3)
よって,n=k+1 のときも(A)が成立する.
(I)(II) より,4 よりも大きい自然数 n について(A)が成り立つ.
(*1) 4 よりも大きい自然数だから n5 以上

(*2) 2次関数の最小値を求めたいのだから,平方完成して頂点の座標を求める.


(II) において次のように書いている答案は零点なので要注意
n=k のとき
2k>k2
n=k+1 のとき
2k+1>(k+1)2
n=k のときも,n=k+1 のときも代入しているだけで何も証明されていない.n=k+1 のときも代入してしまうと,その式が n=k+1 のときに成立することを仮定していることになる.
n=k のときは成立することを仮定しなければならないが,n=k+1 のときは成立することを証明しなければならない.

(*3) k5 という条件を使わなければ (k−1)2−2>0 は示せない.
この範囲外,たとえば k=1 のときは (k−1)2−2=−2<0 となり,証明はできない.

[例題3]
 n2 以上の自然数のとき,次の不等式が成り立つことを証明せよ.

1+ .12n + .13n + ··· + .1nn > .2nn+1nnn …(A)
[証明]
(I) n=2 のとき,
 左辺=1+ .12n = .32n=1.5
 右辺= .42+1nnn =.43n=1.33...
よって,n=2 のとき(A)が成り立つ.

(II) n=kk2 )のとき(A)が成立すると仮定すれば,

1+ .12n + .13n + ··· + .1kn > .2kk+1nnn …(B)
(B)の両辺に .1k+1nnn を加えると
1+ .12n + .13n + ··· + .1kn + .1k+1nnn > .2kk+1nnn + .1k+1nnn = .2k+1k+1nnnn
次に
.2k+1k+1nnnn.2(k+1)k+2nnnnnn
= .1(k+1)(k+2)nnnnnnnnnn { (2k+1)(k+2)−2(k+1)(k+1) }
= .1(k+1)(k+2)nnnnnnnnnn { 2k2+5k+2−(2k2+4k+2) }
= .k(k+1)(k+2)nnnnnnnnnn > 0 (∵ k2
したがって
1+ .12n + .13n + ··· + .1kn + .1k+1nnn > .2k+1k+1nnnn > .2(k+1)k+2nnnnnn
よって,n=k+1 のときも(A)が成立する.
(I)(II) より,2 以上のすべての自然数 n について(A)が成り立つ.

[例題4]
 n2 以上の自然数のとき,次の不等式が成り立つことを証明せよ.
.112nn + .122nn + .132nn + ··· + .1n2nn < 2−.1nn …(A)
[証明]
(I) n=2 のとき,
 左辺=.112nn + .122nn = 1+ .14n = .54n
 右辺=2−.12n = .32n = .64n
よって,n=2 のとき(A)が成り立つ.

(II) n=k ( k2 )のとき(A)が成立すると仮定すれば,
.112nn + .122nn + .132nn + ··· + .1k2nn < 2−.1kn …(B)
(B)の両辺に .1(k+1)2nnnnnn を加えると
.112nn + .122nn + .132nn + ··· + .1k2nn + .1(k+1)2nnnnnn < 2−.1kn + .1(k+1)2nnnnnn
次に
2−.1k+1nnn > 2−.1kn + .1(k+1)2nnnnnn を証明する.
(2−.1k+1nnn )−(2−.1kn + .1(k+1)2nnnnnn )
=−.1k+1nnn + .1kn.1(k+1)2nnnnnn
= .1k(k+1)2nnnnnnn{ -k(k+1)+(k+1)2−k }
= .1k(k+1)2nnnnnnn{ -k2−k+k2+2k+1−k }
= .1k(k+1)2nnnnnnn > 0 (∵ k2
したがって
.112nn + .122nn + .132nn + ··· + .1k2nn + .1(k+1)2nnnnnn < 2−.1kn + .1(k+1)2nnnnnn
< 2−.1k+1nnn
よって,n=k+1 のときも(A)が成立する.
(I)(II) より,2 以上のすべての自然数 n について(A)が成り立つ.

[問題]
 すべての自然数 n について,次の不等式が成り立つことを証明せよ.
4n > 3n …(A)
初めに [ ? ] で示される空欄を1つ選び,続いてその空欄に入る値を下の選択肢から1つ選べ.
合っていれば代入されます.間違っていれば元に戻り,答案の傾向が表示されます.
[証明]
(I) n=1 のとき,
 左辺=[ ? ]
 右辺=[ ? ]
よって,n=1 のとき(A)が成り立つ.

(II) n=k  のとき(A)が成立すると仮定すれば,
4k > 3k …(B)
(B)の両辺に [ ? ] を掛けると
4k+1 > [ ? ] k
次に
[ ? ] k−3(k+1)=9k−3 [ ? ] > 0
 (∵ k[ ? ]
したがって,
4k+1 > 12k > 3(k+1)
よって,n=k+1 のときも(A)が成立する.
(I)(II) より,すべての自然数 n について(A)が成り立つ.
[選択肢]

0 1 2 3 4 5 6 7 8

9 10 11 12 13 14 15


...(携帯版)メニューに戻る

...メニューに戻る


笆�縺薙�繧オ繧、繝亥�縺ョGoogle讀懃エ「笆�

笆ウ縺薙�繝壹�繧ク縺ョ蜈磯�ュ縺ォ謌サ繧銀無
縲� 繧「繝ウ繧ア繝シ繝磯€∽ソ。 縲�
… 縺薙�繧「繝ウ繧ア繝シ繝医�謨呎攝謾ケ蝟��蜿り€�↓縺輔○縺ヲ縺�◆縺�縺阪∪縺�

笆�縺薙�鬆√↓縺、縺�※�瑚憶縺�園�梧が縺�園�碁俣驕輔>縺ョ謖�遭�後◎縺ョ莉悶�諢滓Φ縺後≠繧後�騾∽ソ。縺励※縺上□縺輔>��
笳区枚遶�縺ョ蠖「繧偵@縺ヲ縺�k諢滓Φ縺ッ蜈ィ驛ィ隱ュ縺セ縺帙※繧ゅi縺」縺ヲ縺�∪縺呻シ�
笳区─諠ウ縺ョ蜀�〒�後←縺ョ蝠城。後′縺ゥ縺�〒縺ゅ▲縺溘°繧呈ュ」遒コ縺ェ譁�ォ�縺ァ莨昴∴縺ヲ縺�◆縺�縺�◆謾ケ蝟�ヲ∵悍縺ォ蟇セ縺励※縺ッ�悟庄閭ス縺ェ髯舌j蟇セ蠢懊☆繧九h縺�↓縺励※縺�∪縺呻シ趣シ遺€サ縺ェ縺奇シ梧判謦�噪縺ェ譁�ォ�縺ォ縺ェ縺」縺ヲ縺�k蝣エ蜷医��後◎繧後r蜈ャ髢九☆繧九→遲�€�□縺代〒縺ェ縺剰ェュ閠�b隱ュ繧€縺薙→縺ォ縺ェ繧翫∪縺吶�縺ァ�梧治逕ィ縺励∪縺帙s�趣シ�


雉ェ蝠上↓蟇セ縺吶k蝗樒ュ斐�荳ュ蟄ヲ迚医�縺薙�鬆��碁ォ俶�。迚医�縺薙�鬆�縺ォ縺ゅj縺セ縺�