Circumcenter2

Definition of perpendicular bisector.