e^π>π^eの最速証明など ( e^x>=x+1が役立つ2つの例 )

1775

$x^{y} + y^{x} > 1$

以前の記事「不等式 x^y+y^x>1 の秀逸な証明」では, そのタイトルにある不等式をベルヌーイの不等式を使うことでうまく証明できることを書いた. このような指数型不等式では, ベルヌーイの不等式の他にも "ある不等式" がとてもよいはたらきをすることがある.

ある不等式

$e^{x} \geq x + 1$ 　(等号成立は $x = 0$ のとき).

この不等式は見た目以上に役に立つ. この不等式が証明のカギになる2つの例を紹介しよう. (不等式(1)の証明は難しくないので省略)

$e^{π} > π^{e}$ の最速証明

$e^{π} > π^{e} .$

これは誘導付きで大学入試でも出題されるような問題だ. 実際, 今年の芝浦工大でも出題されている.
以下の関数の極値を求め, それを利用して命題1の不等式を証明するというのが一般的な方法だろう.
　 $f (x) = x^{\frac{1}{x}} o r f (x) = \frac{\log x}{x} .$

実は, 上記の関数を使わないエレガントな証明が知られているのでそれを紹介する.

(1)に $x = \frac{π}{e} - 1$ を代入すると $e^{\frac{π}{e} - 1} > \frac{π}{e}$ となり, したがって $e^{π} > π^{e} . ◼$

もちろん, 一般的には次の様になることはすぐにわかる.

$e^{x} \geq x^{e}$ (等号成立は $x = e$ のとき).

Pólyaによる相加・相乗平均の不等式の証明

相加・相乗平均の不等式

$x_{i} > 0 (i = 1, 2, \dots, n)$ とするとき,

$\frac{x_{1} + x_{2} + \dots + x_{n}}{n} \geq {(x_{1} x_{2} \dots x_{n})}^{\frac{1}{n}} .$

(等号成立は $x_{1} = x_{2} = \dots = x_{n}$ のとき)

この不等式の証明は数多く知られているが, 私はPólyaによる証明が気に入っている. この証明もまた不等式(1)がカギになっている.

by Pólya

$S_{n} = x_{1} + x_{2} + \dots + x_{n}$ とし, 相加平均を $A_{n} = \frac{S_{n}}{n}$ , 相乗平均を $G_{n} = {(x_{1} x_{2} \dots x_{n})}^{\frac{1}{n}}$ とする.　
　 $\sum_{i = 1}^{n} (\frac{n x_{i}}{S_{n}} - 1) = \frac{n S_{n}}{S_{n}} - n = 0$ に注意して,
　 $1 = e^{0} = \prod_{i = 1}^{n} e^{\frac{n x_{i}}{S_{n}} - 1} \geq \prod_{i = 1}^{n} \frac{n x_{i}}{S_{n}} (b y (1)) = {(\frac{n G_{n}}{S_{n}})}^{n} = {(\frac{G_{n}}{A_{n}})}^{n} .$ ゆえに, $A_{n} \geq G_{n} . ◼$