Menu
Sign up Sign in

AI HL · AHL 6

Complex Numbers

AHL 6.9

Powers and de Moivre's formula

AHL 6.9

Powers and de Moivre's formula

Target: I can raise a number in exponential form to a power, by raising the modulus to the power and multiplying the argument by it. (+4 more)

By the end of this section

Key points

The rule for powers

  • In exponential form, \((re^{i\theta})^n = r^ne^{in\theta}\). Raise the modulus to the power \(n\) and multiply the argument by \(n\).
  • De Moivre's formula says the same thing in cis form: \((r\,\text{cis}\,\theta)^n = r^n\,\text{cis}(n\theta)\), that is \([r(\cos\theta + i\sin\theta)]^n = r^n(\cos n\theta + i\sin n\theta)\).
  • The power applies to the modulus as well as the argument: \(|z^3| = |z|^3\), not \(3|z|\).

A number in Cartesian form

  • Convert to modulus and argument first, then raise to the power. Expanding \((1 + i)^6\) by hand is slow and easy to get wrong.
  • Sketch the point before you find the argument. The quadrant decides which angle is right: \(\arctan\frac{y}{x}\) alone gives the wrong angle in the second and third quadrants.
  • The three forms are linked by \(x = r\cos\theta\) and \(y = r\sin\theta\).

Finishing

  • After multiplying the argument by \(n\), the angle can be bigger than \(2\pi\). Take off whole turns of \(2\pi\) so that it is in the range the question gives.
  • Then use \(x = R\cos\theta\) and \(y = R\sin\theta\), with exact values from the unit circle when the question says exact, or decimals to 3 significant figures.

A geometric sequence with a complex ratio

  • If the common ratio \(r\) is complex, the terms are \(u_n = u_1r^{n-1}\). Multiply by \(r\) each time, using the form that makes it easiest.
  • Because \(|zw| = |z||w|\), the moduli \(|u_1|, |u_2|, |u_3|, \dots\) form a geometric sequence with common ratio \(|r|\).
  • Each term is the last one turned through \(\arg r\) and scaled by \(|r|\), so the points spiral. If \(|r| < 1\) they spiral in, and the sum of the moduli is \(\dfrac{|u_1|}{1 - |r|}\).

On the calculator

Checking a power

  • In Complex mode with the angle set to radians, type the number and raise it to the power. The calculator returns \(x + iy\), exact or as decimals.
  • Use the calculator's tools for the polar angle and the magnitude to find the modulus and argument of a Cartesian number.
  • Your working is what is marked. Use the calculator to check it.

Screenshot and video to come

Explore: the powers of z

Drag z (orange) or use the sliders for its modulus and argument. The teal points are z, z², z³ and so on, up to the power you choose. Predict where the next point goes before you move the slider for n.

The argument goes up in steps of π/24. Select z (Tab): the left and right arrow keys change its argument, the up and down keys change its modulus. The dashed circle has radius 1. The black arrow goes to the power you chose; the gold arc is its argument.

  1. Set r = 1. Where do the powers go as n grows? What happens when θ = π/4 and you reach n = 8?
  2. Set r below 1, then above 1, with the same θ. What changes about the spiral, and what stays the same?
  3. Between one power and the next, by what factor does the distance from O change? By what angle does the point turn? Check against the rule |zn| = |z|n and arg(zn) = n arg z.
  4. Choose θ = π/3 and r = 1. Which power of z is equal to 1? What does that tell you about the points?

Worked examples

Problems like the ones in class. Pick one, try it, then open the working.
A power in exponential form

\(z = 2e^{i\frac{\pi}{18}}\). Write \(z^6\) in the form \(x + iy\). Give the real part \(x\).

Working
  1. Raise the modulus to the power

    \(|z^6| = 2^6 = 64\)

    The power applies to the modulus.

  2. Multiply the argument by the power

    \(\arg(z^6) = 6 \times \frac{\pi}{18} = \frac{\pi}{3}\)

    Same rule as \((e^{i\theta})^n = e^{in\theta}\).

  3. Convert to Cartesian form

    \(z^6 = 64e^{i\frac{\pi}{3}} = 64\left(\cos\frac{\pi}{3} + i\sin\frac{\pi}{3}\right) = 32+32 \sqrt{3}i\)

    From the calculator, or the unit circle: \(\cos\frac{\pi}{3} = \frac{1}{2}\). So \(x = 32\).

Video walkthrough coming
A Cartesian number to a power

