Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

When proving identities like $$\cosh(2x)=\cosh^2(x)+\sinh^2(x)$$ $$\cosh^2(x)=\sinh^2(x)+1$$ algebraically, I am beset by the feeling that there should be a geometrical interpretation that makes them immediately obvious. Most of the analogous identities involving $\sin,$ $\cos$ have such interpretations.

Is it possible to use hyperbolic geometry to prove identities in hyperbolic trigonometry geometrically? Any examples would be greatly appreciated (if this is in fact possible).

Addendum: If there is no analogy in hyperbolic trigonometry, could the complex plane and the relationship between hyperbolic and non-hyperbolic functions be used instead (i.e. $\cos(x)=i \cosh(ix), \sin(x)=-i\sinh(ix))$?

The second identity is equivalent to saying that for all $x\in\mathbb{R}$ there is a triangle with hypotenuse $\cosh(x)$ and sides $\sinh(x),1$. Is there a geometric interpretation of $x$?

share|improve this question
I strictly dislike sending links to Wikipedia when it is about math and/or programming, but I remember that en.wikipedia.org/wiki/Hyperbolic_function has some nice illustrations on that topic. –  Evgeny Oct 14 '13 at 18:07
@Evgeny I agree that it is excellent, but it's all either algebra or Euclidean geometry (I could be an idiot in thinking that hyperbolic geometry has anything to do with hyperbolic functions, Euclidean hyperbolae could be the only geometrical interpretation). –  Alyosha Oct 14 '13 at 18:14
Illustrating (circular) trig identities with diagrams is aided by nature of similar triangles in Euclidean geometry. Drop a few perpendiculars here, add a parallel or two there, maybe inscribe an angle in a circle, and you can create lots of similar triangles to make your case. Non-Euclidean (in particular, hyperbolic) geometry lacks this utility. There are no similar-but-not-congruent triangles, so diagrams like ones you link just don't work. (The altitude to the hypotenuse of a right triangle does not create similar sub-triangles.) [continued] –  Blue Oct 14 '13 at 18:21
(Part 2) When you note that the Law of Sines in hyperbolic geometry is $$\frac{\sin A}{\sinh a} = \frac{\sin B}{\sinh b} = \frac{\sin C}{\sinh c}$$ you realize that the notion of proportionality of (raw) side-lengths is decidedly unhelpful; even the impact of addition and subtraction of lengths is unclear. Every geometric formula wraps lengths in some hyperbolic trig function ... which makes relations really hard (impossible?) to represent in intuitive visuals. In fact, this difficulty leads me to muse often about the question "What are trig classes like in a hyperbolic universe?" –  Blue Oct 14 '13 at 18:34
(Part 3) A final thought on this. Consider the Pythagorean Theorems in Euclidean and Hyperbolic geometries:$$a^2 + b^2 = c^2 \qquad \text{vs} \qquad \cosh a \; \cosh b = \cosh c$$ (I'm biased of course, but...) It seems that the notion of squaring numbers is fairly natural, so it's not too hard to accept that ancient geometers "noticed" the sum-of-squares formula. But what culture goes around cosh-ing numbers with such ease that the product-of-cosines is comparably "noticeable"? How does fluency in transcendental exponentials precede discovery of a (the?) fundamental geometric relation? –  Blue Oct 14 '13 at 18:55
show 7 more comments

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.