1. (2016·深圳模拟) 如图，四边形ABCD是边长为a的正方形，点G、E分别是边AB、BC的中点，∠AEF=90°，且EF交正方形外角的平方线CF于点F．

1. （1） 证明：△AGE≌△ECF； 
3. （2） 求△AEF的面积．