如图,在梯形ABCD中,AD平行BC,对角线AC与EF相交于点O,EF⊥AC,且点O是AC的中点.求证:四边