Skip to main content
ExamExplained
TAS · Specialist Mathematics
Specialist Mathematics study scene
§-Syllabus dot point
TASSpecialist MathematicsSyllabus dot point

How do equations and inequalities in z describe lines, circles and regions on the Argand diagram?

Sketch curves and regions in the complex plane defined by modulus and argument conditions.

Loci from modulus and argument conditions, circles, perpendicular bisectors, rays and shaded regions on the Argand diagram, with worked examples for TCE Mathematics Specialised Unit 3.

Reviewed by: AI editorial process; not yet individually human-reviewed

Have a quick question? Jump to the Q&A page

What this dot point is asking

This dot point asks you to turn algebraic statements about a complex variable zz into pictures, and to sketch the set of all points satisfying them. The key translation, developed on the Argand diagram, is that za|z - a| is the distance from zz to the fixed point aa, and arg(za)\arg(z - a) is the direction from aa to zz.

Circles from a modulus condition

The equation za=r|z - a| = r says the distance from zz to the fixed point aa is constant and equal to rr. That is exactly the definition of a circle of radius rr centred at aa. If a=p+iqa = p + iq, writing z=x+iyz = x + iy gives

(xp)2+(yq)2=r2, (x - p)^2 + (y - q)^2 = r^2,

the familiar Cartesian circle. The corresponding region zar|z - a| \le r is the closed disc, and za>r|z - a| > r is everything outside the circle.

Perpendicular bisectors from equal distances

The equation za=zb|z - a| = |z - b| says zz is equidistant from the two fixed points aa and bb. The set of such points is the perpendicular bisector of the segment joining aa and bb. The inequality za<zb|z - a| < |z - b| is the half-plane of points closer to aa.

Rays from an argument condition

The equation arg(za)=θ\arg(z - a) = \theta fixes the direction from the point aa to zz. The locus is a ray (half-line) starting at aa, pointing at angle θ\theta to the positive real axis. The starting point aa itself is excluded, because arg(0)\arg(0) is undefined. A condition like αarg(za)β\alpha \le \arg(z - a) \le \beta describes a wedge-shaped region between two rays.

Combining conditions

Many questions intersect two loci, for example a circle and a ray, or shade the overlap of two regions. Sketch each condition separately in light pencil, then identify the common set. Note carefully whether each boundary is included (use a solid line for \le or \ge) or excluded (a dashed line for strict inequality), and whether endpoints of rays are open circles.

The weighted-distance circle (an Apollonius circle)

A condition like z+1=2zi|z + 1| = \sqrt{2}\,|z - i|, where the two distances are in a fixed ratio other than 11, is not a perpendicular bisector. It is still a circle, called an Apollonius circle, and the past question above shows the standard method: write z=x+iyz = x + iy, square both sides to clear the moduli, and complete the square. The ratio 2\sqrt{2} shifts the centre off the midpoint and sets a finite radius. Recognising that an unequal ratio of moduli gives a circle (while an equal ratio gives a line) saves you from expecting the wrong shape.

Why this matters

Loci questions reward the student who thinks geometrically first and reaches for algebra only to confirm. Knowing the core shapes (circle, perpendicular bisector, ray, Apollonius circle) on sight lets you sketch quickly and spend your time on the intersections and boundary details that earn the final marks.

Exam-style practice questions

Practice questions written in the style of TASC exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.

TCE 20234 marksShow that the set of points such that z+1=2zi|z + 1| = \sqrt{2}\,|z - i| is a circle. State the position of its centre and its radius.
Show worked answer →

Put z=x+iyz = x + iy. Then z+12=(x+1)2+y2|z + 1|^2 = (x + 1)^2 + y^2 and zi2=x2+(y1)2|z - i|^2 = x^2 + (y - 1)^2.

Square the given equation to remove the moduli: (x+1)2+y2=2[x2+(y1)2](x + 1)^2 + y^2 = 2\left[x^2 + (y - 1)^2\right].

Expand: x2+2x+1+y2=2x2+2y24y+2x^2 + 2x + 1 + y^2 = 2x^2 + 2y^2 - 4y + 2. Bring everything to one side: x22x+y24y+1=0x^2 - 2x + y^2 - 4y + 1 = 0.

Complete the square: (x1)21+(y2)24+1=0(x - 1)^2 - 1 + (y - 2)^2 - 4 + 1 = 0, so (x1)2+(y2)2=4(x - 1)^2 + (y - 2)^2 = 4. This is a circle with centre (1,2)(1, 2) and radius 22. Markers reward squaring to clear the moduli and completing the square to read off the centre and radius.

TCE 20234 marksShow on an Argand diagram the set of points {z:z+12zi}{z:Re(z)0}\{z : |z + 1| \ge \sqrt{2}\,|z - i|\} \cap \{z : \operatorname{Re}(z) \le 0\}. Include the coordinates of any significant points.
Show worked answer →

Square the first condition: (x+1)2+y22[x2+(y1)2](x + 1)^2 + y^2 \ge 2\left[x^2 + (y - 1)^2\right], which rearranges to x22x+y24y+10x^2 - 2x + y^2 - 4y + 1 \le 0, that is (x1)2+(y2)24(x - 1)^2 + (y - 2)^2 \le 4. So the first set is the closed disc centred (1,2)(1, 2) with radius 22.

The second condition Re(z)0\operatorname{Re}(z) \le 0 is the closed half-plane x0x \le 0.

The required region is the overlap: the part of the disc lying to the left of (and on) the imaginary axis. Find where the circle meets x=0x = 0: setting x=0x = 0 in x22x+y24y+1=0x^2 - 2x + y^2 - 4y + 1 = 0 gives y24y+1=0y^2 - 4y + 1 = 0, so y=2±3y = 2 \pm \sqrt{3}. The significant points are (0,2+3)(0, 2 + \sqrt{3}) and (0,23)(0, 2 - \sqrt{3}). Shade the small circular segment of the disc with x0x \le 0 between these two points, including the boundary arc and the chord on the imaginary axis.

ExamExplained