如图,在正方形ABCD中,E为BC上一点,F在CD上,且AE=AF,AB=4,设三角形AEF的面积为y,EC 为x