如图，在正方形ABCD中，AB=1，E为边AB上的一点（点E不与端点A、B重合），F为BC延长线上的一点，且AE=CF，联结EF交对角线AC于点G．（1）求证：DE=DF；（2）联结DG，求证：DG⊥EF；（3）设AE=x，AG=

　　如图，在正方形ABCD中，AB=1，E为边AB上的一点（点E不与端点A、B重合），F为BC延长线上的一点，且AE=CF，联结EF交对角线AC于点G．

　　（1）求证：DE=DF；

　　（2）联结DG，求证：DG⊥EF；

　　（3）设AE=x，AG=y，求y关于x的函数解析式及定义域．