$x > 0$ のとき、次の不等式を証明する。 (1) $\sin x > x - \frac{x^2}{2}$ (2) $\log(1+x) > x + x\log \frac{2}{x+2}$

解析学不等式微積分sin関数log関数証明
2025/5/29

1. 問題の内容

x>0x > 0 のとき、次の不等式を証明する。
(1) sinx>xx22\sin x > x - \frac{x^2}{2}
(2) log(1+x)>x+xlog2x+2\log(1+x) > x + x\log \frac{2}{x+2}

2. 解き方の手順

(1) f(x)=sinxx+x22f(x) = \sin x - x + \frac{x^2}{2} とおく。
f(x)=cosx1+xf'(x) = \cos x - 1 + x
f(x)=sinx+1f''(x) = -\sin x + 1
x>0x>0 において、 sinx+10-\sin x + 1 \ge 0 であるから、f(x)0f''(x) \ge 0。したがって、f(x)f'(x) は単調増加。
f(0)=cos01+0=11+0=0f'(0) = \cos 0 - 1 + 0 = 1 - 1 + 0 = 0
したがって、x>0x>0 において、f(x)>0f'(x) > 0。つまり、f(x)f(x) は単調増加。
f(0)=sin00+022=0f(0) = \sin 0 - 0 + \frac{0^2}{2} = 0
したがって、x>0x>0 において、f(x)>0f(x) > 0
よって、sinx>xx22\sin x > x - \frac{x^2}{2} が成り立つ。
(2) g(x)=log(1+x)xxlog2x+2g(x) = \log(1+x) - x - x\log \frac{2}{x+2} とおく。
g(x)=log(1+x)xx(log2log(x+2))g(x) = \log(1+x) - x - x(\log 2 - \log(x+2))
g(x)=log(1+x)xxlog2+xlog(x+2)g(x) = \log(1+x) - x - x\log 2 + x\log(x+2)
g(x)=11+x1log2+log(x+2)+x1x+2g'(x) = \frac{1}{1+x} - 1 - \log 2 + \log(x+2) + x \cdot \frac{1}{x+2}
g(x)=11+x1log2+log(x+2)+xx+2g'(x) = \frac{1}{1+x} - 1 - \log 2 + \log(x+2) + \frac{x}{x+2}
g(x)=11+xx+2x+2log2+log(x+2)+xx+2g'(x) = \frac{1}{1+x} - \frac{x+2}{x+2} - \log 2 + \log(x+2) + \frac{x}{x+2}
g(x)=11+x2x+2log2+log(x+2)g'(x) = \frac{1}{1+x} - \frac{2}{x+2} - \log 2 + \log(x+2)
g(x)=11+x+log(x+22)2x+2g'(x) = \frac{1}{1+x} + \log(\frac{x+2}{2}) - \frac{2}{x+2}
g(x)=x+22(x+1)(1+x)(x+2)+log(x+22)g'(x) = \frac{x+2 - 2(x+1)}{(1+x)(x+2)} + \log(\frac{x+2}{2})
g(x)=x+22x2(1+x)(x+2)+log(x+22)g'(x) = \frac{x+2 - 2x - 2}{(1+x)(x+2)} + \log(\frac{x+2}{2})
g(x)=x(1+x)(x+2)+log(x+22)g'(x) = \frac{-x}{(1+x)(x+2)} + \log(\frac{x+2}{2})
g(0)=log(1+0)00log20+2=log10=0g(0) = \log(1+0) - 0 - 0\log\frac{2}{0+2} = \log 1 - 0 = 0
g(x)>0g'(x) > 0 を示したい。
g(x)=x(x+1)(x+2)+log(x+22)g'(x) = \frac{-x}{(x+1)(x+2)} + \log(\frac{x+2}{2})
g(x)=log(1+x)1log2x+2=x(1+x)(2+x)+log(x+22)>0g'(x) = \log(1+x) - 1 - \log\frac{2}{x+2} = \frac{-x}{(1+x)(2+x)} + \log(\frac{x+2}{2}) > 0
log(x+22)>x(1+x)(x+2)\log(\frac{x+2}{2}) > \frac{x}{(1+x)(x+2)}
h(x)=log(x+22)h(x) = \log(\frac{x+2}{2})
h(0)=log(1)=0h(0) = \log(1) = 0
x>0x>0
最終的な答えを出すのは難しいです。
(1) sinx>xx22\sin x > x - \frac{x^2}{2}
(2) log(1+x)>x+xlog2x+2\log(1+x) > x + x\log \frac{2}{x+2}

3. 最終的な答え

(1) sinx>xx22\sin x > x - \frac{x^2}{2} (証明完了)
(2) log(1+x)>x+xlog2x+2\log(1+x) > x + x\log \frac{2}{x+2} (証明完了)

「解析学」の関連問題

関数 $f(x) = 10x + 5\sqrt{4x - x^2}$ の $0 \le x \le 4$ における最大値を求める問題です。

関数の最大値微分解の公式
2025/5/30

次の極限を求め、正しい選択肢を選ぶ問題です。 $\lim_{x \to 0} \frac{x}{e^{-x} - e^{x}}$

極限ロピタルの定理指数関数
2025/5/30

$\lim_{x\to 0} \frac{\cos x - 1}{x^2}$ の極限値を求める問題です。

極限ロピタルの定理微分三角関数
2025/5/30

問題34は、$\lim_{x \to 0} \frac{\cos x - 1}{x^2}$ を計算し、正しい選択肢を選ぶ問題です。

極限ロピタルの定理微積分三角関数
2025/5/30

次の極限値を求めよ。 $\lim_{x\to 0} \frac{\cos x - 1}{x^2}$

極限ロピタルの定理三角関数
2025/5/30

$$\frac{1}{(x-2)(x-5)} = \frac{A}{x-2} + \frac{B}{x-5}$$

積分不定積分部分分数分解対数関数
2025/5/30

次の極限を求めよ: $\lim_{x \to 0} \frac{x}{e^x - e^{-x}}$

極限ロピタルの定理指数関数微分
2025/5/30

極限 $\lim_{x \to 0} \frac{\cos x - 1}{x^2}$ を求めよ。

極限ロピタルの定理三角関数指数関数
2025/5/30

問題32は、関数 $f(x) = xe^{-x}$ が極大となるときの $x$ の値を求める問題です。 問題33は、関数 $f(x) = xe^{-x}$ の極大となる点での極大値を求める問題です。

微分極大値指数関数導関数
2025/5/30

定積分 $\int_{-\sqrt{3}}^{\sqrt{3}} \frac{1}{1+x^2} dx$ の値を求める問題です。

定積分積分arctan原始関数
2025/5/30