矩形ABCD,EF垂直平分AC交AD于E,交BC于F,交AC于O (1)求证四边形AFCE是菱形 (2)若AB=4,BC