Introduction to Complex Numbers

A2 · P3 · 15 min

The equation x2+1=0x^2 + 1 = 0 has no real solution, because no real number squares to give −1-1. Complex numbers fix this by adding one new number, ii, with i2=−1i^2 = -1, and then allowing everything that ordinary arithmetic can build from it. This note covers the vocabulary (real part, imaginary part, conjugate), the arithmetic of adding, subtracting and multiplying, the rule that two complex numbers are equal only when both parts match, and solving quadratics whose discriminant is negative. Every other complex-numbers question on P3 rests on these skills, so they need to be fast and error-free.

The number ii

In P1 a quadratic with b2−4ac<0b^2 - 4ac < 0 had "no real roots", and that was the end of it. The trouble is the square root of a negative number. If we simply define a number whose square is −1-1, the problem disappears.

Definition

The imaginary unit ii is defined by i2=−1i^2 = -1.

For a positive real number kk, −k=ik\sqrt{-k} = i\sqrt{k}. For example −36=6i\sqrt{-36} = 6i and −8=22 i\sqrt{-8} = 2\sqrt{2}\,i.

Nothing else changes: ii obeys all the usual rules of algebra (brackets expand, terms collect, the order of multiplication does not matter), with the single extra rule that i2i^2 is replaced by −1-1 whenever it appears.

Powers of ii

Because i2=−1i^2 = -1, the powers of ii repeat in a cycle of four:

i1=i,i2=−1,i3=i2⋅i=−i,i4=(i2)2=1,i5=i, …i^1 = i, \qquad i^2 = -1, \qquad i^3 = i^2 \cdot i = -i, \qquad i^4 = \left(i^2\right)^2 = 1, \qquad i^5 = i, \ \ldots

To simplify ini^n, divide nn by 44 and keep the remainder. For example 23=4×5+323 = 4 \times 5 + 3, so i23=(i4)5i3=−ii^{23} = \left(i^4\right)^5 i^3 = -i.

What a complex number is

Definition

A complex number is a number of the form z=x+iyz = x + iy, where xx and yy are real. This is called Cartesian form.

  • The real part is Re⁡z=x\operatorname{Re} z = x.
  • The imaginary part is Im⁡z=y\operatorname{Im} z = y. It is the real number multiplying ii, not iyiy.
  • If y=0y = 0, zz is real. If x=0x = 0 (and y≠0y \ne 0), zz is purely imaginary.

So Re⁡(4−7i)=4\operatorname{Re}(4 - 7i) = 4 and Im⁡(4−7i)=−7\operatorname{Im}(4 - 7i) = -7. Every real number is also a complex number (with imaginary part 00), so the complex numbers contain the real numbers, just as the real numbers contain the integers. The set of complex numbers is written C\mathbb{C}.

Both x+iyx + iy and x+yix + yi are fine; Cambridge papers use both. With surds it is clearer to put the ii first: 2+i32 + i\sqrt{3} cannot be misread as 2+3i2 + \sqrt{3i}.

Equality: one equation becomes two

Two complex numbers are the same only if they agree in both "directions" at once.

Equating real and imaginary parts
a+ib=c+id  ⟺  a=c and b=d(a,b,c,d real).a + ib = c + id \iff a = c \text{ and } b = d \qquad (a, b, c, d \text{ real}).

One equation between complex numbers is therefore two equations between real numbers. This is how you find unknown real constants hidden in a complex expression.

The reason is that a real number can never equal a non-zero imaginary one. If a+ib=c+ida + ib = c + id then a−c=i(d−b)a - c = i(d - b). The left side is real; the right side is imaginary unless d−b=0d - b = 0. So d=bd = b, and then a=ca = c.

This rule is used constantly: in finding square roots, in solving equations involving z∗z^*, and in finding unknown coefficients of a polynomial with a given complex root.

Addition, subtraction and multiplication

Arithmetic in Cartesian form

For z=a+ibz = a + ib and w=c+idw = c + id:

