Skip to content
Advanced Topics · Chapter 44

Complex Numbers

Put a second axis through the number line and arithmetic turns into geometry: multiplying rotates, De Moivre powers spiral, and roots of unity make regular polygons.

You'll need
open on YouTube
open on YouTube
open on YouTube
open on YouTube
open on YouTube
44.1a0%

The Algebra of i

In this section you will be able to add, multiply and divide complex numbers, use powers of i, and work with conjugates and moduli.

What number squares to −1? No real number does. So invent one, call it i, and put it on a second axis. Now arithmetic becomes geometry.

A complex number a+bia + bi is just the point (a,b)(a, b). You add complex numbers like vectors. You multiply them like binomials, then replace i2i^2 with −1-1.

Look: the conjugate zˉ\bar z is the mirror image of zz in the real axis. And zzˉ=∣z∣2z \bar z = |z|^2 is always real. That one fact clears ii out of any denominator.

Exploreplay first, formulas later

z = i. De Moivre: z^8 = 1 cis 0° = 1. Each power multiplies the modulus by |z| and adds arg z to the angle.

n8
z⁸ = 1

z = i. De Moivre: z^8 = 1 cis 0° = 1. Each power multiplies the modulus by |z| and adds arg z to the angle.

Name it

Definition 44.1.1

A complex number is a number that can be written as a+bia + bi, where aa and bb are real numbers and ii is the “imaginary unit”. aa is the real part of the number and bibi is the imaginary part. Complex numbers are often named with the letter zz.

Definition 44.1.2

i=−1,i2=−1,i3=−i,i4=1i = \sqrt{-1},\quad i^2 = -1,\quad i^3 = -i,\quad i^4 = 1

Theorem 44.1.4 · Adding Complex Numbers

(a+bi)+(c+di)=(a+c)+(b+d)i(a + bi) + (c + di) = (a + c) + (b + d)i

Theorem 44.1.5 · Subtracting Complex Numbers

(a+bi)−(c+di)=(a−c)+(b−d)i(a + bi) - (c + di) = (a - c) + (b - d)i

Theorem 44.1.6 · Multiplying Complex Numbers

(a+bi)⋅(c+di)=(ac−bd)+(bc+ad)i(a + bi)\cdot(c + di) = (ac - bd) + (bc + ad)i

Definition 44.1.7 · Real and Imaginary Parts

The imaginary part of a complex number a+bia + bi is bb, and the real part is aa.

Definition 44.1.9

The complex conjugate of a complex number is found by flipping the sign of its imaginary part. The conjugate of zz is written zˉ\bar z.

Theorem 44.1.10 · Finding Conjugates

zˉ=a+bi‾=a−bi\bar z = \overline{a + bi} = a - bi

Definition 44.1.11 · Complex Plane

A complex number a+bia + bi can also be drawn as the point (a,b)(a, b) in the complex plane. The xx-axis is the real axis and the yy-axis is the imaginary axis.

Definition 44.1.12

The magnitude of a complex number, written ∣z∣|z|, is the distance of the point (a,b)(a, b) from the origin.

Theorem 44.1.13 · Magnitude of a Complex Number

∣z∣=∣a+bi∣=a2+b2|z| = |a + bi| = \sqrt{a^2 + b^2}

Theorem 44.1.14 · Multiplying Complex Numbers with their Conjugates

(a+bi)(a−bi)=a2+b2(a + bi)(a - bi) = a^2 + b^2

Theorem 44.1.15

For a complex number zz,

z⋅zˉ=∣z∣2.z\cdot\bar z = |z|^2.

Watch itpredict, then reveal

Example 44.2

AIME

The complex numbers zz and ww satisfy the system

z+20iw=5+i,w+12iz=−4+10i.z + \frac{20i}{w} = 5 + i,\qquad w + \frac{12i}{z} = -4 + 10i.

Find the smallest possible value of ∣zw∣2|zw|^2.

  1. 1

    We want zwzw, so multiply the two equations together. What does the left side (z+20iw)(w+12iz)\left(z + \frac{20i}{w}\right)\left(w + \frac{12i}{z}\right) expand to?

open on YouTube

Example 44.3

AIME

There is a complex number zz with imaginary part 164164 and a positive integer nn such that

zz+n=4i.\frac{z}{z + n} = 4i.

Find nn.

Complex plane (its total is revealed at the end of the example)

z/(z+n) = 4i

z = −656 + 164i, w = 41 + 164i, z ÷ w = 4i: modulus 4, argument 90°. Divide the moduli and subtract the arguments.

  1. 1

    Clear the fraction. What linear equation does zz satisfy?

open on YouTube

Try it

Problem 44.4.10(additional)

AMC 12

For complex numbers u=a+biu = a + bi and v=c+div = c + di (where i=−1i = \sqrt{-1}), define the binary operation

u⊗v=ac+bdi.u \otimes v = ac + bdi.

