Multiple angles and Osborn’s rule

from blog John D. Cook, | ↗ original
↗ original
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. […] The...