De Moivre's Theorem (DP IB Maths: AA HL)

Revision Note

Amber

Author

Amber

Expertise

Maths

Did this video help you?

De Moivre's Theorem

What is De Moivre’s Theorem?

  • De Moivre’s theorem can be used to find powers of complex numbers
  • It states that forspace z space equals space r space cis space theta,  z to the power of n space equals space left square bracket r blank left parenthesis cos invisible function application theta plus isin invisible function application theta right parenthesis right square bracket to the power of n blank equals r to the power of n left parenthesis cos invisible function application n theta plus isin invisible function application n theta right parenthesis blank
    • Where
      • z ≠ 0
      • r is the modulus, |z|, r ∈ ℝ+
      • θ  is the argument, arg z, θ ∈ ℝ
      • n ∈ ℝ
  • In Euler’s form this is simply:
    • open parentheses r straight e to the power of straight i theta end exponent close parentheses to the power of n equals blank r to the power of n straight e to the power of straight i n theta end exponent
  • In words de Moivre’s theorem tells us to raise the modulus by the power of n and multiply the argument by n
  • In the formula booklet de Moivre’s theorem is given in both polar and Euler’s form:
    • left square bracket r left parenthesis cos invisible function application theta plus isin invisible function application theta right parenthesis right square bracket to the power of n equals r to the power of n left parenthesis cos invisible function application n theta plus isin invisible function application n theta right parenthesis equals r to the power of n straight e to the power of straight i n theta end exponent equals r to the power of n blank cis blank n theta blank

How do I use de Moivre’s Theorem to raise a complex number to a power?

  • If a complex number is in Cartesian form you will need to convert it to either modulus-argument (polar) form or exponential (Euler’s) form first
    • This allows de Moivre’s theorem to be used on the complex number
  • You may need to convert it back to Cartesian form afterwards
  • If a complex number is in the form z equals r open parentheses cos invisible function application open parentheses theta close parentheses minus isin invisible function application open parentheses theta close parentheses close parentheses then you will need to rewrite it as z equals r open parentheses cos invisible function application open parentheses negative theta close parentheses plus isin invisible function application open parentheses negative theta close parentheses close parenthesesbefore applying de Moivre’s theorem
  • A useful case of de Moivre’s theorem allows us to easily find the reciprocal of a complex number:
    •  1 over z equals 1 over r left parenthesis cos invisible function application left parenthesis negative theta right parenthesis plus isin invisible function application left parenthesis negative theta right parenthesis equals 1 over r straight e to the power of negative straight i theta end exponent blank
    • Using the trig identities cos(-θ) = cos(θ) and sin(-θ) = - sin(θ) gives
    • 1 over z equals z to the power of negative 1 end exponent equals r to the power of negative 1 end exponent left square bracket cos invisible function application open parentheses theta close parentheses minus isin invisible function application open parentheses theta close parentheses right square bracket equals blank 1 over r left square bracket cos invisible function application open parentheses theta close parentheses minus isin invisible function application left parenthesis theta right parenthesis right square bracket
  • In general
    • z to the power of negative n end exponent equals r to the power of negative n end exponent left square bracket cos invisible function application open parentheses negative n theta close parentheses plus isin invisible function application open parentheses negative n theta close parentheses right square bracket equals blank r to the power of negative n end exponent left square bracket cos invisible function application open parentheses n theta close parentheses minus isin invisible function application open parentheses n theta close parentheses right square bracket blank blank blank

 

Exam Tip

  • You may be asked to find all the powers of a complex number, this means there will be a repeating pattern
    • This can happen if the modulus of the complex number is 1
    • Keep an eye on your answers and look for the point at which they begin to repeat themselves 

Worked example

Find the value of begin mathsize 16px style open parentheses fraction numerator square root of 3 over denominator 6 end fraction plus 1 over 6 straight i close parentheses to the power of negative 3 end exponent end style,  giving your answer in the form a + bi.

o~JlLuvG_1-9-3-ib-aa-hl-de-moivres-theorem-we-solution-1

Did this video help you?

Proof of De Moivre's Theorem

