Perpendicular bisectors of sides of a triangle