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 …
z−zi=z(1−i)=(x+iy)(1−i)=x−xi+yi−yi2=x+y+(y−x)i. So ∣z−zi∣2=(x+y)2+(y−x)2=x2+2xy+y2+y2−2xy+x2=2x2+2y2. Setting ∣z−zi∣=1: 2x2+2y2=1, i.e. x2+y2=dfrac12 — a circle of radius $\dfrac{1}{\ …