问题补充：
正方形ABCD中,点E,F分别DC,BC上,连接AE和EF,DE=1/2EC,BF:FC=7:2,求证角AEF=90度
答案：
连接AF设正方形边长为a
因为AE²+ EF²=(AD²+DE²) +(EC²+FC²)
=a²+(a/3)²+(2a/3)²+(2a/9)²
=a²(1+1/9+4/9+4/81)= a²(1+49/81)
AF²=AB²+BF²
= a²+(7a/9)²
= a² (1+49/81)
AE²+ EF²= AF²
所以△AEF为直角三角形,∠AEF=90°
