Perpendicular Bisector Theorem

See how any point on a perpendicular bisector of a segment is equidistant to the endpoints of the segment.