Cosine of Sum/Historical Note

Historical Note on Cosine of Sum
The Cosine of Sum formula and its corollary were proved by in about $1579$.