Question

已知数列{a_n}的前n项和为S_n，点（n，S_n）在函数f（x）=2^x-1的图象上，数列{b_n}满足b_n=log₂a_n-12（n∈N^*）．
（1）求数列{a_n}的通项公式；
（2）设数列{b_n}的前n项和为T_n，当T_n最小时，求n的值；
（3）求不等式T_n＜b_n的解集．

Answer 1

（1）依题意：S_n=2ⁿ-1（n∈N^*），
∴当n≥2时，a_n=S_n-S_n-1=2ⁿ-2^n-1=2^n-1．
当n=1，S₁=a₁=1，∴a_n=2^n-1（n∈N^*）；
（2）因为b_n=log₂a_n-12=n-13，
所以b₁=-12，d=b_n-b_n-1=（n-13）-（n-1-13）=1．
所以数列{b_n}是以-12为首项，以1为公差的等差数列．
∴T_n=-12n+

n(n-1)

2

=

n2-25n

2

=

1

2

（n-

25

2

）²-

625

8

．
故当n=12或13时，数列{b_n}的前n项和最小；
（3）由T_n-b_n=

n2-25n

2

-（n-13）=

n2-27n+26

2

=

(n-1)(n-26)

2

＜0，
∴1＜n＜26，且n∈N^*，
所以不等式的解集为{n|1＜n＜26，n∈N^*}．