相加平均と相乗平均の関係
(相加平均)≧(相乗平均)
\begin{align*}
\frac{a+b}{2}\geqq \sqrt{ab}
\end{align*}
等号成立は のとき.
\begin{align*}
\frac{a+b+c}{3}\geqq \sqrt[3]{abc}
\end{align*}
等号成立は のとき.
\begin{align*}
a+b\geqq 2\sqrt{ab}
\end{align*}
\begin{align*}
a+b+c \geqq 3\sqrt{abc}
\end{align*}
練習問題
問題
次の式の最小値とそのときの(1)
(2)
(3)
(4)
解答
(1) これは形を当てはめるだけで,\begin{align*}
3x+\frac{1}{12x} &\geqq 2\sqrt{3x\cdot\frac{1}{12x}}\\
&= 2\sqrt{\frac{1}{4}}\\
&= 1
\end{align*}
よって最小値は でそのとき
より,
.
(2) これは3項の例です.
\begin{align*}
x^3+\frac{1}{x}+\frac{1}{x^2} &\geqq 3\sqrt[3]{x^3\cdot\frac{1}{x}\cdot\frac{1}{x^2}}\\
&= 3\sqrt[3]{1}\\
&= 3
\end{align*}
よって最小値は で, そのとき
より,
.
(3) これは間違いやすい例です. まず, 正しい答えから.
\begin{align*}
\left(x+\frac{4}{x}\right)\left(x+\frac{9}{x}\right) &= x^2+13+\frac{36}{x^2}\\
&= x^2 + \frac{36}{x^2}+13\\
&\geqq 2\sqrt{x^2\cdot\frac{36}{x^2}}+13\\
&= 12+13\\
&= 25
\end{align*}
よって最小値は で, そのとき
より,
.
次に, よくある間違った解答.
左と右の括弧の中をそれぞれ考えて,
\begin{align*}
x+\frac{4}{x}\geqq 2\sqrt{x\cdot\frac{4}{x}}=4
\end{align*}
\begin{align*}
x+\frac{9}{x}\geqq 2\sqrt{x\cdot\frac{9}{x}}=6
\end{align*}
なので, 最小値は .
この間違った解答について, 等号成立の条件を調べてみると, となるのは
のときで,
となるのは
のときです. つまり, 左と右の括弧の中身が同時に最小となることがないのが分かります. なので, 与えられた式が
という値をとることはできません. 積の形は展開してから公式に当てはめましょう.
(4) これは一見2項に見えますが, 2項の公式に当てはめると
\begin{align*}
x^2+\frac{1}{x}&\geqq 2\sqrt{x^2\cdot\frac{1}{x}}\\
&= 2\sqrt{x}
\end{align*}
となり, が残ってしまいます.
微分を習っていれば で微分して, 増減表を書いても答えにはたどり着けますが, ここでは上手く3項の相加相乗平均の関係を利用します.
\begin{align*}
x^2+\frac{1}{x} &= x^2 + \frac{1}{2x} + \frac{1}{2x}\\
&\geqq 3\sqrt[3]{x^2\cdot\frac{1}{2x}\cdot\frac{1}{2x}}\\
&= 3\sqrt[3]{\frac{1}{4}}\\
&= \frac{3}{\sqrt[3]{4}}
\end{align*}
よって, 最小値は で, そのとき
より,
.
このように, 相加相乗平均の関係を上手く使えば, (4)の問題のように, 微分をしなくても簡単に最小値を求められる場合があります.
