How to calculate $\overline{\cos \phi}$ How do you calculate $\overline{\cos \phi}$? Where $\phi\in\mathbb{C}$.
I try to proof that $\cos \phi \cdot \overline{\cos \phi} +\sin \phi \cdot \overline{\sin \phi}=1$?

$$
\cos(x+iy) = \cos x \cos (iy) - i \sin x \sin(iy)
$$
$$
\overline {\cos(x+iy)} = \cos x \cos (iy) + i \sin x \sin(iy) = \cos x \cos (-iy) - i \sin x \sin(-iy) = \cos(x-iy)
$$
