Question

對于數(shù)列{a_n}，若存在確定的自然數(shù)T＞0，使得對任意的自然數(shù)n∈N^*，都有：a_n+T=a_n成立，則稱數(shù)列{a_n}是以T為周期的周期數(shù)列．
（1）記S_n=a₁+a₂+a₃+…+a_n，若{a_n}滿足a_n+2=a_n+1-a_n，且S₂=1007，S₃=2010，求證：數(shù)列{a_n}是以6為周期的周期數(shù)列，并求S₂₀₀₉；
（2）若{a_n}滿足a1=p∈[0， 

1

2

)，且a_n+1=-2a_n²+2a_n，試判斷{a_n}是否為周期數(shù)列，且說明理由；
（3）由（1）得數(shù)列{a_n}，又設(shè)數(shù)列{b_n}，其中bn=an+2n+

2009

2n

，問是否存在最小的自然數(shù)n（n∈N^*），使得對一切自然數(shù)m≥n，都有b_m＞2009？請說明理由．

Answer 1

（1）a_n+6=a_n+5-a_n-4=a_n+4-a_n+3-a_n-4
=-a_n+3=-a_n+2+a_n+1=-（a_n+1-a_n）+a_n+1=a_n，
得T=6
所以，數(shù)列{a_n}是以6為周期的周期數(shù)列，
周期為任意正整數(shù)--（2分）
又由 

an+2=an+1-an S2=1007 S3=2010

，
得a₁=2，a₂=1005，a₃=1003，a₄=-2，a₅=-1005，a₆=-1003S₆=0，
且數(shù)列{a_n}是以6為周期的周期數(shù)列，
所以，S_6n=0，
所以 S₂₀₀₉=S₅=a₃=1003--（3分）
（2）當(dāng)p=0時(shí)，a₁=a₂=0，a_n+1=-2a_n²+2a_n=0，
即{a_n}是周期數(shù)列--（5分）
當(dāng)p≠0，p∈(0，

1

2

)時(shí)，
an+1=-2

a

2n

+2an═-2(an-

1

2

)2+

1

2

∈(0，

1

2

)
由已知a1=p∈[0， 

1

2

)，
且a_n+1=-2a_n²+2a_n，
可得a2∈[0，

1

2

)，
依此類推可得a_∈[0，

1

2

)（n∈N^*）
所以 a_n+1-a_n=-2a_n²+a_n=a_n（1-2a_n）＞0，所以a_n+1＞a_n
即數(shù)列{a_n}是遞增數(shù)列，非周期數(shù)列；--（8分）
（3）由（1）知，S₂=a₁+a₂=a₁+1005=1007，
所以a₁=2，a₂=1005，a₃=1003，a₄=-2，a₅=-1005，a₆=-1003，
且數(shù)列{a_n}是周期為6的周期數(shù)列，
所以（a_n）_max=1005（n∈N^*），（a_n）_min=-1005，
且 a_6n+1=2，a_6n+2=1003，a_6n+3=1005，a_6n+4=-2，
a_6n+5=-1005，a_6n+6=-1003，--（9分）
而當(dāng)n≥12時(shí)，

2009

2n

∈(0，

1

2

)，
bn=an+2n+

2009

2n

≥2n-1005+

2009

2n

＞2009，
即2n≥2009+1005=30142n+

2009

2n

≥1004，
得n≥1507，即 n≥1507時(shí)，
都有b_n＞2009；--（12分）
又b1506=a1506+2×1506+

2009

21506

=2009+

2009

21506

＞2009b1505=a1505+2×1505+

2009

21505

=2007+

2009

21506

＜2009--（13分）
綜上，存在最小的自然數(shù)n=1506，
對一切自然數(shù)m，當(dāng)m≥n=1506，
都有b_m＞2009．--（14分）