Perpendicular bisector
A perpendicular bisector of a line segment is a line segment
such that
and
are perpendicular and
divides
into two equal segments.
In a triangle, the perpendicular bisectors of all three sides intersect at the circumcenter.