Question

已知數列{a_n}和{b_n}，對一切正整數n都有：a₁b_n+a₂b_n-1+a₃b_n-2+…+a_nb₁=3ⁿ⁺¹-2n-3成立．
（Ⅰ）如果數列{b_n}為常數列，b_n=1，求數列{a_n}的通項公式；
（Ⅱ）如果數列{a_n}的通項公式為a_n=n，求證數列{b_n}是等比數列．
（Ⅲ）如果數列{b_n}是等比數列，數列{a_n}是否是等差數列？如果是，求出這個數列的通項公式；如果不是，請說明理由．

Answer 1

（Ⅰ）若b_n=1，結合已知條件得：a₁+a₂+a₃+…+a_n=3ⁿ⁺¹-2n-3，
將n用n-1迭代，可得：a₁+a₂+a₃+…+a_n-1=3ⁿ-2（n-1）-3．（n≥2）
兩式相減得：a_n=2•3ⁿ-2，當n=1時也適合．
∴數列{a_n}的通項公式為a_n=2•3ⁿ-2．       …（4分）
（Ⅱ）若a_n=n，由已知得：b_n+2b_n-1+3b_n-2+…+nb₁=3ⁿ⁺¹-2n-3，
將n用n-1迭代，可得：b_n-1+2b_n-2+3b_n-3+…+（n-1）b₁=3ⁿ-2（n-1）-3，（n≥2）．
兩式相減得：b_n+b_n-1+b_n-2+…+b₁=2•3ⁿ-2，…（7分）
再將n用n-1迭代，得：b_n-1+b_n-2+b_n-3+…+b₁=2•3^n-1-2．
兩式相減得：b_n=4•3^n-1，經檢驗n=1時也適合．
∴數列{b_n}的通項公式為b_n=4•3^n-1，
可得數列{b_n}是4為首項，公比為3的等比數列．    …（10分）
（Ⅲ）設數列{b_n}的首項為b₁，公比為q，由已知得：
a₁b_n-1q+a₂b_n-2q+a₃b_n-3q+…+a_nb₁=3ⁿ⁺¹-2n-3
即：q（a₁b_n-1+a₂b_n-2+a₃b_n-3+…+a_n-1b₁）+a_nb₁=3ⁿ⁺¹-2n-3
可得q[3ⁿ-2（n-1）-3]+a_nb₁=3ⁿ⁺¹-2n-3
∴a_n=

(3-q)•3n-2n(1-q)-(3-q)

b1

   …（13分）
若q=3時，a_n=

4n

b1

，數列{a_n}為等差數列．
若q≠3時，因為a₂-a₁≠a₃-a₂，
∴a_n=

(3-q)•3n-2n(1-q)-(3-q)

b1

不是等差數列．
因此，當q=3時，數列{a_n}為等差數列；而當q≠3時，數列{a_n}不為等差數列…（16分）