Cosine of Difference

Corollary of Cosine of Sum

 * $\cos \left({a - b}\right) = \cos a \cos b + \sin a \sin b$

Historical Note
This formula was proved by François Viète in about 1579.