Question

已知各項均為正數(shù)的數(shù)列{a_n}的前n項和為S_n，滿足S₁＞1，且6Sn=(an+1)(an+2)，n∈N*
（1）求{a_n}通項公式；
（2）設(shè)數(shù)列{b_n}滿足an(2bn-1)=1，并記T_n為{b_n}的前n項和，求證：3Tn+1＞log2(an+3)，n∈N*．

Answer 1

分析：（1）由各項均為正數(shù)的數(shù)列{a_n}的前n項和為S_n，滿足S₁＞1，且6Sn=(an+1)(an+2)，n∈N*，知6S_n=an2+3a_n+2，由此利用迭代法能求出{a_n}通項公式．
（2）由an(2bn-1)=1，an=3n-1．n∈N*，知bn=log2

3n

3n-1

，故T_n=log2(

3

2

×

6

5

×

8

9

×…×

3n

3n-1

)，由此利用構(gòu)造法能證明3Tn+1＞log2(an+3)，n∈N*．

解答：解：（1）∵各項均為正數(shù)的數(shù)列{a_n}的前n項和為S_n，滿足S₁＞1，
且6Sn=(an+1)(an+2)，n∈N*，
∴6S_n=an2+3a_n+2，①
當(dāng)n≥2時，6Sn-1=an-12+3an-1+2，②
①-②，得：6an=an2-an-12+3an-3an-1，
∴3an+3an-1=an2-an-12，
∴3（a_n+a_n-1）=（a_n+a_n-1）（a_n-a_n-1），
∵a_n＞0，
∴a_n-a_n-1=3，n≥2，
當(dāng)n=1時，6a1=a12+3a1+2，
解得a₁=1，或a₁=2，
∵S₁=a₁＞1，∴a₁=1，
∴數(shù)列{a_n}是以2為首項，以3為公差的等差數(shù)列，
∴an=3n-1．n∈N*．
（2）∵an(2bn-1)=1，an=3n-1．n∈N*，
∴bn=log2

3n

3n-1

，
∴T_n=log2(

3

2

×

6

5

×

8

9

×…×

3n

3n-1

)，
∵3Tn+1＞log2(an+3)，n∈N*，
∴3log2(

3

2

×

6

5

×

8

9

×…×

3n

3n-1

)+1＞log₂（3n+2），
∴log2

2( 3 2 × 6 5 × 9 8 ×…× 3n 3n-1 )3

3n+2

＞0，
令f（n）=

2( 3 2 × 6 5 × 9 8 ×…× 3n 3n-1 )

3n+2

，
則f（n+1）-f（n）＞0，
∴f（n）≥f（1）=

27

25

＞1，
∴3Tn+1＞log2(an+3)，n∈N*．

點評：本題考查數(shù)列的通項公式的求法，考查不等式的證明，解題時要認(rèn)真審題，仔細(xì)解答，注意迭代法和構(gòu)造法的合理運用．