How is de Moivre’s Theorem proved?

  • When written in Euler’s form the proof of de Moivre’s theorem is easy to see:
    • Using the index law of brackets: open parentheses r straight e to the power of straight i theta end exponent close parentheses to the power of n equals blank r to the power of n straight e to the power of straight i n theta end exponent
  • However Euler’s form cannot be used to prove de Moivre’s Theorem when it is in modulus-argument (polar) form
  • Proof by induction can be used to prove de Moivre’s Theorem for positive integers:
    • To prove de Moivre’s Theorem for all positive integers, n
    • left square bracket r blank left parenthesis cos invisible function application theta plus isin invisible function application theta right parenthesis right square bracket to the power of n equals r to the power of n left parenthesis cos invisible function application n theta plus isin invisible function application n theta right parenthesis
  • STEP 1: Prove it is true for n = 1
    • left square bracket r blank left parenthesis cos invisible function application theta plus isin invisible function application theta right parenthesis right square bracket to the power of 1 equals r to the power of 1 left parenthesis cos invisible function application 1 theta plus isin invisible function application 1 theta right parenthesis equals blank r blank left parenthesis cos invisible function application theta plus isin invisible function application theta right parenthesis blank
    • So de Moivre’s Theorem is true for n = 1
  • STEP 2: Assume it is true for n = k
    • left square bracket r blank left parenthesis cos invisible function application theta plus isin invisible function application theta right parenthesis right square bracket to the power of k equals r to the power of k left parenthesis cos invisible function application k theta plus isin invisible function application k theta right parenthesis blank
  • STEP 3: Show it is true for n = k + 1
    • left square bracket r blank left parenthesis cos invisible function application theta plus isin invisible function application theta right parenthesis right square bracket to the power of k plus blank 1 end exponent equals left parenthesis left square bracket r blank left parenthesis cos invisible function application theta plus isin invisible function application theta right parenthesis right square bracket to the power of k right parenthesis left parenthesis left square bracket r blank left parenthesis cos invisible function application theta plus isin invisible function application theta right parenthesis right square bracket to the power of 1 right parenthesis blank
    • According to the assumption this is equal to
      • left parenthesis r to the power of k left parenthesis cos invisible function application k theta plus isin invisible function application k theta right parenthesis right parenthesis blank left parenthesis r blank left parenthesis cos invisible function application theta plus isin invisible function application theta right parenthesis right parenthesis
    • Using laws of indices and multiplying out the brackets:
      • equals blank r to the power of k plus 1 end exponent left square bracket cos invisible function application k theta cos invisible function application theta plus icos space k theta space sin invisible function application theta plus isin invisible function application k theta cos invisible function application theta plus straight i squared sin invisible function application k theta sin invisible function application theta right square bracket
    • Letting i2 = -1 and collecting the real and imaginary parts gives:
      • equals blank r to the power of k plus 1 end exponent left square bracket cos invisible function application k theta cos invisible function application theta minus sin invisible function application k theta sin invisible function application theta plus straight i left parenthesis cos space k theta space sin invisible function application theta plus sin invisible function application k theta cos invisible function application theta right parenthesis right square bracket
    • Recognising that the real part is equivalent to cos( + θ ) and the imaginary part is equivalent to sin( + θ ) gives
      • open parentheses r blank cis blank straight theta close parentheses to the power of k plus 1 end exponent equals r to the power of k plus 1 end exponent left square bracket cos invisible function application open parentheses k plus 1 close parentheses theta plus isin invisible function application invisible function application open parentheses k plus 1 close parentheses theta right square bracket blank
    • So de Moivre’s Theorem is true for n = k + 1
  • STEP 4: Write a conclusion to complete the proof
    • The statement is true for n = 1, and if it is true for n = k it is also true for n = k + 1
    • Therefore, by the principle of mathematical induction, the result is true for all positive integers, n
  • De Moivre’s Theorem works for all real values of n
    • However you could only be asked to prove it is true for positive integers

Exam Tip

  • Learning the standard proof for de Moivre's theorem will also help you to memorise the steps for proof by induction, another important topic for your AA HL exam 

Worked example

Show, using proof by mathematical induction, that for a complex number z = r cisθ  and for all positive integers, n,

z to the power of n space equals space left square bracket r blank left parenthesis cos invisible function application theta plus isin invisible function application theta right parenthesis right square bracket to the power of n blank equals r to the power of n left parenthesis cos invisible function application n theta plus isin invisible function application n theta right parenthesis

1-9-3-ib-aa-hl-proof-of-de-moivres-theorem-we-solution

Did this page help you?

Amber

Author: Amber

Amber gained a first class degree in Mathematics & Meteorology from the University of Reading before training to become a teacher. She is passionate about teaching, having spent 8 years teaching GCSE and A Level Mathematics both in the UK and internationally. Amber loves creating bright and informative resources to help students reach their potential.