CP 2.7 - Loci in the Argand diagram

CP 2.7 - Loci in the Argand diagram

Turn complex equations into geometric sets of points: circles, perpendicular bisectors and rays. This lesson covers the equality loci in CP 2.7; you will interpret their centres, directions and endpoints, and use a diagram to find points satisfying two conditions together.

A fixed distance gives a circle

Which complex number is exactly three units from 2−i2-\mathrm{i} and lies directly above it? In complex notation the conditions are ∣z−(2−i)∣=3|z-(2-\mathrm{i})|=3 and arg⁡(z−(2−i))=π/2\arg(z-(2-\mathrm{i}))=\pi/2. You will solve them by drawing a circle and a ray.

First look at the expression inside the modulus. If z=5+3iz=5+3\mathrm{i}, then z−(2−i)=3+4iz-(2-\mathrm{i})=3+4\mathrm{i}, whose modulus is 55. The subtraction gives the displacement from the fixed point 2−i2-\mathrm{i} to zz, and the modulus measures its length.

You already know

The arrow from the point for aa to the point for zz represents z−az-a, and its length is ∣z−a∣|z-a|. From A-level Mathematics, a circle with centre (h,k)(h,k) and radius rr has equation (x−h)2+(y−k)2=r2(x-h)^2+(y-k)^2=r^2; a perpendicular bisector passes through a segment's midpoint at right angles to it.

A condition on zz can describe many points rather than a single answer.

Locus

A locus is the set of all points satisfying a stated condition. For example, the points at distance 33 from a fixed point form a circle's circumference. The interior is not part of that fixed-distance locus: its points are closer than 33.

Since z−az-a measures a displacement from aa, the fixed point aa becomes the centre of the circle.

A circle in complex notation

For fixed a=h+ika=h+\mathrm{i}k and real r>0r>0,

∣z−a∣=r⟺(x−h)2+(y−k)2=r2|z-a|=r \quad\Longleftrightarrow\quad (x-h)^2+(y-k)^2=r^2

The locus is the circle with centre (h,k)(h,k) and radius rr. If r=0r=0, the locus is the single point aa; if r<0r<0, it is empty.

Not in the formula booklet: learn it.

The sign inside the bracket is best read by rewriting it as z−az-a, rather than by trying to spot a centre from individual signs.

[DIAGRAM: asset_name: A circle centred away from the origin; asset_slug: 9fm0-locus-circle; caption: The modulus of z minus a is the distance from a to z; description: Equal-scale Argand axes show a circle with centre A at (2,minus 1) and radius 3. A point Z on the circle is at (2 plus 3 over root 2, minus 1 plus 3 over root 2). A blue arrow from A to Z is labelled z minus a, and its length is labelled 3. A is labelled a equals 2 minus i.]
The modulus of z minus a is the distance from a to z

Worked example 1: finding the centre and radius

Question. Describe the locus ∣z−(2−i)∣=3|z-(2-\mathrm{i})|=3 and give its Cartesian equation.

Plan. Read the fixed complex number as the centre, then write z=x+iyz=x+\mathrm{i}y inside the modulus.

z−(2−i)=(x−2)+i(y+1)subtract both parts∣z−(2−i)∣2=(x−2)2+(y+1)2squared distance(x−2)2+(y+1)2=9square radius\begin{aligned} z-(2-\mathrm{i})&=(x-2)+\mathrm{i}(y+1) && \text{subtract both parts} \\ |z-(2-\mathrm{i})|^2&=(x-2)^2+(y+1)^2 && \text{squared distance} \\ (x-2)^2+(y+1)^2&=9 && \text{square radius} \end{aligned}

Why this step? The centre is the number being subtracted, 2−i2-\mathrm{i}, so its coordinates are (2,−1)(2,-1).

Answer. A circle with centre (2,−1)(2,-1), radius 33, and equation (x−2)2+(y+1)2=9(x-2)^2+(y+1)^2=9.

Check. The rightmost point is 5−i5-\mathrm{i}; subtracting 2−i2-\mathrm{i} gives 33, whose modulus is 33.

Change only the sign before the fixed number. The radius stays the same, but the centre moves to the negative of the old centre.

