数学向量已知E F G H分别是空间四边形ABCD的边AB BC CD DA的中点,用向量方法,求证E F G H四点共