对于数列{a_n}，若存在确定的自然数T＞0，使得对任意的自然数n∈N^*，都有：a_n+T=a_n成立，则称数列{a_n}是以T为周期的周期数列．
（1）记S_n=a₁+a₂+a₃+…+a_n，若{a_n}满足a_n+2=a_n+1-a_n，且S₂=1007，S₃=2010，求证：数列{a_n}是以6为周期的周期数列，并求S₂₀₀₉；
（2）若{a_n}满足a1=p∈[0， 

1

2

)，且a_n+1=-2a_n²+2a_n，试判断{a_n}是否为周期数列，且说明理由；
（3）由（1）得数列{a_n}，又设数列{b_n}，其中bn=an+2n+

2009

2n

，问是否存在最小的自然数n（n∈N^*），使得对一切自然数m≥n，都有b_m＞2009？请说明理由．

对于数列{a_n}，若存在确定的自然数T＞0，使得对任意的自然数n∈N^*，都有：a_n+T=a_n成立，则称数列{a_n}是以T为周期的周期数列．
（1）记S_n=a₁+a₂+a₃+…+a_n，若{a_n}满足a_n+2=a_n+1-a_n，且S₂=1007，S₃=2010，求证：数列{a_n}是以6为周期的周期数列，并求S₂₀₀₉；
（2）若{a_n}满足a1=p∈[0， 

1

2

)，且a_n+1=-2a_n²+2a_n，试判断{a_n}是否为周期数列，且说明理由；
（3）由（1）得数列{a_n}，又设数列{b_n}，其中bn=an+2n+

2009

2n

，问是否存在最小的自然数n（n∈N^*），使得对一切自然数m≥n，都有b_m＞2009？请说明理由．