已知△ABC和△CDE都为等腰直角三角形，∠ACB＝∠ECD＝90°．
探究：如图①，当点A在边EC上，点C在线段BD上时，连结BE、AD．求证：BE＝AD，BE⊥AD．
拓展：如图②，当点A在边DE上时，AB、CE交于点F，连结BE．若AE＝2，AD＝4，则的值为 ．

问题发现
小明在学习鲁教版八年级上册97页例4时,受到启发进行如下数学实验操作:
如图1,取一个锐角为45°的三角尺,把锐角顶点放在正方形ABCD的顶点D处，将三角尺绕点D旋转一个角度,使三角尺的直角边与斜边分别交边AB,BC于点E和点F,连接FE,在绕点D旋转过程中,发现线段AE,EF,CF满足EF=AE+CF的数量关系,但是不会进行证明,数学张老师给他如下的提示:把△ADE绕点D逆时针旋转90°至△DCE’的位置,小明画旋转后的图形,利用全等的知识证明了出来.你根据上面的提示画出旋转后的图形,并将上面的结论进行证明.
      
问题探究
小明的探究引发了老师的兴趣,老师将三角尺绕点D旋转到如图2的位置,三角尺的直角边与斜边分别交边AB,BC的延长线于点E和点F,老师问题小明此时AE,EF,CF满足什么数量关系,小明思考后说出了正确的结论.请同学们直接写出正确结论(不用写出证明过程).
拓展延伸
张老师让小明利用上面探究积累的学习经验,解答下面的问题:
如图3已知正方形ABCD,点E在边AB上,点F在边BC上,且∠EDF=45°,若CD=6,AE=2,求CF的长.

如图，已知正方形的边长是，，将绕点顺时针旋转，它的两边分别交于点，是延长线上一点，且始终保持．
（1）求证：；
（2）求证：；
（3）当时：
①求的值；②若是的中点，求的长．

如图，G为正方形ABCD的边AD上的一个动点，正方形的边长为4，AE⊥BG，CF⊥BG，垂足分别为点E，F，则AE²+CF²=__________．

如图，已知四边形ABCD为正方形，AB=，点E为对角线AC上一动点，连接DE，过点E作EF⊥DE，交射线BC于点F，以DE、EF为邻边作矩形DEFG，连接C

A． (1)求证:矩形DEFG是正方形(提示:可过E作EM⊥BC于M点,过E作EN⊥CD于N点,证△EMF≌△END)； (2)CE+CG的值是否为定值?若是，请写出这个定值(直接写出结果即可)；若不是，请说明理由。