外心是三角形三条边的垂直平分线的交点,
故AC=2EC,BC=2DC,AB=2AF
EC^2=OC^2-OE^2
DC^2=OC^2-OD^2
AF^2=OA^2-OF^2
外心到三角形的三个顶点距离相等,可设为x
OA=OB=OC
再用余弦定理