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 $\mathrm{Re}(z)$, and $b$ is called the imaginary part, denoted $\mathrm{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+bd{i}^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\mathrm{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=r{e}^{i\theta }$, where $r=|z|$ and $\theta =\arg (z)$.

This form dramatically simplifies multiplication and division. If $z_1=r_1{e}^{i{\theta }_1}$ and $z_2=r_2{e}^{i{\theta }_2}$, then:

• $z_1{z}_2=r_1{r}_2{e}^{i({\theta }_1+{\theta }_2)}$ (Multiply moduli, add arguments)
• $\frac{z_1}{z_2}=\frac{r_1}{r_2}{e}^{i({\theta }_1-{\theta }_2)}$ (Divide moduli, subtract arguments)

Geometrically, multiplying by a complex number $r{e}^{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=r{e}^{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},\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 $r{e}^{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.