2014年IMO几何预选题第3题

在 $△ABC$ 中, $M$ 为弧 $BC$ (不含点 $A$) 的中点. 过外心 $O$ 作 $AB$, $AC$ 的垂线, 分别交以 $AM$ 为直径的圆于点 $P$, $Q$. 设 $PQ$ 与 $AM$ 的中垂线交于点 $R$. 求证: $AR//BC$.

证明:

设点 $O$ 在 $AC$, $AB$ 上的投影点分别为 $O_B$, $O_C$. 设 $AM$ 中点为 $E($ 显然其为 $(APQ)$ 的圆心). 作出以 $OA$, $OM$ 为直径的两圆 $c_1$, $c_2$, 设前者交 $(APQ)$ 于 $A$, $K$, 设后者交 $(APQ)$ 于 $M$, $L$.

显然, $A$, $K$, $O_C$, $O$, $E$, $O_B$ 在 $c_1$ 上, $L$, $M$, $E$, $O$ 在 $c_2$ 上.

$\angle AKO=\angle AKM=\frac{\pi }{2}$, 所以 $M$, $O$, $K$ 共线.

同理, $A$, $O$, $L$ 共线.

由根心定理, $OE$, $AK$, $LM$ 三线共点, 记为 $R^{\prime }$.

显然, $AK//BC$.

若能证明 $P$, $Q$, $E$, $O$ 共圆, 则由根心定理, $PQ$ 也过 $EO$, $LM$ 的交点, 即 $R^{\prime }$. $R$ 和 $R^{\prime }$ 都是 $OE$ 中垂线与 $PQ$ 的交点, $R$ 即 $R^{\prime }$, 进而 $AR//BC$. 下面证明: $P$, $Q$, $E$, $O$ 共圆.

延长 $QO$ 交 $(APQ)$ 于点 $Q^{\prime }$.

$\angle PQ{R}^{\prime }=EA{O}_C=A/2$, $\angle QOE=\angle EA{O}_B=A/2$.

$\angle Q^{\prime }O{R}^{\prime }=\angle QOE=A/2=\angle PO{R}^{\prime }$. 显然, $OE$ 是 $(APQ)$ 的一条对称轴, 由此易知 $P$, $Q^{\prime }$ 关于 $OE$ 对称.

$\angle PEO=2\angle P{Q}^{\prime }Q=2(\frac{\pi }{2}-A/2)=\pi -A=\angle POQ$.

$\therefore P$, $Q$, $E$, $O$ 共圆.

证毕.

完成时间: 2024/12/30