正方形ABCD的边长为4,E是DC的中点,F是BC上一点,且CF=1/3BF.试确定角AEF的度数.