21.
(2021九上·宜州期中)
如圖,在正方形ABCD中,EF分別是BC,CD上的點(diǎn),且∠EAF=45°,探究線段BE,F(xiàn)D與EF之間的數(shù)量關(guān)系.某同學(xué)探究的方法大致是將△ABE繞A點(diǎn)旋轉(zhuǎn)90°使得B與D重合,連接AG,由此得到AE=AG,BE=GD,證明∠EAF=∠GAF=45°,再證△EAF≌△GAF,最后通過(guò)轉(zhuǎn)化可得出結(jié)論:EF=BE+FD.請(qǐng)幫該同學(xué)寫出證明過(guò)程.