在平行四边形ABCD中,AC为对角线,EF垂直平分AC,交AC于O,证明四边形AFCE为菱形