由y=f（x）确定数列{a_n}：a_n=f（n）．若y=f（x）的反函数y=f^-1（x）能确定数列{b_n}：b_n=f^-1（n），则称{b_n}是{a_n}的“反数列”．
（1）若f(x)=2

x

确定的数列{a_n}的反数列为{b_n}，求b_n．
（2）对（1）中{b_n}，记Tn=

1 bn+1

+

1 bn+2

+…+

1 b2n

，若Tn＞

1

2

loga(1-2a)对n∈N^*恒成立，求实数a的取值范围．
（3）设cn=

1+(-1)λ

2

•3n+

1-(-1)λ

2

•(2n-1)（λ为正整数），若数列{c_n}的反数列为{d_n}，且{c_n}与{d_n}的公共项组成的数列为{t_n}（公共项t_k=c_p=d_q，其中k，p，q为正整数），求数列{t_n}前n项和S_n．

13、已知数列{a_n}的通项公式为a_n=（2n-1）•2ⁿ，我们用错位相减法求其前n项和S_n：由S_n=1×2+3×2²+5×2³+…（2n-1）•2ⁿ得2S_n=1×2²+3×2³+5×2⁴+…（2n-1）•2ⁿ⁺¹，两式项减得：-S_n=2+2×2²+2×2³+…+2×2ⁿ-（2n-1）•2ⁿ⁺¹，求得S_n=（2n-3）•2ⁿ⁺¹+6．类比推广以上方法，若数列{b_n}的通项公式为b_n=n²•2ⁿ，
则其前n项和T_n=．

（2012•姜堰市模拟）可以证明，对任意的n∈N^*，有（1+2+…+n）²=1³+2³+…+n³成立．下面尝试推广该命题：
（1）设由三项组成的数列a₁，a₂，a₃每项均非零，且对任意的n∈{1，2，3}有（a₁+a₂+…+a_n）²=a₁³+a₂³+…+a_n³成立，求所有满足条件的数列；
（2）设数列{a_n}每项均非零，且对任意的n∈N^*有（a₁+a₂+…+a_n）²=a₁³+a₂³+…+a_n³成立，数列{a_n}的前n项和为S_n．求证：a_n+1²-a_n+1=2S_n，n∈N^*；
（3）是否存在满足（2）中条件的无穷数列{a_n}，使得a₂₀₁₂=-2011？若存在，写出一个这样的无穷数列（不需要证明它满足条件）； 若不存在，说明理由．

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