Suppose zz is a complex number such that z⊗z=z2+40z \otimes z = z^2 + 40. What is ∣z∣|z|?

Problem 44.4.13(additional)

AIME

Find cc if aa, bb, and cc are positive integers which satisfy c=(a+bi)3−107ic = (a + bi)^3 - 107i, where i2=−1i^2 = -1.

Problem 44.4.14(additional)

AMC 12

For what value of nn is i+2i2+3i3+⋯+nin=48+49ii + 2i^2 + 3i^3 + \dots + ni^n = 48 + 49i? Note: here i=−1i = \sqrt{-1}.

Problem 44.4.19(additional)

AIME

The complex number zz is equal to 9+bi9 + bi, where bb is a positive real number and i2=−1i^2 = -1. Given that the imaginary parts of z2z^2 and z3z^3 are the same, what is bb equal to?

Contest cornerreal contest problems

Problem 44.4.4

AMC 12

Let zz be a complex number satisfying 12∣z∣2=2∣z+2∣2+∣z2+1∣2+3112|z|^2 = 2|z + 2|^2 + |z^2 + 1|^2 + 31. What is the value of z+6zz + \frac6z?

Problem 44.4.18(additional)

AMC 12

A function ff is defined by f(z)=(4+i)z2+αz+γf(z) = (4 + i)z^2 + \alpha z + \gamma for all complex numbers zz, where α\alpha and γ\gamma are complex numbers and i2=−1i^2 = -1. Suppose that f(1)f(1) and f(i)f(i) are both real. What is the smallest possible value of ∣α∣+∣γ∣|\alpha| + |\gamma|?

Checkpoint for section 44.1a

Get 2 of 3 right to master this section. One try each, no hints.
1

Simplify i2025i^{2025}.

2

Multiply: (2+3i)(1−i)(2 + 3i)(1 - i). Write the answer as a+bia + bi.

3

Let z=3−4iz = 3 - 4i. What is zzˉz\bar z?

44.1b0%

Polar Form, De Moivre and Roots of Unity

In this section you will be able to write complex numbers in polar form, raise them to powers with De Moivre, and use the roots of unity.

What is (3+i)8(\sqrt3 + i)^8? Multiplying it out eight times is painful. In polar form it takes one line.

Every complex number is a length rr and an angle θ\theta: z=rz = r cis θ\theta = re^(iθ). Multiplying two complex numbers multiplies the lengths and adds the angles. So znz^n has length rnr^n and angle nθn\theta. That is De Moivre’s Theorem.

Look: the solutions of zn=1z^n = 1 all have length 1, and their angles are multiples of 360∘/n360^\circ / n. They are the corners of a regular polygon. Ex 44.1 is printed earlier in the book, but it needs polar form, so it lives here.

Exploreplay first, formulas later

z = −2 + 2i = 2.828 cis 135°: modulus r = 2.828, argument θ = 135° = 2.356 rad.

r = 2.828, θ = 135°

z = −2 + 2i = 2.828 cis 135°: modulus r = 2.828, argument θ = 135° = 2.356 rad.

Name it

Definition 44.1.17

The angle that the positive real axis makes with the ray from the origin to a complex number is called the argument of that complex number. It is written θ\theta.

Theorem 44.1.18 · Argument of a Complex Number

The argument θ\theta of a complex number a+bia + bi satisfies

tan⁡θ=ba.\tan\theta = \frac{b}{a}.

Careful: tan⁡θ=ba\tan\theta = \frac ba does not pin down the quadrant. −1+i-1 + i and 1−i1 - i both have ba=−1\frac ba = -1, but their arguments are 135∘135^\circ and −45∘-45^\circ. Always check which quadrant the point (a,b)(a, b) is in.

Definition 44.1.19

The distance between 00 and a complex number is also called the modulus of that complex number, written rr.

Theorem 44.1.20 · Modulus of a Complex Number

The modulus rr of a complex number a+bia + bi is

r=∣a+bi∣=a2+b2.r = |a + bi| = \sqrt{a^2 + b^2}.

Definition 44.1.21

Polar form is another way to write a complex number, using its modulus rr and argument θ\theta.

Theorem 44.1.22 · Polar Form

z=a+bi=r(cos⁡θ+isin⁡θ)=rcis⁡θz = a + bi = r(\cos\theta + i\sin\theta) = r\operatorname{cis}\theta

Remark 44.1.23

cis⁡θ\operatorname{cis}\theta is just short for cos⁡θ+isin⁡θ\cos\theta + i\sin\theta.

Remark 44.1.25

cos⁡θ+isin⁡θ\cos\theta + i\sin\theta can also be written as cis⁡θ\operatorname{cis}\theta.

Theorem 44.1.26 · Euler's Formula

Euler's Formula says

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

so

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

(Here θ\theta is in radians.)

Definition 44.1.28

The roots of unity are the complex solutions of xn=1x^n = 1 for a positive integer nn. There are always nn solutions of xn=1x^n = 1.

