不等式 $|\sin a - \sin b| \leq |a - b|$ を示す問題です。

解析学三角関数不等式平均値の定理微分
2025/5/22

1. 問題の内容

不等式 sinasinbab|\sin a - \sin b| \leq |a - b| を示す問題です。

2. 解き方の手順

平均値の定理を利用して証明します。
関数 f(x)=sinxf(x) = \sin x を考えます。f(x)f(x) はすべての実数 xx に対して微分可能であり、f(x)=cosxf'(x) = \cos x です。
aabb を任意の実数とします。平均値の定理より、aabb の間に、ある実数 cc が存在して、
f(a)f(b)ab=f(c)\frac{f(a) - f(b)}{a - b} = f'(c)
が成り立ちます。つまり、
sinasinbab=cosc\frac{\sin a - \sin b}{a - b} = \cos c
となります。この式を変形すると、
sinasinb=(ab)cosc\sin a - \sin b = (a - b) \cos c
が得られます。両辺の絶対値を取ると、
sinasinb=(ab)cosc=abcosc|\sin a - \sin b| = |(a - b) \cos c| = |a - b| |\cos c|
となります。ここで、cosc1|\cos c| \leq 1 であることを利用すると、
sinasinb=abcoscab1=ab|\sin a - \sin b| = |a - b| |\cos c| \leq |a - b| \cdot 1 = |a - b|
したがって、
sinasinbab|\sin a - \sin b| \leq |a - b|
が示されました。

3. 最終的な答え

sinasinbab|\sin a - \sin b| \leq |a - b|

「解析学」の関連問題

関数 $f(x) = \frac{1}{2x-4}$ について、以下の問いに答える。 (1) 関数 $y = f(x)$ の漸近線を求め、逆関数 $f^{-1}(x)$ を求める。 (2) 逆関数 $...

関数逆関数漸近線グラフ
2025/5/23

関数 $f(x) = \sqrt{x-2}$ について、以下の問いに答えます。 (1) 関数 $y=f(x)$ の定義域と値域を求めます。 (2) 関数 $f(x)$ の逆関数 $f^{-1}(x)$...

関数定義域値域逆関数グラフ
2025/5/23

以下の5つの極限値を求める問題です。 (1) $\lim_{x \to 1} \frac{2x - 2}{\log x}$ (2) $\lim_{x \to 0} \frac{x - \sin^{-1...

極限ロピタルの定理マクローリン展開三角関数
2025/5/23

以下の定積分を計算します。 (1) $\int_{-2}^{3} dx$ (2) $\int_{3}^{-1} xdx$ (3) $\int_{1}^{2} (3x^2 - 2x + 3) dx$ (...

定積分積分
2025/5/23

与えられた2つの関数について、マクローリン展開を求める問題です。 (1) $f(x) = \frac{1}{4 + x^2}$ (2) $g(x) = (e^x - e^{-x})^2$

マクローリン展開級数展開関数
2025/5/23

問1:x軸上を運動する質点の時刻 $t$ における速度 $v(t) = e^{-\frac{t}{2}}\sin(2t)$ について、 (i) $0 \le t \le 2\pi$ の範囲で $v(t...

微分積分運動方程式減衰振動指数関数三角関数終端速度
2025/5/23

与えられた4つの関数について、Maclaurin展開を求める。 (1) $\frac{1}{4+x^2}$ (2) $(e^x - e^{-x})^2$ (3) $\cos^2 x$ (4) $\ln...

Maclaurin展開テイラー展開級数関数
2025/5/23

半径2の円周上を運動する質点A, Bについて、それぞれの時刻 $t$ における位置ベクトルが与えられています。 $r^A(t) = 2(\cos(\frac{\pi t}{3} - \frac{\pi...

ベクトル軌跡角速度周期速度加速度円運動微分
2025/5/23

$1 + \sin\theta$ と $1 - \cos\theta$ は等しいかどうかを問う問題です。

三角関数sincos等式評価
2025/5/23

与えられた9つの関数をそれぞれ微分する問題です。 (1) $y = \tan^{-1}\sqrt{\frac{x-1}{2-x}}$ (2) $y = \log|\tan x + \sec x|$ (...

微分逆三角関数合成関数
2025/5/23