Complex Locus Question

My Year 12 Specialist students are working on complex loci again. The following type of question always creates confusion.

Let z \in \mathbb{C}, w_1=1+i, and w_2=1-i
(a) Show that the locus of points satisfying

    \begin{equation*}arg(z-w_1)-arg(z-w_2)=\frac{\pi}{6}\end{equation}

is the arc of a circle.
(b) Find the centre and radius of the circle, expressing your answers in exact form.

arg(z-w_1) is the angle the vector from w_1 to z makes with the positive x- axis, likewise for arg(z-w_2).

I am going to plot a possible z and try to see the geometry that works.

We want arg(z-w_1)-arg(z-w_2)=\frac{\pi}{6}

I am going to take advantage of some triangle geometry

Using the External Angle Theorem, we know \alpha=\beta+\theta

    \begin{equation*}arg(z-w_1)-arg(z-w_2)=(\alpha+\frac{\pi}{2})-(\beta+\frac{\pi}{2}0=\alpha-\beta=\theta\end{equation}

Therefore \theta=\frac{\pi}{6}

So we want all of the z values that have an angle of \frac{\pi}{6}

Now we are going to use some circle geometry -The angle at the circumference subtended by the same arc are congruent. So we need to find a circle that has those three points (z, w_1 and w_2) on the circumference.

Hence the locus is

Now we need to find the radius and centre of the circle.

Using another circle theorem, the angle at the centre is twice the angle at the circumference.

The triangle must be equilateral (it is isosceles with a vertex angle of \frac{\pi}{3})

Hence the radius is 2.

h=\sqrt{2^2-1^2}=\sqrt{3}

Hence the centre is (-\sqrt{3}+1, 0)

Leave a Comment

Filed under Circle Theorems, Complex Numbers, Geometry, Interesting Mathematics, Pythagoras, Sketching Complex Regions, Year 12 Specialist Mathematics

Leave a Reply

Your email address will not be published. Required fields are marked *