According to the definitions of the unit circle in the complex plane and the real functions cosine \(\cos:\mathbb R\mapsto \mathbb R\) and sine \(\sin:\mathbb R\mapsto \mathbb R\) we get the result
\[\exp(ix)=\cos(x)+i\sin(x).\]
This result is known as Euler's formula.
Proofs: 1
