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.