数学II 第1章式と証明 — 不等式の証明

この節の練習問題12問だけをまとめて見る・印刷する →

不等式の証明の基本

数学Ⅱにおける不等式の性質

FTEXT 数学Iで学んだように，2つの実数 $， a，b$ の間には

$a>b, a=b, a < b$

のうち，いずれか1つの関係が成り立ち，特に不等式には次のような性質があった．

定理1不等式の性質

すべての実数 $c$ で $a < b$ $\Leftrightarrow a+c < b+c, a-c < b-c$
$0 < c$ のとき $a < b$ $\Leftrightarrow ac < bc, a/c < b/c$
$c < 0$ のとき $a < b$ $逆向き！ \Leftrightarrow ac>bc, a/c > b/c \leftarrow逆向き！$

不等式の証明の基本について

不等式 $A > B$ を証明するには， $A$ がだんだん小さくなるように変形していって，それでもなお $B$ より大きいことを示せばよい．たとえば， $\sqrt(x⁴+2x²+2)>x²+1$ を示すには

\begin{eqnarray} \text{（左辺）}&=&\sqrt{x^4+2x^2+2}\

　　　　　　　&\gt&\sqrt{x^4+2x^2+1}　　　　　　　← 根号の中の値が1だけ小さくなっている\

　　　　　&=&\sqrt{(x^2+1)^2}\

　　　　　&=&x^2+1=\text{（右辺）} \end{eqnarray}

とすればよい．

しかし，一般には $A > B$ と同値である $A - B > 0$ を示すことの方が簡単なことが多い．そのため，このテキストでも適宜 $A - B > 0$ を示す方法を利用する．

定理2不等式の証明

不等式 $A > B$ を証明するには，それと同値の内容である， $A - B > 0$ を示せばよい．

なお $A>B\Rightarrow A≧B$ であるため， $A≧B$ を証明するには $A>B$ をいえば十分である．

問題1不等式の証明-その1-

次の不等式を証明せよ．

$， a > 1，b > 1$ ならば， $ab + 1 > a + b$
$， a > c，b > d$ ならば， $ab + cd > ad + bc$

解答を見る

（左辺） $-$ （右辺）を計算すると

$ab+1-(a+b) =a(b-1)-(b-1) =(a-1)(b-1)$

$， a > 1，b > 1$ より， $， a - 1 > 0，b - 1 > 0$ だから， $(a - 1)(b - 1) > 0$ が成り立つ．

以上より， $ab + 1 > a + b$ が証明された．
（左辺） $-$ （右辺）を計算すると

$(ab+cd)-(ad+bc) =a(b-d)-c(b-d) =(a-c)(b-d)$

$， a > c，b > d$ より， $， a - c > 0，b - d > 0$ だから， $(a - c)(b - d) > 0$ が成り立つ．

以上より， $ab + cd > ad + bc$ が証明された．

平方による比較

$a > 0$ かつ $b > 0$ のとき， $a + b > 0$ で

$a²-b²=(a+b)(a-b)$

であるから， $a - b$ の符号と $a² - b²$ の符号は同じものになり次のことがいえる．

定理3平方による比較

$a≧0$ かつ $b≧0$ のとき

$a>b \Leftrightarrow a²>b²$

が成り立つ.

このことから，2つの数 $， a，b$ がともに $0$ 以上のときには， $a > b$ が成り立つことを証明する代わりに， $a² > b²$ が成り立つことを証明すればよいことがわかる．この論法は，次の例題でみるように，根号を含む不等式の変形の際に活躍する．

問題2平方による比較

次の不等式を証明せよ．等号のあるものについては，等号が成り立つ場合を調べよ．

$a > 0$ かつ $b > 0$ のとき $\sqrta+\sqrtb>\sqrt(a+b)$ を証明せよ．
$a≧0$ かつ $b≧0$ のとき， $3\sqrta+2\sqrtb≧\sqrt(9a+4b)$ を証明せよ．

解答を見る

$， \sqrta+\sqrtb (>0)≧0，\sqrt(a+b) (>0)≧0$ なので，（左辺) $² >$ （右辺) $²$ を示せばよい．

