在矩形ABCD中,对角线AC的垂直平分线与边AD,BC交于E,F,求证:AFCE是菱形