已知：如图所示，以梯形ABCD的对角线AC及腰AD为邻边作平行四边形ACED，连接EB，DC的延长线交BE于F．求证：EF=BF．

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