Мдам... Понеже [tex]\angle AEF + \angle ADF = 90 + 90 = 180^{\circ}[/tex], то около [tex]ADFE[/tex] може да се опише окръжност и по-важното: [tex]\angle BAE = \angle EFC = 180 - \angle AFB[/tex]. Следователно, ако спуснем [tex]AH = a || BC[/tex], то [tex]\Delta AEH \approx \Delta EFC[/tex]. И понеже по питагорова теорема [tex]AE = \sqrt{a^2 +(b-x)^2}[/tex], то от подобието можем да извлечем:
[tex]\frac{AE}{EF} = \frac{AH}{EC} \Leftrightarrow \frac{\sqrt{a^2 +(b-x)^2}}{c} = \frac{a}{x}[/tex]
Откъдето всъщност стигам и до израза, който съм написал горе