如图，E是正方形ABCD的边DC上一点，把△ADE绕点A顺时针旋转90°到△ABF的位置．若四边形AECF的面积为20，DE=2，则AE的长为．