Complex Numbers

Hey there, students! 👋 Welcome to one of the most fascinating areas of A-Level Further Mathematics - complex numbers! In this lesson, we'll explore how mathematicians extended our number system beyond real numbers to solve equations that seemed impossible. You'll discover how these "imaginary" numbers are actually incredibly useful in engineering, physics, and computer science. By the end of this lesson, you'll understand complex arithmetic, visualize complex numbers on the Argand diagram, work with polar form, apply De Moivre's theorem, and find roots of unity with both algebraic and geometric interpretations.

What Are Complex Numbers? 🤔

Complex numbers were born out of necessity when mathematicians encountered equations like $x^2 = -1$. Since no real number squared gives a negative result, mathematicians invented the imaginary unit $i$, where $i^2 = -1$.

A complex number has the form $z = a + bi$, where:

$a$ is the real part (written as $\text{Re}(z) = a$)
$b$ is the imaginary part (written as $\text{Im}(z) = b$)
$i$ is the imaginary unit

For example, $3 + 4i$ has real part 3 and imaginary part 4. Notice that real numbers are just complex numbers where $b = 0$, and purely imaginary numbers have $a = 0$.

Complex Arithmetic Operations

Addition and Subtraction: Combine like terms

$(3 + 4i) + (2 - 5i) = (3 + 2) + (4 - 5)i = 5 - i$

Multiplication: Use the distributive property and remember $i^2 = -1$

$(3 + 4i)(2 - 5i) = 6 - 15i + 8i - 20i^2 = 6 - 7i + 20 = 26 - 7i$

Complex Conjugate: For $z = a + bi$, the conjugate is $\overline{z} = a - bi$

This is crucial for division: $z \cdot \overline{z} = a^2 + b^2$ (always real and positive!)

Division: Multiply numerator and denominator by the conjugate of the denominator

$$\frac{3 + 4i}{2 - 5i} = \frac{(3 + 4i)(2 + 5i)}{(2 - 5i)(2 + 5i)} = \frac{6 + 15i + 8i + 20i^2}{4 + 25} = \frac{-14 + 23i}{29}$$

The Argand Diagram: Visualizing Complex Numbers 📊

The Argand diagram is like a coordinate system for complex numbers, named after Jean-Robert Argand. Instead of plotting $(x, y)$ coordinates, we plot complex numbers $a + bi$ where:

The horizontal axis represents the real part
The vertical axis represents the imaginary part

So $3 + 4i$ appears as the point $(3, 4)$ on the Argand diagram. This geometric representation reveals amazing patterns and makes complex number operations visual!

Geometric Interpretations

Modulus (Absolute Value): The distance from the origin to the point representing $z$

$$|z| = |a + bi| = \sqrt{a^2 + b^2}$$

For $z = 3 + 4i$, we get $|z| = \sqrt{3^2 + 4^2} = \sqrt{25} = 5$

Argument: The angle from the positive real axis to the line connecting the origin to $z$

$$\arg(z) = \arctan\left(\frac{b}{a}\right)$$

(with appropriate quadrant adjustments)

The argument is typically given in radians between $-\pi$ and $\pi$.

Polar Form: A Different Perspective 🎯

Every complex number can be written in polar form using its modulus and argument:

$$z = r(\cos\theta + i\sin\theta)$$

where $r = |z|$ and $\theta = \arg(z)$.

This can also be written as $z = re^{i\theta}$ using Euler's formula: $e^{i\theta} = \cos\theta + i\sin\theta$.

Converting from Rectangular to Polar:

For $z = 3 + 4i$:

$r = \sqrt{3^2 + 4^2} = 5$
$\theta = \arctan\left(\frac{4}{3}\right) \approx 0.927$ radians
So $z = 5(\cos(0.927) + i\sin(0.927))$

Why Use Polar Form? Multiplication and division become much simpler:

$(r_1e^{i\theta_1})(r_2e^{i\theta_2}) = r_1r_2e^{i(\theta_1 + \theta_2)}$
$\frac{r_1e^{i\theta_1}}{r_2e^{i\theta_2}} = \frac{r_1}{r_2}e^{i(\theta_1 - \theta_2)}$

De Moivre's Theorem: Powers Made Easy ⚡

Abraham de Moivre discovered this powerful theorem in the 18th century:

If $z = r(\cos\theta + i\sin\theta)$, then $z^n = r^n(\cos(n\theta) + i\sin(n\theta))$

This makes raising complex numbers to powers incredibly straightforward! Instead of multiplying a complex number by itself $n$ times, we simply:

Raise the modulus to the $n$th power
Multiply the argument by $n$

Example: Find $(1 + i)^8$

First, convert to polar form:

