Copyright © University of Cambridge. All rights reserved.
Notice that the identities for hyperbolic functions that you have proved are very similar to the ordinary trigonometric identities. In fact there is a complete hyperbolic geometry with similar results to the trigonometric results in Euclidean geometry. We compare absolute values in the corresponding result for $\sin nx$ which is $|\sin nx|\leq n|\sin x|$ . This formula needs the absolute values because the function is periodic and takes negative values for some multiples of the angle. Notice that the inequality in $|\sin nx|\leq n|\sin x|$ goes the other way to the corresponding hyperbolic result. This is because $\cos x \leq 1$ for all $x$ whereas $\cosh x\geq 1$.