如图,正方形ABCD中,EF⊥AG,正方形面积为64,BG:GC=3:1,求EF