如图，正方形ABCD的边长为2，E是边BC上的一点，连接AE，将点E绕点A顺时针旋转使得E点的对应点F落在CB的延长线上，连接AF，过点F作AE的垂线，交对角线AC于点G，若AG＝2CG，则线段EF的长为 .