已知各项均为整数的数列{a_n}满足：a₉=-1，a₁₃=4，且前12项依次成等差数列，从第11项起依次成等比数列．
（1）求数列{a_n}的通项公式；
（2）若存在正整数m、p使得：a_m+a_m+1+…+a_m+p=a_ma_m+1…a_m+p，请找出所有的有序数对（m，p），并证明你的结论．

对于数列{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的取值范围；不存在，说明理由．