Question

已知正项数列{a_n}，其前n项和S_n满足6S_n＝＋3a_n＋2，且a₁，a₂，a₆是等比数列{b_n}的前三项．
(1)求数列{a_n}与{b_n}的通项公式；
(2)记T_n＝a₁b_n＋a₂b_n－1＋…＋a_nb₁，n∈N^*，证明：3T_n＋1＝2b_n＋1－a_n＋1(n∈N^*)．

Answer 1

（1）a_n＝3n－2，b_n＝4^n－1（2）见解析

(1)∵6S_n＝＋3a_n＋2，①
∴6a₁＝＋3a₁＋2，解得a₁＝1或a₁＝2.
又6S_n－1＝＋3a_n－1＋2(n≥2)， ②
由①－②，得6a_n＝(－)＋3(a_n－a_n－1)，即(a_n＋a_n－1)(a_n－a_n－1－3)＝0.
∵a_n＋a_n－1＞0，∴a_n－a_n－1＝3(n≥2)．
当a₁＝2时，a₂＝5，a₆＝17，此时a₁，a₂，a₆不成等比数列，∴a₁≠2；
当a₁＝1时，a₂＝4，a₆＝16，此时a₁，a₂，a₆成等比数列，∴a₁＝1.
∴{a_n}是以1为首项3为公差的等差数列，{b_n}是以1为首项4为公比的等比数列．
∴a_n＝3n－2，b_n＝4^n－1.
(2)由(1)得
T_n＝1×4^n－1＋4×4^n－2＋…＋(3n－5)×4¹＋(3n－2)×4⁰，  ③
∴4T_n＝1×4ⁿ＋4×4^n－1＋7×4^n－2＋…＋(3n－2)×4¹.  ④
由④－③，得
3T_n＝4ⁿ＋3×(4^n－1＋4^n－2＋…＋4¹)－(3n－2)＝4ⁿ＋12×－(3n－2)
＝2×4ⁿ－(3n＋1)－1＝2b_n＋1－a_n＋1－1，
∴3T_n＋1＝2b_n＋1－a_n＋1(n∈N^*)．