Example

Given the segment ABAB with A(2;4)A(-2;-4) and B(4;1)B(4;1), write its perpendicular bisector.

Locus condition: (x+2)2+(y+4)2=(x4)2+(y1)2.\sqrt{(x+2)^2 + (y+4)^2} = \sqrt{(x-4)^2 + (y-1)^2}. Both sides are distances, hence 0\ge 0 “by construction”: no existence conditions are needed and one can square. (x+2)2+(y+4)2=(x4)2+(y1)2.(x+2)^2 + (y+4)^2 = (x-4)^2 + (y-1)^2. Expanding the squares, the x2x^2 and y2y^2 terms cancel (this is why the locus is a line!) and there remains: 4x+4+8y+16=8x+162y+1    12x+10y+3=0.4x + 4 + 8y + 16 = -8x + 16 - 2y + 1 \implies 12x + 10y + 3 = 0. Written in explicit form: y=65x310\boxed{y = -\tfrac{6}{5}x - \tfrac{3}{10}}.

The segment ABAB, its midpoint MM and the perpendicular bisector (blue line), perpendicular to ABAB and passing through MM.

Topics: Loci
Concepts: Perpendicular bisector of a segment · Distance between points · Equation of the line · Cartesian plane · Line
Skills: Analytic geometry · Solving equations