The goal is to prove the complete locus statement: A point is equidistant from endpoints A and B if and only if it lies on the perpendicular bisector of AB. Which strategy is most efficient?