KöMaL 2026 C1915

In acute triangle $ABC$ the orthocenter is $M$. We draw the tangents from midpoint $F$ of line segment $AB$ to the circle with diameter $CM$, the points of tangency being $D$ and $E$. Prove that the circumcircle of triangle $DEF$ is half as big as the circumcircle of triangle $ABC$.