In aceasta problema trebuie sa folosim teorema bisectoarei si teorema lui Thales.
ΔADB
(DE bis. <ADB => AE/EB=AD/BD
ΔADC
(DF bis. <ADC => AD/DC=AF/FC
AE/EB=AF/FC=AD/BD ( pt ca D mij. BC=> BD=DC, deci avem rapoarte egale)=>
=> teorema lui Thales in ΔABC => EF//BC