共找到 1 题
排序:
组题
本页 1 题去组卷
21数列★★★★★
已知数列 {an}\{a_{n}\} 中的相邻两项 a2k−1a_{2k-1},a2ka_{2k} 是关于 xx 的方程 x2−(3k+2k)x+3k⋅2k=0x^{2} - (3k + 2^{k})x + 3k \cdot 2^{k} = 0 的两个根,且 a2k−1⩽a2ka_{2k-1} \leqslant a_{2k}(k=1k = 1,22,33,…\dots).
(1) 求 a1a_{1},a3a_{3},a5a_{5},a7a_{7}; (2) 求数列 {an}\{a_{n}\} 的前 2n2n 项和 S2nS_{2n}; (3) 记 f(n)=12(∣sin⁡n∣sin⁡n+3)f(n) = \frac{1}{2}\left(\frac{|\sin n|}{\sin n} + 3\right),Tn=(−1)f(2)a1a2+(−1)f(3)a3a4+(−1)f(4)a5a6+⋯+(−1)f(n+1)a2n−1a2nT_n = \frac{(-1)^{f(2)}}{a_1a_2} + \frac{(-1)^{f(3)}}{a_3a_4} + \frac{(-1)^{f(4)}}{a_5a_6} + \cdots + \frac{(-1)^{f(n+1)}}{a_{2n-1}a_{2n}},求证:16⩽Tn⩽524\frac{1}{6} \leqslant T_n \leqslant \frac{5}{24}(n∈N∗n \in \mathbf{N}^*).
\begin{solution} \begin{enumerate} \item 方程
x2−(3k+2k)x+3k⋅2k=0x^2-(3k+2^k)x+3k\cdot2^k=0
可因式分解为
(x−3k)(x−2k)=0(x-3k)(x-2^k)=0
所以 a2k−1a_{2k-1},a2ka_{2k} 是 3k3k,2k2^k 中较小者和较大者. 依次取 k=1k=1,22,33,44,得 (a1,a2)=(2,3)(a_1,a_2)=(2,3),(a3,a4)=(4,6)(a_3,a_4)=(4,6),(a5,a6)=(8,9)(a_5,a_6)=(8,9),(a7,a8)=(12,16)(a_7,a_8)=(12,16). 故 a1=2a_1=2,a3=4a_3=4,a5=8a_5=8,a7=12a_7=12. \item 每一对相邻项的和为
a2k−1+a2k=3k+2ka_{2k-1}+a_{2k}=3k+2^k
因此
S2n=∑k=1n(3k+2k)=3n(n+1)2+(2n+1−2)=3n2+3n2+2n+1−2S_{2n}=\sum_{k=1}^n(3k+2^k) =3\frac{n(n+1)}2+\left(2^{n+1}-2\right) =\frac{3n^2+3n}{2}+2^{n+1}-2
\item 令
εj=(−1)f(j)\varepsilon_j=(-1)^{f(j)}
由于 jj 为正整数且 π\pi 为无理数,sin⁡j≠0\sin j\ne0,所以 εj\varepsilon_j 有定义且 ∣εj∣=1\lvert\varepsilon_j\rvert=1. 又因为 0<2<3<π<4<3π20<2<3<\pi<4<\dfrac{3\pi}{2},所以 sin⁡2>0\sin2>0,sin⁡3>0\sin3>0,sin⁡4<0\sin4<0,从而 ε2=ε3=1\varepsilon_2=\varepsilon_3=1,ε4=−1\varepsilon_4=-1. 又
a2k−1a2k=3k⋅2ka_{2k-1}a_{2k}=3k\cdot2^k
故 Tn=∑k=1nεk+13k2kT_n=\displaystyle\sum_{k=1}^n\frac{\varepsilon_{k+1}}{3k2^k}. 当 n=1n=1 时,T1=16T_1=\dfrac16;当 n=2n=2 时,T2=16+124=524T_2=\dfrac16+\dfrac1{24}=\dfrac5{24}. 当 n⩾3n\geqslant3 时,由 ε4=−1\varepsilon_4=-1,以及
∑k=4∞13k2k<112∑k=4∞12k=196<172=13⋅3⋅23\sum_{k=4}^{\infty}\frac1{3k2^k} <\frac1{12}\sum_{k=4}^{\infty}\frac1{2^k} =\frac1{96} <\frac1{72} =\frac1{3\cdot3\cdot2^3}
可得
Tn−T2=−172+∑k=4nεk+13k2k⩽−172+∑k=4∞13k2k<0T_n-T_2 =-\frac1{72}+\sum_{k=4}^n\frac{\varepsilon_{k+1}}{3k2^k} \leqslant-\frac1{72}+\sum_{k=4}^{\infty}\frac1{3k2^k}<0
所以 Tn<524T_n<\dfrac5{24}. 另一方面,对 n⩾2n\geqslant2,
Tn⩾T2−∑k=3∞13k2k>524−19∑k=3∞12k=524−136=1372>16T_n\geqslant T_2-\sum_{k=3}^{\infty}\frac1{3k2^k} >\frac5{24}-\frac19\sum_{k=3}^{\infty}\frac1{2^k} =\frac5{24}-\frac1{36} =\frac{13}{72}>\frac16
结合 T1=16T_1=\dfrac16 和 T2=524T_2=\dfrac5{24},得到
16⩽Tn⩽524\frac16\leqslant T_n\leqslant\frac5{24}
\end{enumerate} \end{solution}

2007 · 浙江 · 理 · 第 21 题 · 解答题

查看答案和解析