Question

16．已知數(shù)列{a_n}中，a₁=3，a₂=5，其前n項和為S_n滿足S_n+S_n-2=2S_n-1+2^n-1（n≥3，n∈N*）
（Ⅰ）試求數(shù)列{a_n}的通項公式
（Ⅱ）令b_n=$\frac{{2}^{n-1}}{{a}_{n}•{a}_{n+1}}$，T_n是數(shù)列{b_n}的前n項和．證明：對任意給定的m∈（0，$\frac{1}{6}$），均存在n₀∈N*，使得當n≥n₀時，T_n＞m恒成立．

Answer 1

分析 （Ⅰ）由題意可知S_n-S_n-1=S_n-1-S_n-2+2^n-1，即a_n-a_n-1=2^n-1，n≥3，采用“累加法”即可求得數(shù)列{a_n}的通項公式；
（Ⅱ）由（Ⅰ）可知，b_n=$\frac{{2}^{n-1}}{{a}_{n}•{a}_{n+1}}$=$\frac{{2}^{n-1}}{（{2}^{n}+1）（{2}^{n+1}+1）}$=$\frac{1}{2}$（$\frac{1}{{2}^{n}+1}$-$\frac{1}{{2}^{n+1}+1}$），采用“裂項法”即可求得數(shù)列{b_n}的前n項和T_n，由函數(shù)的單調(diào)性可知，T_n隨著n的增大而增大，分離參數(shù)n＞log₂（$\frac{3}{1-6m}$-1）-1，分類log₂（$\frac{3}{1-6m}$-1）-1＜1及l(fā)og₂（$\frac{3}{1-6m}$-1）-1≥1時，求得m的取值范圍，求得n₀的值，即可證明存在n₀∈N*，使得當n≥n₀時，T_n＞m恒成立．

解答 解：（Ⅰ）由S_n+S_n-2=2S_n-1+2^n-1（n≥3，n∈N*），整理得：S_n-S_n-1=S_n-1-S_n-2+2^n-1，
∴a_n=a_n-1=2^n-1，即a_n-a_n-1=2^n-1，n≥3，
∵a₂-a₁=2，
a₃-a₂=4，
a₄-a₃=2³，
…
a_n-a_n-1=2^n-1，
將上式累加整理得：a_n-a₁=2+4+2³+…+2^n-1，
∴a_n=$\frac{2（1-{2}^{n-1}）}{1-2}$+3=2ⁿ+1，
數(shù)列{a_n}的通項公式a_n=2ⁿ+1；
證明：（Ⅱ）b_n=$\frac{{2}^{n-1}}{{a}_{n}•{a}_{n+1}}$=$\frac{{2}^{n-1}}{（{2}^{n}+1）（{2}^{n+1}+1）}$=$\frac{1}{2}$（$\frac{1}{{2}^{n}+1}$-$\frac{1}{{2}^{n+1}+1}$），
∴數(shù)列{b_n}的前n項和T_n=b₁+b₂+b₃+…+b_n，
=$\frac{1}{2}$[（$\frac{1}{3}$-$\frac{1}{5}$）+（$\frac{1}{5}$-$\frac{1}{9}$）+…+（$\frac{1}{{2}^{n}+1}$-$\frac{1}{{2}^{n+1}+1}$）]，
=$\frac{1}{2}$（$\frac{1}{3}$-$\frac{1}{{2}^{n+1}+1}$），
T_n+1-T_n=$\frac{{2}^{n}}{（{2}^{n+1}+1）（{2}^{n+2}+1）}$＞0，
∴T_n隨著n的增大而增大，
若T_n＞m，則$\frac{1}{2}$（$\frac{1}{3}$-$\frac{1}{{2}^{n+1}+1}$）＞m，化簡整理得：$\frac{1-6m}{3}$＞$\frac{1}{{2}^{n+1}+1}$，
∵m∈（0，$\frac{1}{6}$），
∴1-6m＞0，
∴2ⁿ⁺¹＞$\frac{3}{1-6m}$-1，
n＞log₂（$\frac{3}{1-6m}$-1）-1，
當log₂（$\frac{3}{1-6m}$-1）-1＜1時，即0＜m＜$\frac{1}{15}$，取n₀=1，
當log₂（$\frac{3}{1-6m}$-1）-1≥1時，解得：$\frac{1}{15}$≤m＜$\frac{1}{6}$，記log₂（$\frac{3}{1-6m}$-1）-1的整數(shù)部分為p，
取n₀=p+1即可，
綜上可知，對任意m∈（0，$\frac{1}{6}$），均存在n₀∈N*，使得當n≥n₀時，T_n＞m恒成立．

點評 本題考查數(shù)列通項公式的求法，考查“累加法”及“裂項法”的應(yīng)用，考查數(shù)列與不等式的綜合應(yīng)用，考查計算能力，轉(zhuǎn)化思想，分類討論，屬于難題．