Perpendicular bisector (source code)

= Perpendicular bisector
{wiki}

The perpendicular bisector of a line segment is the line through its midpoint at a right angle to the segment.