Skip to content
  1. IB Question Bank
  2. Maths AA
  3. Number & Algebra
Topic 1.13 · HL only

Complex number extension (roots of real coefficients poly equations, powers & roots of complex #): notes and practice questions

Summary
  • Conjugate Root Theorem: Complex roots of polynomials with real coefficients occur in conjugate pairs (a+bia+bi and a−bia-bi).
  • Fundamental Theorem of Algebra: An nn degree polynomial has nn complex roots, factoring into real linear and irreducible quadratic factors.
  • Vieta's Formulas: Relate sums and products of roots to polynomial coefficients.
  • De Moivre’s Theorem: [r(cos⁡θ+isin⁡θ)]n=rn(cos⁡nθ+isin⁡nθ)[r(\cos\theta + i\sin\theta)]^n = r^n(\cos n\theta + i\sin n\theta), used for powers and roots of complex numbers.
  • **Roots of zn=wz^n = w:** Found using polar form, yielding nn roots equally spaced on a circle.
  • Trigonometric Identities: Derived using De Moivre's Theorem and Euler's form (eiθe^{i\theta}) for multiple angles and powers.

How it is examined

The nnth roots of a complex number, drawn on an Argand diagram, is the classic full-question version: nn roots, equally spaced, same modulus. The induction proof of De Moivre is explicitly in scope and is a fair `Prove` question. Marks are lost by giving only one root, or by dropping the +2kπ+2k\pi when taking roots. 6 to 9 marks across parts.

Given in the booklet

De Moivre's theorem in all three forms: (r cis θ)n=rn cis(nθ)=rneinθ=rn(cos⁡nθ+isin⁡nθ)(r\,\mathrm{cis}\,\theta)^n = r^n\,\mathrm{cis}(n\theta) = r^n e^{in\theta} = r^n(\cos n\theta + i \sin n\theta).

Key ideas
  • Complex conjugate roots of quadratic and polynomial equations with real coefficients.
  • De Moivre's theorem and its extension to rational exponents.
  • Powers and roots of complex numbers.

Linking questions

  • Enrichment: can De Moivre's theorem be extended to all nn?

Practice questions

39 questions · 1 easy · 18 medium · 20 hard
Showing 20 of 20

Question 1

EasyPaper 1 · no calculator3 marks

Express the complex number z=8e−iπ3z = 8e^{-i\frac{\pi}{3}} in the form a+bia+bi, where a,b∈Ra, b \in \mathbb{R}.

Question 2

MediumPaper 1 · no calculator6 marks

Consider the polynomial P(z)=z3+kz2+(−2k+1)z−13kP(z) = z^3 + kz^2 + (-2k+1)z - 13k, where z∈Cz \in \mathbb{C} and k∈Rk \in \mathbb{R}.

Given that 2−3i2-3i is a root of the equation P(z)=0P(z)=0, find the roots of P(z)=0P(z)=0.

Question 3

HardPaper 1 · no calculator7 marks

Consider the equation z4+pz3+qz2+rz+s=0z^{4} + p z^{3} + q z^{2} + r z + s = 0, where p,q,r,s∈Rp, q, r, s \in \mathbb{R} and z∈Cz \in \mathbb{C}.

Two of the roots of the equation are 1+i1+i and log⁡354\log_3{54}. The sum of all the roots is 5+log⁡365 + \log_3{6}.

Show that s+2p+6=0s + 2p + 6 = 0.

Question 4

MediumPaper 1 · no calculator5 marks

It is given that the complex number w=a−2iw = a - 2i is a root of the equation w2+4w=k−12iw^2 + 4w = k - 12i, where a,k∈Ra, k \in \mathbb{R}.

Find the value of aa and the value of kk.

Question 5

HardPaper 1 · no calculator8 marks

Consider the quartic equation z4−8z3+32z2−80z+100=0,z∈Cz^4 - 8z^3 + 32z^2 - 80z + 100 = 0, z \in \mathbb{C}.

Two of the roots of this equation are c+dic + di and d+cid + ci, where c,d∈Zc, d \in \mathbb{Z}.

Find the possible values of cc.

Question 6

MediumPaper 1 · no calculator5 marks

It is given that z=a+2iz = a + 2i is a root of the equation z2+(3−i)z=k+7iz^2 + (3-i)z = k + 7i, where a,k∈Ra, k \in \mathbb{R}.

Find the value of aa and the value of kk.

Question 7

HardPaper 1 · no calculator8 marks

Consider the quartic equation z4−4z3+26z2−44z+85=0z^4 - 4z^3 + 26z^2 - 44z + 85 = 0, z∈Cz \in \mathbb{C}.

Two of the roots of this equation are of the form a+bia + bi and a−2bia - 2bi, where a,b∈Ra, b \in \mathbb{R} and b>0b > 0.

Find the values of aa and bb.

Question 8

MediumPaper 1 · no calculator7 marks
(a)

Consider the complex number z=21−iz = 2^{1-i}.

(a) Write the integer 2 in the form eke^k where k∈Rk \in \mathbb{R}.

[1]
(b)

(b) Hence, find zz in the form x+iyx+iy, where xx and yy are expressed in terms of ln⁡2\ln 2.

[3]
(c)

(c) Find Im(z+z−1)\text{Im}(z + z^{-1}), where z−1z^{-1} is the multiplicative inverse of zz.

[3]

Question 9

HardPaper 3 · calculator16 marks
(a)

In a study of wave propagation, a mathematical model uses the function g(x)=ex−e−x2g(x) = \frac{e^x - e^{-x}}{2}, where x∈Rx \in \mathbb{R}, to describe a certain physical quantity. This function is also known as the hyperbolic sine function, sinh⁡x\sinh x.

Verify that y=g(x)y = g(x) satisfies the differential equation d2ydx2=y\frac{d^2y}{dx^2} = y.

[2]
(b)

Another related function, the hyperbolic cosine, is defined as f(x)=ex+e−x2f(x) = \frac{e^x + e^{-x}}{2}, also known as cosh⁡x\cosh x. Show that (cosh⁡x)2−(sinh⁡x)2=1(\cosh x)^2 - (\sinh x)^2 = 1.

[3]
(c)(i)

The functions cosh⁡x\cosh x and sinh⁡x\sinh x can be extended to complex numbers. Using Euler's formula eiθ=cos⁡θ+isin⁡θe^{i\theta} = \cos \theta + i \sin \theta, where θ∈R\theta \in \mathbb{R}, express cosh⁡(iθ)\cosh(i\theta) in terms of cos⁡θ\cos \theta and sin⁡θ\sin \theta.

[3]
(c)(ii)

Similarly, express sinh⁡(iθ)\sinh(i\theta) in terms of cos⁡θ\cos \theta and sin⁡θ\sin \theta.

[2]
(d)

Hence, show that (cosh⁡(iθ))2+(sinh⁡(iθ))2=cos⁡(2θ)(\cosh(i\theta) )^2 + (\sinh(i\theta) )^2 = \cos(2\theta).

[2]
(e)

In a design project, a component's profile is described by a hyperbola with parametric equations x=Acosh⁡tx = A \cosh t and y=Bsinh⁡ty = B \sinh t, where A,BA, B are positive constants and t∈Rt \in \mathbb{R}.

Given that the component's profile passes through the point (6,0)(6, 0) and has asymptotes y=±43xy = \pm \frac{4}{3}x, find the values of AA and BB.

[4]

Question 10

MediumPaper 2 · calculator8 marks
(a)

In an alternating current (AC) circuit, the impedance of two components connected in series are given by the complex numbers Z1=4(cos⁡2π3+isin⁡2π3)Z_1 = 4\left(\cos\frac{2\pi}{3} + \text{i}\sin\frac{2\pi}{3}\right) ohms and Z2=2(cos⁡mπ6−isin⁡mπ6)Z_2 = 2\left(\cos\frac{m\pi}{6} - \text{i}\sin\frac{m\pi}{6}\right) ohms, where m∈Z+m \in \mathbb{Z}^+ is a positive integer parameter related to the second component's properties.

The total impedance of the series circuit is given by the product Ztotal=Z1Z2Z_{total} = Z_1 Z_2.

(a) Find the modulus of ZtotalZ_{total}.

[1]
(b)

(b) Find the argument of ZtotalZ_{total} in terms of mm.

[2]
(c)(i)

(c.i) Suppose that the total impedance ZtotalZ_{total} is purely resistive (i.e., Ztotal∈RZ_{total} \in \mathbb{R}). Find the minimum positive integer value of mm.

[3]
(c)(ii)

(c.ii) For the value of mm found in part (c.i), find the value of ZtotalZ_{total}.

[2]

Question 11

HardPaper 1 · no calculator16 marks
(a)

(a) Find the binomial expansion of (cos⁡θ+isin⁡θ)4(\cos \theta + i \sin \theta)^4. Give your answer in the form a+bia + bi where aa and bb are expressed in terms of sin⁡θ\sin \theta and cos⁡θ\cos \theta.

[4]
(b)

(b) By using De Moivre's theorem and your answer to part (a), show that cos⁡4θ=8cos⁡4θ−8cos⁡2θ+1\cos 4\theta = 8 \cos^4\theta - 8 \cos^2\theta + 1.

[5]
(c)

(c) Hence, find the four distinct roots of the equation 8x4−8x2+1=08x^4 - 8x^2 + 1 = 0, expressing them in the form cos⁡(α)\cos(\alpha) where 0<α<π0 < \alpha < \pi.

[4]
(d)

(d) By considering the roots of the equation in part (c), or otherwise, find the exact value of cos⁡(π8)cos⁡(3π8)\cos(\frac{\pi}{8})\cos(\frac{3\pi}{8}).

[3]

Question 12

MediumPaper 2 · calculator5 marks

A signal processing engineer is analyzing the properties of complex exponential signals. Consider a complex number z=cos⁡θ+isin⁡θz = \cos \theta + i \sin \theta, where z∈Cz \in \mathbb{C} and z2≠−1z^2 \ne -1.

Show that Re(z2−1z2+1)=0\text{Re} \left( \frac{z^2-1}{z^2+1} \right) = 0.

Question 13

HardPaper 1 · no calculator22 marks
(a)

Consider the complex number w=1−iw = 1 - i.

By finding the modulus and argument of ww, show that w=2e−iπ4w = \sqrt{2}e^{-i\frac{\pi}{4}}.

[3]
(b)(i)

Find the smallest positive integer nn such that wnw^n is a real number.

[3]
(b)(ii)

Find the value of wnw^n when nn takes the value found in part (b)(i).

[2]
(c)(i)

Consider the equation z3−2z+4=0z^3 - 2z + 4 = 0, where z∈Cz \in \mathbb{C}.

Given that w=1−iw=1-i is a root of this equation, find the other roots.

[5]
(c)(ii)

By using a suitable transformation from zz to vv, or otherwise, find the roots of the equation 4v3−2v2+1=04v^3 - 2v^2 + 1 = 0, where v∈Cv \in \mathbb{C}.

[4]
(d)

Consider the equation z2=−4z∗z^2 = -4z^*, where z∈C,z≠0z \in \mathbb{C}, z \neq 0.

By expressing zz in the form a+bia + bi, find the roots of the equation.

[5]

Question 14

MediumPaper 2 · calculator7 marks
(a)

In a simulation of a rotating antenna, its orientation is modeled by a complex number ww on the Argand diagram. Initially, the antenna's orientation is given by w=cos⁡(π10)+isin⁡(π10)w = \cos \left( \frac{\pi}{10} \right) + i \sin \left( \frac{\pi}{10} \right). The antenna's controller performs a series of rotations, and after nn such operations, its orientation is required to be pointing directly upwards along the imaginary axis, represented by the complex number ii.

Find the smallest positive integer value of nn for which the antenna's orientation wnw^n is equal to ii.

[4]
(b)

Hence or otherwise, describe a single geometric transformation on the Argand diagram that maps ww to w12w^{12}.

[3]

Question 15

HardPaper 1 · no calculator17 marks
(a)

Find the binomial expansion of (cos⁡θ+isin⁡θ)4(\cos \theta + i \sin \theta)^4. Give your answer in the form a+bia + bi where aa and bb are expressed in terms of sin⁡θ\sin \theta and cos⁡θ\cos \theta.

[4]
(b)

By using De Moivre's theorem and your answer to part (a), show that cos⁡4θ=8cos⁡4θ−8cos⁡2θ+1\cos 4\theta = 8\cos^4\theta - 8\cos^2\theta + 1.

[6]
(c)(i)

Hence, show that θ=π8\theta = \frac{\pi}{8} and θ=3π8\theta = \frac{3\pi}{8} are solutions of the equation 8cos⁡4θ−8cos⁡2θ+1=08\cos^4\theta - 8\cos^2\theta + 1 = 0.

[3]
(c)(ii)

Hence, find the exact value of cos⁡(π8)cos⁡(3π8)\cos(\frac{\pi}{8})\cos(\frac{3\pi}{8}).

[4]

Question 16

MediumPaper 1 · no calculator9 marks
(a)

The polynomial f(z)=az3+bz2+cz+df(z) = az^3 + bz^2 + cz + d has integer coefficients. One root of the equation f(z)=0f(z)=0 is z1=(1+i)4z_1 = (1+i)^4.

(a) Show that z1=−4z_1 = -4.

[3]
(b)

(b) Another root is z2=1+3i1−iz_2 = \frac{1+3i}{1-i}. Find z2z_2 in the form x+yix+yi, where x,y∈Zx, y \in \mathbb{Z}.

[2]
(c)

(c) Given that the coefficients a,b,c,da, b, c, d are relatively prime, find the polynomial f(z)f(z).

[4]

Question 17

HardPaper 1 · no calculator18 marks
(a)

By considering De Moivre's theorem, show that cos⁡(4θ)=8cos⁡4θ−8cos⁡2θ+1\cos(4\theta) = 8\cos^4\theta - 8\cos^2\theta + 1.

[4]
(b)

Let w=1+iw = 1+i. Show that w4=−4w^4 = -4.

[2]
(c)

Hence, find the four roots of the equation z4=−4z^4 = -4 in Cartesian form.

[3]
(d)

The four roots are represented by points A, B, C, D on an Argand diagram, forming a square. Find the area of this square.

[2]
(e)

Each of the points A, B, C, D is rotated counter-clockwise about the origin by an angle of π6\frac{\pi}{6} to form new points A', B', C', D'. These points are the roots of an equation z4=Kz^4 = K. Find KK in Cartesian form.

[4]
(f)

It is given that the eight points represented by the roots of z4=−4z^4=-4 and z4=Kz^4=K are all solutions of zn=αz^n = \alpha for some α∈C\alpha \in \mathbb{C} and n∈Nn \in \mathbb{N}. Find the smallest positive value of nn.

[3]

Question 18

MediumPaper 1 · no calculator9 marks
(a)

(a) Show that cos⁡(4θ)=8cos⁡4(θ)−8cos⁡2(θ)+1\cos(4\theta) = 8\cos^4(\theta) - 8\cos^2(\theta) + 1.

[4]
(b)

(b) Hence, solve the equation 16cos⁡4(θ)−16cos⁡2(θ)+1=016\cos^4(\theta) - 16\cos^2(\theta) + 1 = 0 for 0≤θ≤π0 \le \theta \le \pi.

[5]

Question 19

HardPaper 1 · no calculator11 marks
(a)

A function ff is defined by f(x)=x3−6x2+cx+df(x) = x^3 - 6x^2 + cx + d, where c,d∈Rc, d \in \mathbb{R}. The equation f(x)=0f(x)=0 has three real roots, α,β\alpha, \beta and γ\gamma.

(a) Write down the value of α+β+γ\alpha + \beta + \gamma.

[1]
(b)

A polynomial PP is defined by P(z)=z5−8z4+pz3+qz2+rz−12P(z) = z^5 - 8z^4 + pz^3 + qz^2 + rz - 12, where p,q,r∈Rp, q, r \in \mathbb{R}. The roots of f(x)=0f(x)=0 are also roots of the equation P(z)=0P(z)=0. It is given that z=1−iz=1-i is a root of P(z)=0P(z)=0.

(b) Find the other non-real root of P(z)=0P(z)=0, giving a reason for your answer.

[2]
(c)

(c) Find the value of αβγ\alpha\beta\gamma.

[3]
(d)

(d) It is given that the roots α,β,γ\alpha, \beta, \gamma form an arithmetic progression. Find the values of α,β\alpha, \beta and γ\gamma.

[5]

Question 20

MediumPaper 1 · no calculator7 marks
(a)

Use the binomial theorem to find the expansion of (cos⁡θ+isin⁡θ)4(\cos \theta + i\sin \theta)^4.

[3]
(b)

By using de Moivre's theorem and your expansion from part (a), show that cos⁡(4θ)=8cos⁡4θ−8cos⁡2θ+1\cos(4\theta) = 8\cos^4\theta - 8\cos^2\theta + 1.

[4]

19 more Complex number extension (roots of real coefficients poly equations, powers & roots of complex #) questions in the app

Every answer is marked mark by mark, IB-style, and the AI tutor helps when you are stuck.

Where marks are lost

  • Using your own wrong value after failing a "show that".
Free. Every IB subject.
No card, no trial that runs out. Just a free account.
  • 50 marked answers a month
    Marked mark by mark, IB-style
  • Hints and mark schemes
    On every part of every question
  • 3,000+ questions
    All 6 subjects, SL and HL, mapped to the syllabus
  • Progress that adapts
    Your Study Profile picks what to practise next

Practise this topic as a session

Pick a difficulty and paper, and FourtyFive tracks your progress on this topic as you go.

or with email
FAQ

Questions,
answered.

Can't find what you're looking for? Email our student team.

What does Complex number extension (roots of real coefficients poly equations, powers & roots of complex #) cover in IB Maths AA?

Conjugate Root Theorem: Complex roots of polynomials with real coefficients occur in conjugate pairs (a+bi and a-bi). Fundamental Theorem of Algebra: An n degree polynomial has n complex roots, factoring into real linear and irreducible quadratic factors. Vieta's Formulas: Relate sums and products of roots to polynomial coefficients.

Is Complex number extension (roots of real coefficients poly equations, powers & roots of complex #) SL or HL?

Complex number extension (roots of real coefficients poly equations, powers & roots of complex #) is HL only. SL students are not examined on it.

How do I revise Complex number extension (roots of real coefficients poly equations, powers & roots of complex #) for IB Maths AA?

Start from the core idea: conjugate Root Theorem: Complex roots of polynomials with real coefficients occur in conjugate pairs (a+bi and a-bi). In the exam: the nth roots of a complex number, drawn on an Argand diagram, is the classic full-question version: n roots, equally spaced, same modulus. The induction proof of De Moivre is explicitly in scope and is a fair `Prove` question. Then practise exam-style questions, easiest first, writing out every step of your working before you check it.

How does FourtyFive help me practise Complex number extension (roots of real coefficients poly equations, powers & roots of complex #)?

FourtyFive has 39 Complex number extension (roots of real coefficients poly equations, powers & roots of complex #) questions. Every answer you write is marked mark by mark, IB-style, and you see where each mark was won or lost. Every part has a hint, the AI tutor helps you through the step you are stuck on, and your Study Profile picks what to practise next.

Is FourtyFive free for Complex number extension (roots of real coefficients poly equations, powers & roots of complex #) practice?

Yes. A free account gives you 50 marked answers a month, and you do not need a card to sign up.

Can I handwrite Complex number extension (roots of real coefficients poly equations, powers & roots of complex #) answers on an iPad?

Yes. In the FourtyFive iPad app you write your working by hand with Apple Pencil, the way you would on paper, and it is marked the same way.

Start with the IB question
bank built for you.

Free to start, no card needed. Thousands of syllabus-mapped questions, AI Examiner marking, your weakest topics first.