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