如果三角形的边长都是正整数，并且最长边的长是6，那么这样的三角形共有

1. A.
   13
2. B.
   12
3. C.
   10
4. D.
   9

如图1，已知正方形ABCD，将一个45度角∝的顶点放在D点并绕D点旋转，角的两边分别交AB边和BC边于点E和F，连接EF。求证:EF=AE+CF（12分）

   （1） 小明是这样思考的:延长BC到G，使得CG=AE，连接DG，先证△DAE≌△DCG，再证△DEF≌△DGF，请你借助图2，按照小明的思路，写出完整的证明思路。

    （2）刘老师看到这条题目后，问了小明两个小问题：①如果正方形的边长和△BEF的面积都等于6，求EF的长②将角∝绕D点继续旋转，使得角∝的两边分别和AB边延长线、BC边的延长线交于E和F，如图3所示，猜想EF、AE、CF三线段之间的数量关系并给予证明。请你帮忙解决。

如图1，已知正方形ABCD，将一个45度角∝的顶点放在D点并绕D点旋转，角的两边分别交AB边和BC边于点E和F，连接EF．求证：EF=AE+CF
（1）小明是这样思考的：延长BC到G，使得CG=AE，连接DG，先证△DAE≌△DCG，再证△DEF≌△DGF，请你借助图2，按照小明的思路，写出完整的证明思路．
（2）刘老师看到这条题目后，问了小明两个小问题：①如果正方形的边长和△BEF的面积都等于6，求EF的长②将角∝绕D点继续旋转，使得角∝的两边分别和AB边延长线、BC边的延长线交于E和F，如图3所示，猜想EF、AE、CF三线段之间的数量关系并给予证明．请你帮忙解决．