The perpendicular bisector in a triangle