平方による比較

（左辺) $² -$ （右辺) $²$

\begin{eqnarray} &=&a+2\sqrt{ab}+b-(a+b)\ &=&2\sqrt{ab}>0 \end{eqnarray}

よって，（左辺） $>$ （右辺）が証明された．
$， 3\sqrta+2\sqrtb≧0，\sqrt(9a+4b)≧0$ なので，

（左辺) $²≧$ （右辺) $²$ を示せばよい．

平方による比較

（左辺) $² -$ （右辺) $²$

$=(3\sqrta+2\sqrtb )²-(\sqrt(9a+4b) )² =9a+12\sqrtab+4b-(9a+4b) =12\sqrtab≧0$

（左辺） $≧$ （右辺）が証明された．

特に，等号が成立するのは， $12\sqrtab=0$ ，すなわち $a = 0$ または $b = 0$ のときである．

さきほども述べたように，不等式 $A≧ B$ を証明する基本は，それと同値の内容の $A-B≧0$ を証明することである．ある値が $0$ 以上になることをいうには，一般にはいろいろな方法があるが，次の節から扱う有名な不等式を利用することが多い．

実数の平方

実数の平方について

不等式の性質より， $a > 0$ のとき $， a² > 0，a < 0$ のとき $a² > 0$ である．また， $a = 0$ のときは $a² = 0$ であるから，次の不等式が成り立つ．

定理4実数の平方

$a$ が実数のとき， $a² ≧ 0$ が成り立つ．等号が成り立つのは $a = 0$ のときに限る．

この性質は，2次関数などですでに何度も使われているが，ここであらためて確認しておく．

問題3実数の平方を利用した不定式の証明

次の不等式を証明せよ．等号のあるものについては，等号が成り立つ場合を調べよ．

$(x+y)²-2xy ≧ x²-y²$
$x³ > y³$ のとき， $x > y$
$x ≧ y ≧ 0$ のとき， $\sqrtx+\sqrty≦ \sqrt2(x+y)$

解答を見る

（左辺） $-$ （右辺）を計算すると

（左辺） $-$ （右辺） \begin{eqnarray} &=&(x+y)^2-2xy-(x^2-y^2)\ &=&(x^2+y^2+2xy)-2xy-x^2+y^2\ &=&2y^2\geqq 0 \end{eqnarray} $（注）$ 実数の平方

より，（左辺） $≧$ （右辺）である．

また，等号が成立するのは， $2y² = 0$ ，すなわち $y = 0$ のときである．
条件式の（左辺） $-$ （右辺）を計算すると

$x³-y³>0 \Leftrightarrow (x-y)(x²+xy+y²)>0 \Leftrightarrow (x-y){(x+y/2)²-y²/4+y²} >0$

平方完成をした

$\Leftrightarrow (x-y){(x+y/2)²+3y²/4} >0$

$①$

$(x+y/2)²+3y²/4≧0$ であるが， $(x+y/2)²+3y²/4=0$ のときは， $①$ が成り立たないので， $(x+y/2)²+3y²/4>0$ である．

実数の平方

よって， $①$ より $x - y > 0$ ，すなわち $x > y$ ．
（右辺） $≧0$ ，（左辺） $≧0$ なので，（右辺) $² -$ （左辺）) $²≧0$ を証明すればよい．

（右辺) $² -$ （左辺) $²=(\sqrt2(x+y) )²-(\sqrtx+\sqrty )²$

$=2(x+y)-(x+2\sqrtxy+y) =x+y-2\sqrtxy =(\sqrtx-\sqrty )²≧0$

であるので，（右辺) $²≧$ （左辺) $²$ であり，（右辺） $≧$ （左辺）である．

また，等号が成立するのは， $\sqrtx-\sqrty=0$ ，すなわち $x = y$ のときである．

相加平均と相乗平均

相加平均とは何か

日常では，たとえば数学のテストが60点，英語のテストが80点だったとすると，足して2で割る，すなわち次の計算

$(60+80)/2=70$

によって平均点を出す．

また，3教科の場合，たとえば数学のテストが60点，英語のテストが80点，国語のテストが40点だったとすると

