已知提醒ABCD,AD‖BC,E是AB中点,过E作EF‖BC,交CD于F点.求证:EF是梯形ABCD的中位线