IB Maths AI HL · free cheatsheet

Complex Numbers cheatsheet (IB Maths AI HL)

Every form, rule, De Moivre power, root and AI application — AC-circuit phasors and complex eigenvalues — for IB Mathematics Applications & Interpretation HL. Written by an IB-certified teacher.

  • Complex Numbers
  • ~11 minutes read

Complex numbers are the AHL gateway topic in IB Mathematics Applications & Interpretation HL. AI treats them less as abstract algebra and more as a modelling tool: a single complex number captures both a size and a direction, which is exactly what you need for AC electrical circuits (voltage and current as rotating phasors) and for the long-run behaviour of coupled systems (whose spirals fall straight out of complex eigenvalues). A calculator is always allowed, so the marks live in choosing the right form and reading the answer correctly — not in hand-grinding arithmetic.

This cheatsheet condenses every form, rule, De Moivre power, root and application from AHL 1.12–1.15 onto one page, then flags the traps that quietly cost method marks.

§1 — Three forms of a complex number AHL 1.12

A complex number pairs a real part $a$ with an imaginary part $b$, where $i^2=-1$. The same number wears three interchangeable forms:

Cartesian:$z=a+bi$
Polar (mod–arg):$z=r(\cos\theta+i\sin\theta)=r\operatorname{cis}\theta$
Euler (exponential):$z=re^{i\theta}$

where $r=|z|$ is the modulus and $\theta=\arg z$ is the argument. Convert Cartesian → polar with $r=\sqrt{a^2+b^2}$, $\theta=\tan^{-1}\frac{b}{a}$ (fix the quadrant); polar → Cartesian with $a=r\cos\theta$, $b=r\sin\theta$.

TrickUse the form the question rewards: polar/Euler for multiplying, dividing and powers; Cartesian for adding and subtracting.

§2 — Modulus & argument on the Argand diagram AHL 1.12

On the Argand diagram $z=x+yi$ is a point (or vector) from the origin.

Re Im O θ z = a + bi r a b
The Argand diagram — |z| = r is the distance from the origin, and arg z = θ is the angle from the positive real axis. Sketch this first to fix the quadrant.
Modulus:$|z|=\sqrt{x^2+y^2}$ — the distance from the origin
Argument:$\arg z=\tan^{-1}\dfrac{y}{x}$, adjusted so $-180^\circ<\arg z\le180^\circ$

The calculator's $\tan^{-1}$ only ever returns a first- or fourth-quadrant angle, so you must add or subtract $180^\circ$ by hand when $z$ sits in the second or third quadrant.

TrapThe signs of $x$ and $y$ never affect $|z|$ — you square them. But they entirely decide the quadrant of the argument: always sketch $z$ first.
NoteConjugate $z^\ast=x-yi$ reflects $z$ in the real axis: same modulus, negated argument, and $z\,z^\ast=|z|^2=x^2+y^2$.

§3 — Adding, subtracting & multiplying AHL 1.12

Add and subtract componentwise: $(a+bi)\pm(c+di)=(a\pm c)+(b\pm d)i$.

Multiply:$(a+bi)(c+di)=(ac-bd)+(ad+bc)i$

Multiplication is ordinary bracket expansion, then replace $i^2$ with $-1$ — which is why the real part is a subtraction, $ac-bd$.

TrapThe most common dropped mark is losing the $-bd$ term or its sign. Write the two brackets in full before collecting real and imaginary parts.

§4 — The conjugate & division AHL 1.12

To write a quotient in $x+yi$ form, multiply top and bottom by the conjugate of the denominator — this makes the denominator real:

$$\frac{a+bi}{c+di}=\frac{(a+bi)(c-di)}{(c+di)(c-di)}=\frac{(ac+bd)+(bc-ad)i}{c^2+d^2}$$

TrickCompute the real denominator $c^2+d^2$ first; every term then simply divides by that one number.
TrapThe conjugate of $c+di$ is $c-di$, and the new denominator is $c^2+d^2$ — a sum, never $c^2-d^2$.

