不用向量方法证明已知空间四边形OABC中,OA=OB,CA=CB,EFGH分别为OA OB BC CA中点,求证四边形E