2023IMO预选题几何第5题

在锐角 $△ABC$ 中, $\omega$ 是外接圆, $O$ 是外心. $D$, $E$ 分别是 $\omega$ 上不同于 $B$, $C$ 的点, 满足 $BD$ ⊥ $AC$, $CE$ ⊥ $AB$. 设直线 $CO$, $AB$ 交于点 $X$, 直线 $BO$, $AC$ 交于点 $Y$. 求证: $△BXD$, $△CYE$ 的外接圆有一个交点在直线 $AO$ 上.

证明:

延长 $AO$ 交 $(OBC)$ 于点 $L$, 过 $L$ 作 $AL$ 的垂线, 交 $(BDL)$ 于点 $K$. 倒角可知, $\angle BDK=\angle BAC=\angle BDC$, 因此 $D$, $C$, $K$ 共线. 过 $X$ 作 $XS$ 平行于 $BD$ 交 $AO$ 于点 $S$, 设 $BD$ 与 $CX$ 交于点 $T$, $BD$ 与 $OL$ 交于点 $T^{\prime }$, 则 $\angle XSO=\angle O{T}^{\prime }T$, $\angle SXO=\angle OT{T}^{\prime }$. 倒角可知, $\angle O{T}^{\prime }T=\angle ABC$, $\angle OT{T}^{\prime }=\pi -\angle CDT-\angle TCD=\angle ABC$, 所以 $\angle O{T}^{\prime }T=\angle OT{T}^{\prime }$. 进而 $BXSD$ 是等腰梯形, $B$, $D$, $S$, $X$ 共圆. 倒角可知, $\angle LKC=\angle LSD=\pi /2-\angle BAC+\angle ABC$, 因此 $S$ 在 $(DLK)$ 上, 因此 $B$, $L$, $K$, $D$, $S$, $X$ 共圆. 同理, 也在 $(CLY)$ 上, 证毕.