すべての実数 $x$ に対して、不等式 $e^x + e^{-x} \geq x^2 + 2$ が成り立つことを示す。

解析学不等式指数関数導関数微分関数の最小値
2025/6/20

1. 問題の内容

すべての実数 xx に対して、不等式 ex+exx2+2e^x + e^{-x} \geq x^2 + 2 が成り立つことを示す。

2. 解き方の手順

まず、関数 f(x)=ex+exx22f(x) = e^x + e^{-x} - x^2 - 2 を定義します。
この不等式を示すには、f(x)0f(x) \geq 0 をすべての実数 xx に対して示せば良いです。
まず、f(0)f(0) を計算します。
f(0)=e0+e0022=1+102=0f(0) = e^0 + e^{-0} - 0^2 - 2 = 1 + 1 - 0 - 2 = 0.
次に、f(x)f(x) の導関数 f(x)f'(x) を計算します。
f(x)=exex2xf'(x) = e^x - e^{-x} - 2x
f(x)f'(x) の導関数 f(x)f''(x) を計算します。
f(x)=ex+ex2f''(x) = e^x + e^{-x} - 2
ここで、g(x)=ex+exg(x) = e^x + e^{-x} と置くと、g(x)g(x)x=0x=0 で最小値 g(0)=e0+e0=1+1=2g(0) = e^0 + e^{-0} = 1 + 1 = 2 を取ります。
したがって、ex+ex2e^x + e^{-x} \geq 2 です。
よって、f(x)=ex+ex20f''(x) = e^x + e^{-x} - 2 \geq 0 です。
f(x)0f''(x) \geq 0f(x)f'(x) が単調増加であることを意味します。
f(0)=e0e02(0)=110=0f'(0) = e^0 - e^{-0} - 2(0) = 1 - 1 - 0 = 0 なので、f(x)0f'(x) \geq 0 for x>0x > 0 かつ f(x)0f'(x) \leq 0 for x<0x < 0 です。
これは、f(x)f(x)x=0x=0 で最小値を取ることを意味します。
f(0)=0f(0) = 0 であり、f(x)f(x)x=0x=0 で最小値を取るので、f(x)0f(x) \geq 0 です。
したがって、ex+exx2+2e^x + e^{-x} \geq x^2 + 2 がすべての実数 xx に対して成り立ちます。

3. 最終的な答え

すべての実数 xx に対して、不等式 ex+exx2+2e^x + e^{-x} \geq x^2 + 2 が成り立つ。

「解析学」の関連問題

関数 $y = \sin\theta + \cos\theta - 2\sin\theta\cos\theta$ について、以下の問いに答えます。 (1) $t = \sin\theta + \cos...

三角関数最大値最小値三角関数の合成二次関数
2025/6/21

$\frac{\pi}{2} < \theta < \pi$ のとき、$\sin \theta = \frac{1}{3}$ である。このとき、$\sin 2\theta$, $\cos \frac{...

三角関数加法定理倍角の公式半角の公式
2025/6/21

問題は多変数関数の極限を求める問題と、偏導関数の定義を記述する問題、そして多変数関数の偏微分を求める問題です。具体的には以下の問題があります。 * HW 11.1 (1) $ \lim_{(x,y...

多変数関数極限偏導関数偏微分
2025/6/21

$3\sin\theta + \cos\theta = 3$ が成り立つとき、$\sin 2\theta$ の値を求める問題です。ただし、$0 < \theta < \frac{\pi}{2}$ です...

三角関数三角関数の合成倍角の公式方程式
2025/6/21

関数 $f(x) = (3x+2)^2$ を微分した結果 $f'(x)$ を求め、その結果の $x$ の係数と定数項にあてはまる数字を選択肢から選ぶ問題です。

微分合成関数関数の微分
2025/6/21

関数 $f(x) = (3x + 2)^2$ を微分して、$f'(x) = \boxed{ハヒ}x + \boxed{フヘ}$ の $\boxed{ハヒ}$ と $\boxed{フヘ}$ に当てはまる...

微分合成関数の微分関数の微分
2025/6/21

関数 $f(x) = 3x^2 - x + 2$ の $x = -1$ における微分係数の値を求めよ。

微分微分係数関数の微分
2025/6/21

関数 $f(x) = 3x^2 - x + 2$ の $x = -1$ における微分係数の値を求める問題です。

微分微分係数関数の微分
2025/6/21

関数 $f(x) = -\frac{1}{3}x^3 + 3x^2 + 45x - 72$ を微分した結果 $f'(x)$ を求める問題です。$f'(x) = \text{ムメ}x^\text{モ} ...

微分関数の微分導関数
2025/6/21

関数 $f(x) = x^3 - 3x^2 - 9x + 20$ を微分した $f'(x)$ を求め、空欄を埋める問題です。

微分関数の微分多項式
2025/6/21