如图,正方形ABCD中AB=4点E,F分别在AD,DF上且三角形ADF为等边三角形,则等边三角形边长为