过点E作直线GH平行于AB交AD BC于H,G（有可能交于延长线上）
AB*EF是平行四边形ABGD的面积
由于E为CD中点且HD‖CG 故△HDE≌△CGE 故二者面积相等
故梯形ABCD面积等于平行四边形ABGD的面积
故梯形ABCD面积等于EF乘AB.