Number systems
Number systems

This free course is available to start right now. Review the full course description and key learning outcomes and create an account and enrol if you want a free statement of participation.

Free course

Number systems

2.10 The complex exponential function

Consider the real exponential function f (x) = ex (that is, f (x) = exp x). We now extend the definition of this function to define a function f(z) = ez whose domain and codomain are .

We expect complex powers of e to satisfy the familiar properties of real powers of e. For example, we expect that

If this is to be achieved, then the definition of ez has to be as follows.

Definition

If z = x + iy, then ez = exeiy = ex(cos y + i sin y).

Example 8

Show that

for all complex numbers z1 and z2.

Answer

Solution

We use Strategy 1.

Suppose that z1 = x1 + iy1 and z2 = x2 + iy2. Then

We assume that if x1, x2 are real numbers, then

Exercise 26

  • (a)  Using the above definition for ez and de Moivre's Theorem, show that

  • (b)  Show that ez1/ ez2 = ez1z2, for all z1, z2 .

Answer

Solution

  • (a)  Let z = x + iy; then

  • (by de Moivre's Theorem with n = − 1)

  • (b)  

So the rules for multiplication and division of complex powers of e are exactly the same as those for real powers. Furthermore, when the exponent z is real, that is when z = x + 0i, where x , the definitions of a real and a complex power of e coincide, since

On the other hand, if z = 0 + iy, where y , then the definition gives

This is known as Euler's formula. Putting y = , we obtain

or

This is a remarkable relationship between five important numbers: 0, 1, i, and e.

The formula eiy = cos y + i sin y gives us an alternative form for the expression of a complex number in polar form. If

then we can write cos θ + i sin θ as eiθ, so

Some texts refer to reiθ as polar form.

A complex number expressed in this way is said to be in exponential form. Using this notation, de Moivre's Theorem becomes the simple result

We can use the complex exponential function to find some further useful trigonometric identities. At the end of Section 2.9 we showed how de Moivre's Theorem can be used to express the sine or cosine of a multiple of θ in terms of powers of sin θ and cos θ. Here we do the opposite, expressing a power of sin θ or cos θ as a combination of sines or cosines of multiples of θ.

First, we deduce two useful equations. We know that, for all θ ,

Also, since cos(−θ) + i sin(−θ)=cos θ i sin θ, we have

Adding equations 2.6 and 2.7 gives

and subtracting them gives

Equations 2.8 and 2.9 enable us to express cos θ and sin θ as combinations of complex exponentials, and it is these equations we use to obtain the identities we are looking for.

Example 9

  • (a)  Show that

  • .

  • (b)  Expand the expression (eiθ + eiθ)4 using the Binomial Theorem, and hence show that

Answer

Solution

  • (a)  2cos θ = eiθ + eiθ, so (2 cos θ)4 = (eiθ + eiθ)4.

  • Hence

  • .

  • (b)  

  • Hence

  • Using Equation 2.8 first with 4θ in place of θ and then with 2θ in place of θ, we have

  • as required.

Exercise 27

  • (a)  Show that

  • .

  • (b)  Expand (eiθeiθ)5 using the Binomial Theorem, and hence show that

  • .

Answer

Solution

  • (a)  2i sin θ = eiθe, so (2i sin θ)5 =(ei θei θ)5.

  • Hence

  • (b)  

  • Hence

M208_6

Take your learning further

Making the decision to study can be a big step, which is why you'll want a trusted University. The Open University has 50 years’ experience delivering flexible learning and 170,000 students are studying with us right now. Take a look at all Open University courses.

If you are new to university level study, find out more about the types of qualifications we offer, including our entry level Access courses and Certificates.

Not ready for University study then browse over 900 free courses on OpenLearn and sign up to our newsletter to hear about new free courses as they are released.

Every year, thousands of students decide to study with The Open University. With over 120 qualifications, we’ve got the right course for you.

Request an Open University prospectus