Femtobytes
Problem type

All the n-th roots of a complex number

What it solves
Find every square root, cube root or higher root of a complex number. There are always exactly n of them, equally spaced round a circle, and each one is checked by raising it back to the power.
Subject
Complex Numbers
Topic
Length and angle
Also called
nth roots, cube root of a complex number, roots of a complex number
Your problem

Find all the cube roots of this complex number: every ww that satisfies the equation.

w3=−8w^{3} = -8
Invent a new one:
The problem

Find all the cube roots of this complex number: every ww that satisfies the equation.

w3=−8w^{3} = -8
The result
wk=2(cos⁡θ+2kπ3+isin⁡θ+2kπ3),k=0,1,2w_k = 2 \left( \cos \frac{\theta + 2k\pi}{3} + i \sin \frac{\theta + 2k\pi}{3} \right), \quad k = 0, 1, 2

Here θ=π\theta = \pi. The first root is w0=1+3iw_0 = 1 + \sqrt{3} i; the full list is in the table below.

checked 14 lines of this solution were evaluated with exact arithmetic before it was shown to you. A solution with a false line is never served.
Picture 1 of 9Step 1: See where the number lives
55i-5-5i1010i-10-10ireal axisimaginary axisθzr
The number z drawn as an arrow from the origin. Its length is the modulus r and the angle it makes with the positive real axis is the argument, written with the Greek letter theta. Here r=8r = 8 and θ=π\theta = \pi.
1

See where the number lives

Why this step

A complex number is two real numbers travelling together, so it cannot sit on a number line; it needs a plane. Rectangular form a+bia + bi says "go aa across and bb up". Polar form describes the SAME point as "face this direction, walk this far". The reason to bother: when complex numbers are multiplied, their lengths multiply and their directions add. Rectangular form hides that completely; polar form makes it visible.

Here z=−8z = -8, so the real part is a=−8a = -8 and the imaginary part is b=0b = 0. The symbol ii is the imaginary unit, the number with i2=−1i^2 = -1. On the plane, zz is the point (a,b)(a, b): aa is read on the horizontal (real) axis and bb on the vertical (imaginary) axis.

The imaginary part is 00, so zz lies on the real axis, to the left of the origin.

2

Find the modulus: how far z is from the origin

Why this step

The arrow to zz is the long side of a right-angled triangle whose other sides are ∣a∣\left| a \right| across and ∣b∣\left| b \right| up. Pythagoras gives its length. We square aa and bb first, which also throws away their signs: a distance cannot care whether we went left or right.

r\displaystyle r==(−8)2+02\displaystyle \sqrt{\left( -8 \right)^{2} + 0^{2}}
The modulus r=∣z∣=a2+b2r = \left| z \right| = \sqrt{a^2 + b^2}, by Pythagoras. checked
==64+0\displaystyle \sqrt{64 + 0}
Square each part. Squaring a square root undoes it, for example (3)2=3\left( \sqrt{3} \right)^2 = 3, and the square of a negative number is positive. checked
==64\displaystyle \sqrt{64}
Add. checked
==8\displaystyle 8
6464 is a perfect square, so the root comes out exactly. checked
3

Find the argument: which way z points

Why this step

The direction is an angle θ\theta measured from the positive real axis, anticlockwise counted as positive. One reading is not enough to fix it: the cosine alone cannot tell up from down, and the sine alone cannot tell left from right. Two readings together leave exactly one direction.

No calculation is needed: zz points along the negative real axis, half a turn from the positive real axis, so θ=π\theta = \pi.

θ=π\theta = \pi
Angles are measured in radians: a full turn is 2π2\pi, a half turn is π\pi, a quarter turn is π2\frac{\pi}{2}.
4

Write the polar form, and check it by turning it back

Why this step

From the triangle, a=rcos⁡θa = r \cos \theta and b=rsin⁡θb = r \sin \theta: cosine is "across over long side" and sine is "up over long side". Putting those into a+bia + bi and taking rr out as a common factor gives the polar form. We then multiply it back out, because a conversion that cannot be reversed has not been checked.

8(cos⁡(π)+isin⁡(π))=−88 \left( \cos\left( \pi \right) + i \sin\left( \pi \right) \right) = -8
Work out the cosine and the sine, multiply by rr, and the original number returns exactly. checked
5

Turn "find the roots" into an equation about lengths and angles

Why this step

