Suppose we have a hyperbolic right angled triangle with side lengths a, b, c where c is the hypotenuse. Then,
- \tanh\left(c\right)=\tanh\left(a\right)\tanh\left(b\right)
- a^2+b^2=c^2
- \sinh\left(c\right)=\sinh\left(a\right)\sinh\left(b\right)
- \cosh\left(c\right)=\cosh\left(a\right)\cosh\left(b\right)