矩形ABCD的对角线AC的垂直平分线与AC、BD分别交与点E、F.求证:四边形AFCE是菱形