Perpendicular bisectors in a triangle