如图，已知正方形ABCD的边长为3，以点A为圆心，1为半径作圆，E是⊙A上的任意一点，将DE绕点D按逆时针旋转90°，得到DF，连接AF，则AF的最小值是．