$(60+80+40)/3=60$

という計算によって，平均点60点を出す．

このような，平均のとり方を相加平均といい，一般には次のようにまとめられる．

定理5相加平均

$n$ 個の $0$ 以上の数 $a1, a2, \dots, an$ において

$(a1+a2+\dots+an)/n$

を, $a1, a2, \dots, an$ の相加平均（arithmetic mean）という．

特に， $n = 2$ のとき $(a1+a2)/2$ であり， $n = 3$ のとき $(a1+a2+a3)/3$ である．

問題4相加平均

次の値の相加平均を求めよ．

$24,56$
$1/2,1/3$
$3/2,1/3,5/4$
$1,\sqrt3,\sqrt2/3$

解答を見る

$(24+56)/2=80/2=40$
$(1/2+1/3)/2=(5/6)/2=5/12$
$(3/2+1/3+5/4)/3=((18+4+15)/12)/3$ $=(37/12)/3=37/36$
$1+\sqrt3+\sqrt2/3=(3+3\sqrt3+\sqrt2)/3$ より、 $(3+3\sqrt3+\sqrt2)/9$

数学での平均の考え方

「平均」とは「平たいらに均ならす」ということであるが，数学では次のように定義する．

定義6平均の定義

2つの数 $， a1，a2$ において

$a1$ と $a2$ を使った計算で求められるものであり
必ず $a1$ と $a2$ の間の数として求められるもの

を $， a1，a2$ の平均（mean）という．

たとえば， $， a1，a2$ を $0≦ a1≦a2$ を満たす数として，その相加平均 $(a1+a2)/2$ を考えると， 不等式の性質より

$a1+a1≦ a1+a2 , a1+a2≦ a2+a2$

が成り立つので

$a1+a1≦ a1+a2≦ a2+a2 \Leftrightarrow (a1+a1)/2≦(a1+a2)/2≦(a2+a2)/2 \Leftrightarrow a1≦(a1+a2)/2≦ a2$

つまり， $a1$ と $a2$ の相加平均 $(a1+a2)/2$ は，それら2つの数の間にあることが示され，数学で使う平均であることがわかる．

3つ以上の数についての平均は

それら3つ以上の数を使った計算で求められるものであり
必ずそれらのうちの最も大きいものと最も小さいものの間の数として求められるもの

として考える．

相乗平均とは何か

2つの $0$ 以上の数 $， a1，a2$ について， $a1$ と $a2$ をかけて平方根をとった値，すなわち $\sqrta1a2$ は， $a1$ と $a2$ の平均になっている．以下でそのことを確かめてみよう．

$， a1，a2$ を $0≦ a1≦ a2$ を満たす数とすると，不等式の性質より

$a1・ a1≦ a1・ a2 , a1・ a2≦ a2・ a2$

が成り立つので

$a1・ a1≦ a1・ a2≦ a2・ a2 ∴\sqrta1²≦\sqrta1a2≦\sqrta2² ∴a1≦\sqrta1a2≦ a2$ 　　　　　　← 平方による比較

となり， $\sqrta1a2$ は $a1$ と $a2$ の平均になっているのがわかる．

このような平均のとり方を相乗平均という．

3つの正の数 $，， a1，a2，a3$ の場合の相乗平均は， $\sqrt[3]a1a2a3$ となる．ここで， $\sqrt[3]a$ は $a$ の3乗根といい，3乗すると $a$ となる数を表す．一般の $n$ 乗根については累乗根を参照のこと．

相乗平均について，一般には次のようにまとめられる．

定理7相乗平均

$n$ 個の $0$ 以上の数 $a1, a2, \dots, an$ において

$\sqrt[n]a1a2\dots an$

を， $a1, a2, \dots, an$ の相乗平均（geometric mean）という．

特に， $n = 2$ のとき $\sqrta1a2$ であり， $n = 3$ のとき $\sqrt[3]a1a2a3$ である．

問題5相乗平均

次の値の相乗平均を求めよ．

$2 , 8$
$1 , 3 , 9$

解答を見る

$\sqrt(2・ 8)=\sqrt16=4$
$\sqrt[3]1・ 3・ 9=\sqrt[3]27=3$

