 Hyperbolic Pythagorean identity

The identity ${\cosh }^{2}x-{\sinh }^{2}x=1$ implies

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