Question

已知數(shù)列{a_n}的前n項(xiàng)和為S_n，且an+1=

2Sn

an

(n∈N*)，其中a₁=1，a_n≠0．
（Ⅰ）求a₂，a₃；
（Ⅱ）求數(shù)列{a_n}的通項(xiàng)公式；
（Ⅲ）設(shè)數(shù)列{b_n}滿足(2an-1)(2bn-1)=1，T_n為{b_n}的前n項(xiàng)和，試比較T_n與log2

(2an+1)

的大小，并說明理由．

Answer 1

（Ⅰ）∵an+1=

2Sn

an

(n∈N*)，其中a₁=1，a_n≠0．
∴a2=

2S1

a1

=

2a1

a1

=2，
a3=

2S2

a2

=

2(a1+a2)

a2

=3．
（Ⅱ）由已知可知Sn=

1

2

anan+1，故an+1=Sn+1-Sn=

1

2

an+1an+2-

1

2

anan+1．
∵a_n+1≠0，∴a_n+2-a_n=2（n∈N^*）．         
于是 數(shù)列{a_2m-1}是以a₁=1為首項(xiàng)，2為公差的等差數(shù)列，∴a_2m-1=1+2（m-1）=2m-1，
數(shù)列{a_2m}是以a₂=2為首項(xiàng)，2為公差的等差數(shù)列，∴a_2m=2+2（m-1）=2m，
∴a_n=n（n∈N^*）．                     
（Ⅲ）可知Tn＞log2

(2an+1)

．下面給出證明：
要比較T_n與log2

(2an+1)

的大小，只需比較2T_n與log₂（2a_n+1）的大小．
由(2an-1)(2bn-1)=1，得(2n-1)(2bn-1)=1，2bn=

2n

2n-1

，
故bn=log2

2n

2n-1

．            
從而 Tn=b1+b2+…+bn=log2(

2

1

•

4

3

•

6

5

•…•

2n

2n-1

)．
2Tn=2log2(

2

1

•

4

3

•

6

5

•…•

2n

2n-1

)=log2(

2

1

•

4

3

•

6

5

•…•

2n

2n-1

)2
因此2T_n-log₂（2a_n+1）=log2(

2

1

•

4

3

•

6

5

•…•

2n

2n-1

)2-log₂（2n+1）
=log2(

2

1

•

4

3

•

6

5

•…•

2n

2n-1

)2+log2

1

2n+1

=log2[(

2

1

•

4

3

•

6

5

•…•

2n

2n-1

)2•

1

2n+1

]．
設(shè)f(n)=(

2

1

•

4

3

•

6

5

•…•

2n

2n-1

)2•

1

2n+1

，
則f(n+1)=(

2

1

•

4

3

•

6

5

•…•

2n

2n-1

•

2n+2

2n+1

)2•

1

2n+3

，
故

f(n+1)

f(n)

=

2n+1

2n+3

•(

2n+2

2n+1

)2=

(2n+2)2

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

=

4n2+8n+4

4n2+8n+3

＞1，
又f（n）＞0，∴f（n+1）＞f（n）．
所以對于任意 n∈N^*都有f(n)≥f(1)=

4

3

＞1，
從而2T_n-log₂（2a_n+1）=log₂f（n）＞0．
所以2Tn＞log2(2an+1)，n∈N*．
即  Tn＞log2

(2an+1)

．