Theorem 44.1.29 · Roots of Unity

The nnth roots of unity are

e2kπi/nfor k∈{0,1,2,…,n−1}.e^{2k\pi i/n}\quad\text{for } k \in \{0, 1, 2, \dots, n - 1\}.

They are the corners of a regular nn-gon inscribed in the unit circle, with one corner at 11.

z⁶ = 1 has 6 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −1.

n6
z⁶ = 1

z⁶ = 1 has 6 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −1.

z⁶ = 1 has 6 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −1.

Theorem 44.1.30 · Rotating a Point

To rotate a point θ\theta radians counterclockwise about the origin, convert it to its complex number and multiply by eiθe^{i\theta}. Converting back to an ordered pair gives the rotated point.

Theorem 44.1.31 · De Moivre's Theorem

For a complex number z=reiθz = re^{i\theta} and an integer nn,

zn=(reiθ)n=rn[cos⁡(nθ)+isin⁡(nθ)].z^n = (re^{i\theta})^n = r^n\left[\cos(n\theta) + i\sin(n\theta)\right].

(The book says “a real number nn”; for non-integer powers, znz^n has several values, so the formula needs integer nn.)

Remark 44.1.33

De Moivre's Theorem is very useful whenever complex numbers meet exponents.

Watch itpredict, then reveal

Example 44.1

AIME

Let NN be the number of complex numbers zz with the properties that ∣z∣=1|z| = 1 and z6!−z5!z^{6!} - z^{5!} is a real number. Find the remainder when NN is divided by 10001000.

Roots of unity (its total is revealed at the end of the example)

600 + 840

z⁶⁰⁰ = 1 has 600 roots, equally spaced on a circle. Two families: 600 + 840 points, 0 shared, so 1440 different points.

z⁶⁰⁰ = 1 has 600 roots, equally spaced on a circle. Two families: 600 + 840 points, 0 shared, so 1440 different points.

  1. 1

    With ∣z∣=1|z| = 1, write z=eiθz = e^{i\theta}. Since 6!=7206! = 720 and 5!=1205! = 120, what are z6!z^{6!} and z5!z^{5!}?

open on YouTube

Example 44.4

AMC 12

How many integers n≥2n \ge 2 are there such that whenever z1,z2,…,znz_1, z_2, \dots, z_n are complex numbers such that

∣z1∣=∣z2∣=⋯=∣zn∣=1andz1+z2+⋯+zn=0,|z_1| = |z_2| = \dots = |z_n| = 1 \quad\text{and}\quad z_1 + z_2 + \dots + z_n = 0,

then the numbers z1,z2,…,znz_1, z_2, \dots, z_n are equally spaced on the unit circle in the complex plane?

Roots of unity (its total is revealed at the end of the example)

Σ = 0 ✓

3 unit vectors. Sum = 0 (length 0). They are equally spaced. The sum is 0!

3 unit vectors. Sum = 0 (length 0). They are equally spaced. The sum is 0!

  1. 1

    Start with n=2n = 2. If z1+z2=0z_1 + z_2 = 0, where is z2z_2?

open on YouTube

Example 44.5

AIME

The complex numbers zz and ww satisfy z13=wz^{13} = w, w11=zw^{11} = z, and the imaginary part of zz is sin⁡mπn\sin\frac{m\pi}{n}, for relatively prime positive integers mm and nn with m<nm < n. Find nn.

Roots of unity (its total is revealed at the end of the example)

70 / 142: Σ = 45.193i

z¹⁴² = 1 has 142 roots, equally spaced on a circle. 70 of them have positive imaginary part; their sum is 45.193i.

z¹⁴² = 1 has 142 roots, equally spaced on a circle. 70 of them have positive imaginary part; their sum is 45.193i.

  1. 1

    Substitute w=z13w = z^{13} into w11=zw^{11} = z. What equation does zz satisfy?

open on YouTube

Example 44.6

AMC 12

Let

z=1+i2.z = \frac{1 + i}{\sqrt2}.

What is

(z12+z22+z32+⋯+z122)⋅(1z12+1z22+1z32+⋯+1z122)?\left(z^{1^2} + z^{2^2} + z^{3^2} + \dots + z^{12^2}\right)\cdot\left(\frac{1}{z^{1^2}} + \frac{1}{z^{2^2}} + \frac{1}{z^{3^2}} + \dots + \frac{1}{z^{12^2}}\right)?

Complex plane (its total is revealed at the end of the example)

n8
z⁸ = 1

z = 0.707 + 0.707i. De Moivre: z^8 = 1 cis 0° = 1. Each power multiplies the modulus by |z| and adds arg z to the angle.

  1. 1

    Write zz in polar form. What is its argument, in degrees?

    Predict first:
open on YouTube

Try it

Problem 44.4.8(additional)

AMC 12

There are 2424 different complex numbers zz such that z24=1z^{24} = 1. For how many of these is z6z^6 a real number?

z²⁴ = 1 has 24 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −1.