相加平均と相乗平均の関係

$n = 2$ のときの相加平均と相乗平均の式は，それぞれ

$(a1+a2)/2 , \sqrta1a2$

である．

いま， $(a1+a2)/2-\sqrta1a2$ を計算していくと

$(a1+a2)/2-\sqrta1a2 =(a1-2\sqrta1a2+a2)/2 =1/2(\sqrta1-\sqrta2 )²≧0$

より

$(a1+a2)/2≧\sqrta1a2$

すなわち，相加平均は相乗平均以上であることがわかる．

一般には次のような関係が成り立つ．

定理8相加平均と相乗平均の関係

$n$ 個の $0$ 以上の数 $a1, a2, \dots, an$ において，相加平均 $(a1+a2+\dots+an)/n$ と相乗平均 $\sqrt[n]a1a2\dots an$ の間には，次のような関係が成り立つ．

$(a1+a2+\dots+an)/n≧\sqrt[n]a1a2\dots an$

等号が成立するのは， $a1=a2=\dots=an$ のときである．

特に， $n = 2$ のときは

$(a1+a2)/2≧\sqrta1a2$ 　　　

（等号成立は $a1=a2$ ,）

であり， $n = 3$ のときは

$(a1+a2+a3)/3≧\sqrt[3]a1a2a3$ 　　　

（等号成立は $a1=a2=a3$ ,）

である．

暗記13文字の場合の相加平均と相乗平均の関係の証明

等式

\begin{eqnarray} &&x^3+y^3+z^3-3xyz\ &=&(x+y+z)(x^2+y^2+z^2\ &&\qquad\qquad\qquad-xy-yz-zx) \end{eqnarray}

$①$

が成り立つことを利用して， $，， a1≧0，a2≧0，a3≧0$ のとき

$(a1+a2+a3)/3≧\sqrt[3]a1a2a3$

を証明せよ．また，等号が成立する条件も求めよ．

解答を見る

$，， x=\sqrt[3]a1，y=\sqrt[3]a2，z=\sqrt[3]a3$ とおくと，

$，， x≧0，y≧0，z≧0$ で，

$x³+y³+z³=a+b+c,$

$xyz=\sqrt[3]a1\sqrt[3]a2\sqrt[3]a3=\sqrt[3]a1a2a3$ である．

$①$ において

$x²+y²+z²-xy-yz-zx =1/2{(x-y)²+(y-z)². .+(z-x)²}≧0$

であり

$x+y+z≧0$

であるから

$x³+y³+z³≧3xyz \Leftrightarrow (x³+y³+z³)/3≧ xyz$

よって

$(a1+a2+a3)/3≧\sqrt[3]a1a2a3$

また，等号が成立するのは $， x = y = z，$ すなわち $a1 = a2 = a3$ のとき.

一般の場合の証明は，付録一般の場合の相加平均と相乗平均の関係を参照のこと．

問題6相加平均と相乗平均の関係を利用した不等式の証明

ただし， $，， x > 0，y > 0，z > 0$ とする．

$x+1/x≧ 2$
$x+9/(x+2)≧ 4$
$(x+1/y)(y+4/x)≧ 9$
$(x+y)(y+z)(z+x)≧ 8xyz$

解答を見る

$x>0,1/x>0$ であるから，相加平均と相乗平均の関係より

$△x$ と $1/x$ をかけると約分され定数になることに着目した

$x+1/x≧ 2\sqrt(x・1/x)=2$

また，等号が成立するのは $x=1/x$ ，すなわち $x = 1$ のときである．

$x > 0$ である
$， x + 2 > 0，1/(x+2)>0$ であるから，相加平均と相乗平均の関係より

$△$ (1)のような形にもちこみたいため， $x$ ではなく $x + 2$ をかたまりとして考えてみる.

$(x+2)+9/(x+2) ≧ 2\sqrt((x+2)・9/(x+2))=6$

よって， $x+9/(x+2)≧ 4$ となる．

また，等号が成立するのは $x+2=9/(x+2)$ ，すなわち

