Perpendicular bisector theorem.gsp