z²⁴ = 1

z²⁴ = 1 has 24 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −1.

z²⁴ = 1 has 24 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −1.

Problem 44.4.9(additional)

AMC 12

What is the sum of the roots of z12=64z^{12} = 64 that have a positive real part?

z¹² = 64 has 12 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −64.

z¹² = 64

z¹² = 64 has 12 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −64.

z¹² = 64 has 12 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −64.

Contest cornerreal contest problems

Problem 44.4.1

AMC 12

Of the following complex numbers zz, which one has the property that z5z^5 has the greatest real part?

Click a choice or type its letter (A–E).

Problem 44.4.2

AMC 12

How many complex numbers satisfy the equation z5=zˉz^5 = \bar z, where zˉ\bar z is the conjugate of the complex number zz?

Problem 44.4.24(additional)

AIME

For how many positive integers nn less than or equal to 10001000 is

(sin⁡t+icos⁡t)n=sin⁡nt+icos⁡nt(\sin t + i\cos t)^n = \sin nt + i\cos nt

true for all real tt?

Problem 44.4.25(additional)

AMC 12

A sequence (a1,b1)(a_1, b_1), (a2,b2)(a_2, b_2), (a3,b3)(a_3, b_3), …\dots of points in the coordinate plane satisfies

(an+1,bn+1)=(3an−bn, 3bn+an)for n=1,2,3,… .(a_{n+1}, b_{n+1}) = (\sqrt3 a_n - b_n,\ \sqrt3 b_n + a_n)\quad\text{for } n = 1, 2, 3, \dots.

Suppose that (a100,b100)=(2,4)(a_{100}, b_{100}) = (2, 4). What is a1+b1a_1 + b_1?

Problem 44.4.30(additional)

AIME

There are 2n2n complex numbers that satisfy both z28−z8−1=0z^{28} - z^8 - 1 = 0 and ∣z∣=1|z| = 1. These numbers have the form zm=cos⁡θm+isin⁡θmz_m = \cos\theta_m + i\sin\theta_m, where 0≤θ1<θ2<⋯<θ2n<3600 \le \theta_1 < \theta_2 < \dots < \theta_{2n} < 360 and angles are measured in degrees. Find the value of θ2+θ4+⋯+θ2n\theta_2 + \theta_4 + \dots + \theta_{2n}.

Checkpoint for section 44.1b

Get 2 of 3 right to master this section. One try each, no hints.
1

What is the argument of −1+i-1 + i, in degrees between 00 and 360360?

2

Use De Moivre's Theorem to compute (1+i)8(1 + i)^8.

3

There are 2424 different complex numbers zz such that z24=1z^{24} = 1. For how many of these is z6z^6 a real number?

z²⁴ = 1 has 24 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −1.

z²⁴ = 1

z²⁴ = 1 has 24 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −1.

z²⁴ = 1 has 24 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is −1.

44.1c0%

Geometry with Complex Numbers

In this section you will be able to solve geometry problems by rotating points with multiplication by cis θ.

The points (0,0)(0, 0), (a,11)(a, 11) and (b,37)(b, 37) make an equilateral triangle. Coordinates alone give messy equations. One rotation by 60∘60^\circ gives the answer.

To rotate a point zz by θ\theta about a center cc: shift so cc is at 00, multiply by cis θ\theta, then shift back. Squares use θ=90∘\theta = 90^\circ (multiply by ii). Equilateral triangles use θ=60∘\theta = 60^\circ.

Look: a right angle at a point PP means the quotient of the two side vectors from PP is purely imaginary.

Exploreplay first, formulas later

Rotating z = 3 + i by 90° about 1 gives 2i: subtract the center, multiply by cis 90°, add the center back.

Angle (°)90
w = 2i

Rotating z = 3 + i by 90° about 1 gives 2i: subtract the center, multiply by cis 90°, add the center back.

Name it

Concept 44.1.34 · Geometry with Complex Numbers

Complex numbers and their link to circles make many geometry problems easy, especially ones with polygons such as equilateral triangles or squares.

How to solve geometry problems with complex numbers:

  1. Assign a complex number to one or more of the points.
  2. To find the complex numbers for other points, multiply or divide by eiθe^{i\theta} (a rotation).
  3. Use the information you have to solve for what the problem asks.

Remark 44.1.35

We can also view algebraic complex-number problems geometrically: ∣z−w∣|z - w| is a distance, multiplying by eiθe^{i\theta} is a rotation, and ∣z∣=r|z| = r is a circle.

Watch itpredict, then reveal

Example 44.7

AIME

The points (0,0)(0, 0), (a,11)(a, 11), and (b,37)(b, 37) are the vertices of an equilateral triangle. Find the value of abab.

Complex plane (its total is revealed at the end of the example)

Angle (°)60
w = 5.474 + 31.481i

Target line: imaginary part 37.

