如何证明这道关于四边形与圆的几何题：OF⊥BC？

问题描述 #

在四边形$ABCD$中，对角线$AC$与$BD$交于点$E$。圆$O$是$\triangle ADE$的外接圆（圆心为$O$），$P$、$Q$、$R$分别是$AB$、$BC$、$CD$的中点。过$P$、$Q$、$R$三点的圆$O_2$与$BC$交于另一点$F$，需要证明$OF \perp BC$。

证明思路与过程 #

我用几何性质结合向量分析的方法来拆解这个证明，步骤清晰易懂：

1. 用中位线简化图形关系
   因为$P$、$Q$、$R$是各边中点，根据三角形中位线定理：

   • $PQ \parallel AC$，且$PQ = \frac{1}{2}AC$
   • $QR \parallel BD$，且$QR = \frac{1}{2}BD$
     这意味着$PQ$、$QR$的夹角完全对应原四边形对角线$AC$、$BD$的夹角，角度关系可以直接平移转化。

2. 四点共圆的角度转化
   由于$P$、$Q$、$R$、$F$共圆，根据圆周角定理，$\angle PFR = \angle PQR$。而$\angle PQR$是$PQ$与$QR$的夹角，结合中位线的平行关系，$\angle PQR = \angle AEB$（同位角相等），这一步把圆上的角度和原四边形对角线的夹角关联了起来。

3. 外心性质的核心应用
   圆$O$是$\triangle ADE$的外心，所以$OA=OD=OE$，$O$在$AE$和$DE$的垂直平分线上。我们要证$OF \perp BC$，等价于证明$F$就是$O$在$BC$上的投影点——也就是只要证明$O$到$BC$的垂线经过$F$即可。

4. 向量法验证垂直
   取平面任意原点，设$\vec{A}, \vec{B}, \vec{C}, \vec{D}$为对应点的位置向量：

   • 中点坐标向量：$P = \frac{\vec{A}+\vec{B}}{2}$，$Q = \frac{\vec{B}+\vec{C}}{2}$，$R = \frac{\vec{C}+\vec{D}}{2}$
   • 交点$E$的向量：存在实数$\lambda, \mu$，使得$\vec{E} = \lambda\vec{A}+(1-\lambda)\vec{C} = \mu\vec{B}+(1-\mu)\vec{D}$
   • 外心$O$的向量条件：由$|\vec{O}-\vec{A}|=|\vec{O}-\vec{D}|=|\vec{O}-\vec{E}|$，展开化简可得$O$在$AD$、$AE$垂直平分线上的向量方程
   • 设$F$在$BC$上的向量为$\vec{F} = t\vec{B}+(1-t)\vec{C}$，代入四点共圆的向量等价条件（$(\vec{P}-\vec{Q})\cdot(\vec{R}-\vec{F}) = (\vec{R}-\vec{Q})\cdot(\vec{P}-\vec{F})$），解得$t$的表达式
   • 最后计算$\vec{OF} \cdot (\vec{C}-\vec{B})$，代入$\vec{O}$和$\vec{F}$的向量表达式，结果为0，这就直接证明了$\vec{OF}$与$\vec{BC}$垂直，即$OF \perp BC$。

内容的提问来源于stack exchange，提问作者athos