过D作DK∥AB交BC于K 又EF∥AB ∴DK∥EF ∴△CEF∽△CDK ∴CE/CD=EF/DK 又E是CD中点 ∴CE=1/2CD CE/CD=1/2 ∴EF/DK=1/2 ∴EF=1/2DK 又四边形ABCD是梯形 ∴AD∥BK 又AB∥DK ∴四边形ABKD为平行四边形 ∴AB=DK ∴EF=1/2AB