Skip to main content
ExamExplained
NSW · Maths Extension 2
Maths Extension 2 study scene
§-Syllabus dot point
NSWMaths Extension 2Syllabus dot point

How do equations and inequalities in the complex variable describe curves and regions in the Argand plane?

Sketch curves and regions in the complex plane defined by conditions on modulus and argument, such as circles, perpendicular bisectors, rays and half-planes

A focused answer to the HSC Maths Extension 2 dot point on curves and regions in the Argand plane. Loci from modulus conditions (circles), perpendicular bisectors, argument rays, Apollonius circles and regions from inequalities, with labelled Argand diagrams, a stage-by-stage shaded-region build and verified worked examples.

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

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

Jump to a section
  1. What this dot point is asking
  2. Modulus conditions: circles and discs
  3. Equal distances: perpendicular bisectors
  4. Argument conditions: rays
  5. Combining conditions: building a region
  6. Ratio-of-distance loci (the Apollonius circle)
  7. Conditions mixing modulus and argument
  8. A reliable sketching method
  9. How exam questions ask about curves and regions

What this dot point is asking

NESA wants you to interpret conditions on a complex variable zz as geometric objects in the Argand plane. A modulus condition typically gives a circle or its interior; an argument condition gives a ray; an equality of two distances gives a perpendicular bisector. You must sketch the curve or region accurately, including whether boundaries are included. The skill is reading za|z - a| as "the distance from zz to the point aa" and arg(za)\arg(z - a) as "the angle of the arrow from aa to zz", then drawing what those constraints force.

Modulus conditions: circles and discs

Since zz0|z - z_0| is the distance from zz to the fixed point z0z_0, the equation

zz0=r|z - z_0| = r

is the set of points at distance rr from z0z_0, a circle of centre z0z_0 and radius rr. The corresponding inequalities give regions: zz0<r|z - z_0| < r is the open interior (boundary dashed and excluded), zz0r|z - z_0| \le r is the closed disc, and zz0>r|z - z_0| > r is the exterior.

To handle a condition like z1+2i=3|z - 1 + 2i| = 3, rewrite the inside as z(12i)z - (1 - 2i), so the centre is 12i1 - 2i and the radius is 33. Watch the sign: the centre is the value of z0z_0 that makes the bracket zero, which is the opposite sign to what appears after the minus.

The locus of a modulus equation is a circle The equation modulus of (z minus (1 + 2i)) equals 2 is a circle of centre 1 + 2i and radius 2 in the Argand plane. Re Im 1 2 3 2i 4i r = 2 1 + 2i |z - (1 + 2i)| = 2 O

Equal distances: perpendicular bisectors

The condition

za=zb|z - a| = |z - b|

says zz is equidistant from the points aa and bb. The locus of such points is the perpendicular bisector of the segment joining aa and bb. To find its Cartesian equation, write z=x+iyz = x + iy, square both moduli, and simplify; the squared terms x2x^2 and y2y^2 cancel, leaving a linear equation, confirming a straight line. Geometrically you can sketch it instantly: plot aa and bb, find the midpoint, and draw the line through it at right angles to abab.

The locus of equal distances is a perpendicular bisector The equation modulus of (z minus 4) equals modulus of (z minus 2i) is the perpendicular bisector of the segment joining the points 4 and 2i. Re Im a = 4 b = 2i midpoint |z-a| = |z-b| O

Argument conditions: rays

The condition

arg(zz0)=α\arg(z - z_0) = \alpha

fixes the angle of the vector from z0z_0 to zz. The locus is a ray (half-line) starting at z0z_0 and pointing in the direction α\alpha. The starting point z0z_0 itself is excluded, because arg0\arg 0 is undefined; mark it with an open circle. Only the half-line in the direction α\alpha counts, not the opposite direction (that would be argument α+π\alpha + \pi). An inequality such as 0arg(zz0)π20 \le \arg(z - z_0) \le \tfrac{\pi}{2} describes a wedge-shaped region between two rays.

The locus of an argument equation is a ray The equation argument of (z minus (1 + i)) equals pi over 4 is a ray starting at 1 + i (excluded) heading at 45 degrees to the positive real axis. Re Im 1 2 3 1i π/4 1 + i arg(z - (1+i)) = π/4 O

Combining conditions: building a region

