对于数列{x_n}，如果存在一个正整数m，使得对任意的n（n∈N^*）都有x_m+n=x_n成立，那么就把这样一类数列{x_n}称作周期为m的周期数列，m的最小正值称作数列{x_n}的最小正周期，以下简称周期．例如当x_n=2时，{x_n}是周期为1的周期数列；当yn=sin(

nπ

2

)时，{y_n}是周期为4的周期数列．设数列{a_n}满足an+2=λ•an+1-an(n∈N*)，a1=1，a2=20．
（1）若数列{a_n}是周期为3的周期数列，则常数λ的值是；
（2）设数列{a_n}的前n项和为S_n，若λ=1，则S₂₀₁₂=．

对于实数x，将满足“0≤y＜1且x-y为整数”的实数y称为实数x的小数部分，用记号{x}表示．例如{1.2}=0.2，{-1.2}=0.8，{

8

7

}=

1

7

．对于实数a，无穷数列{a_n}满足如下条件：a₁={a}，an+1=

1 an   ，an≠0 0， an=0

  其中n=1，2，3，…．
（1）若a=

2

，求a₂，a₃ 并猜想数列{a}的通项公式（不需要证明）；
（2）当a＞

1

4

时，对任意的n∈N^*，都有a_n=a，求符合要求的实数a构成的集合A；
（3）若a是有理数，设a=

p

q

 （p是整数，q是正整数，p，q互质），对于大于q的任意正整数n，是否都有a_n=0成立，证明你的结论．