$x>0$ のとき、次の不等式を証明せよ。 $\sin x \ge x - \frac{x^2}{2}$解析学不等式三角関数微分導関数単調性証明2025/6/141. 問題の内容x>0x>0x>0 のとき、次の不等式を証明せよ。sinx≥x−x22\sin x \ge x - \frac{x^2}{2}sinx≥x−2x22. 解き方の手順まず、関数 f(x)f(x)f(x) を次のように定義します。f(x)=sinx−x+x22f(x) = \sin x - x + \frac{x^2}{2}f(x)=sinx−x+2x2次に、f(x)f(x)f(x) の導関数 f′(x)f'(x)f′(x) を計算します。f′(x)=cosx−1+xf'(x) = \cos x - 1 + xf′(x)=cosx−1+xさらに、f′(x)f'(x)f′(x) の導関数 f′′(x)f''(x)f′′(x) を計算します。f′′(x)=−sinx+1f''(x) = -\sin x + 1f′′(x)=−sinx+1x>0x > 0x>0 において、f′′(x)≥0f''(x) \ge 0f′′(x)≥0 です。なぜなら、−1≤sinx≤1-1 \le \sin x \le 1−1≤sinx≤1 より、−sinx≥−1-\sin x \ge -1−sinx≥−1 であり、−sinx+1≥0-\sin x + 1 \ge 0−sinx+1≥0 となるからです。したがって、f′(x)f'(x)f′(x) は単調増加関数です。f′(0)=cos0−1+0=1−1+0=0f'(0) = \cos 0 - 1 + 0 = 1 - 1 + 0 = 0f′(0)=cos0−1+0=1−1+0=0 であるため、x>0x > 0x>0 において、f′(x)>f′(0)=0f'(x) > f'(0) = 0f′(x)>f′(0)=0 が成り立ちます。したがって、f(x)f(x)f(x) は単調増加関数です。f(0)=sin0−0+022=0−0+0=0f(0) = \sin 0 - 0 + \frac{0^2}{2} = 0 - 0 + 0 = 0f(0)=sin0−0+202=0−0+0=0 であるため、x>0x > 0x>0 において、f(x)>f(0)=0f(x) > f(0) = 0f(x)>f(0)=0 が成り立ちます。したがって、sinx−x+x22>0\sin x - x + \frac{x^2}{2} > 0sinx−x+2x2>0 となり、sinx>x−x22\sin x > x - \frac{x^2}{2}sinx>x−2x2 が証明されました。3. 最終的な答えsinx≥x−x22\sin x \ge x - \frac{x^2}{2}sinx≥x−2x2 が証明されました。