来自洪卫的问题
如图，在正方形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的函数解析式及定义域．
