Chapter 2
Complex Numbers
The imaginary unit, Argand plane, modulus & argument, polar/Euler form and De Moivre's theorem.
1. Why complex numbers?
Some equations simply have no real solution. The equation asks for a number whose square is — and no real number squares to a negative value. To solve such equations we extend the number system beyond the real line.
The imaginary unit is defined by , so that .
Powers of cycle with period 4, which is worth memorising because it makes simplifying large powers instant:
2. What is a complex number?
A complex number is an expression of the form , where and are real numbers. Here is the real part and is the imaginary part.
Two complex numbers are equal exactly when both their real parts and their imaginary parts are equal. A number with is purely real; one with (and ) is purely imaginary.
Addition and multiplication follow ordinary algebra, treating as a symbol with the single rule :
3. The Argand plane
Every complex number can be pictured as the point in a plane: the horizontal axis carries the real part, the vertical axis the imaginary part. This picture is called the Argand plane (or complex plane), and it turns algebra about complex numbers into geometry.
4. Conjugate of a complex number
The conjugate of is — the reflection of across the real axis.
The conjugate is the key tool for dividing complex numbers and for extracting real/imaginary parts:
- is real ; is purely imaginary
5. Modulus of a complex number
Just as the absolute value of a real number measures its distance from on the number line, the modulus of a complex number measures its distance from the origin in the Argand plane — the hypotenuse of the right triangle with legs and .
If , then the modulus of , denoted , is .
- and
- (triangle inequality)
- for integer
6. Polar (trigonometric) form and argument
A non-zero complex number is fixed by two pieces of data: how far it is from the origin (its modulus ) and the direction it points (its angle ). Writing and gives the polar form.
For a non-zero with modulus and angle , the polar form is , sometimes written . The angle is the argument, found from (adjusted for the correct quadrant).
7. Euler's form
Euler's formula packages the polar form into a compact exponential, which makes multiplication, powers, and roots especially clean:
In this form, multiplying two numbers multiplies their moduli and adds their angles: .
8. De Moivre's theorem and roots
For any integer , .
Applied in reverse, it produces the distinct -th roots of a complex number, which sit at equal angular spacing of around a circle. The -th roots of unity are: