(1).求数列({a_n})的通项公式。
由于(a_1=2),令(n=1),由(a_{n+1}-a_n=2^n)得到(a_2-a_1=2),即(a_2=4=2^2);
同理(a_3=a_2+2^2=8=2^3),
(a_4=a_3+2^3=16=2^4),
(cdots),
综上所述,(a_n=2^n)。
错因分析:这种解法为不完全归纳法,故算理错误。
正解:由于(a_{n+1}-a_n=2^n);
当(nge 2)时,$$a_n-a_{n-1}=2^{n-1},$$
以上(n-1)个式子累加,得到
(a_n-a_1=2^1+2^2+cdots+2^n=cfrac{2cdot (2^{n-1}-1)}{2-1}=2^n-2)
即(a_n-2=2^n-2),故(a_n=2^n),
当(n=1)时,(a_1=2)满足上式,故(a_n=2^n(nin N^*));
(2).证明:数列({a_n})为等比数列。
分析:由于(a_{n+1}-a_n=2^n);
当(nge 2)时,$$a_n-a_{n-1}=2^{n-1},$$
以上(n-1)个式子累加,得到
(a_n-a_1=2^1+2^2+cdots+2^n=cfrac{2cdot (2^{n-1}-1)}{2-1}=2^n-2)
即(a_n-2=2^n-2),故(a_n=2^n),
当(n=1)时,(a_1=2)满足上式,故(a_n=2^n(nin N^*));
[上述(n=1)的步骤如果缺失,那么也是错误的]
则(cfrac{a_{n+1}}{a_n}=cfrac{2^{n+1}}{2^n}=2),又(a_1=2),
故数列({a_n})为首项为2,公比为2的等比数列。
又由题目可知(S_n=2n^2+3n+1),
两式相减得到(a_n=S_n-S_{n-1}=4n+1),
即所求通项公式为(a_n=4n+1(nin N^*))。
[错因分析]上述解法既缺失对(n=1)的验证,变形中也缺失对自变量的限制;
正解:当(n=1)时,(S_1=a_1=6),
当(nge 2)时,由已知可得(S_{n-1}=2(n-1)^2+3(n-1)+1),
又(S_n=2n^2+3n+1),两式相减得到
(nge 2)时,(a_n=S_n-S_{n-1}=4n+1),
由于(n=1)时,(a_1=6),不满足上式,故需要将通项公式写成分段函数形式,
即所求通项公式为(a_n=egin{cases}6,&n=1\4n+1,&nge 2end{cases})。
得到(a_{n}=2S_{n-1}+2(n-1)+2(ngeqslant 2)②),
①-②得到,(nge 2)时,(a_{n+1}=3a_n+2),
给上式两边同时加(1),变形为(a_{n+1}+1=3(a_n+1)),
故数列({a_n+1})是首项为(3),公比为(3)的等比数列,
故(a_n+1=3cdot3^{n-1}=3^n),所以(a_n=3^n-1),
从而求得(S_n=cfrac{3^{n+1}}{2}-n-cfrac{3}{2}).
[错因分析]:由(a_{n+1}+1=3(a_n+1)(ngeqslant 2)),得到的下标的最小值为(a_3+1=3(a_2+1)),并不能说明数列({a_n+1})为等比数列,还需要说明(a_2+1=3(a_1+1)),故错在缺失对(a_{n+1}+1=3(a_n+1))的(n=1)的验证,
正解:常规方法,由(a_{n+1}=2S_n+2n+2(nin N^*)①),
得到(a_{n}=2S_{n-1}+2(n-1)+2(ngeqslant 2)②),
①-②得到,(nge 2)时,(a_{n+1}=3a_n+2),
给上式两边同时加(1),变形为(a_{n+1}+1=3(a_n+1)),
再验证,当(n=1)时,(a_2=8),(a_2+1=9=3(a_1+1)),满足上式;
故数列({a_n+1})是首项为(3),公比为(3)的等比数列,
故(a_n+1=3cdot3^{n-1}=3^n),所以(a_n=3^n-1),
从而求得(S_n=cfrac{3^{n+1}}{2}-n-cfrac{3}{2}).
法2:将(a_{n+1}=S_{n+1}-S_n)代入(a_{n+1}=2S_n+2n+2),整理得到(S_{n+1}=3S_n+2n+2),
再变形为(S_{n+1}+p(n+1)+q=3(S_n+pn+q)(p、q为常数)),可解得(p=1,q=cfrac{3}{2}),
即(S_{n+1}+(n+1)+cfrac{3}{2}=3(S_n+n+cfrac{3}{2})),
则数列({S_n+n+cfrac{3}{2}})是首项为(a_1+1+cfrac{3}{2}=cfrac{9}{2}),公比为(3)的等比数列;
故(S_n+n+cfrac{3}{2}=cfrac{9}{2}cdot 3^{n-1}),整理得到(S_n=cfrac{3^{n+1}}{2}-n-cfrac{3}{2}).