已知正方形ABCD的边长为4,E.F分别是BC.CD上不与C重合的点且AE=AF,试写出三角形AEF的面积y与AC之长x