$x > 0$ のとき、不等式 $x \log x \geq x - 1$ を証明します。ここで、$\log$ は自然対数(底が $e$)を表すものとします。
2025/5/29
1. 問題の内容
のとき、不等式 を証明します。ここで、 は自然対数(底が )を表すものとします。
2. 解き方の手順
関数 を定義し、 における の最小値を求めます。
まず、 の導関数を計算します。
となる を求めます。
より、
次に、 を計算します。
なので、 です。したがって、 は で下に凸な関数です。
のとき、 であり、 なので、 は の極小値を与える点です。
下に凸な関数であるため、 で極小値かつ最小値を取ります。
したがって、 において が成り立ちます。
つまり、 より、
3. 最終的な答え
において、 は成り立つ。