Problem

Source: EGMO TST - Moldova 2024 P4

Tags: geometry, geometric inequality, inequalities



In the acute-angled triangle $ABC$, on the lines $BC$, $AC$, $AB$ we consider the points $D$, $E$ and, respectively, $F$, such that $AD\perp AC, BE\perp AB, CF\perp AC$. Let the point $A', B', C'$ be such that $\{A'\}=BC\cap EF, \{B'\}=AC\cap DF, \{C'\}=AB\cap DE$. Prove that the following inequality is true $$\frac{A'F}{A'E} \cdot \frac{B'D}{B'F} \cdot \frac{C'E}{C'D}\geq8$$