Animation: Perpendicular bisector of a segment