$0 < \alpha < \beta \le \frac{\pi}{2}$ のとき、$\frac{\alpha}{\sin \alpha} < \frac{\beta}{\sin \beta}$ を示す問題です。 途中の式から、$f(x) = \frac{\sin x}{x}$ とおき、$\alpha \sin \beta < \beta \sin \alpha$ を示す方針のようです。つまり$\frac{\sin \beta}{\beta} < \frac{\sin \alpha}{\alpha}$ を示すことになります。

解析学不等式三角関数微分関数の単調性
2025/7/13

1. 問題の内容

0<α<βπ20 < \alpha < \beta \le \frac{\pi}{2} のとき、αsinα<βsinβ\frac{\alpha}{\sin \alpha} < \frac{\beta}{\sin \beta} を示す問題です。
途中の式から、f(x)=sinxxf(x) = \frac{\sin x}{x} とおき、αsinβ<βsinα\alpha \sin \beta < \beta \sin \alpha を示す方針のようです。つまりsinββ<sinαα\frac{\sin \beta}{\beta} < \frac{\sin \alpha}{\alpha} を示すことになります。

2. 解き方の手順

f(x)=sinxxf(x) = \frac{\sin x}{x} と定義します。f(α)>f(β)f(\alpha) > f(\beta) を示すためには、f(x)f(x)0<xπ20 < x \le \frac{\pi}{2} で減少関数であることを示せば十分です。
f(x)f'(x) を計算します。
f(x)=xcosxsinxx2f'(x) = \frac{x \cos x - \sin x}{x^2}
g(x)=xcosxsinxg(x) = x \cos x - \sin x とおくと、f(x)=g(x)x2f'(x) = \frac{g(x)}{x^2} です。
したがって、g(x)g(x) の符号を調べれば、f(x)f'(x) の符号が分かります。
g(x)=cosxxsinxcosx=xsinxg'(x) = \cos x - x \sin x - \cos x = -x \sin x
0<xπ20 < x \le \frac{\pi}{2} において、sinx>0\sin x > 0 なので、g(x)=xsinx<0g'(x) = -x \sin x < 0 です。
したがって、g(x)g(x)0<xπ20 < x \le \frac{\pi}{2} で減少関数です。
g(0)=0cos0sin0=0g(0) = 0 \cdot \cos 0 - \sin 0 = 0 であるから、0<xπ20 < x \le \frac{\pi}{2} において、g(x)<0g(x) < 0 です。
したがって、f(x)=g(x)x2<0f'(x) = \frac{g(x)}{x^2} < 0 となり、f(x)f(x)0<xπ20 < x \le \frac{\pi}{2} で減少関数です。
0<α<βπ20 < \alpha < \beta \le \frac{\pi}{2} より、f(α)>f(β)f(\alpha) > f(\beta) が成立します。
すなわち、sinαα>sinββ\frac{\sin \alpha}{\alpha} > \frac{\sin \beta}{\beta} となり、αsinα<βsinβ\frac{\alpha}{\sin \alpha} < \frac{\beta}{\sin \beta} が示されました。

3. 最終的な答え

αsinα<βsinβ\frac{\alpha}{\sin \alpha} < \frac{\beta}{\sin \beta}

「解析学」の関連問題

(2) 関数 $f(x, y) = x^y$ の点 $(1, 2)$ における勾配 $\nabla f(1, 2)$ を求めます。 (3) 関数 $f(x, y) = x^2 + 3xy + 2y^2...

偏微分勾配方向微分ベクトル
2025/7/13

$\lim_{x \to +0} \log x^{2x}$ を計算します。

極限対数関数ロピタルの定理
2025/7/13

(1) 関数 $f(x) = x^{\frac{1}{x}}$ ($x > 0$) の極値を求める。 (2) $e^3 > 3^e$ であることを証明する。

極値対数微分不等式関数の最大値
2025/7/13

次の極限を求めます。 $\lim_{x \to 0} \frac{2x^2 + \cos 2x - 1}{x^4}$

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

$\lim_{x \to \frac{\pi}{2}} \frac{(2x - \pi)^2}{\sin x - 1}$を計算します。

極限テイラー展開三角関数
2025/7/13

次の極限を求めます。 $\lim_{x\to 1} \frac{\log x}{x-1}$ ただし、$\log x$ は自然対数とします。

極限ロピタルの定理自然対数微分
2025/7/13

方程式 $(x^2 + 2x - 2)e^{-x} + a = 0$ の異なる実数解の個数を求める問題です。ただし、$a$ は定数であり、$\lim_{x \to \infty} \frac{x^2}...

微分関数の増減実数解の個数指数関数
2025/7/13

与えられた3つの関数 $f(x, y)$ について、原点 $(0, 0)$ における方向ベクトル $\vec{l} = (\cos\theta, \sin\theta)$ 方向の微分係数 $\frac...

偏微分方向微分極限多変数関数
2025/7/13

与えられた極限を計算します。 $\lim_{x\to 1} \frac{-x^3+2x^2-x}{2x^3-x^2-4x+3}$

極限因数分解不定形多項式
2025/7/13

次の極限を求めます。 $\lim_{x \to 0} \frac{x \cos x}{x - \sin 2x}$

極限ロピタルの定理微分
2025/7/13