Being that we can think at representing complex numbers on a plane similar to the Cartesian one. The complex plane is known as Argand-Gauss plane.
This plane as the real part of the chosen complex number as first coordinate, and the imaginary part as the second one.
From this graphical representation it is easily derived the polar form of a complex number. In particular, if we set:
Actually, in order to well-define a complex number in polar coordinates we have to choose an interval of definition for the angle , for instance let vary in The angle is called the argument of the complex number .
Theorem (Euler's Formula)
We see that every complex number in trigonometric form can be rewritten as:
We provide two alternative proofs of the Euler's Formula.
We consider the series .
This is absolutely convergent since the series of the modules:
converges in Moreover, it is known that the sum of the series is so:
Now, we can rewrite the series by separating the terms in an even and odd position as follows:
The two series are both power convergent series (it has been proven in the course of Multivariate Calculus). In fact and are two examples of functions of class that satisfy the right conditions on the growth of the -th order derivative, so that we can write them as sum of power series. In particular, we have that:
And so we achieve that:
Given the exponential function , we expext that
We want to prove that and
We take the derivative of with respect to :
By taking a second derivative, we have that:
We comare the two equations we have with and we obtain the following system of differential equations:
Where we have imposed the initial conditions for .
By solving these equations we have that:
For the imaginary unit we have that: