Triangle/Perpendicular bisector/Intersecting point/Fact

Theorem about circumcenter (triangle)

The perpendicular bisectors of the three sides in a nondegenerate triangle in the Euclidean plane

intersect in one point.

All vertices of the triangle have the same distance to this intersecting point.