Problem

Source: Romania JBMO TST 2022

Tags: geometry, Romanian TST



Let $ABC$ be a right triangle $(AB<AC)$ with heights $AD, BE,$ and $CF$ and orthocenter $H$. Let $M$ denote the midpoint of $BC$ and let $X$ be the second intersection of the circle with diameter $HM$ and line $AM.$ Given that lines $HX$ and $BC$ intersect at $T,$ prove that the circumcircles of $\triangle TFD$ and $\triangle AEF$ are tangent.