四边形ABCD中,EF为AD.BC中点,EF=1/2(AB+CD) 求证AB//CD(用反证法)