将△ABE顺时针绕点A旋转90°至ACD位置(AB,AC重合)连结FD,可知BE=CD,△CDF为RT△
∵∠EAF=∠FAD=45°,AE=AD,AF=AF
∴△AEF≌△AFD
∴EF=FD
∵CF^2+CD^2=DF^2
∴BE^2+CF^2=EF^2
将△ABE顺时针绕点A旋转90°至ACD位置(AB,AC重合)连结FD,可知BE=CD,△CDF为RT△
∵∠EAF=∠FAD=45°,AE=AD,AF=AF
∴△AEF≌△AFD
∴EF=FD
∵CF^2+CD^2=DF^2
∴BE^2+CF^2=EF^2