Animation: Perpendicular bisector of a segment

Information: Animation: Perpendicular bisector of a segment