z±w=(a±c)+i(b±d)z \pm w = (a \pm c) + i(b \pm d)zw=(a+ib)(c+id)=ac+iad+ibc+i2bd=(ac−bd)+i(ad+bc)zw = (a + ib)(c + id) = ac + iad + ibc + i^2 bd = (ac - bd) + i(ad + bc)

Addition and subtraction work part by part, like collecting like terms. Multiplication is expanding brackets: there are four terms, and the i2bdi^2bd term becomes −bd-bd and joins the real part. Do not memorise the multiplication formula. Expand, replace i2i^2, collect.

Multiplying by a real number scales both parts: 3(2−5i)=6−15i3(2 - 5i) = 6 - 15i.

The conjugate

Definition

The complex conjugate of z=x+iyz = x + iy is z∗=x−iyz^* = x - iy. It has the same real part and the opposite imaginary part.

Some books write zˉ\bar{z}; Cambridge uses z∗z^*. The conjugate has three properties you will use again and again:

Conjugate results

For z=x+iyz = x + iy:

z+z∗=2x=2Re⁡z,z−z∗=2iy=2iIm⁡z,zz∗=x2+y2.z + z^* = 2x = 2\operatorname{Re} z, \qquad z - z^* = 2iy = 2i\operatorname{Im} z, \qquad zz^* = x^2 + y^2.

In particular zz∗zz^* is always real and non-negative. Also (z∗)∗=z(z^*)^* = z, (z+w)∗=z∗+w∗(z + w)^* = z^* + w^* and (zw)∗=z∗w∗(zw)^* = z^*w^*.

The product is the important one:

zz∗=(x+iy)(x−iy)=x2−ixy+ixy−i2y2=x2+y2.zz^* = (x + iy)(x - iy) = x^2 - ixy + ixy - i^2y^2 = x^2 + y^2.

It is the "difference of two squares" with a sign flip, and it is the key to division: multiplying by the conjugate turns a complex number into a real one. In the Argand diagram you will see that x2+y2=∣z∣2x^2 + y^2 = |z|^2.

Quadratic equations with real coefficients

With ii available, every quadratic equation has two roots (possibly equal). When b2−4ac<0b^2 - 4ac < 0, write b2−4ac=i4ac−b2\sqrt{b^2 - 4ac} = i\sqrt{4ac - b^2} and carry on with the formula.

Solving a quadratic with negative discriminant
  1. Compute the discriminant b2−4acb^2 - 4ac and confirm it is negative.
  2. Write its square root as i4ac−b2i\sqrt{4ac - b^2}, simplifying the surd.
  3. Substitute into z=−b±b2−4ac2az = \dfrac{-b \pm \sqrt{b^2 - 4ac}}{2a} and split into real and imaginary parts.
  4. Alternatively, complete the square: (z−p)2=−q2(z - p)^2 = -q^2 gives z−p=±iqz - p = \pm iq.

Notice what happens to the roots: the formula gives −b2a±4ac−b22a i-\dfrac{b}{2a} \pm \dfrac{\sqrt{4ac - b^2}}{2a}\,i. The two roots are conjugates of each other. This is the simplest case of a general fact: non-real roots of a polynomial with real coefficients come in conjugate pairs (see complex roots of polynomials).

Since the roots are α\alpha and α∗\alpha^*, the quadratic is (z−α)(z−α∗)=z2−(α+α∗)z+αα∗(z - \alpha)(z - \alpha^*) = z^2 - (\alpha + \alpha^*)z + \alpha\alpha^*. For α=p+iq\alpha = p + iq:

Quadratic from a conjugate pair
(z−(p+iq))(z−(p−iq))=z2−2pz+(p2+q2).(z - (p + iq))(z - (p - iq)) = z^2 - 2pz + (p^2 + q^2).

The sum of the roots is 2p2p and the product is p2+q2p^2 + q^2, both real.

Worked examples

Routine arithmetic

Given z=3−2iz = 3 - 2i and w=−1+4iw = -1 + 4i, find in the form x+iyx + iy: (a) z+wz + w, (b) 2z−3w2z - 3w, (c) zwzw, (d) z2z^2.

