$x > 0$ のとき、次の不等式を証明せよ。 $1 + xe^x > e^x > 1 + x$

解析学不等式指数関数微分単調増加証明
2025/5/24

1. 問題の内容

x>0x > 0 のとき、次の不等式を証明せよ。
1+xex>ex>1+x1 + xe^x > e^x > 1 + x

2. 解き方の手順

まず、ex>1+xe^x > 1 + x を示す。
関数 f(x)=ex(1+x)f(x) = e^x - (1+x) を考える。x>0x > 0f(x)>0f(x) > 0 となることを示す。
f(x)=ex1f'(x) = e^x - 1
x>0x > 0 より ex>1e^x > 1 なので、f(x)>0f'(x) > 0
したがって、f(x)f(x)x>0x > 0 で単調増加。
f(0)=e0(1+0)=11=0f(0) = e^0 - (1+0) = 1 - 1 = 0
x>0x > 0f(x)>f(0)=0f(x) > f(0) = 0 より、ex>1+xe^x > 1 + x
次に、1+xex>ex1 + xe^x > e^x を示す。
これは、xex>ex1xe^x > e^x - 1 と同値。
ex>1e^x > 1 より、ex1>0e^x - 1 > 0
x>0x > 0 より、xex>0xe^x > 0
したがって、x>0x > 0 のとき、xexxe^x は正の数。
ex1e^x - 1x>0x > 0 のとき、00 より大きい。
ここで、g(x)=xex(ex1)g(x) = xe^x - (e^x - 1) とおく。
g(x)=(x1)ex+1g(x) = (x-1)e^x + 1
g(x)=ex+(x1)ex=xexg'(x) = e^x + (x-1)e^x = xe^x
x>0x > 0 より、g(x)>0g'(x) > 0 であるから、g(x)g(x) は単調増加。
x>0x > 0 のとき、ex>1+xe^x > 1+x であることを用いる。
x>0x > 0 なので、xex>0xe^x > 0 。また、ex>1e^x > 1 より、ex1>0e^x - 1 > 0
g(0)=(01)e0+1=1+1=0g(0) = (0 - 1)e^0 + 1 = -1 + 1 = 0
x>0x > 0 のとき、g(x)>g(0)=0g(x) > g(0) = 0 であるから、xex>ex1xe^x > e^x - 1
したがって、1+xex>ex1 + xe^x > e^x

3. 最終的な答え

x>0x > 0 のとき、1+xex>ex>1+x1 + xe^x > e^x > 1 + x

「解析学」の関連問題

次の関数の導関数を求めます。 (1) $f(x) = 3x^2 + 4x + 5$ (2) $f(x) = 2x + 3$ (3) $f(x) = -x^2 + 9x - 7$ (4) $f(x) =...

導関数微分
2025/5/24

数列 $\{a_n\}$ が与えられたとき、$n \ge N$ ならば $|a_n - \alpha| < 10^{-4}$ が成り立つような最小の自然数 $N$ を求める問題です。ここで、$\alp...

数列極限収束不等式
2025/5/24

与えられた三角関数 $y = 2\sin(\frac{\theta}{2} - \frac{\pi}{3}) + 1$ の周期を求め、さらに、関数 $y = 2\sin\frac{\theta}{2}...

三角関数周期グラフの平行移動振幅
2025/5/24

領域$D$上で、関数$e^{x+y}$の重積分を計算します。ここで領域$D$は、$y \ge 0$, $y \le x$, $x+y \le 2$によって定義されます。

重積分多重積分積分領域
2025/5/24

領域 $D$ が $y \ge 1-x$, $x \le 1$, $y \le 1$ で定義されるとき、二重積分 $\iint_D x^2 y \, dx dy$ の値を計算します。

二重積分領域積分計算
2025/5/24

領域 $D$ 上の重積分 $\iint_D x^2 y \,dx\,dy$ を計算します。領域 $D$ は $y \ge 1-x$, $x \le 1$, $y \le 1$ で定義されています。

重積分積分領域二重積分
2025/5/24

半径2の円周上を運動する質点AとBについて、それぞれの時刻$t$における位置が与えられています。 $r^A(t) = 2(\cos(\frac{\pi t}{3} - \frac{\pi}{6})i ...

円運動軌跡角速度加速度速度微分
2025/5/24

半径2の円周上を運動する2つの質点AとBについて、与えられた位置ベクトル $\vec{r}^A(t)$ と $\vec{r}^B(t)$ をもとに、以下の問いに答える。 * (i) $0 \le ...

ベクトル円運動軌跡角速度加速度微分
2025/5/24

半径2の円周上を運動する質点A, Bの位置がそれぞれ $r^A(t) = 2 (\cos(\frac{\pi t}{3} - \frac{\pi}{6})i + \sin(\frac{\pi t}{3...

ベクトル解析円運動角速度加速度速度
2025/5/24

2変数関数 $z = f(x, y) = x^2 - 6xy + 2y^3$ について、極値があればその値と極大値または極小値を求め、極値がなければ「なし」と答える。

多変数関数偏微分極値ヘッセ行列
2025/5/24