PC用は別頁
高校数学Ⅰの「不等式」について,このサイトには次の教材があります.
この頁へGoogleやYAHOO ! などの検索から直接来てしまったので前後関係がよく分からないという場合は,他の頁を先に見てください.  が現在地です.
不等式の基本
1次不等式の解き方
連立不等式
絶対値付き不等式
不等式の証明-現在地

=== 不等式の証明 ===

*** 目次 ***(クリックすれば該当項目にジャンプできます)





[1] 大小比較の原則
(1) 実数a, bについて,a<bを証明するには,b−a>0を示せばよい.(※差の符号を調べるとよい)
(解説)
不等式の両辺に同じ数を足してもよい.同じ数を引いてもよい.
そこで,baよりも大きいとは,b−aの符号が正になることによって定義されていると考えるとよい.
cが正の数であっても負の数であっても
b<aならばb+c<a+cが成り立つ.
b<aならばb−c<a−cが成り立つ.
b>aならばb+c>a+cが成り立つ.
b>aならばb−c>a−cが成り立つ.

特に
b>aならばb−a>0が成り立つ.
b−a>0ならばb>aが成り立つ.…(*)
(※移項できると考えてもよい.)

この最後の関係(*)を大小比較の判断に使い,ある数baよりも大きいかどうかを調べることよりも,b−aの符号を調べる方が簡単なので,b−aの符号で調べると考えたらよい.(本当はこれが定義)
【例題1.1】
a<b, c<dのとき,a−d<b−cが成り立つことを証明してください.
(解答)
仮定により
b−a>0, d−c>0
このとき
(b−c)−(a−d)=(b−a)+(d−c)>0
が成り立つ.
したがってa−d<b−cが成り立つ.
【例題1.2】
a<bのとき,a<a+b2が成り立つことを証明してください.
(解答)
仮定よりb−a>0
a+b2a=a+b2a2=ba2>0
ba2=2bab2=ba2>0
したがって

a<a+b2<bが成り立つ
※以下の問題は本来は証明問題ですが,証明の途中経過を画面上で採点するのは難しいので,選択問題にします.

【問題1】 次の不等式について「つねに成立する」「成立するとは限らない」「つねに成立しない」のうちから選んでください.(クリックする)
(1)
a<b, c<dのとき,a+c<b+dが成立するかどうか調べてください.

(2)
a<b, c<dのとき,ac<bdが成立するかどうか調べてください.

この頁の先頭に戻る

[2] 正負の数との積
(1) a<b, c>0のとき
ac<bcが成り立つ
すなわち不等式a<bの両辺に正の数cを掛けても不等号の向きは変わらない

ac<bcが成り立つ
すなわち不等式a<bの両辺を正の数cで割っても不等号の向きは変わらない

(2) a<b, c<0のとき
ac>bcが成り立つ
すなわち不等式a<bの両辺に負の数cを掛けると不等号の向きが逆になる
ac>bcが成り立つ
すなわち不等式a<bの両辺を負の数cで割ると不等号の向きが逆になる

【まとめ】
 注意しなければならないのは,負の数を掛けたり割ったりするときだけです.(3)だけは要注意

正の数や負の数を足しても引いても不等号の向きは変わらない.
(1) a<bのとき(cが正の数であっても負の数であっても)
a+c<b+cが成り立つ
a−c<b−cが成り立つ

(2) a<b, c>0のとき
ac<bcが成り立つ
ac<bcが成り立つ
(3) a<b, c<0のとき
ac>bcが成り立つ
ac>bcが成り立つ
【例題2.1】
0<a<b, 0<c<dのとき,ac<bdが成り立つことを証明してください.
(解答)
a<b0<cだから
ac<bc
c<d0<bだから
bc<bd
ゆえに
ac<bd
※次のような短縮答案でよい.
ac<bc<bd
【例題2.2】
|x|<1, |y|<1, |z|<1のとき,次の不等式が成り立つことを証明してください.
(1) xy+1>x+y
(2) xyz+2>x+y+z
(解答)
(1) 差の符号を調べる
(xy+1)−(x+y)=(x−1)(y−1)
ここで
|x|<1だからx−1<0
|y|<1だからy−1<0
したがって
(x−1)(y−1)>0
ゆえに
xy+1>x+y
(2) 因数分解できない.(1)を2回使って証明する
|xy|<1, |z|<1だから(1)により
(xy)(z)+1>(xy)+(z)
(xy)(z)+2>(xy)+(z)+1…(A)
さらに(1)により
xy+1>x+y…(B)
(A)(B)より
xyz+2>x+y+z
【問題2】 次の不等式について「つねに成立する」「成立するとは限らない」「つねに成立しない」のうちから選んでください.(クリックする)
(1)
0<a<b, 0<c<dのとき,da<cbが成立するかどうか調べてください.

