一个边长为10的正方形ABCD,E、F两点分别在BC、CD边上,EF=8,∠EAF=45°,求三角形AEF的面积.