已知数列
{an} 与
{bn} 满足:
bnan+an+1+bn+1an+2=0,
bn=23+(−1)n,
n∈N∗,且
a1=2,
a2=4,
(1) 求
a3,
a4,
a5 的值;
(2) 设
cn=a2n−1+a2n+1,
n∈N∗,证明:
{cn} 是等比数列;
(3) 设
Sk=a2+a4+⋯+a2k,
k∈N∗,证明:
∑k=14nakSk<67(
n∈N∗).
\begin{solution}
由于
b2n−1=1,
b2n=2.
\begin{enumerate}
\item 取
n=1,
2,
3,原递推式分别给出
a1+a2+2a3=0,
2a2+a3+a4=0,
a3+a4+2a5=0.
代入
a1=2,
a2=4,依次得
a3=−3,
a4=−5,
a5=4.
\item 对任意
n∈N∗,取原递推式中下标
2n 和
2n+1,得
2a2n+a2n+1+a2n+2=0
a2n+1+a2n+2+2a2n+3=0
两式相减可得
a2n+3=a2n
再取下标
2n−1,有
a2n−1+a2n+2a2n+1=0
因此
cn+1=a2n+1+a2n+3=a2n+1+a2n=−(a2n−1+a2n+1)=−cn
又
c1=a1+a3=2−3=−1,所以
cn=(−1)n
故
{cn} 是首项
−1、公比
−1 的等比数列.
\item 先由
a1=2,
a2=4 验证
a2⋅1−1=(−1)1−1(1+1),
a2⋅1=(−1)1−1(1+3).
若
a2n−1=(−1)n−1(n+1),
a2n=(−1)n−1(n+3),
则由下标
2n−1 和
2n 的递推式分别有
a2n+1=−2a2n−1+a2n=(−1)n(n+2)
a2n+2=−2a2n−a2n+1=(−1)n(n+4)
这正是把
n 换成
n+1 后的两个等式,故由数学归纳法,对任意
n∈N∗,
a2n−1=(−1)n−1(n+1),
a2n=(−1)n−1(n+3).
于是
S2m=a2+a4+⋯+a4m=−m
S2m−1=a2+a4+⋯+a4m−2=m+3
将四项作为一组,得
Bm=a4m−3S4m−3+a4m−2S4m−2+a4m−1S4m−1+a4mS4m
化简得
Bm=2m2m+2−2m+22m−1−2m+12m+3+2m+32m=2m(2m+1)2+(2m+2)(2m+3)3
当
n=1 时,
k=1∑4akSk=B1=6029<67
当
n⩾2 时,对
m⩾2 有
Bm=2m(2m+1)5+(2m+2)(2m+3)3−2m(2m+1)3
其中最后一项恰与前一组的第二项相消,且
B1−4⋅53=31
因此望远镜相消得到
k=1∑4nakSk=31+m=2∑n2m(2m+1)5+(2n+2)(2n+3)3
因为
2m(2m+1)5<(2m−1)(2m+1)5=25(2m−11−2m+11)
所以
m=2∑n2m(2m+1)5<65−2(2n+1)5
并且因
6(2n+1)<5(2n+2)(2n+3),有
(2n+2)(2n+3)3<2(2n+1)5
故
k=1∑4nakSk<31+65=67
\end{enumerate}
\end{solution}