Question

设实数数列{a_n}的前n项和S_n满足S_n+1=a_n+1S_n（n∈N^*）．
（Ⅰ）若a₁，S₂，-2a₂成等比数列，求S₂和a₃．
（Ⅱ）求证：对k≥3有0≤a_k≤

4

3

．

Answer 1

分析：（Ⅰ）由题意

S22=-2a1a2 S2=a2S1=a1a2

，得S₂²=-2S₂，由S₂是等比中项知S₂=-2，由此能求出S₂和a₃．
（Ⅱ）由题设条件知S_n+a_n+1=a_n+1S_n，S_n≠1，a_n+1≠1，且an+1=

Sn

Sn-1

，Sn=

an+1

an+1-1

，由此能够证明对k≥3有0≤a_n-1≤

4

3

．

解答：解：（Ⅰ）由题意

S22=-2a1a2 S2=a2S1=a1a2

，
得S₂²=-2S₂，
由S₂是等比中项知S₂≠0，
∴S₂=-2．
由S₂+a₃=a₃S₂，解得a3=

S2

S2-1

=

-2

-2-1

=

2

3

．
（Ⅱ）证明：因为S_n+1=a₁+a₂+a₃+…+a_n+a_n+1=a_n+1+S_n，
由题设条件知S_n+a_n+1=a_n+1S_n，
∴S_n≠1，a_n+1≠1，且an+1=

Sn

Sn-1

，Sn=

an+1

an+1-1

从而对k≥3 有a_k=

Sk-1

Sk-1-1

=

ak-1+Sk-2

ak-1+Sk-2-1

=

ak-1+ ak-1 ak-1-1

ak-1+ ak-1 ak-1-1 -1

①
因

a

2 k-1

-ak-1+1=(ak-1-

1

2

)2+

3

4

＞0，且

a

2 k-1

≥0，
要证ak≤

4

3

，由①，只要证

a 2 k-1

a 2 k-1 -ak-1+1

≤

4

3

即证3

a

2 k-1

≤4(

a

2 k-1

-ak-1+1)，即(ak-1-2)2≥0，
此式明显成立，因此ak≤

4

3

(k≥3)．

点评：本题考查数列的性质和应用，解题时要认真审题，仔细解答，注意公式的合理运用．