Skip to content

Geometric problems with complex numbers

Geometric problems with complex numbers

Moves of the plane as operations

When you move, stretch or turn a picture on a computer, you act on its vertices. If the vertices are complex numbers, each move is one operation:

  • translating by the vector w\displaystyle w: z↦z+w\displaystyle z\mapsto z+w;
  • stretching by k>0\displaystyle k>0 from the origin: z↦kz\displaystyle z\mapsto kz;
  • reflecting in the real axis: z↦zˉ\displaystyle z\mapsto\bar{z};
  • rotating about the origin by the angle θ\displaystyle \theta: z↦zcis⁡θ\displaystyle z\mapsto z\operatorname{cis}\theta; about z0\displaystyle z_0: z↦z0+(z−z0)cis⁡θ\displaystyle z\mapsto z_0+(z-z_0)\operatorname{cis}\theta.

For example, in a picture of a cat the ears are at A=1+6i\displaystyle {A}={1+6i} and B=2+6i\displaystyle {B}={2+6i}, and the tail at C=5+5i\displaystyle {C}={5+5i}. Multiplying by i\displaystyle i turns the picture a quarter turn about the origin: iA=−6+i\displaystyle {iA}={-6+i}, iB=−6+2i\displaystyle {iB}={-6+2i}, iC=−5+5i\displaystyle {iC}={-5+5i}.

The midpoint and the meeting point of the medians

As with vectors:

  • the midpoint of the segment z1z2\displaystyle z_1z_2: z1+z22\displaystyle \frac{z_1+z_2}{2};
  • the meeting point of the medians of the triangle z1z2z3\displaystyle z_1z_2z_3: z1+z2+z33\displaystyle \frac{z_1+z_2+z_3}{3};
  • z1z2z3z4\displaystyle z_1z_2z_3z_4 is a parallelogram exactly when z1+z3=z2+z4\displaystyle {z_1+z_3}={z_2+z_4}: the diagonals have the same midpoint.
Worked example: a sum of angles

In a product the angles add, so a product can work out a sum of angles. The example below proves tan⁡−11+tan⁡−112+tan⁡−113=π2\displaystyle {\tan^{-1}1+\tan^{-1}\frac{1}{2}+\tan^{-1}\frac{1}{3}}={\frac{\pi}{2}}.

  • The angles of 1+i\displaystyle 1+i, 2+i\displaystyle 2+i and 3+i\displaystyle 3+i are tan⁡−11\displaystyle \tan^{-1}1, tan⁡−112\displaystyle \tan^{-1}\frac{1}{2} and tan⁡−113\displaystyle \tan^{-1}\frac{1}{3} – all in the first quadrant.
  • The angle of the product is the sum of the angles.
  • (1+i)(2+i)(3+i)=(1+3i)(3+i)=10i\displaystyle {(1+i)(2+i)(3+i)}={(1+3i)(3+i)}={10i}, and the angle of 10i\displaystyle 10i is π2\displaystyle \frac{\pi}{2}.
  • The sum is between 0\displaystyle 0 and 3π2\displaystyle \frac{3\pi}{2}, so it is π2\displaystyle \frac{\pi}{2} itself, not another π2+2kπ\displaystyle \frac{\pi}{2}+2k\pi.
Exercise 1

The cat’s points are A=1+6i\displaystyle {A}={1+6i}, B=2+6i\displaystyle {B}={2+6i} and C=5+5i\displaystyle {C}={5+5i}.
Find the new point of the tail C\displaystyle C after the move, in algebraic form.

a

A reflection in the real axis, then a translation by the vector −2+3i\displaystyle -2+3i.

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

    b

    A half turn about A\displaystyle A.

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

      c

      A stretch by 2 from the origin, then a quarter turn about the origin clockwise.

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

        Exercise 2

        ABCD\displaystyle ABCD is a square, its vertices anticlockwise.
        A=1+2i\displaystyle {A}={1+2i} and B=5+3i\displaystyle {B}={5+3i}.
        Find C\displaystyle C and D\displaystyle D.

        a

        C\displaystyle C

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

          b

          D\displaystyle D

            / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

            / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

            Exercise 3

            The vertices of a triangle are 1+i\displaystyle 1+i, 5+2i\displaystyle 5+2i and 3+6i\displaystyle 3+6i.
            Find the meeting point of the medians.

              / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

              / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

              Exercise 4

              Prove that in a parallelogram the sum of the squares of the diagonals equals the sum of the squares of the sides: in the parallelogram with vertices 0\displaystyle 0, z1\displaystyle z_1, z1+z2\displaystyle z_1+z_2, z2\displaystyle z_2, show that ∣z1+z2∣2+∣z1−z2∣2=2∣z1∣2+2∣z2∣2\displaystyle {|z_1+z_2|^2+|z_1-z_2|^2}={2|z_1|^2+2|z_2|^2}.
              Hint: ∣w∣2=w⋅wˉ\displaystyle {|w|^2}={w\cdot\bar{w}}.

                / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

                / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

                Exercise 5

                z1\displaystyle z_1, z2\displaystyle z_2 and z3\displaystyle z_3 are the vertices of an equilateral triangle, anticlockwise, and ω=cis⁡2π3\displaystyle {\omega}={\operatorname{cis}\frac{2\pi}{3}}.
                Explain why z3−z1=(z2−z1)cis⁡π3\displaystyle {z_3-z_1}={(z_2-z_1)\operatorname{cis}\frac{\pi}{3}}, and show that z1+ωz2+ω2z3=0\displaystyle {z_1+\omega z_2+\omega^2z_3}={0}.