Rotating z = 30 + 11i by 60° about 0 gives 5.474 + 31.481i: subtract the center, multiply by cis 60°, add the center back.

  1. 1

    Think of the points as 00, a+11ia + 11i and b+37ib + 37i. How do you get from a+11ia + 11i to b+37ib + 37i?

open on YouTube

Example 44.8

AIME

Given f(z)=z2−19zf(z) = z^2 - 19z, there are complex numbers zz with the property that zz, f(z)f(z), and f(f(z))f(f(z)) are the vertices of a right triangle in the complex plane with a right angle at f(z)f(z). There are positive integers mm and nn such that one such value of zz is m+n+11im + \sqrt n + 11i. Find m+nm + n.

Complex plane (its total is revealed at the end of the example)

Re z20
∠ at f(z) = 67.55°

z = 20 + 11i, f(z) = −101 + 231i, f(f(z)) = −41241 − 51051i

z = 20 + 11i, f(z) = −101 + 231i, f(f(z)) = −41241 − 51051i. The angle at f(z) is 67.55°.

  1. 1

    The right angle is at f(z)f(z). What must be true of f(f(z))−f(z)z−f(z)\dfrac{f(f(z)) - f(z)}{z - f(z)}?

    Predict first:
    Click a choice or type its letter (A–E).
open on YouTube

Contest cornerreal contest problems

Problem 44.4.6

AMC 12

What is the greatest possible area of the triangle in the complex plane with vertices 2z2z, (1+i)z(1 + i)z, and (1−i)z(1 - i)z, where zz is a complex number satisfying ∣4z−2∣=1|4z - 2| = 1?

Problem 44.4.7

AIME

Find the greatest possible real part of

(75+117i)z+96+144iz,(75 + 117i)z + \frac{96 + 144i}{z},

where zz is a complex number with ∣z∣=4|z| = 4. Here i=−1i = \sqrt{-1}.

Problem 44.4.28(additional)

AMC 12

The solutions to the equation (z+6)8=81(z + 6)^8 = 81 are connected in the complex plane to form a convex regular polygon, three of whose vertices are labeled AA, BB, and CC. What is the least possible area of △ABC\triangle ABC?

(z + 6)⁸ = 81 has 8 roots, equally spaced on a circle. The sum of all the roots is −48.

n8
(z + 6)⁸ = 81

(z + 6)⁸ = 81 has 8 roots, equally spaced on a circle. The sum of all the roots is −48.

(z + 6)⁸ = 81 has 8 roots, equally spaced on a circle. The sum of all the roots is −48.

Problem 44.4.29(additional)

AMC 12

Let R\mathcal R be the region in the complex plane consisting of all complex numbers zz that can be written as the sum of complex numbers z1z_1 and z2z_2, where z1z_1 lies on the segment with endpoints 33 and 4i4i, and z2z_2 has magnitude at most 11. What integer is closest to the area of R\mathcal R?

Checkpoint for section 44.1c

Get 2 of 3 right to master this section. One try each, no hints.
1

Rotate the point (4,0)(4, 0) by 90∘90^\circ counterclockwise about the origin. Which complex number do you get?

2

Rotate 3+i3 + i by 90∘90^\circ counterclockwise about the point 11. Which complex number do you get?

3

An equilateral triangle has vertices 00 and 22, and its third vertex is above the real axis. Which complex number is the third vertex?

44.20%

Complex Numbers in Polynomials

In this section you will be able to use complex roots of polynomials, conjugate pairs and roots of unity to evaluate polynomials.

A polynomial of degree 2018 looks hopeless. But plug in a sixth root of unity and every power collapses to one of six values.

Every polynomial of degree nn has exactly nn complex roots. When the coefficients are real, the non-real roots come in conjugate pairs zz and zˉ\bar z, mirror images in the real axis.

Look: to evaluate f(ω)f(\omega) at a root of unity, reduce every exponent mod the order of ω\omega first.

Exploreplay first, formulas later

(z^2 + 4)(z^2 - 4z + 5) has degree 4; its roots are 2 + i; 2 − i; −2i; 2i.

2 + i; 2 − i; −2i; 2i

Real coefficients: the roots come in mirror pairs (z and z̄).

(z^2 + 4)(z^2 - 4z + 5) has degree 4; its roots are 2 + i; 2 − i; −2i; 2i.

Name it

Definition 44.2.1

A polynomial of degree nn has nn roots (counted with multiplicity), and these roots may be complex. For quadratics, a negative discriminant means two complex roots. (The book says “binomials”; it means quadratics.) If the coefficients are real, non-real roots come in conjugate pairs z,zˉz, \bar z.

Watch itpredict, then reveal

Example 44.9

AIME

The polynomial f(z)=az2018+bz2017+cz2016f(z) = az^{2018} + bz^{2017} + cz^{2016} has real coefficients not exceeding 20192019, and f(1+3i2)=2015+20193if\left(\frac{1 + \sqrt3 i}{2}\right) = 2015 + 2019\sqrt3 i. Find the remainder when f(1)f(1) is divided by 10001000.

Complex plane (its total is revealed at the end of the example)

n6
z⁶ = 1

z = 0.5 + 0.866i. De Moivre: z^6 = 1 cis 360° = 1. Each power multiplies the modulus by |z| and adds arg z to the angle.

  1. 1

    Let ω=1+3i2\omega = \frac{1 + \sqrt3 i}{2}. Write it in polar form. Which small power of ω\omega is 11?

    Predict first:
open on YouTube

Example 44.10

AMC 12

The equation

x10+(13x−1)10=0x^{10} + (13x - 1)^{10} = 0

has 1010 complex roots r1,r1‾,r2,r2‾,r3,r3‾,r4,r4‾,r5,r5‾r_1, \overline{r_1}, r_2, \overline{r_2}, r_3, \overline{r_3}, r_4, \overline{r_4}, r_5, \overline{r_5}, where the bar denotes complex conjugation. Find the value of

1r1r1‾+1r2r2‾+1r3r3‾+1r4r4‾+1r5r5‾.\frac{1}{r_1\overline{r_1}} + \frac{1}{r_2\overline{r_2}} + \frac{1}{r_3\overline{r_3}} + \frac{1}{r_4\overline{r_4}} + \frac{1}{r_5\overline{r_5}}.

Complex plane (its total is revealed at the end of the example)

0.08 + 0.005i; 0.073 + 0.004i; 0.072 − 0.002i; 0.076 − 0.006i; 0.083 − 0.002i; 0.083 + 0.002i; 0.076 + 0.006i; 0.072 + 0.002i; 0.073 − 0.004i; 0.08 − 0.005i

Real coefficients: the roots come in mirror pairs (z and z̄).

x^10 + (13x - 1)^10 has degree 10; its roots are 0.08 + 0.005i; 0.073 + 0.004i; 0.072 − 0.002i; 0.076 − 0.006i; 0.083 − 0.002i; 0.083 + 0.002i; 0.076 + 0.006i; 0.072 + 0.002i; 0.073 − 0.004i; 0.08 − 0.005i.

  1. 1

    1rrˉ=1∣r∣2=∣1r∣2\frac{1}{r\bar r} = \frac{1}{|r|^2} = \left|\frac1r\right|^2. So switch to y=1xy = \frac1x: divide the equation by x10x^{10}. What do you get?

open on YouTube

Try it

Problem 44.4.11(additional)

AMC 12

The polynomial f(x)=x4+ax3+bx2+cx+df(x) = x^4 + ax^3 + bx^2 + cx + d has real coefficients, and f(2i)=f(2+i)=0f(2i) = f(2 + i) = 0. What is a+b+c+da + b + c + d?

Contest cornerreal contest problems

Problem 44.4.3

AMC 12

Let Q(z)Q(z) and R(z)R(z) be the unique polynomials such that

z2021+1=(z2+z+1)Q(z)+R(z)z^{2021} + 1 = (z^2 + z + 1)Q(z) + R(z)

and the degree of RR is less than 22. What is R(z)R(z)?

Problem 44.4.5

AMC 12

The polynomial

(z+i)(z+2i)(z+3i)+10(z + i)(z + 2i)(z + 3i) + 10

has three roots in the complex plane, where i=−1i = \sqrt{-1}. What is the area of the triangle formed by these three roots?

Problem 44.4.15(additional)

AIME

There are real numbers aa, bb, cc, and dd such that −20-20 is a root of x3+ax+bx^3 + ax + b and −21-21 is a root of x3+cx2+dx^3 + cx^2 + d. These two polynomials share a complex root m+n⋅im + \sqrt n\cdot i, where mm and nn are positive integers and i=−1i = \sqrt{-1}. Find m+nm + n.

Problem 44.4.32(additional)

AIME

Let PP be the product of the roots of z6+z4+z3+z2+1=0z^6 + z^4 + z^3 + z^2 + 1 = 0 that have a positive imaginary part, and suppose that P=r(cos⁡θ∘+isin⁡θ∘)P = r(\cos\theta^\circ + i\sin\theta^\circ), where 0<r0 < r and 0≤θ<3600 \le \theta < 360. Find θ\theta.

Checkpoint for section 44.2

Get 2 of 3 right to master this section. One try each, no hints.
1

A polynomial with real coefficients has 3−2i3 - 2i as a root. Which other complex number must be a root?

2

Solve z2+4z+13=0z^2 + 4z + 13 = 0. Enter both roots, separated by a comma.

3

A cubic x3+…x^3 + \dots with real coefficients has roots 11 and 2+i2 + i. What is the product of its three roots?

44.30%

Complex Numbers in Trigonometry

In this section you will be able to turn sines and cosines into exponentials and use roots of unity to evaluate trig sums and products.

What is cos(2π/7) + cos(4π/7) + cos(6π/7)? No identity on your sheet gives it directly. The 7th roots of unity do.

