$x>0$ のとき、次の不等式を証明せよ。 $\sin x \ge x - \frac{x^2}{2}$

解析学不等式三角関数微分導関数単調性証明
2025/6/14

1. 問題の内容

x>0x>0 のとき、次の不等式を証明せよ。
sinxxx22\sin x \ge x - \frac{x^2}{2}

2. 解き方の手順

まず、関数 f(x)f(x) を次のように定義します。
f(x)=sinxx+x22f(x) = \sin x - x + \frac{x^2}{2}
次に、f(x)f(x) の導関数 f(x)f'(x) を計算します。
f(x)=cosx1+xf'(x) = \cos x - 1 + x
さらに、f(x)f'(x) の導関数 f(x)f''(x) を計算します。
f(x)=sinx+1f''(x) = -\sin x + 1
x>0x > 0 において、f(x)0f''(x) \ge 0 です。なぜなら、1sinx1-1 \le \sin x \le 1 より、sinx1-\sin x \ge -1 であり、sinx+10-\sin x + 1 \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)>f(0)=0f'(x) > f'(0) = 0 が成り立ちます。したがって、f(x)f(x) は単調増加関数です。
f(0)=sin00+022=00+0=0f(0) = \sin 0 - 0 + \frac{0^2}{2} = 0 - 0 + 0 = 0 であるため、x>0x > 0 において、f(x)>f(0)=0f(x) > f(0) = 0 が成り立ちます。したがって、sinxx+x22>0\sin x - x + \frac{x^2}{2} > 0 となり、sinx>xx22\sin x > x - \frac{x^2}{2} が証明されました。

3. 最終的な答え

sinxxx22\sin x \ge x - \frac{x^2}{2} が証明されました。

「解析学」の関連問題

次の2つの方程式を解く問題です。 (1) $2\sin\theta = -\sqrt{3}$ (2) $\sqrt{2}\cos\theta = -1$

三角関数方程式解の公式
2025/6/14

$0 \le \theta < 2\pi$ のとき、次の方程式を解く問題です。 (1) $\sin\theta = \frac{\sqrt{3}}{2}$ (2) $2\cos\theta + 1 =...

三角関数方程式sincos解の公式単位円
2025/6/14

数列 $\{a_n\}$ の極限を求める問題です。数列の一般項は、$a_n = \sqrt{n+2} - \sqrt{n}$ で与えられます。

極限数列平方根有理化
2025/6/14

放物線 $y = -x^2 + 4x$ の接線のうち、点 $(0, 9)$ を通る2本の接線を求める。 次に、放物線と2つの接線で囲まれた部分の面積を求める。

微分積分放物線接線面積
2025/6/14

数列 $\{a_n\}$ の極限を求める問題です。ただし、$a_n = (1 - \frac{1}{n})^n$ で定義されます。

数列極限対数テイラー展開指数関数
2025/6/14

関数 $f(x) = x^2 - 2x$ が与えられている。区間 $t-1 \le x \le t+2$ における $f(x)$ の最小値を $m(t)$ とする。 (1) $m(0)$ と $m(3...

二次関数最大・最小グラフ場合分け
2025/6/14

関数 $f(x) = \frac{\log x}{x}$ の増減、極値、凹凸、変曲点を調べ、グラフの概形を描く。

関数の増減極値凹凸変曲点グラフの概形微分対数関数
2025/6/14

2重積分 $\iint_D \sqrt{y-x} \, dxdy$ を、領域 $D = \{(x, y) \mid x+y \le 1, y \ge x, x \ge 0\}$ で計算します。

重積分2重積分積分計算領域
2025/6/14

2重積分 $\iint_D \sqrt{y-x} \, dxdy$ を、領域 $D = \{(x,y) \, | \, x+y \leq 1, \, y \geq x, \, x \geq 0\}$ ...

重積分2重積分積分領域変数変換
2025/6/14

次の重積分を計算します。 $\iint_D x^2 + y^2 dxdy$ ここで、$D = \{(x, y) | y = x, y = 2x, x = 1 で囲まれる領域\}$ です。

重積分積分領域変数変換
2025/6/14