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?