§5 — Multiply & divide in polar form AHL 1.12

Polar form turns multiplication into arithmetic on the modulus and the angle:

Multiply:$z_1z_2=r_1r_2\,\operatorname{cis}(\theta_1+\theta_2)$ — multiply moduli, add arguments
Divide:$\dfrac{z_1}{z_2}=\dfrac{r_1}{r_2}\,\operatorname{cis}(\theta_1-\theta_2)$ — divide moduli, subtract arguments

Geometrically, multiplying by $z$ rotates by $\arg z$ and scales by $|z|$ — the idea behind phasors and rotations in §8.

§6 — De Moivre's theorem: powers AHL 1.13

De Moivre:$\big[r(\cos\theta+i\sin\theta)\big]^n=r^n(\cos n\theta+i\sin n\theta)$

So $|z^n|=|z|^n$ and $\arg(z^n)=n\theta$. To find a power: get $r$ and $\theta$, raise $r$ to the power, multiply the angle by $n$, then convert back if the answer is wanted in $a+bi$ form.

TrapPowers scale the modulus and the angle. It is $|z|^n$, never $n|z|$, and the angle becomes $n\theta$, not $\theta$.

§7 — Roots of a complex number AHL 1.13

A non-zero complex number has exactly $n$ distinct $n$-th roots, equally spaced around a circle of radius $r^{1/n}$:

$$z^{1/n}=r^{1/n}\operatorname{cis}\!\left(\frac{\theta+360^\circ k}{n}\right),\qquad k=0,1,\dots,n-1$$

360°/n r1/n O
The n n-th roots sit equally spaced, 360°/n apart, on a circle of radius r1/n — shown here for n = 5. Find one root, then step round.
TrapRemember to divide the argument by $n$ and to step round by $\frac{360^\circ}{n}$ for each root — a missing $k$ term leaves you with only one of the $n$ answers.

§8 — Application: AC circuits & phasors AHL 1.13

In an alternating-current circuit the impedance is a complex number $Z=R+Xi$, where $R$ is resistance and $X$ is reactance:

Magnitude:$|Z|=\sqrt{R^2+X^2}$
Phase:$\arg Z=\tan^{-1}\dfrac{X}{R}$ — the angle between voltage and current
Current:$|I|=\dfrac{|V|}{|Z|}$

Two out-of-phase signals $A_1\angle\phi_1$ and $A_2\angle\phi_2$ combine as phasors: convert each to $A\cos\phi+iA\sin\phi$, add in Cartesian form, then take the modulus for the resultant amplitude.

Re Im V₁ V₂ V₁+V₂
Adding out-of-phase phasors: complete the parallelogram (add real parts, add imaginary parts). The resultant amplitude is |V₁+V₂|, not V₁+V₂.
TrapOut-of-phase amplitudes do not add arithmetically ($A_1+A_2$ is wrong). Always go via rectangular form and add the vectors.

§9 — Application: complex eigenvalues & oscillation AHL 1.15

A $2\times2$ transition or feedback matrix $A$ drives a coupled system. Its eigenvalues solve the characteristic equation:

$$\lambda^2-(\operatorname{tr}A)\lambda+\det A=0,\qquad \lambda=\frac{\operatorname{tr}A\pm\sqrt{(\operatorname{tr}A)^2-4\det A}}{2}$$

When the discriminant is negative the eigenvalues form a complex conjugate pair $\lambda=\alpha\pm\beta i$ and every trajectory spirals: the real part $\alpha$ sets growth ($\alpha>0$) or decay ($\alpha<0$), and the oscillation has period

Period:$T=\dfrac{2\pi}{\beta}$
TrapThe period uses the imaginary part only, $T=\tfrac{2\pi}{\beta}$. Using the real part (the growth rate) for the period is the classic error here.

§10 — Exam attack plan All sections

