Question

已知数列{a_n}满足a₁=2，a_n+1=3a_n+2n-1（n∈N^*）．
（1）求证数列{a_n+n}是等比数列，并求a_n
（2）若数列{b_n}中1＞₂=6，前n项和为T_n，且9^T_n-a=（a_n+n）^b_n（n∈N^*），求数列{b_n}的通项公式．

Answer 1

解：（1）由题设得a_n+1+（n+1）=3（a_n+n）∵a₁+1=3　　
∴{a_n+n}是首项为3，公比为3的等比数列，
∴an+n=3ⁿ
∴an=3ⁿ-n
（2）∵9^T_n-a=（a_n+n）^b_n（n∈N^*），即3^2T_n-2n=3^nb_n
∴2T_n-2n=nb_n ①
由①得2T_n+1-2（n+1）=（n+1）b_n+1 ②，
②-①得2（b_n+1-1）=（n+1）b_n+1-nb_n
即（n-1）b_n+1-nb_n+2=0 ③
由③得nb_n+2-（n+1）b_n+1+2=0 ④
④-③得nb_n+2-2nb_n+1+nb_n=0
∴b_n+2-b_n+1=b_n+1-b_n
∴{b_n}是等差数列
由9^b1-1=3^b1 得b₁=2，又∵b₂=6
∴公差d=4
∴b_n=b₁+（n-1）d=4n-2
分析：（1）利用构造法求通项公式，将a_n+1=3a_n+2n-1写成a_n+1+（n+1）=3（a_n+n）即可证明数列{a_n+n}是等比数列，进而求得通项公式；
（2）首先将an的通项公式代入9^T_n-a=（a_n+n）^b_n整理得到2T_n-2n=nb_n 然后求出当n=n+1时的式子，再两式相减，求得b_n+2-b_n+1=b_n+1-b_n判断出{b_n}是等差数列；由
由9^b1-1=3^b1 得b₁=2，进而求出公差，即可得到通项公式．
点评：本题考查了数列的递推式和数列的通项公式，此题采用了构造法求通项公式，难度较大，属于难题．