Menu
EARLY ACCESS JMaths is in active development — new content added regularly

Complex Numbers HL

IB Mathematics: Applications & Interpretation · Topic 1: Number & Algebra
www.jmaths.xyz
1
Introduction & Cartesian Form
The imaginary unit \( i \) is defined by \( i^2 = -1 \). A complex number in Cartesian form is \( z = a + bi, \) where \( a = \) Re(\( z) \) and \( b = \) Im(\( z) \).
Addition / Subtraction
\( (a+bi) \pm (c+di) = (a\pm c) + (b\pm d)i \)
Multiplication
\( (a+bi)(c+di) = (ac-bd) + (ad+bc)i \)
2
Conjugate, Modulus & Argument
Complex conjugate
\( z* = a - bi \)
\( z \times z* = a^2 + b^2 ( \)always real)
Modulus
\( |z| = \sqrt{a^2 + b^2} \)
Distance from origin on Argand diagram
Argument
\( arg(z) = \theta = arctan(b/a) \)
Adjust for quadrant: Q2 & Q3 add/subtract \( \pi . \) Convention: \( -\pi \) < \( \theta \leq \pi \)
Division: To divide by a complex number, multiply top and bottom by the conjugate of the denominator: (\( a+bi)/(c+di) \times (c-di)/(c-di). \)
Common error: arctan(\( b/a) \) only gives the correct angle for Q1 and Q4. For \( z = -1 + i, \) arctan(\( -1) = -45 \)° but the actual argument is 135° (Q2). Always plot the point first.
3
Argand Diagram
The Argand diagram represents complex numbers as points in a plane: horizontal axis = Real, vertical axis = Imaginary.
Re Im O z = a + bi a b |z| θ |z| = √(a² + b²), θ = arg(z)
Key interpretations: |\( z_1 - z_2| = \) distance between two points. |\( z - w| = r \) describes a circle centre \( w, \) radius \( r \). arg(\( z - w) = \theta \) describes a half-line from \( w \).
4
Polar (Modulus-Argument) Form
Polar form
\( z = r cis \theta = r(\cos \theta + i \sin \theta ) \)
where \( r = \) |\( z| \) and \( \theta = \) arg(\( z) \)
Converting between forms
\( Cartesian \to Polar: r = \sqrt{a^2+b^2}, \theta = arctan(b/a) \)
\( Polar \to Cartesian: a = r \cos \theta , b = r \sin \theta \)
Worked Example
Write \( z = -1 + \sqrt{3} i \) in polar form.
\( r = \sqrt{1 + 3} = 2 \)
\( \theta = \) arctan(\( \sqrt{3}/-1) \) — point is in Q2, so \( \theta = \pi - \pi /3 = 2\pi /3 \)
Answer: \( z = 2 \) cis(2\( \pi /3) \)

Complex Numbers HL

IB Mathematics: Applications & Interpretation · Topic 1: Number & Algebra
www.jmaths.xyz
5
Multiplication & Division in Polar Form
Multiplication
\( r_1 cis \theta _1 \times r_2 cis \theta _2 = r_1r_2 cis(\theta _1+\theta _2) \)
Multiply moduli, add arguments
Division
\( (r_1 cis \theta _1) / (r_2 cis \theta _2) = (r_1/r_2) cis(\theta _1-\theta _2) \)
Divide moduli, subtract arguments
Geometric meaning: Multiplying by \( r \) cis \( \theta \) scales by \( r \) and rotates by \( \theta . \) Multiplying by cis(\( \pi /2) = \) rotation of 90° anticlockwise.
6
De Moivre’s Theorem
De Moivre’s theorem (given in formula booklet)
\( (r cis \theta )^n = r^n cis(n\theta ) \)
Equivalently: [\( r(\cos \theta + i \) sin \( \theta )] \)\( n \) = \( r^{n} \)(cos \( n\theta + i \) sin \( n\theta ) \)
Worked Example
Find (1 + \( i)^8 \).
Convert to polar: |1+\( i| = \sqrt{2}, \) arg = \( \pi /4. \) So 1+\( i = \sqrt{2} \) cis(\( \pi /4) \)
(\( \sqrt{2} \) cis(\( \pi /4))^8 = (\sqrt{2})^8 \) cis(8 \( \times \pi /4) = 16 \) cis(2\( \pi ) = 16(1 + 0i) \)
Answer: (1 + \( i)^8 = 16 \)
Common error: Applying De Moivre’s theorem to Cartesian form directly. You MUST convert to polar form first: (\( a+bi)^{n} \) \( \neq \) \( a^{n} \) + (\( bi)^{n} \).
7
Adding Sinusoidal Functions
Complex numbers can be used to combine sinusoidal functions of the same frequency into a single sinusoidal function.
Combining sinusoids
\( A_1 \sin(\omega t + \phi _1) + A_2 \sin(\omega t + \phi _2) = R \sin(\omega t + \alpha ) \)
Represent each term as a complex number \( A \) cis \( \phi , \) add them, then read off \( R \) and \( \alpha \)
Method: Write \( z_1 = A_1 \) cis \( \phi _1 \) and \( z_2 = A_2 \) cis \( \phi _2. \) Then \( z_1 + z_2 = R \) cis \( \alpha \) where \( R = \) |\( z_1+z_2| \) and \( \alpha = \) arg(\( z_1+z_2) \).
GDC: Complex Numbers
TI-84 Plus CE
[MODE] → set to a+b\( i \) or re^(\( \theta i) \)
Enter \( i \) with [2ND][.]
abs( for modulus, angle( for argument
Powers: (1+\( i)^8 \) [ENTER]
TI-Nspire CX II
Enter \( i \) from keyboard or [\( \pi ] \) menu
abs(z) for modulus, angle(z) for argument
conj(z) for conjugate    real(z), imag(z) for parts
Polar: type in r\( \cdot e^(i\cdot \theta ) \) or use ▸Polar conversion
Casio fx-CG50
[MENU] → Run-Matrix    [SHIFT][0] for \( i \)
[OPTN] → COMPLEX → Abs, Arg, Conj
Toggle form: [SHIFT][MENU] → Complex Mode → a+bi or r∠\( \theta \)
8
Exam Traps & Key Reminders
Powers of \( i \): \( i^1 = i, i^2 = -1, i^3 = -i, i^4 = 1, \) then repeats. For \( i^{n} \), find \( n \) mod 4.
Argument in radians. The IB expects arguments in radians (usually in terms of \( \pi ), \) not degrees, unless otherwise stated.
Formula booklet: De Moivre’s theorem, modulus, and polar/Cartesian conversion are given. The multiplication/division rules for polar form follow directly from De Moivre’s theorem.