设三个点A(x1,y1) B(x2,y2) C(x3,y3) ,圆心P(x,y)
AP=BP
(X1-x)^2+(y1-y)^2=(x2-x)^2+(y2-y)^2
2(x1-x2)x+2(y1-y2)y=x1^2+y1^2-x2^2-y2^2
y=-(x1-x2)/(y1-y2) *x+ ( x1^2+y1^2-x2^2-y2^2)/(y1-y2)
所以P在斜率为-(x1-x2)/(y1-y2)的直线上,(这就是AB的中垂线方程)
同理,P在AC的中垂线上,斜率为-(x1-x3)/(y1-y3)
因为ABC不共线,所以(y1-y2)/(x1-x2)≠(y1-y3)/(x1-x3)
两直线斜率不等,必交与一点,即圆心一定存在,所以不共线的三点确定一个圆
有三点坐标不共线可以知道这三点可以组成一个三角形,然后设圆的标准方程将这三点带进去就可以证明不共线的三点确定一个圆了