Add e^(iθ) and its mirror image e^(−iθ): the imaginary parts cancel and you get 2cos⁡θ2\cos\theta. Subtract them and you get 2isin⁡θ2i\sin\theta. So every trig expression can become an algebra problem about points on the unit circle.

Look: the book prints these formulas with a degree slip and a sign error in the tangent; the card below has the fixed version.

Exploreplay first, formulas later

θ = 50°. e^(iθ) + e^(−iθ) = 1.286 = 2cos θ (real); e^(iθ) − e^(−iθ) = 1.532i = 2i sin θ (purely imaginary).

θ (°)50
2cos θ = 1.286, 2i sin θ = 1.532i

θ = 50°. e^(iθ) + e^(−iθ) = 1.286 = 2cos θ (real); e^(iθ) − e^(−iθ) = 1.532i = 2i sin θ (purely imaginary).

Name it

Theorem 44.3.1 · Sin and Cos values in terms of complex numbers

sin⁡θ=eiθ−e−iθ2i,cos⁡θ=eiθ+e−iθ2,tan⁡θ=−i⋅eiθ−e−iθeiθ+e−iθ.\sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i},\qquad \cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2},\qquad \tan\theta = -i\cdot\frac{e^{i\theta} - e^{-i\theta}}{e^{i\theta} + e^{-i\theta}}.

Fixed from the book. The book writes ei(180−θ)e^{i(180-\theta)}, mixing degrees into a radian exponent; it means ei(π−θ)=−e−iθe^{i(\pi-\theta)} = -e^{-i\theta}. Its tangent formula also has the wrong sign: it gives −tan⁡θ-\tan\theta.

Watch itpredict, then reveal

Example 44.11

AMC 12

Suppose that the roots of the polynomial P(x)=x3+ax2+bx+cP(x) = x^3 + ax^2 + bx + c are cos⁡2π7\cos\frac{2\pi}{7}, cos⁡4π7\cos\frac{4\pi}{7}, and cos⁡6π7\cos\frac{6\pi}{7}, where angles are in radians. What is abcabc?

Roots of unity (its total is revealed at the end of the example)

n7
z⁷ = 1

z⁷ = 1 has 7 roots, equally spaced on a circle. Real parts: 1, 0.623, −0.223, −0.901, −0.901, −0.223, 0.623. They add up to 0 (the whole sum is 0), so the ones other than 1 add up to −1.

z⁷ = 1 has 7 roots, equally spaced on a circle. Real parts: 1, 0.623, −0.223, −0.901, −0.901, −0.223, 0.623. They add up to 0 (the whole sum is 0), so the ones other than 1 add up to −1.

  1. 1

    Let ω=e2πi/7\omega = e^{2\pi i/7}. What is 1+ω+ω2+⋯+ω61 + \omega + \omega^2 + \dots + \omega^6?

    Predict first:
open on YouTube

Example 44.12

PUMaC

The value of sin⁡(2∘)sin⁡(4∘)⋯sin⁡(90∘)\sin(2^\circ)\sin(4^\circ)\cdots\sin(90^\circ) is p5250\frac{p\sqrt5}{2^{50}}. Find pp.

Roots of unity (its total is revealed at the end of the example)

z⁹⁰ = 1

z⁹⁰ = 1 has 90 roots, equally spaced on a circle.

z⁹⁰ = 1 has 90 roots, equally spaced on a circle.

  1. 1

    Let ω=e2πi/90\omega = e^{2\pi i/90}. The numbers ω,ω2,…,ω89\omega, \omega^2, \dots, \omega^{89} are the roots of 1+x+⋯+x891 + x + \dots + x^{89}. Put x=1x = 1: what is ∏k=189(1−ωk)\prod_{k=1}^{89}(1 - \omega^k)?

    Predict first:
open on YouTube

Contest cornerreal contest problems

Problem 44.4.22(additional)

AIME

Given that zz is a complex number such that z+1z=2cos⁡3∘z + \frac1z = 2\cos3^\circ, find the least integer that is greater than z2000+1z2000z^{2000} + \frac{1}{z^{2000}}.

Problem 44.4.33(additional)

AMC 12

There is a unique sequence of integers a1,a2,…,a2023a_1, a_2, \dots, a_{2023} such that

tan⁡2023x=a1tan⁡x+a3tan⁡3x+a5tan⁡5x+⋯+a2023tan⁡2023x1+a2tan⁡2x+a4tan⁡4x+⋯+a2022tan⁡2022x\tan 2023x = \frac{a_1\tan x + a_3\tan^3 x + a_5\tan^5 x + \dots + a_{2023}\tan^{2023}x}{1 + a_2\tan^2 x + a_4\tan^4 x + \dots + a_{2022}\tan^{2022}x}

whenever tan⁡2023x\tan 2023x is defined. What is a2023a_{2023}?

Checkpoint for section 44.3

Get 2 of 3 right to master this section. One try each, no hints.
1