Solution

(a) z+w=(3−1)+(−2+4)i=2+2iz + w = (3 - 1) + (-2 + 4)i = 2 + 2i.

(b) 2z−3w=(6−4i)−(−3+12i)=9−16i2z - 3w = (6 - 4i) - (-3 + 12i) = 9 - 16i.

(c) Expand all four terms, then replace i2i^2:

zw=(3−2i)(−1+4i)=−3+12i+2i−8i2=−3+14i+8=5+14i.zw = (3 - 2i)(-1 + 4i) = -3 + 12i + 2i - 8i^2 = -3 + 14i + 8 = 5 + 14i.

(d)

z2=(3−2i)2=9−12i+4i2=9−12i−4=5−12i.z^2 = (3 - 2i)^2 = 9 - 12i + 4i^2 = 9 - 12i - 4 = 5 - 12i.
Powers

(a) Find (1+i)2(1 + i)^2 and hence (1+i)4(1 + i)^4. (b) Find (1−2i)3(1 - 2i)^3 in the form x+iyx + iy.

Solution

(a) (1+i)2=1+2i+i2=2i(1 + i)^2 = 1 + 2i + i^2 = 2i. Then (1+i)4=(2i)2=4i2=−4(1 + i)^4 = (2i)^2 = 4i^2 = -4.

(b) Square first: (1−2i)2=1−4i+4i2=−3−4i(1 - 2i)^2 = 1 - 4i + 4i^2 = -3 - 4i. Then multiply by (1−2i)(1 - 2i) again:

(−3−4i)(1−2i)=−3+6i−4i+8i2=−3+2i−8=−11+2i.(-3 - 4i)(1 - 2i) = -3 + 6i - 4i + 8i^2 = -3 + 2i - 8 = -11 + 2i.

Building a cube as "square, then multiply once more" keeps each step to a single bracket expansion and is much safer than the binomial expansion with powers of ii.

A quadratic with complex roots

Solve the equation z2−6z+34=0z^2 - 6z + 34 = 0, giving your answers in the form x+iyx + iy.

Solution

The discriminant is 36−4(34)=−100<036 - 4(34) = -100 < 0, so −100=10i\sqrt{-100} = 10i.

z=6±10i2=3±5i.z = \frac{6 \pm 10i}{2} = 3 \pm 5i.

Completing the square gives the same: (z−3)2+25=0(z - 3)^2 + 25 = 0, so (z−3)2=−25(z - 3)^2 = -25, z−3=±5iz - 3 = \pm 5i.

Check: the sum of the roots is 66 and the product is 9+25=349 + 25 = 34, matching z2−6z+34z^2 - 6z + 34.

Finding real unknowns by equating parts

Find the real numbers aa and bb such that (a+bi)(2−i)=7+4i(a + bi)(2 - i) = 7 + 4i.

Solution

Expand the left side and collect real and imaginary parts:

(a+bi)(2−i)=2a−ai+2bi−bi2=(2a+b)+(2b−a)i.(a + bi)(2 - i) = 2a - ai + 2bi - bi^2 = (2a + b) + (2b - a)i.

Equate real parts: 2a+b=72a + b = 7. Equate imaginary parts: 2b−a=42b - a = 4.

From the second, a=2b−4a = 2b - 4. Substitute: 2(2b−4)+b=72(2b - 4) + b = 7, so 5b=155b = 15, b=3b = 3 and a=2a = 2.

Check: (2+3i)(2−i)=4−2i+6i−3i2=7+4i(2 + 3i)(2 - i) = 4 - 2i + 6i - 3i^2 = 7 + 4i.

An equation involving the conjugate

Solve the equation 2z−iz∗=−1+5i2z - iz^* = -1 + 5i, giving your answer in the form x+iyx + iy.

Solution

You cannot rearrange for zz directly, because zz and z∗z^* are different unknowns. Let z=x+iyz = x + iy, so z∗=x−iyz^* = x - iy.

