If z=x+iy represents a variable point P(x,y) and z1=x1+iy1 represents a fixed point A(x1,y1) in the Argand plane, then ∣z−z1∣ is precisely the ordinary Euclidean distance between P and A, computed by the distance formula (x−x1)2+(y−y1)2. This single geometric fact converts modulus conditions on z directly into familiar Cartesian curves. If ∣z−z1∣=a for a fixed positive constant a, every point z satisfying it sits at the fixed distance a from z1, so the locus is a circle centred at z1 with radius a — squaring both sides gives the Cartesian equation (x−x1)2+(y−y1)2=a2 directly. If instead ∣z−z1∣=∣z−z2∣ for two fixed points z1,z2, every point z is equidistant from both, so the locus is the perpendicular bisector of the segment joining z1 and z2 — expanding both sides of (x−x1)2+(y−y1)2=(x−x2)2+(y−y2)2 and cancelling the squared terms leaves a linear equation, i.e. a straight line. These two cases (circle and perpendicular bisector) are the two standard locus types built from modulus conditions, and they are proved by translating the modulus/distance statement into coordinates and simplifying algebraically, exactly …