Question

設(shè)數(shù)列{a_n}的前n項和為S_n，已知a₁=1，S_n=na_n-2n（n-1），n∈N^*．
（I）求數(shù)列{a_n}的通項公式；
（II）設(shè)bn=

an

2n

，求數(shù)列{b_n}的前n項和T_n；
（III）求使不等式(1+

2

a1+1

)(1+

2

a2+1

)…(1+

3

an+1

)≥p

2n+1

對一切n∈N^*均成立的最大實數(shù)p的值．

Answer 1

（I）證明：∵a₁=1，S_n=na_n-2n（n-1），
S_n+1=（n+1）a_n+1-2（n+1）n，
∴a_n+1=S_n+1-S_n=（n+1）a_n+1-na_n-4n，
∴a_n+1-a_n=4，
∴數(shù)列{a_n}是首項為1，公差為4的等差數(shù)列，
∴a_n=1+（n-1）•4=4n-3．
（II）由（I）知：a_n=4n-3，
∴bn=

an

2n

=

4n-3

2n

，
∴Tn=

1

2

+

5

22

+

9

23

+…+

4n-7

2n-1

+

4n-3

2n

，
∴

1

2

Tn=

1

2 2

+

5

23

+

9

24

+…+

4n-7

2n

+

4n-3

2n+1

，
兩式相減，得：

1

2

Tn=

1

2

+4(

1

2 2

+

1

2 3

+

1

2 4

+…+

1

2 n

）-

4n-3

2n+1

=

1

2

+4×

1 2 2 (1- 1 2 n-1 )

1- 1 2

-

4n-3

2n+1

=

1

2

+2-

2

2 n-1

-

4n-3

2n+1

，
∴Tn=5-

4n+5

2n

．
（III）∵(1+

2

a1+1

)(1+

2

a2+1

)…(1+

2

an+1

)≥p

2n+1

對一切n∈N^*均成立，
即p≤

1

2n+1

(1+

2

a1+1

)(1+

2

a2+1

)…(1+

2

an+1

)對一切n∈N^*均成立，
只需p≤[

1

2n+1

(1+

2

a1+1

)(1+

2

a2+1

)…(1+

2

an+1

)]min_min，n∈N^*，
令f(n)=

1

2n+1

(1+

2

a1+1

 )(1+

2

a2+1

)…(1+

2

an-1+1

)，n≥2，且n∈N^*，
則f(n-1)=

1

2n-1

(1+

2

a1+1

)(1+

2

a2+1

)…(1+

2

an-1+1

)，n≥2，且n∈N^*，

f(n)

f(n-1)

=

2n-1

2n+1

(1+

2

an+1

)=

2n-1

2n+1

•

2n

2n-1

=

2n

4n2-1

＞1，n≥2，且n∈N^*，
∴f（n）＞f（n-1），n≥2，且n∈N^*，
即f（n）在n∈N^*上為增函數(shù)，
∴f(n) min=f(1)=

2

3

=

2 3

3

，
∴p≤

2 3

3

，
故實數(shù)p的最大值是

2 3

3

．