如图,在梯形ABCD中,AD//BC,E、F分别为BD、AC的中点,求证:EF=1/2(BC-AD)