Cosine of Difference

Corollary to Cosine of Sum

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

where $\sin$ denotes the sine and $\cos$ denotes the cosine.

Historical Note
This formula was proved by in about 1579.