Multiple angles and Osborn’s rule

This post was motivated by an exercise in [1] that says

Prove that for the hyperbolic functions ... formulas hold similar to those in Section 2.3 with all the minuses replaced by pluses.

My first thought was that this sounds like Osborn's rule, a heuristic for translating between (circular) trig identities and hyperbolic trig identities. As explained in that post, Osborn's rule is an easy consequence of Euler's identity.

Now what are the formulas the exercise refers to?

Sine to hyperbolic sine

Here's the identity for sine.

Osborn's rule says to change sin to sinh and cos to cosh, and flip signs whenever two sinh terms are multiplied together. The term with sin^3 loses its minus sign because two sines are multiplied together. The term with sin⁵ changes sign twice, and so the net result is that it doesn't change sign. So we have the following.

Cosine to hyperbolic cosine

The cosine identity

becomes

by similar reasoning.

Tangent to hyperbolic tangent

Osborn's rule applies to tan and tanh as well, if you imagine each tangent as sin/cos.

Thus

becomes

Related posts

• Hyperbolic tangent sum
• Circular, hyperbolic, and elliptical functions
• Bootstrapping a minimal math library

[1] Dmitry Fuchs and Serge Tabachnikov. Mathematical Omnibus: Thirty Lectures on Classical Mathematics.

The post Multiple angles and Osborn's rule first appeared on John D. Cook.