在矩形ABCD中,AB=4BC=6,垂直平分线AC于点O,连接AF,BE,CE,DF.求证四边形AFCE是菱形