相加相乗平均の不等式を用いて関数の最小値を求める

更新 2024/12/17

相加相乗平均の不等式を用いて関数の最小値を求めるテクニックを紹介します。

相加相乗平均の不等式の活用（基礎）

$0$ 以上の実数 $a,b$ に対して， $\dfrac{a+b}{2} \geqq \sqrt{ab}$ が成立します。 $a=b$ の場合にのみ等号が成立します。

これを相加相乗平均の不等式と言います。詳細は→相加相乗平均の不等式（AM-GM不等式）

相加相乗平均の不等式を用いて，特殊な形の関数の最小値を求めることができます。

例題1

$x+\dfrac{1}{x}$ の $x>0$ における最小値を求めよ。

解答

$x$ と $\dfrac{1}{x}$ に相加相乗平均の不等式を使うと，

$x+\dfrac{1}{x} \geqq 2\sqrt{x\cdot\dfrac{1}{x}}=2$

そして，等号成立条件は $x=\dfrac{1}{x}$ ，つまり $x=1$ 。

よって， $x=1$ のとき最小値2を取る。

このように，「かけ算したら変数が消えて定数になる」ような数たちに相加相乗平均の不等式を使うとうまくいきます。

相加相乗平均の不等式の活用（応用）

3つの数に対しても，相加相乗平均の不等式が成立します。つまり， $0$ 以上の実数 $a,b,c$ に対して， $\dfrac{a+b+c}{3} \geqq \sqrt[3]{abc}$ が成立します。 $a=b=c$ の場合にのみ等号が成立します。

例題2

$f(x)=x+\dfrac{1}{x^2}$ の $x>0$ の範囲での最小値とそのときの $x$ を求めよ。

$x$ と $\dfrac{1}{x^2}$ はそのままかけ算しても定数になりません。相加相乗平均の不等式を活用するために「かけ算して定数になる数字たち」に分解します。

解答

$x+\dfrac{1}{x^2}=\dfrac{x}{2}+\dfrac{x}{2}+\dfrac{1}{x^2}$

と分解する。右辺の3つの数に相加相乗平均の不等式を適用すると，

$\begin{aligned} &\dfrac{x}{2}+\dfrac{x}{2}+\dfrac{1}{x^2}\\ &\geqq 3\sqrt[3]{\dfrac{x}{2}\cdot \dfrac{x}{2}\cdot \dfrac{1}{x^2}}\\ &=3\sqrt[3]{\dfrac{1}{4}} \end{aligned}$

等号成立条件は， $\dfrac{x}{2}=\dfrac{1}{x^2}$ つまり $x=\sqrt[3]{2}$ のとき。

一般形

例題2までの方法を一般化します。

$f(x)=ax^m+bx^{-n}\:(x > 0)$ （ただし $m,n$ は正の有理数で $a,b > 0$ ）という関数の最小値は，相加相乗平均の不等式を使って求めることができる。

具体的には， $n$ 個の $\dfrac{a}{n}x^m$ と $m$ 個の $\dfrac{b}{m}x^{-n}$ ，つまり 積が定数になるように調節した $(m+n)$ 個の非負の数に相加相乗平均の不等式を用いる というものです。この説明は $m,n$ が整数のときのみ通用しますが，一般の有理数に対しても同様の手法が使えます。

実用上は微分法だけ知っていれば問題ありませんが，この方法を覚えると以下の様な嬉しい事があります。

微分法を用いるよりも若干速く解ける
検算に使える
楽しい

さらに，この考え方を工夫すると「分母が二次，分子が一次」の分数関数の極値を求めることもできます。→分数関数の極値を求める2つのテクニック

また， $a,b < 0$ の場合は関数の最大値を求めることができます：

例題3

$f(x)=-x^2-\dfrac{1}{\sqrt{x}}$ の最大値とそのときの $x$ を求めよ。

解答

