Question

已知數(shù)列{a_n}的前n項(xiàng)和S_n=-a_n-（

1

2

）^n-1+2（n∈N^*）．
（1）令b_n=2ⁿa_n，求證：數(shù)列{b_n}是等差數(shù)列，并求數(shù)列{a_n}的通項(xiàng)公式．
（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，知數(shù)列b_n是首項(xiàng)和公差均為1的等差數(shù)列．于是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，利用錯(cuò)位相減求和法可知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

的大小關(guān)系等價(jià)于比較2ⁿ與2n+1的大�。�猜想當(dāng)n=1，2時(shí)，2ⁿ＜2n+1，當(dāng)n≥3時(shí)，2ⁿ＞2n+1．然后用數(shù)學(xué)歸納法證明．

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

1

2

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

1

2

當(dāng)n≥2時(shí)，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
因?yàn)閎_n=2ⁿa_n，所以b_n=b_n-1+1，即當(dāng)n≥2時(shí)，b_n-b_n-1=1
又b₁=2a₁=1，所以數(shù)列b_n是首項(xiàng)和公差均為1的等差數(shù)列
于是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

的大小關(guān)系等價(jià)于比較2ⁿ與2n+1的大�。�
猜想當(dāng)n=1，2時(shí)，2ⁿ＜2n+1，當(dāng)n≥3時(shí)，2ⁿ＞2n+1
下面用數(shù)學(xué)歸納法證明：
當(dāng)n=3時(shí)，顯然成立
假設(shè)當(dāng)n=k（k≥3）時(shí)，2^k＞2k+1成立
則當(dāng)n=k+1時(shí)，2^k+1=2•2^k＞2（2k+1）=4k+2=2（k+1）+1+（2k-1）＞2（k+1）+1
所以當(dāng)n=k+1時(shí)，猜想也成立．
于是，當(dāng)n≥3，n∈N^*時(shí)，2ⁿ＞2n+1成立
綜上所述，當(dāng)n=1，2時(shí)，Tn＜

5n

2n+1

，
當(dāng)n≥3時(shí)，Tn＞

5n

2n+1

點(diǎn)評(píng)：本題考查當(dāng)數(shù)列的綜合運(yùn)用，難度較大，解題時(shí)要認(rèn)真審題，注意挖掘隱含條件，解題時(shí)要注意數(shù)學(xué)歸納法的解題過程．