延长AE交DC延长线于G,
显然,三角形ABE全等三角形GCE,
所以AE=EG
所以,三角形ADE面积=三角形DEG面积,
而梯形ABCD面积=三角形ADG面积=2倍三角形ADE面积=AD*EF,
所以梯形面积=AD*EF
就是这样了.分给我吧