已知:如图,正方形ABCD的边长为4,E、F分别是BC、CD上的点,且AE=AF,设△AEF的面积为y,EC的长为X,求