已知:在梯形ABCD中,AB平行于CD,E是BC的中点,EF垂直于AD于F,求证:梯形ABCD的面积=AD*EF