在数学中,双曲函数恒等式是对出现的变量的所有值都为实的涉及到双曲函数的等式。这些恒等式在表达式中有些双曲函数需要简化的时候是很有用的。双曲函数的恒等式有的与三角恒等式类似。就如同三角函数,他有一个重要应用是非双曲函数的积分:一个常用技巧是首先使用换元积分法,规则与使用三角函数的代换规则类似,则通过双曲函数恒等式可简化结果的积分。
双曲函数基本恒等式如下:
就如同三角函数,由上面的平方关系加上双曲函数的基本定义,可以导出下面的表格,即每个双曲函数都可以用其他五个表达。(严谨地说,所有根号前都应根据实际情况添加正负号)
三角函数还有正矢、余矢、半正矢、半余矢、外正割、外余割等函数,利用他们的定义也可以导出双曲函数。
其中
利用三角恒等式的指数定义和双曲函数的指数定义(英语:Hyperbolic_function#Hyperbolic_functions_for_complex_numbers)即可求出下列恒等式:
e i x = cos x + i sin x , e − i x = cos x − i sin x {\displaystyle e^{ix}=\cos x+i\;\sin x\qquad ,\;e^{-ix}=\cos x-i\;\sin x}
e x = cosh x + sinh x , e − x = cosh x − sinh x {\displaystyle e^{x}=\cosh x+\sinh x\!\qquad ,\;e^{-x}=\cosh x-\sinh x\!}
所以
cosh i x = 1 2 ( e i x + e − i x ) = cos x {\displaystyle \cosh ix={\tfrac {1}{2}}(e^{ix}+e^{-ix})=\cos x}
sinh i x = 1 2 ( e i x − e − i x ) = i sin x {\displaystyle \sinh ix={\tfrac {1}{2}}(e^{ix}-e^{-ix})=i\sin x}
下表列出部分的三角函数与双曲函数的恒等式: