Pj18–Pj20 - Geometry on the Argand diagram

Pj18–Pj20 - Geometry on the Argand diagram

Pj18 turns multiplication into an enlargement and a rotation, while Pj19 places roots of unity on the Argand diagram. Pj20 combines these ideas with complex differences and moduli to solve geometrical problems, including the side and diagonal lengths of regular polygons.

Multiplication rotates and enlarges

Why is a regular pentagon's diagonal longer than its side by exactly (1+5)/2(1+\sqrt5)/2? Complex numbers can reveal that ratio without finding the Cartesian coordinates of all five vertices. First we need to see multiplication as a movement in the plane.

You already know

For non-zero complex numbers, moduli multiply and arguments add. The modulus ∣b−a∣|b-a| is the distance between the points representing aa and bb, because b−ab-a is the vector displacement from the first point to the second.

Multiplying any point zz by q=2eiπ/3q=2e^{i\pi/3} doubles its distance from the origin and turns its direction anticlockwise through π/3\pi/3. The same multiplier acts on every point, so it describes one transformation of the whole plane.

[DIAGRAM: asset_name: Multiplication by one plus i; asset_slug: h645_b011_multiplication; caption: Multiplying by one plus i enlarges distances by square root two and rotates by pi over four; description: An equal-scale Argand diagram shows z equals 2 minus i and its image w equals 3 plus i. Blue and clay arrows from the origin show their position vectors. A sage arc marks an anticlockwise angle pi over 4 between the vectors. A side panel gives q equals 1 plus i equals square root two times exp of i pi over 4, the input modulus square root five, and image modulus square root ten.]
Multiplying by one plus i enlarges distances by square root two and rotates by pi over four

Geometry of complex multiplication

Multiplication by q=reiθq=re^{i\theta}, with r>0r>0, is an enlargement of scale factor rr and a rotation through θ\theta, both about the origin:

w=qz,∣w∣=r∣z∣,arg⁡w=arg⁡z+θ(mod2π)w=qz,\qquad |w|=r|z|,\qquad \arg w=\arg z+\theta\pmod{2\pi}

A positive angle is anticlockwise. The origin is fixed.

Not in the formula booklet: learn it.

For r=1r=1 this is a pure rotation; for θ=0\theta=0 it is a pure enlargement. Multiplication by ii turns through π/2\pi/2, by −1-1 through π\pi, and by −i-i through −π/2-\pi/2. Multiplication by 00 collapses every point to the origin and has no rotation angle.

Worked example 1: enlargement and anticlockwise rotation

Question. The transformation w=(1+i)zw=(1+i)z maps the point z=2−iz=2-i to ww. Find ww and specify the transformation geometrically.

Plan. Multiply in Cartesian form for the image, and express the multiplier in exponential form for the geometry.

w=(1+i)(2−i)=2−i+2i−i2expand=3+ii2=−11+i=2 eiπ/4multiplier’s modulus and argument\begin{aligned} w&=(1+i)(2-i)=2-i+2i-i^2 && \text{expand} \\ &=3+i && i^2=-1 \\ 1+i&=\sqrt2\,e^{i\pi/4} && \text{multiplier's modulus and argument} \end{aligned}

Why this step? The transformation is determined by 1+i1+i, not by the argument of the particular image 3+i3+i.

Answer. w=3+iw=3+i. The transformation is an enlargement of scale factor 2\sqrt2 and an anticlockwise rotation through π/4\pi/4, both about the origin.

Check. ∣2−i∣=5|2-i|=\sqrt5, ∣3+i∣=10|3+i|=\sqrt{10}, so their ratio is 2\sqrt2. Also arctan⁡(1/3)+arctan⁡(1/2)=π/4\arctan(1/3)+\arctan(1/2)=\pi/4.

Change only the sign of the multiplier's imaginary part. Its modulus is unchanged, but the direction of rotation reverses.

Worked example 2: a clockwise rotation

Question. Find the image of z=2−iz=2-i under w=(1−i)zw=(1-i)z, and specify the transformation.

Plan. Expand the product, then find the modulus and principal argument of 1−i1-i.

w=(1−i)(2−i)=2−i−2i+i2expand=1−3ii2=−11−i=2 e−iπ/4fourth quadrant\begin{aligned} w&=(1-i)(2-i)=2-i-2i+i^2 && \text{expand} \\ &=1-3i && i^2=-1 \\ 1-i&=\sqrt2\,e^{-i\pi/4} && \text{fourth quadrant} \end{aligned}

Why this step? A negative argument means clockwise rotation. Conjugating the multiplier reverses the rotation, not the enlargement.

Answer. w=1−3iw=1-3i, with enlargement scale factor 2\sqrt2 and clockwise rotation π/4\pi/4, both about the origin.

Check. ∣1−3i∣=10=2 ∣2−i∣|1-3i|=\sqrt{10}=\sqrt2\,|2-i|, as before.

Complex differences let you use the same idea about a different centre. To rotate a point zz about aa, first form the displacement z−az-a, multiply it, then add aa back: w=a+q(z−a)w=a+q(z-a). This derived construction is not in the formula booklet: learn the displacement idea. For example, with a=1+ia=1+i, z=3+iz=3+i and q=iq=i, the image is 1+i+i(2)=1+3i1+i+i(2)=1+3i.

Watch out

Wrong: multiplying by −2-2 is an enlargement of scale factor −2-2 with no rotation in the modulus-argument description.

Right: write −2=2eiπ-2=2e^{i\pi}: scale factor 22, rotation π\pi, about the origin. The modulus is always positive for a non-zero multiplier.

Specify the centre as well as the angle and scale factor; it is part of the transformation.

Roots of unity on the unit circle

“Unity” means 11, so the nn-th roots of unity solve zn=1z^n=1. Their modulus is 11, their first root is 11, and successive roots are separated by 2π/n2\pi/n. They give a ready-made regular polygon on the unit circle.

Roots of unity

For a positive integer nn, the roots of zn=1z^n=1 are

z=e2kπi/n,k=0,1,2,…,n−1z=e^{2k\pi i/n},\qquad k=0,1,2,\ldots,n-1

In the formula booklet.

To represent them, draw equal-scale Re and Im axes, put 11 on the positive real axis, and space all nn points round the unit circle. Label points on the axes explicitly; their positions alone do not communicate the scale.

Worked example 3: sixth roots of unity

Question. Find all sixth roots of unity in Cartesian form and describe their Argand-diagram arrangement.

Plan. Use angles kπ/3k\pi/3, then evaluate the six unit-circle points.

z6=1 ⟹ zk=ekπi/3k=0,…,5z0=1,z1=12+32iz2=−12+32i,z3=−1z4=−12−32i,z5=12−32i\begin{aligned} z^6=1&\ \Longrightarrow\ z_k=e^{k\pi i/3} && k=0,\ldots,5 \\ z_0&=1,\qquad z_1=\frac12+\frac{\sqrt3}{2}i \\ z_2&=-\frac12+\frac{\sqrt3}{2}i,\qquad z_3=-1 \\ z_4&=-\frac12-\frac{\sqrt3}{2}i,\qquad z_5=\frac12-\frac{\sqrt3}{2}i \end{aligned}

Why this step? The exponent identifies the angle, not the point's imaginary part. Evaluate both cosine and sine to get each Cartesian number.

Answer. The six listed points form a regular hexagon centred at the origin, with circumradius 11 and vertices at 11 and −1-1 on the real axis.

Check. Each modulus is 11; multiplying each argument by 66 gives a whole number of full turns, so every sixth power is 11.

Change the root degree from 66 to 88. The circle remains the same size; only the angular spacing changes.

Worked example 4: eighth roots of unity

Question. Represent the eighth roots of unity by giving their exponential forms and identifying all roots on the axes.

Plan. Divide a full turn into eight equal angles, then identify multiples of π/2\pi/2.

z8=1 ⟹ zk=ekπi/4k=0,…,7k=0,2,4,6 ⟹ zk=1,i,−1,−iaxis pointsk=1,3,5,7 ⟹ zk=±1±i2four independent sign pairs\begin{aligned} z^8=1&\ \Longrightarrow\ z_k=e^{k\pi i/4} && k=0,\ldots,7 \\ k=0,2,4,6&\ \Longrightarrow\ z_k=1,i,-1,-i && \text{axis points} \\ k=1,3,5,7&\ \Longrightarrow\ z_k=\frac{\pm1\pm i}{\sqrt2} && \text{four independent sign pairs} \end{aligned}

Why this step? Every second vertex is an axis point. Including k=8k=8 as a ninth root would repeat 11.

Answer. The points ekπi/4e^{k\pi i/4}, k=0,…,7k=0,\ldots,7, form a regular octagon on the unit circle. The axis roots are 11, ii, −1-1, −i-i.

Check. For an off-axis root, ((1+i)/2)2=i((1+i)/\sqrt2)^2=i, so its eighth power is i4=1i^4=1.

[DIAGRAM: asset_name: Sixth and eighth roots of unity; asset_slug: h645_b011_unity; caption: Changing the root degree changes the angular spacing but keeps every root on the unit circle; description: Two equal-scale Argand diagrams compare the sixth roots of unity, a regular hexagon with 1 and minus 1 labelled on the real axis and angle spacing pi over 3, with the eighth roots of unity, a regular octagon with 1, i, minus 1 and minus i labelled on the axes and angle spacing pi over 4.]
Changing the root degree changes the angular spacing but keeps every root on the unit circle

If ω=e2πi/n\omega=e^{2\pi i/n}, the vertices are 1,ω,…,ωn−11,\omega,\ldots,\omega^{n-1} in anticlockwise order. This notation is particularly useful when only relationships between vertices matter. An arbitrary non-real root need not generate all vertices by repeated multiplication: for example, successive powers of −1-1 visit only 11 and −1-1, although −1-1 is an eighth root of unity.

Exam tip

An Argand sketch must show all the roots, their common circle centred at the origin, and enough exact labels to fix the scale and orientation. Label any real or imaginary axis roots rather than leaving them as unlabelled dots.

For a pentagon, most coordinates are less familiar. Exponential notation still describes every point exactly.

Watch out

Wrong: z8=1z^8=1 has nine distinct roots from k=0,…,8k=0,\ldots,8. The last value repeats the first, since e2πi=1e^{2\pi i}=1. The correct distinct list uses k=0,…,7k=0,\ldots,7.

Stop before a full turn repeats the first vertex.

Polygon lengths from complex differences

A point's modulus measures its distance from the origin. To find the distance between two other points, subtract their complex numbers first. If the points are aa and bb, the required length is ∣b−a∣|b-a|, not ∣b∣−∣a∣|b|-|a|.

For consecutive vertices 11 and ω=e2πi/n\omega=e^{2\pi i/n} on a unit regular polygon,

∣ω−1∣2=(ω−1)(ω−1−1)ω∗=ω−1=2−(ω+ω−1)expand=2−2cos⁡2πnpair conjugates=4sin⁡2πndouble-angle identity\begin{aligned} |\omega-1|^2 &=(\omega-1)(\omega^{-1}-1) && \omega^*=\omega^{-1} \\ &=2-(\omega+\omega^{-1}) && \text{expand} \\ &=2-2\cos\frac{2\pi}{n} && \text{pair conjugates} \\ &=4\sin^2\frac\pi n && \text{double-angle identity} \end{aligned}

The length is positive, and sin⁡(π/n)>0\sin(\pi/n)>0 for n≥3n\ge3, so a side has length 2sin⁡(π/n)2\sin(\pi/n). Scaling to circumradius R>0R>0 multiplies the length by RR. More generally, a chord joining vertices kk steps apart has length 2R∣sin⁡(kπ/n)∣2R|\sin(k\pi/n)|. These chord formulae are not in the formula booklet: learn the difference-and-modulus derivation.

[DIAGRAM: asset_name: Side and diagonal of a unit pentagon; asset_slug: h645_b011_pentagon; caption: Complex differences distinguish a pentagon side from a diagonal; description: An equal-scale Argand diagram shows the fifth roots of unity as a regular pentagon, with A at 1, B at omega, C at omega squared, D at omega cubed and E at omega to the fourth. The side AB is blue and labelled s equals modulus of omega minus 1. The diagonal AC is clay and labelled d equals modulus of omega squared minus 1. A side panel shows omega equals exp of 2 pi i over 5, side length 2 sin pi over 5 and diagonal-to-side ratio modulus of 1 plus omega equals the golden ratio.]
Complex differences distinguish a pentagon side from a diagonal

The highlighted side and diagonal share their starting vertex. That makes subtracting 11 the natural first step in both calculations.

Worked example 5: a pentagon's side

Question. Let ω=e2πi/5\omega=e^{2\pi i/5}. The points 11, ω\omega, ω2\omega^2, ω3\omega^3, ω4\omega^4 form a regular pentagon. Show that its side length is 2sin⁡(π/5)2\sin(\pi/5).

Plan. Subtract the complex numbers of consecutive vertices and take the modulus.

s2=∣ω−1∣2distance between consecutive vertices=(cos⁡2π5−1)2+sin⁡22π5Cartesian modulus=2−2cos⁡2π5cos⁡2α+sin⁡2α=1=4sin⁡2π5cos⁡2α=1−2sin⁡2αs=2sin⁡π5s>0\begin{aligned} s^2&=|\omega-1|^2 && \text{distance between consecutive vertices} \\ &=\left(\cos\frac{2\pi}5-1\right)^2+\sin^2\frac{2\pi}5 && \text{Cartesian modulus} \\ &=2-2\cos\frac{2\pi}5 && \cos^2\alpha+\sin^2\alpha=1 \\ &=4\sin^2\frac\pi5 && \cos2\alpha=1-2\sin^2\alpha \\ s&=2\sin\frac\pi5 && s>0 \end{aligned}

Why this step? Both vertices have modulus 11, but their distance is not 1−11-1. Subtracting the complex numbers retains their different directions.

Answer. s=2sin⁡(π/5)s=2\sin(\pi/5), as required.

Check. The central angle is 2π/52\pi/5. Bisecting the isosceles triangle gives half-side sin⁡(π/5)\sin(\pi/5) with hypotenuse 11, agreeing with the result.

Now change the second vertex from ω\omega to ω2\omega^2. This replaces a side by a diagonal while keeping the same pentagon.

Worked example 6: the exact diagonal-to-side ratio

Question. For the same pentagon, determine the ratio of a diagonal length dd to the side length ss.

Plan. Factor the quotient of the complex differences, then use the zero sum of fifth roots of unity to evaluate it.

ds=∣ω2−1∣∣ω−1∣=∣ω+1∣ω2−1=(ω−1)(ω+1)(ds)2=(1+ω)(1+ω−1)=2+tt=ω+ω−1\begin{aligned} \frac ds&=\frac{|\omega^2-1|}{|\omega-1|}=|\omega+1| && \omega^2-1=(\omega-1)(\omega+1) \\ \left(\frac ds\right)^2&=(1+\omega)(1+\omega^{-1})=2+t && t=\omega+\omega^{-1} \end{aligned}

Why this step? Factoring cancels the side displacement before taking its modulus, so the required ratio depends on one short expression.

The five roots sum to zero. Divide their sum by ω2\omega^2:

ω−2+ω−1+1+ω+ω2=0(t2−2)+t+1=0ω2+ω−2=t2−2t2+t−1=0t=−1+52t=2cos⁡(2π/5)>0(ds)2=3+52=(1+52)2\begin{aligned} \omega^{-2}+\omega^{-1}+1+\omega+\omega^2&=0 \\ (t^2-2)+t+1&=0 && \omega^2+\omega^{-2}=t^2-2 \\ t^2+t-1&=0 \\ t&=\frac{-1+\sqrt5}{2} && t=2\cos(2\pi/5)>0 \\ \left(\frac ds\right)^2&=\frac{3+\sqrt5}{2} =\left(\frac{1+\sqrt5}{2}\right)^2 \end{aligned}

Answer. ds=1+52\dfrac ds=\dfrac{1+\sqrt5}{2}, taking the positive square root because these are lengths.

Check. The chord formula gives d/s=sin⁡(2π/5)/sin⁡(π/5)=2cos⁡(π/5)≈1.618d/s=\sin(2\pi/5)/\sin(\pi/5)=2\cos(\pi/5)\approx1.618, agreeing with the exact ratio.

The opening ratio is the golden ratio. Here it arises because a fifth-root relation becomes a quadratic after pairing reciprocal powers. A five-sided shape has hidden a quadratic equation inside its symmetry.

Problem-solving

For a length, form a difference and take its modulus. For an angle or a rotation, form a quotient of displacements. Factoring first often removes most of the algebra.

For example, an equilateral triangle on the segment from aa to bb can be constructed with third vertex a+eiπ/3(b−a)a+e^{i\pi/3}(b-a), or the clockwise version. Both new sides have length ∣b−a∣|b-a| because multiplication by eiπ/3e^{i\pi/3} preserves lengths; the angle at aa is π/3\pi/3. With a=1a=1 and b=3b=3, the third vertices are 2±3 i2\pm\sqrt3\,i. This is the same displacement idea used for polygon sides, now building a shape rather than measuring one.

Watch out

Wrong: ∣ω−1∣=∣ω∣−1=0|\omega-1|=|\omega|-1=0. Modulus does not distribute over subtraction: the vertices have different directions. The correct side length is ∣ω−1∣=2sin⁡(π/5)>0|\omega-1|=2\sin(\pi/5)>0 for the pentagon.

Subtract the complex positions before measuring the next distance.

Quick Recap

  • Multiplication by reiθre^{i\theta} enlarges by rr and rotates by θ\theta, about the origin. Use displacements to work about another centre.
  • The nn-th roots of unity are e2kπi/ne^{2k\pi i/n}, forming equally spaced points on the unit circle, including 11.
  • The distance from aa to bb is ∣b−a∣|b-a|. For a regular polygon of circumradius RR, a side has length 2Rsin⁡(π/n)2R\sin(\pi/n).
  • Pairing reciprocal powers can turn polygon symmetry into a real algebraic equation.

The pentagon's diagonal-to-side ratio is (1+5)/2(1+\sqrt5)/2, found by factoring complex differences and using the sum of fifth roots of unity.