$0 < x < \frac{\pi}{2}$ のとき、$\frac{2}{\pi}x < \sin x < x$ を証明する。

解析学不等式三角関数微分単調増加単調減少
2025/5/31

1. 問題の内容

0<x<π20 < x < \frac{\pi}{2} のとき、2πx<sinx<x\frac{2}{\pi}x < \sin x < x を証明する。

2. 解き方の手順

まず、sinx<x\sin x < x を証明する。
f(x)=xsinxf(x) = x - \sin x とおく。
f(x)=1cosxf'(x) = 1 - \cos x
0<x<π20 < x < \frac{\pi}{2} のとき、0<cosx<10 < \cos x < 1 なので、f(x)>0f'(x) > 0
したがって、f(x)f(x)0<x<π20 < x < \frac{\pi}{2} で単調増加である。
f(0)=0sin0=0f(0) = 0 - \sin 0 = 0 なので、0<x<π20 < x < \frac{\pi}{2}f(x)>0f(x) > 0
よって、xsinx>0x - \sin x > 0 より、sinx<x\sin x < x
次に、2πx<sinx\frac{2}{\pi}x < \sin x を証明する。
g(x)=sinx2πxg(x) = \sin x - \frac{2}{\pi}x とおく。
g(x)=cosx2πg'(x) = \cos x - \frac{2}{\pi}
g(x)=sinxg''(x) = -\sin x
0<x<π20 < x < \frac{\pi}{2} のとき、g(x)<0g''(x) < 0 なので、g(x)g'(x) は単調減少である。
g(0)=cos02π=12π>0g'(0) = \cos 0 - \frac{2}{\pi} = 1 - \frac{2}{\pi} > 0
g(π2)=cosπ22π=02π<0g'(\frac{\pi}{2}) = \cos \frac{\pi}{2} - \frac{2}{\pi} = 0 - \frac{2}{\pi} < 0
したがって、0<x<π20 < x < \frac{\pi}{2}g(x)=0g'(x) = 0 となる xx がただ一つ存在する。
これを α\alpha とおく。
0<x<α0 < x < \alphag(x)>0g'(x) > 0 なので、g(x)g(x) は単調増加
α<x<π2\alpha < x < \frac{\pi}{2}g(x)<0g'(x) < 0 なので、g(x)g(x) は単調減少
g(0)=sin02π0=0g(0) = \sin 0 - \frac{2}{\pi} \cdot 0 = 0
g(π2)=sinπ22ππ2=11=0g(\frac{\pi}{2}) = \sin \frac{\pi}{2} - \frac{2}{\pi} \cdot \frac{\pi}{2} = 1 - 1 = 0
したがって、0<x<π20 < x < \frac{\pi}{2}g(x)>0g(x) > 0
よって、sinx2πx>0\sin x - \frac{2}{\pi}x > 0 より、2πx<sinx\frac{2}{\pi}x < \sin x
以上より、0<x<π20 < x < \frac{\pi}{2} のとき、2πx<sinx<x\frac{2}{\pi}x < \sin x < x が成り立つ。

3. 最終的な答え

0<x<π20 < x < \frac{\pi}{2} のとき、2πx<sinx<x\frac{2}{\pi}x < \sin x < x が成り立つ。

「解析学」の関連問題

微分方程式 $xy' - y - x\log x = 0$ の一般解を積分因子を用いて求め、さらに初期条件 $y(1)=0$ を満たす特殊解を求めます。ここで、$x > 0$ であるとします。

微分方程式積分因子一般解特殊解初期条件
2025/6/2

与えられた1階線形微分方程式 $y' - y = 0$ の一般解を求め、さらに初期条件 $y(0) = 1$ を用いて特殊解を求める。

微分方程式1階線形微分方程式一般解特殊解初期条件変数分離形
2025/6/2

方程式 $x^3 + x^2 - 4x + 1 = 0$ が異なる3つの実数解を持つことを示す。

三次方程式実数解中間値の定理関数のグラフ
2025/6/2

与えられた極限を計算する問題です。具体的には、以下の2つの極限を求めます。 (1) $\lim_{x\to 0} \frac{2\sqrt{1+x}-2-x}{x^2}$ (2) $\lim_{x\t...

極限テイラー展開微分
2025/6/2

微分方程式 $\frac{dy}{dx} = -\frac{4x+2y}{2x+y-1}$ を、$2x+y = u$ とおく変数変換を用いて解き、初期条件 $y(0) = 3$ を満たす特殊解を求めま...

微分方程式変数変換初期条件積分
2025/6/2

## 1. 問題の内容

導関数極限微分関数の極限
2025/6/2

関数 $x^x$ ($x > 0$)を微分してください。

微分対数微分関数の微分
2025/6/2

与えられた関数について、それぞれの導関数を求める問題です。

導関数微分商の微分公式積の微分公式
2025/6/2

関数 $\frac{e^x}{\log x}$ を微分せよ。

微分関数の微分商の微分
2025/6/2

与えられた微分方程式 $y' + \frac{1}{x}y = \sin x$ の一般解を積分因子を用いて求め、初期条件 $y(\pi) = 1$ を満たす特殊解を求める問題です。ただし、$x > 0...

微分方程式1階線形微分方程式積分因子一般解特殊解部分積分
2025/6/2