逆三角関数の微分法
定理1
$$ \begin{align*} \left( \sin^{-1}x \right)^{\prime} &= {{1} \over {\sqrt{1-x^2}}} \\ \left( \cos^{-1}x \right)^{\prime} &= -{{1} \over {\sqrt{1-x^2}}} \\ \left( \tan^{-1}x \right)^{\prime} &= {{1} \over {1+x^2}} \end{align*} $$
説明
それぞれ アークサイン、アークコサイン、アークタンジェント と読む。こんなものが微分できるのかと思うかもしれないが、実はかなり単純だ。右側を見れば分かるが、導関数の形がそれほど見慣れないものでも複雑でもない。三角関数とは全く関係ないようでも、いろいろな場所で使われるので、証明は覚えておこう。定義域など、細かく注意すべきことは自分で判断しよう。証明方法自体は、コサインであれタンジェントであれ本質的に大きな違いはないため、アークサインの $\sin ^{-1}$ だけを扱う。
証明
$y=\sin^{-1} x$ とする。$\sin^{-1}$ は $\sin$ の逆関数であるため、
$$ x=\sin y $$
この式の両辺を $x$ について微分すると、
$$ 1 = {{d\sin y} \over {dx}} = { {d \sin } y \over {dy}} { {dy} \over {dx}} = y^{\prime} \cos y $$
これを $y^{\prime}$ に関して再び整理すると、
$$ y^{\prime} = { {1} \over {\cos y} } = { {1} \over {\sqrt{1 - \sin ^{2} y}} } = { {1} \over {\sqrt{1 - x^2}} } $$
■
James Stewart, Daniel Clegg, and Saleem Watson, Calculus (early transcendentals, 9E), p222 ↩︎