Question

（2011•豐臺區二模）已知數列{a_n}的前n項和為S_n，且S_n=n²．數列{b_n}為等比數列，且b₁=1，b₄=8．
（1）求數列{a_n}，{b_n}的通項公式；
（2）若數列{c_n}滿足cn=abn，求數列{c_n}的前n項和T_n；
（3）在（2）的條件下，數列{c_n}中是否存在三項，使得這三項成等差數列？若存在，求出此三項；若不存在，說明理由．

Answer 1

分析：（1）對于數列{a_n}，已知S_n=n²，利用遞推公式可求當n≥2時，a_n=S_n-S_n-1，當n=1時，a₁=S₁=1可求a_n，對于數列{b_n}，是等比數列，設公比為q，及b₁=1，b₄=b₁q³=8，可求q，進而可求b_n
（2）由題意可得，cn=abn=2bn-1=2ⁿ-1，結合數列的特點可考慮利用分組求和，結合等差數列及等比數列的求和公式可求；
（3）假設數列{c_n}中存在三項c_m，c_k，c_l成等差數列，則2c_k=c_l+c_m，由（2）可得2（2^k-1）=（2^m-1）+（2^l-1），變形可得2•2^k=2^m+2^l=2^m（1+2^l-m），進而可變形為2^k+1-m-2^l-m=1，由整數的性質可得矛盾，即可以得打結論．

解答：解：（1）∵數列{a_n}的前n項和為S_n，且S_n=n²，
∴當n≥2時，a_n=S_n-S_n-1=n²-（n-1）²=2n-1．
當n=1時，a₁=S₁=1亦滿足上式，
故a_n=2n-1，（n∈N*）．       
又數列{b_n}為等比數列，設公比為q，
∵b₁=1，b₄=b₁q³=8，∴q=2．
∴b_n=2^n-1（n∈N*）．                      
（2）cn=abn=2bn-1=2n-1．
T_n=c₁+c₂+c₃+…c_n=（2¹-1）+（2²-1）+…+（2ⁿ-1）=（2¹+2²+…2ⁿ）-n=

2(1-2n)

1-2

-n．
所以 T_n=2ⁿ⁺¹-2-n．                               
（3）假設數列{c_n}中存在三項c_m，c_k，c_l成等差數列，不妨設m＜k＜l（m，k，l∈N*）
因為 c_n=2ⁿ-1，
所以 c_m＜c_k＜c_l，且三者成等差數列．
所以 2c_k=c_l+c_m，
即2（2^k-1）=（2^m-1）+（2^l-1），
變形可得：2•2^k=2^m+2^l=2^m（1+2^l-m）
所以 

2k+1

2m

=1+2l-m，即2^k+1-m=1+2^l-m．
所以 2^k+1-m-2^l-m=1．
因為m＜k＜l（m，k，l∈N*），
所以 2^k+1-m，2^l-m均為偶數，而1為奇數，
所以等式不成立．
所以數列{c_n}中不存在三項，使得這三項成等差數列．

點評：本題綜合考查等比數列、與等差數列，涉及數列的等差、等比的性質、等差數列的判定以及數列的求和，需要全面掌握數列的有關性質．