$(x+2)²=9 \Leftrightarrow (x+5)(x-1)=0 ∴x=1$

$x > 0$ である

のときである．
$，，， x > 0，1/x>0，y > 0，1/y>0$ であるから，相加平均と相乗平均の関係より

$(x+1/y)(y+4/x) =xy+4/xy+1+4 ≧ 2\sqrt(xy・4/xy)+1+4=9$

$xy$ と $1/xy$ をかけると約分されて定数になるような形があらわれた

また，等号が成立するのは， $xy=4/xy$ ，すなわち

$x²y²=4 ∴xy=2$

$， x > 0，y > 0$ より， $xy > 0$ である

のときである．
$，， x > 0，y > 0，z > 0$ であるから，相加平均と相乗平均の関係より

$x+y≧ 2\sqrtxy y+z≧ 2\sqrtyz z+x≧ 2\sqrtzx$

であるから，辺々を掛け合わせて

（左辺）

$≧ (2\sqrtxy)(2\sqrtyz)(2\sqrtzx) =8xyz$

また，等号が成立するときは $，， x = y，y = z，z = x$ ，すなわち $x = y = z$ のときである．

相加平均と相乗平均の関係は，上の例題で見たような不等式の証明だけでなく，次の例題でみるように最小値を求める際にも利用できる．

問題7相加平均と相乗平均の関係を利用して最小値を求める

次の関数の最小値を求めよ．

$f(x)=x+1/x (x>0)$
$f(x, y)=y/x+x/y (x>0, y>0)$

解答を見る

$x > 0$ より $1/x>0$ であるから，相加平均と相乗平均の関係より

$x+1/x≧2\sqrt(x・1/x)=2$

$△$ ここまででいえたことは $f(x)≧2$ である

等号が成り立つのは $x=1/x$ ，すなわち

$x²=1 ∴x=1$

$x > 0$ である

以上より，最小値は $f(1)=2$ とわかる．

$△$ 等号が成立する $x$ の存在がわかって初めて最小値といえる.
$y/x>0 , x/y>0$ であるから，相加平均と相乗平均の関係より

$y/x+x/y≧2\sqrt(y/x・x/y)=2$

$△$ ここまででいえたことは $f(x, y)≧2$ である

等号が成り立つのは $y/x=x/y$ のとき．これを計算していくと

$x²=y² \Leftrightarrow x²-y²=0 \Leftrightarrow (x-y)(x+y)=0$

$， x > 0，y > 0$ なので， $x+y\neq0$ であるから， $x = y$ となる．

以上より，最小値は $f(x,x)=2$ とわかる．

$△$ 等号が成立する $x$ と $y$ の存在がわかって初めて最小値といえる.

コーシー・シュワルツの不等式

コーシー・シュワルツの不等式とは何か

定理9コーシー・シュワルツの不等式

$，，， a，b，x，y$ を実数とすると

$(ax+by)²≦(a²+b²)(x²+y²)$

が成り立ち，これをコーシー・シュワルツの不等式（Cauchy-Schwarz's inequality）という．

等号が成立するのは

$a:b=x:y$

のときである．

暗記2コーシー・シュワルツの不等式の証明-2変数版-

上のコーシー・シュワルツの不等式を証明せよ．また，等号が成立する条件も確認せよ．

解答を見る

（右辺） $-$ （左辺）より

$(a²+b²)(x²+y²)-(ax+by)² =(a²x²+b²x²+a²y²+b²y²) -(a²x²+2abxy+b²y²) =b²x²-2(bx)(ay)+a²y² =(bx-ay)²≧0$

等号が成立するのは， $(bx - ay)² = 0$ ，すなわち $bx - ay = 0$ のときであり，これは

$a:b=x:y$

のことである.

暗記3コーシー・シュワルツの不等式の証明-3変数版-

$，，，，， a，b，c，x，y，z$ を実数とすると

$(ax+by+cz)² ≦(a²+b²+c²)(x²+y²+z²)$

が成り立つことを証明せよ．

また，等号が成り立つ条件も求めよ．

解答を見る

（右辺） $-$ （左辺）より

