Problem

Source: IMO Shortlist 1993, Indonesia 1

Tags: geometry, ratio, circumcircle, trigonometry, inequalities, geometric inequality, IMO Shortlist



The vertices $D,E,F$ of an equilateral triangle lie on the sides $BC,CA,AB$ respectively of a triangle $ABC.$ If $a,b,c$ are the respective lengths of these sides, and $S$ the area of $ABC,$ prove that \[ DE \geq \frac{2 \cdot \sqrt{2} \cdot S}{\sqrt{a^2 + b^2 + c^2 + 4 \cdot \sqrt{3} \cdot S}}. \]