The cosine of a double angle. Proof of the formula | MATHVOX