Perpendicular bisectors of a triangle