已知数列{an}的前n项和为Sn，点（n，Sn）在函数f（x）=2x-1的图象上

问题解答题

已知数列{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的解集．

答案

（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)

n2-25n

（n-

）²-

625

．

故当n=12或13时，数列{b_n}的前n项和最小；

（3）由T_n-b_n=

n2-25n

-（n-13）=

n2-27n+26

(n-1)(n-26)

＜0，

∴1＜n＜26，且n∈N^*，

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