MathNet 2026 — Part 01 Question 152

Let $ABC$ be an acute triangle with heights $BD$ and $CE$. Points $F$ and $G$ are the feet of the perpendiculars $BF$ and $CG$ to the line $DE$. Prove that $EF = DG$.