连接AF
∵四边形ABCD是正方形,
∴∠ABC=∠DAB=90°,
AB=BC
∵E是BC的中点
∴BE=1/2*BC=1/2*AB
∴∠DAB=30°
∴∠DAE=45°
∵∠AEF=90°
∴∠AFC=∠DAE =45°
∴AE=EF