正方形ABCD绕C按顺时针方向旋转30度后,得正方形EFCG,EF交AD于点H,DH=1,正方形ABCD长是多少