如图，在矩形ABCD中，对角线AC的垂直平分线分别交BC、AD于点E、F，连接AE、CF．求证：四边形AECF是菱形．