(2)
a, b≧2のとき,次の不等式が成立するかどうか調べてください.
ab>a+b

(3)
a, b, c≧2のとき,次の不等式が成立するかどうか調べてください.
3abc≧4(a+b+c)

この頁の先頭に戻る

[3] 平方完成による絶対不等式の証明
 虚数には大小という考えはないので,不等式に登場するのは原則として実数です.
 実数は2乗すると0以上になるので,次のような平方完成の変形により正負の判断ができます.
 このような不等式は,登場する文字の正負などの条件にかかわらず成立するので「絶対不等式」と呼ばれることがあります.
(1) a2≧0 (等号はa=0のとき)
【例】 文字aのかわりに式が入るもの
a2−2ab+b2=(a−b)2≧0
(等号はa−b=0すなわちa=bのとき)
(2) a2+b2≧0(等号はa=b=0のとき)
【例】文字a, bのかわりに式が入るもの
a2+ab+b2=(a+b2)2+34b20

(等号はa+b2=0,b=0すなわちa=b=0のとき)
(3) a2+(正の数)>0
【例】文字aのかわりに式が入るもの
x2−2x+3=(x−1)2+2>0
【例題3.1】
a2+b2≧2(a+b−1)が成り立つことを証明してください.
(解答)
(左辺)−(右辺)=a2+b2−2(a+b−1)
=(a2−2a+1)+(b2−2b+1)=(a−1)2+(b−1)2≧0
(等号が成立するのはa=b=1のとき)
よって(左辺)≧(右辺)が成立する.(等号はa=b=1のとき)
【例題3.2】
a, b>0のとき1a+1b4a+bが成り立つことを証明してください.
(解答)
(左辺)−(右辺)=1a+1b4a+b
=b(a+b)+a(a+b)4abab(a+b)
=a2+b22abab(a+b)

分母は正,分子は(a−b)2≧0
よって
(左辺)−(右辺)≧0 (等号が成立するのはa=bのとき)
【問題3】 次の不等式について「つねに成立する」「成立するとは限らない」「つねに成立しない」のうちから選んでください.(クリックする)
(1)
x2+1>xが成立するかどうか調べてください.

(2)
a2+b2+c2+ab+bc+ca>0が成立するかどうか調べてください.

(3)
(a2+b2)(c2+d2)≧(ac+bd)2が成立するかどうか調べてください.

この頁の先頭に戻る

[4] n乗比較
x>0のときy=xnのグラフは単調増加関数になっており,
次の(1)(2)のいずれも成り立ちます.
a, b>0のとき
a<b → an<bn…(1)
an<bn → a<b…(2)
 特に(2)式は,2つの正の数の大小関係が調べにくいときに,代わりにn乗したもので比較してよいことを表しています.

【例題4.1】
2つの正の数a, bの相加平均a+b2,相乗平均ab,調和平均11a+1b2=2aba+bの大小を比較してください.
(解答)
相加平均a+b2,相乗平均abは両方とも正の数なので2乗比較できる.
(a+b2)2(ab)2=a2+2ab+b24ab
=a22ab+b24=(ab)240
したがって
a+b2ab
等号はa=bのとき

