逆双曲線関数の導関数
式1
$$ \begin{align*} \dfrac{d}{dx} (\sinh^{-1} x) &= \dfrac{1}{\sqrt{x^{2} + 1}} \qquad & \dfrac{d}{dx} (\csch^{-1} x) &= - \dfrac{1}{|x|\sqrt{x^{2} + 1}} \\ \dfrac{d}{dx} (\cosh^{-1} x) &= \dfrac{1}{\sqrt{x^{2} - 1}} \qquad & \dfrac{d}{dx} (\sech^{-1} x) &= - \dfrac{1}{x\sqrt{1 - x^{2}}} \\ \dfrac{d}{dx} (\tanh^{-1} x) &= \dfrac{1}{1 - x^{2}} \qquad & \dfrac{d}{dx} (\coth^{-1} x) &= \dfrac{1}{1 - x^{2}} \end{align*} $$
説明
逆双曲線関数のクローズドフォームは以下のようです。
$$ \begin{align*} \sinh^{-1} x &= \ln \left( x + \sqrt{x^{2} + 1} \right) & x \in \mathbb{R} \\ \cosh^{-1} x &= \ln \left( x + \sqrt{x^{2} - 1} \right) & x \le 1 \\ \tanh^{-1} x &= \dfrac{1}{2} \ln \left( \dfrac{1 + x}{1 - x} \right) & -1 \lt x \lt 1 \\ \end{align*} $$
証明
$(\sinh^{-1} x)^{\prime}$
連鎖律を使用
$y = \sinh^{-1} x$とする。すると$\sinh y = x$であるため、両辺を$x$に関して微分すると連鎖律により、
$$ \dfrac{d}{dx} \sinh y = (x)^{\prime} \implies \dfrac{d}{dy} \sinh y \dfrac{dy}{dx} = 1 \implies \cosh y \dfrac{dy}{dx} = 1 $$
したがって、次を得る。
$$ \dfrac{dy}{dx} = \dfrac{1}{\cosh y} $$
しかし$\cosh^{2} y - \sinh^{2} y = 1$であり、$\sinh y = x$であるため、
$$ \dfrac{dy}{dx} = \dfrac{1}{\sqrt{\sinh^{2} y + 1}} = \dfrac{1}{\sqrt{x^{2} + 1}} $$
■
対数関数の微分法を使用
対数関数の微分法によって、
$$ \begin{align*} \dfrac{d}{dx} (\sinh^{-1} x) &= \dfrac{d}{dx} \ln \left( x + \sqrt{x^{2} + 1} \right) = \dfrac{(x + \sqrt{x^{2} + 1})^{\prime}}{x + \sqrt{x^{2} + 1}} \\[1em] &= \dfrac{1 + \dfrac{2x}{2\sqrt{x^{2} + 1}}}{x + \sqrt{x^{2} + 1}} = \dfrac{\dfrac{x + \sqrt{x^{2} + 1}}{\sqrt{x^{2} + 1}}}{x + \sqrt{x^{2} + 1}} \\[1em] &= \dfrac{x + \sqrt{x^{2} + 1}}{(x + \sqrt{x^{2} + 1})\sqrt{x^{2} + 1}} = \dfrac{1}{\sqrt{x^{2} + 1}} \\[1em] \end{align*} $$
■
$(\cosh^{-1} x)^{\prime}$
上記の方法で得られるため、手順のみ簡単に列挙します。
$$ \begin{align*} && & y = \cosh^{-1} x \implies \cosh y = x \implies \dfrac{d}{dx} \cosh y = 1 \\ \implies && & \sinh y \dfrac{dy}{dx} = 1 \implies \dfrac{dy}{dx} = \dfrac{1}{\sinh y} \\ \implies && & \dfrac{dy}{dx} = \dfrac{1}{\sqrt{\cosh^{2} y + 1}} = \dfrac{1}{\sqrt{x^{2} + 1}} \end{align*} $$
$(\tanh^{-1} x)^{\prime}$
上記の方法で得られるため、手順のみ簡単に列挙します。
$$ \begin{align*} && & y = \tanh^{-1} x \implies \tanh y = x \implies \dfrac{d}{dx} \tanh y = 1 \\ \implies && & \sech^{2} y \dfrac{dy}{dx} = 1 \implies \dfrac{dy}{dx} = \dfrac{1}{\sech^{2} y} \\ \implies && & \dfrac{dy}{dx} = \dfrac{1}{1 - \tanh^{2} y} = \dfrac{1}{1 - x^{2}} \end{align*} $$
James Stewart, Daniel Clegg, and Saleem Watson, Calculus (early transcendentals, 9E), p261-266\ ↩︎