Perpendicular bisector as locus