,证明如下：
已知AD//BC,F为AB中点,EF//BC交CD于F,求证E是CD中点.
证明：连接AF并延长交BC延长线于G.
AD//BC,CF=DF易证△ADF≌△CGF
得出AF=GF
在△ABG中,EF//BC,AF=GF
根据三角形中位线的判定,可以得出
AE=BE
于是线段EF为梯形ABCD的中位线.