已知：$\mathit{\Delta ABC}$，求作：$\mathit{\Delta ABC}$的外接圆．作法：①分别作线段$\mathit{BC}$，$\mathit{AC}$的垂直平分线$\mathit{EF}$和$\mathit{MN}$，它们相交于点$O$；②以点$O$为圆心，$\mathit{OB}$的长为半径画圆．如图，$\odot O$即为所求，以上作图用到的数学依据有：