如图,矩形ABCD中,点O是AC的中点,AC=2AB,延长AB至G,连接GO交AD于点F,求证:四边形AECF是菱形