梯形ABCD中,AD//BC,E是CD的中点,EF垂直AB于点F,求证梯形ABCD的面积=EF*AB