Triangle/Perpendicular bisector/Intersecting point/Fact

< Triangle < Perpendicular bisector < Intersecting point
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.