Question

已知數(shù)列{a_n}中，a₁=2，a₂=3，其前n項(xiàng)和S_n滿足S_n+1+S_n-1=2S_n+1，其中（n≥2，n∈N^*）．
（1）求數(shù)列{a_n}的通項(xiàng)公式；
（2）設(shè)為非零整數(shù)，n∈N^*），試確定λ的值，使得對任意n∈N^*，都有b_n+1＞b_n成立．

Answer 1

【答案】分析：（1）本題由條件S_n+1+S_n-1=2S_n+1，借助項(xiàng)與和關(guān)系S_n-S_n-1=a_n，可確定數(shù)列為等差數(shù)列，進(jìn)而求出數(shù)列{a_n}的通項(xiàng)公式a_n=n+1．
（2）由a_n通項(xiàng)寫出b_n的通項(xiàng)，欲證明數(shù)列為遞增數(shù)列，可借助作差法證明b_n+1-b_n＞0即可，進(jìn)行整理變形即轉(zhuǎn)化為對（-1）^n-1λ＜2^n-1（n∈N^*）恒成立的證明．借此討論N的奇數(shù)偶數(shù)兩種情況就可求出λ的范圍，再綜合λ為非零的整數(shù)即可確定λ的具體取值．
解答：解：（1）由已知，（S_n+1-S_n）-（S_n-S_n-1）=1（n≥2，n∈N^*），
即a_n+1-a_n=1（n≥2，n∈N^*），且a₂-a₁=1．
∴數(shù)列{a_n}是以a₁=2為首項(xiàng)，公差為1的等差數(shù)列．
∴a_n=n+1．
（2）∵a_n=n+1，
∴b_n=4ⁿ+（-1）^n-1λ•2ⁿ⁺¹，要使b_n+1＞b_n恒成立，
∴b_n+1-b_n=4ⁿ⁺¹-4ⁿ+（-1）ⁿλ•2ⁿ⁺²-（-1）^n-1λ•2ⁿ⁺¹＞0恒成立，
∴3•4ⁿ-3λ•（-1）^n-12ⁿ⁺¹＞0恒成立，
∴（-1）^n-1λ＜2^n-1恒成立．
（�。┊�(dāng)n為奇數(shù)時，即λ＜2^n-1恒成立，
當(dāng)且僅當(dāng)n=1時，2^n-1有最小值為1，
∴λ＜1．
（ⅱ）當(dāng)n為偶數(shù)時，即λ＞-2^n-1恒成立，
當(dāng)且僅當(dāng)n=2時，-2^n-1有最大值-2，
∴λ＞-2．
即-2＜λ＜1，又λ為非零整數(shù)，則λ=-1．
綜上所述，存在λ=-1，使得對任意n∈N^*，都有b_n+1＞b_n．
點(diǎn)評：本題主要考查了數(shù)列的通項(xiàng)公式的求法，并借助數(shù)列增減性的證明方法求通項(xiàng)中參變量的范圍，其中在證明（-1）^n-1λ＜2^n-1恒成立這一過程屬于難點(diǎn)．學(xué)生不易將n分為奇數(shù)和偶數(shù)進(jìn)行分情況討論后取其交集，易出現(xiàn)思路不清．