设数列{a_n}的各项均为正数，前n项和为S_n，已知．
（1）证明数列{a_n}是等差数列，并求其通项公式；
（2）证明：对任意m、k、p∈N^*，m+p=2k，都有；
（3）对于（2）中的命题，对一般的各项均为正数的等差数列还成立吗？如果成立，请证明你的结论，如果不成立，请说明理由．

设数列{a_n}的各项均为正数，前n项和为S_n，已知．
（1）证明数列{a_n}是等差数列，并求其通项公式；
（2）证明：对任意m、k、p∈N^*，m+p=2k，都有；
（3）对于（2）中的命题，对一般的各项均为正数的等差数列还成立吗？如果成立，请证明你的结论，如果不成立，请说明理由．

对于数列，如果存在最小的一个常数，使得对任意的正整数恒有成立，则称数列是周期为的周期数列。

设，周期为的数列前项的和分别记为，则三者的关系式是           。

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

π

2

n)时，{y_n}的周期为4的周期数列．
（1）设数列{a_n}满足a_n+2=λ•a_n+1-a_n（n∈N^*），a₁+a，a₂=b（a，b不同时为0），且数列{a_n}是周期为3的周期数列，求常数λ的值；
（2）设数列{a_n}的前n项和为S_n，且4S_n=（a_n+1）²．
①若a_n＞0，试判断数列{a_n}是否为周期数列，并说明理由；
②若a_na_n+1＜0，试判断数列{a_n}是否为周期数列，并说明理由．
（3）设数列{a_n}满足a_n+2=-a_n+1-a_n（n∈N^*），a₁=1，a₂=2，b_n=a_n+1，数列{b_n}的前n项和S_n，试问是否存在p、q，使对任意的n∈N^*都有p≤

Sn

n

≤q成立，若存在，求出p、q的取值范围；不存在，说明理由．