已知在任意四边形abc的中ef分别是adbc的中点