I met this problem in Ratcliffe's Foundations of Hyperbolic Manifolds. Please help me prove this.
In an equilateral triangle with side length $a$ and angle $\alpha$, $$\cosh \left(\frac{1}{2} a\right) \sin \left(\frac {1}{2} \alpha\right) = \frac{1}{2}.$$
Thank you.