Euler Line（欧拉线）

欧拉线是指：三角形的外心、重心和垂心，依次位于同一直线上，这条直线就叫三角形的欧拉线。
那么如何证明呢？

以下有两种方法证明：

1. 几何法
   
   证明思路如下：

   若要证明 $H，G，O$ 共线，则要证明 $\angle AGH=\angle EGO$

   由于 $AH\perp BC$，$BF$ 为 $\odot O$ 直径，$FC\perp BC$，$OE$ 为弦 $BC$ 中线，根据垂径定理可得 $OE\perp BC$

   所以，$OE//FC//AH，\angle HAG=\angle OEG$

   又 $\because \angle BAF=\angle BDC=90^{\circ }$

   $\therefore AF//HC$

   综上，可得四边形 $AHCF$ 为平行四边形。

   所以 $AH=FC=2OE，\frac{AH}{EO}=2$

   根据三角形重心的性质，可得 $\frac{AG}{EG}=2$

   因此，易得 $△AGH\sim △EGO，\angle AGH=\angle EGO$，即 $H，G，O$ 三点共线。

   同时我们也得到 $HG=2EG$（即外心到重心的距离等于垂心到重心距离的一半）

2. 向量法
   
   证明思路如下：

   由图易得，四边形 $AHBF$ 为平行四边形。

   $\therefore \overrightarrow{OH}=\overrightarrow{OB}+\overrightarrow{BH}=\overrightarrow{OB}+\overrightarrow{FA}=\overrightarrow{OB}+\overrightarrow{FO}+\overrightarrow{OA}=\overrightarrow{OA}+\overrightarrow{OB}+\overrightarrow{OC}$

   又 $\because \overrightarrow{OG}=\overrightarrow{OA}+\overrightarrow{AG}=\overrightarrow{OA}+\frac{2}{3}\overrightarrow{AE}=\overrightarrow{OA}+\frac{2}{3}\left(\overrightarrow{AB}+\overrightarrow{BE}\right)=\overrightarrow{OA}+\frac{2}{3}\left(\overrightarrow{AO}+\overrightarrow{OB}+\frac{1}{2}\overrightarrow{BC}\right)=\overrightarrow{OA}+\frac{2}{3}\left(\overrightarrow{AO}+\overrightarrow{OB}+\frac{1}{2}\overrightarrow{BO}+\frac{1}{2}\overrightarrow{OC}\right)=\overrightarrow{OA}+\frac{2}{3}\left(-\overrightarrow{OA}+\frac{1}{2}\overrightarrow{OB}+\frac{1}{2}\overrightarrow{OC}\right)=\frac{1}{3}\left(\overrightarrow{OA}+\overrightarrow{OB}+\overrightarrow{OC}\right)$

   $\therefore \overrightarrow{OH}=3\overrightarrow{OG}，\overrightarrow{OG}=\frac{1}{2}\overrightarrow{GH}$

   $\therefore O，H，G$ 三点共线