Triangle perpendicular bisectors meet