以下是华师版八年级上册数学教材117页的部分内容．

已知：如图，已知矩形ABCD的对角线AC的垂直平分线与边AD、BC分别交于点E、F， 求证：四边形AFCE是菱形。