如图，在正方形ABCD中，EF分别是BC，CD上的点，且∠EAF=45°，探究线段BE，FD与EF之间的数量关系．某同学探究的方法大致是将△ABE绕A点旋转90°使得B与D重合，连接AG，由此得到AE=AG，BE=GD，证明∠EAF=∠GAF=45°，再证△EAF≌△GAF，最后通过转化可得出结论：EF=BE+FD．请帮该同学写出证明过程．