已知平行四边形ABCD的对角线AC的垂直平分线与AD、BC、AC分别交于点E、F、O.求证:四边形AFCE是菱形