Any point that is at equal distance from the endpoints of a segment is on the perpendicular bisector (mediatrix)
→ Demonstration:
