Question

9．已知數(shù)列{a_n}中，a₁=1，a₂=3對(duì)任意n∈N^*，a_n+2≤a_n+3•2ⁿ，a_n+1≥2a_n+1都成立，則a₂₀₁₆=
2²⁰¹⁶-1．

Answer 1

分析 a_n+1≥2a_n+1，利用遞推可得：a_n+1≥2a_n+1≥2²a_n-1+2+1≥…≥2ⁿa₁+2^n-1+2^n-2+…+2+1=2ⁿ⁺¹-1，即${a}_{n}≥{2}^{n}$-1．（n=1時(shí)也成立）．由a_n+2≤a_n+3•2ⁿ，即a_n+2-a_n≤3•2ⁿ，利用“累加求和”方法結(jié)合a_n+1≥2a_n+1，可得a_n≤2ⁿ-1，因此a_n=2ⁿ-1．即可得出．

解答 解：∵a_n+1≥2a_n+1，
∴a_n+1≥2a_n+1≥2²a_n-1+2+1≥2³a_n-2+2²+2+1≥…≥2ⁿa₁+2^n-1+2^n-2+…+2+1=$\frac{{2}^{n+1}-1}{2-1}$=2ⁿ⁺¹-1，
∴${a}_{n}≥{2}^{n}$-1．（n=1時(shí)也成立）．
由對(duì)任意n∈N^*，a_n+2≤a_n+3•2ⁿ，即a_n+2-a_n≤3•2ⁿ，
∴a₃-a₁≤3×2，
a₄-a₂≤3×2²，
…，
a_n-2-a_n-4≤3×2^n-4
a_n-1-a_n-3≤3×2^n-3，
a_n-a_n-2≤3×2^n-2，
a_n+1-a_n-1≤3×2^n-1．
∴a_n+1+a_n≤1+3+3×2+3×2²+…+3×2^n-2+3×2^n-1=1+3×$\frac{{2}^{n}-1}{2-1}$=3×2ⁿ-2．（n≥2）．
∵a_n+1≥2a_n+1，
∴3a_n+1≤3×2ⁿ-2．
∴a_n≤2ⁿ-1．
∴2ⁿ-1≤a_n≤2ⁿ-1，
∴a_n=2ⁿ-1．
∴a₂₀₁₆=2²⁰¹⁶-1．
故答案為：2²⁰¹⁶-1．

點(diǎn)評(píng) 本題考查了遞推關(guān)系、不等式的性質(zhì)、“累加求和”方法、等比數(shù)列的前n項(xiàng)和公式，考查了推理能力與計(jì)算能力，屬于難題．