Diameter as perpendicular bisector