如图，在▱ABCD中，O为AC的中点，过点O作EF⊥AC与边AD、BC分别相交于点E、F，求证：四边形AECF是菱形．