相乗平均ab,調和平均2aba+bは両方とも正の数なので2乗比較できる.
(ab)2(2aba+b)2=ab(2aba+b)2
=ab(a+b)24a2b2(a+b)2=ab(a22ab+b2)(a+b)2
=ab(ab)2(a+b)20
したがって
ab2aba+b
等号はa=bのとき
結局
a+b2ab2aba+b
等号はいずれもa=bのとき
【例題4.2】
2つの正の数a, b
2乗平均a2+b22と相加平均a+b2
の大小を比較してください.
(解答)
いずれも正の数だから何乗かして比較してよい.根号を取り除くために各々2乗する.
(a2+b22)2(a+b2)2
=a2+b22a2+2ab+b24
=a22ab+b24=(ab)240
したがって
a2+b22a+b2
等号はa=bのとき
【問題4】 次の2数の大小関係を調べてください.(選択肢のうち正しいものをクリック)
(1)
a, b>0のとき a+b2a+bの大小関係を調べてください.
a+b2>a+b a+b2a+b
a+b2<a+b a+b2a+b
(2)
a, b, c>0のとき a+b+c3ab+bc+ca3の大小関係を調べてください.
a+b+c3>ab+bc+ca3 a+b+c3ab+bc+ca3
a+b+c3<ab+bc+ca3 a+b+c3ab+bc+ca3
この頁の先頭に戻る

[5] (相加平均)≧(相乗平均)≧(調和平均)の関係
○登場する文字がすべて正の数のとき,次に示す(相加平均)≧(相乗平均)の関係が成り立ちます.
a, b>0のとき
a+b2ab…(1)
等号はa=bのとき

a, b, c>0のとき
a+b+c3abc3…(2)
等号はa=b=cのとき

a, b, c, d>0のとき
a+b+c+d4abcd4…(3)
等号はa=b=c=dのとき

5文字以上のときも同様にして成り立つ
○これらの公式の証明自体はn乗比較などの方法で行えますが,応用問題では(相加平均)≧(相乗平均)の関係からスタートすると見通しがよくなり,問題によってはしばしば短縮答案が書けます.
(1)の証明は例題4.1にあります.

(3)は(1)の結果を使って証明できます.
a+b+c+d4=a+b2+c+d22ab+cd2
abcd=abcd4
等号はa=b, c=d, ab=cdすなわちa=b=c=dのとき

(2)は(3)から証明できます.
a+b+c+d4abcd4
において
d=a+b+c3
とおくと
a+b+c+a+b+c34abca+b+c34
a+b+c3abca+b+c34
両辺を4乗すると
(a+b+c3)4abca+b+c3
(a+b+c3)3abc
a+b+c3abc3
等号は
a=b=c=a+b+c3
すなわちa=b=c=dのとき

※一般のn文字の(相加平均)≧(相乗平均)の関係の証明も,上記のように2n個から下っていく帰納法で証明できますが,直接的には対数関数が上に凸であることを利用すると速い(ここでは触れない)
【例題5.1】
a, b, c>0のとき(a+b)(b+c)(c+a)≧8abcが成り立つことを証明してください.
(解答)
すべて正の数だから(相加平均)≧(相乗平均)の関係が成り立つ
a+b2ab>0
b+c2bc>0
c+a2ca>0
両辺とも正だから辺々かけても不等号の向きは変わらない
a+b2×b+c2×c+a2abbcca>0
(a+b)(b+c)(c+a)8abc
ゆえに
(a+b)(b+c)(c+a)8abc
等号はa=b=cのとき
【例題5.2】
a, b, c>0のとき1a+1b+1c1ab+1bc+1caが成り立つことを証明してください.
(解答)
すべて正の数だから(相加平均)≧(相乗平均)の関係が成り立つ
1a+1b21a×1b
1b+1c21b×1c
1c+1a21c×1a
辺々加えると
1a+1b+1c1ab+1bc+1ca
等号はa=b=cのとき
【問題5.1】 正しいものを選んでください.(選択肢のうち正しいものをクリック)
(1)
a, b, c>0のとき (a+b+c)(1a+b+1c)と定数4の大小関係を調べてください.
(a+b+c)(1a+b+1c)4
(a+b+c)(1a+b+1c)4
大小関係は決まらない
(2)
a, b, c>0のとき (a+b+c)(ab+bc+ca)kabcを満たす定数kの最大値は
1 2 3 4 6 9
(3)
a, b, c>0のとき a4+b4+c4kabc(a+b+c)を満たす定数kの最大値は
1 2 3 4 6 9

