When the discriminant of a quadratic is negative, the quadratic formula asks for the square root of a negative number, and the real numbers have no answer. Complex numbers fix that by adding one new number, i, with i2=−1. With i in hand, every quadratic has solutions, and you get a number system that engineers use for alternating current and that the rest of this unit builds on. This page covers what both IB HL courses need first (AA HL and AI HL, subtopic AHL 1.12).
b is the imaginary part, written Im(z). Notice that the imaginary part is the real number b, not bi.
The set of all complex numbers is C. Every real number is also complex (its imaginary part is 0), and a number like 5i with real part 0 is called purely imaginary.
Equality. Two complex numbers are equal only when their real parts are equal and their imaginary parts are equal:
a+bi=c+di⟺a=c and b=d
So one complex equation gives you two real equations. That’s a powerful trick for finding unknowns (Practice 7 and 8).
Add and subtract real parts and imaginary parts separately: (3+2i)+(1−5i)=4−3i.
Multiply by expanding brackets: (2+i)(3+4i)=6+8i+3i+4i2=6+11i−4=2+11i.
Divide by multiplying the top and bottom by the conjugate of the denominator (below). This makes the denominator real, just like rationalizing a denominator with a square root.
You can picture z=a+bi as the point (a,b), or as the vector from the origin to that point. The horizontal axis is the real axis and the vertical axis is the imaginary axis. This picture is called the complex plane or Argand diagram.
Because complex numbers add part by part, adding them on an Argand diagram is the same as adding vectors (tip to tail). Taking the conjugate reflects the point in the real axis.
z=3+2i and its conjugate z∗=3−2i are reflections of each other in the real axis. The length of the arrow is ∣z∣ and the angle is argz.
The modulus∣z∣ is the distance from the origin to z:
∣z∣=∣a+bi∣=a2+b2
The argumentargz is the angle θ from the positive real axis to the arrow, measured anticlockwise (clockwise angles are negative). The IB normally uses the principal argument, in radians, with −π<θ≤π. To find it:
Sketch z on an Argand diagram so you know which quadrant it’s in.
Find the reference angle α=arctanab.
Adjust for the quadrant: θ=α (first), π−α (second), −(π−α) (third), −α (fourth).
Numbers on the axes are quick: arg5=0, arg(−5)=π, arg(3i)=2π, arg(−3i)=−2π. The argument of 0 is undefined. You’ll use modulus and argument much more in polar and Euler form.
For ax2+bx+c=0 with real coefficients, the quadratic formula still works when b2−4ac<0. The square root of the negative discriminant is imaginary, so you get two non-real roots that are conjugates of each other:
x=2a−b±b2−4ac=2a−b±2a4ac−b2i
On the graph, this is exactly the case where the parabola y=ax2+bx+cdoesn’t cross the x-axis. The roots still exist; they just aren’t on the real number line. (For more on why the roots come in conjugate pairs, see complex conjugate roots.)
Your GDC has a complex mode (often written a+bi). You can type i directly and let it calculate sums, differences, products, quotients and powers, for example (2−i)5=−38−41i. (AI HL) The AI course expects you to do arithmetic by hand and with technology, and to calculate powers of complex numbers in Cartesian form with technology. (AA HL) Paper 1 is non-calculator, so make sure you can do all the arithmetic on this page by hand.
Solution. Here a=1, b=−4, c=13. The discriminant is (−4)2−4(1)(13)=16−52=−36, so the roots are not real. Use the quadratic formula with −36=6i:
z=24±−36=24±6i=2±3i
Checkz=2+3i: (2+3i)2=4+12i+9i2=−5+12i, so
(−5+12i)−4(2+3i)+13=−5+12i−8−12i+13=0✓
The graph of y=x2−4x+13=(x−2)2+9 has its vertex at (2,9), above the x-axis, so it has no x-intercepts. That matches the negative discriminant. Notice the real part of the roots, 2, is the x-coordinate of the vertex.
Writing i2=1. The whole point of i is that i2=−1. A sign slip here ruins every product, so after expanding, circle each i2 and replace it with −1 before collecting terms.
Multiplying square roots of negatives as if they were positive.−4−9 is not36=6. Convert to i first: −4−9=(2i)(3i)=6i2=−6. The rule ab=ab only works when a and b are not both negative.
Including the i in the imaginary part. For z=3−2i, Im(z)=−2, not −2i. The imaginary part is a real number.
Dividing the parts separately.2−3i5+i is not 25+−3ii. You must multiply the top and bottom by the conjugate of the denominator.
Trusting arctan for the argument.arctanab only gives angles between −2π and 2π, so it’s wrong for any number in the second or third quadrant. Always sketch the point first, and use the reference angle.
Changing both signs for the conjugate. The conjugate of −2+i is −2−i, not 2−i. Only the imaginary part changes sign (a reflection in the real axis).
From the second equation, b=a6. Substitute into the first:
a2−a236a4+5a2−36(a2+9)(a2−4)=−5=0=0×a2
Since a is real, a2=4, so a=2 (then b=3) or a=−2 (then b=−3). The square roots are 2+3i and −2−3i, that is, ±(2+3i).
Check: (2+3i)2=4+12i+9i2=−5+12i. ✓
9. (Challenge) In AC circuits, the impedance of a component is a complex number in ohms. Engineers often write j for −1, but here we’ll use i. Two components have impedances Z1=3+4i and Z2=2−6i.
(a) In series, the total impedance is Z=Z1+Z2. Find it.
(b) In parallel, the total impedance satisfies Z1=Z11+Z21, which simplifies to Z=Z1+Z2Z1Z2. Find Z in the form a+bi, exactly and to 3 s.f.
Solution
(a) Z=(3+4i)+(2−6i)=5−2i ohms.
(b) First the product: Z1Z2=(3+4i)(2−6i)=6−18i+8i−24i2=30−10i. Then divide by Z1+Z2=5−2i, multiplying by the conjugate 5+2i: