① ;
② ;
③ ;
④ 的面积的最大值为1.
其中正确结论的序号是.(把正确结论的序号都填上)
如图,正方形ABCD的边长为4,E、F分别是BC、CD上的两个动点,且AE⊥EF.则AF的最小值是.