如图是由边长为1的小正三角形组成的网格图，点O和△ABC的顶点都在正三角形的格点上，将△ABC绕点O逆时针旋转120°得到△A′B′C′．

图1是边长分别为a和b（a＞b）的两个等边三角形纸片ABC和C′DE叠放在一起（C与C′重合）的图形．

操作与证明：

如图，已知在Rt△AOB中，点A（1，2），∠OBA=90°，OB在x轴上，将△AOB绕点A逆时针旋转90°，点O的对应点C恰好落在双曲线y= （k＞0）上，则k的值为（   ）

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

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