Skip to content
Part IA Michaelmas, Lent, Easter Term

Complex Numbers

Definition

A complex number is:

z=x+iyz = x + iy

where:

  • xRx \in \mathbb{R} is the real part: Re(z)=x\text{Re}(z) = x
  • yRy \in \mathbb{R} is the imaginary part: Im(z)=y\text{Im}(z) = y
  • ii is the imaginary unit: i2=1i^2 = -1

The set of all complex numbers is C\mathbb{C}.


Complex Conjugate

The complex conjugate of z=x+iyz = x + iy is:

zˉ=z=xiy\bar{z} = z^* = x - iy

Properties:

  • zzˉ=z2=x2+y2z\bar{z} = |z|^2 = x^2 + y^2
  • z+zˉ=2Re(z)z + \bar{z} = 2\text{Re}(z)
  • zzˉ=2iIm(z)z - \bar{z} = 2i\text{Im}(z)
  • z1z2=zˉ1zˉ2\overline{z_1 z_2} = \bar{z}_1 \bar{z}_2
  • z1+z2=zˉ1+zˉ2\overline{z_1 + z_2} = \bar{z}_1 + \bar{z}_2

The Argand Diagram

Complex numbers correspond to points in the complex plane (Argand diagram):

  • Horizontal axis: real part
  • Vertical axis: imaginary part

Argand diagram showing complex number z = x + iy plotted at (x, y), with modulus r and argument θ marked

This geometric interpretation makes complex numbers useful for 2D rotations and oscillations.


Modulus and Argument

Modulus (Magnitude)

z=r=x2+y2=zzˉ|z| = r = \sqrt{x^2 + y^2} = \sqrt{z\bar{z}}

The distance from origin in the Argand diagram.

Argument (Angle)

arg(z)=θ=tan1yx\arg(z) = \theta = \tan^{-1}\frac{y}{x}

Warning: Must consider the signs of xx and yy to get the correct quadrant. The principal argument satisfies π<θπ-\pi < \theta \leq \pi.

Use:

  • θ=tan1(y/x)\theta = \tan^{-1}(y/x) if x>0x > 0
  • θ=tan1(y/x)+π\theta = \tan^{-1}(y/x) + \pi if x<0x < 0 and y0y \geq 0
  • θ=tan1(y/x)π\theta = \tan^{-1}(y/x) - \pi if x<0x < 0 and y<0y < 0
  • θ=π/2\theta = \pi/2 if x=0x = 0 and y>0y > 0
  • θ=π/2\theta = -\pi/2 if x=0x = 0 and y<0y < 0

Polar Form

Using modulus and argument:

z=r(cosθ+isinθ)=reiθz = r(\cos\theta + i\sin\theta) = re^{i\theta}

This is the polar form (also called modulus-argument form).


Euler’s Formula

eiθ=cosθ+isinθe^{i\theta} = \cos\theta + i\sin\theta

Derivation sketch: Expand eiθe^{i\theta}, cosθ\cos\theta, sinθ\sin\theta as power series and compare.

Euler’s identity (when θ=π\theta = \pi): eiπ+1=0e^{i\pi} + 1 = 0

This connects five fundamental constants: ee, ii, π\pi, 11, 00.


De Moivre’s Theorem

(cosθ+isinθ)n=cos(nθ)+isin(nθ)(\cos\theta + i\sin\theta)^n = \cos(n\theta) + i\sin(n\theta)

Or equivalently: (eiθ)n=einθ(e^{i\theta})^n = e^{in\theta}

Applications

Trigonometric identities: cosnθ=Re[(cosθ+isinθ)n]\cos n\theta = \text{Re}[(\cos\theta + i\sin\theta)^n] sinnθ=Im[(cosθ+isinθ)n]\sin n\theta = \text{Im}[(\cos\theta + i\sin\theta)^n]

Binomial expansion method: cos3θ=Re[(cosθ+isinθ)3]=cos3θ3cosθsin2θ=4cos3θ3cosθ\cos 3\theta = \text{Re}[(\cos\theta + i\sin\theta)^3] = \cos^3\theta - 3\cos\theta\sin^2\theta = 4\cos^3\theta - 3\cos\theta

Expressing trig in terms of exponentials: cosθ=eiθ+eiθ2,sinθ=eiθeiθ2i\cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2}, \quad \sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i}


Roots of Unity

The nnth roots of unity are solutions to zn=1z^n = 1:

zk=e2πik/n=cos2πkn+isin2πknz_k = e^{2\pi i k/n} = \cos\frac{2\pi k}{n} + i\sin\frac{2\pi k}{n}

for k=0,1,2,,n1k = 0, 1, 2, \ldots, n-1.

Roots of unity for n=6, showing 6 equally spaced points on unit circle forming regular hexagon

Geometric interpretation: The nn roots are evenly spaced around the unit circle, forming a regular nn-gon.

Example (cube roots): z3=1z0=1,z1=e2πi/3,z2=e4πi/3z^3 = 1 \Rightarrow z_0 = 1, \quad z_1 = e^{2\pi i/3}, \quad z_2 = e^{4\pi i/3}


Roots of Complex Numbers

To solve zn=wz^n = w where w=Reiϕw = Re^{i\phi}:

zk=Rnexp(iϕ+2πkn)z_k = \sqrt[n]{R} \exp\left(i\frac{\phi + 2\pi k}{n}\right)

for k=0,1,,n1k = 0, 1, \ldots, n-1.


Why Complex Numbers Matter

Complex numbers unify and simplify many areas:

  • Differential equations: exponential solutions
  • AC circuits: impedance extends resistance
  • Quantum mechanics: wave functions are complex-valued
  • Signal processing: Fourier transforms use complex exponentials
  • 2D rotations: multiplication by eiθe^{i\theta} rotates by angle θ\theta

The algebra of complex numbers captures oscillatory and wave behaviour elegantly, replacing sines and cosines with exponentials.