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

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