Skip to main content

Subsets of the complex plane: VCE Specialist Mathematics Unit 3

Syllabus dot point

“Description and sketching of subsets of the complex plane defined by conditions on modulus and argument, including circles ∣z−z0∣=r|z - z_0| = r, perpendicular bisectors ∣z−a∣=∣z−b∣|z - a| = |z - b|, rays arg⁡(z−z0)=α\arg(z - z_0) = \alpha, and the regions defined by the corresponding inequalities”

6 min read

Quick answer

Reading z=x+iyz = x + iy as the point (x,y)(x, y) turns conditions into loci. ∣z−z0∣=r|z - z_0| = r is a circle of radius rr centred at z0z_0, and ∣z−z0∣≤r|z - z_0| \le r is the closed disc. ∣z−a∣=∣z−b∣|z - a| = |z - b| is the perpendicular bisector of the segment joining aa and bb, since it is the set of points equidistant from the two. arg⁡(z−z0)=α\arg(z - z_0) = \alpha is a ray (half line) from z0z_0 at angle α\alpha, with the endpoint z0z_0 excluded because its argument is undefined. Inequalities replace the boundary curve with the region on one side of it.

Jump to a section
  1. What this dot point is asking
  2. Circles and discs
  3. Perpendicular bisectors
  4. Rays and arguments
  5. Combining conditions
  6. Examples in context
  7. Try this
  8. Exam-style questions

What this dot point is asking

VCAA wants you to take a condition on a complex number zz, expressed through its modulus or argument, and sketch the set of points it describes on the Argand plane. The standard loci are circles, perpendicular bisectors and rays; inequalities turn these boundaries into regions. The skill is translating algebra into geometry and back.

Circles and discs

The modulus ∣z−z0∣|z - z_0| is the distance from zz to the fixed point z0z_0. Setting that distance equal to a constant gives a circle:

∣z−z0∣=ris the circle of radius r centred at z0.|z - z_0| = r \quad\text{is the circle of radius } r \text{ centred at } z_0.

The inequalities describe regions: ∣z−z0∣<r|z - z_0| < r is the open interior (disc without boundary), ∣z−z0∣≤r|z - z_0| \le r is the closed disc, and ∣z−z0∣>r|z - z_0| > r is the exterior. To verify algebraically, write z=x+iyz = x + iy and z0=a+ibz_0 = a + ib; then ∣z−z0∣2=(x−a)2+(y−b)2=r2|z - z_0|^2 = (x - a)^2 + (y - b)^2 = r^2, the Cartesian circle.

Perpendicular bisectors

The condition ∣z−a∣=∣z−b∣|z - a| = |z - b| says zz is equidistant from the fixed points aa and bb. Geometrically this is the perpendicular bisector of the line segment joining aa and bb. The corresponding inequality ∣z−a∣<∣z−b∣|z - a| < |z - b| is the half plane of points closer to aa than to bb.

Rays and arguments

The argument arg⁡(z−z0)\arg(z - z_0) is the direction of the displacement from z0z_0 to zz. Fixing it,

arg⁡(z−z0)=α\arg(z - z_0) = \alpha

gives a ray: the half line starting at z0z_0 and pointing in the direction α\alpha. The point z0z_0 itself is excluded, since the argument of 00 is undefined; draw an open circle there. A pair of inequalities such as π6≤arg⁡(z−z0)≤π3\frac{\pi}{6} \le \arg(z - z_0) \le \frac{\pi}{3} describes the angular sector (wedge) between two rays.

Combining conditions

Many questions intersect two or more loci, for example a disc and a sector, and ask for the overlap region. Sketch each locus, shade the region each inequality allows, and take the common part. Mark boundary curves as solid when the inequality is non-strict (≤\le, ≥\ge) and dashed when strict (<<, >>).

Worked example

Sketching an intersection

Sketch the set of points satisfying both ∣z−(1+i)∣≤2|z - (1 + i)| \le 2 and 0≤arg⁡(z−(1+i))≤π20 \le \arg(z - (1 + i)) \le \frac{\pi}{2}.

