结论是：AF=DE
AF⊥DE 垂足为G
因为ABCD为正方形,所以 AD=AB ∠ABF=∠DAE=90° 由AE=BF 所以三角形ABF全等于三角形DAE 所以 AF=DE ∠BAF=∠ADE ∠AFB=∠DEA ∠BAF+∠AFB=90°
则有∠AGD=∠BAF+∠DEA=∠ADE+∠DEA=90°
所以AF⊥DE