$a²(y²+z²)+b²(x²+z²) +c²(x²+y²) -2(abxy+bcyz+acxz) =a²y²-2(ay)(bx)+b²x² +a²z²-2(az)(cx)+c²x² +b²z²-2(bz)(cy)+c²y² =(ay-bx)²+(az-cx)² +(bz-cy)²≧ 0$

等号が成立するのは， $(ay-bx)²=0, (az-cx)²=0,$

$(bz-cy)²=0$ すなわち， $ay-bx=0, az-cx=0,$ $bz-cy=0$ のときであり，これは

$a:b:c=x:y:z$ のことである．

一般の場合のコーシー・シュワルツの不等式に関しては，付録一般の場合のコーシー・シュワルツの不等式を参照のこと．

問題8コーシー・シュワルツの不等式を利用して最小値を求める

コーシー・シュワルツの不等式を利用して，次の関数の最大値と最小値を求めよ．

$f(x, y)=x+2y$

ただし， $x² + y² = 1$ とする．
$f(x, y, z)=x+2y+3z$

ただし， $x² + y² + z² = 1$ とする．

解答を見る

$a = 1,b = 2$ とすると，

コーシー・シュワルツの不等式より

$(ax+by)²≦(a²+b²)(x²+y²)$

$(x+2y)²≦(1²+2²)(x²+y²)$

さらに，条件より $x² + y² = 1$ であるから

$(x+2y)²≦5 \Leftrightarrow -\sqrt5≦ x+2y≦\sqrt5$

$①$

が成り立つ．

$①$ の等号が成り立つのは

$x:y=1:2$

のときである． $， x = k，y = 2k$ とおき，

比例式の知識を使った

$x² + y² = 1$ に代入すると

$k²+(2k)²=1 \Leftrightarrow k=\pm\sqrt5/5$

このとき，等号が成り立つ．

以上より，最大値 $f(\sqrt5/5, 2\sqrt5/5)=\sqrt5$ ，最小値 $f(-\sqrt5/5, -2\sqrt5/5)=-\sqrt5$ となる．
$，， a = 1，b = 2，c = 3$ とすると，コーシー・シュワルツの不等式より

$(ax+by+cz)²$

$≦(a²+b²+c²)(x²+y²+z²)$

$(x+2y+3z)² ≦(1²+2²+3²)(x²+y²+z²)$

さらに，条件より $x² + y² + z² = 1$ であるから

$(x+2y+3z)²≦14 \Leftrightarrow -\sqrt14≦ x+2y+3z≦\sqrt14$ 　　　　

$②$

が成り立つ．

$②$ の等号が成り立つのは

$x:y:z=1:2:3$

のときである． $，， x = k，y = 2k，z = 3k$ とおき， $x² + y² + z² = 1$ に代入すると

比例式の知識を使った.

$k²+(2k)²+(3k)²=1 \Leftrightarrow k=\pm\sqrt14/14$

このとき，等号が成り立つ．

以上より，最大値 $f(\sqrt14/14, 2\sqrt14/14, 3\sqrt14/14)$

$=\sqrt14$ ，最小値 $f(-\sqrt14/14, -2\sqrt14/14, -3\sqrt14/14)$

$=-\sqrt14$ となる．

三角不等式

三角不等式とは何か

2つの数 $， a，b$ において

$|a+b|≦|a|+|b|$

が成立し，これを三角不等式（triangle inequality）という．

たとえば， $， a = 2，b = 3$ とすると

（左辺） $=|2+3|=5$

（右辺） $=|2|+|3|=5$

となり，確かに（左辺） $≦$ （右辺）が成り立つ．

また， $， a = - 2，b = 5$ とすると

（左辺） $=|-2+5|=3$

（右辺） $=|-2|+|5|=7$

となり，やはり（左辺） $≦$ （右辺）が成り立つ．

上では2つの数における三角不等式をみたが，3つ以上の数についても三角不等式は成り立ち，一般には次のようになる．

定理10三角不等式

$n$ 個の数 $a1, a2, \dots, an$ において

$|a1+a2+\dots+an| ≦|a1|+|a2|+\dots+|an|$

が成り立つ．

