已知：梯形ABCD中AD∥BC,BC>AD,E、F是BD、AC的中点,
求证：EF=1/2(BC-AD)
证明：连结AE延长交BC于点G,
∵AD∥BC,∴∠ADE=∠GBE,
又∵DE=BE、∠AED=∠GEB,
∴△ADE≌△GBE,∴AD=GB、AE=GE,
∴GC=BC-BG=BC-AD,
∵E、F是AG、AF中点,
∴EF=1/2GC=1/2(BC-AD),证毕.