Sea $ABC$ un triángulo con circuncírculo $\omega$ y sea $\Omega_A$ el excírculo $A$. Sean $X$ e $Y$ los puntos de intersección de $\omega$ y $\Omega_A$. Sean $P$ y $Q$ las proyecciones de $A$ sobre las líneas tangentes a $\Omega_A$ en $X$ e $Y$ respectivamente. La línea tangente en $P$ al circuncírculo del triángulo $APX$ interseca la línea tangente en $Q$ al circuncírculo del triángulo $AQY$ en un punto $R$. Demuestra que $\overline{AR} \perp \overline{BC}$.