By definition

If we replace z by iz in 1) we get

If we group together the terms without the multiplier i and the terms with multiplier i we have

or

2)        e^iz = cos z + i sin z

In the same way we can derive

3)        e^-iz = cos z - i sin z 

Solving 2) and 3) for cos z and sin z, we get