Question

已知n是正整數，數列{a_n}的前n項和為S_n，對任何正整數n，等式S_n=-a_n+

1

2

（n-3）都成立．
（I）求數列{a_n}的首項a₁；
（II）求數列{a_n}的通項公式；
（III）設數列{na_n}的前n項和為T_n，不等式2T_n≤（2n+4）S_n+3是否對一切正整數n恒成立？若不恒成立，請求出不成立時n的所有值；若恒成立，請給出證明．

Answer 1

（I）當n=1時，a1= S1= -a1+

1

2

(1-3)，解得a1=-

1

2

．
   （II）當n≥2時，an=Sn-Sn-1= 

1

2

an-1+

1

4

，則an-

1

2

=

1

2

(an-1-

1

2

)
因此數列{an-

1

2

}是首項為-1，公比為

1

2

的等比數列，
∴an-

1

2

=(-1)•(

1

2

)n-1
∴an=

1

2

-

1

2n-1

 數列{a_n}的通項公式是an=

1

2

-

1

2n-1

 （III）不等式2T_n≤（2n+4）S_n+3對一切正整數n都成立，
∵nan=

n

2

-n•

1

2n-1

，
∴Tn=

1

2

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

1

2

+3•

1

22

+…+n•

1

2n-1

)
令Un=-(1+2•

1

2

+3•

1

22

+…+n•

1

2n-1

)
則

1

2

 Un= 

1

2

+2•

1

22

+3•

1

23

+…+(n-1)•

1

2n-1

+n•

1

2n

上面兩式相減：

1

2

Un= 1+

1

2

+

1

22

 +…+

1

2n-1

-n•

1

2n

即Un=4-

n+2

2n-1

∴Tn=

n(n+1)

4

- 4+

n+2

2n-1

=

n2+n-16

4

+

n+2

2n-1

∵Sn=-an+

1

2

(n-3)=-

1

2

+

1

2n-1

+

n-3

2

=

n-4

2

+

1

2n-1

∴2T_n-（2n+4）S_n=

n2+n-16

2

+

n+2

2n-2

-

2(n+4)(n-4)

2

- 

n+2

2n-2

=

-n2+5n

2

∴當n=2或n=3時，

-n2+5n

2

的值最大，最大值為3，
∴對一切正整數n.2T_n-（2n+4）S_n≤3
∴不等式2T_n-（2n+4）S_n+3對一切正整數n都成立．