Question

設{a_n}，{b_n}都是各項為正數的數列，對任意的正整數n，都有a_n，b_n²，a_n+1成等差數列，b_n²，a_n+1，b_n+1²成等比數列．
（1）證明數列{b_n}是等差數列；
（2）如果a₁=1，b₁=2，記數列的前n項和為S_n，問是否存在常數λ，使得b_n＞λS_n對任意n∈N^*都成立？若存在，求出λ的取值范圍；若不存在，請說明理由．

Answer 1

【答案】分析：（1）利用已知條件可得數列{b_n}與{a_n}的遞推關系代入2b_n²=a_n+a_n+1整理，然后利用等差中項的證明數列{b_n}為等差數列
（2）由a₁=1，b₁=2及①得a₂=7，再由②得b₂=從而有a₂=7，b₂=從而可得等差數列{b_n}的首項b₁=2，公差d=b₂-b₁=，∴b_n=，又a_n=b_n-1b_n可得數列{a_n}通項公式；假設存在常數λ，使得b_n＞λS_n對任意n∈N^*都成立，則有（n∈N^*），∴，利用研究，問題得解．
解答：解：由題意，2b_n²=a_n+a_n-1①，a_n+1²=b_n²b_n+1²②
（1）∵a_n＞0，b_n＞0，∴由②得a_n+1=b_nb_n+1，從而當n≥2時，a_n=b_n-1b_n，代入①式得2b_n²=b_n-1b_n+b_nb_n+1，即2b_n=b_n-1+b_n+1（n≥2），∴數列{b_n}是等差數列；
（2）a₁=1，b₁=2及①得a₂=7，再由②得b₂=，∴等差數列{b_n}的首項b₁=2，公差d=b₂-b₁=，∴b_n=，
當n≥2時，a_n=b_n-1b_n=，當n=1時，a₁=1也成立
∴數列{a_n}通項公式為a_n=，
∴數列的前n項和=
假設存在常數λ，使得b_n＞λS_n對任意n∈N^*都成立，則有（n∈N^*），∴
∵，當且僅當即時等號成立，∴當n=1時，的最小值為10，，
故存在常數λ＜2，使得b_n＞λS_n對任意n∈N^*都成立
點評：（1）等差數列的證明常用的方法（i）定義法：a_n-a_n-1=d；（ii）等差中項法：2a_n=a_n-1+a_n+1
（2）裂項求和是數列求和中的重要方法，要注意其適用的結構特點
（3）恒成立問題，利用分離參數法，結合求最值求解．