梯形ABCD中,AD∥BC,E为中点,EF⊥AB,垂足为F.求证:S梯形ABCD=EF·AB