Mastering Roots of Unity and the Complex Plane

Introduction to Roots of Unity

In your Further Maths studies, you will encounter the fascinating world of complex numbers, where the equation $z^n = 1$ reveals a hidden geometric structure. The solutions to this equation are known as the $n$th roots of unity. Understanding these values is not just an academic exercise; it is a fundamental skill for mastering complex algebra, polynomial factorisation, and the geometry of the complex plane.

By the end of this article, you will understand how to derive these roots, visualise them as vertices of regular polygons, and apply their algebraic properties to solve complex problems. Whether you are preparing for an Olympiad or your A-Level exams, these concepts provide the elegant tools needed to simplify seemingly daunting equations.

Defining the nth Roots of Unity

A complex number $z$ is an $n$th root of unity if it satisfies the equation $z^n = 1$. Using Euler’s formula, we can express $1$ in polar form as $e^{i(2k\pi)}$, where $k$ is any integer. Therefore, the $n$th roots of unity are given by the formula:

$$z_k = e^{i\frac{2k\pi}{n}} = \cos\left(\frac{2k\pi}{n}\right) + i\sin\left(\frac{2k\pi}{n}\right)$$

for $k = 0, 1, 2, \dots, n-1$. Each value of $k$ generates a distinct root, and because there are $n$ possible values for $k$, there are exactly $n$ roots for any given $n$.

Geometry in the Complex Plane

One of the most beautiful aspects of roots of unity is their representation in the complex plane. Since every root $z_k$ has a modulus of $|z_k| = 1$, all $n$ roots lie exactly on the unit circle. Furthermore, the argument of each root increases by $\frac{2\pi}{n}$ as $k$ increases by 1. This means the roots are equally spaced around the circle.

When you connect these points in the complex plane, they form the vertices of a regular $n$-sided polygon inscribed within the unit circle, with one vertex always fixed at $z = 1$ (corresponding to $k=0$). For example, the cube roots of unity ($n=3$) form an equilateral triangle, while the fourth roots of unity ($n=4$) form a square.

Worked Example 1: Finding the Cube Roots of Unity

Let us find the cube roots of unity, where $n=3$. We solve $z^3 = 1$.

1. Using the formula $z_k = \cos(\frac{2k\pi}{3}) + i\sin(\frac{2k\pi}{3})$ for $k=0, 1, 2$:
2. For $k=0$: $z_0 = \cos(0) + i\sin(0) = 1$.
3. For $k=1$: $z_1 = \cos(\frac{2\pi}{3}) + i\sin(\frac{2\pi}{3}) = -\frac{1}{2} + i\frac{\sqrt{3}}{2}$.
4. For $k=2$: $z_2 = \cos(\frac{4\pi}{3}) + i\sin(\frac{4\pi}{3}) = -\frac{1}{2} - i\frac{\sqrt{3}}{2}$.

These three values are the cube roots of unity. Note that $z_2$ is the complex conjugate of $z_1$, a property that holds for all non-real roots of unity when the coefficients of the polynomial are real.

Algebraic Properties and Summation

The roots of unity possess powerful algebraic properties. The most notable is that the sum of all $n$th roots of unity is zero for $n > 1$. This follows from the geometric series formula or by observing that the sum of the roots of the polynomial $z^n - 1 = 0$ is the coefficient of the $z^{n-1}$ term, which is zero.

Mathematically, $\sum_{k=0}^{n-1} z_k = 0$. Additionally, the product of the roots is given by $(-1)^{n-1}$. These properties are invaluable when simplifying complex expressions or evaluating trigonometric sums.

Worked Example 2: Evaluating a Sum of Roots

Evaluate the sum $S = 1 + \omega + \omega^2 + \dots + \omega^{n-1}$ where $\omega = e^{i\frac{2\pi}{n}}$.

This is a geometric progression with first term $a=1$, common ratio $r=\omega$, and $n$ terms. The sum is:

$$S = \frac{1(1 - \omega^n)}{1 - \omega}$$

Since $\omega$ is an $n$th root of unity, $\omega^n = 1$. Therefore:

$$S = \frac{1 - 1}{1 - \omega} = 0$$

This confirms that the sum of the $n$th roots of unity is always zero for $n > 1$.

Common Mistakes

• Forgetting the $k=0$ root: Always remember that $z=1$ is always a root of unity. Students often start counting from $k=1$ and miss the real root.
• Incorrect Argument Range: Ensure your $k$ values range from $0$ to $n-1$. Using values outside this range simply repeats the roots you have already found.
• Confusing Modulus: Remember that roots of unity always have a modulus of 1. If you are finding the $n$th roots of a general complex number $w$, the modulus will be $|w|^{1/n}$, not 1.

Frequently Asked Questions

Are all roots of unity complex? No. The root $z=1$ is always real. If $n$ is even, $z=-1$ is also a real root.

What is a primitive root of unity? A root $\zeta$ is primitive if $\zeta^k \neq 1$ for all $1 \leq k < n$. Essentially, it is a root that generates all other roots through powers.

How do roots of unity relate to regular polygons? They are the vertices of a regular $n$-sided polygon centred at the origin, with one vertex at $(1, 0)$ on the Argand diagram.

Conclusion

Roots of unity bridge the gap between algebra and geometry, providing a deep insight into the nature of complex numbers. By mastering these roots, you gain a significant advantage in solving higher-level mathematical problems. To see these concepts in motion, visit MathInstructor AI to generate a free, narrated animated lesson on this topic and visualise the roots of unity in real-time.