din triunghiul dreptunghic ABC afli, conform teoremei lui pitagora pe AC:
AC la a doua=AB la a doua+BC la a doua
AC=25
In triunghiul dreptunghic ADC faci egalitate de arii:
AD ori DC=DE ori AC
DE=12
triiunghi ADE dreptunghic in E:
conform teoremei lui pitagora : AE la a doua=AD la a doua-DE la a doua
AE=9
triunghiurile AED si FCB sunt congruente, astfel incat FC+AE, de unde rezulta ca EF=AC-2AE=17