logo

역쌍곡함수 📂함수

역쌍곡함수

정의1

쌍곡함수의 역함수를 역쌍곡함수라 한다.

$$ \begin{align*} y = \sinh^{-1} x &\iff \sinh y = x \\ y = \cosh^{-1} x &\iff \cosh y = x \\ y = \tanh^{-1} x &\iff \tanh y = x \\ \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$

방법1

$y = \sinh^{-1} x$라고 하자. 그러면 $\sinh y = x$이므로,

$$ \dfrac{e^{y} - e^{-y}}{2} = x \implies e^{y} - e^{-y} - 2x = 0 $$

$e^{y}$을 곱하고 $e^{y}$에 대한 2차 방정식으로 정리하자.

$$ (e^{y})^{2} - 2x(e^{y}) - 1 = 0 $$

근의 공식으로 근을 구하면,

$$ e^{y} = x \pm \sqrt{x^{2} + 1} $$

이때 $x \le \sqrt{x^{2}} < \sqrt{x^{2} + 1}$이고, $e^{y} > 0$이므로 가능한 경우는,

$$ e^{y} = x + \sqrt{x^{2} + 1} $$

양변에 로그를 취하면,

$$ y = \ln (x + \sqrt{x^{2} + 1}) $$

방법2

$y = \sinh^{-1} x$라고 하자. 그러면 $\sinh y = x$이다. $\cosh x + \sinh x = e^{x}$이므로, 양변에 $\cosh y$를 더하면,

$$ e^{y} = x + \cosh y $$

또한 항등식 $\cosh^{2}x - \sinh^{2}x = 1$을 이용하면 다음을 얻는다.

$$ e^{y} = x + \sqrt{\sinh^{2} y + 1} = x + \sqrt{x^{2} + 1} $$

양변에 로그를 취하면,

$$ y = \ln (x + \sqrt{x^{2} + 1}) $$


$\cosh^{-1} x$

$\sinh^{-1} x$를 구하는 것과 같은 방법이니 간단히 적으면 다음과 같다.

$$ \begin{align*} && y &= \cosh^{-1} x \\ \implies && \cosh y &= x \\ \implies && \cosh y + \sinh y &= x + \sinh y \\ \implies && e^{y} &= x + \sqrt{\cosh^{2}y - 1} \\ \implies && e^{y} &= x + \sqrt{x^{2} - 1} \\ \implies && y &= \ln (x + \sqrt{x^{2} - 1}) \end{align*} $$


$\tanh^{-1} x$

설명없이 과정만 간단히 적으면 다음과 같다.

$$ \begin{align*} && y &= \tanh^{-1} x \\ \implies && \tanh y &= x \\ \implies && \dfrac{e^{y} - e^{-y}}{e^{y} + e^{-y}} &= x \\ \implies && \dfrac{e^{2y} - 1}{e^{2y} + 1} &= x \\ \implies && e^{2y} - 1 &= x (e^{2y} + 1) \\ \implies && e^{2y} - xe^{2y} &= x + 1 \\ \implies && (1 - x)e^{2y} &= x + 1 \\ \implies && e^{2y} &= \dfrac{1 + x}{1 - x} \\ \implies && y &= \dfrac{1}{2} \ln \left( \dfrac{1 + x}{1 - x} \right) \\ \end{align*} $$

정의역과 치역

$$ \begin{align*} \sinh^{-1} &: \mathbb{R} \to \mathbb{R} \\ \cosh^{-1} &: [1, \infty) \to [0, \infty) \\ \tanh^{-1} &: (-1, 1) \to \mathbb{R} \end{align*} $$

도함수

$$ \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*} $$


  1. James Stewart, Daniel Clegg, and Saleem Watson, Calculus (early transcendentals, 9E), p261-266 ↩︎