雙曲函數恆等式

在數學中，**雙曲函數恆等式**是對出現的變量的所有值都為實的涉及到雙曲函數的等式。這些恆等式在表達式中有些雙曲函數需要簡化的時候是很有用的。雙曲函數的恆等式有的與三角恆等式類似。就如同三角函數，他有一個重要應用是非雙曲函數的積分：一個常用技巧是首先使用換元積分法，規則與使用三角函數的代換規則類似，則通過雙曲函數恆等式可簡化結果的積分。

## 符號

## 基本關係

雙曲函數基本恆等式如下：

 * $\sinh x={{e^{x}-e^{-x}} \over 2}$
* $\cosh x={{e^{x}+e^{-x}} \over 2}$
* $\tanh x={{\sinh x} \over {\cosh x}}$
* $\coth x={1 \over {\tanh x}}$
* ${\mathop {\rm {sech}} }x={1 \over {\cosh x}}$
* ${\mathop {\rm {csch}} }x={1 \over {\sinh x}}$

就如同三角函數，由上面的平方關係加上雙曲函數的基本定義，可以導出下面的表格，即每個雙曲函數都可以用其他五個表達。（嚴謹地說，所有根號前都應根據實際情況添加正負號）

### 其他函數的基本關係

三角函數還有正矢、餘矢、半正矢、半餘矢、外正割、外餘割等函數，利用他們的定義也可以導出雙曲函數。

## 和角公式

　
: $\sinh(x+y)\ =\sinh x\cosh y+\cosh x\sinh y\,$

　
: $\sinh(x-y)\ =\sinh x\cosh y-\cosh x\sinh y\,$

　
: $\cosh(x+y)\ =\cosh x\cosh y+\sinh x\sinh y\,$

　
: $\cosh(x-y)\ =\cosh x\cosh y-\sinh x\sinh y\,$

　
: $\tanh(x+y)\ ={\frac {\tanh x+\tanh y}{1+\tanh x\tanh y}}\,$

　
: $\tanh(x-y)\ ={\frac {\tanh x-\tanh y}{1-\tanh x\tanh y}}\,$

## 和差化積公式

　
: $\sinh x+\sinh y\ =2\sinh {\frac {x+y}{2}}\cosh {\frac {x-y}{2}}\,$

　
: $\sinh x-\sinh y\ =2\cosh {\frac {x+y}{2}}\sinh {\frac {x-y}{2}}\,$

　
: $\cosh x+\cosh y\ =2\cosh {\frac {x+y}{2}}\cosh {\frac {x-y}{2}}\,$

　
: $\cosh x-\cosh y\ =2\sinh {\frac {x+y}{2}}\sinh {\frac {x-y}{2}}\,$

　
: $\tanh x+\tanh y\ ={\frac {\sinh(x+y)}{\cosh x\cosh y}}\,$

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

## 積化和差公式

　
: $\sinh x\sinh y\ ={\frac {\cosh(x+y)-\cosh(x-y)}{2}}\,$

　
: $\cosh x\cosh y\ ={\frac {\cosh(x+y)+\cosh(x-y)}{2}}\,$

　
: $\sinh x\cosh y\ ={\frac {\sinh(x+y)+\sinh(x-y)}{2}}\,$

## 倍角公式

* 二倍角公式：

　
: $\sinh 2x\ =2\sinh x\cosh x\,$

　
: $\cosh 2x\ =\cosh ^{2}x+\sinh ^{2}x=2\cosh ^{2}x-1=2\sinh ^{2}x+1\,$

　
: $\tanh 2x\ ={\frac {2\tanh x}{1+\tanh ^{2}x}}\,$

* 三倍角公式：

　
: $\sinh 3x\ =3\sinh x+4\sinh ^{3}x$

　
: $\cosh 3x\ =4\cosh ^{3}x-3\cosh x$

## 半形公式

　
: $\sinh {\frac {x}{2}}\ =\operatorname {sgn} x{\sqrt {\frac {\cosh x-1}{2}}}$

　
: $\cosh {\frac {x}{2}}\ ={\sqrt {\frac {\cosh x+1}{2}}}$

　
: $\tanh {\frac {x}{2}}\ ={\frac {\cosh x-1}{\sinh x}}\ ={\frac {\sinh x}{1+\cosh x}}\,$

