次の極限値を求める問題です。 $\lim_{x \to 0} \frac{\sin x - \sin(\sin x)}{\sin x - x}$

解析学極限ロピタルの定理テイラー展開三角関数
2025/7/6

1. 問題の内容

次の極限値を求める問題です。
limx0sinxsin(sinx)sinxx\lim_{x \to 0} \frac{\sin x - \sin(\sin x)}{\sin x - x}

2. 解き方の手順

ロピタルの定理を用いることを考えます。まず、分子と分母がともに x0x \to 000 に収束することを確認します。
分子: sinxsin(sinx)sin0sin(sin0)=0sin0=0\sin x - \sin(\sin x) \to \sin 0 - \sin(\sin 0) = 0 - \sin 0 = 0
分母: sinxxsin00=00=0\sin x - x \to \sin 0 - 0 = 0 - 0 = 0
よって、ロピタルの定理が適用できます。
分子を微分すると、
ddx(sinxsin(sinx))=cosxcos(sinx)cosx=cosx(1cos(sinx))\frac{d}{dx} (\sin x - \sin(\sin x)) = \cos x - \cos(\sin x) \cos x = \cos x (1 - \cos(\sin x))
分母を微分すると、
ddx(sinxx)=cosx1\frac{d}{dx} (\sin x - x) = \cos x - 1
したがって、
limx0sinxsin(sinx)sinxx=limx0cosx(1cos(sinx))cosx1\lim_{x \to 0} \frac{\sin x - \sin(\sin x)}{\sin x - x} = \lim_{x \to 0} \frac{\cos x (1 - \cos(\sin x))}{\cos x - 1}
再び、分子と分母がともに x0x \to 000 に収束することを確認します。
分子: cosx(1cos(sinx))cos0(1cos(sin0))=1(1cos0)=1(11)=0\cos x (1 - \cos(\sin x)) \to \cos 0 (1 - \cos(\sin 0)) = 1 (1 - \cos 0) = 1(1 - 1) = 0
分母: cosx1cos01=11=0\cos x - 1 \to \cos 0 - 1 = 1 - 1 = 0
再びロピタルの定理が適用できます。
分子を微分すると、
ddx(cosx(1cos(sinx)))=sinx(1cos(sinx))+cosx(sin(sinx)cosx)=sinx+sinxcos(sinx)+cos2xsin(sinx)\frac{d}{dx} (\cos x (1 - \cos(\sin x))) = -\sin x (1 - \cos(\sin x)) + \cos x (\sin(\sin x) \cos x) = -\sin x + \sin x \cos(\sin x) + \cos^2 x \sin(\sin x)
分母を微分すると、
ddx(cosx1)=sinx\frac{d}{dx} (\cos x - 1) = -\sin x
したがって、
limx0cosx(1cos(sinx))cosx1=limx0sinx+sinxcos(sinx)+cos2xsin(sinx)sinx=limx0(1cos(sinx)cos2xsin(sinx)sinx)\lim_{x \to 0} \frac{\cos x (1 - \cos(\sin x))}{\cos x - 1} = \lim_{x \to 0} \frac{-\sin x + \sin x \cos(\sin x) + \cos^2 x \sin(\sin x)}{-\sin x} = \lim_{x \to 0} (1 - \cos(\sin x) - \frac{\cos^2 x \sin(\sin x)}{\sin x})
ここで、x0x \to 0 のとき、sinxx1\frac{\sin x}{x} \to 1 なので、limx0sin(sinx)sinx=1\lim_{x\to 0} \frac{\sin(\sin x)}{\sin x} = 1。よって、limx0sin(sinx)x=limx0sin(sinx)sinxsinxx=1\lim_{x \to 0} \frac{\sin(\sin x)}{x} = \lim_{x \to 0} \frac{\sin(\sin x)}{\sin x}\frac{\sin x}{x} = 1.
limx0(1cos(sinx)cos2xsin(sinx)sinx)=limx0(1cos(sinx)cos2xsin(sinx)xxsinx)=1cos(0)111=111=1\lim_{x \to 0} (1 - \cos(\sin x) - \frac{\cos^2 x \sin(\sin x)}{\sin x}) = \lim_{x \to 0} (1 - \cos(\sin x) - \cos^2 x \frac{\sin(\sin x)}{x}\frac{x}{\sin x}) = 1 - \cos(0) - 1 \cdot 1 \cdot 1 = 1 - 1 - 1 = -1
したがって、limx0sinxsin(sinx)sinxx=12\lim_{x \to 0} \frac{\sin x - \sin(\sin x)}{\sin x - x} = \frac{1}{2}
別の解法として、sinx=xx36+O(x5)\sin x = x - \frac{x^3}{6} + O(x^5)のテイラー展開を用いることを考えます。
sin(sinx)=sinxsin3x6+O(sin5x)=xx3616(xx36)3+O(x5)=xx36x36+O(x5)=xx33+O(x5)\sin(\sin x) = \sin x - \frac{\sin^3 x}{6} + O(\sin^5 x) = x - \frac{x^3}{6} - \frac{1}{6} (x - \frac{x^3}{6})^3 + O(x^5) = x - \frac{x^3}{6} - \frac{x^3}{6} + O(x^5) = x - \frac{x^3}{3} + O(x^5)
よって、sinxsin(sinx)=(xx36)(xx33)+O(x5)=x36+O(x5)\sin x - \sin(\sin x) = (x - \frac{x^3}{6}) - (x - \frac{x^3}{3}) + O(x^5) = \frac{x^3}{6} + O(x^5)
また、sinxx=xx36x+O(x5)=x36+O(x5)\sin x - x = x - \frac{x^3}{6} - x + O(x^5) = -\frac{x^3}{6} + O(x^5)
limx0sinxsin(sinx)sinxx=limx0x36+O(x5)x36+O(x5)=1\lim_{x \to 0} \frac{\sin x - \sin(\sin x)}{\sin x - x} = \lim_{x \to 0} \frac{\frac{x^3}{6} + O(x^5)}{-\frac{x^3}{6} + O(x^5)} = -1

