Problem

Source: Iran TST 2006

Tags: geometry, circumcircle, trigonometry, inequalities, function, incenter, geometry proposed



Let $ABC$ be an acute angle triangle. Suppose that $D,E,F$ are the feet of perpendicluar lines from $A,B,C$ to $BC,CA,AB$. Let $P,Q,R$ be the feet of perpendicular lines from $A,B,C$ to $EF,FD,DE$. Prove that \[ 2(PQ+QR+RP)\geq DE+EF+FD \]