双曲線関数の恒等式
数式
$$ \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*} $$
■