$r = |1 + i| = \sqrt{2}$
$\theta = \arctan(1) = \frac{\pi}{4}$
So $1 + i = \sqrt{2}(\cos\frac{\pi}{4} + i\sin\frac{\pi}{4})$

Using De Moivre's theorem:

$(1 + i)^8 = (\sqrt{2})^8(\cos\frac{8\pi}{4} + i\sin\frac{8\pi}{4}) = 16(\cos 2\pi + i\sin 2\pi) = 16(1 + 0i) = 16$

Roots of Unity: Beautiful Symmetry 🌟

The $n$th roots of unity are the solutions to $z^n = 1$. Using De Moivre's theorem, if $z = re^{i\theta}$ and $z^n = 1$, then:

$r^n = 1$, so $r = 1$
$n\theta = 2\pi k$ for integer $k$, so $\theta = \frac{2\pi k}{n}$

The $n$ distinct $n$th roots of unity are:

$$\omega_k = e^{i\frac{2\pi k}{n}} = \cos\frac{2\pi k}{n} + i\sin\frac{2\pi k}{n}$$

for $k = 0, 1, 2, ..., n-1$.

Geometric Beauty: These roots form a regular $n$-sided polygon on the unit circle in the Argand diagram! For example:

The 4th roots of unity ($1, i, -1, -i$) form a square
The 6th roots of unity form a regular hexagon

Real-World Applications: Roots of unity appear in signal processing (Fourier transforms), crystallography (molecular symmetries), and quantum mechanics (wave functions).

Finding General Roots 🔍

To find the $n$th roots of any complex number $w = se^{i\phi}$:

If $z^n = w$, then $z = \sqrt[n]{s} \cdot e^{i\frac{\phi + 2\pi k}{n}}$ for $k = 0, 1, ..., n-1$.

Example: Find the cube roots of $8i$

First, write $8i$ in polar form: $8i = 8e^{i\frac{\pi}{2}}$

The cube roots are:

$z_0 = 2e^{i\frac{\pi}{6}} = 2(\cos\frac{\pi}{6} + i\sin\frac{\pi}{6}) = \sqrt{3} + i$
$z_1 = 2e^{i\frac{5\pi}{6}} = 2(\cos\frac{5\pi}{6} + i\sin\frac{5\pi}{6}) = -\sqrt{3} + i$
$z_2 = 2e^{i\frac{3\pi}{2}} = 2(\cos\frac{3\pi}{2} + i\sin\frac{3\pi}{2}) = -2i$

These three roots form an equilateral triangle on the Argand diagram!

Conclusion

Complex numbers extend our mathematical toolkit far beyond real numbers, providing elegant solutions to previously impossible problems. Through the Argand diagram, we can visualize these numbers geometrically, while polar form and De Moivre's theorem make calculations with powers and roots remarkably simple. The roots of unity showcase the beautiful symmetry inherent in complex numbers, appearing as regular polygons on the unit circle. These concepts aren't just mathematical curiosities - they're fundamental tools used in engineering, physics, and computer science to solve real-world problems involving oscillations, waves, and periodic phenomena.

Study Notes

• Complex Number Form: $z = a + bi$ where $a$ is real part, $b$ is imaginary part, $i^2 = -1$

• Complex Conjugate: $\overline{a + bi} = a - bi$

• Modulus: $|z| = |a + bi| = \sqrt{a^2 + b^2}$

• Argument: $\arg(z) = \arctan\left(\frac{b}{a}\right)$ (with quadrant adjustments)

• Polar Form: $z = r(\cos\theta + i\sin\theta) = re^{i\theta}$ where $r = |z|$, $\theta = \arg(z)$

• Euler's Formula: $e^{i\theta} = \cos\theta + i\sin\theta$

• De Moivre's Theorem: $[r(\cos\theta + i\sin\theta)]^n = r^n(\cos(n\theta) + i\sin(n\theta))$

• Multiplication in Polar: $(r_1e^{i\theta_1})(r_2e^{i\theta_2}) = r_1r_2e^{i(\theta_1 + \theta_2)}$

• Division in Polar: $\frac{r_1e^{i\theta_1}}{r_2e^{i\theta_2}} = \frac{r_1}{r_2}e^{i(\theta_1 - \theta_2)}$

• $n$th Roots of Unity: $\omega_k = e^{i\frac{2\pi k}{n}}$ for $k = 0, 1, ..., n-1$

• $n$th Roots of $w = se^{i\phi}$: $z_k = \sqrt[n]{s} \cdot e^{i\frac{\phi + 2\pi k}{n}}$ for $k = 0, 1, ..., n-1$

• Geometric Interpretation: Complex numbers as points on Argand diagram, roots of unity form regular polygons on unit circle