\(z = \sqrt{3} - i\). (a) Find the modulus and argument of \(z\), with \(0 \le \arg z < 2\pi\). (b) Hence write \(z^5\) in the form \(x + iy\). Give the imaginary part \(y\).

Working
  1. Modulus

    \(|z| = \sqrt{(\sqrt{3})^2 + (-1)^2} = 2\)

    Sketch the point first: it is below the real axis.

  2. Argument

    \(\text{The point is in the fourth quadrant. The acute angle is } \arctan\frac{1}{\sqrt{3}} = \frac{\pi}{6}, \text{ so } \arg z = \frac{11\pi}{6}\)

    Always check the quadrant before you choose the angle.

  3. Exponential form

    \(z = 2e^{i\frac{11\pi}{6}}\)

    Now the power is a single step.

  4. Raise to the power

    \(z^5 = \left(2e^{i\frac{11\pi}{6}}\right)^5 = 2^{5}e^{i \times 5 \times \frac{11\pi}{6}} = 32e^{i\frac{55\pi}{6}}\)

    Modulus to the power 5. Argument times 5.

  5. Bring into range and convert

    \(\frac{55\pi}{6} - 8\pi = \frac{7\pi}{6}\) \(z^5 = 32e^{i\frac{7\pi}{6}} = 32\left(\cos\frac{7\pi}{6} + i\sin\frac{7\pi}{6}\right) = -16 \sqrt{3}-16i\)

    The imaginary part is \(y = 32 \times \left(-\frac{1}{2}\right) = -16\).

Video walkthrough coming
De Moivre's formula

\(w = 2\,\text{cis}\left(\frac{\pi}{8}\right)\). Use de Moivre's formula to write \(w^4\) in the form \(x + iy\). Give the imaginary part \(y\).

Working
  1. State the formula

    \((r\,\text{cis}\,\theta)^n = r^n\,\text{cis}(n\theta)\)

    This is the exponential rule written in cis form.

  2. Apply it

    \(w^4 = \left(2\,\text{cis}\left(\frac{\pi}{8}\right)\right)^4 = 2^{4}\,\text{cis}\left(4 \times \frac{\pi}{8}\right) = 16\,\text{cis}\left(\frac{\pi}{2}\right)\)

    Modulus \(2^4 = 16\). Argument \(4 \times \frac{\pi}{8}\).

  3. Convert

    \(w^4 = 16\,\text{cis}\left(\frac{\pi}{2}\right) = 16\left(\cos\frac{\pi}{2} + i\sin\frac{\pi}{2}\right) = 16i\)

    \(\cos\frac{\pi}{2} = 0\) and \(\sin\frac{\pi}{2} = 1\), so \(y = 16\).

Video walkthrough coming
A complex common ratio

A geometric sequence has first term \(u_1 = 16\) and common ratio \(r = \frac{1}{2}(1 + i)\). (a) Find \(u_2\) and \(u_3\) in the form \(x + iy\). (b) Show that \(|u_1|, |u_2|, |u_3|, \dots\) is also a geometric sequence, and find its common ratio. (c) Find the sum of the infinite sequence \(|u_1|, |u_2|, |u_3|, \dots\).

−6−4−22468101214161820−2246810ReImu1u2u3u4u5
Working
  1. The terms

    \(u_2 = 16 \times \frac{1}{2}(1 + i) = 8 + 8i\)<br>\(u_3 = (8 + 8i) \times \frac{1}{2}(1 + i) = 4 + 4i + 4i - 4 = 8i\)

    Multiply by \(r\) each time. The next two terms are \(-4 + 4i\) and \(-4\).

  2. The moduli

    \(|u_1| = 16,\quad |u_2| = 8\sqrt{2},\quad |u_3| = 8\)

    \(\dfrac{|u_2|}{|u_1|} = \dfrac{\sqrt{2}}{2}\) and \(\dfrac{|u_3|}{|u_2|} = \dfrac{\sqrt{2}}{2}\).

  3. Why it is geometric

    \(|u_{n+1}| = |u_n r| = |u_n||r|\), with \(|r| = \sqrt{\left(\frac{1}{2}\right)^2 + \left(\frac{1}{2}\right)^2} = \frac{\sqrt{2}}{2}\)

    The modulus of a product is the product of the moduli, so the ratio is the constant \(|r| = 0.707\).

  4. −6−4−22468101214161820−2246810ReImu1u2u3u4u5
    The sum

    \(|r| < 1\), so \(S_\infty = \dfrac{16}{1 - \frac{\sqrt{2}}{2}} = 54.6\)

    The first term of the moduli is \(|u_1| = 16\). The points spiral in towards the origin.

Video walkthrough coming