已知： ，求作 的外接圆，作法：①分别作线段BC，AC的垂直平分线EF和MN，它们交于点O；②以点O为圆心，OB的长为半径画弧，如图⊙O即为所求，以上作图用到的数学依据是.