Perpendicular bisector

Constructs the perpendicular bisector of a segment or triangle.

perpendicular_bisector(Point, Point)

Given two point, constructs the perpendicular bisector of the segment they define.

perpendicular_bisector(Segment)

Given a segment, constructs its perpendicular bisector.

perpendicular_bisector(Triangle, Integer)

Given a triangle and an integer n, constructs the perpendicular bisector of the n-th edge.