Question

5．数列{b_n}（n∈N^*）满足b₁=2，且$\frac{{b}_{1}}{2}$+$\frac{{b}_{2}}{{2}^{2}}$+…+$\frac{{b}_{n}}{{2}_{n}}$=n（n∈N^*），数列{a_n}满足a_n=3log₂b_n（n∈N^*）
（1）求数列{a_n}，{b_n}的通项公式；
（2）记f（n）=$\frac{1}{2}$（$\frac{|sinn|}{sinn}$+3），T_n=$\frac{（-1）{f}^{（2）}}{{a}_{1}{b}_{1}}$+$\frac{（-1）^{f（3）}}{{a}_{2}{b}_{2}}$+$\frac{（-1）^{f（4）}}{a{{\;}_{3}b}_{3}}$+…+$\frac{（-1）^{f（n+1）}}{{a}_{n}{b}_{n}}$，求证：$\frac{1}{6}$≤T_n$≤\frac{5}{24}$（n∈N^*）

Answer 1

分析 （1）从条件$\frac{{b}_{1}}{2}$+$\frac{{b}_{2}}{{2}^{2}}$+…+$\frac{{b}_{n}}{{2}^{n}}$=n（n∈N⁺）入手，下标减一，两式相减，得到b_n，别忘了检验n=1的情况；再求出a_n
（2）由第一问可得$\frac{（-1）^{f（n+1）}}{{a}_{n}{b}_{n}}$，以此为通项分别求出n=1，2时的T_n，然后再分别计算n≥3和n≥4的前n项和，紧扣所求进行证明．

解答 解：（1）根据条件$\frac{{b}_{1}}{2}$+$\frac{{b}_{2}}{{2}^{2}}$+…+$\frac{{b}_{n}}{{2}^{n}}$=n（n∈N⁺）有，
$\frac{{b}_{1}}{2}$+$\frac{{b}_{2}}{{2}^{2}}$+…+$\frac{{b}_{n}}{{2}_{n}}$-（$\frac{{b}_{1}}{2}$+$\frac{{b}_{2}}{{2}^{2}}$+…+$\frac{{b}_{n-1}}{{2}^{n-1}}$）=n-（n-1）=1（n≥2，n∈N^*），
化简得：b_n=2ⁿ（n≥2，n∈N^*），
经检验n=1时也成立，所以b_n=2ⁿ（n∈N^*），
根据条件可得，{a_n}满足a_n=3log₂2ⁿ=3n（n∈N^*）．
（2）证明：由条件$\frac{（-1）^{f（n+1）}}{{a}_{n}{b}_{n}}$=$\left\{\begin{array}{l}{\frac{1}{3n•{2}^{n}}，（sin（n+1）＞0）}\\{-\frac{1}{3n•{2}^{n}}（sin（n+1）＜0）}\end{array}\right.$可得T₁=$\frac{1}{6}$，T₂=$\frac{5}{24}$，
当n≥3时，T_n=$\frac{1}{6}$+$\frac{1}{24}-\frac{1}{{a}_{3}{b}_{3}}$+…+$\frac{（-1）^{f（n+1）}}{{a}_{n}{b}_{n}}$≥$\frac{1}{6}+\frac{1}{24}-$（$\frac{1}{9•{2}^{3}}+\frac{1}{12•{2}^{4}}+…+\frac{1}{3n•{2}^{n}}$）
≥$\frac{1}{6}+\frac{1}{24}-\frac{1}{9}•$（$\frac{1}{{2}^{3}}+…+\frac{1}{{2}^{n}}$）=$\frac{1}{6}+\frac{1}{24}-\frac{1}{36}$（1-$\frac{1}{{2}^{n-2}}$）$＞\frac{1}{6}$，
又${T}_{3}=\frac{5}{24}-\frac{1}{72}＜\frac{5}{24}$，
当n≥4时，${T}_{n}=\frac{5}{24}-\frac{1}{{a}_{3}{b}_{3}}+…+$$\frac{（-1）^{f（n+1）}}{{a}_{n}{b}_{n}}$$≤\frac{5}{24}-\frac{1}{9•{2}^{3}}+$（$\frac{1}{12•{2}^{4}}+…+\frac{1}{3n•{2}^{n}}$$≤\frac{5}{24}-\frac{1}{72}+\frac{1}{12}$（$\frac{1}{{2}^{4}}+\frac{1}{{2}^{5}}+…+\frac{1}{{2}^{n}}$）=$\frac{5}{24}-\frac{1}{72}+\frac{1}{12}•\frac{1}{8}$（1-$\frac{1}{{2}^{n-3}}$）$＜\frac{5}{24}$，
综上，$\frac{1}{6}$≤T_n$≤\frac{5}{24}$（n∈N^*）

点评 本题考查了数列求和；关键是将求和式子放缩，得到等比数列求和的形式，根据目标数字变形得到所证．属于难题．