Question

已知數(shù)列{a_n}中，a₁=3，a₂=5，其前n項(xiàng)和S_n滿足（n≥3）．令b_n=，且已知f（x）=2^x-1．
（1）求數(shù)列{a_n}的通項(xiàng)公式；
（2）求證：T_n=b₁f（1）+b₂f（2）+…+b_nf（n）＜；
（3）求證：．

Answer 1

解：（1）由題意知S_n-S_n-1=S_n-1-S_n-2+2^n-1（n≥3），
a_n=a_n-1+2^n-1（n≥3）…（1分）
∴a_n=（a_n-a_n-1）+（a_n-1-a_n-2）+…+（a₃-a₂）+a₂
=2^n-1+2^n-2+…+2²+5
=2^n-1+2^n-2+…+2²+2+1+2
（n≥3）…3分
檢驗(yàn)知n=1、2時(shí)，結(jié)論也成立，故a_n=2ⁿ+1．…（4分）
證明：（2）b_nf（n）=•2^n-1=•=（-）…（6分）
T_n=b₁f（1）+b₂f（2）+…+b_nf（n）
=[（-）+（-）+…+（-）]
=（-）
＜•=．…（7分）
（3）法一：令S=+++…+=++…+，
∵S=++…+≥n…（8分）
++…+≥n…（10分）
兩式相乘有（++…+）•（++…+）≥n²，
即（++…+）•（n+1-）≥n²，…（11分）
∴S=++…+≥＞…（12分）
法二：數(shù)學(xué)歸納法：
①n=1時(shí)S=＞成立，
n=2時(shí)，S=+＞成立；…（8分）
（只寫n=1時(shí)S=＞成立，本問不得分）
②假設(shè)n=k，k≥2時(shí)，S=++…+＞成立，
則n=k+1，S=++…++＞+，
要證S=++…++＞，
只需證+＞，
即證＞-，
即證＞…（9分）
即證＞，
即證1-＞1-，
即證2^k+1+1＞（k+1）（k+2）…（10分）
k≥5時(shí)，2^k+1+1＞2+2+2+1=k²+3k+3＞（k+1）（k+2）…（11分）
再驗(yàn)證k=2、3、4時(shí)2^k+1+1＞（k+1）（k+2）成立．后略…（12分）
分析：（1）根據(jù)題意可求得a_n=a_n-1+2^n-1（n≥3），利用累加法即可求得數(shù)列{a_n}的通項(xiàng)公式；
（2）利用列項(xiàng)法將b_nf（n）=•2^n-1轉(zhuǎn)化為b_nf（n）=（-），求和時(shí)再利用放縮法即可證得T_n=b₁f（1）+b₂f（2）+…+b_nf（n）＜；
（3）法一：構(gòu)造函數(shù)，令S=+++…+=++…+，利用基本不等式可證明（++…+）•（++…+）≥n²，再對(duì)++…+通過分離常數(shù)得到n+1-，放縮后即可得證結(jié)論；
法二：數(shù)學(xué)歸納法：①n=1時(shí)S=＞成立，
②假設(shè)n=k，k≥2時(shí)，S=++…+＞成立，
則n=k+1，用分析法即可證得結(jié)論成立．
點(diǎn)評(píng)：本題考查數(shù)列與不等式的綜合，著重考查裂項(xiàng)法求和與放縮法證明不等式，考查化歸思想，分類討論思想的綜合應(yīng)用，屬于難題．