perpendicular bisectors in a triangle