已知数列an中，a1=1，a2=a-1（a≠1，a为实常数），前n项和Sn恒为正

问题解答题

已知数列a_n中，a₁=1，a₂=a-1（a≠1，a为实常数），前n项和S_n恒为正值，且当n≥2时，

an+1

．
（1）求证：数列S_n是等比数列；
（2）设a_n与a_n+2的等差中项为A，比较A与a_n+1的大小；
（3）设m是给定的正整数，a=2．现按如下方法构造项数为2m有穷数列b_n：当k=m+1，m+2，…，2m时，b_k=a_k•a_k+1；当k=1，2，…，m时，b_k=b_2m-k+1．求数列b_n的前n项和为T_n（n≤2m，n∈N^*）．

答案

（1）当n≥3时，

an+1

Sn-Sn-1

Sn+1-SN

，

化简得S_n²=S_n-1S_n+1（n≥3），又由a₁=1，a₂=a-1得

a-1

，

解得a₃=a（a-1），∴S₁=1，S₂=a，S₃=a²，也满足S_n²=S_n-1S_n+1，而S_n恒为正值，

∴数列{S_n}是等比数列．（4分）

（2）S_n的首项为1，公比为a，S_n=a^n-1．

当n≥2时，a_n=S_n-S_n-1=（a-1）a^n-2，

∴a_n=

1 n=1

(a-1) an-2，n≥2

当n=1时，A-an+1=

a1+a3

-a2=

a2-3a+3

[(a-

)2+

]≥

，此时A＞a_n+1．（6分）

当n≥2时，A-an+1=

an+an+2

-an+1=

(a-1)an-2+(a-1)an

-(a-1)an-1=

(a-1)an-2(a2-2a+1)

(a-1)3an-2

．

∵S_n恒为正值∴a＞0且a≠1，

若0＜a＜1，则A-a_n+1＜0，若a＞1，则A-a_n+1＞0．

综上可得，当n=1时，A＞a_n+1；

当n≥2时，若0＜a＜1，则A＜a_n+1，

若a＞1，则A＞a_n+1．（10分）

（3）∵a=2∴a_n=

1 n=1

2n-2，n≥2

，当m+1≤k≤2m时，b_k=a_k•a_k+1=2^2k-3．

若n≤m，n∈N^*，则由题设得b₁=b_2m，b₂=b_2m-1，b_n=b_2m-n+1

T_n=b₁+b₂+…+b_n=b_2m+b_2m-1+…+b_2m-n+1

=24m-3+24m-5++24m-2n-1=

24m-3(1-4-n)

1-4-1

24m-1(1-2-2n)

．（13分）

若m+1≤n≤2m，n∈N^*，则T_n=b_m+b_m+1+b_m+2+…+b_n=

24m-1(1-2-2m)

+22m-1+22m+1++22n-3

24m-1(1-2-2m)

22m-1(1-4n-m)

1-4

22m-1(22m-1)

．

综上得T_n=

24m-1(1-2-2n)

，1≤n≤m

22m-1(22m-1)

，m+1≤n≤2m

．（16分）