Question

數(shù)列{a_n}中，a₁=2，a_n+1=a_n+2ⁿ+1（n∈N⁺）
（1）求證：數(shù)列{a_n-2ⁿ}是等差數(shù)列；
（2）求數(shù)列{a_n}的通項公式a_n及數(shù)列{a_n}的前n項和S_n；
（3）b_n=log₂（a_n+1-n），若（1+

1

b2

）（1+

1

b3

）…（1+

1

bn

）＞k

n+1

對一切n≥2恒成立，求實數(shù)k的范圍．

Answer 1

分析：（1）先對關系式a_n+1=a_n+2ⁿ+1整理可得到）（a_n+1-2ⁿ⁺¹）-（a_n-2ⁿ）=a_n+1-a_n-2ⁿ=1，即數(shù)列{a_n-2ⁿ}為等差數(shù)列，
（2）根據(jù)（1）可求出數(shù)列{a_n-2ⁿ}的通項公式，即可得到數(shù)列{a_n}的通項公式，
（3）根據(jù)b_n=log₂（a_n+1-n），可得到b_n的表達式，然后代入到不等式的左端中，利用單調性即可求解k的范圍

解答：證明：（1）∵a₁=2，a_n+1=a_n+2ⁿ+1
∴a_n+1-2ⁿ⁺¹=a_n+2ⁿ+1-2ⁿ⁺¹=an-2n+1
即(an+1-2n+1)-(an-2n)=1
∵a1-21=0
∴數(shù)列{a_n-2ⁿ}是以1為公差以0為首項的等差數(shù)列
解：（2）由（1）可得an-2n=n-1
∴an=2n+n-1
S_n=a₁+a₂+…+a_n
=（2+2²+…+2ⁿ）+（0+1+…+n-1）
=

2(1-2n)

1-2

+

(n-1)n

2

=2n+1-2+

1

2

n(n-1)
（3）∵b_n=log₂（a_n+1-n）=log22n=n
∴1+

1

bn

=1+

1

n

∴（1+

1

b2

）（1+

1

b3

）…（1+

1

bn

）=（1+

1

2

）（1+

1

3

）…（1+

1

n

）＞k

n+1

對一切n≥2恒成立
令f（n）=

1

n+1

（1+

1

2

）（1+

1

3

）…（1+

1

n

），
則f（n+1）=

1

n+2

（1+

1

2

）（1+

1

3

）…（1+

1

n

）（1+

1

n+1

）=

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

n+1

•

n+2

n+1

=f(n)•

n+2

n+3

＞f（n）
∴f（n+1）＞f（n）即f（n）單調遞增
∴f（2）=

3

2

為最小值
∴

3

2

＞k
∴k＜

3

2

點評：本小題主要考查數(shù)列、數(shù)學歸納法和不等式的有關知識，考查推理論證、抽象概括、運算求解和探究能力，考查學生是否具有審慎思維的習慣和一定的數(shù)學視野．