Worked example 2: a plus sign inside the modulus

Question. Describe ∣z+(2−i)∣=3|z+(2-\mathrm{i})|=3 and give its Cartesian equation.

Plan. Rewrite the expression as z−(−2+i)z-(-2+\mathrm{i}), then read its centre and expand the squared distance.

z+(2−i)=z−(−2+i)identify the subtracted number=(x+2)+i(y−1)Cartesian displacement(x+2)2+(y−1)2=9square the modulus\begin{aligned} z+(2-\mathrm{i})&=z-(-2+\mathrm{i}) && \text{identify the subtracted number} \\ &=(x+2)+\mathrm{i}(y-1) && \text{Cartesian displacement} \\ (x+2)^2+(y-1)^2&=9 && \text{square the modulus} \end{aligned}

Why this step? A plus sign before a bracket changes the entire fixed number when you rewrite it as a subtraction, including its imaginary part.

Answer. A circle with centre (−2,1)(-2,1) and radius 33, with equation (x+2)2+(y−1)2=9(x+2)^2+(y-1)^2=9.

Check. At z=1+iz=1+\mathrm{i}, the expression inside the modulus is 33, so this rightmost point lies on the circle.

The radius is a distance rather than a squared distance.

Watch out

Wrong: “∣z−a∣=9|z-a|=9 has radius 33.” The modulus already is the distance, so the radius is 99. Its Cartesian equation has 8181 on the right. Take a square root only if the original condition is ∣z−a∣2=9|z-a|^2=9.

Read the centre carefully in this unbracketed expression.

Equal distances give a perpendicular bisector

Points equally far from two distinct fixed points lie on their perpendicular bisector, so an equality of two moduli usually describes a straight line.

Let AA represent aa and BB represent bb. The equation ∣z−a∣=∣z−b∣|z-a|=|z-b| says AZ=BZAZ=BZ. The midpoint of ABAB satisfies it, and every point on the perpendicular line through that midpoint does too. Conversely, the isosceles triangle AZBAZB puts ZZ on that line.

An equidistance locus

For distinct fixed complex numbers aa and bb,

∣z−a∣=∣z−b∣|z-a|=|z-b|

is the perpendicular bisector of the segment joining their points. Its Cartesian equation follows by squaring both non-negative distances and expanding. If a=ba=b, every complex number satisfies the equation instead.

Not in the formula booklet: learn it.

Here is the pleasant surprise in the algebra: both squared distances contain x2+y2x^2+y^2, so those terms cancel. Two expressions that look quadratic leave a linear equation. The geometry predicted the cancellation before you expanded a bracket.

[DIAGRAM: asset_name: Equal distances and a perpendicular bisector; asset_slug: 9fm0-locus-bisector; caption: Every point on the bisector is equally far from the two fixed points; description: Equal-scale Argand axes show A at (1,1), B at (5,3) and their midpoint M at (3,2). The blue segment AB has a sage perpendicular bisector 2x plus y equals 8. A sample point Z at (2,4) on the bisector is joined to A and B by equal clay dashed segments. A small right-angle marker is placed at the midpoint.]
Every point on the bisector is equally far from the two fixed points

Worked example 3: a sloping bisector

Question. Find the Cartesian equation of ∣z−(1+i)∣=∣z−(5+3i)∣|z-(1+\mathrm{i})|=|z-(5+3\mathrm{i})|, and describe the locus.

Plan. Square both distances, expand and cancel the quadratic terms.

(x−1)2+(y−1)2=(x−5)2+(y−3)2equal squared distancesx2−2x+1+y2−2y+1=x2−10x+25+y2−6y+9expand8x+4y=32cancel and collect2x+y=8simplify\begin{aligned} (x-1)^2+(y-1)^2&=(x-5)^2+(y-3)^2 && \text{equal squared distances} \\ x^2-2x+1+y^2-2y+1&=x^2-10x+25+y^2-6y+9 && \text{expand} \\ 8x+4y&=32 && \text{cancel and collect} \\ 2x+y&=8 && \text{simplify} \end{aligned}

Why this step? Both moduli are non-negative, so squaring preserves their equality and removes the square roots.

