Hyperbolic Pythagorean identity (source code)

= Hyperbolic Pythagorean identity

The identity $\cosh^2x-\sinh^2x=1$ implies
$$
1-\tanh^2x=\operatorname{sech}^2x,
\qquad
\coth^2x-\operatorname{csch}^2x=1.
$$

The identity follows directly from the exponential definitions of the <hyperbolic functions>.