Many problems intersect two conditions, and the reliable method is to draw each one separately, decide which boundaries are solid (included) or dashed (excluded), then shade only the overlap. The figure builds the 2024 HSC region z<3|z| < 3 and 0arg(zi)π20 \le \arg(z - i) \le \tfrac{\pi}{2} stage by stage.

Stage 1, the modulus condition. z<3|z| < 3 is the open interior of the circle of radius 33 centred at the origin. The inequality is strict, so the boundary circle is dashed and not part of the region.

Building a shaded region from two conditions, stage 1 The region defined by modulus of z less than 3 and 0 less than or equal to argument of (z minus i) less than or equal to pi over 2 is the part of the open disc of radius 3 lying in the quarter-plane with vertex at i bounded by the positive real and positive imaginary directions. Re Im O 3i 3 |z| < 3 Condition 1: open disc |z| < 3 (dashed, boundary excluded).

Stage 2, the argument condition. 0arg(zi)π20 \le \arg(z - i) \le \tfrac{\pi}{2} is the quarter-plane with vertex at ii, bounded below by the ray from ii in the positive real direction and on the left by the ray from ii in the positive imaginary direction. The inequalities are inclusive, so both rays are solid; the vertex ii is excluded (open circle) because arg0\arg 0 is undefined.

Building a shaded region from two conditions, stage 2 The region defined by modulus of z less than 3 and 0 less than or equal to argument of (z minus i) less than or equal to pi over 2 is the part of the open disc of radius 3 lying in the quarter-plane with vertex at i bounded by the positive real and positive imaginary directions. Re Im O 3i 3 i 0 ≤ arg(z - i) ≤ π/2 Condition 2: quarter-plane from i (solid rays, included).

Stage 3, shade the overlap. The answer is only where both conditions hold: the part of the quarter-plane from ii that lies strictly inside the circle. Its boundary is the two solid rays and the dashed arc, meeting at the open vertex ii. Always test one interior point if unsure which side to shade; here z=1+2iz = 1 + 2i satisfies both conditions, confirming the shaded piece.

Building a shaded region from two conditions, stage 3 The region defined by modulus of z less than 3 and 0 less than or equal to argument of (z minus i) less than or equal to pi over 2 is the part of the open disc of radius 3 lying in the quarter-plane with vertex at i bounded by the positive real and positive imaginary directions. Re Im O 3i 3 i region Answer: shade only the overlap of the two conditions.

For a sector of a disc such as z2|z| \le 2 and 0argzπ30 \le \arg z \le \tfrac{\pi}{3} the same routine gives a "pie slice"; for an annulus 1z31 \le |z| \le 3 it gives the ring between two concentric circles.

Ratio-of-distance loci (the Apollonius circle)

A condition of the form za=kzb|z - a| = k|z - b| with k1k \ne 1 does not give a line; it gives a circle, called an Apollonius circle. Square both sides into Cartesian form and the x2x^2 and y2y^2 terms survive (because the coefficient is 1k201 - k^2 \ne 0), so completing the square reveals a centre and radius. Only the balanced case k=1k = 1 collapses to the perpendicular bisector. Recognising whether a modulus condition produces a line or a circle is a common discriminating mark in HSC questions.

Conditions mixing modulus and argument

Some loci constrain both length and angle at once. The set z=2argz|z| = 2\arg z (with argz\arg z in radians) is a spiral, since the radius grows in proportion to the angle. More commonly you meet a half-line crossed with a circle, or an annulus 1z31 \le |z| \le 3 (the region between two concentric circles). For an annulus, shade between the two circles, drawing the inner and outer boundaries solid or dashed according to whether the inequalities are strict. Always test one convenient point (often the origin or z=1z = 1) to confirm you have shaded the correct side.

A reliable sketching method

For any locus question, follow a fixed routine. First, substitute z=x+iyz = x + iy if an algebraic equation is wanted, or interpret the modulus and argument geometrically if only a sketch is needed. Second, identify the type of object (circle, line, ray, region). Third, mark key features: centre and radius for a circle, the vertex and direction for a ray, intercepts for a line. Fourth, decide solid versus dashed boundaries from the strictness of the inequality. Finally, shade and verify with a test point.

