2021IMO几何预选题第7题(最简证明)

$△ABC$ 中, $D$ 在 $△ABC$ 内部, 且在 $\angle BAC$ 的平分线上, $F$, $E$ 分别在 $AB$, $AC$ 上, 且 $\angle ADF=\angle DBC$, $\angle ADE=\angle DCB$. 设 $BC$ 的中垂线交 $AC$ 于点 $X$. $(ADC)$ 和 $(XBC)$ 的外心分别为 $O_1$, $O_2$. 求证: $EF$, $O_1{O}_2$, $BC$ 共点.

证明:

首先证明 $B$, $F$, $E$, $C$ 四点共圆. 设 $D$ 的等角共轭点为 $D^{\prime }$, 则 $D^{\prime }$ 在 $AD$ 上, $\angle ADF＝\angle DBC=\angle D^{\prime }BA$, 所以 D ′ D'