$x > 0$ のとき、不等式 $x \log x \geq x - 1$ を証明します。ここで、$\log$ は自然対数(底が $e$)を表すものとします。

解析学不等式自然対数導関数関数の最小値微分
2025/5/29

1. 問題の内容

x>0x > 0 のとき、不等式 xlogxx1x \log x \geq x - 1 を証明します。ここで、log\log は自然対数(底が ee)を表すものとします。

2. 解き方の手順

関数 f(x)=xlogx(x1)f(x) = x \log x - (x - 1) を定義し、x>0x > 0 における f(x)f(x) の最小値を求めます。
まず、f(x)f(x) の導関数を計算します。
f(x)=ddx(xlogxx+1)=logx+x1x1=logx+11=logxf'(x) = \frac{d}{dx} (x \log x - x + 1) = \log x + x \cdot \frac{1}{x} - 1 = \log x + 1 - 1 = \log x
f(x)=0f'(x) = 0 となる xx を求めます。
logx=0\log x = 0 より、x=e0=1x = e^0 = 1
次に、f(x)f''(x) を計算します。
f(x)=ddx(logx)=1xf''(x) = \frac{d}{dx} (\log x) = \frac{1}{x}
x>0x > 0 なので、f(x)>0f''(x) > 0 です。したがって、f(x)f(x)x>0x > 0 で下に凸な関数です。
x=1x = 1 のとき、f(1)=log1=0f'(1) = \log 1 = 0 であり、f(1)=1>0f''(1) = 1 > 0 なので、x=1x = 1f(x)f(x) の極小値を与える点です。
下に凸な関数であるため、x=1x = 1 で極小値かつ最小値を取ります。
f(1)=1log1(11)=100=0f(1) = 1 \cdot \log 1 - (1 - 1) = 1 \cdot 0 - 0 = 0
したがって、x>0x > 0 において f(x)0f(x) \geq 0 が成り立ちます。
つまり、xlogx(x1)0x \log x - (x - 1) \geq 0 より、xlogxx1x \log x \geq x - 1

3. 最終的な答え

x>0x > 0 において、xlogxx1x \log x \geq x - 1 は成り立つ。

「解析学」の関連問題

次の定積分を計算します。 $\int_{-2}^{2\sqrt{2}} \frac{dx}{\sqrt{16-x^2}}$

定積分逆三角関数置換積分
2025/5/31

与えられた定積分の計算を行います。具体的には、$\int_{-2}^{4} 2x^2 dx + \int_{5}^{-2} 2x^2 dx$ を計算します。

定積分積分計算積分
2025/5/31

次の逆三角関数の値を求める問題です。 (1) $\sin^{-1}(-\frac{\sqrt{3}}{2})$ (2) $\cos^{-1}(\frac{1}{\sqrt{2}})$ (3) $\se...

逆三角関数三角関数弧度法
2025/5/31

問題1309の(8)の定積分を計算する問題です。 積分は $\int_{-1}^{1} (x + \frac{1}{2})^2 dx$ です。

定積分積分多項式
2025/5/31

次の定積分の値を計算します。 $\int_{0}^{1} (x^4 + 2x^2 + 4) dx + \int_{1}^{0} (x^4 + 2x^2 + 4) dx$

定積分積分
2025/5/31

与えられた定積分の値を計算します。定積分は、積分区間が1から2で、被積分関数が $x + \frac{3}{x^2}$ です。つまり、 $\int_1^2 \left(x + \frac{3}{x^2...

定積分積分積分計算
2025/5/31

$\arctan\sqrt{\frac{x-1}{2-x}}$ の微分を求める問題です。

微分合成関数逆正接関数ルート
2025/5/31

$|x| < 1$ のとき、次の級数展開が成り立つことを示す問題です。 $\frac{1}{(1+x)^2} = 1 - 2x + 3x^2 - \dots + (-1)^n (n+1)x^n + \...

級数微分等比級数べき級数
2025/5/30

与えられた極限 $\lim_{x \to \infty} \sqrt{x}(\sqrt{x+1} - \sqrt{x})$ を計算します。

極限有理化ルート関数の極限
2025/5/30

数列 $\{ \frac{a^n}{n!} \}$ (ただし、$a > 0$) の極限を求める問題です。

数列極限比の判定法
2025/5/30