如图梯形ABCD中∠B+∠C=90°E、F分别为上、下底的中点,求证EF=1/2(BC-AD)