The perpendicular bisector of a segment is the locus of the points equidistant from its endpoints: geometrically it is the line perpendicular to the segment passing through its midpoint. Deriving its equation from the locus condition also reveals why the result is always a line.