【发现证明】如图(1)所示，点E，F分别在正方形ABCD的边BC，CD上，∠EAF=45°，在判断BE，EF，FD之间的数量关系时，小聪把△ABE绕点A逆时针旋转90°至△ADG，通过证明△AEF≌△AGF；从而发现并证明了EF=BE+FD.