Logo
Published on

Ultimate Guide to Describing Lines, Curves, and Regions in the Complex Plane

Authors
  • avatar
    Name
    Vu Hung
    Twitter

Introduction

In the final section of our Complex Numbers series, we bridge the gap between algebraic equations and visual geometry. Describing Lines, Curves, and Regions requires you to look at a complex equation involving zz (like z2=3|z - 2| = 3) and immediately visualize the geometric shape it creates on the Argand diagram. By translating modulus and argument conditions into distances and angles, you will be able to sketch circles, rays, perpendicular bisectors, and shaded regions with ease.

Executive Summary

This guide covers the standard geometric loci in the complex plane:

  • Circles: zz0=r|z - z_0| = r represents a circle centered at z0z_0 with radius rr.
  • Perpendicular Bisectors: zz1=zz2|z - z_1| = |z - z_2| represents a line exactly halfway between two points.
  • Rays: arg(zz0)=θ\arg(z - z_0) = \theta represents a half-line starting from z0z_0 at an angle θ\theta.
  • Regions: Using inequalities (like \le or >>) to shade the interior or exterior of these curves.

What is this about?

In standard coordinate geometry, you learned that x2+y2=9x^2 + y^2 = 9 represents a circle. But using xx and yy can become incredibly messy when dealing with complex numbers.

Instead, we use the geometric definitions of modulus and argument.

  • The modulus zw|z - w| is simply the distance between point zz and point ww.
  • The argument arg(zw)\arg(z - w) is the angle measured from point ww to point zz.

By interpreting equations through the lens of "distance" and "angle", you bypass pages of algebra and jump straight to the geometric shape.

Main Content

1. Circles

Equation: zz0=r|z - z_0| = r

Geometric Interpretation: "The distance between zz and z0z_0 is always exactly rr." A set of points that are always a fixed distance rr from a center point z0z_0 forms a circle.

  • Center: The complex number z0z_0.
  • Radius: The real number rr.

Example: z(2+3i)=4|z - (2 + 3i)| = 4 is a circle centered at (2,3)(2, 3) with a radius of 44. (Careful: z+2=4|z + 2| = 4 means z(2)=4|z - (-2)| = 4, so the center is 2-2.)

2. Perpendicular Bisectors (Lines)

Equation: zz1=zz2|z - z_1| = |z - z_2|

Geometric Interpretation: "The distance from zz to z1z_1 is equal to the distance from zz to z2z_2." The set of all points equidistant from two fixed points forms the perpendicular bisector of the line segment joining them. To sketch this, plot z1z_1 and z2z_2, draw a dotted line between them, and then draw a solid line exactly halfway between them at a 9090^\circ angle.

Example: z2=z4i|z - 2| = |z - 4i|. The locus is the perpendicular bisector of the line joining (2,0)(2,0) and (0,4)(0,4).

3. Rays (Half-lines)

Equation: arg(zz0)=θ\arg(z - z_0) = \theta

Geometric Interpretation: "The angle measured from the point z0z_0 to zz is exactly θ\theta." This creates a straight ray (half-line) starting at z0z_0 and shooting off infinitely in the direction of θ\theta.

  • Crucial Rule: The starting point z0z_0 is NOT included in the locus, because the argument of zero is undefined. You must draw an open circle \circ at z0z_0.

Example: arg(zi)=π4\arg(z - i) = \frac{\pi}{4}. This is a ray starting at (0,1)(0,1) (with an open circle) pointing up and to the right at a 4545^\circ angle.

4. Shading Regions

When you replace an equals sign (==) with an inequality (<,,>,<, \le, >, \ge), the curve becomes a boundary, and you must shade a region.

  • Circles: z3|z| \le 3 means "distance is less than or equal to 3". Shade inside the circle (solid boundary). z>3|z| > 3 means shade outside (dotted boundary).
  • Bisectors: z1<zi|z - 1| < |z - i| means "closer to 1 than to ii". Draw the dotted bisector, and shade the side containing the point 11.
  • Angles: 0arg(z)π30 \le \arg(z) \le \frac{\pi}{3}. This is a wedge (or sector) of the plane, starting at the origin, sweeping from 00 radians to π3\frac{\pi}{3} radians.

Simple Worked Example

Question: Sketch the region in the complex plane defined by z22|z - 2| \le 2 and 0arg(z)π40 \le \arg(z) \le \frac{\pi}{4}.

Solution: This question requires you to find the intersection of two separate regions.

Step 1: Sketch the circle inequality. z22|z - 2| \le 2 This is a circle centered at z0=2z_0 = 2 (the point (2,0)(2,0)) with a radius of 22. Because the radius is 2, the circle touches the origin (0,0)(0,0) and goes out to (4,0)(4,0). The \le symbol means we shade the interior of this circle.

Step 2: Sketch the argument inequalities. 0arg(z)π40 \le \arg(z) \le \frac{\pi}{4} arg(z)=0\arg(z) = 0 is the positive real axis. arg(z)=π4\arg(z) = \frac{\pi}{4} is a ray from the origin at 4545^\circ. The region between them is the wedge bounded by these two rays.

Step 3: Find the intersection. Draw the circle from Step 1. Draw the wedge from Step 2. Shade the area that is both inside the circle AND inside the wedge. The result looks like a slice of pie cut out of the top half of the circle.

mini-FAQ page

Q: Do I have to prove these geometrically, or can I use algebra? A: The syllabus strongly encourages the geometric approach because it is much faster. However, if you forget a shape, you can always substitute z=x+iyz = x + iy. For example, x+iy2=3    (x2)2+y2=3    (x2)2+y2=9|x + iy - 2| = 3 \implies \sqrt{(x-2)^2 + y^2} = 3 \implies (x-2)^2 + y^2 = 9. This is clearly the Cartesian equation of a circle!

Q: What if the ray equation is arg(z)=θ+2π\arg(z) = \theta + 2\pi? A: Since the argument is defined up to multiples of 2π2\pi, a ray at θ\theta and a ray at θ+2π\theta + 2\pi point in the exact same direction. They are the same geometric locus.

Common mistakes to avoid

  • Forgetting the open circle on a ray: When graphing arg(zz0)=θ\arg(z - z_0) = \theta, you must put a hollow dot at z0z_0. The HSC markers explicitly look for this.
  • Messing up the signs in the center: The standard form is zz0|z - z_0|. If the question asks for z+3i=2|z + 3 - i| = 2, you must rewrite it as z(3+i)=2|z - (-3 + i)| = 2. The center is (3,1)(-3, 1), not (3,1)(3, -1).
  • Using a solid line for strictly less than (<<): If the inequality does not have an "or equal to", the boundary curve must be drawn as a dotted/dashed line.

Practice on Vu's Maths Hub

Graphing regions correctly is crucial because these questions often lead into complex geometry proofs involving intersecting circles and chords.

Further Readings

  • This concludes our Complex Numbers series! Ready to move on to the next topic? Check out our upcoming guides on the Nature of Proof and Mathematical Induction.
  • Explore more HSC math resources and full worked solutions at Vu's Maths Hub.

Connect with me

Want to master Complex Geometry and guarantee top marks in HSC Mathematics Extension 2? Visit Vu's Maths Hub for in-depth booklets, rigorous worked solutions, and expert advice to help you ace your exams!