Any point of the mediatrix (perpendicular bisector) of a segment is equidistant from the endpoints
→ Demonstration:
