如图1,已知正方形ABCD,将一个45度角 的顶点放在D点并绕D点旋转,角的两边分别交AB边和BC边E和F,连接EF。求证:EF=AE+CF (1) 小这样思考的:延长BC到G,使得CG=AE,连接DG,先证△DAE≌△DCG,再证△DEF≌△DGF,请你借助图2,按照的思路,写出完整的证明思路。 (2)老师看到这条题目后,问了两个小问题:①如果正方形的边长和△BEF的面积都等于6,求EF的长;②将角 绕D点继续旋转,使得角 的两边分别和AB边延长线、BC边的延长线交于E和F,如图3所示,猜想EF、AE、CF三线段之间的数量关系并给予证明。请你帮忙解决。