Perpendicular bisector/endpoints theorem

Perpendicular bisector/endpoints theorem