已知数列{a_n}的前n项和为S_n，且a₁+a₅=17．
（1）若{a_n}为等差数列，且S₈=56．
①求该等差数列的公差d；
②设数列{b_n}满足b_n=3ⁿ•a_n，则当n为何值时，b_n最大？请说明理由；
（2）若{a_n}还同时满足：①{a_n}为等比数列；②a₂a₄=16；③对任意的正整数k，存在自然数m，使得S_k+2、S_k、S_m依次成等差数列，试求数列{a_n}的通项公式．

对于数列{A_n}：A₁，A₂，A₃，…，A_n，若不改变A₁，仅改变A₂，A₃，…，A_n中部分项的符号，得到的新数列{a_n}称为数列{A_n}的一个生成数列．如仅改变数列1，2，3，4，5的第二、三项的符号可以得到一个生成数列1，-2，-3，4，5．已知数列{a_n}为数列{

1

2n

}(n∈N*)的生成数列，S_n为数列{a_n}的前n项和．
（1）写出S₃的所有可能值；
（2）若生成数列{a_n}满足：S3n=

1

7

(1-

1

8n

)，求{a_n}的通项公式；
（3）证明：对于给定的n∈N^*，S_n的所有可能值组成的集合为：{x|x=

2m-1

2n

，m∈N*，m≤2n-1}．