First condition
∣z−(1+i)∣≤2|z - (1 + i)| \le 2 is the closed disc of radius 22 centred at the point (1,1)(1, 1). The boundary circle is drawn solid because the inequality is ≤\le.
Second condition
arg⁡(z−(1+i))\arg(z - (1 + i)) is the direction from the centre (1,1)(1, 1) to zz. Requiring it between 00 and π2\frac{\pi}{2} selects the directions from due east round to due north, that is, the upper-right quarter measured from (1,1)(1, 1). This is the quarter-disc sector.
Intersection
The region is the quarter of the disc lying up and to the right of the centre: bounded below by the horizontal ray arg⁡=0\arg = 0 (pointing right from (1,1)(1,1)), on the left by the vertical ray arg⁡=π2\arg = \frac{\pi}{2} (pointing up), and on the outside by the arc of the circle of radius 22.

Check a sample point. The point z=2+2iz = 2 + 2i has z−(1+i)=1+iz - (1 + i) = 1 + i, modulus 2≤2\sqrt{2} \le 2 and argument π4∈[0,π2]\frac{\pi}{4} \in \left[0, \frac{\pi}{2}\right], so it lies in the region, confirming the sketch.

Common exam traps
Including the ray endpoint
On arg⁡(z−z0)=α\arg(z - z_0) = \alpha the point z0z_0 is excluded. Mark it with an open circle.
Drawing a full line instead of a ray
An argument condition gives a half line, not the whole line; the opposite direction has argument α+π\alpha + \pi.
Wrong centre sign
∣z−z0∣=r|z - z_0| = r is centred at z0z_0, so ∣z+2−i∣=3|z + 2 - i| = 3 is centred at −2+i-2 + i, not 2−i2 - i.
Solid versus dashed boundaries
Strict inequalities exclude the boundary (dashed); non-strict include it (solid). Examiners check this.

Examples in context

Example 1. ∣z∣=3|z| = 3 is the circle of radius 33 centred at the origin.

Example 2. ∣z−2∣=∣z+2i∣|z - 2| = |z + 2i| is the perpendicular bisector of the segment from 22 to −2i-2i, that is, the points equidistant from (2,0)(2, 0) and (0,−2)(0, -2).

Try this

Q1. Describe the locus ∣z−4i∣=5|z - 4i| = 5. [2 marks]

  • Cue. Circle of radius 55 centred at (0,4)(0, 4).

Q2. Sketch arg⁡(z)=3π4\arg(z) = \frac{3\pi}{4}. [2 marks]

  • Cue. Ray from the origin (excluded) into the second quadrant at 135∘135^\circ.

Q3. Describe the region 1≤∣z∣≤21 \le |z| \le 2. [2 marks]

  • Cue. The closed annulus between circles of radius 11 and 22 about the origin.

Exam-style questions

Questions in the style of VCAA exam questions on this dot point, each with a worked answer. They are written by ExamExplained unless tagged "Past paper"; the year shows the paper a question is modelled on.

2025 VCAA-style1 mark
Sketch { z : z times conjugate(z) = 4, z in C } on the Argand plane.
Show worked answer →

Use the identity z times conjugate(z) = |z|^2 for any complex number z.

So the condition z times conjugate(z) = 4 becomes |z|^2 = 4, that is |z| = 2.

This is the set of all complex numbers whose distance from the origin is 2. The graph is a circle centred at the origin O with radius 2.

For the sketch, draw a full circle of radius 2 about the origin, passing through the points 2, -2, 2i and -2i on the axes.

Source: VCAA 2025 Specialist Mathematics Examination 2, Question 2a.

2023 VCAA-style1 mark
Find the equation of the ray that originates at the real root of z^7 - 1 = 0 and passes through the point represented by cis(2pi/7), in the form Arg(z - z0) = theta, where z0 is in C and theta is measured in radians in terms of pi.
Show worked answer →

The real root of z^7 - 1 = 0 is z = 1, so the ray originates there: z0 = 1.

The direction of the ray is the argument of the vector from z0 = 1 to the point cis(2pi/7) = (cos(2pi/7), sin(2pi/7)).

That vector is (cos(2pi/7) - 1) + i sin(2pi/7). Using cos(t) - 1 = -2sin^2(t/2) and sin(t) = 2sin(t/2)cos(t/2) with t = 2pi/7, the vector is proportional to (-sin(pi/7), cos(pi/7)), whose argument is pi/2 + pi/7.

Hence theta = pi/2 + pi/7 = 9pi/14, and the ray is Arg(z - 1) = 9pi/14.

Geometrically this is the standard result that a chord of the unit circle from angle 0 to angle alpha points at angle pi/2 + alpha/2.

Source: VCAA 2023 Specialist Mathematics Examination 2, Question 2 part d.ii.

Practise this

Sources & how we know this

ExamExplained