在矩形ABCD中，AB=3，AD=9，对角线AC、BD交于点O，一直线过O点分别交AD、BC于点E、F，且ED=4，求证：四边形AFCE为菱形。