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^*）．
（Ⅰ）求證：數(shù)列{a_n}為等差數(shù)列，并求{a_n}的通項(xiàng)公式；
（Ⅱ）設(shè)，求數(shù)列{b_n}的前n項(xiàng)和T_n；
（Ⅲ）設(shè)（λ為非零整數(shù)，n∈N^*），試確定λ的值，使得對任意n∈N^*，有c_n+1＞c_n恒成立．

Answer 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． …（4分）
（Ⅱ）解：由（Ⅰ）知，設(shè)它的前n項(xiàng)和為T_n
∴T_n=2×2¹+3×2²+…+n×2^n-1+（n+1）×2ⁿ①
∴2T_n=2×2³+3×2³+…+（n+1）×2ⁿ⁺¹②
①-②可得：-T_n=2×2¹+2²+…+2ⁿ-（n+1）×2ⁿ⁺¹=-n×2ⁿ⁺¹
∴T_n=n×2ⁿ⁺¹；…（8分）
（Ⅲ）解：∵a_n=n+1，∴，
要使c_n+1＞c_n恒成立，則恒成立
∴3•4ⁿ-3λ•（-1）^n-12ⁿ⁺¹＞0恒成立，
∴（-1）^n-1λ＜2^n-1恒成立．
（�。┊�(dāng)n為奇數(shù)時(shí)，即λ＜2^n-1恒成立，當(dāng)且僅當(dāng)n=1時(shí)，2^n-1有最小值為1，∴λ＜1．
（ⅱ）當(dāng)n為偶數(shù)時(shí)，即λ＞-2^n-1恒成立，當(dāng)且僅當(dāng)n=2時(shí)，-2^n-1有最大值-2，∴λ＞-2．
即-2＜λ＜1，又λ為非零整數(shù)，則λ=-1．
綜上所述，存在λ=-1，使得對任意n∈N^*，都有c_n+1＞c_n．…（14分）
分析：（Ⅰ）利用數(shù)列遞推式，變形可得（S_n+1-S_n）-（S_n-S_n-1）=1，由此可得結(jié)論；
（Ⅱ）利用錯(cuò)位相減法，可求數(shù)列{b_n}的前n項(xiàng)和T_n；
（Ⅲ）要使c_n+1＞c_n恒成立，則恒成立，分類討論，分離參數(shù)，可得結(jié)論．
點(diǎn)評(píng)：本題考查數(shù)列遞推式，考查數(shù)列的通項(xiàng)與求和，考查恒成立問題，考查分類討論的數(shù)學(xué)思想，考查學(xué)生分析解決問題的能力，屬于中檔題．