2(x+iy)−i(x−iy)=2x+2iy−ix+i2y=(2x−y)+i(2y−x).2(x + iy) - i(x - iy) = 2x + 2iy - ix + i^2 y = (2x - y) + i(2y - x).

Equate parts with −1+5i-1 + 5i:

2x−y=−1,2y−x=5.2x - y = -1, \qquad 2y - x = 5.

From the first, y=2x+1y = 2x + 1. Then 2(2x+1)−x=52(2x + 1) - x = 5, so 3x=33x = 3, x=1x = 1, y=3y = 3.

z=1+3i.z = 1 + 3i.
Exam style: a root with unknown coefficients

The quadratic equation z2+pz+q=0z^2 + pz + q = 0, where pp and qq are real, has a root 3−2i3 - 2i.

(a) Find pp and qq by substituting the root and equating parts.

(b) Write down the other root.

Solution

(a) First (3−2i)2=9−12i+4i2=5−12i(3 - 2i)^2 = 9 - 12i + 4i^2 = 5 - 12i. Substituting:

(5−12i)+p(3−2i)+q=0⟹(5+3p+q)+(−12−2p)i=0.(5 - 12i) + p(3 - 2i) + q = 0 \quad\Longrightarrow\quad (5 + 3p + q) + (-12 - 2p)i = 0.

The right side is 0+0i0 + 0i, so both parts are zero.

Imaginary: −12−2p=0-12 - 2p = 0, so p=−6p = -6. Real: 5−18+q=05 - 18 + q = 0, so q=13q = 13.

(b) The coefficients are real, so the other root is the conjugate, 3+2i3 + 2i.

Quick check with the shortcut: sum of roots 6=−p6 = -p, product 9+4=13=q9 + 4 = 13 = q.

Exam-hard: verifying a root of a quartic

Show that z=1+iz = 1 + i is a root of z4+3z2−6z+10=0z^4 + 3z^2 - 6z + 10 = 0.

Solution

Work out the powers one at a time and show them:

z2=(1+i)2=1+2i+i2=2i,z4=(z2)2=(2i)2=−4.z^2 = (1 + i)^2 = 1 + 2i + i^2 = 2i, \qquad z^4 = (z^2)^2 = (2i)^2 = -4.

Substitute:

z4+3z2−6z+10=−4+3(2i)−6(1+i)+10=−4+6i−6−6i+10=0.z^4 + 3z^2 - 6z + 10 = -4 + 3(2i) - 6(1 + i) + 10 = -4 + 6i - 6 - 6i + 10 = 0.

Both the real part (−4−6+10-4 - 6 + 10) and the imaginary part (6−66 - 6) are zero, so 1+i1 + i is a root.

Common mistakes

The imaginary part is a real number

Im⁡(4−7i)=−7\operatorname{Im}(4 - 7i) = -7, not −7i-7i. The imaginary part is the real coefficient of ii. Writing −7i-7i costs the mark in "write down Im⁡z\operatorname{Im} z" questions and causes errors when you equate parts.

Forgetting that $i^2 = -1$ changes the sign

(3−2i)(−1+4i)(3 - 2i)(-1 + 4i) contains (−2i)(4i)=−8i2=+8(-2i)(4i) = -8i^2 = +8. The commonest slip in the whole topic is leaving it as −8-8. Write the i2i^2 term explicitly before replacing it.

Multiplying square roots of negatives

−4×−9≠36\sqrt{-4} \times \sqrt{-9} \ne \sqrt{36}. The rule ab=ab\sqrt{a}\sqrt{b} = \sqrt{ab} only holds for a,b≥0a, b \ge 0. Convert first: −4−9=(2i)(3i)=6i2=−6\sqrt{-4}\sqrt{-9} = (2i)(3i) = 6i^2 = -6.

Treating $z$ and $z^*$ as the same unknown

In 2z−iz∗=−1+5i2z - iz^* = -1 + 5i you cannot "collect the zz terms". Substitute z=x+iyz = x + iy and z∗=x−iyz^* = x - iy and equate parts.

