Question

已知数列{a_n}的前n项和为S_n，且，其中a₁=1，a_n≠0．
（Ⅰ）求数列{a_n}的通项公式；
（Ⅱ）设数列{b_n}满足，T_n为{b_n}的前n项和，求证：2T_n＞log₂（2a_n+1）n∈N．

Answer 1

解：（Ⅰ）已知式即，故．
由条件知a_n+1≠0，所以a_n+2-a_n=2（n∈N^*）．
由于，且a₁=1，故a₂=2．
于是a_2m-1=1+2（m-1）=2m-1，a_2m=2+2（m-1）=2m，
所以a_n=n（n∈N^*）．
（Ⅱ）由，得，，
故．
从而．
=
因此2T_n-log₂（2a_n+1）=-log₂（2n+1）
=
=．
设，
则，
故=，
注意到f（n）＞0，所以f（n+1）＞f（n）．
特别地，
从而2T_n-log₂（2a_n+1）=log₂f（n）＞0．
所以2T_n＞log₂（2a_n+1）．
分析：（Ⅰ）根据及，可求得数列{a_n}的通项公式；
（Ⅱ）把（Ⅰ）求得的结果代入，求得，利用对数的运算性质求得T_n并代入2T_n-log₂（2a_n+1），利用比商法比较真数的大小即可证明结论．
点评：此题是个难题．考查根据数列的递推公式利用构造法求数列的通项公式，及数列的求和问题，题目综合性强，特别是问题（Ⅲ）的设置，数列与不等式恒成立问题结合起来，能有效考查学生的逻辑思维能力和灵活应用知识分析解决问题的能力，体现了转化的思想和分类讨论的思想．