雙曲函數恆等式

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

雙曲扇形a的很多雙曲函數可以在幾何上依據以O為中心的雙曲線來構造。

符號

	函數		倒數函數
	全寫	簡寫	全寫	簡寫
函數	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

基本關係

sinh, cosh 和 tanh

csch, sech 和 coth

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

$\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\$	$\operatorname {sgn} x{\sqrt {\cosh ^{2}x-1}}$	${\frac {\tanh x}{\sqrt {1-\tanh ^{2}x}}}$	${\frac {\operatorname {sgn} x}{\sqrt {\coth ^{2}x-1}}}$	$\operatorname {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 {\operatorname {sgn} x{\sqrt {\cosh ^{2}x-1}}}{\cosh x}}$	$\tanh x\$	${\frac {1}{\coth x}}$	$\,\operatorname {sgn}(x){\sqrt {1-\operatorname {sech} ^{2}(x)}}$	$\,{\frac {\operatorname {sgn}(x)}{\sqrt {1+\operatorname {csch} ^{2}(x)}}}$
$\coth x$	${{\sqrt {1+\sinh ^{2}x}} \over \sinh x}$	${\cosh x \over \operatorname {sgn} x{\sqrt {\cosh ^{2}x-1}}}$	${1 \over \tanh x}$	$\coth x\$	$\,{\frac {\operatorname {sgn}(x)}{\sqrt {1-\operatorname {sech} ^{2}(x)}}}$	$\,\operatorname {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 {\operatorname {sgn} x}{\sqrt {\cosh ^{2}x-1}}}$	${\frac {\sqrt {1-\tanh ^{2}x}}{\tanh x}}$	$\,\operatorname {sgn}(x){\sqrt {\coth ^{2}(x)-1}}$	$\,\operatorname {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}}\ =\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$

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

三角函數	雙曲函數
$\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={\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