Cosine of Sum/Proof 1

Theorem

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

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

Proof
By equating the real parts, the result follows.