📂함수

쌍곡함수의 덧셈정리 증명

공식

$$\begin{align} \sinh (x\pm y) =&\ \sinh x \cosh y \pm \sinh y \cosh x \\ \cosh (x \pm y) =&\ \cosh x \cosh y \pm \sinh x \sinh y \\ \tanh{x \pm y}&=\frac{\tanh x \pm \tanh y}{1 \pm \tanh x \tanh y} \end{align}$$

설명

쌍곡함수와 삼각함수의 관계를 생각해보면 삼각함수의 덧셈정리와 모양이 비슷한 것은 당연하다.

증명

증명 $(1)$

$$\begin{align*} \sinh (x+y) =&\ \frac{e^{x+y}-e^{-x-y}}{2} \\ =&\ \frac{2e^{x+y}-2e^{-x-y}}{4} \\ =&\ \frac{e^{x+y} \color{red}{-e^{-x+y}} \color{blue}{+e^{x-y}}-e^{-x-y}}{4} +\frac{e^{x+y} \color{red}{+e^{-x+y}} \color{blue}{-e^{x-y}}-e^{-x-y}}{4} \\ =&\ \frac{(e^{x} -e^{-x})e^{y}+(e^{x}-e^{-x})e^{-y}}{4} +\frac{e^{y}(e^{x}+e^{-x})-e^{-y}(e^{x}+e^{-x})}{4} \\ =&\ \frac{(e^{x} -e^{-x})(e^{y}+e^{-y})}{4} +\frac{(e^{y}-e^{-y})(e^{x}+e^{-x})}{4} \\ =&\ \left( \frac{e^{x} -e^{-x}}{2} \right)\left( \frac{e^{y} +e^{-y}}{2} \right) + \left( \frac{e^{y} -e^{-y}}{2} \right)\left( \frac{e^{x} +e^{-x}}{2} \right) \\[1em] =&\ \sinh x \cosh y +\sinh y \cosh x \end{align*}$$

$\sinh (-x)=-\sinh x$이고 $\cosh (-y)=\cosh y$이므로,

$$\begin{align*} \sinh (x-y) =&\ \sinh x \cosh (-y)+\sinh (-y) \cosh x \\ =&\ \sinh{x} \cosh y -\sinh y \cosh x \end{align*}$$

■

증명 $(2)$

$$\begin{align*} \cosh (x+y) =&\ \frac{e^{x+y}+e^{-x-y}}{2} \\ =&\ \frac{2e^{x+y}+2e^{-x-y}}{4} \\ =&\ \frac{e^{x+y} \color{red}{+e^{-x+y}} \color{blue}{+e^{x-y}}+e^{-x-y}}{4} +\frac{e^{x+y} \color{red}{-e^{-x+y}} \color{blue}{-e^{x-y}}+e^{-x-y}}{4} \\ =&\ \frac{(e^{x} +e^{-x})e^{y}+(e^{x}+e^{-x})e^{-y}}{4} +\frac{(e^{x}-e^{-x})e^{y}-(e^{x}-e^{-x})e^{-y}}{4} \\ =&\ \frac{(e^{x} +e^{-x})(e^{y}+e^{-y})}{4} +\frac{(e^{x}-e^{-x})(e^{y}-e^{-y})}{4} \\ =&\ \left( \frac{e^{x} +e^{-x}}{2} \right)\left( \frac{e^{y} +e^{-y}}{2} \right) +\left( \frac{e^{x} -e^{-x}}{2} \right) \left( \frac{e^{y} -e^{-y}}{2} \right) \\[1em] =&\ \cosh x \cosh y +\sinh x \sinh y \end{align*}$$

또한

$$\begin{align*} \cosh (x-y) =&\ \cosh x \cosh (-y) + \sinh x \sinh (-y) \\ =&\ \cosh x \cosh y -\sinh x \sinh y \end{align*}$$

■

증명 $(3)$

$$\begin{align*} \tanh (x+y) =&\ \frac{\sinh (x+y)}{\cosh (x+y)} \\[1em] =&\ \frac{\sinh x \cosh y + \sinh y \cosh x}{\cosh x \cosh y +\sinh x \sinh y} \\[1em] =&\ \frac{\frac{\sinh x \cosh y }{\cosh x \cosh y}+ \frac{\sinh y \cosh x}{\cosh x \cosh y}}{1 +\frac{\sinh x \sinh y}{\cosh x \cosh y}} \\[1em] =&\ \frac{\tanh x +\tanh y}{1+\tanh x \tanh y} \end{align*}$$

또한 $\tanh (-x)=-\tanh x$이므로

$$\begin{align*} \tanh (x-y) =&\ \frac{\tanh x +\tanh (-y)}{1+\tanh x \tanh (-y)} \\[1em] =&\ \frac{\tanh x -\tanh y}{1-\tanh x \tanh y} \end{align*}$$

■