一等腰梯形ABCD,E是等腰梯形一腰CD的中点,EF垂直于AB,垂足为F,求证梯形ABCD的面积等于AB乘于EF.