逆三角関数 $\cos^{-1}x$ の微分が、$-1 < x < 1$ の範囲において、 $\frac{d}{dx} (\cos^{-1}x) = -\frac{1}{\sqrt{1-x^2}}$ となることを示す。

解析学微分逆三角関数合成関数の微分導関数
2025/5/21

1. 問題の内容

逆三角関数 cos1x\cos^{-1}x の微分が、1<x<1-1 < x < 1 の範囲において、
ddx(cos1x)=11x2\frac{d}{dx} (\cos^{-1}x) = -\frac{1}{\sqrt{1-x^2}}
となることを示す。

2. 解き方の手順

y=cos1xy = \cos^{-1}x とおく。このとき、cosy=x\cos y = x である。両辺を xx で微分する。
ddx(cosy)=ddx(x)\frac{d}{dx} (\cos y) = \frac{d}{dx} (x)
cosy\cos yxx で微分するには、合成関数の微分を用いる。
ddx(cosy)=ddy(cosy)dydx\frac{d}{dx} (\cos y) = \frac{d}{dy} (\cos y) \cdot \frac{dy}{dx}
cosy\cos yyy に関する微分は siny-\sin y であるから、
ddx(cosy)=sinydydx\frac{d}{dx} (\cos y) = -\sin y \cdot \frac{dy}{dx}
したがって、
sinydydx=1-\sin y \cdot \frac{dy}{dx} = 1
dydx=1siny\frac{dy}{dx} = -\frac{1}{\sin y}
ここで、sin2y+cos2y=1\sin^2 y + \cos^2 y = 1 より、siny=±1cos2y\sin y = \pm\sqrt{1 - \cos^2 y} である。cosy=x\cos y = x であるから、
siny=±1x2\sin y = \pm\sqrt{1 - x^2}
y=cos1xy = \cos^{-1}x の範囲は 0yπ0 \le y \le \pi であるので、siny0\sin y \ge 0 である。したがって、siny=1x2\sin y = \sqrt{1 - x^2} である。
よって、
dydx=11x2\frac{dy}{dx} = -\frac{1}{\sqrt{1 - x^2}}
ddx(cos1x)=11x2\frac{d}{dx} (\cos^{-1} x) = -\frac{1}{\sqrt{1 - x^2}}
また、逆三角関数 cos1x\cos^{-1}x が定義されるためには、1x1-1 \le x \le 1 でなければならない。
しかし、ddx(cos1x)=11x2\frac{d}{dx} (\cos^{-1} x) = -\frac{1}{\sqrt{1 - x^2}} の右辺は、x=±1x = \pm 1 のとき定義されないので、1<x<1-1 < x < 1 でなければならない。

3. 最終的な答え

ddx(cos1x)=11x2(1<x<1)\frac{d}{dx} (\cos^{-1} x) = -\frac{1}{\sqrt{1 - x^2}} \quad (-1 < x < 1)

「解析学」の関連問題

問題は、部分積分法を用いて以下の3つの不定積分を求めることです。 1. $\int 3xe^{2x} dx$

積分部分積分法不定積分
2025/5/21

次の3つの極限を求めます。 (1) $\lim_{n \to \infty} \frac{5^n - 2^n}{5^n + 2^n}$ (2) $\lim_{n \to \infty} \frac{4...

極限数列指数関数
2025/5/21

$\lim_{n \to \infty} (\sqrt{n^2 - n} - n)$ を求めよ。

極限数列有理化
2025/5/21

与えられた数列 $-1, \frac{1}{2}, -\frac{1}{3}, \dots, \frac{(-1)^n}{n}, \dots$ の極限を求める問題です。

数列極限収束極限の計算
2025/5/21

数列 $\frac{2}{1}, \frac{3}{2}, \frac{4}{3}, \dots, \frac{n+1}{n}, \dots$ の極限値を求めます。

数列極限収束
2025/5/21

数列 $\cos(\pi)$, $\cos(3\pi)$, $\cos(5\pi)$, $\dots$, $\cos((2n-1)\pi)$, $\dots$ の極限値を求める。

数列極限三角関数
2025/5/21

数列 $\{a_n\}$ が $|a_{n+2} - a_{n+1}| \le k |a_{n+1} - a_n|$ (ただし $0 < k < 1$, $n = 1, 2, \dots$) を満たす...

数列コーシー列不等式極限
2025/5/21

$0 < a < b$ とする。数列 $\{a_n\}$ と $\{b_n\}$ を次のように定める。 $a_1 = a$, $b_1 = b$ とし、 $a_{n+1} = \sqrt{a_n b_...

数列極限単調増加単調減少算術幾何平均
2025/5/21

$0 < a < b$ とする。数列 $\{a_n\}, \{b_n\}$ が以下のように定義される。 $a_1 = a, b_1 = b$ $a_{n+1} = \sqrt{a_n b_n}, \q...

数列収束単調増加単調減少相加相乗平均
2025/5/21

$0 < a < b$ として、2つの数列 $\{a_n\}$ と $\{b_n\}$ が次のように定義されています。 $a_1 = a$, $b_1 = b$ $a_{n+1} = \sqrt{a_...

数列収束算術幾何平均単調増加単調減少数学的帰納法相加相乗平均
2025/5/21