已知:梯形ABCD中,AD//BC,E为DC中点,EF⊥AB与F.求证:梯形ABCD的面积=AB×EF