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.