因为ABCD为正方形,所以∠DAB=∠ABF=∠ADE,且AD=AB
又因为AF垂直AE,所以∠DAE+∠EAB=∠BAF+∠EAB=90°
直角三角形ADE和直角三角形ABF全等
DE=BF