Power Reduction Formulas/Sine Squared/Historical Note

Historical Note on Square of Sine
The Square of Sine formula was discovered and documented by in the $6$th century CE.