perpendicular bisector in a triangle