If z=eiθz = e^{i\theta}, which expression equals z+1zz + \frac1z?

Click a choice or type its letter (A–E).
2

Given z+1z=2cos⁡20∘z + \frac1z = 2\cos20^\circ, find z9+1z9z^9 + \frac{1}{z^9}.

3

Use the 5th roots of unity to find cos⁡72∘+cos⁡144∘\cos72^\circ + \cos144^\circ.

z⁵ = 1 has 5 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is 1.

n5
z⁵ = 1

z⁵ = 1 has 5 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is 1.

z⁵ = 1 has 5 roots, equally spaced on a circle. The sum of all the roots is 0. Their product is 1.

44.4

Practice Problems

In this section you will be able to mix every tool of the chapter on contest problems.

The rest of the Additional Problems, from AMC 12 warm-ups to an AIME 15. Some you have seen before in this chapter: try them again without the walkthrough.

Contest cornerreal contest problems

Problem 44.4.12(additional)

AMC 12

A function ff is defined by f(z)=izˉf(z) = i\bar z, where i=−1i = \sqrt{-1} and zˉ\bar z is the complex conjugate of zz. How many values of zz satisfy both ∣z∣=5|z| = 5 and f(z)=zf(z) = z?

Problem 44.4.16(additional)

AMC 12

This problem also appears in the book as 44.4.9.

What is the sum of the roots of z12=64z^{12} = 64 that have a positive real part?

Problem 44.4.17(additional)

AIME

This problem also appears in the book as 44.5.

The complex numbers zz and ww satisfy z13=wz^{13} = w, w11=zw^{11} = z, and the imaginary part of zz is sin⁡mπn\sin\frac{m\pi}{n}, for relatively prime positive integers mm and nn with m<nm < n. Find nn.

Problem 44.4.20(additional)

AMC 12

Let F(z)=z+iz−iF(z) = \frac{z + i}{z - i} for all complex numbers z≠iz \ne i, and let zn=F(zn−1)z_n = F(z_{n-1}) for all positive integers nn. Given that z0=1137+iz_0 = \frac{1}{137} + i and z2002=a+biz_{2002} = a + bi, where aa and bb are real numbers, find a+ba + b.

Problem 44.4.21(additional)

AMC 12A

Consider the set of complex numbers zz satisfying ∣1+z+z2∣=4|1 + z + z^2| = 4. The maximum value of the imaginary part of zz can be written in the form mn\frac{\sqrt m}{n}, where mm and nn are relatively prime positive integers. What is m+nm + n?

Problem 44.4.23(additional)

AMC 12

A sequence of complex numbers z0,z1,z2,…z_0, z_1, z_2, \dots is defined by the rule

zn+1=iznzn‾,z_{n+1} = \frac{iz_n}{\overline{z_n}},

where zn‾\overline{z_n} is the complex conjugate of znz_n and i2=−1i^2 = -1. Suppose that ∣z0∣=1|z_0| = 1 and z2005=1z_{2005} = 1. How many possible values are there for z0z_0?

Problem 44.4.26(additional)

AIME

This problem also appears in the book as 44.1.

Let NN be the number of complex numbers zz with the properties that ∣z∣=1|z| = 1 and z6!−z5!z^{6!} - z^{5!} is a real number. Find the remainder when NN is divided by 10001000.

Problem 44.4.27(additional)

AIME

Let ww and zz be complex numbers such that ∣w∣=1|w| = 1 and ∣z∣=10|z| = 10. Let θ=arg⁡(w−zz)\theta = \arg\left(\frac{w - z}{z}\right). The maximum possible value of tan⁡2θ\tan^2\theta can be written as pq\frac pq, where pp and qq are relatively prime positive integers. Find p+qp + q. (Note that arg⁡(w)\arg(w), for w≠0w \ne 0, denotes the measure of the angle that the ray from 00 to ww makes with the positive real axis in the complex plane.)

Problem 44.4.31(additional)

AMC 12

Let cc be a real number, and let z1z_1 and z2z_2 be the two complex numbers satisfying the equation z2−cz+10=0z^2 - cz + 10 = 0. Points z1z_1, z2z_2, 1z1\frac{1}{z_1}, and 1z2\frac{1}{z_2} are the vertices of (convex) quadrilateral Q\mathcal Q in the complex plane. When the area of Q\mathcal Q obtains its maximum possible value, cc is closest to which of the following?

Click a choice or type its letter (A–E).

Problem 44.4.34(additional)

AMC 12Challenge

The solutions to the equations z2=4+415iz^2 = 4 + 4\sqrt{15}i and z2=2+23iz^2 = 2 + 2\sqrt3 i, where i=−1i = \sqrt{-1}, form the vertices of a parallelogram in the complex plane. The area of this parallelogram can be written in the form pq−rsp\sqrt q - r\sqrt s, where pp, qq, rr, and ss are positive integers and neither qq nor ss is divisible by the square of any prime number. What is p+q+r+sp + q + r + s?