Further Complex Numbers and Applications

Moving beyond basic arithmetic, complex numbers become a powerful tool for modeling geometric relationships and solving sophisticated algebraic problems. Mastering these advanced concepts unlocks a unified perspective where algebra, geometry, and trigonometry converge, providing elegant solutions in fields from signal processing to quantum mechanics.

Representing Loci in the Argand Diagram

A locus (plural: loci) is a set of points that satisfy a given geometric condition. In the Argand diagram, where a complex number $z = x + iy$ corresponds to the point $(x, y)$, we can describe these conditions using equations or inequalities in $z$.

One of the most common loci is the circle. The equation $|z - a| = r$ represents all points at a fixed distance $r$ from a fixed point $a$ (the centre). For example, $|z - (3 + 2i)| = 5$ describes a circle centred at $3 + 2i$ with radius 5. More generally, equations of the form $|z - a| = k|z - b|$, where $k > 0$ and $k \neq 1$, represent circles (known as Apollonius' circles).

Another key locus is the half-line or ray. This is often described using the argument of a complex number. The condition $\arg(z - a) = \theta$ defines a half-line starting at point $a$ (excluding $a$ itself) and making an angle $\theta$ with the positive real axis. For instance, $\arg(z - 1) = \pi/4$ is the half-line from the point $1$ radiating outwards at 45°. Inequalities like $\alpha < \arg(z - a) < \beta$ define sectors or angular regions between two half-lines.

Geometric Transformations via Complex Multiplication

Complex multiplication isn't just an algebraic operation; it has a clear geometric interpretation. Multiplying a complex number $z$ by another complex number $w$ performs two simultaneous transformations on the point representing $z$ in the Argand diagram.

Consider $w$ in modulus-argument form: $w = r(\cos \theta + i \sin \theta) = re^{i\theta}$. Multiplying $z$ by $w$:

1. Scales the distance of $z$ from the origin by a factor of $r$ (the modulus of $w$).
2. Rotates the point about the origin by an angle $\theta$ (the argument of $w$) anticlockwise.

Therefore, the transformation $z \mapsto w z$ is a rotation combined with an enlargement (or reduction) centred at the origin. For a pure rotation of $\theta$, use $w = e^{i\theta}$ (where $r=1$). For a pure enlargement by scale factor $k$, use $w = k$ (where $\theta=0$).

To perform a rotation about a point $a$ (not the origin), we translate, rotate, then translate back: $z \mapsto a + e^{i\theta}(z - a)$. This powerful idea allows us to model complex geometric motions succinctly.

Finding nth Roots: De Moivre's Theorem in Action

De Moivre's theorem states that for any integer $n$ and real number $\theta$, $(\cos \theta + i \sin \theta)^n = \cos(n\theta) + i \sin(n\theta)$. This is the cornerstone for finding powers and, crucially, roots of complex numbers.

To find the $n$th roots of a complex number $c$, we first write $c$ in modulus-argument form: $c = r(\cos \theta + i \sin \theta) = re^{i\theta}$. A fundamental result is that every non-zero complex number has exactly $n$ distinct $n$th roots. They are given by: $$z_k = r^{1/n} \left( \cos\left(\frac{\theta + 2k\pi}{n}\right) + i \sin\left(\frac{\theta + 2k\pi}{n}\right) \right)$$ for $k = 0, 1, 2, ..., n-1$.

The roots all share the same modulus, $r^{1/n}$. Their arguments are equally spaced by $2\pi/n$. Geometrically, the $n$th roots of any complex number lie at the vertices of a regular $n$-gon centred at the origin. For example, to find the cube roots of $8i$, write $8i = 8(\cos(\pi/2) + i \sin(\pi/2))$. The roots are $2(\cos(\pi/6 + 2k\pi/3) + i \sin(\pi/6 + 2k\pi/3))$ for $k=0,1,2$, yielding $\sqrt{3} + i$, $-\sqrt{3} + i$, and $-2i$.

The nth Roots of Unity and Their Properties

A special and profoundly important case is finding the $n$th roots of 1, known as the $n$th roots of unity. Here, $c=1$, so $r=1$ and $\theta=0$. Applying the formula, the $n$th roots of unity are: $$\omega_k = \cos\left(\frac{2k\pi}{n}\right) + i \sin\left(\frac{2k\pi}{n}\right) = e^{i(2k\pi/n)}$$ for $k = 0, 1, ..., n-1$.

Denoting the first non-real root as $\omega = e^{i(2\pi/n)}$, all other roots can be written as powers of $\omega$: $1, \omega, \omega^2, ..., \omega^{n-1}$. This set has elegant algebraic properties:

• They lie on the unit circle ($|z|=1$) in the Argand diagram at the vertices of a regular $n$-gon.
• The sum of all $n$th roots of unity is zero: $1 + \omega + \omega^2 + ... + \omega^{n-1} = 0$.
• They are closed under multiplication: multiplying any two roots gives another root.
• They satisfy the equation $z^n - 1 = (z-1)(z-\omega)(z-\omega^2)...(z-\omega^{n-1}) = 0$.

These properties are indispensable for factoring polynomials and understanding cyclic symmetry in higher algebra.

Solving Polynomial Equations with Complex Methods

Complex numbers complete the algebraic landscape, ensuring every polynomial equation of degree $n$ has exactly $n$ roots (counting multiplicity), a fact enshrined in the Fundamental Theorem of Algebra. Advanced complex number techniques provide systematic ways to find them.

For polynomials with real coefficients, complex roots always occur in conjugate pairs. If $a+bi$ is a root (with $b \neq 0$), then $a-bi$ is also a root. This allows us to factor the polynomial into real quadratic factors: $(z - (a+bi))(z - (a-bi)) = z^2 - 2az + (a^2+b^2)$.

The roots of unity are directly applicable to solving equations of the form $z^n = c$. Furthermore, recognizing that a given polynomial is a geometric series or can be related to a root-of-unity equation is a key skill. For instance, to solve $z^5 + z^4 + z^3 + z^2 + z + 1 = 0$, one might notice it is the sum of a geometric series. Multiplying by $(z-1)$ gives $z^6 - 1 = 0$, so the solutions (excluding $z=1$) are the other five 6th roots of unity. This method transforms a daunting quintic into a familiar problem.

Common Pitfalls

1. Misinterpreting Argument Conditions: A common error is to treat $\arg(z - a) = \theta$ as representing a full line. Remember, it represents only a half-line starting at $a$. The point $a$ itself is excluded because $\arg(0)$ is undefined. Similarly, solving $\arg(z) = \pi$ gives the negative real axis, not the entire real line.

1. Incorrect Root Spacing and Modulus: When applying de Moivre's theorem for roots, students sometimes forget to divide the argument by $n$ and add the $2k\pi$ term for all $k$ values, or they neglect to take the $n$th root of the modulus. For the number $re^{i\theta}$, the modulus of each $n$th root is $r^{1/n}$, not $r/n$.

1. Assuming All Coefficients are Real: When solving polynomial equations, the conjugate pairs theorem only applies if all coefficients are real. For a polynomial like $z^2 + iz + 2 = 0$, which has complex coefficients, the roots are not necessarily conjugates. You must solve it directly using the quadratic formula or other means.

1. Overlooking All Roots of Unity: When using roots of unity to factor polynomials, ensure you use all $n$ of them where appropriate. For example, the factorization $z^n - 1 = (z-1)(z^{n-1}+z^{n-2}+...+z+1)$ relies on using all $n$ roots. Using an incomplete set will lead to an incorrect factorization.

Summary

• Loci equations like $|z - a| = r$ (circle) and $\arg(z - a) = \theta$ (half-line) allow you to describe and sketch geometric regions in the complex plane.
• Complex multiplication $z \mapsto w z$ corresponds to a geometric transformation: an enlargement by $|w|$ and a rotation by $\arg(w)$ about the origin.
• De Moivre's theorem provides the formula to find all $n$ distinct $n$th roots of a complex number, which are equally spaced around a circle in the Argand diagram.
• The $n$th roots of unity, the solutions to $z^n=1$, form a cyclic multiplicative group on the unit circle and are fundamental tools for factoring and solving certain polynomial equations.
• Solving polynomials with complex numbers often involves leveraging conjugate pairs (for real coefficients) and connections to roots of unity, ensuring you can find all roots as mandated by the Fundamental Theorem of Algebra.