Question

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

2

n

+1）a_n（n≥1）．
（1）求證：數列{

an

n

}是等比數列；
（2）設數列{2ⁿa_n}的前n項和為T_n，A_n=

1

T1

+

1

T2

+

1

T3

+…+

1

Tn

．試比較A_n與

2

nan

的大小．

Answer 1

（1）由a₁=S₁=2-3a₁得a₁=

1

2

，
由S_n=2-（

2

n

+1）a_n得S_n-1=2-（

2

n-1

+1）a_n-1，
于是a_n=S_n-S_n-1=（

2

n-1

+1）a_n-1-（

2

n

+1）a_n，
整理得

an

n

=

1

2

×

an-1

n-1

（n≥2），
所以數列{

an

n

}是首項及公比均為

1

2

的等比數列．
（2）由（Ⅰ）得

an

n

=

1

2

×(

1

2

)n-1=

1

2n

．
于是2ⁿa_n=n，T_n=1+2+3+…+n=

n(n+1)

2

，

1

Tn

=

2

n(n+1)

=2(

1

n

-

1

n+1

)，
A_n=2[（1-

1

2

）+（

1

2

-

1

3

）+…+(

1

n

-

1

n+1

)=2（1-

1

n+1

）=

2n

n+1

．

又

2

nan

=

2n+1

n2

，問題轉化為比較

2n+1

n2

與

2n

n+1

的大小，即

2n

n2

與

n

n+1

的大小．
設f（n）=

2n

n2

，g（n）=

n

n+1

．
∵f（n+1）-f（n）=

2n[n(n-2)-1]

[n(n+1)]2

，當n≥3時，f（n+1）-f（n）＞0，
∴當n≥3時f（n）單調遞增，
∴當n≥4時，f（n）≥f（4）=1，而g（n）＜1，∴當n≥4時f（n）＞g（n），
經檢驗n=1，2，3時，仍有f（n）≥g（n），
因此，對任意正整數n，都有f（n）＞g（n），
即A_n＜

2

nan

．