Question

15．已知數列{a_n}、{b_n}滿足：a₁=4，a_n+1=$\sqrt{{a}_{n}+2}$，b_n=a_n-1（n∈N^*）．
（1）判斷并證明數列{a_n}的單調性；
（2）是否存在常數λ，使得b₁b₂b₃…b_n＜λ？若存在，求λ的最小值；若不存在，請說明理由．

Answer 1

分析 （1）由a₁=4，a_n+1=$\sqrt{{a}_{n}+2}$，求得a₂，a₃，且可知a_n＞0．再由a_n=$\sqrt{{a}_{n-1}+2}$，兩邊平方，將n換成n+1，兩式作差可得a_n+1-a_n與a_n-a_n-1同號．由a₂-a₁的符號，易知，a_n-a_n-1＜0，即a_n＜a_n-1，可知數列{a_n}單調遞減；
（2）由a_n²=a_n-1+2，可得（a_n-1）（a_n+1）=a_n-1+1，即有a_n-1=$\frac{{a}_{n-1}+1}{{a}_{n}+1}$，即b_n=$\frac{{a}_{n-1}+1}{{a}_{n}+1}$，求得b₁b₂b₃…b_n＜5，即可判斷存在實數λ．

解答 解：（1）數列{a_n}單調遞減．
理由如下：由a₁=4，a_n=$\sqrt{{a}_{n-1}+2}$，
得a₂=$\sqrt{6}$，a₃=$\sqrt{\sqrt{6}+2}$，且可知a_n＞0．
由a_n=$\sqrt{{a}_{n-1}+2}$，
得a_n²=a_n-1+2①，
則有a_n+1²=a_n+2②，
由②-①得：a_n+1²-a_n²=a_n-a_n-1，
即（a_n+1+a_n）（a_n+1-a_n）=a_n-a_n-1，
∵a_n＞0，∴a_n+1-a_n與a_n-a_n-1同號．
由a₂-a₁=$\sqrt{6}$-4＜0，
易知a_n-a_n-1＜0，即a_n＜a_n-1，
可知數列{a_n}單調遞減；
（2）∵a_n²=a_n-1+2，
∴（a_n-1）（a_n+1）=a_n-1+1，
∴a_n-1=$\frac{{a}_{n-1}+1}{{a}_{n}+1}$，即b_n=$\frac{{a}_{n-1}+1}{{a}_{n}+1}$，
則b₁b₂b₃…b_n=3•$\frac{{a}_{1}+1}{{a}_{2}+1}$•$\frac{{a}_{2}+1}{{a}_{3}+1}$…$\frac{{a}_{n-1}+1}{{a}_{n}+1}$
=$\frac{15}{{a}_{n}+1}$．
由（a_n-2）（a_n+2）=a_n-1-2，
易知，a_n-2與a_n-1-2同號，
由于a₁-2=4-2＞0，可知，a_n-2＞0，即a_n＞2，
則$\frac{15}{{a}_{n}+1}$＜5，
故存在常數λ，且λ≥5，
對任意n≥2，有b₁b₂b₃…b_n＜λ成立．

點評 本題是數列與不等式的綜合題，考查了數列遞推式，訓練了累積法求數列的通項公式，訓練了放縮法證明數列不等式，屬中檔題．