设正方形边长为4x
则AB=4x,BF=2x,FC=2x,CE=x,ED=3x,DA=4x
由勾股定理,AF=2sqrt(5)x,EF=sqrt(5)x,AE=5x,
即有AF^2+EF^2=AE^2
由勾股定理,三角形AEF是直角三角形