ASCENTLEARNING
Join a weekly class
Skip to learning content
YEAR 12 · COMPLEX NUMBERS · 22 MIN

De Moivre's theorem

Raise polar complex numbers to integer powers and justify de Moivre’s rule.

In this lesson

Before you start
  • Multiplication as rotation/dilation
01 / LEARN

Understand the idea.

Repeated multiplication becomes a multiplied angle

A power repeats the same complex multiplication. Each multiplication multiplies the modulus by r and adds another θ to the argument. For r>0, de Moivre's theorem gives (r⁢cis⁢θ)n=rncis⁢(n⁢θ) for every integer n.

For a nonzero base, exponent zero gives 1 and negative powers use reciprocals. Adding a full turn to the starting argument leaves an integer power unchanged. Positive powers of zero are zero; 00 and negative powers of zero are undefined here.

(cosθ+isinθ)n=cos(n⁢θ)+isin(n⁢θ)n∈ℤ

Compare real and imaginary parts

The same power can be calculated by bracket expansion and by de Moivre. Because equal complex numbers have equal real and imaginary parts, comparing the results proves trigonometric identities for every real angle.

Keep sine and cosine symbolic during a proof. After comparing the required component, use sin2θ+cos2θ=1 to simplify. Substitution of particular angles can check arithmetic, but cannot establish an identity for all angles.

02 / WORKED EXAMPLES

See the method in action.

EXAMPLE 01

A high exact power

Calculate (1+i)8.

Worked solution

  1. 1

    Express the base in polar form.

    1+i=2cisπ4

    The point has modulus 2 and lies at angle π4.

  2. 2

    Raise the modulus and multiply the angle.

    (1+i)8=(2)8cis(8⋅π4)

    De Moivre applies because the exponent is an integer.

  3. 3

    Evaluate the full turn.

    16⁢cis⁢(2⁢π)=16⁢(1+0⁢i)=16

    A full turn lies on the positive real axis, so the imaginary component vanishes.

Answer

16.

EXAMPLE 02

Derive the triple-angle sine identity

Use de Moivre to derive a formula for sin3⁢θ.

Worked solution

  1. 1

    Write the cubic using de Moivre.

    (cosθ+isinθ)3=cos3⁢θ+isin3⁢θ

    The third power triples the angle for every real θ.

  2. 2

    Expand the same cubic algebraically.

    (c+i⁢s)3=c3+3⁢ic2s−3⁢cs2−is3=(c3−3⁢cs2)+i⁢(3c2s−s3)

    Here c=cosθ and s=sinθ; binomial expansion uses i2=−1 and i3=−i.

  3. 3

    Equate imaginary components.

    sin3⁢θ=3cos2θsinθ−sin3θ

    Two equal complex numbers have the same imaginary component.

  4. 4

    Eliminate the squared cosine.

    sin3⁢θ=3⁢(1−sin2θ)sinθ−sin3θ=3sinθ−4sin3θ

    The Pythagorean identity holds for every real θ, completing the proof.

Answer

sin3⁢θ=3sinθ−4sin3θ.

03 / YOUR TURN

Try it yourself.

Check your understanding

Find (2⁢cis⁢(π6))3.

Show answer & reasoning

8⁢i.

The modulus becomes 23=8 and the argument becomes 3⁢(π6)=π2. Since cis⁢(π2)=i, the result is 8⁢i.

Keep practising

6 worksheet questions · 14 marks

Read the questions online
  1. Calculate (3+i)3.
    2 marks
  2. Calculate (1−i)6.
    2 marks
  3. Write (2⁢cis⁢(π3))−2 in polar form.
    2 marks
  4. Use de Moivre and a square expansion to obtain a formula for cos2⁢θ.
    3 marks
  5. Show that (cis⁢(π5))10=1.
    2 marks
  6. Find the least positive integer n for which (cis⁢(2⁢π7))n=1.
    3 marks
Read the worked solutions

Equivalent correct methods earn the corresponding marks. Include units where asked.

  1. Calculate (3+i)3.
    2 marks

    3+i=2⁢cis⁢(π6), so its cube is 8⁢cis⁢(π2)=8⁢i.

    8⁢i.
  2. Calculate (1−i)6.
    2 marks

    1−i=2cis⁢(−π4). The sixth power is 8⁢cis⁢(−3⁢π2)=8⁢i.

    8⁢i.
  3. Write (2⁢cis⁢(π3))−2 in polar form.
    2 marks

    Raise the nonzero modulus to −2 and multiply the angle by −2.

    14cis⁢(−2⁢π3).
  4. Use de Moivre and a square expansion to obtain a formula for cos2⁢θ.
    3 marks

    The real part of (cosθ+isinθ)2 is cos2θ−sin2θ; de Moivre gives real part cos2⁢θ.

    cos2⁢θ=cos2θ−sin2θ.
  5. Show that (cis⁢(π5))10=1.
    2 marks

    De Moivre gives cis⁢(10⁢π5)=cis⁢(2⁢π)=1.

    The tenth power is 1.
  6. Find the least positive integer n for which (cis⁢(2⁢π7))n=1.
    3 marks

    We require 2⁢n⁢π7=2⁢k⁢π, so n=7⁢k. The least positive integer is 7.

    n=7.
Checking saved progress…
Curriculum reference & lesson scope

SACE Board of South Australia

Stage 2 Specialist Mathematics complex numbers: Cartesian and polar representations, de Moivre, roots and roots of unity, Argand geometry and loci, complex factorisation and conjugate roots of real polynomials. Real-polynomial techniques are taught in the separate Real Polynomials chapter.

Official curriculum source ↗

Save your next step.

Create a free account to save your learning progress. Lessons and downloads stay free, with or without an account.

Create free account