Question

已知各项均为正数的数列{a_n}的前n项和S_n满足S₁＞1，且6S_n=（a_n+1）（a_n+2），n∈N^*．
（I）求数列{a_n}的通项公式；
（II）设数列{b_n}满足，记T_n为数列{b_n}的前n项和．求证：2T_n+1＜log₂（a_n+3）

Answer 1

（I）解：n=1时，6a₁=a₁²+3a₁+2，且a₁＞1，解得a₁=2．
n≥2时，6S_n=a_n²+3a_n+2，6S_n-1=a_n-1²+3a_n-1+2，两式相减得（a_n+a_n-1）（a_n-a_n-1-3）=0，
∵a_n+a_n-1＞0，
∴a_n-a_n-1=3，
∴{a_n}为等差数列，
∵a₁=2，
∴a_n=3n-1．
（II）证明：∵数列{b_n}满足，
∴
∴T_n=b₁+b₂+…+b_n=
要证2T_n+1＜log₂（a_n+3），即证＜log₂（a_n+3）
即证
即证
令，
∴
∵c_n＞0，∴c_n+1＜c_n，
∴{c_n}是单调递减数列
∴
∴
故2T_n+1＜log₂（a_n+3）．
分析：（I）n=1时，6a₁=a₁²+3a₁+2，且a₁＞1，解得a₁=2．n≥2时，6S_n=a_n²+3a_n+2，6S_n-1=a_n-1²+3a_n-1+2，两式相减得（a_n+a_n-1）（a_n-a_n-1-3）=0由此能求出a_n．
（II）根据数列{b_n}满足，可得，从而T_n=b₁+b₂+…+b_n=，利用分析法证明．要证2T_n+1＜log₂（a_n+3），即证＜log₂（a_n+3），即证，构造函数，可得{c_n}是单调递减数列，即可证出结论．
点评：本题考查数列的综合应用，解题时要认真审题，仔细解答，注意挖掘题设中的隐含条件，合理地进行等价转化．