矩形ABCD中,AC的垂直平分线EF交AD,BC于点E,F,垂足为O.连接AF,CE.求AFCE为菱形?