Problem

Source: Indonesia INAMO Shortlist 2010 G1

Tags: geometry, tangent, alttiudes



In triangle $ABC$, let $D$ be the midpoint of $BC$, and $BE$, $CF$ are the altitudes. Prove that $DE$ and $DF$ are both tangents to the circumcircle of triangle $AEF$