x, y, z>0のときに成り立つ(相加平均)と(調和平均)の関係
x+y+z311x+1y+1z3=31x+1y+1zなども参考にして次の問いに答えてください.
【問題5.2】 正しいものを選んでください.(選択肢のうち正しいものをクリック)
(1)
a, b, c>0のとき 1a+b+1b+c+1c+ak2(a+b+c)を満たす定数kの最大値は
1 2 3 4 6 9
(2)
a, b, cが三角形の3辺の長さを表すとき 1b+ca+1c+ab+1a+bcka+b+cを満たす定数kの最大値は
1 2 3 4 6 9
この頁の先頭に戻る

[6] シュワルツの不等式
○次の不等式をシュワルツの不等式といいます.この不等式は登場する文字が正の数でなくても「実数でありさえすれば成り立ちます」.
(a2+b2)(x2+y2)≧(ax+by)2…(1)

(a2+b2+c2)(x2+y2+z2)≧(ax+by+cz)2…(2)

※この関係は変数がn個×2のときも成り立ちます
(証明)
(1)の2文字×2の場合について示す.(文字数が多いときも同様に証明できる)

ア) (左辺)−(右辺)を変形して平方完成を行う方法

(左辺)−(右辺)
=(a2+b2)(x2+y2)−(ax+by)2
=a2x2+a2y2+b2x2+b2y2−a2x2−2abxy−b2y2
=a2y2+b2x2−2abxy
=(ay−bx)2≧0
楽しくxa=ybのときと言いたいところであるが,この形で書くとa, bが0になるとき分母が0になって困る
そこで,まとめて書く方法を考える

等号が成立するのは,ay=bxのとき

すなわち,a:x=b:yのとき
ただし,左辺のn番目の文字が0のときは,右辺のn番目の文字も0になるものとする.

イ) ベクトルの内積で考える方法

高校数学Bで習うベクトルをつかうと図形的な意味が分かります.

2つのベクトルp=(a,b),q=(x,y)がなす角をθとするとき,これらの内積pqと各々のベクトルp,qの長さp,qとは次の関係を満たす.
pq=∣pqcosθ
これを成分で書くと
ax+by=a2+b2x2+y2cosθ
したがって
a2+b2x2+y2ax+bya2+b2x2+y2
すなわち,内積ax+byは2つのベクトルが同じ向きのとき最大になり,逆向きのとき最小になり,その間の角度のときはその間の値をとる.
だから
(ax+by)2(a2+b2)(x2+y2)
2つのベクトルが同じ向き(または逆向き)のときに等号が成り立つ.
(x, y)=k(a, b)
すなわち,a : x=b : yのとき
ただし,左辺のn番目の文字が0のときは,右辺のn番目の文字も0になるものとする.
【問題6】 正しいものを選んでください.(選択肢のうち正しいものをクリック)
(1)
実数a, b, cについて k(a2+b2+c2)(a+b+c)2を満たす定数kの最小値は
1 2 3 4 6 9
(2)
どんな実数a, b, cについても k(a2+2b2+3c2)(a+2b+3c)2
が成り立つとき,定数kの最小値は
1 2 3 4 6 9
この頁の先頭に戻る

[7] チェビシェフの不等式
○次の不等式をチェビシェフの不等式といいます.この不等式では登場する文字が必ずしも正の数とは限らないことに注意しましょう」.
a≦b, x≦yのとき
a+b2x+y2ax+by2…(1)
等号はa=bまたはx=yのとき

a≦b≦c, x≦y≦zのとき
a+b+c3x+y+z3ax+by+cz3…(2)
等号はa=b=cまたはx=y=zのとき
※文字数がn個×2のときも同様の関係が成り立つ
 この不等式を証明するためには,仮定の使い方を考えることが重要です.
