如图，四边形ABCD是边长为a的正方形，点G、E分别是边AB、BC的中点，∠AEF=90°，且EF交正方形外角的平方线CF于点F．