A root of zz is a number ww with w3=zw^{3} = z. We do not know ww, but we know what raising to a power does in polar form: it raises the length to that power and multiplies the angle. So we give the unknown ww an unknown length and an unknown angle, and let De Moivre's theorem turn one hard complex equation into two easy real ones.

Write the unknown root as w=ρ(cos⁡φ+isin⁡φ)w = \rho \left( \cos \varphi + i \sin \varphi \right), where ρ\rho (the Greek letter rho) is its length and φ\varphi (phi) its angle. By De Moivre's theorem, w3=ρ3(cos⁡3φ+isin⁡3φ)w^{3} = \rho^{3} \left( \cos 3\varphi + i \sin 3\varphi \right). This must equal z=8(cos⁡π+isin⁡π)z = 8 \left( \cos \pi + i \sin \pi \right).

ρ3=8and3φ=π+2kπ(k a whole number)\rho^{3} = 8 \qquad \text{and} \qquad 3\varphi = \pi + 2k\pi \quad (k \text{ a whole number})
Two numbers in polar form are equal exactly when their lengths are equal and their angles point the same way. "Point the same way" does NOT mean the angles are equal: they may differ by any number of full turns.
6

Find the length of the roots

Why this step

ρ\rho is a length, so it is a positive real number, and a positive real number has exactly ONE positive real cube root. There is no choice to make here. All the variety among the roots will come from the angle.

23=82^{3} = 8
So ρ=2\rho = 2: raise it to the power 33 and the length of zz comes back. checked
7

Find the angles, one for each k

Why this step

Divide 3φ=θ+2kπ3\varphi = \theta + 2k\pi by 33. Each whole number kk gives an angle, but they are not all new: raising kk by 33 adds exactly one full turn to φ\varphi and returns to a direction already found. So k=0,1,2k = 0, 1, 2 gives every root once, and neighbours are 2π3\frac{2\pi}{3} apart.

φ0\displaystyle \varphi_{0}==π3\displaystyle \frac{\pi}{3}
Put k=0k = 0 into φk=θ+2kπ3\varphi_k = \frac{\theta + 2k\pi}{3}. checked
φ1\displaystyle \varphi_{1}==π+2π3\displaystyle \frac{\pi + 2 \pi}{3}
Put k=1k = 1 into φk=θ+2kπ3\varphi_k = \frac{\theta + 2k\pi}{3}. checked
==π\displaystyle \pi
Add the two angles on top, then divide by 33. In degrees this is 180∘180^\circ. checked
φ2\displaystyle \varphi_{2}==π+4π3\displaystyle \frac{\pi + 4 \pi}{3}
Put k=2k = 2 into φk=θ+2kπ3\varphi_k = \frac{\theta + 2k\pi}{3}. checked
==5π3\displaystyle \frac{5 \pi}{3}
Add the two angles on top, then divide by 33. In degrees this is 300∘300^\circ. checked
8

Write out the roots

Why this step

Each root is the common length in one of the directions just found. Where a direction is one of the special angles the root comes out exactly; otherwise its polar form IS the exact answer and the decimals are only a description of it.

rootpolar formin the form a+bia + bi
w0w_{0}2(cos⁡(π3)+isin⁡(π3))2 \left( \cos \left( \frac{\pi}{3} \right) + i \sin \left( \frac{\pi}{3} \right) \right)1+3i1 + \sqrt{3} i
w1w_{1}2(cos⁡π+isin⁡π)2 \left( \cos \pi + i \sin \pi \right)−2-2
w2w_{2}2(cos⁡(5π3)+isin⁡(5π3))2 \left( \cos \left( \frac{5 \pi}{3} \right) + i \sin \left( \frac{5 \pi}{3} \right) \right)1−3i1 - \sqrt{3} i
The 3 cube roots of z. An entry with no "about" sign is exact.
9

Check every root by raising it back to the power

Why this step

The method could in principle produce numbers that merely look plausible. The definition of a root is the test that cannot be fooled: raise each one to the power 33 and see whether zz comes back. All 33 must pass, including the ones that look nothing like each other.

w03=−8w_{0}^{3} = -8
(1+3i)3\left( 1 + \sqrt{3} i \right)^{3} multiplied out exactly. checked
w13=−8w_{1}^{3} = -8
(−2)3\left( -2 \right)^{3} multiplied out exactly. checked
w23=−8w_{2}^{3} = -8
(1−3i)3\left( 1 - \sqrt{3} i \right)^{3} multiplied out exactly. checked