Complex Numbers: Edge Cases and Subtle Traps (3)

hard 4 min read

Question

Find all values of zz satisfying z4=16z^4 = -16.

The trap: students take “fourth root of 16-16” and write z=±2iz = \pm 2i, missing two of the four roots. Every degree-nn polynomial has nn roots in C\mathbb{C} — including the obvious ones and the not-so-obvious ones.

Solution — Step by Step

16=16(cosπ+isinπ)=16eiπ-16 = 16(\cos\pi + i\sin\pi) = 16 e^{i\pi}.

But more generally, 16=16ei(π+2kπ)-16 = 16 e^{i(\pi + 2k\pi)} for any integer kk. We’ll use k=0,1,2,3k = 0, 1, 2, 3 to get the four distinct roots.

If z4=16ei(π+2kπ)z^4 = 16 e^{i(\pi + 2k\pi)}, then:

z=161/4ei(π+2kπ)/4=2ei(π/4+kπ/2)z = 16^{1/4} e^{i(\pi + 2k\pi)/4} = 2 e^{i(\pi/4 + k\pi/2)}

k=0k = 0: z=2eiπ/4=2(cos45°+isin45°)=2+i2z = 2 e^{i\pi/4} = 2(\cos 45° + i\sin 45°) = \sqrt{2} + i\sqrt{2}.

k=1k = 1: z=2ei3π/4=2(cos135°+isin135°)=2+i2z = 2 e^{i 3\pi/4} = 2(\cos 135° + i\sin 135°) = -\sqrt{2} + i\sqrt{2}.

k=2k = 2: z=2ei5π/4=2(cos225°+isin225°)=2i2z = 2 e^{i 5\pi/4} = 2(\cos 225° + i\sin 225°) = -\sqrt{2} - i\sqrt{2}.

k=3k = 3: z=2ei7π/4=2(cos315°+isin315°)=2i2z = 2 e^{i 7\pi/4} = 2(\cos 315° + i\sin 315°) = \sqrt{2} - i\sqrt{2}.

Take z=2+i2z = \sqrt{2} + i\sqrt{2}. z2=2+2=4|z|^2 = 2 + 2 = 4, so z=2|z| = 2 and z4=16|z|^4 = 16. Argument: π/4\pi/4, so z4z^4 has argument π\pi, magnitude 1616. So z4=16eiπ=16z^4 = 16 e^{i\pi} = -16. ✓

Final answer: z=±2±i2z = \pm\sqrt{2} \pm i\sqrt{2} (four distinct values).

Why This Works

In C\mathbb{C}, every polynomial of degree nn has exactly nn roots (counted with multiplicity) — the fundamental theorem of algebra. For z4=wz^4 = w (where w0w \neq 0), there are always four distinct roots, equally spaced around a circle of radius w1/4|w|^{1/4} in the complex plane.

The four roots of unity are 1,i,1,i1, i, -1, -i (i.e., e2πik/4e^{2\pi i k/4} for k=0,1,2,3k = 0, 1, 2, 3). Any fourth roots of a complex number are obtained by taking one root and multiplying by each fourth root of unity.

If w=reiθw = re^{i\theta}, the nn-th roots are:

zk=r1/nei(θ+2kπ)/n,k=0,1,,n1z_k = r^{1/n} e^{i(\theta + 2k\pi)/n}, \quad k = 0, 1, \ldots, n-1

They lie at the vertices of a regular nn-gon inscribed in a circle of radius r1/nr^{1/n}, centred at origin.

Alternative Method

Factor z4+16=0z^4 + 16 = 0 as a product of quadratics over R\mathbb{R}:

z4+16=(z2+4)2(22z)2=(z222z+4)(z2+22z+4)z^4 + 16 = (z^2 + 4)^2 - (2\sqrt{2}z)^2 = (z^2 - 2\sqrt{2}z + 4)(z^2 + 2\sqrt{2}z + 4)

Solve each quadratic:

z222z+4=0    z=2±i2z^2 - 2\sqrt{2}z + 4 = 0 \implies z = \sqrt{2} \pm i\sqrt{2}.

z2+22z+4=0    z=2±i2z^2 + 2\sqrt{2}z + 4 = 0 \implies z = -\sqrt{2} \pm i\sqrt{2}.

Same four roots. ✓

For roots of unity (i.e., zn=1z^n = 1), the answer is zk=e2πik/nz_k = e^{2\pi i k/n} for k=0,1,,n1k = 0, 1, \ldots, n-1. Memorise this — used constantly in JEE Advanced.

Common Mistake

The biggest trap: only finding two roots when looking for fourth roots. Students think 164=±2i\sqrt[4]{-16} = \pm 2i (since (2i)4=16(2i)^4 = 16 and (2i)4=16(-2i)^4 = 16 — wait, that’s 16-16 check: (2i)4=16i4=16(2i)^4 = 16 i^4 = 16, not 16-16). Actually neither ±2i\pm 2i is a root of z4=16z^4 = -16 — students often get the sign wrong even on the “obvious” check. Use De Moivre’s theorem to get all four properly.

Another trap: forgetting the modulus — students get the angles right but write z=eiπ/4z = e^{i\pi/4} instead of z=2eiπ/4z = 2e^{i\pi/4}. The modulus is w1/n=161/4=2|w|^{1/n} = 16^{1/4} = 2.

Want to master this topic?

Read the complete guide with more examples and exam tips.

Go to full topic guide →

Try These Next