Power Reduction Formulas/Sine Squared

Theorem

 * $\sin^2 x = \dfrac {1 - \cos 2 x} 2$

where $\sin$ and $\cos$ denote sine and cosine respectively.

Historical Note
Discovered and documented by in the 6th century CE.