Cosine Exponential Formulation/Real Domain/Proof 2

Proof
Recall Euler's Formula:
 * $e^{i x} = \cos x + i \sin x$

Then, starting from the :