$x \geq 0$ のとき、以下の不等式が成り立つことを証明します。 (1) $e^{2x} \geq 2x + 1$ (2) $\log(1+x) \geq x - \frac{1}{2}x^2$

解析学不等式指数関数対数関数微分単調増加
2025/7/10

1. 問題の内容

x0x \geq 0 のとき、以下の不等式が成り立つことを証明します。
(1) e2x2x+1e^{2x} \geq 2x + 1
(2) log(1+x)x12x2\log(1+x) \geq x - \frac{1}{2}x^2

2. 解き方の手順

(1) e2x2x+1e^{2x} \geq 2x + 1 の証明
f(x)=e2x(2x+1)f(x) = e^{2x} - (2x + 1) とおきます。x0x \geq 0f(x)0f(x) \geq 0 であることを示します。
f(x)=2e2x2=2(e2x1)f'(x) = 2e^{2x} - 2 = 2(e^{2x} - 1)
x0x \geq 0 のとき、e2x1e^{2x} \geq 1 なので、f(x)0f'(x) \geq 0 となります。
したがって、f(x)f(x)x0x \geq 0 で単調増加です。
f(0)=e20(20+1)=e01=11=0f(0) = e^{2 \cdot 0} - (2 \cdot 0 + 1) = e^0 - 1 = 1 - 1 = 0
f(x)f(x)x0x \geq 0 で単調増加なので、f(x)f(0)=0f(x) \geq f(0) = 0
したがって、e2x(2x+1)0e^{2x} - (2x+1) \geq 0 より、e2x2x+1e^{2x} \geq 2x + 1 が成り立ちます。
(2) log(1+x)x12x2\log(1+x) \geq x - \frac{1}{2}x^2 の証明
g(x)=log(1+x)(x12x2)g(x) = \log(1+x) - (x - \frac{1}{2}x^2) とおきます。x0x \geq 0g(x)0g(x) \geq 0 であることを示します。
g(x)=11+x(1x)=1(1x)(1+x)1+x=1(1x2)1+x=x21+xg'(x) = \frac{1}{1+x} - (1 - x) = \frac{1 - (1-x)(1+x)}{1+x} = \frac{1 - (1 - x^2)}{1+x} = \frac{x^2}{1+x}
x0x \geq 0 のとき、g(x)0g'(x) \geq 0 となります。
したがって、g(x)g(x)x0x \geq 0 で単調増加です。
g(0)=log(1+0)(01202)=log(1)0=00=0g(0) = \log(1+0) - (0 - \frac{1}{2}0^2) = \log(1) - 0 = 0 - 0 = 0
g(x)g(x)x0x \geq 0 で単調増加なので、g(x)g(0)=0g(x) \geq g(0) = 0
したがって、log(1+x)(x12x2)0\log(1+x) - (x - \frac{1}{2}x^2) \geq 0 より、log(1+x)x12x2\log(1+x) \geq x - \frac{1}{2}x^2 が成り立ちます。

3. 最終的な答え

(1) e2x2x+1e^{2x} \geq 2x + 1
(2) log(1+x)x12x2\log(1+x) \geq x - \frac{1}{2}x^2

「解析学」の関連問題

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

定積分積分多項式
2025/7/15

次の3つの関数 $f(x)$ について、$n$ 次導関数 ($n \geq 1$) を求める問題です。 a) $f(x) = \frac{1}{1+x}$ b) $f(x) = \log(1-x)$ ...

導関数微分数学的帰納法関数の微分
2025/7/15

関数 $f(x) = \log(1 - x)$ の $n$ 次導関数 ($n \ge 1$) を求める。ここで $\log$ は自然対数とする。

導関数自然対数数学的帰納法微分
2025/7/15

以下の関数の$n$次導関数 ($n \geq 1$)を求めよ。 a) $f(x) = \frac{1}{1+x}$ b) $f(x) = \log(1-x)$ c) $f(x) = (1+x)^{\f...

導関数微分n次導関数関数の微分階乗
2025/7/15

$0 \le \theta \le \frac{\pi}{2}$ の範囲において、方程式 $\sqrt{2} \sin \theta = k$ の解の個数が1個となるときの、実数 $k$ の値の範囲を...

三角関数方程式解の個数sin範囲
2025/7/15

関数 $f(x, y) = \arctan(\frac{y}{x})$ について、二階偏導関数 $f_{xx}(x, y)$, $f_{xy}(x, y)$, $f_{yy}(x, y)$ を求めよ。

偏微分二階偏導関数アークタンジェント
2025/7/15

与えられた定積分 $\int_{0}^{\frac{\pi}{4}} \frac{1}{\cos{x}} dx$ を計算する問題です。

定積分積分三角関数部分分数分解置換積分
2025/7/15

定積分 $\int_{1}^{4} \frac{(\sqrt{x}+1)^2}{x} dx$ を計算する問題です。

定積分積分対数関数根号
2025/7/15

関数 $f(x) = \arctan(x)$ (または $\tan^{-1}x$)の $n$ 階導関数を $f^{(n)}(x)$ とするとき、$f^{(n)}(0)$ の値を求める問題です。

導関数arctanテイラー展開微分
2025/7/15

与えられた6つの不定積分を計算する問題です。積分定数は $C$ を用いること。 (1) $\int (3x+1)^4 dx$ (2) $\int \frac{x}{\sqrt{x^2-1}} dx$ ...

不定積分置換積分部分積分三角関数の積分積和の公式
2025/7/15