已知三角形三个定点坐标,求外接圆方程