IB Mathematics: Complex Numbers

Complex numbers are not merely an abstract mathematical curiosity; they are a fundamental extension of the real number system that provides a complete framework for solving polynomial equations. For IB Mathematics Higher Level students, mastery of this topic is essential, as it unlocks powerful techniques in algebra, geometry, and trigonometry, forming a cornerstone of the syllabus with significant examination weight.

The Imaginary Unit and Basic Arithmetic

The journey begins with solving an equation that has no solution in the real numbers: $x^2 + 1 = 0$. This leads to the definition of the imaginary unit, $i$, where $i^2 = -1$. A complex number is then defined as any number of the form $z = a + bi$, where $a$ and $b$ are real numbers. Here, $a$ is called the real part, denoted $\operatorname{Re}(z)$, and $b$ is called the imaginary part, denoted $\operatorname{Im}(z)$.

Arithmetic with complex numbers follows algebraic rules, treating $i$ as a variable but remembering that $i^2 = -1$.

• Addition/Subtraction: Combine real parts and imaginary parts separately: $(a+bi) \pm (c+di) = (a \pm c) + (b \pm d)i$.
• Multiplication: Expand brackets as usual: $(a+bi)(c+di) = ac + adi + bci + bdi^2 = (ac - bd) + (ad + bc)i$.
• Division: Requires the concept of the complex conjugate. The conjugate of $z = a+bi$ is $\bar{z} = a-bi$. To divide, multiply the numerator and denominator by the conjugate of the denominator:

$$\frac{a+bi}{c+di} = \frac{(a+bi)(c-di)}{(c+di)(c-di)} = \frac{(ac+bd) + (bc-ad)i}{c^2+d^2}.$$ The denominator becomes a real number, allowing the result to be expressed in standard $a+bi$ form.

Geometric Interpretation: The Argand Diagram

The Argand diagram provides a crucial geometric perspective, plotting a complex number $z = x+yi$ as a point with coordinates $(x, y)$. The x-axis represents the real part, and the y-axis represents the imaginary part. This visualization transforms complex numbers into vectors from the origin.

In this geometric view, two key features emerge:

1. Modulus: The distance from the origin to the point $z$, denoted $|z|$ or $r$. By Pythagoras' theorem, $|z| = \sqrt{x^2 + y^2}$.
2. Argument: The angle $\theta$ measured anticlockwise from the positive real axis to the line segment connecting the origin to $z$, denoted $\arg(z)$. It is usually given in radians and its principal value lies in the interval $(-\pi, \pi]$.

The modulus-argument form, or polar form, of a complex number is $z = r(\cos \theta + i\sin \theta)$, often abbreviated as $r\operatorname{cis}\theta$.

Polar and Exponential Form

The polar form leads to a more powerful representation. Euler's formula states that for any real $\theta$, $e^{i\theta} = \cos \theta + i\sin \theta$. This gives us the exponential form of a complex number: $z = re^{i\theta}$, where $r = |z|$ and $\theta = \arg(z)$.

This form dramatically simplifies multiplication and division. If $z_1 = r_1e^{i\theta_1}$ and $z_2 = r_2e^{i\theta_2}$, then:

• $z_1 z_2 = r_1 r_2 e^{i(\theta_1 + \theta_2)}$ (Multiply moduli, add arguments)
• $\dfrac{z_1}{z_2} = \dfrac{r_1}{r_2} e^{i(\theta_1 - \theta_2)}$ (Divide moduli, subtract arguments)

Geometrically, multiplying by a complex number $re^{i\theta}$ scales by a factor of $r$ and rotates by an angle $\theta$ about the origin.

De Moivre's Theorem and Roots of Complex Numbers

De Moivre's theorem is a direct consequence of exponential form and is stated as: For any integer $n$ and real $\theta$, $$(\cos \theta + i\sin \theta)^n = \cos(n\theta) + i\sin(n\theta).$$ In exponential form, this is simply $(e^{i\theta})^n = e^{in\theta}$. This theorem is indispensable for raising complex numbers to powers and, more importantly, for finding roots.

To find the $n$th roots of a complex number $z = re^{i\theta}$, we solve the equation $w^n = z$. The solutions are given by: $$w_k = r^{1/n} e^{i(\theta + 2k\pi)/n}, \quad \text{for } k = 0, 1, 2, ..., n-1.$$

There are always $n$ distinct $n$th roots. On an Argand diagram, these roots are equally spaced around a circle of radius $r^{1/n}$, with an angular separation of $\frac{2\pi}{n}$. For example, the three cube roots of 8 ($8e^{i0}$) are $2e^{i0}$, $2e^{i2\pi/3}$, and $2e^{i4\pi/3}$.

Applications to Geometry and Trigonometry

Complex numbers provide elegant solutions to geometric problems. The locus of points satisfying $|z - z_1| = r$ is a circle with center at the complex point $z_1$ and radius $r$. The condition $|z - z_1| = |z - z_2|$ describes the perpendicular bisector of the line segment joining $z_1$ and $z_2$.

Furthermore, De Moivre's theorem can be used to derive multiple-angle trigonometric identities. For instance, using $(\cos \theta + i\sin \theta)^3$ and applying the binomial theorem, then equating real and imaginary parts with $\cos 3\theta + i\sin 3\theta$, yields formulas for $\cos 3\theta$ and $\sin 3\theta$ in terms of $\cos \theta$ and $\sin \theta$.

Common Pitfalls

1. Misapplying the Argument: Forgetting to find the correct quadrant when converting from $a+bi$ to polar form is a major error. Always sketch the point on an Argand diagram. For $z = -1 - i$, the principal argument is $-\frac{3\pi}{4}$, not $\frac{\pi}{4}$ or $\arctan(1)$.
2. Root Confusion: A complex number has n distinct nth roots. A common mistake is to state only one root (the principal root) or to use values of $k$ beyond $n-1$, which simply repeats earlier roots. Remember the formula and that $k$ runs from $0$ to $n-1$.
3. Algebraic Errors with i: Treating $i$ as a real variable without remembering $i^2 = -1$ can lead to mistakes in multiplication and division. In division, always check that you have correctly multiplied by the conjugate and simplified the denominator to a real number.
4. Ignoring the Exponential Form's Power: Students often perform multiplications or find powers in Cartesian form ($a+bi$), which is algebraically heavy and error-prone. For problems involving powers or products of several numbers, converting to exponential/polar form first is almost always the most efficient and reliable strategy.

Summary

• Complex numbers, expressed as $z = a+bi$, extend the real numbers by introducing the imaginary unit $i$ where $i^2 = -1$, allowing all polynomial equations to have solutions.
• The Argand diagram provides a geometric interpretation, where the modulus $|z|$ is the distance from the origin and the argument $\arg(z)$ is the angle from the positive real axis.
• The polar form $r(\cos\theta + i\sin\theta)$ and exponential form $re^{i\theta}$ simplify operations: multiplication involves multiplying moduli and adding arguments.
• De Moivre's theorem, $(\cos\theta + i\sin\theta)^n = \cos n\theta + i\sin n\theta$, is essential for finding powers and the n distinct roots of complex numbers, which are equally spaced on a circle in the Argand diagram.
• Complex numbers have direct applications to geometry (describing loci like circles and lines) and trigonometry (deriving multiple-angle identities), making them a powerful unifying tool in the IB HL curriculum.