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

解析学不等式指数関数対数関数微分単調増加証明
2025/8/3

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 0 において f(x)0f(x) \geq 0 を示す。
f(0)=e2(0)(2(0)+1)=11=0f(0) = e^{2(0)} - (2(0) + 1) = 1 - 1 = 0
f(x)=2e2x2f'(x) = 2e^{2x} - 2
f(x)=4e2xf''(x) = 4e^{2x}
x0x \geq 0 において e2x1e^{2x} \geq 1 であるから、f(x)0f'(x) \geq 0 が成り立つ。
よって、f(x)f(x)x0x \geq 0 で単調増加である。
f(0)=0f(0) = 0 なので、x0x \geq 0 において f(x)0f(x) \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 0 において g(x)0g(x) \geq 0 を示す。
g(0)=log(1+0)(012(0)2)=00=0g(0) = \log(1+0) - (0 - \frac{1}{2}(0)^2) = 0 - 0 = 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}
g(x)=2x(1+x)x2(1)(1+x)2=2x+2x2x2(1+x)2=2x+x2(1+x)2=x(2+x)(1+x)2g''(x) = \frac{2x(1+x) - x^2(1)}{(1+x)^2} = \frac{2x + 2x^2 - x^2}{(1+x)^2} = \frac{2x + x^2}{(1+x)^2} = \frac{x(2+x)}{(1+x)^2}
x0x \geq 0 において g(x)0g'(x) \geq 0 が成り立つ。
よって、g(x)g(x)x0x \geq 0 で単調増加である。
g(0)=0g(0) = 0 なので、x0x \geq 0 において g(x)0g(x) \geq 0 が成り立つ。
したがって、log(1+x)x12x2\log(1+x) \geq x - \frac{1}{2}x^2 が証明された。

3. 最終的な答え

(1) x0x \geq 0 のとき、e2x2x+1e^{2x} \geq 2x + 1 が成り立つ。
(2) x0x \geq 0 のとき、log(1+x)x12x2\log(1+x) \geq x - \frac{1}{2}x^2 が成り立つ。

「解析学」の関連問題

不定積分 $I = \int \frac{1}{(x-1)(x^2+1)}dx$ を求める問題です。積分定数は省略してよいとあります。

不定積分部分分数分解積分
2025/8/4

関数 $y = x^3 + 3ax^2 + 3bx + c$ が $x=1$ で極小値をとり、点 $(0, 3)$ が変曲点であるとき、定数 $a, b, c$ の値を求める。

微分極値変曲点関数の解析
2025/8/4

$(x-2)(x-3) = x^2 - 5x + 6$

積分不定積分計算数式処理
2025/8/4

問題は2つあります。 問題3:関数 $y = x^2 - 4x + 5$ の区間 $1 \leq x \leq 4$ における最大値と最小値を求めよ。 問題4:関数 $y = x^4 + 3x^2 +...

二次関数最大値最小値平方完成定義域四次関数
2025/8/4

画像には2つの積分問題が含まれています。一つ目は $\int x\sqrt{x^2+2}dx$ であり、二つ目は $\int \cos^2 x dx$ です。それぞれを計算し、定数項Cを付けて答えを求...

積分置換積分半角の公式
2025/8/4

与えられた関数に対して、ライプニッツの公式を用いて第 $n$ 次導関数を求める問題です。 (1) $x^3e^{2x}$ (2) $x^2\log(1+x)$ (3) $x^3\sin(2x)$

ライプニッツの公式導関数積の微分微分
2025/8/4

$\int \frac{x}{x+1} dx$ を計算しなさい。

積分不定積分有理関数部分分数分解
2025/8/4

$\int x \cos x dx$ を計算する問題です。

積分部分積分定積分
2025/8/4

与えられた三角関数の式を、$sin θ$ または $cos θ$ を用いて表す問題です。以下の4つの式をそれぞれ簡略化します。 (1) $sin(θ + π)$ (2) $cos(θ - π)$ (3...

三角関数加法定理三角関数の変換
2025/8/4

逆正弦関数 $\sin^{-1}(2x)$ の微分を求める問題です。

微分逆正弦関数合成関数の微分
2025/8/4