证明：连接BE，并延长交AD的延长线于点M，连接AE，
∵AD∥BC，
∴∠CBE=∠M，∠C=∠EDM，
∵E是DC的中点，
∴CE=DE，S_△ABE=

1

2

S_△ABM，
在△BCE和△MDE中，

∠CBE＝∠M ∠C＝∠EDM CE＝DE

，
∴△BCE≌△MDE（AAS），
∴S_△ABM=S_梯形ABCD，
∵EF⊥AB，
∴S_△ABE=

1

2

AB•EF，
∴S_梯形ABCD=AB•EF．