证明：过点B作BG∥AD，交DC的延长线于G，连接EG．
∵DC∥AB，
∴四边形ABGD是平行四边形，
∴BG平行且等于AD．
在平行四边形ACED中，AD∥CE且AD=CE，
∴CE∥BG且CE=BG．
∴四边形BCEG为平行四边形．
∴EF=BF．