b−a≧0, y−x≧0の形を作るしかない!
(証明)
(1)←
仮定より
b−a≧0, y−x≧0
(右辺)−(左辺)=ax+by2a+b2x+y2
=2(ax+by)(a+b)(x+y)4
=2ax+2byaxaybxby4
=ax+byaybx4
=a(xy)+b(yx)4
=(ba)(yx)40
等号はa=bまたはx=yのとき
(21)←
仮定より
b−a≧0, c−b≧0, y−x≧0, z−y≧0
(右辺)−(左辺)=ax+by+cz3a+b+c3x+y+z3
=3(ax+by+cz)(a+b+c)(x+y+z)9
=19(3ax+3by+3czaxayaz
bxbybzcxcycz)
=19(2ax+2by+2czayaz
bxbzcxcy)
=19{(2axayaz)
+(2bybxbz)
+(2czcxcy)}
=19{a(xy)+a(xz)
+b(yx)+b(yz)
+c(zy)+c(zx)}
=19{(ba)(yx)+(cb)(zy)+(ca)(zx)}
ここでb−a≧0, c−b≧0, c−a≧0, y−x≧0, z−y≧0, z−x≧0だから(右辺)≧(左辺)が成り立つ.
等号はa=b=cまたはx=y=zのとき
【例題7.1】
a, b>0のとき
a2+b22a3+b32a5+b52
が成り立つことを証明してください.
一見,チェビシェフの不等式がそのまま使えそうに見えますが,その前提条件a≦bが満たされておらず,代わりにa, b>0となっていることに注意
仕方がないので,初めから自分で証明する方がよい
(解答)
(右辺)−(左辺)=a5+b52a2+b22a3+b32
=2a5+2b5a5a2b3a3b2b54
=a5+b5a2b3a3b24
=a3(a2b2)+b3(b2a2)4
=(a3b3)(a2b2)4
a>b(>0)のときa2>b2,a3>b3だから
(右辺)>(左辺)
(0<)a≦bのときa2b2,a3b3だから
(右辺)≧(左辺)
いずれの場合も,(右辺)≧(左辺)が成り立つ.(等号はa=bのとき)
【例題7.2】
0<a≦b≦cのとき
(a2+b2+c2)(a3+b3+c3)3(a5+b5+c5)
が成り立つことを証明してください.
大学入試の記述式答案では「高校の教科書に書いてある定理・公式は黙って使ってもよい」「高校の教科書に書いてない定理・公式は黙って使ってはいけない」というのが通常の採点基準でしょう.
チェビシェフの不等式は,ほとんどの教科書に書いてないので,使うときは「証明してから使う」「公式名と公式を書いてから使う」方が無難でしょう.
(解答)
仮定より0<a≦b≦cだから0<a2≦b2≦c2および0<a3≦b3≦c3が成り立つ.

チェビシェフの不等式
p≦q≦r, x≦y≦zのとき
p+q+r3x+y+z3px+qy+rz3
等号はp=q=rまたはx=y=zのとき
において,p=a2, q=b2, r=c2およびx=a3, y=b3, z=c3とおくと
a2+b2+c23a3+b3+c33a5+b5+c53
したがって
(a2+b2+c2)(a3+b3+c3)3(a5+b5+c5)
が成り立つ.
等号は0<a2=b2=c2または0<a3=b3=c3から
a=b=cのとき
【問題7】 正しいものを選んでください.(選択肢のうち正しいものをクリック)
(1)
(0<)a≦b≦cのとき (a+b+c)(a2+b2+c2)(a3+b3+c3)
k(a6+b6+c6)
を満たす定数kの最小値は
1 2 3 4 6 9
(2)
a≦b≦c, x≦2y≦3z, a+b+c=0のとき ax+2by+3czの最小値は
−3 −2 −1 0 1 2 3
(3)
(0<)a≦b≦cのとき,次の不等式のAの箇所に入る式を求めてください
(a+b+c)nA(an+bn+cn)
2 3 2n−1 3n−1 2n 3n

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

...(PC版)メニューに戻る

■このサイト内のGoogle検索■

△このページの先頭に戻る△
【 アンケート送信 】
… このアンケートは教材改善の参考にさせていただきます

この頁について,良い所,悪い所,間違いの指摘,その他の感想があれば送信してください.
○文章の形をしている感想は全部読ませてもらっています.
○感想の内で,どの問題がどうであったかを正確な文章で伝えていただいた改善要望に対しては,可能な限り対応するようにしています.(※なお,攻撃的な文章になっている場合は,それを公開すると筆者だけでなく読者も読むことになりますので,採用しません.)


質問に対する回答の中学版はこの頁,高校版はこの頁にあります