求三点共圆求圆心半径及其推导(三角形外心)

问题引入

给定二维平面上三个不共线的点 $A(x_0,y_0),B(x_1,y_1),C(x_2,y_2)$, 求出他们形成的圆的圆心和半径。

问题分析

计算几何问题常用数形结合解决，不妨设圆心 $O(x,y)$，则满足三个点到圆心的距离相同。我们可以用两个等价方程来描述：

$$\begin{gathered} (x-x_0{)}^2+(y-y_0{)}^2=(x-x_1{)}^2+(y-y_1{)}^2 \\ (x-x_0{)}^2+(y-y_0{)}^2=(x-x_2{)}^2+(y-y_2{)}^2\text{\hspace{1em}(1)} \end{gathered}$$

现在转换为两个方程解两个未知数 $x,y$ 的问题。上式化简后可得两个线性方程，使用克拉默法则可以容易解出答案。

公式推导

对公式 $(1)$ 分别移项展开消去二次项，得到：

2 ( x 1 − x 0 ) x + 2 ( y 1 − y 0 ) y = x 1 2 − x 0 2 + y 1 2 − y 0 2 2 ( x 2 − x 0 ) x + 2 ( y 2 −