【发现证明】如图1，点E，F分别在正方形ABCD的边BC，CD上，∠EAF=45°，试判断BE，EF，FD之间的数量关系．

小聪把△ABE绕点A逆时针旋转90°至△ADG，通过证明△AEF≌△AGF；从而发现并证明了EF=BE+FD．