Question

已知數列{a_n}的前n項和S_n=-a_n-（

1

2

）^n-1+2（n∈N^*）．
（1）令b_n=2ⁿa_n，求證：數列{b_n}是等差數列，并求數列{a_n}的通項公式．
（2）令c_n=

n+1

n

an，Tn=c1+c2+…+cn，試比較T_n與

5n

2n+1

的大小，并予以證明．

Answer 1

分析：（1）由題意知S₁=-a₁-1+2=a₁，a1=

1

2

，an=Sn-Sn-1=-an+an-1+(

1

2

)n-1所以2ⁿa_n=2^n-1a_n-1+1，b_n=b_n-1+1，再由b₁=2a₁=1，知數列b_n是首項和公差均為1的等差數列．于是b_n=1+（n-1）•1=n=2ⁿa_n，所以an=

n

2n

（2）cn=

n+1

n

an=(n+1)(

1

2

)n，Tn=2×

1

2

+3×(

1

2

)2++(n+1)×(

1

2

)n，利用錯位相減求和法可知Tn=3-

n+3

2n

Tn-

5n

2n+1

=3-

n+3

2n

-

5n

2n+1

=

(n+3)(2n-2n-1)

2n(2n+1)

，于是確定T_n與

5n

2n+1

的大小關系等價于比較2ⁿ與2n+1的大小．猜想當n=1，2時，2ⁿ＜2n+1，當n≥3時，2ⁿ＞2n+1．然后用數學歸納法證明．

解答：解：（1）在Sn=-an-(

1

2

)n-1+2(n∈N*)中，令n=1，可得S₁=-a₁-1+2=a₁，即a1=

1

2

當n≥2時，Sn-1=-an-1-(

1

2

)n-2+2
所以an=Sn-Sn-1=-an+an-1+(

1

2

)n-1
所以2an=an-1+(

1

2

)n-1，即2ⁿa_n=2^n-1a_n-1+1
因為b_n=2ⁿa_n，所以b_n=b_n-1+1，即當n≥2時，b_n-b_n-1=1
又b₁=2a₁=1，所以數列b_n是首項和公差均為1的等差數列
于是b_n=1+（n-1）•1=n=2ⁿa_n，所以an=

n

2n

（2）由1）得cn=

n+1

n

an=(n+1)(

1

2

)n
所以Tn=2×

1

2

+3×(

1

2

)2+…+(n+1)×(

1

2

)n①

1

2

Tn=2×(

1

2

)2+3×(

1

2

)3++n•(

1

2

)n+(n+1)•(

1

2

)n+1②
由①-②得

1

2

Tn=

3

2

-

n+3

2n+1

所以Tn=3-

n+3

2n

Tn-

5n

2n+1

=3-

n+3

2n

-

5n

2n+1

=

(n+3)(2n-2n-1)

2n(2n+1)

于是確定T_n與

5n

2n+1

的大小關系等價于比較2ⁿ與2n+1的大小．
猜想當n=1，2時，2ⁿ＜2n+1，當n≥3時，2ⁿ＞2n+1
下面用數學歸納法證明：
當n=3時，顯然成立
假設當n=k（k≥3）時，2^k＞2k+1成立
則當n=k+1時，2^k+1=2•2^k＞2（2k+1）=4k+2=2（k+1）+1+（2k-1）＞2（k+1）+1
所以當n=k+1時，猜想也成立．
于是，當n≥3，n∈N^*時，2ⁿ＞2n+1成立
綜上所述，當n=1，2時，Tn＜

5n

2n+1

，
當n≥3時，Tn＞

5n

2n+1

點評：本題考查當數列的綜合運用，難度較大，解題時要認真審題，注意挖掘隱含條件，解題時要注意數學歸納法的解題過程．