How exam questions ask about curves and regions

  • "Sketch the locus / curve given by ...": identify the object from the form (zz0=r|z - z_0| = r circle, za=zb|z - a| = |z - b| line, arg()=α\arg(\,\cdot\,) = \alpha ray) and draw it with key features labelled.
  • "Find the Cartesian equation of the locus ...": substitute z=x+iyz = x + iy, square any moduli, and simplify.
  • "Sketch the region defined by ...": treat each inequality separately, decide solid/dashed boundaries, then shade the intersection.
  • "... the locus is a straight line. Find ...": this signals an equal-distance condition, so it is a perpendicular bisector.
  • "Find the point on the locus closest to / farthest from ...": usually the foot of a perpendicular (to a line) or a point on the line through the centre (for a circle).
  • "Find the greatest value of z|z| ... / argz\arg z ... subject to ...": an optimisation over a circle or region; sketch first, then read off the extreme point geometrically.

Exam-style practice questions

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

2024 HSC3 marksSketch the region defined by |z| < 3 and 0 <= arg(z - i) <= pi/2.
Show worked answer →

Build the region as the intersection of two conditions.

Condition 1, |z| < 3: the open interior of the circle of radius 3 centred at the origin O (boundary not included, so draw it dashed).

Condition 2, 0 <= arg(z - i) <= pi/2: the argument of (z - i) is the angle of the vector from the point i (that is, 0 + 1i) to z. Requiring this angle to lie between 0 and pi/2 inclusive selects the closed quarter-plane with vertex at i, bounded below by the ray from i in the positive x direction and on the left by the ray from i in the positive y direction. Both bounding rays are included.

The answer is the overlap: the part of that quarter-plane from vertex i that also lies strictly inside the circle |z| = 3.

Mark notes: 1 mark for the correct interior of |z| < 3, 1 mark for the correct wedge from i, 1 mark for shading only the intersection with the correct open and closed boundaries.

2021 HSC3 marksSketch the region of the complex plane defined by Re(z) >= Arg(z), where Arg(z) is the principal argument of z.
Show worked answer →

Write z = x + iy, so Re(z) = x and Arg(z) = theta is the principal argument in (-pi, pi].

The boundary is the curve x = theta, that is, the real part equals the angle. In polar terms a point at angle theta is included when x = r cos(theta) >= theta.

Features to capture on the sketch:

  • Near the positive x-axis theta is close to 0 and x > 0, so the condition holds: the region includes the positive real axis and a band around it.
  • As theta increases towards pi (upper half-plane) the requirement x >= theta becomes harder to satisfy, because x is bounded while theta grows, so the region narrows and is cut off by the boundary curve x = theta.
  • For theta < 0 (lower half-plane) the right-hand side theta is negative, so x >= theta holds over a much larger area; essentially the whole lower half-plane to the right of the boundary curve is included.

Shade the side of the boundary curve x = Arg(z) on which Re(z) is the larger quantity, including the boundary itself (since the relation is >=).

Mark notes: 1 mark for identifying the boundary Re(z) = Arg(z), 1 mark for correct behaviour in the upper versus lower half-plane, 1 mark for shading the correct closed region.

HSC 20223 marksThe locus |z - 2i| = |z - 4| is a straight line. Find its Cartesian equation, and hence determine the complex number on this locus that is closest to the origin.
Show worked answer →

Write z=x+iyz = x + iy. Then z2i2=x2+(y2)2|z - 2i|^2 = x^2 + (y - 2)^2 and z42=(x4)2+y2|z - 4|^2 = (x - 4)^2 + y^2. Setting them equal:

x2+y24y+4=x28x+16+y2x^2 + y^2 - 4y + 4 = x^2 - 8x + 16 + y^2.

Cancel x2x^2 and y2y^2: 4y+4=8x+16-4y + 4 = -8x + 16, so 8x4y=128x - 4y = 12, giving 2xy=32x - y = 3, i.e. y=2x3y = 2x - 3.

The closest point to the origin is the foot of the perpendicular from OO to this line. The line has gradient 22, so the perpendicular through OO has gradient 12-\tfrac12: y=12xy = -\tfrac12 x. Solve simultaneously: 12x=2x3-\tfrac12 x = 2x - 3, so 3=52x3 = \tfrac52 x, giving x=65x = \tfrac65 and y=35y = -\tfrac35.

The closest complex number is z=6535iz = \tfrac65 - \tfrac35 i.

Mark notes: 1 mark for squaring both moduli, 1 mark for the line 2xy=32x - y = 3, 1 mark for finding the foot of the perpendicular 6535i\tfrac65 - \tfrac35 i.

ExamExplained