①依题意补全图2;
②用等式表示线段之间的数量关系,并证明.
如图,已知正方形ABCD的边长是2,∠EAF=m°,将∠EAF绕点A顺时针旋转,它的两边分别交BC、CD于点E、F,G是CB延长线上一点,且始终保持BG=DF.
(1)求证:△ABG≌△ADF;
(2)求证:AG⊥AF;
(3)当EF=BE+DF时,①求m的值;②若F是CD的中点,求BE的长.