3.5 Perpendicular bisectors