AB=EF
证明:
∵AD=CF
∴AD+CD=CF+CD
即:AC=DF
∵BC∥DE
∴∠ACB=∠EDF
∴△ABC与△EFD中:
AC=DF
∠ACB=∠EDF
BC=DE
∴△ABC≌△FED
∴AB=EF