Question

在數列{a_n}中，a₁=1，當n≥2時，其前n項S_n滿足S_n²=a_n(Sn-

1

2

)．
（I）求a_n；
（II）設b_n=

Sn

2n+1

，求數列{b_n}的前n項和T_n；
（III）是否存在自然數m，使得對任意n∈N^*，都有T_n＞

1

4

（m-8）成立？若存在，求出m的最大值；若不存在，請說明理由．

Answer 1

（I）∵S_n²=a_n（S_n-

1

2

）（n≥2）
∴S_n²=（S_n-S_n-1）（S_n-

1

2

）
∴2S_nS_n-1=S_n-1-S_n
∴2=

1

Sn

-

1

Sn-1

…（2分）
又a₁=1，

1

S1

=1
∴數列{

1

Sn

}為首項為1，公差為2的等差數列．…（3分）
∴

1

Sn

=1+（n-1）•2=2n-1
∴S_n=

1

2n-1

．
∴a_n=

1，(n=1) - 2 (2n-1)(2n-3) ，(n≥2)

…（5分）
（II）b_n=

Sn

2n+1

=

1

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

=

1

2

(

1

2n-1

-

1

2n+1

）
∴T_n=b₁+b₂+…+b_n=

1

2

[(1-

1

3

)+(

1

3

-

1

5

)+…+(

1

2n-3

-

1

2n-1

)+(

1

2n-1

-

1

2n+1

）]
=

1

2

(1-

1

2n+1

)=

n

2n+1

…（8分）
（III）令T（x）=

x

2x+1

，則T（x）在[1，+∞）上是增函數
∴當n=1時T_n=

n

2n+1

(n∈N*)取得最小值．T1=

1

3

…（10分）
由題意可知，要使得對任意n∈N^*，都有T_n＞

1

4

（m-8）成立，
只要T₁＞

1

4

（m-8）即可．
∴

1

3

＞

1

4

（m-8），解之得m＜

28

3

又∵m∈n，∴m=9．…（12分）