设数组A：{a₁，a₂，…，a_n}与数组B：{b₁，b₂，…，b_n}，A与B中的元素不完全相同，分别从A、B中的n个元素中任取m（m≤n）个元素作和，各得C_n^m个和．若由A得到的C_n^m个和与由B得到的C_n^m个和恰好完全相同，则称数组A与B是n元中取m的全等和数组，简记为DH_n^m数组．
（1）判断数组A：{5，15，25，45}与B：{0，20，30，40}是否为DH₄²数组？
（2）若数组A：{a₁，a₂，…，a_n}与数组B：{b₁，b₂，…，b_n}是DH_n^m数组（m≤n），求证：数组A与B一定是DH_nⁿ数组
（3）给定数组A：{a₁，a₂，a₃，a₄}，其中a₁≤a₂≤a₃≤a₄，问是否存在数组B，使得数组A与B为DH₄²数组？若存在，则求出数组B；若不存在，请说明理由．

对于数列{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？请说明理由．