The exponential function ex for real values of x may be defined in a few different equivalent ways (see Characterizations of the exponential function). Several of these methods may be directly extended to give definitions of ez for complex values of z simply by substituting z in place of x and using the complex algebraic operations. In particular we may use either of the two following definitions which are equivalent. From a more advanced perspective, each of these definitions may be interpreted as giving the unique analytic continuation of ex to the complex plane.
Here is a proof of Euler's formula using power series expansions
as well as basic facts about the powers of i:
and so on. Using now the power series definition from above we see that for real values of x
In the last step we have simply recognized the Taylor series for sin(x) and cos(x). The rearrangement of terms is justified because each series is absolutely convergent.
Several other proofs are based on the following identity obtained by differentiating the power series definition of eix. Indeed, since this series converges absolutely for all complex numbers we can differentiate it term by term to obtain
Now we define the function
The derivative of ƒ(x) according to the product rule (note that the product rule can be proved to hold for complex valued functions of a real variable using precisely the same proof as in the real case) is:
Therefore, ƒ(x) must be a constant function in x. Because ƒ(0)=1 in fact ƒ(x) = 1 for all x , and so multiplying by cos x + i sin x, we get
Here is another proof that follows from the differential identity above. Define a new function ƒ(x) of the real variable x as
Then we may check that
Thus ƒ(x) and eix satisfy the same system of ordinary differential equations (here the complex values are considered as points in the plane ℝ2). If we also note that both functions are equal to 1 at x = 0, then by the uniqueness of solutions to ordinary differential equations (see Picard–Lindelöf theorem and note the comments concerning global uniqueness in the proof section there) they must be equal everywhere.