De Moivre's theorem and powers
The theorem
- Multiplying in polar form multiplies the moduli and adds the arguments. Multiplying a number by itself times therefore raises the modulus to the power and multiplies the argument by .
- That statement is De Moivre's theorem:
-
Each part:
- — the modulus is raised to the power
- — the argument is multiplied by the power
- — any integer; the theorem holds for negative too
-
.
Why it matters
- Expanding in rectangular form means ten rounds of binomial expansion. In polar form it is two lines.
- Any question with an exponent above about 3 is telling you to convert to polar form.
The procedure for a power
-
Convert the number to polar form, being careful about the quadrant.
-
Raise the modulus to the power.
-
Multiply the argument by the power.
-
Reduce the resulting argument into by adding or subtracting multiples of .
-
Convert back to rectangular form if the question asked for .
-
Worked through for :
- Modulus:
- Argument:
- Reduce:
- So
Negative powers
- The theorem holds for negative , which gives reciprocals:
- .
Using De Moivre to prove trigonometric identities
-
Expanding two different ways and equating parts produces multiple-angle identities.
-
For :
- By De Moivre:
- By expanding:
- Equate real parts:
- Equate imaginary parts:
-
The same method with gives .
Simplifying expressions before applying the theorem
- If a power sits over a quotient, use the division rule first, then apply De Moivre once:
- Doing it in that order avoids raising two numbers to a power unnecessarily.
Worked ExampleA power in rectangular form
Evaluate , giving your answer in the form .
Step 1 — Convert to polar form
(negative) and (positive), so the point is in the second quadrant.
Modulus:
Reference angle, using magnitudes:
Adjust for the second quadrant, where :
Step 2 — Apply De Moivre's theorem
Raise the modulus to the power 6 and multiply the argument by 6:
Step 3 — Reduce the argument
is well outside . Subtract twice:
Step 4 — Convert back to rectangular form
and :
Step 5 — Sense-check
The modulus of the answer should be , and ✓ The answer is purely real, which is what a total argument of a whole multiple of predicts.