## 冪簡約公式

　
: $\sinh ^{2}x={\frac {\cosh 2x-1}{2}}\,$

　
: $\cosh ^{2}x={\frac {\cosh 2x+1}{2}}\,$

　
: $\tanh ^{2}x={\frac {\cosh 2x-1}{\cosh 2x+1}}\,$

## 雙曲正切半形公式

　
: $\sinh x={\frac {2\tanh {\frac {x}{2}}}{1-\tanh ^{2}{\frac {x}{2}}}}$

　
: $\cosh x={\frac {1+\tanh ^{2}{\frac {x}{2}}}{1-\tanh ^{2}{\frac {x}{2}}}}$

　
: $\tanh x={\frac {2\tanh {\frac {x}{2}}}{1+\tanh ^{2}{\frac {x}{2}}}}$

## 泰勒展開式

　
: $\sinh x=x+{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}+{\frac {x^{7}}{7!}}+\cdots =\sum _{n=0}^{\infty }{\frac {x^{2n+1}}{(2n+1)!}}$

　
: $\cosh x=1+{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}+{\frac {x^{6}}{6!}}+\cdots =\sum _{n=0}^{\infty }{\frac {x^{2n}}{(2n)!}}$

　
: $\tanh x=x-{\frac {x^{3}}{3}}+{\frac {2x^{5}}{15}}-{\frac {17x^{7}}{315}}+\cdots =\sum _{n=1}^{\infty }{\frac {2^{2n}(2^{2n}-1)B_{2n}x^{2n-1}}{(2n)!}},\left|x\right|<{\frac {\pi }{2}}$

　
: $\coth x={\frac {1}{x}}+{\frac {x}{3}}-{\frac {x^{3}}{45}}+{\frac {2x^{5}}{945}}+\cdots ={\frac {1}{x}}+\sum _{n=1}^{\infty }{\frac {2^{2n}B_{2n}x^{2n-1}}{(2n)!}},0<\left|x\right|<\pi $ (羅朗級數)

　
: $\operatorname {sech} \,x=1-{\frac {x^{2}}{2}}+{\frac {5x^{4}}{24}}-{\frac {61x^{6}}{720}}+\cdots =\sum _{n=0}^{\infty }{\frac {E_{2n}x^{2n}}{(2n)!}},\left|x\right|<{\frac {\pi }{2}}$

　
: $\operatorname {csch} \,x={\frac {1}{x}}-{\frac {x}{6}}+{\frac {7x^{3}}{360}}-{\frac {31x^{5}}{15120}}+\cdots ={\frac {1}{x}}+\sum _{n=1}^{\infty }{\frac {2(1-2^{2n-1})B_{2n}x^{2n-1}}{(2n)!}},0<\left|x\right|<\pi $ (羅朗級數)

其中

　
: $B_{n}\,$ 是第 n 項 伯努利數

　
: $E_{n}\,$ 是第 n 項 歐拉數

## 三角函數與雙曲函數的恆等式

利用三角恆等式的指數定義和雙曲函數的指數定義即可求出下列恆等式:

$$
e^{ix}=\cos x+i\;\sin x\qquad ,\;e^{-ix}=\cos x-i\;\sin x
$$

$$
e^{x}=\cosh x+\sinh x\!\qquad ,\;e^{-x}=\cosh x-\sinh x\!
$$

所以

$$
\cosh ix={\tfrac {1}{2}}(e^{ix}+e^{-ix})=\cos x
$$

$$
\sinh ix={\tfrac {1}{2}}(e^{ix}-e^{-ix})=i\sin x
$$

下表列出部分的三角函數與雙曲函數的恆等式:

* 其他恆等式:

　
: $\cosh ix={\tfrac {1}{2}}(e^{ix}+e^{-ix})=\cos x$

　
: $\sinh ix={\tfrac {1}{2}}(e^{ix}-e^{-ix})=i\sin x$

　
: $\cosh(x+iy)=\cosh(x)\cos(y)+i\sinh(x)\sin(y)\,$

　
: $\sinh(x+iy)=\sinh(x)\cos(y)+i\cosh(x)\sin(y)\,$

　
: $\tanh ix=i\tan x\,$

　
: $\cosh x=\cos ix\,$

　
: $\sinh x=-i\sin ix\,$

　
: $\tanh x=-i\tan ix\,$

## 參見

* 三角函數恆等式
* 雙曲函數
* 雙曲線
* 三角函數
* 三角形

## 參考文獻

* 數學基本公式手冊 九章出版社 ISBN 957-603-010-2