Triangle/Perpendicular bisector/Circumcenter/Definition
< Triangle < Perpendicular bisector < Circumcenter
Circumcenter
The intersecting point of the three perpendicular bisectors in a nondegenerate triangle in the Euclidean plane is called the circumcenter.