已知常数a、b都是正整数，函数f(x)=

x

bx+1

（x＞0），数列{a_n}满足a₁=a，

1

an+1

=f(

1

an

)（n∈N^*）
（1）求数列{a_n}的通项公式；
（2）若a=8b，且等比数列{b_n}同时满足：①b₁=a₁，b₂=a₅；②数列{b_n}的每一项都是数列{a_n}中的某一项．试判断数列{b_n}是有穷数列或是无穷数列，并简要说明理由；
（3）对问题（2）继续探究，若b₂=a_m（m＞1，m是常数），当m取何正整数时，数列{b_n}是有穷数列；当m取何正整数时，数列{b_n}是无穷数列，并说明理由．

已知常数a、b都是正整数，函数f(x)=

x

bx+1

（x＞0），数列{a_n}满足a₁=a，

1

an+1

=f(

1

an

)（n∈N^*）
（1）求数列{a_n}的通项公式；
（2）若a=8b，且等比数列{b_n}同时满足：①b₁=a₁，b₂=a₅；②数列{b_n}的每一项都是数列{a_n}中的某一项．试判断数列{b_n}是有穷数列或是无穷数列，并简要说明理由；
（3）对问题（2）继续探究，若b₂=a_m（m＞1，m是常数），当m取何正整数时，数列{b_n}是有穷数列；当m取何正整数时，数列{b_n}是无穷数列，并说明理由．

（2011•成都模拟）对函数Φ（x），定义f_k（x）=Φ（x-mk）+nk（其中x∈（mk，m+mk]，k∈Z，m＞0，n＞0，且m、n为常数）为Φ（x）的第k阶阶梯函数，m叫做阶宽，n叫做阶高，已知阶宽为2，阶高为3．
（1）当Φ（x）=2^x时
①求f₀（x）和f_k（x）的解析式；
②求证：Φ（x）的各阶阶梯函数图象的最高点共线；
（2）若Φ（x）=x²，则是否存在正整数k，使得不等式f_k（x）＜（1-3k）x+4k²+3k-1有解？若存在，求出k的值；若不存在，请说明理由．