# Proving $\cos (z)$ is real for real values of $z$

Given the definition of cos function through the exponential function, how can we prove rigorously that for real values of $z$ $$\cos(z)=\operatorname{Re}(\exp(iz))$$?

-
How about looking at the power series of $\cos z$? – Sangchul Lee Nov 15 '12 at 1:58
Prove first that $\mathrm{Re}(z) = (z + \overline{z})/2$ for any complex number $z$. – GEdgar Nov 15 '12 at 2:04

Notice that $\overline{e^z} =e^{\overline{z}}$. Hence for $z\in \mathbb{R}$, $$\text{cos}(z) = \frac{e^{iz}+e^{-iz}}{2} = \frac{e^{iz}+e^{\overline{iz}}}{2} = \frac{e^{iz}+\overline{e^{iz}}}{2} = \text{Re}(e^{iz})$$