已知数列
{an} 中的相邻两项
a2k−1,
a2k 是关于
x 的方程
x2−(3k+2k)x+3k⋅2k=0 的两个根,且
a2k−1⩽a2k(
k=1,
2,
3,
…).
(1) 求
a1,
a3,
a5,
a7;
(2) 求数列
{an} 的前
2n 项和
S2n;
(3) 记
f(n)=21(sinn∣sinn∣+3),
Tn=a1a2(−1)f(2)+a3a4(−1)f(3)+a5a6(−1)f(4)+⋯+a2n−1a2n(−1)f(n+1),求证:
61⩽Tn⩽245(
n∈N∗).
\begin{solution}
\begin{enumerate}
\item 方程
x2−(3k+2k)x+3k⋅2k=0
可因式分解为
(x−3k)(x−2k)=0
所以
a2k−1,
a2k 是
3k,
2k 中较小者和较大者. 依次取
k=1,
2,
3,
4,得
(a1,a2)=(2,3),
(a3,a4)=(4,6),
(a5,a6)=(8,9),
(a7,a8)=(12,16).
故
a1=2,
a3=4,
a5=8,
a7=12.
\item 每一对相邻项的和为
a2k−1+a2k=3k+2k
因此
S2n=k=1∑n(3k+2k)=32n(n+1)+(2n+1−2)=23n2+3n+2n+1−2
\item 令
εj=(−1)f(j)
由于
j 为正整数且
π 为无理数,
sinj=0,所以
εj 有定义且
∣εj∣=1. 又因为
0<2<3<π<4<23π,所以
sin2>0,
sin3>0,
sin4<0,从而
ε2=ε3=1,
ε4=−1. 又
a2k−1a2k=3k⋅2k
故
Tn=k=1∑n3k2kεk+1.
当
n=1 时,
T1=61;当
n=2 时,
T2=61+241=245.
当
n⩾3 时,由
ε4=−1,以及
k=4∑∞3k2k1<121k=4∑∞2k1=961<721=3⋅3⋅231
可得
Tn−T2=−721+k=4∑n3k2kεk+1⩽−721+k=4∑∞3k2k1<0
所以
Tn<245. 另一方面,对
n⩾2,
Tn⩾T2−k=3∑∞3k2k1>245−91k=3∑∞2k1=245−361=7213>61
结合
T1=61 和
T2=245,得到
61⩽Tn⩽245
\end{enumerate}
\end{solution}