证明:延长FD到M,使DM=DF;又DE=CD.则⊿CDM≌⊿EDF(SAS),∠EFD=∠CMD;CM=EF.
又EF=AC,则CM=AC,∠CAD=∠CMD.
又∠BAD=∠CAD,故∠BAD=∠CAD=∠CMD=∠EFD,得:EF//AB.