Problem

Source: 2021 Saudi Arabia Training Lists p19 https://artofproblemsolving.com/community/c2758131_2021_saudi_arabia_training_tests

Tags: geometry, tangent, circumcircle



Let $ABC$ be a triangle with $AB < AC$ inscribed in $(O)$. Tangent line at $A$ of $(O)$ cuts $BC$ at $D$. Take $H$ as the projection of $A$ on $OD$ and $E,F$ as projections of $H$ on $AB,AC$.Suppose that $EF$ cuts $(O)$ at $R,S$. Prove that $(HRS)$ is tangent to $OD$