CP-2 Complex numbers — coverage pack

11 specification leaves · notes, questions, answers and worked methods

CP-2.1 · Solve any quadratic equation with real coefficients. Solve cubic or quartic equations with real coefficients.

  • The roots of a real quadratic ax2+bx+c=0ax^2+bx+c=0 are x=b±b24ac2ax=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a}; a negative discriminant produces a complex-conjugate pair.
  • For a cubic, first look for a real linear factor using inspection, the factor theorem or a supplied root, then solve the remaining quadratic.
  • A useful quartic principle is to recognise a biquadratic or factor the expression into two real quadratics; for example, symmetric x3x^3 and xx coefficients can guide the signs of the linear terms.
  • Do not stop after finding one factor: solve every remaining quadratic and list every root, including non-real roots.

Tier 1 · Easy

  1. 1. Solve x24x+13=0x^2-4x+13=0, giving the roots in the form a+iba+ib.[3 marks]

    Answer

    • x=2+3ix=2+3i or x=23ix=2-3i

    Method: Complete the square: x24x+13=(x2)2+9x^2-4x+13=(x-2)^2+9. Hence (x2)2=9(x-2)^2=-9, so x2=±3ix-2=\pm3i and therefore x=2±3ix=2\pm3i.

Tier 2 · Standard

  1. 1. Given that x=2x=2 is a root of x32x2+5x10=0x^3-2x^2+5x-10=0, solve the equation completely.[4 marks]

    Answer

    • x=2x=2, x=i5x=i\sqrt5 or x=i5x=-i\sqrt5

    Method: Group the terms: x32x2+5x10=x2(x2)+5(x2)=(x2)(x2+5)x^3-2x^2+5x-10=x^2(x-2)+5(x-2)=(x-2)(x^2+5). Thus x=2x=2 or x2=5x^2=-5, giving x=±i5x=\pm i\sqrt5.

Tier 3 · Hard

  1. 1. Given that x2+3x+6x^2+3x+6 is a factor of x4+3x2+36x^4+3x^2+36, solve x4+3x2+36=0x^4+3x^2+36=0 completely.[5 marks]

    Answer

    • x=3+i152x=\dfrac{-3+i\sqrt{15}}2, x=3i152x=\dfrac{-3-i\sqrt{15}}2, x=3+i152x=\dfrac{3+i\sqrt{15}}2 or x=3i152x=\dfrac{3-i\sqrt{15}}2

    Method: Factor using conjugate linear terms: (x2+3x+6)(x23x+6)=x4+(129)x2+36=x4+3x2+36(x^2+3x+6)(x^2-3x+6)=x^4+(12-9)x^2+36=x^4+3x^2+36. Solving x2+3x+6=0x^2+3x+6=0 gives x=(3±i15)/2x=(-3\pm i\sqrt{15})/2, while x23x+6=0x^2-3x+6=0 gives x=(3±i15)/2x=(3\pm i\sqrt{15})/2.

CP-2.2 · Add, subtract, multiply and divide complex numbers in the form x + iy with x and y real. Understand and use the terms 'real part' and 'imaginary part'.

  • For z=x+iyz=x+iy, the real and imaginary parts are Re(z)=x\operatorname{Re}(z)=x and Im(z)=y\operatorname{Im}(z)=y; the imaginary part is the real coefficient yy, not iyiy.
  • Add or subtract real parts together and imaginary parts together; when multiplying, expand and replace i2i^2 by 1-1.
  • To divide Cartesian complex numbers, multiply numerator and denominator by the conjugate of the denominator so that the denominator becomes real.
  • A common error is to use i2=1i^2=1 or to leave a complex number unsimplified instead of collecting it into the form x+iyx+iy.

Tier 1 · Easy

  1. 1. Let z=(32i)+(5+7i)z=(3-2i)+(5+7i). Find zz, Re(z)\operatorname{Re}(z) and Im(z)\operatorname{Im}(z).[2 marks]

    Answer

    • z=8+5iz=8+5i
    • Re(z)=8\operatorname{Re}(z)=8
    • Im(z)=5\operatorname{Im}(z)=5

    Method: Add corresponding parts: z=(3+5)+(2+7)i=8+5iz=(3+5)+(-2+7)i=8+5i. Therefore the real part is 88 and the imaginary part is 55.

Tier 2 · Standard

  1. 1. Express 4+i2i\dfrac{4+i}{2-i} in the form x+iyx+iy.[3 marks]

    Answer

    • 75+65i\dfrac75+\dfrac65i

    Method: Multiply by the conjugate 2+i2+i: 4+i2i=(4+i)(2+i)(2i)(2+i)=7+6i5=75+65i\dfrac{4+i}{2-i}=\dfrac{(4+i)(2+i)}{(2-i)(2+i)}=\dfrac{7+6i}{5}=\dfrac75+\dfrac65i.

Tier 3 · Hard

  1. 1. Express (2+3i)(14i)3+i\dfrac{(2+3i)(1-4i)}{3+i} in the form x+iyx+iy.[5 marks]

    Answer

    • 37102910i\dfrac{37}{10}-\dfrac{29}{10}i

    Method: First expand the numerator: (2+3i)(14i)=28i+3i12i2=145i(2+3i)(1-4i)=2-8i+3i-12i^2=14-5i. Then multiply by the conjugate of the denominator: 145i3+i=(145i)(3i)10=3729i10\dfrac{14-5i}{3+i}=\dfrac{(14-5i)(3-i)}{10}=\dfrac{37-29i}{10}.

CP-2.3 · Understand and use the complex conjugate. Know that non-real roots of polynomial equations with real coefficients occur in conjugate pairs.

  • The conjugate of z=x+iyz=x+iy is z=xiy\overline z=x-iy, and zz=x2+y2=z2z\overline z=x^2+y^2=|z|^2 is real.
  • Changing ii to i-i throughout an expression with real coefficients shows that a non-real root a+iba+ib forces aiba-ib to be a root as well.
  • A conjugate pair produces the real quadratic factor [x(a+ib)][x(aib)]=(xa)2+b2[x-(a+ib)][x-(a-ib)]=(x-a)^2+b^2.
  • The conjugate-root rule requires real polynomial coefficients; applying it without checking this condition is a common error.

Tier 1 · Easy

  1. 1. For z=54iz=5-4i, write down z\overline z and calculate zzz\overline z.[2 marks]

    Answer

    • z=5+4i\overline z=5+4i
    • zz=41z\overline z=41

    Method: Reverse the sign of the imaginary part to get z=5+4i\overline z=5+4i. Then zz=(54i)(5+4i)=52+42=41z\overline z=(5-4i)(5+4i)=5^2+4^2=41.

Tier 2 · Standard

  1. 1. The polynomial p(x)=x3x27x+15p(x)=x^3-x^2-7x+15 has real coefficients, and 2+i2+i is a root. Solve p(x)=0p(x)=0 completely.[4 marks]

    Answer

    • x=2+ix=2+i, x=2ix=2-i or x=3x=-3

    Method: Because the coefficients are real, 2i2-i is also a root. Their factor is (x2i)(x2+i)=(x2)2+1=x24x+5(x-2-i)(x-2+i)=(x-2)^2+1=x^2-4x+5. Division or comparison gives p(x)=(x24x+5)(x+3)p(x)=(x^2-4x+5)(x+3), so the third root is 3-3.

Tier 3 · Hard

  1. 1. A monic quartic polynomial has real coefficients. Two of its roots are 1+2i1+2i and 2+i-2+i. Determine the polynomial in expanded form.[6 marks]

    Answer

    • x4+2x3+2x2+10x+25x^4+2x^3+2x^2+10x+25

    Method: The other roots are 12i1-2i and 2i-2-i. The first conjugate pair gives (x1)2+4=x22x+5(x-1)^2+4=x^2-2x+5, and the second gives (x+2)2+1=x2+4x+5(x+2)^2+1=x^2+4x+5. Multiplying yields (x22x+5)(x2+4x+5)=x4+2x3+2x2+10x+25(x^2-2x+5)(x^2+4x+5)=x^4+2x^3+2x^2+10x+25.

CP-2.4 · Use and interpret Argand diagrams.

  • On an Argand diagram, z=x+iyz=x+iy is represented by the point (x,y)(x,y), with the real axis horizontal and the imaginary axis vertical.
  • Differences of affixes represent displacement vectors, so z2z1|z_2-z_1| is the distance between the corresponding points.
  • Coordinate geometry applies directly: use gradients and scalar products to establish angles, and split polygons into triangles with base-and-height reasoning to establish areas.
  • Do not interchange the axes or plot x+iyx+iy as (y,x)(y,x); label relevant points and exact coordinates on any sketch.

Tier 1 · Easy

  1. 1. The complex number z=2+3iz=-2+3i is represented by PP on an Argand diagram. State the coordinates of PP and the quadrant in which it lies.[2 marks]

    Answer

    • P=(2,3)P=(-2,3)
    • Second quadrant

    Method: The real part gives the horizontal coordinate and the imaginary part gives the vertical coordinate, so P=(2,3)P=(-2,3). Negative real part and positive imaginary part place it in the second quadrant.

Tier 2 · Standard

  1. 1. Points AA, BB and CC have affixes 1+i1+i, 5+i5+i and 1+4i1+4i. Determine the exact area of triangle ABCABC.[3 marks]

    Answer

    • 66 square units

    Method: The coordinates are A(1,1)A(1,1), B(5,1)B(5,1) and C(1,4)C(1,4). The triangle is right-angled at AA, with AB=4AB=4 and AC=3AC=3. Hence its area is 12×4×3=6\tfrac12\times4\times3=6.

Tier 3 · Hard

  1. 1. Points AA and BB have affixes 3+i3+i and 1+3i-1+3i, and OO is the origin. Prove that triangle OABOAB is right-angled and isosceles, and find its exact area.[5 marks]

    Answer

    • OA=OB=10OA=OB=\sqrt{10}
    • OAOBOA\perp OB
    • Area =5=5 square units

    Method: The vectors are OA=(3,1)\overrightarrow{OA}=(3,1) and OB=(1,3)\overrightarrow{OB}=(-1,3). Both have squared length 1010, so OA=OB=10OA=OB=\sqrt{10}. Their scalar product is 3(1)+1(3)=03(-1)+1(3)=0, so they are perpendicular. The area is therefore 12(10)(10)=5\tfrac12(\sqrt{10})(\sqrt{10})=5.

CP-2.5 · Convert between the Cartesian form and the modulus-argument form of a complex number.

  • For z=x+iyz=x+iy, the modulus is r=z=x2+y2r=|z|=\sqrt{x^2+y^2} and an argument θ\theta satisfies tanθ=y/x\tan\theta=y/x with the quadrant checked.
  • The modulus-argument forms are r(cosθ+isinθ)r(\cos\theta+i\sin\theta) and, using Euler notation, reiθre^{i\theta}.
  • To return to Cartesian form, calculate x=rcosθx=r\cos\theta and y=rsinθy=r\sin\theta; exact special-angle values should remain exact.
  • Using tan1(y/x)\tan^{-1}(y/x) without a quadrant check can give an argument differing by π\pi; state the principal argument when requested.

Tier 1 · Easy

  1. 1. Express 1+3i1+\sqrt3i in the form r(cosθ+isinθ)r(\cos\theta+i\sin\theta), where r>0r>0 and π<θπ-\pi<\theta\leq\pi.[2 marks]

    Answer

    • 2(cosπ3+isinπ3)2\left(\cos\dfrac\pi3+i\sin\dfrac\pi3\right)

    Method: The modulus is 12+(3)2=2\sqrt{1^2+(\sqrt3)^2}=2. The point is in the first quadrant and tanθ=3\tan\theta=\sqrt3, so θ=π/3\theta=\pi/3.

Tier 2 · Standard

  1. 1. Express 22i-2-2i in modulus-argument form using its principal argument.[3 marks]

    Answer

    • 22(cos(3π4)+isin(3π4))2\sqrt2\left(\cos\left(-\dfrac{3\pi}{4}\right)+i\sin\left(-\dfrac{3\pi}{4}\right)\right)

    Method: The modulus is (2)2+(2)2=22\sqrt{(-2)^2+(-2)^2}=2\sqrt2. The point is in the third quadrant, whose principal argument is 3π/4-3\pi/4. Substitute these into r(cosθ+isinθ)r(\cos\theta+i\sin\theta).

Tier 3 · Hard

  1. 1. The complex number z=a+ibz=a+ib has modulus 1010, positive real part and principal argument tan1(3/4)-\tan^{-1}(3/4). Determine zz in Cartesian form.[4 marks]

    Answer

    • z=86iz=8-6i

    Method: A reference triangle for tan1(3/4)\tan^{-1}(3/4) has adjacent, opposite and hypotenuse in the ratio 4:3:54:3:5. The negative argument with positive real part places zz in the fourth quadrant, so cosθ=4/5\cos\theta=4/5 and sinθ=3/5\sin\theta=-3/5. Hence z=10(4/53i/5)=86iz=10(4/5-3i/5)=8-6i.

CP-2.6 · Multiply and divide complex numbers in modulus-argument form.

  • When multiplying complex numbers in modulus-argument form, multiply their moduli and add their arguments.
  • When dividing, divide the moduli and subtract the denominator's argument from the numerator's argument.
  • After calculating, add or subtract 2π2\pi if a principal argument in (π,π](-\pi,\pi] is required.
  • Do not add moduli or multiply arguments; those operations do not correspond to complex multiplication.

Tier 1 · Easy

  1. 1. Express 2eiπ/6×3eiπ/42e^{i\pi/6}\times3e^{i\pi/4} in the form reiθre^{i\theta}.[2 marks]

    Answer

    • 6e5πi/126e^{5\pi i/12}

    Method: Multiply the moduli to get 2×3=62\times3=6 and add the arguments: π/6+π/4=2π/12+3π/12=5π/12\pi/6+\pi/4=2\pi/12+3\pi/12=5\pi/12. Therefore the product is 6e5πi/126e^{5\pi i/12}.

Tier 2 · Standard

  1. 1. Express 12e5πi/63eπi/4\dfrac{12e^{5\pi i/6}}{3e^{-\pi i/4}} in the form reiθre^{i\theta} using the principal argument.[3 marks]

    Answer

    • 4e11πi/124e^{-11\pi i/12}

    Method: Divide the moduli to get 44. Subtract the arguments: 5π/6(π/4)=13π/125\pi/6-(-\pi/4)=13\pi/12. This exceeds π\pi, so subtract 2π2\pi to obtain the principal argument 11π/12-11\pi/12.

Tier 3 · Hard

  1. 1. Given that z(2eiπ/7)3=16e2πi/7z(2e^{i\pi/7})^3=16e^{-2\pi i/7}, determine zz in the form reiθre^{i\theta}, where π<θπ-\pi<\theta\leq\pi.[4 marks]

    Answer

    • z=2e5πi/7z=2e^{-5\pi i/7}

    Method: (2eiπ/7)3=8e3πi/7(2e^{i\pi/7})^3=8e^{3\pi i/7}. Divide the right-hand side by this number: the modulus is 16/8=216/8=2 and the argument is 2π/73π/7=5π/7-2\pi/7-3\pi/7=-5\pi/7. Thus z=2e5πi/7z=2e^{-5\pi i/7}.

CP-2.7 · Construct and interpret simple loci in the Argand diagram such as |z - a| > r and arg(z - a) = theta.

  • The condition za=r|z-a|=r is a circle of radius rr centred at the point with affix aa; << selects the interior and >> the exterior.
  • The condition arg(za)=θ\arg(z-a)=\theta is a ray starting at aa and making directed angle θ\theta with the positive real axis.
  • Translate z=x+iyz=x+iy when an equation is needed: modulus conditions become distance equations and argument conditions give a line plus a direction restriction.
  • Strict inequalities exclude their boundary, and the point z=az=a is excluded from an argument locus because the argument of zero is undefined.

Tier 1 · Easy

  1. 1. Describe geometrically the locus z(2i)>3|z-(2-i)|>3, stating whether its boundary is included.[2 marks]

    Answer

    • The exterior of the circle with centre (2,1)(2,-1) and radius 33
    • The circular boundary is not included

    Method: z(2i)|z-(2-i)| is the distance from the point representing zz to (2,1)(2,-1). Distances greater than 33 lie outside the radius-33 circle, and the strict inequality excludes the circle itself.

Tier 2 · Standard

  1. 1. Let z=x+iyz=x+iy. Find a Cartesian description of the locus arg(z+1)=π/4\arg(z+1)=\pi/4, including the required restriction on xx.[3 marks]

    Answer

    • y=x+1y=x+1 with x>1x>-1

    Method: z+1=(x+1)+iyz+1=(x+1)+iy is measured from the point (1,0)(-1,0). An argument of π/4\pi/4 gives y=x+1y=x+1, but it is the ray in the first-quadrant direction from (1,0)(-1,0), so x>1x>-1. The endpoint is excluded because its displacement is zero.

Tier 3 · Hard

  1. 1. A region is defined by z(1i)<4|z-(1-i)|<4 and 0<arg(z(1i))<π/30<\arg(z-(1-i))<\pi/3. Sketch the region and determine its exact area.[5 marks]

    Answer

    • An open sector centred at (1,1)(1,-1), of radius 44 and angle π/3\pi/3
    • Area =8π3=\dfrac{8\pi}{3}

    Method: The modulus inequality gives the interior of the radius-44 circle centred at (1,1)(1,-1). The argument inequalities select the sector between the rays of angles 00 and π/3\pi/3, with both rays and the arc excluded. Its area is 12r2θ=12(42)(π/3)=8π/3\tfrac12r^2\theta=\tfrac12(4^2)(\pi/3)=8\pi/3; excluding boundaries does not change the area.

CP-2.8 · Understand de Moivre's theorem and use it to find multiple angle formulae and sums of series.

  • De Moivre's theorem states [cosθ+isinθ]n=cos(nθ)+isin(nθ)[\cos\theta+i\sin\theta]^n=\cos(n\theta)+i\sin(n\theta) for integer nn.
  • To derive a multiple-angle identity, expand the left-hand side and equate real parts for cosine or imaginary parts for sine.
  • For trigonometric sums, write the terms as real or imaginary parts of a geometric series in eiθe^{i\theta}, sum it, then take the required part.
  • A common error is to equate the whole binomial expansion with only a real or only an imaginary target; separate the two parts first.

Tier 1 · Easy

  1. 1. Use de Moivre's theorem to write (cosθ+isinθ)5(\cos\theta+i\sin\theta)^5 in modulus-argument form.[1 mark]

    Answer

    • cos5θ+isin5θ\cos5\theta+i\sin5\theta

    Method: Apply de Moivre's theorem directly with n=5n=5: the modulus remains 11 and the argument is multiplied by 55.

Tier 2 · Standard

  1. 1. Starting from de Moivre's theorem, establish the identity sin3θ=3sinθ4sin3θ\sin3\theta=3\sin\theta-4\sin^3\theta.[4 marks]

    Answer

    • sin3θ=3sinθ4sin3θ\sin3\theta=3\sin\theta-4\sin^3\theta

    Method: Expand (cosθ+isinθ)3(\cos\theta+i\sin\theta)^3. Equating imaginary parts with cos3θ+isin3θ\cos3\theta+i\sin3\theta gives sin3θ=3cos2θsinθsin3θ\sin3\theta=3\cos^2\theta\sin\theta-\sin^3\theta. Use cos2θ=1sin2θ\cos^2\theta=1-\sin^2\theta to obtain 3sinθ4sin3θ3\sin\theta-4\sin^3\theta.

Tier 3 · Hard

  1. 1. Using a complex geometric series, evaluate exactly S=r=05cos(rπ4)S=\displaystyle\sum_{r=0}^{5}\cos\left(\dfrac{r\pi}{4}\right).[5 marks]

    Answer

    • S=22S=-\dfrac{\sqrt2}{2}

    Method: Let q=cos(π/4)+isin(π/4)=(1+i)/2q=\cos(\pi/4)+i\sin(\pi/4)=(1+i)/\sqrt2. Then SS is the real part of 1+q++q5=(1q6)/(1q)1+q+\cdots+q^5=(1-q^6)/(1-q). De Moivre gives q6=iq^6=-i, so rationalising gives 1+i1(1+i)/2\dfrac{1+i}{1-(1+i)/\sqrt2}, whose real part is 1222=22\dfrac{1-\sqrt2}{2-\sqrt2}=-\dfrac{\sqrt2}{2}. Hence S=2/2S=-\sqrt2/2.

CP-2.9 · Know and use the definition e^(i theta) = cos theta + i sin theta and the form z = r e^(i theta).

  • Euler's definition is eiθ=cosθ+isinθe^{i\theta}=\cos\theta+i\sin\theta, so reiθre^{i\theta} has modulus rr and argument θ\theta.
  • The identities eiθ=cosθisinθe^{-i\theta}=\cos\theta-i\sin\theta, 2cosθ=eiθ+eiθ2\cos\theta=e^{i\theta}+e^{-i\theta} and 2isinθ=eiθeiθ2i\sin\theta=e^{i\theta}-e^{-i\theta} follow immediately.
  • Exponential form makes rotations and trigonometric rearrangements concise; for example, factor out the exponential with the mean of two arguments.
  • Do not interpret eiθe^{i\theta} as a real exponential: its modulus is 11, and its argument is periodic modulo 2π2\pi.

Tier 1 · Easy

  1. 1. Express 4(cos2π5+isin2π5)4\left(\cos\dfrac{2\pi}{5}+i\sin\dfrac{2\pi}{5}\right) in exponential form.[1 mark]

    Answer

    • 4e2πi/54e^{2\pi i/5}

    Method: Use eiθ=cosθ+isinθe^{i\theta}=\cos\theta+i\sin\theta with θ=2π/5\theta=2\pi/5, keeping the modulus 44.

Tier 2 · Standard

  1. 1. Using Euler's definition, show that e2iθ+e2iθ=2cos2θe^{2i\theta}+e^{-2i\theta}=2\cos2\theta.[3 marks]

    Answer

    • e2iθ+e2iθ=2cos2θe^{2i\theta}+e^{-2i\theta}=2\cos2\theta

    Method: Euler's definition gives e2iθ=cos2θ+isin2θe^{2i\theta}=\cos2\theta+i\sin2\theta and e2iθ=cos2θisin2θe^{-2i\theta}=\cos2\theta-i\sin2\theta. Adding cancels the imaginary parts and leaves 2cos2θ2\cos2\theta.

Tier 3 · Hard

  1. 1. For π<θ<π-\pi<\theta<\pi, prove that 1+eiθ=2cos(θ/2)eiθ/21+e^{i\theta}=2\cos(\theta/2)e^{i\theta/2}.[4 marks]

    Answer

    • 1+eiθ=2cos(θ/2)eiθ/21+e^{i\theta}=2\cos(\theta/2)e^{i\theta/2}

    Method: Factor out eiθ/2e^{i\theta/2}: 1+eiθ=eiθ/2(eiθ/2+eiθ/2)1+e^{i\theta}=e^{i\theta/2}(e^{-i\theta/2}+e^{i\theta/2}). By Euler's definition, the bracket is 2cos(θ/2)2\cos(\theta/2), giving the stated result. The interval ensures cos(θ/2)>0\cos(\theta/2)>0, consistent with the displayed modulus.

CP-2.10 · Find the n distinct nth roots of r e^(i theta) for r != 0 and know that they form the vertices of a regular n-gon in the Argand diagram.

  • If zn=reiθz^n=re^{i\theta} with r>0r>0, the roots are z=r1/nei(θ+2kπ)/nz=r^{1/n}e^{i(\theta+2k\pi)/n} for k=0,1,,n1k=0,1,\ldots,n-1.
  • There are exactly nn distinct roots because their arguments differ by 2π/n2\pi/n before the pattern repeats.
  • On an Argand diagram the roots lie on the circle of radius r1/nr^{1/n} and form a regular nn-gon centred at the origin.
  • Using only the principal value of the argument gives just one root; include the 2kπ2k\pi term before dividing by nn.

Tier 1 · Easy

  1. 1. Find the three cube roots of 88, giving them in exponential form.[3 marks]

    Answer

    • 22, 2e2πi/32e^{2\pi i/3} and 2e4πi/32e^{4\pi i/3}

    Method: Write 8=8e2mπi8=8e^{2m\pi i}. Each root has modulus 22 and argument 2kπ/32k\pi/3 for k=0,1,2k=0,1,2, giving the three stated roots.

Tier 2 · Standard

  1. 1. Find the four roots of z4=16eiπ/3z^4=16e^{i\pi/3}, giving their arguments in the interval 0θ<2π0\leq\theta<2\pi.[4 marks]

    Answer

    • z=2eiπ/12z=2e^{i\pi/12}, 2e7πi/122e^{7\pi i/12}, 2e13πi/122e^{13\pi i/12} or 2e19πi/122e^{19\pi i/12}

    Method: The root modulus is 161/4=216^{1/4}=2. The arguments are (π/3+2kπ)/4=π/12+kπ/2(\pi/3+2k\pi)/4=\pi/12+k\pi/2 for k=0,1,2,3k=0,1,2,3, which give the four listed values.

Tier 3 · Hard

  1. 1. The roots of z5=32eiπ/2z^5=32e^{-i\pi/2} are plotted on an Argand diagram. Find all five roots in exponential form and determine the exact area of the regular pentagon they form.[6 marks]

    Answer

    • z=2ei(π/10+2kπ/5)z=2e^{i(-\pi/10+2k\pi/5)} for k=0,1,2,3,4k=0,1,2,3,4
    • Area =10sin(2π5)=10\sin\left(\dfrac{2\pi}{5}\right)

    Method: Each root has modulus 321/5=232^{1/5}=2 and argument (π/2+2kπ)/5=π/10+2kπ/5(-\pi/2+2k\pi)/5=-\pi/10+2k\pi/5. Joining each adjacent pair to the origin divides the pentagon into five congruent triangles, each with sides 2,22,2 and included angle 2π/52\pi/5. The total area is 5×12(2)(2)sin(2π/5)=10sin(2π/5)5\times\tfrac12(2)(2)\sin(2\pi/5)=10\sin(2\pi/5).

CP-2.11 · Use complex roots of unity to solve geometric problems.

  • The nnth roots of unity are 1,ω,ω2,,ωn11,\omega,\omega^2,\ldots,\omega^{n-1}, where ω=e2πi/n\omega=e^{2\pi i/n}, and they are vertices of a regular nn-gon.
  • Because ωn=1\omega^n=1 and ω1\omega\ne1, the geometric sum gives 1+ω++ωn1=01+\omega+\cdots+\omega^{n-1}=0.
  • Distances are moduli of differences, while multiplying every affix by ω\omega rotates the entire figure through 2π/n2\pi/n without changing lengths.
  • Do not cancel ω1\omega-1 in ωn1=(ω1)(1++ωn1)\omega^n-1=(\omega-1)(1+\cdots+\omega^{n-1}) without first stating that the chosen root is not 11.

Tier 1 · Easy

  1. 1. Let ω=e2πi/3\omega=e^{2\pi i/3}. Find the exact distance between the points with affixes 11 and ω\omega.[2 marks]

    Answer

    • 1ω=3|1-\omega|=\sqrt3

    Method: ω=12+32i\omega=-\tfrac12+\tfrac{\sqrt3}{2}i, so 1ω=3232i1-\omega=\tfrac32-\tfrac{\sqrt3}{2}i. Its modulus is (3/2)2+(3/2)2=3\sqrt{(3/2)^2+(\sqrt3/2)^2}=\sqrt3.

Tier 2 · Standard

  1. 1. Let ω=e2πi/3\omega=e^{2\pi i/3}. Points AA, BB and CC have affixes 11, ω\omega and ω2\omega^2. Prove that triangle ABCABC is equilateral.[4 marks]

    Answer

    • AB=BC=CA=3AB=BC=CA=\sqrt3, so triangle ABCABC is equilateral

    Method: From the easy chord calculation, AB=1ω=3AB=|1-\omega|=\sqrt3. Multiplication by ω\omega is a rotation through 2π/32\pi/3 and maps the displacement 1ω1-\omega to ωω2\omega-\omega^2, so AB=BCAB=BC. A second rotation gives BC=CABC=CA. Hence all three sides are equal.

Tier 3 · Hard

  1. 1. The fifth roots of unity are the vertices of a regular pentagon. Prove that the ratio of a diagonal to a side is 1+52\dfrac{1+\sqrt5}{2}.[7 marks]

    Answer

    • Diagonal : side =1+52=\dfrac{1+\sqrt5}{2}

    Method: Let ζ=e2πi/5\zeta=e^{2\pi i/5} and put u=ζ+ζ1=2cos(2π/5)u=\zeta+\zeta^{-1}=2\cos(2\pi/5). Dividing 1+ζ+ζ2+ζ3+ζ4=01+\zeta+\zeta^2+\zeta^3+\zeta^4=0 by ζ2\zeta^2 gives (ζ2+ζ2)+u+1=0(\zeta^2+\zeta^{-2})+u+1=0. Since ζ2+ζ2=u22\zeta^2+\zeta^{-2}=u^2-2, u2+u1=0u^2+u-1=0. As u>0u>0, u=(51)/2u=(\sqrt5-1)/2. A side has length 1ζ|1-\zeta| and a diagonal has length 1ζ2=1ζ1+ζ|1-\zeta^2|=|1-\zeta||1+\zeta|. Thus the ratio is 1+ζ|1+\zeta|. Its square is (1+ζ)(1+ζ1)=2+u=(3+5)/2(1+\zeta)(1+\zeta^{-1})=2+u=(3+\sqrt5)/2, whose positive square root is (1+5)/2(1+\sqrt5)/2.