Cosine of Sum/Proof 3

Theorem

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

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