Definition of the perpendicular bisector (mediatrix)

 

The perpendicular bisector (mediatrix) is a line, which is perpendicular to the given segment and passes through its middle.

Definition of the perpendicular bisector

a is the perpendicular bisector (mediatrix)