已知常數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的值；若不存在，請說明理由．