Problem

Source: German TST 2023 AIMO 7, Problem 1

Tags: geometry, cyclic quadrilateral



Let $ABC$ be a acute angled triangle and let $AD,BE,CF$ be its altitudes. $X \not=A,B$ and $Y \not=A,C$ lie on sides $AB$ and $AC$, respectively, so that $ADXY$ is a cyclic quadrilateral. Let $H$ be the orthocenter of triangle $AXY$. Prove that $H$ lies on line $EF$.