$\begin{aligned} &x^2+\dfrac{1}{\sqrt{x}}\\ &=x^2+\dfrac{1}{4\sqrt{x}}+\dfrac{1}{4\sqrt{x}}+\dfrac{1}{4\sqrt{x}}+\dfrac{1}{4\sqrt{x}}\\ &\geqq 5\sqrt[5]{x^2\cdot \dfrac{1}{4\sqrt{x}} \cdot\dfrac{1}{4\sqrt{x}}\cdot\dfrac{1}{4\sqrt{x}}\cdot\dfrac{1}{4\sqrt{x}}}\\ &=5\sqrt[5]{\dfrac{4}{4^5}}\\ &=\dfrac{5}{4}\sqrt[5]{4} \end{aligned}$

等号成立条件は， $x^2=\dfrac{1}{4\sqrt{x}}$ である。従って $x=4^{-\frac{2}{5}}$ のときに最大値 $-\dfrac{5}{4}\sqrt[5]{4}$ を取る。

高校数学の問題集　～最短で得点力を上げるために～のT174では，普通に微分で解く方法も紹介しています。

数オリの問題に挑戦

$1=\dfrac{1}{2}+\dfrac{1}{2}$ のように「分解する手法」は様々な応用例があります。例えば自然対数の底（ネイピア数）の定義：収束することの証明や，次に紹介する数学オリンピックの問題に見られます。

2012年国際数学オリンピックアルゼンチン大会の第2問です。

問題

$3$ 以上の整数 $n$ と，正の実数 $a_2,a_3,\cdots,a_n$ が $a_2a_3\cdots a_n=1$ を満たしているとき以下の不等式を証明せよ：

$(a_2+1)^2(a_3+1)^3\cdots(a_n+1)^n > n^n$

方針

両辺の対数を取りたくなりますが条件式がうまく使えません。そこで，相加相乗平均の不等式を用いて1項ずつ評価することを考えます。累乗根とべき乗が相殺するように $1$ を分解します。

解答

相加相乗平均の不等式より，

$\begin{aligned} (a_2+1)^2 &\geqq (2 \sqrt{a_2})^2 = 2^2 a_2\\ (a_3+1)^3 &= \left(a_3+\dfrac{1}{2}+\dfrac{1}{2}\right)^3 \geqq \left( 3\sqrt[3]{a_3 \cdot \dfrac{1}{2} \cdot \dfrac{1}{2}} \right)^3 = \dfrac{3^3}{2^2}a_3\\ &\vdots\\ (a_n+1)^n &= \left(a_n+\dfrac{1}{n-1}+\cdots+\dfrac{1}{n-1}\right)^n \geqq \dfrac{n^n}{(n-1)^{n-1}}a_n \end{aligned}$

これらを辺々掛けあわせれば目標の不等式を得る。なお，等号成立条件が全て満たされることはないので $\geqq$ が $>$ になる。

項が3つ以上あると工夫が必要

項が3つ以上ある場合には注意が必要です。

例

$x^3+x+\dfrac{1}{x}$ の $x>0$ での最小値を求めよ。

この問題で，積が定数になるように相加相乗平均の不等式を用いると $x^3+x+\dfrac{1}{4x}+\dfrac{1}{4x}+\dfrac{1}{4x}+\dfrac{1}{4x}\geq 6\sqrt[6]{\dfrac{1}{4^4}}$ となります。この不等式は正しいのですが，等号を満たす $x$ が存在しません。

実際，等号成立条件を確認してみると， $x^3=x=\dfrac{1}{4x}$ となり，どのように $x$ を選んでも等号成立条件を満たすことはできません。そこで「積が定数になる」だけではなく「等号成立条件を満たす $x$ が存在する」ように工夫する必要があります。

この記事は，読者の方からのご指摘により改訂を繰り返しております。

Tag:国際数学オリンピックの過去問

この記事の監修者

マスオ

高校数学の美しい物語の管理人。「わかりやすいこと」と「ごまかさないこと」の両立を意識している。著書に『高校数学の美しい物語』『超ディープな算数の教科書』。記事の誤植やわかりにくい等のご指摘はお気軽にメールください！