已知:如图,在梯形ABCD中,AB‖CD,且AB>CD,E,F,分别是AC和BD的中点,求证EF=1/2(AB-CD)