三角形的四心

$\quad$打比赛遇到一道外心的题(HDU - 6206)，不去搜板子，根本不会，所以打算总结一下三角形的四心。

$\quad$给出三角形的三个点$A(x_1, y_1), B(x_2, y_2), C(x_3, y_3) ; \angle A, \angle B, \angle C$的对边分别为$a, b, c$。

重心：

$\quad$定义：三条中线的交点。·常用$G$表示。
$\quad$
$\quad$性质：
$\qquad$1. 重心坐标$G(\frac {x_1 + x_2 + x_3}{3}, \frac {y_1 + y_2 + y_3}{3})$

point GravityCenter(point A, point B, point C) {
    double Gx = (A.x + B.x + C.x) / 3;
    double Gy = (A.y + B.y + C.y) / 3;
    return point(Gx, Gy);
}

$\qquad$2. $AG = 2 GD, BG = 2 GE, CG = 2 FG$
$\qquad$3. $S_{\triangle AGC} = S_{\triangle AGB} = S_{\triangle BGC}$
$\qquad$4. $\vec{GA} + \vec{GB} + \vec{GC} = \vec{0}$
$\qquad \qquad$性质4证明：

外心：

$\quad$定义：三条中垂线的交点，常用$O$来表示。
$\quad$
$\qquad$性质：
$\qquad$1. 外心坐标：有点复杂，，，
$\qquad \quad$设外心坐标为$O(x_0, y_0)$，外接圆半径为$r$。那么外接圆的方程就为$(x - x_0)^2 + (y - y_0)^2 = r^2$。
$\qquad \quad$由此可得：

⎧⎩⎨⎪⎪