Perpendicular bisector property