Dropping a part when equating

"(5+3p+q)+(−12−2p)i=0(5 + 3p + q) + (-12 - 2p)i = 0" means both brackets are zero. Some students set only the real part to zero, or only the imaginary part, and end up with one equation for two unknowns.

Exam technique

Exam tip
  • The syllabus says that for multiplication and division "full details of the working should be shown". Write the four terms of each expansion and the i2i^2 term before simplifying. A correct answer with no working may not get full credit.
  • Give answers in the form x+iyx + iy unless told otherwise, with exact values (surds, fractions), never decimals, when the question is exact.
  • When asked to "show that" something is a root, show each power and the final collection into real and imaginary parts that both equal zero.
  • When equating parts, label the two equations ("real parts:", "imaginary parts:") so the examiner can follow you and award method marks even if you slip later.
  • If pp and qq are stated to be real, that is a signal: it means the conjugate of a root is also a root, and it means you are expected to equate parts.

Summary

Summary
  • i2=−1i^2 = -1; powers of ii cycle i,−1,−i,1i, -1, -i, 1; −k=ik\sqrt{-k} = i\sqrt{k} for k>0k > 0.
  • z=x+iyz = x + iy: Re⁡z=x\operatorname{Re} z = x, Im⁡z=y\operatorname{Im} z = y (both real).
  • Two complex numbers are equal if and only if their real parts are equal and their imaginary parts are equal: one complex equation gives two real equations.
  • Add and subtract part by part; multiply by expanding and replacing i2i^2 with −1-1.
  • Conjugate z∗=x−iyz^* = x - iy; z+z∗=2xz + z^* = 2x, z−z∗=2iyz - z^* = 2iy, zz∗=x2+y2zz^* = x^2 + y^2 (real).
  • A real quadratic with b2−4ac<0b^2 - 4ac < 0 has two conjugate roots p±iqp \pm iq, and z2−2pz+(p2+q2)z^2 - 2pz + (p^2 + q^2) is the quadratic with those roots.
  • For equations containing both zz and z∗z^*, substitute z=x+iyz = x + iy and equate parts.

Practice

Question
  1. Express in the form x+iyx + iy: (a) (2+5i)(3−i)(2 + 5i)(3 - i); (b) (1−i)3(1 - i)^3.
  2. Simplify (a) i23i^{23}; (b) i50i^{50}; (c) (1+i)6(1 + i)^6.
  3. Find the real numbers pp and qq such that (p+qi)(1+2i)=5i(p + qi)(1 + 2i) = 5i.
  4. Solve 2z−z∗=3+6i2z - z^* = 3 + 6i.
  5. Solve (a) z2−2z+5=0z^2 - 2z + 5 = 0; (b) z2+4z+7=0z^2 + 4z + 7 = 0.
  6. Given z=2−3iz = 2 - 3i, find zz∗zz^* and z+z∗z + z^*, and show that z2−4z+13=0z^2 - 4z + 13 = 0.
  7. The number kk is real. Find kk such that (k+2i)(3−i)(k + 2i)(3 - i) is (a) purely imaginary; (b) real.
  8. Find all complex numbers zz satisfying zz∗+2z=19+8izz^* + 2z = 19 + 8i.
  9. (a) Show that (1+i)3=−2+2i(1 + i)^3 = -2 + 2i and find (1+i)10(1 + i)^{10} in the form x+iyx + iy. (b) Find the smallest positive integer nn for which (1+i)n(1 + i)^n is real, and state its value.
