2変数の不等式の証明解法まとめ
微分(数学Ⅲ)(入試の標準) ★★★

大学入試で合否を分ける問題になりやすい,2変数の不等式の証明問題の解法について言及し,整理します.
2変数の不等式の証明解法まとめ
2変数の不等式の証明問題解法まとめ
(ⅰ) 1つの文字を固定し,もう片方の文字の関数としてみる.
(ⅱ) $\boldsymbol {\dfrac{b}{a}=t}$ と置き換えて,強引に1変数関数としてみる.
(ⅲ) 平均値の定理を使って解く.
(ⅳ) (相加平均)≧(相乗平均)を使って解く.
(ⅴ) 両辺をそれぞれ $f(a)$ と $f(b)$ の形にして,$f(x)$ の増減を考える.
(ⅰ),(ⅱ)がこのページ特有の解き方です.
どれかでしか解けない場合もありますし,複数の方法で解ける場合もあります.解く速さが違う場合も多いので,できるだけすべてのパターンを解く前に想定し,解法を比較できると理想です.
具体的には,例題で見てみましょう.
例題と練習問題
例題
例題
$ 0 < a < b $ のとき
$\displaystyle a\left(\log b-\log a\right)+a-b < 0$
を示せ.
講義
この問題は解ける手法が多く,(ⅰ),(ⅱ),(ⅲ)で解けそうです.今回は(ⅰ)が1番楽でしょうか.すべて下に書きますので是非比較してください.
(ⅰ)の解答(今回はこれがおそらく1番楽)
左辺を $a$ を固定して $b$ の関数としてみる.$f(b)=a\left(\log b-\log a\right)+a-b$ とおくと
$f'(b)=\dfrac{a}{b}-1=\dfrac{a-b}{b}< 0$
よって $f(b)$ は単調減少.
$f(a)=0$ より,$f(b)< 0$
(ⅱ)の解答
$\displaystyle a\left(\log b-\log a\right)+a-b< 0$
$\displaystyle \Longleftrightarrow \log \dfrac{b}{a}+1-\dfrac{b}{a}< 0$
$\displaystyle \Longleftrightarrow \log t+1-t< 0 \ \left(\dfrac{b}{a}=t \ とおく. \ t > 1\right)$
が成り立つことを示せばよい.
$f(t)=\log t+1-t$ とおくと
$f'(t)=\dfrac{1}{t}-1=\dfrac{1-t}{t}< 0$
よって $f(t)$ は単調減少.
$f(1)=0$ より,$f(t)< 0$
(ⅲ)の解答
$f(x)=\log x$ とおくと,平均値の定理より
$\displaystyle \begin{cases}\dfrac{f(b)-f(a)}{b-a}=\dfrac{1}{c} \\ a < c < b \end{cases}$
を満たす実数 $c$ が存在.これより
$\dfrac{\log b-\log a}{b-a}=\dfrac{1}{c}< \dfrac{1}{a}$
$a(b-a)$ 倍すると
$\displaystyle a(\log b-\log a) < b-a$
$\displaystyle \therefore \ a(\log b-\log a)+a-b < 0$
※ 今回は(ⅳ),(ⅴ)で解くのは厳しいです.
練習問題
練習
(1) $a\geqq b > 0$,$n$ は自然数のとき,$a^{n}-b^{n} \leqq n(a-b)a^{n-1}$ を示せ.
(2) $e\leqq a < b$ のとき,$a^{b} > b^{a}$ を示せ.
解答
(1) (ⅰ)で解きます.
$a$ を固定して $b$ の関数としてみる.
$f(b)=a^{n}-b^{n}-n(a-b)a^{n-1}$ $(0< b \leqq a)$とおく.
$f'(b)=-nb^{n-1}+na^{n-1}=n(a^{n-1}-b^{n-1})\geqq 0$
よって $f(b)$ は単調増加.
$f(a)=0$ より,$f(b)\leqq 0$
$\therefore \ a^{n}-b^{n} \leqq n(a-b)a^{n-1}$
※ (ⅲ)平均値の定理で解いてもいいですね.
(2)
$\dfrac{\log a}{a}>\dfrac{\log b}{b}$ を示す.
$f(x)=\dfrac{\log x}{x}$ とおくと
$f'(x)=\dfrac{1-\log x}{x^2}$
$x\geqq e$ のとき $f'(x)\leqq 0$ より $f(x)$ は単調減少.
つまり $e\leqq a < b $ より $\dfrac{\log a}{a} > \dfrac{\log b}{b}$.
$\therefore \ b\log a > a\log b \ \Longleftrightarrow \ \log a^{b} > \log b^{a}$
$\therefore \ a^{b} > b^{a}$
※ (ⅴ)の両辺をそれぞれ $f(a)$ と $f(b)$ の形にして,$f(x)$ の増減を考えるタイプです.
※最初に $a^{b} > b^{a}$ から両辺自然対数をとって変形して,$\dfrac{\log a}{a} >\dfrac{\log b}{b}$ を示せばいいことに気がつく必要があります.