正方形ABCD中,角EAF=45度,AE的长为