(8分)勾股定理是一个有关直角三角形三边关系的结论："直角三角形两直角边的平方和等于斜边的平方。”如果用a，b，c分别表示直角三角形的两直角边和斜边，那么
， 例如：如图1，在Rt△ABC中，两直角边AC和BC的长分别为6和8，则斜边AB
2=AC
2+BC
2=6
2+8
2=100，所以 AB=10；反过来，“如果一个三角形三条边满足其中两边的平方之和等于第三边的平方，那么这个三角形就是直角三角形。“
例如：在△ABC中，若AB=5，AC=3，BC=4，因为
， 所以
， 所以△ABC 就是直角三角形。
阅读以上材料，解答下面的问题：
已知：如图2，在正方形ABCD中，AB=8，AE=4，DF=2。
