数学２
今回は不等式の証明の応用について学習しましょう。
不等式の証明では、差をつくることが基本です。ただ、問題によっては、差をつくっても大小を比較することができないものがあります。
根号や絶対値を含む不等式の証明
不等式を証明する問題では、左辺と右辺の差から正負を調べることが基本的な解法です。しかし、根号や絶対値を含む式になると、単に差をつくっても大小を比較することができません。
差をつくっても計算が進まない
\begin{align*}
&5\sqrt{a+b}-\left(3\sqrt{a}+4\sqrt{b} \right) \\[ 10pt ]
&\sqrt{a-b}-\left(\sqrt{a}-\sqrt{b} \right)
\end{align*}
根号や絶対値があると、差をつくることはできても、それ以上、計算することができないことが原因です。
根号や絶対値を含む式の大小比較
式に根号や絶対値が含まれる場合、式の大小比較では以下の性質を利用します。
正の数の大小と平方の大小
\begin{align*}
&\quad A \geqq 0 \ , \ B \geqq 0 \\[ 7pt ]
&\text{のとき} \\[ 5pt ]
&\quad A \gt B \ \Leftrightarrow \ A^{\scriptsize{2}} \gt B^{\scriptsize{2}} \ \Leftrightarrow \ A^{\scriptsize{2}} – B^{\scriptsize{2}} \gt 0
\end{align*}
平方した２数を用いて、大小比較します。平方した２数の大小関係は、もとの２数の大小関係に等しくなります。
ただし、比較する２数がともに０以上（または正）であることが条件です。この条件は問題文に明記されていることがほとんどです。もし、条件が明記されていなければ、性質を利用するために自分で断りを入れましょう。
このような性質を利用すれば、根号や絶対値を含む不等式であっても証明できるようになります。
不等式を証明してみよう
例題から不等式の証明でのポイントを確認してみましょう。
例題
次の不等式が成り立つことを証明せよ。
また、$(1)$ の等号が成り立つのはどのようなときか。
\begin{align*}
&(1) \quad a \geqq 0 \ , \ b \geqq 0 \ \text{のとき} \\[ 7pt ]
&\qquad 5\sqrt{a+b} \geqq 3\sqrt{a}+4\sqrt{b} \\[ 10pt ]
&(2) \quad a \gt b \gt 0 \ \text{のとき} \\[ 7pt ]
&\qquad \sqrt{a-b} \gt \sqrt{a}-\sqrt{b}
\end{align*}
例題(1)の解答・解説
例題(1)
次の不等式が成り立つことを証明せよ。
また、$(1)$ の等号が成り立つのはどのようなときか。
\begin{align*}
&\quad a \geqq 0 \ , \ b \geqq 0 \ \text{のとき} \\[ 7pt ]
&\qquad 5\sqrt{a+b} \geqq 3\sqrt{a}+4\sqrt{b}
\end{align*}
証明したい不等式には、根号が含まれます。このような不等式を証明するには、平方の差を利用します。性質を利用するために必要な条件が与えられていることを確認しましょう。
与式を見ると、左辺と右辺が等しい、または左辺が右辺よりも大きいことが分かります。ですから、(左辺)2－(右辺)2≧０を導くことができれば、不等式を証明することができます。
平方の差をつくります。
例題(1)の解答例 1⃣
\begin{align*}
&(\text{左辺})^{\scriptsize{2}}-(\text{右辺})^{\scriptsize{2}} \\[ 7pt ]
= \ &\left(5\sqrt{a+b} \right)^{\scriptsize{2}}-\left(3\sqrt{a}+4\sqrt{b} \right)^{\scriptsize{2}}
\end{align*}
差が０以上であると誰が見ても分かる形を導かなければなりません。平方の差を整理します。
例題(1)の解答例 2⃣
\begin{align*}
&\quad \vdots \\[ 7pt ]
&\quad = \left(5\sqrt{a+b} \right)^{\scriptsize{2}}-\left(3\sqrt{a}+4\sqrt{b} \right)^{\scriptsize{2}} \\[ 7pt ]
&\quad = 25\left(a+b \right) – \left(9a+24\sqrt{ab}+16b \right) \\[ 7pt ]
&\quad = 16a-24\sqrt{ab}+9b \\[ 7pt ]
&\quad = \left(4\sqrt{a}-3\sqrt{b} \right)^{\scriptsize{2}}
\end{align*}
平方の差を整理すると、平方完成して多項式の２乗を導くことができました。
ａ，ｂの条件をもとに、平方の差が０以上であることを示します。このとき、実数の性質を利用します。
例題(1)の解答例 3⃣
\begin{align*}
&\quad \vdots \\[ 7pt ]
&\quad = \left(5\sqrt{a+b} \right)^{\scriptsize{2}}-\left(3\sqrt{a}+4\sqrt{b} \right)^{\scriptsize{2}} \\[ 7pt ]
&\quad \vdots \\[ 7pt ]
&\quad = \left(4\sqrt{a}-3\sqrt{b} \right)^{\scriptsize{2}} \\[ 7pt ]
&\text{ここで、$a \ , \ b$ はともに $0$ 以上の} \\[ 5pt ]
&\text{実数であるので} \\[ 5pt ]
&\quad 4\sqrt{a}-3\sqrt{b} \\[ 7pt ]
&\text{も実数である。} \\[ 5pt ]
&\text{よって} \\[ 5pt ]
&\quad \left(4\sqrt{a}-3\sqrt{b} \right)^{\scriptsize{2}} \geqq 0 \quad \cdots \text{①} \\[ 7pt ]
&\text{すなわち} \\[ 5pt ]
&\quad \left(5\sqrt{a+b} \right)^{\scriptsize{2}} – \left(3\sqrt{a}+4\sqrt{b} \right)^{\scriptsize{2}} \geqq 0 \\[ 7pt ]
&\text{したがって} \\[ 5pt ]
&\quad \left(5\sqrt{a+b} \right)^{\scriptsize{2}} \geqq \left(3\sqrt{a}+4\sqrt{b} \right)^{\scriptsize{2}}
\end{align*}
平方の差から、左辺の平方と右辺の平方との大小関係を示すことができました。
平方の差の結果を利用して、平方する前の左辺と右辺の大小関係を示します。
例題(1)の解答例 4⃣
\begin{align*}
&\quad \vdots \\[ 7pt ]
&\quad \left(5\sqrt{a+b} \right)^{\scriptsize{2}} \geqq \left(3\sqrt{a}+4\sqrt{b} \right)^{\scriptsize{2}} \\[ 7pt ]
&\text{ここで} \\[ 5pt ]
&\quad 5\sqrt{a+b} \geqq 0 \ , \ 3\sqrt{a}+4\sqrt{b} \geqq 0 \\[ 7pt ]
&\text{であるので} \\[ 5pt ]
&\quad 5\sqrt{a+b} \geqq 3\sqrt{a}+4\sqrt{b}
\end{align*}
平方する前の左辺と右辺の大小関係を示すとき、もとの左辺と右辺が０以上（または正）であることを必ず記述しておきましょう。
さいごに、等号が成立するときを考えます。等号が成り立つのは、差が０となるときです。①式を利用します。
例題(1)の解答例 5⃣
\begin{align*}
&\quad \vdots \\[ 7pt ]
&\quad \left(4\sqrt{a}-3\sqrt{b} \right)^{\scriptsize{2}} \geqq 0 \quad \cdots \text{①} \\[ 7pt ]
&\quad \vdots \\[ 7pt ]
&\quad 5\sqrt{a+b} \geqq 3\sqrt{a}+4\sqrt{b} \\[ 7pt ]
&\text{また、等号が成立するのは} \\[ 5pt ]
&\text{①より} \\[ 5pt ]
&\quad \left(4\sqrt{a}-3\sqrt{b} \right)^{\scriptsize{2}} = 0 \\[ 7pt ]
&\text{となるときである。} \\[ 5pt ]
&\text{このとき} \\[ 5pt ]
&\quad 4\sqrt{a}-3\sqrt{b} = 0 \\[ 7pt ]
&\text{より} \\[ 5pt ]
&\quad 4\sqrt{a} = 3\sqrt{b} \\[ 7pt ]
&\text{すなわち} \\[ 5pt ]
&\quad 16a=9b \\[ 7pt ]
&\text{のとき、等号が成り立つ。}
\end{align*}
等号が成り立つのは、平方の差が０になるときです。平方の差が０になるには、平方する前の左辺と右辺がともに等しくなくてはなりません。
このことから、①式を利用します。等号が成り立つ条件を考えるのは、与えられた不等式ではなく、平方の差を利用しましょう。
例題(2)の解答・解説
例題(2)
次の不等式が成り立つことを証明せよ。
\begin{align*}
&\quad a \gt b \gt 0 \ \text{のとき} \\[ 7pt ]
&\qquad \sqrt{a-b} \gt \sqrt{a}-\sqrt{b}
\end{align*}
証明したい不等式には、根号が含まれます。ですから、基本的な方針は(1)と変わりません。性質を利用するために必要な条件が与えられていることを確認しましょう。
与式を見ると、左辺が右辺よりも大きいことが分かります。ですから、(左辺)2－(右辺)2＞０を導くことができれば、不等式を証明することができます。
平方の差をつくります。
例題(2)の解答例 1⃣
\begin{align*}
&(\text{左辺})^{\scriptsize{2}}-(\text{右辺})^{\scriptsize{2}} \\[ 7pt ]
= \ &\left(\sqrt{a-b} \right)^{\scriptsize{2}}-\left(\sqrt{a}-\sqrt{b} \right)^{\scriptsize{2}}
\end{align*}
差が０より大きい（正である）と誰が見ても言える形を導かなければなりません。平方の差を整理します。
例題(2)の解答例 2⃣
\begin{align*}
&\quad \vdots \\[ 7pt ]
&\quad = \left(\sqrt{a-b} \right)^{\scriptsize{2}}-\left(\sqrt{a}-\sqrt{b} \right)^{\scriptsize{2}} \\[ 7pt ]
&\quad = \left(a-b \right) – \left(a-2\sqrt{ab}+b \right) \\[ 7pt ]
&\quad = 2\sqrt{ab}-2b \\[ 7pt ]
&\quad = 2\sqrt{b} \left(\sqrt{a}-\sqrt{b} \right)
\end{align*}
平方の差を整理すると、(1)のような形を導くことができません。しかし、差の正負を調べることができる形には変形できました。
平方完成できなくても、差の正負を調べることができれば問題ありません。慌てないようにしましょう。
ａ，ｂの条件をもとに、平方の差が０より大きい（正である）ことを示します。
例題(2)の解答例 3⃣
\begin{align*}
&\quad \vdots \\[ 7pt ]
&\quad = \left(\sqrt{a-b} \right)^{\scriptsize{2}}-\left(\sqrt{a}-\sqrt{b} \right)^{\scriptsize{2}} \\[ 7pt ]
&\quad \vdots \\[ 7pt ]
&\quad = 2\sqrt{b} \left(\sqrt{a}-\sqrt{b} \right) \\[ 7pt ]
&\text{ここで、$a \gt b \gt 0$ であるので} \\[ 5pt ]
&\quad 2\sqrt{b} \left(\sqrt{a}-\sqrt{b} \right) \gt 0 \\[ 7pt ]
&\text{よって} \\[ 5pt ]
&\quad \left(\sqrt{a-b} \right)^{\scriptsize{2}}-\left(\sqrt{a}-\sqrt{b} \right)^{\scriptsize{2}} \gt 0 \\[ 7pt ]
&\text{すなわち} \\[ 5pt ]
&\quad \left(\sqrt{a-b} \right)^{\scriptsize{2}} \gt \left(\sqrt{a}-\sqrt{b} \right)^{\scriptsize{2}}
\end{align*}
平方の差から、左辺の平方と右辺の平方との大小関係を示すことができました。
平方の差の結果を利用して、平方する前の左辺と右辺の大小関係を示します。
例題(2)の解答例 4⃣
\begin{align*}
&\quad \vdots \\[ 7pt ]
&\quad \left(\sqrt{a-b} \right)^{\scriptsize{2}} \gt \left(\sqrt{a}-\sqrt{b} \right)^{\scriptsize{2}} \\[ 7pt ]
&\text{ここで} \\[ 5pt ]
&\quad \sqrt{a-b} \gt 0 \ , \ \sqrt{a}-\sqrt{b} \gt 0 \\[ 7pt ]
&\text{であるので} \\[ 5pt ]
&\quad \sqrt{a-b} \gt \sqrt{a}-\sqrt{b}
\end{align*}
平方する前の左辺と右辺の大小関係を示すとき、もとの左辺と右辺が０以上（または正）であることを必ず記述しておきましょう。
また、(2)の不等式には等号がないので、等号が成り立つときの条件を考える必要はありません。
正の数の大小と平方の大小
\begin{align*}
&A \geqq 0 \ , \ B \geqq 0 \ \text{のとき} \quad \text{(※絶対に記述すること！)} \\[ 7pt ]
&A \gt B \ \Leftrightarrow \ A^{\scriptsize{2}} \gt B^{\scriptsize{2}} \ \Leftrightarrow \ A^{\scriptsize{2}} – B^{\scriptsize{2}} \gt 0
\end{align*}
次は、根号を含む不等式の証明を扱った問題を実際に解いてみましょう。
