连接AE,延长AE交DC的延长线于M,连接DE
因为E为BC中点,所以三角形ABE全等于三角形ECM
所以梯形ABCD面积=三角形ADM面积
因为三角形ABE全等于三角形ECM
所以AE=EM
所以三角形AED面积=三角形DEM面积
所以三角形AED面积=0.5*梯形ABCD面积
因为三角形AED面积=0.5*EF*AD
所以EF*AD=梯形ABCD面积
连接AE,延长AE交DC的延长线于M,连接DE
因为E为BC中点,所以三角形ABE全等于三角形ECM
所以梯形ABCD面积=三角形ADM面积
因为三角形ABE全等于三角形ECM
所以AE=EM
所以三角形AED面积=三角形DEM面积
所以三角形AED面积=0.5*梯形ABCD面积
因为三角形AED面积=0.5*EF*AD
所以EF*AD=梯形ABCD面积