Answer. The line 2x+y=82x+y=8, the perpendicular bisector of the segment from (1,1)(1,1) to (5,3)(5,3).

Check. The midpoint (3,2)(3,2) satisfies 2x+y=82x+y=8. The segment has gradient 1/21/2; the line has gradient −2-2, so they are perpendicular.

Now change only the imaginary part of the second fixed point, making both fixed points level. The bisector becomes vertical, so a slope formula would be inconvenient.

Worked example 4: a vertical bisector

Question. Find and describe the locus ∣z−(1+i)∣=∣z−(5+i)∣|z-(1+\mathrm{i})|=|z-(5+\mathrm{i})|.

Plan. Square the distances and cancel the identical vertical terms.

(x−1)2+(y−1)2=(x−5)2+(y−1)2equal squared distancesx2−2x+1=x2−10x+25cancel vertical terms8x=24⟹x=3collect terms\begin{aligned} (x-1)^2+(y-1)^2&=(x-5)^2+(y-1)^2 && \text{equal squared distances} \\ x^2-2x+1&=x^2-10x+25 && \text{cancel vertical terms} \\ 8x&=24\quad\Longrightarrow\quad x=3 && \text{collect terms} \end{aligned}

Why this step? Squared-distance algebra handles a vertical line without ever dividing by a gradient or a coordinate difference.

Answer. The vertical line x=3x=3, through the midpoint (3,1)(3,1) and perpendicular to the horizontal segment joining the fixed points.

Check. At z=3+4iz=3+4\mathrm{i}, the displacements from the fixed points are 2+3i2+3\mathrm{i} and −2+3i-2+3\mathrm{i}, both with modulus 13\sqrt{13}.

Checking only the midpoint proves that one point is equidistant; it does not by itself establish the whole locus. Use the perpendicular-bisector description or the Cartesian equation for that.

Watch out

Wrong: “∣z−a∣=∣z−b∣|z-a|=|z-b| is the line joining aa and bb.” Most points on that joining line are closer to one endpoint. The correct locus crosses it at right angles through its midpoint.

Use the cancellation again for this pair of fixed points.

A fixed direction gives a ray

A fixed argument specifies a direction from a fixed point, so its locus is a ray with its starting point excluded.

For arg⁡(z−a)=β\arg(z-a)=\beta, the arrow starts at AA, the point for aa. It points at angle β\beta from the positive real direction. Its length can be anything positive. At z=az=a, the displacement is zero and has no argument, so the starting point never belongs to this locus.

Ray

A ray follows one direction from a fixed point, rather than continuing both ways as a whole line does. In an argument locus arg⁡(z−a)=β\arg(z-a)=\beta, the fixed point is excluded. For example, arg⁡(z−2)=0\arg(z-2)=0 gives the positive horizontal ray to the right of (2,0)(2,0), not the whole real axis.

You can describe the ray without using a gradient, which also works for a vertical direction.

An argument locus

For fixed aa and −π<β≤π-\pi<\beta\le\pi,

arg⁡(z−a)=β⟺z=a+t(cos⁡β+isin⁡β),t>0\arg(z-a)=\beta \quad\Longleftrightarrow\quad z=a+t(\cos\beta+\mathrm{i}\sin\beta),\qquad t>0

The angle is measured from a horizontal line pointing right at aa. The restriction t>0t>0 selects the correct direction and excludes aa.

Not in the formula booklet: learn it.

If a gradient is convenient, write the supporting line using tan⁡β\tan\beta, then select the correct half of it. Tangent repeats after π\pi, so the line equation alone loses the distinction between opposite rays.

[DIAGRAM: asset_name: Opposite argument rays on the same line; asset_slug: 9fm0-locus-rays; caption: Opposite directions give different rays even when the supporting line is the same; description: Equal-scale axes show an open point A at (2,minus 1). From it a blue ray points northeast at pi over 4 and a clay ray points southwest at minus 3pi over 4. Both lie on y equals x minus 3. Labels identify x greater than 2 on the blue ray and x less than 2 on the clay ray; the starting point is excluded.]
Opposite directions give different rays even when the supporting line is the same