Question triggerReach for
"Find $|z|$ and $\arg z$"$\sqrt{x^2+y^2}$, then $\tan^{-1}(y/x)$ — sketch to fix the quadrant
"Write in the form $a+bi$" (from a fraction)Multiply by the conjugate; denominator $\to c^2+d^2$
"Find $z^n$"Polar form + De Moivre: $r^n\operatorname{cis}(n\theta)$
"Solve $z^n=c$" / "$n$-th roots"$r^{1/n}\operatorname{cis}\!\frac{\theta+360^\circ k}{n}$, $k=0..n-1$
"Impedance / current / phase"$Z=R+Xi$; $|Z|=\sqrt{R^2+X^2}$; $|I|=|V|/|Z|$
"Combine two AC signals"Phasors: to Cartesian, add, back to modulus
"Period of the oscillation" (matrix system)Complex eigenvalues $\alpha\pm\beta i$; $T=2\pi/\beta$

Worked Example — AI HL-Style AC Circuit

Question (AI HL Paper 2 style — 6 marks)

A series AC circuit has resistance $R=8\,\Omega$ and reactance $X=15\,\Omega$, so its impedance is $Z=8+15i$. A voltage of magnitude $|V|=240$ V is applied.
(a) Find the magnitude of the impedance $|Z|$.
(b) Find the phase angle $\arg Z$, in degrees.
(c) Find the magnitude of the current, $|I|=|V|/|Z|$.

Solution

  1. (a) $|Z|=\sqrt{8^2+15^2}=\sqrt{64+225}=\sqrt{289}=17\,\Omega$. (M1)(A1) (8-15-17 is a Pythagorean triple — spot it and skip the decimals.)
  2. (b) $\arg Z=\tan^{-1}\!\dfrac{15}{8}=61.9^\circ$ (3 s.f.). Positive $\Rightarrow$ inductive circuit. (M1)(A1)
  3. (c) $|I|=\dfrac{|V|}{|Z|}=\dfrac{240}{17}=14.1$ A (3 s.f.). (M1)(A1)

Examiner's note: in AI, keep the correct units ($\Omega$, degrees, A) and round to 3 s.f. unless told otherwise — a numerically right answer with a missing unit still drops the accuracy mark. Do not add $R$ and $X$ arithmetically ($8+15=23$ is wrong); the impedance magnitude is the modulus.

Common Student Questions

When should I switch to polar / Euler form?
Whenever you multiply, divide, take a power, or find roots. In polar form you just multiply/divide the moduli and add/subtract the arguments, and De Moivre turns a power into $r^n\operatorname{cis}(n\theta)$. Keep Cartesian ($a+bi$) only for adding and subtracting, where components add directly.
Why is the real part of a product $ac-bd$ and not $ac+bd$?
Because expanding $(a+bi)(c+di)$ produces the term $bi\cdot di = bd\,i^2 = -bd$. That $-bd$ is the whole reason the real part is a subtraction. Losing it (or flipping its sign) is the single most common dropped mark on this topic.
My calculator's argument is in the wrong quadrant — what do I do?
$\tan^{-1}$ only returns angles in $(-90^\circ,90^\circ)$, so it can't tell quadrant 2 from quadrant 4 or quadrant 3 from quadrant 1. Sketch $z$ on the Argand diagram; if it lies in the second or third quadrant, add or subtract $180^\circ$ so the final argument sits in $-180^\circ<\arg z\le180^\circ$.
Do the amplitudes of two AC signals just add up?
Only if they are in phase. In general, write each signal as a phasor $A\cos\phi+iA\sin\phi$, add them as complex numbers (real parts together, imaginary parts together), then take the modulus of the result for the resultant amplitude. Adding $A_1+A_2$ directly is only correct when $\phi_1=\phi_2$.
For a spiralling system, which part of the eigenvalue gives the period?
The imaginary part. If the complex eigenvalues are $\alpha\pm\beta i$, the oscillation period is $T=\tfrac{2\pi}{\beta}$. The real part $\alpha$ tells you whether the spiral grows ($\alpha>0$) or decays ($\alpha<0$) — it has nothing to do with the period.

Your next step

Keep going