IB Math AA: Complex Numbers

Complex numbers are not merely an abstract mathematical curiosity; they are the essential language for describing oscillatory phenomena, solving previously "unsolvable" equations, and underpinning modern fields from electrical engineering to quantum mechanics. For IB Math Analysis and Approaches Higher Level, mastering complex numbers is a critical step in developing a sophisticated understanding of algebra and calculus, directly preparing you for Paper 1, Paper 2, and the exploration paper, where these concepts are frequently examined in both procedural and problem-solving contexts.

The Foundation: Cartesian Form and Basic Operations

A complex number is an extension of the real number system, defined as a number of the form $z=a+bi$, where $a$ and $b$ are real numbers, and $i$ is the imaginary unit defined by the property $i^2=-1$. Here, $a$ is the real part, denoted $\text{Re}(z)$, and $b$ is the imaginary part, denoted $\text{Im}(z)$. This $a+bi$ representation is known as the Cartesian or rectangular form.

Operations with complex numbers in Cartesian form follow algebraic rules, treating $i$ as a variable but always simplifying $i^2$ to $-1$.

• Addition/Subtraction: Combine real parts and imaginary parts separately: $(a+bi)\pm (c+di)=(a\pm c)+(b\pm d)i$.
• Multiplication: Apply the distributive property (FOIL): $(a+bi)(c+di)=ac+adi+bci+bd{i}^2=(ac-bd)+(ad+bc)i$.
• Division: Requires the use of the complex conjugate. The conjugate of $z=a+bi$ is $\overline{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)}\cdot \frac{(c-di)}{(c-di)}=\frac{(ac+bd)+(bc-ad)i}{c^2+d^2}.$$ The result is expressed in standard Cartesian form.

Geometric Insight: The Argand Diagram and Polar Form

An Argand diagram provides a powerful geometric representation. It is a coordinate plane where the x-axis represents the real part and the y-axis represents the imaginary part. The complex number $z=a+bi$ corresponds to the point $(a,b)$ or the vector from the origin to that point.

This geometric view leads to the polar form (or modulus-argument form). Instead of coordinates $(a,b)$, we describe the point by its distance from the origin and its angle.

• The modulus of $z$, denoted $|z|$ or $r$, is its distance: $|z|=r=\sqrt{a^2+b^2}$.
• The argument of $z$, denoted $\arg (z)$ or $\theta$, is the angle the vector makes with the positive real axis, measured anticlockwise. By convention, $-\pi <\arg (z)\le \pi$ (the principal argument). We find $\theta$ using $\tan \theta =b/a$, carefully accounting for the quadrant of $z$.

The polar form is written as $z=r(\cos \theta +i\sin \theta )$, often abbreviated as $z=r\text{cis}\theta$.

Converting between forms is crucial:

• Cartesian to Polar: $r=\sqrt{a^2+b^2}$, $\theta =\arg (a+bi)$.
• Polar to Cartesian: $a=r\cos \theta$, $b=r\sin \theta$.

Multiplication and division become strikingly simple in polar form. For $z_1=r_1\text{cis}{\theta }_1$ and $z_2=r_2\text{cis}{\theta }_2$:

• Multiplication: $z_1{z}_2=(r_1{r}_2)\text{cis}({\theta }_1+{\theta }_2)$. Multiply the moduli, add the arguments.
• Division: $\frac{z_1}{z_2}=\frac{r_1}{r_2}\text{cis}({\theta }_1-{\theta }_2)$. Divide the moduli, subtract the arguments.
• Powers (a preview): $z^n=r^n\text{cis}(n\theta )$.

De Moivre's Theorem and Its Applications

De Moivre's Theorem is a cornerstone result. It states that for any integer $n$ and complex number in polar form: $$[r(\cos \theta +i\sin \theta ){]}^n=r^n(\cos (n\theta )+i\sin (n\theta )).$$ In cis notation: $(r\text{cis}\theta {)}^n=r^n\text{cis}(n\theta )$.

Its power is unlocked in two primary applications:

1. Computing Powers and Roots of Complex Numbers: Raising a complex number to a large power is trivial with De Moivre's. More importantly, it allows us to find all $n$th roots of a complex number. The $n$th roots of $z=r\text{cis}\theta$ are given by:

$$\sqrt[n]{r}\text{cis}\left(\frac{\theta +2k\pi }{n}\right),\text{for }k=0,1,2,...,n-1.$$ These $n$ roots are equally spaced around a circle of radius $\sqrt[n]{r}$ on the Argand diagram.

