在平行四边形ABCD中,O为AC的中点,过点O作AC的垂线,与AD,BC相交与点E,F .求证四边形AFCE是菱形