来自涂志江的问题
【图1、2是两个相似比为1：2的等腰直角三角形，将两个三角形如图3放置，小直角三角形的斜边与大直角三角形的一直角边重合．（1）图3中，绕点D旋转小直角三角形，使两直角边分别与AC、BC】
图1、2是两个相似比为1：
2的等腰直角三角形，将两个三角形如图3放置，小直角三角形的斜边与大直角三角形的一直角边重合．
（1）图3中，绕点D旋转小直角三角形，使两直角边分别与AC、BC交于点E、F，如图4，①求证：DE=DF．②求证：AE2+BF2=EF2；
（2）在图3中，绕点C旋转小直角三角形，使它的斜和CD延长线分别与交于点，如图5，证明结论：AE2+BF2=EF2仍成立．
