12-3 Perpendicular bisector
A line that is at right angles to another line is called a perpendicular line.
The perpendicular bisector of a line segment AB is the line through the midpoint of AB which makes a right angle with AB. All points on the perpendicular bisector of AB lie equidistant from point A and point B.

How to construct a perpendicular bisector?
