问题情境：数学活动课上，老师出示了一个问题：如图1，在正方形ABCD中，点E是边CD上一点，将△ADE以点A为中心，顺时针旋转90°，得到△ABF，连接EF．过点A作AG⊥EF，垂足为G．试猜想FG与GE的数量关系，并证明．