专题地图 › 递推数列
2012 年辽宁预赛 · 第 16 题
F3解答题递推数列
设递增数列 {an} 满足 a1=1,且
4an+1=5an+9an2+16(n≥1, n∈N∗)。
(1) 求数列 {an} 的通项公式;
(2) 证明:a11+a21+a31+⋯+an1<2.
作答
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
解析
思路
根式具有平方差结构,可验证由两个互为倒数的等比量之差表示通项;求和界则只需递推本身给出的倍增。
解答
先证明
an=32(2n−2−n).
n=1 时成立。若该式在 n 成立,令 U=2n>1,则 3an=2(U−U−1),故 9an2+16=2(U+U−1)。代入题设得到 an+1=32(2U−(2U)−1),归纳完成。 又原递推中 an>0,并且 9an2+16>3an,所以 an+1>2an。于是 an≥2n−1,从而任意 N≥1 都满足
n=1∑Nan1≤n=1∑N2−(n−1)=2(1−2−N)<2.
复核
通式给出 a1=1,a2=5/2,原递推也给出 4a2=5+5=10。取平方根时用了 U+U−1>0,没有将平方根直接写为未定号表达式。严格求和界来自有限等比和,首项情形同样成立。
方法总结
根式递推中的互为倒数量可用于通项归纳;只证部分和上界时,应保留更短的增长比较。
为什么评为 F3(会透露解法方向)
根式递推须识别互为倒数的等比量并验证正根分支;倒数和估计还要另从递推建立严格增长。
用到的方法(会透露解法方向)
核心工具:递推的不变区间与临界值
专题卡:根式和平方型递推:平移配方,或用共轭数控制误差