3. 最終的な答え

-1

「解析学」の関連問題

$\mathbb{R}^3$ において、閉曲面 $S$ を領域 $V$ の境界面とします。$\vec{r} = xi + yj + zk$, $r = |\vec{r}|$ とします。原点 $O$ が...

ベクトル解析発散定理面積分
2025/7/7

関数 $y = \frac{\sin^{-1} x}{\cos^{-1} x}$ の微分を求める問題です。

微分逆三角関数商の微分法
2025/7/7

与えられた関数 $y = x^4 - 2x^3 + 2$ の凹凸を調べる問題です。具体的には、以下の区間における凹凸を答える必要があります。 * $x < \text{【1】}$ * $\text{【...

微分凹凸2階微分関数のグラフ
2025/7/7

$\int \frac{dx}{\cos x}$ を計算する問題です。

積分三角関数置換積分部分分数分解
2025/7/7

与えられた関数 $y = x^4 - 2x^3 + 2$ の凹凸を調べる問題です。$x$ の範囲によって、グラフが上に凸か下に凸かを答えます。

微分2階微分凹凸グラフ
2025/7/7

定積分 $\int_1^2 (x + \frac{3}{x^2}) dx$ を計算します。

定積分積分三角関数積分計算
2025/7/7

関数 $f(x) = x^3 - 3x$ の $-1 \le x < 2$ における最大値と最小値、およびそれぞれのときの $x$ の値を求めよ。

関数の最大最小微分導関数極値関数のグラフ
2025/7/7

関数 $f(x) = -2x^3 + 3x^2 + 12x - 7$ の $1 \le x \le 3$ における最大値と最小値、およびそのときの $x$ の値を求める。

関数の最大最小微分導関数三次関数
2025/7/7

関数 $f(x) = x^4 - 2x^2 + 3$ の $-2 < x < 2$ における最小値を求める問題です。

関数の最小値二次関数平方完成定義域
2025/7/7

与えられた関数 $y = \tan^{-1}(\frac{3}{4}x)$ の導関数を求める問題です。

微分逆三角関数合成関数
2025/7/7