补充条件：EF=BC，可使得△ABC≌△DEF．理由如下：
∵AF=DC，
∴AF+FC=DC+FC，
即：AC=DF，
∵BC∥EF，
∴∠EFD=∠BCA，
在△EFD和△BCA中，

EF＝BC ∠EFD＝∠BCA AC＝DF

，
∴△EFD≌△BCA（SAS）．