已知梯形ABCD中,AB//CD,设E和F分别为对角线AC和BD的中点,求证EF平行于梯形的底边