连接AF并延长交BC于点G．
∵AD∥BC
∴∠DAF=∠G，
在△ADF和△GCF中，

∠DAF＝∠G ∠DFA＝∠CFG DF＝FC

∴△ADF≌△GCF，
∴AF=FG，AD=CG．
又∵AE=EB，
∴EF∥BG，EF=

1

2

BG，
即EF∥AD∥BC，EF=

1

2

（AD+BC）．