设正方形边长为1,则AE=DE=1/2,DF=1/4,CF=3/4
有勾股定理的
BE²=AB²+AE²=5/4=20/16
EF²=DE²+DF²=5/16
BF²=BC²+CF²=25/16
BE²+EF²=BF²
所以ΔBEF为直角三角形