Worked example 5: a ray with positive slope

Question. Describe the locus arg⁡(z−(2−i))=π/4\arg(z-(2-\mathrm{i}))=\pi/4, giving a Cartesian equation and the restriction that selects the ray.

Plan. Start at (2,−1)(2,-1), use gradient tan⁡(π/4)=1\tan(\pi/4)=1, then select the northeast direction.

y+1=(x−2)tan⁡π4line through the fixed pointy=x−3gradient 1x>2northeast ray\begin{aligned} y+1&=(x-2)\tan\frac\pi4 && \text{line through the fixed point} \\ y&=x-3 && \text{gradient }1 \\ x&>2 && \text{northeast ray} \end{aligned}

Why this step? The inequality chooses the half-line at angle π/4\pi/4; the opposite half has argument −3π/4-3\pi/4.

Answer. The ray y=x−3y=x-3, x>2x>2, beginning at the excluded point (2,−1)(2,-1) and pointing northeast.

Check. At z=3z=3, the displacement is 1+i1+\mathrm{i}, whose argument is π/4\pi/4.

Change only the argument by π\pi, to the opposite direction. The supporting line stays the same, but the inequality reverses.

Worked example 6: the opposite ray

Question. Describe arg⁡(z−(2−i))=−3π/4\arg(z-(2-\mathrm{i}))=-3\pi/4 in Cartesian terms.

Plan. Keep the supporting line and select points southwest of the fixed point.

tan⁡(−3π4)=1same line gradienty+1=x−2⟹y=x−3line through (2,−1)x<2southwest ray\begin{aligned} \tan\left(-\frac{3\pi}4\right)&=1 && \text{same line gradient} \\ y+1&=x-2\quad\Longrightarrow\quad y=x-3 && \text{line through }(2,-1) \\ x&<2 && \text{southwest ray} \end{aligned}

Why this step? The signs of both components of z−(2−i)z-(2-\mathrm{i}) must now be negative, despite the positive gradient.

Answer. The ray y=x−3y=x-3, x<2x<2, excluding (2,−1)(2,-1).

Check. At z=1−2iz=1-2\mathrm{i}, the displacement is −1−i-1-\mathrm{i}, whose principal argument is −3π/4-3\pi/4.

The supporting line must still be restricted to the stated direction.

Watch out

Wrong: arg⁡(z−(2−i))=π/4\arg(z-(2-\mathrm{i}))=\pi/4 gives the whole line y=x−3y=x-3. The opposite half has argument −3π/4-3\pi/4. The correct locus is y=x−3, x>2y=x-3,\ x>2; the starting point is excluded because its argument is undefined.

Axis directions are even simpler: argument zero gives a ray to the right, π\pi gives one to the left, π/2\pi/2 gives one upwards, and −π/2-\pi/2 gives one downwards. All start at aa and exclude it.

For the opening puzzle, arg⁡(z−(2−i))=π/2\arg(z-(2-\mathrm{i}))=\pi/2 means x=2x=2 and y>−1y>-1. On the circle, (y+1)2=9(y+1)^2=9, so y=2y=2 or y=−4y=-4. The upward ray keeps only y=2y=2: the required number is 2+2i2+2\mathrm{i}. A sketch stops the unwanted intersection surviving the algebra.

Exam tip

Show an argument locus as a ray, indicate its direction and leave an open starting point. If you give a Cartesian line equation, add the restriction selecting the correct half-line.

Choose the correct side of the fixed point in this second-quadrant direction.

Quick Recap

  • ∣z−a∣|z-a| is the distance from aa to zz; ∣z−a∣=r>0|z-a|=r>0 gives a circle centred at aa.
  • For distinct a,ba,b, ∣z−a∣=∣z−b∣|z-a|=|z-b| gives their perpendicular bisector; quadratic terms cancel when you find its equation.
  • arg⁡(z−a)=β\arg(z-a)=\beta gives a ray from aa, measured from the positive real direction, with aa excluded.
  • When conditions are combined, keep only the points on both loci and check any directional restrictions.

The opening circle meets the upward ray at z=2+2iz=2+2\mathrm{i}; the lower circle intersection is discarded because it points downwards.