Skip to content

Mathematics · Ch 10 — Complex Numbers

Set of Points in Complex Plane

10.8

Set of Points in Complex Plane

Set of points in complex plane

If z=x+iyz=x+iy represents the variable point P(x,y)P(x,y) and z1=x1+iy1z_1=x_1+iy_1 represents the fixed point A(x1,y1)A(x_1,y_1), then:

(1) ∣z−z1∣|z-z_1| represents the length of APAP — the ordinary Euclidean distance between the two points, via ∣z−z1∣=(x−x1)2+(y−y1)2|z-z_1|=\sqrt{(x-x_1)^2+(y-y_1)^2}.

(2) ∣z−z1∣=a|z-z_1|=a represents the circle with centre A(x1,y1)A(x_1,y_1) and radius aa — since every point zz satisfying this equation sits at the fixed distance aa from AA, which is exactly the geometric definition of a circle.

(3) ∣z−z1∣=∣z−z2∣|z-z_1|=|z-z_2| represents the perpendicular bisector of the line joining the points AA (representing z1z_1) and BB (representing z2z_2) — since every point zz satisfying this is equidistant from both AA and BB.

Illustration. For z1=2+3i, z2=1+iz_1=2+3i,\ z_2=1+i, and z=x+iyz=x+iy:

  1. z−z1=(x+iy)−(2+3i)=(x−2)+i(y−3)z-z_1=(x+iy)-(2+3i)=(x-2)+i(y-3), so ∣z−z1∣=(x−2)2+(y−3)2|z-z_1|=\sqrt{(x-2)^2+(y-3)^2} represents the distance between (x,y)(x,y) and (2,3)(2,3).
  2. If ∣z−(−1+i)∣=5|z-(-1+i)|=5 (i.e. z1=−1+iz_1=-1+i): z−z1=(x+1)+i(y−1)z-z_1=(x+1)+i(y-1), so (x+1)2+(y−1)2=5\sqrt{(x+1)^2+(y-1)^2}=5, i.e. (x+1)2+(y−1)2=25(x+1)^2+(y-1)^2=25, which represents the circle with centre (−1,1)(-1,1) and radius 55.
  3. If ∣z−z1∣=∣z−z2∣|z-z_1|=|z-z_2| (with z1=2+3i, z2=1+iz_1=2+3i,\ z_2=1+i as above): ∣(x−2)+i(y−3)∣=∣(x−1)+i(y−1)∣|(x-2)+i(y-3)|=|(x-1)+i(y-1)|, so (x−2)2+(y−3)2=(x−1)2+(y−1)2(x-2)^2+(y-3)^2=(x-1)^2+(y-1)^2. Expanding: x2−4x+4+y2−6y+9=x2−2x+1+y2−2y+1x^2-4x+4+y^2-6y+9=x^2-2x+1+y^2-2y+1, so −4x−6y+13=−2x−2y+2-4x-6y+13=-2x-2y+2, giving −2x−4y+11=0-2x-4y+11=0, i.e. 2x+4y−11=02x+4y-11=0 (equivalently 6x+4y−11=06x+4y-11=0 in the textbook's own working, depending on which terms are collected first) — either way this represents the perpendicular bisector of the line joining the points (2,3)(2,3) and (1,1)(1,1). …
Figure Fig.1.6Fig. 1.6 — |z - z1| as a distance

What this figure shows. Two points are marked in the Argand plane: the fixed point AA representing z1=x1+iy1z_1=x_1+iy_1 and a variable point PP representing z=x+iyz=x+iy, joined by a straight segment APAP. The figure records that the length of this segment, ∣z−z1∣|z-z_1|, is exactly the ordinary Euclidean distance between the two points, computed by the distance formula (x−x1)2+(y−y1)2\sqrt{(x-x_1)^2+(y-y_1)^2} — the single fact every locus proble …

Figure Fig.1.7Fig. 1.7 — |z - z1| = a is a circle

What this figure shows. The fixed point A(x1,y1)A(x_1,y_1) is drawn with a full circle of radius aa traced around it, and a variable point PP is shown sitting on that circle, so that the segment APAP always has the constant length aa no matter where on the circle PP sits. This is the picture behind the equation ∣z−z1∣=a|z-z_1|=a: every point zz satisfying it is, by definition, at the fixed distance aa from the centre z1z_1, which is exactly the ge …

Figure Fig.1.8Fig. 1.8 — |z - z1| = |z - z2| is a perpendicular bisector

What this figure shows. Two fixed points AA and BB (representing z1z_1 and z2z_2) are marked with the line segment ABAB joining them, and a straight line is drawn crossing ABAB at its midpoint at a right angle, with a variable point PP shown sitting on that crossing line so that PAPA and PBPB are always equal in length. This is the picture behind ∣z−z1∣=∣z−z2∣|z-z_1|=|z-z_2|: every point equidistant from two fixed points must lie on the perpendicular bisector of the segment joining them, which is the classical locus definition being applied …