空间四边形ABCD,连AC、BD,若AB=CD,AC=BD,E、F分别是AD、BC的中点,用向量方法证明EF为AD、BC