如图，已知E是正方形ABCD的边AB上一点，点A关于DE的对称点为F，若正方形ABCD的边长为1，且∠BFC＝90°，则AE的长为