📂関数

双曲線関数の恒等式

数式

$$\begin{align} \sinh(-x) =&\ -\sinh x \\ \cosh(-x) =&\ \cosh x \\ \tanh(-x) =&\ - \tanh x \\ \cosh x + \sinh x =&\ e^{x} \\ \cosh x - \sinh x =&\ e^{-x} \\ \cosh^{2}x -\sinh^{2}x =&\ 1 \end{align}$$

説明

特に証明することもない。定義からすぐに分かる事実だ。

証明

$(1)$の証明

$$\begin{align*} \sinh(-x) =&\ \frac{e^{-x}-e^{x}}{2} \\ =&-\frac{e^{x}-e^{-x}}{2} \\ =&-\sinh x \end{align*}$$

■

$(2)$の証明

$$\begin{align*} \cosh(-x) =&\ \frac{e^{-x}+e^{x}}{2} \\ =&\ \frac{e^{x}+e^{-x}}{2} \\ =&\ \cosh x \end{align*}$$

■

$(3)$の証明

$$\tanh (-x)=\frac{\sinh (-x)}{\cosh (-x)}=\frac{-\sinh x }{\cosh x}=-\tanh x$$

■

$(4)$の証明

$$\begin{align*} \cosh x + \sinh x =&\ \frac{e^{x}+e^{-x}}{2}+\frac{e^{x}-e^{-x}}{2} \\ =&\ e^{x} \end{align*}$$

■

$(5)$の証明

$$\begin{align*} \cosh x - \sinh x =&\ \frac{e^{x}+e^{-x}}{2}-\frac{e^{x}-e^{-x}}{2} \\ =&\ e^{-x} \end{align*}$$

■

$(6)$の証明

$$\begin{align*} \cosh^{2} x -\sinh^{2}x =&\ \frac{(e^{x}+e^{-x})^{2}}{4}-\frac{(e^{x}-e^{-x})^{2}}{4} \\ =&\ \frac{(e^{2x}+e^{-2x}+2)-(e^{2x}+e^{-x}-2)}{4} \\ =&\ \frac{4}{4} \\ =&\ 1 \end{align*}$$

■