Remark — Why the squared coordinates always simplify

The equality of two distances always gives an equation of the type (xa1)2+(yb1)2=(xa2)2+(yb2)2.(x-a_1)^2 + (y-b_1)^2 = (x-a_2)^2 + (y-b_2)^2. When the squares are expanded, the x2x^2 and y2y^2 terms appear on both sides with coefficient +1+1 and cancel. The result is therefore a polynomial of the first degree in x,yx,y, that is the equation of a line.

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