延长AD,过点C做CG平行AD交AD延长线于点G
易证明△ABD≌GCD,得到AB=CG.
接着又三个角都相等,得到△AEF∽△GCF,
得到AE:CG=EF:FC,即AE:AB=EF:FC