双曲函数恒等式

<image>

在数学中，双曲函数恒等式是对出现的变量的所有值都为实的涉及到双曲函数的等式。这些恒等式在表达式中有些双曲函数需要简化的时候是很有用的。双曲函数的恒等式有的与三角恒等式类似。就如同三角函数，他有一个重要应用是非双曲函数的积分：一个常用技巧是首先使用换元积分法，规则与使用三角函数的代换规则类似，则通过双曲函数恒等式可简化结果的积分。

## 符号

函数｜倒数函数

全写｜简写｜全写｜简写

函数｜hyperbolic sine｜sinh｜hyperbolic cosecant｜csch

反函数｜inverse hyperbolic sine｜arcsinh｜inverse hyperbolic cosecant｜arccsch

函数｜hyperbolic cosine｜cosh｜hyperbolic secant｜sech

反函数｜inverse hyperbolic cosine｜arccosh｜inverse hyperbolic secant｜arcsech

函数｜hyperbolic tangent｜tanh｜hyperbolic cotangent｜coth

反函数｜inverse hyperbolic tangent｜arctanh｜inverse hyperbolic cotangent｜arccoth

## 基本关系

<image>

<image>

双曲函数基本恒等式如下：

$$\cosh^2 x - \sinh^2 x = 1\,$$ $$\tanh x \cdot \coth x \, = 1$$ $$1\, - \tanh^2 x = \operatorname{sech}^2 x$$ $$\coth^2 x - 1\, = \operatorname{csch}^2 x$$

- $$\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｜cosh｜tanh｜coth｜sech｜csch

$\sinh x$｜$\sinh x\ $｜$\sgn x \sqrt{\cosh^2 x -1}$｜$\frac{\tanh x}{\sqrt{1 - \tanh^2 x}}$｜$\frac{\sgn x}{\sqrt{\coth^2 x -1}}$｜$\sgn(x)\frac{\sqrt{1-\operatorname{sech}^2(x)}}{\operatorname{sech}(x)}$｜$\frac{1}{\operatorname{csch}(x)}$

$\cosh x$｜$\sqrt{1 + \sinh^2 x}$｜$\cosh x\ $｜$\frac{1}{\sqrt{1 - \tanh^2 x}}$｜$\, \frac{\left|\coth(x)\right|} {\sqrt{\coth^2(x)- 1}}$｜$\, \frac{1}{\operatorname{sech}(x)}$｜$\, \frac{\sqrt{1+\operatorname{csch}^2(x)}}{\left|\operatorname{csch}(x)\right|}$

$\tanh x$｜$\frac{\sinh x}{\sqrt{1 + \sinh^2 x}}$｜$\frac{\sgn x\sqrt{\cosh^2 x -1}}{\cosh x}$｜$\tanh x\ $｜$\frac{1}{\coth x}$｜$\,\sgn(x) \sqrt{1-\operatorname{sech}^2(x)}$｜$\,\frac{\sgn(x)}{ \sqrt{1+\operatorname{csch}^2(x)}}$

$\coth x$｜${\sqrt{1 + \sinh^2 x} \over \sinh x}$｜${\cosh x \over \sgn x\sqrt{\cosh^2 x -1}}$｜${1 \over \tanh x}$｜$\coth x\ $｜$\,\frac{\sgn(x)}{\sqrt{1-\operatorname{sech}^2 (x)}}$｜$\,\sgn(x) \sqrt{1+\operatorname{csch}^2 (x)}$

$\operatorname{sech} x$｜${1 \over \sqrt{1 + \sinh^2 x}}$｜${1 \over \cosh \theta}$｜$\sqrt{1 - \tanh^2 x}$｜$\,\frac{\sqrt{\coth^2(x)- 1}}{\left|\coth(x)\right|}$｜$\operatorname{sech} x\ $｜$\,\frac{\left|\operatorname{csch}(x)\right|}{\sqrt{1+\operatorname{csch}^2 (x)}}$

$\operatorname{csch} x$｜${1 \over \sinh x}$｜$\frac{\sgn x }{\sqrt{\cosh^2 x -1}}$｜$\frac{\sqrt{1 - \tanh^2 x}}{\tanh x}$｜$\, \sgn(x)\sqrt{\coth^2(x)- 1}$｜$\, \sgn(x)\frac{\operatorname{sech}(x)}{\sqrt{1-\operatorname{sech}^2 (x)}}$｜$\operatorname{csch} x\ $

### 其他函数的基本关系

三角函数还有正矢、余矢、半正矢、半余矢、外正割、外余割等函数，利用他们的定义也可以导出双曲函数。

名称｜函数｜值

双曲正矢, hyperbolic versine｜$\operatorname{versinh}(x)$ $\operatorname{vsnh}(x)$｜$\cosh x -1$

双曲余矢, hyperbolic coversine｜$\operatorname{coversinh}(x)$ $\operatorname{cvsh}(x)$｜$\sinh x -1$

双曲半正矢 , hyperbolic haversine｜$\operatorname{haversinh}(x)$｜$\frac{\operatorname{versinh}(x)}{2}$

双曲半余矢 , hyperbolic hacoversine｜$\operatorname{hacoversinh}(x)$｜$\frac{\operatorname{cvsh}(x)}{2}$

双曲外正割 , hyperbolic exsecant｜$\operatorname{exsech}(x)$｜$1 - \operatorname{sech}(x)$

双曲外余割 , hyperbolic excosecant｜$\operatorname{excsch}(x)$｜$1 - \operatorname{csch}(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}\ =\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_{2 n} 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^{i x} = \cos x + i \;\sin x \qquad , \; e^{-i x} = \cos x - i \;\sin x$$

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

所以

$$\cosh ix = \tfrac12(e^{i x} + e^{-i x}) = \cos x$$

$$\sinh ix = \tfrac12(e^{i x} - e^{-i x}) = i \sin x$$

下表列出部分的三角函数与双曲函数的恒等式:

三角函数｜双曲函数

$\sin \theta =-i\sinh{i\theta}\,$｜$\sinh{\theta}=i\sin{(-i\theta)}\,$

$\cos{\theta}=\cosh{i\theta}\,$｜$\cosh{\theta}=\cos{(-i\theta)}\,$

$\tan \theta =\frac{\tanh{i\theta}}{i}\,$｜$\tanh{\theta}=i\tan{(-i\theta)}\,$

$\cot{\theta}=i\coth{i\theta}\,$｜$\coth \theta =\frac{\cot{(-i\theta)}}{i}\,$

$\sec{\theta}=\operatorname{sech}{\,i\theta}\,$｜$\operatorname{sech}{\theta}=\sec{(-i\theta)}\,$

$\csc{\theta}=i\;\operatorname{csch}{\, i\theta}\,$｜$\operatorname{csch} \theta =\frac{\csc{(-i\theta)}}{i}\,$

$$\cosh ix = \tfrac12(e^{i x} + e^{-i x}) = \cos x$$

$$\sinh ix = \tfrac12(e^{i x} - e^{-i x}) = 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 \,$$