1. Proving Trigonometric Identities: By expressing $\cos (n\theta )$ and $\sin (n\theta )$ in terms of powers of $\cos \theta$ and $\sin \theta$, and vice-versa. For example, to find $\cos (3\theta )$, you expand $(\cos \theta +i\sin \theta {)}^3$ using the binomial theorem, apply De Moivre's to equate it to $\cos (3\theta )+i\sin (3\theta )$, and then equate real and imaginary parts.

Polynomials, Roots, and the Fundamental Theorem of Algebra

The introduction of complex numbers completes our understanding of polynomial equations. The Fundamental Theorem of Algebra states that every non-constant polynomial of degree $n$ with complex coefficients has at least one complex root. A critical corollary is that such a polynomial has exactly $n$ roots in the complex number system, when counted with multiplicity.

This theorem directly impacts solving equations:

• Real polynomials may have complex roots, which always occur in conjugate pairs. If $a+bi$ (with $b\ne 0$) is a root of a polynomial with real coefficients, then its conjugate $a-bi$ is also a root.
• Finding all roots of a polynomial often involves:

1. Using the Factor Theorem to find one real root (e.g., by inspection or GDC).
2. Performing polynomial division to reduce the degree.
3. Solving the resulting quadratic (or higher-degree) equation, which may yield complex roots.

For example, the cubic $x^3-1=0$ has one real root, $x=1$. Using the methods above or applying De Moivre's theorem to find cube roots, we discover the two complex roots: $-\frac{1}{2}\pm \frac{\sqrt{3}}{2}i$, which are complex conjugates.

The Exponential Form and Advanced Synthesis

The most elegant representation unifies complex numbers, trigonometry, and exponential functions. Euler's formula states: $$e^{i\theta }=\cos \theta +i\sin \theta .$$ This allows us to write any complex number in exponential form: $z=r{e}^{i\theta }$, where $r=|z|$ and $\theta =\arg (z)$.

This form is exceptionally powerful because the laws of exponents apply directly:

• Multiplication: $r_1{e}^{i{\theta }_1}\cdot r_2{e}^{i{\theta }_2}=(r_1{r}_2)e^{i({\theta }_1+{\theta }_2)}$.
• Division: $\frac{r_1{e}^{i{\theta }_1}}{r_2{e}^{i{\theta }_2}}=\frac{r_1}{r_2}{e}^{i({\theta }_1-{\theta }_2)}$.
• De Moivre's Theorem becomes a natural extension: $(r{e}^{i\theta }{)}^n=r^n{e}^{in\theta }$.
• It simplifies calculus with complex functions and is indispensable in higher mathematics, physics, and engineering for modeling waves and oscillations.

Common Pitfalls

1. Misinterpreting the Argument: Forgetting to adjust the angle given by ${\tan }^{-1}(b/a)$ for the correct quadrant is the most frequent error. Always plot the point on an Argand diagram mentally. Also, confusing the argument ($\theta$) with the modulus ($r$). Remember: $r\ge 0$ always.

1. Forgetting All Roots: When finding $n$th roots using De Moivre's theorem, students often stop after $k=0$, giving only one root. You must remember the $+2k\pi$ term and generate all $n$ distinct roots for $k=0,1,...,n-1$.

1. Mishandling Conjugates in Polynomials: When given that a complex number is a root of a polynomial with real coefficients, failing to automatically include its conjugate as another root. This conjugate pair should be multiplied to form a real quadratic factor, a key step in polynomial division and factorization.

1. Algebraic Errors with $i$: Careless mistakes in multiplication or division, such as incorrectly simplifying $i^2$ or forgetting to multiply both numerator and denominator by the conjugate during division. Methodical, step-by-step work prevents this.

Summary

• Complex numbers $a+bi$ extend the real number system, with $i^2=-1$. Operations follow algebraic rules, with division requiring multiplication by the complex conjugate.
• The Argand diagram provides a geometric interpretation, leading to the polar form $r\text{cis}\theta$, where $r$ is the modulus (distance) and $\theta$ is the argument (angle). In this form, multiplication becomes multiplying moduli and adding arguments.
• De Moivre's Theorem, $(r\text{cis}\theta {)}^n=r^n\text{cis}(n\theta )$, is essential for efficiently finding powers and all $n$th roots of complex numbers, as well as deriving trigonometric identities.
• The Fundamental Theorem of Algebra guarantees that a degree-$n$ polynomial has $n$ complex roots (counted with multiplicity). For polynomials with real coefficients, non-real roots always appear in conjugate pairs.
• The exponential form $r{e}^{i\theta }$, derived from Euler's formula, is the most concise representation, unifying algebra, trigonometry, and calculus for advanced applications.