已知任意四边形ABCD中,E、F分别是AD、BC的中点,求证向量EF=1/2(向量AB+向量DC)