Question

12．已知數列{a_n}中，a₁=t（t≠-1），且a_n+1=$\left\{\begin{array}{l}{2{a}_{n}+n，n為奇數}\\{{a}_{n}-\frac{1}{2}n，n為偶數}\end{array}\right.$．
（1）證明：數列{a_2n+1}是等比數列；
（2）若數列{a_n}的前2n項和為S_2n：
①當t=1時，求S_2n；
②若{S_2n}單調遞增，求t的取值范圍．

Answer 1

分析 （1）由題意可得：b_n=a_2n+1，則b₁=a₂+1，b₁=2（t+1）≠0，$\frac{{{b_{n+1}}}}{b_n}=\frac{{{a_{2（{n+1}）}}+1}}{{{a_{2n}}+1}}=\frac{{（{2{a_{2n+1}}+2n+1}）+1}}{{{a_{2n}}+1}}=\frac{{[{2（{{a_{2n}}-n}）+2n+1}]+1}}{{{a_{2n}}+1}}=\frac{{2（{{a_{2n}}+1}）}}{{{a_{2n}}+1}}=2$，數列{a_2n+1}是等比數列；
（2）${a_{2n}}=（{t+1}）•{2^n}-1=2{a_{2n-1}}+2n-1$，求得a_2n-1，${a_{2n-1}}+{a_{2n}}=3（{t+1}）•{2^{n-1}}-n-1$，分組即可求得S_2n=$3（{t+1}）•（{1+2+…+{2^{n-1}}}）-（{1+2+…+n}）-n=3（{t+1}）•（{{2^n}-1}）-\frac{{n（{n+3}）}}{2}$，①當t=1時，${S_{2n}}=6（{{2^n}-1}）-\frac{{n（{n+3}）}}{2}=3×{2^{n+1}}-\frac{{n（{n+3}）}}{2}-6$，
②${S_{2n}}-{S_{2n-2}}=3（{t+1}）•{2^{n-1}}-n-1＞0$對n≥2且n∈N^*恒成立，即$3（{t+1}）＞\frac{n+1}{{{2^{n-1}}}}$，設${P_n}=\frac{n+1}{{{2^{n-1}}}}，n≥2$，利用作差法，可得{P_n}在n≥2且n∈N^*單調遞減，$3（{t+1}）＞\frac{3}{2}$，即可求得t的取值范圍．

解答 解：（1）證明：設b_n=a_2n+1，則b₁=a₂+1，
∵a₂=2a₁+1=2t+1，
∴b₁=2（t+1）≠0，…（1分）
∵$\frac{{{b_{n+1}}}}{b_n}=\frac{{{a_{2（{n+1}）}}+1}}{{{a_{2n}}+1}}=\frac{{（{2{a_{2n+1}}+2n+1}）+1}}{{{a_{2n}}+1}}=\frac{{[{2（{{a_{2n}}-n}）+2n+1}]+1}}{{{a_{2n}}+1}}=\frac{{2（{{a_{2n}}+1}）}}{{{a_{2n}}+1}}=2$，…（3分）
∴數列{b_n}是公比為2的等比數列，故數列{a_2n+1}是等比數列，…（4分）
∴${b_n}={b_1}•{2^{n-1}}=2（{t+1}）•{2^{n-1}}=（{t+1}）•{2^n}$，
∴${a_{2n}}=（{t+1}）•{2^n}-1$，…（6分）
（2）由（1）得，${a_{2n}}=（{t+1}）•{2^n}-1=2{a_{2n-1}}+2n-1$，
∴${a_{2n-1}}=（{t+1}）•{2^{n-1}}-n$，…（7分）
∴${a_{2n-1}}+{a_{2n}}=3（{t+1}）•{2^{n-1}}-n-1$，…（8分）
∴S_2n=（a₁+a₂）+（a₃+a₄）+…+（a_2n-1+a_2n），
=$3（{t+1}）•（{1+2+…+{2^{n-1}}}）-（{1+2+…+n}）-n=3（{t+1}）•（{{2^n}-1}）-\frac{{n（{n+3}）}}{2}$，…（10分）
①當t=1時，
∴${S_{2n}}=6（{{2^n}-1}）-\frac{{n（{n+3}）}}{2}=3×{2^{n+1}}-\frac{{n（{n+3}）}}{2}-6$；…（11分）
②∵{S_2n}單調遞增，
∴${S_{2n}}-{S_{2n-2}}=3（{t+1}）•{2^{n-1}}-n-1＞0$對n≥2且n∈N^*恒成立，…（12分）
即$3（{t+1}）＞\frac{n+1}{{{2^{n-1}}}}$，設${P_n}=\frac{n+1}{{{2^{n-1}}}}，n≥2$，
則${P_{n+1}}-{P_n}=\frac{n+2}{2^n}-\frac{n+1}{{{2^{n-1}}}}=\frac{-n}{2^n}＜0$，
∴{P_n}在n≥2且n∈N^*單調遞減，…（14分）
∵${P_2}=\frac{3}{2}$，
∴$3（{t+1}）＞\frac{3}{2}$，即$t＞-\frac{1}{2}$，
故t的取值范圍為$（{-\frac{1}{2}，+∞}）$．…（16分）

點評 本題考查等比數列的證明，數列前n項和的求法，考查構造輔助函數及作差法求數列的單調性，考查數列與不等式的綜合應用，屬于難題．