外心的向量表达式
在三角形几何学中，外心（也称为外接圆的圆心）是三角形三边的垂直平分线的交点。这个点是到三角形的三个顶点距离相等的唯一点，也就是说，它是三角形外接圆的中心。下面我们将通过向量的方法来推导外心的坐标表达式。
假设与符号说明
设三角形的三个顶点分别为 $A(x_1, y_1)$、$B(x_2, y_2)$ 和 $C(x_3, y_3)$，其对应的向量表示分别为 $\vec{a} = (x_1, y_1)$、$\vec{b} = (x_2, y_2)$ 和 $\vec{c} = (x_3, y_3)$。
向量方法推导
求边AB和AC的中点：
- 边AB的中点 $M_{AB}$ 的坐标为 $\left(\frac{x_1 + x_2}{2}, \frac{y_1 + y_2}{2}\right)$，对应的向量表示为 $\vec{m}_{AB} = \frac{\vec{a} + \vec{b}}{2}$。
- 边AC的中点 $M_{AC}$ 的坐标为 $\left(\frac{x_1 + x_3}{2}, \frac{y_1 + y_3}{2}\right)$，对应的向量表示为 $\vec{m}_{AC} = \frac{\vec{a} + \vec{c}}{2}$。
求边AB和AC的斜率：
- 边AB的斜率为 $k_{AB} = \frac{y_2 - y_1}{x_2 - x_1}$（当 $x_1 \neq x_2$ 时）。
- 边AC的斜率为 $k_{AC} = \frac{y_3 - y_1}{x_3 - x_1}$（当 $x_1 \neq x_3$ 时）。
求边AB和AC的垂直平分线方程：
- 边AB的垂直平分线方程为 $y - \frac{y_1 + y_2}{2} = -\frac{1}{k_{AB}}(x - \frac{x_1 + x_2}{2})$。
- 边AC的垂直平分线方程为 $y - \frac{y_1 + y_3}{2} = -\frac{1}{k_{AC}}(x - \frac{x_1 + x_3}{2})$。
联立垂直平分线方程求解外心O的坐标：
- 通过解这两个方程的联立方程组，可以得到外心O的坐标 $(x_0, y_0)$。
用向量形式表达外心：
- 由于直接求解方程组可能较为复杂，我们可以利用向量的线性组合来表示外心。考虑到外心位于两条垂直平分线上，且到两个中点的距离相等，我们可以用向量 $\vec{OM_{AB}}$ 和 $\vec{OM_{AC}}$ 的线性组合来表示 $\vec{O}$。
- 设 $\vec{O} = \lambda \vec{m}{AB} + (1-\lambda) \vec{m}{AC}$，其中 $\lambda$ 是一个待定的系数。
- 利用外心到两顶点的距离相等这一性质，可以列出一个关于 $\lambda$ 的方程并求解。
然而，上述方法虽然直观但计算复杂。在实际应用中，更常用的是通过解析几何的方法直接求出外心的坐标公式，或者利用矩阵和行列式的方法来简化计算。
简化后的外心坐标公式
对于一般的三角形ABC，其外心O的坐标 $(x_0, y_0)$ 可以由以下公式给出（这里省略了具体的推导过程）：
[ \begin{cases} x_0 = \frac{(x_1^2 + y_1^2)(y_2 - y_3) + (x_2^2 + y_2^2)(y_3 - y_1) + (x_3^2 + y_3^2)(y_1 - y_2)}{(2x_1 - 2x_2)(y_3 - y_1) + (2x_2 - 2x_3)(y_1 - y_2) + (2x_3 - 2x_1)(y_2 - y_3)} \ y_0 = \frac{(x_1^2 + y_1^2)(x_3 - x_2) + (x_2^2 + y_2^2)(x_1 - x_3) + (x_3^2 + y_3^2)(x_2 - x_1)}{(2y_1 - 2y_2)(x_3 - x_1) + (2y_2 - 2y_3)(x_1 - x_2) + (2y_3 - 2y_1)(x_2 - x_3)} \end{cases} ]
这些公式可以直接用于计算任何给定三角形的外心坐标。注意，这里的公式是基于平面直角坐标系得出的，并且假设三角形的三个顶点不共线。