Answers
  1. (a) 6−2i+15i−5i2=6+13i+5=11+13i6 - 2i + 15i - 5i^2 = 6 + 13i + 5 = 11 + 13i. (b) (1−i)2=1−2i+i2=−2i(1 - i)^2 = 1 - 2i + i^2 = -2i, so (1−i)3=−2i(1−i)=−2i+2i2=−2−2i(1 - i)^3 = -2i(1 - i) = -2i + 2i^2 = -2 - 2i.

  2. (a) 23=4×5+323 = 4 \times 5 + 3, so i23=i3=−ii^{23} = i^3 = -i. (b) 50=4×12+250 = 4 \times 12 + 2, so i50=i2=−1i^{50} = i^2 = -1. (c) (1+i)2=2i(1 + i)^2 = 2i, so (1+i)6=(2i)3=8i3=−8i(1 + i)^6 = (2i)^3 = 8i^3 = -8i.

  3. (p+qi)(1+2i)=p+2pi+qi+2qi2=(p−2q)+(2p+q)i(p + qi)(1 + 2i) = p + 2pi + qi + 2qi^2 = (p - 2q) + (2p + q)i. Real: p−2q=0p - 2q = 0. Imaginary: 2p+q=52p + q = 5. So p=2qp = 2q, 5q=55q = 5: q=1q = 1, p=2p = 2.

  4. With z=x+iyz = x + iy: 2x+2iy−x+iy=x+3iy2x + 2iy - x + iy = x + 3iy. Real: x=3x = 3. Imaginary: 3y=63y = 6, y=2y = 2. So z=3+2iz = 3 + 2i.

  5. (a) Discriminant 4−20=−164 - 20 = -16, −16=4i\sqrt{-16} = 4i, z=2±4i2=1±2iz = \dfrac{2 \pm 4i}{2} = 1 \pm 2i. (b) (z+2)2+3=0(z + 2)^2 + 3 = 0, so z+2=±i3z + 2 = \pm i\sqrt{3} and z=−2±i3z = -2 \pm i\sqrt{3}.

  6. zz∗=4+9=13zz^* = 4 + 9 = 13 and z+z∗=4z + z^* = 4. Then z2=4−12i+9i2=−5−12iz^2 = 4 - 12i + 9i^2 = -5 - 12i, so z2−4z+13=(−5−12i)−(8−12i)+13=0z^2 - 4z + 13 = (-5 - 12i) - (8 - 12i) + 13 = 0. (Equivalently, zz and z∗z^* have sum 44 and product 1313, so they are the roots of z2−4z+13=0z^2 - 4z + 13 = 0.)

  7. (k+2i)(3−i)=3k−ki+6i−2i2=(3k+2)+(6−k)i(k + 2i)(3 - i) = 3k - ki + 6i - 2i^2 = (3k + 2) + (6 - k)i. (a) Real part zero: k=−23k = -\tfrac{2}{3} (the imaginary part is then 203≠0\tfrac{20}{3} \ne 0). (b) Imaginary part zero: k=6k = 6.

  8. With z=x+iyz = x + iy: zz∗=x2+y2zz^* = x^2 + y^2, so the equation is (x2+y2+2x)+2yi=19+8i(x^2 + y^2 + 2x) + 2yi = 19 + 8i. Imaginary: 2y=82y = 8, y=4y = 4. Real: x2+16+2x=19x^2 + 16 + 2x = 19, so x2+2x−3=0x^2 + 2x - 3 = 0, (x+3)(x−1)=0(x + 3)(x - 1) = 0. Hence z=1+4iz = 1 + 4i or z=−3+4iz = -3 + 4i.

  9. (a) (1+i)3=(1+i)2(1+i)=2i(1+i)=2i+2i2=−2+2i(1 + i)^3 = (1 + i)^2(1 + i) = 2i(1 + i) = 2i + 2i^2 = -2 + 2i. Then (1+i)10=((1+i)2)5=(2i)5=32i5=32i(1 + i)^{10} = \left((1 + i)^2\right)^5 = (2i)^5 = 32i^5 = 32i. (b) (1+i)1=1+i(1 + i)^1 = 1 + i, (1+i)2=2i(1 + i)^2 = 2i and (1+i)3=−2+2i(1 + i)^3 = -2 + 2i are not real, but (1+i)4=(2i)2=−4(1 + i)^4 = (2i)^2 = -4 is. So n=4n = 4 and the value is −4-4.

How well do you know this?

Builds on

Where this leads

Console

Search notes, courses and tools, or run an action