Question

已知數(shù)列{a_n}及其前n項和S_n滿足：a₁=3，S_n=3S_n-1+3ⁿ（n≥2，n∈N^*）．
（1）證明：設(shè)b_n=

Sn

3n

，{b_n}是等差數(shù)列； 
（2）求S_n及a_n；
（3）判斷數(shù)列{a_n}是否存在最大或最小項，若有則求出來，若沒有請說明理由．

Answer 1

分析：（1）S_n=3S_n-1+3ⁿ（n≥2）⇒

Sn

3n

-

Sn-1

3n-1

=1（n≥2），設(shè)b_n=

Sn

3n

，易證{b_n}是等差數(shù)列；
（2）利用等差數(shù)列的通項公式可求得

Sn

3n

=n，從而可得S_n，繼而可求a_n；
（3）由（2）知，a_n=（2n+1）3^n-1，易證

an

an+1

＜1，數(shù)列{a_n}為遞增數(shù)列，從而可知數(shù)列{a_n}有最小項，無最大項．

解答：解：（1）∵S_n=3S_n-1+3ⁿ（n≥2，n∈N^*），
∴S_n-3S_n-1=3ⁿ（n≥2，n∈N^*），
∴

Sn

3n

-

Sn-1

3n-1

=1（n≥2）．
設(shè)b_n=

Sn

3n

，則{b_n}是公差為1的等差數(shù)列．
（2）又∵b₁=

S1

3

=

a1

3

=1，
∴

Sn

3n

=b₁+（n-1）×1=n，
∴S_n=n•3ⁿ．
當(dāng)n≥2時，a_n=S_n-S_n-1=（2n+1）3^n-1，
又a₁=3滿足上式，
∴a_n=（2n+1）3^n-1，S_n=n•3ⁿ．
（3）∵

an

an+1

=

(2n+1)3n-1

(2n+3)3n

=

2n+1

3(2n+3)

＜1，
又a_n＞0，
∴a_n＜a_n+1，則數(shù)列{a_n}為遞增數(shù)列，
∴數(shù)列{a_n}有最小項，無最大項，此時最小項為a₁=3．

點評：本題考查等差關(guān)系的確定，考查等差數(shù)列的通項公式與數(shù)列的函數(shù)特性（單調(diào)性），考查推理與運算能力，屬于難題．