等号成立は， $a1, a2, \dots, an$ がすべて同符号のときである（ $0$ は含んでもよい）

特に， $n = 2$ のとき $|a1+a2|≦|a1|+|a2|$ であり， $n = 3$ のとき $|a1+a2+a3|≦|a1|+|a2|+|a3|$ である．

暗記4三角不等式の証明

$，， a1，a2，a3$ に関して，次の不等式を証明せよ．また，等号が成立する条件も求めよ．

$|a1+a2|≦ |a1|+|a2|$
$|a1+a2+a3|$ $≦ |a1|+|a2|+|a3|$

解答を見る

両辺とも負でないから，それぞれを2乗した式

$(|a1+a2|)²≦(|a1|+|a2|)²$

平方による比較

を示せばよい．

（右辺） $-$ （左辺）

$=(|a1|+|a2|)²-(|a1+a2|)² =|a1|²+2|a1||a2|+|a2|² -(a1+a2)² =a1²+2|a1||a2|+a2² -(a1²-2a1a2+a2²)$

$a$ が実数のとき $|a|² = a²$ である

$=2(|a1||a2|-a1a2)≧ 0$

$a$ が実数のとき $|a|≧a$ である

となるので，（左辺） $≦$ （右辺）である．

等号が成立するのは， $|a1||a2|- a1a2 = 0$ ，すなわち

$|a1||a2|-a1a2=0 \Leftrightarrow |a1a2|-a1a2=0 \Leftrightarrow a1a2≧0$

$| a | | b | = | ab |$ である.

$△a≧0\Leftrightarrow |a|=a$ である

すなわち， $a1$ と $a2$ が同符号のとき（ $0$ を含んでもよい）となる．
（左辺）を計算すると

$|a1+(a2+a3)| ≦|a1|+|a2+a3| ≦|a1|+|a2|+|a3|$

$a2 + a3$ を一かたまりとして(1)を利用した.

$△a2$ と $a3$ に関して(1)を利用した.

となるので，（左辺） $≦$ （右辺）である．

等号が成立するのは

$a1(a2+a3)≧0 \dots(a) a2a3≧0 \dots(b)$

(b)より，i) $a2≧0$ かつ $a3≧0$ ，または ii) $a2≦0$ かつ $a3≦0$ とわかるが

i) $a2≧0$ かつ $a3≧0$ のとき

(a)より， $a1≧0$

ii) $a2≦0$ かつ $a3≦0$ のとき

(a)より， $a1≦0$

すなわち， $，， a1，a2，a3$ がすべて同符号のとき（ $0$ を含んでもよい）となる．

最終更新: 2026-08-11

この節についてAIに質問する

この節に書かれている内容だけを根拠に答えます。個人情報は書かないでください。

質問の内容

数学II 第1章 式と証明 — 不等式の証明

不等式の証明の基本

数学Ⅱにおける不等式の性質

定理1不等式の性質

不等式の証明の基本について

定理2不等式の証明

問題1不等式の証明-その1-

平方による比較

定理3平方による比較

問題2平方による比較

実数の平方

実数の平方について

定理4実数の平方

問題3実数の平方を利用した不定式の証明

相加平均と相乗平均

相加平均とは何か

定理5相加平均

問題4相加平均

数学での平均の考え方

定義6平均の定義

相乗平均とは何か

定理7相乗平均

問題5相乗平均

相加平均と相乗平均の関係

定理8相加平均と相乗平均の関係

暗記13文字の場合の相加平均と相乗平均の関係の証明

問題6相加平均と相乗平均の関係を利用した不等式の証明

問題7相加平均と相乗平均の関係を利用して最小値を求める

コーシー・シュワルツの不等式

コーシー・シュワルツの不等式とは何か

定理9コーシー・シュワルツの不等式

暗記2コーシー・シュワルツの不等式の証明-2変数版-

暗記3コーシー・シュワルツの不等式の証明-3変数版-

問題8コーシー・シュワルツの不等式を利用して最小値を求める

三角不等式

三角不等式とは何か

定理10三角不等式

暗記4三角不等式の証明

この節についてAIに質問する

数学II 第1章式と証明 — 不等式の証明