One point, many angles
Turning a whole turn, radians, brings an arrow back to where it started. So a complex number z = re can also be written re, re, re, and in general re for any whole number k.
For 8i, which has length 8 and points straight up: . The angles are 90°, 450° and 810°, and all three point the same way.
Divide the angles by n
To solve , write w = se. By De Moivre, in, and this must equal re. The lengths agree when , so , the real n-th root of r. The directions agree when , so .
Before dividing, the angles , , , … named one direction. After dividing by n they are , , , …, and these point different ways: each is , which is , further round than the one before. So the roots are for k = 0, 1, …, n − 1.
The cube roots of 8i
, so each cube root has length , and the angles are . k = 0 gives , which is 30°. k = 1 gives , which is 150°. k = 2 gives , which is 270°.
A turn of 270° ends pointing straight down, the same direction as −90°. In the range the third root’s argument is −90°, or : 270° and −90° name the same direction. Taking k = −1 instead of k = 2 lands there directly, since .
In parts the roots are , and .
Check each by cubing. , and . , and . .
The three cube roots of 8i on the dashed circle of radius 2, labeled with their arguments: at 30°, at 150° and −2i at −90°. They are 120° apart, and joined they make an equilateral triangle with sides .
Evenly spaced round one circle
All n roots have the same length , so they lie on one circle about the origin. Their angles step by , so they are evenly spaced round it, and joined in order they make a regular polygon with n sides.
For the cube roots of 8i the step is 360° ÷ 3 = 120°: from 30° to 150°, and from 150° on by 120° to 270°, the direction of −90°. The roots of unity are the case z = 1, with r = 1 and .
z^3 = w with arg w = 0°: the 3 roots sit 120° apart starting at 0°/3 = 0°, a regular polygon because De Moivre divides the argument by n and full turns divide into equal slices
Set n = 3 and turn w to i
The roots of for a w of length 1. The handle on the circle turns w, and the slider below sets n. At arg w = 0° the cube roots are the cube roots of 1. Turn w to 90°, the direction of i and of 8i: each root turns a third as far, to 30°, 150° and 270°, the last being the direction −90°.
Why exactly n
k = 3 gives . That is with a whole turn added, the root k = 0 gave. k = 4 repeats k = 1 in the same way, and negative values of k repeat them too.
In general k = n adds to the angle, a whole turn, so the values k = 0, 1, …, n − 1 give every root once, and there are exactly n of them.
Square roots and fourth roots
With n = 2 the two roots are half a turn apart, so they are pair. The square roots of 8i have length and angles and : they are 2 + 2i and −2 − 2i. Check: .
For , write . Each root has length , and the angles are : , , and , a quarter turn apart. As arguments in range they are 45°, 135°, −135° and −45°, and the roots are , , and , each about 1.414 from each axis. Check: , and .
The usual mistakes
Dividing the modulus by n. The modulus is cubed when w is cubed, so each cube root of 8i has length , not , and not 8.
Finding only one root. is the root with a third of the principal argument; adding and before dividing gives the other two.
Spacing the roots wrongly. n roots share a whole turn, so they are apart: 90° for fourth roots, 120° for cube roots.
Giving 210° or 300° for the third cube root of 8i. The steps are all 120°, so after 150° comes 270°, which as an argument in range is −90°.
Listing k = n as another root. It adds a whole turn and lands on the root k = 0 gave.
Three antennas round a mast
The application below places antennas at the three cube roots of 8i. It writes the third as , the turn of 270°; that is the root found above.
Worked example: Three Antennas Placed at the Cube Roots of 8i: Their Positions and the Distance Between Them
Question An engineer places three antennas round a mast. On an Argand diagram with the mast at the origin, in meters, the antennas stand at the three solutions of z3 = 8i. (a) Find the three positions in the form x + yi. (b) How far apart are two of the antennas?
1.8i has modulus 8 and argument π2, so 8i = 8ei(π2 + 2kπ) for any whole number k.
8i has modulus 8 and argument π2: 8i = 8eiπ/2. 2.Let z = reiθ, so z3 = r3e3iθ. Then r3 = 8, so r = 2, and 3θ = π2 + 2kπ, so θ = π6 + 2kπ3.
Every root has modulus 2, the cube root of 8, so all three lie on the circle of radius 2. 3.k = 0, 1, 2 give θ = π6, 5π6, 3π2; k = 3 would give π6 plus a whole turn, the first root again.
The arguments are π6 and then a third of a turn, 2π3, more each time. 4.(a) 2eiπ/6 = √3 + i, 2e5iπ/6 = −√3 + i and 2e3iπ/2 = −2i: the antennas are at about 1.73 + i, −1.73 + i and −2i.
(a) The antennas stand at √3 + i, −√3 + i and −2i. 5.(b) The first two differ by 2√3 along the real axis, so they are 2√3 ≈ 3.46 m apart. The roots are equally spaced round a circle, so the triangle is equilateral and every pair is 3.46 m apart. Check: (√3 + i)2 = 2 + 2√3i, and (2 + 2√3i)(√3 + i) = 2√3 + 2i + 6i − 2√3 = 8i.
(b) The three are the corners of an equilateral triangle with sides 2√3 ≈ 3.46 m.
Answer: (a) √3 + i, −√3 + i and −2i, or about 1.73 + i, −1.73 + i and −2i meters; (b) 2√3 ≈ 3.46 m
Common mistakes
- Finding only √3 + i, the root with a third of the principal argument. Every cube has three cube roots; adding 2π and 4π to the argument before dividing by 3 gives the other two.
- Dividing the modulus by 3 as well as the argument, which gives r = 83. The modulus is cubed when z is cubed, so it is the cube root that is taken: r = 2, since 23 = 8.