Question

（2012•寶山區(qū)一模）已知函數(shù)f（x）=log₂x，若2，f（a₁），f（a₂），f（a₃），…，f（a_n），2n+4，…，（n∈N^*）成等差數(shù)列．
（1）求數(shù)列{a_n}（n∈N^*）的通項(xiàng)公式；
（2）設(shè)g（k）是不等式log₂x+log₂（3

ak

-x）≥2k+3（k∈N^*）整數(shù)解的個(gè)數(shù)，求g（k）；
（3）記數(shù)列{

12

an

}的前n項(xiàng)和為S_n，是否存在正數(shù)λ，對(duì)任意正整數(shù)n，k，使S_n-λ

ak

＜λ²恒成立？若存在，求λ的取值范圍；若不存在，說(shuō)明理由．

Answer 1

分析：（1）由題設(shè)知f（a_n）=2n+2，所以log₂a_n=2n+2，由此能夠求出數(shù)列{a_n}（n∈N^*）的通項(xiàng)公式．
（2）由log₂x+log₂（3

ak

-x）≥2k+3（k∈N^*），知log2x+log2(3•2k+1-x)≥2k+3，所以x∈[2^k+1，2^k+2]，由此能求出g（k）．
（3）由題意，S_n=1-

1

4n

，

ak

=2^k+1．由Sn-λ

ak

＜λ2恒成立，S_n＞0，λ＞0，知當(dāng)S_n取最大值，

ak

取最小值時(shí)，S_n-λ

ak

取到最大值．由此入手能夠求出λ的取值范圍．

解答：解：（1）∵2，f（a₁），f（a₂），f（a₃），…，f（a_n），2n+4，…，（n∈N^*）成等差數(shù)列，
∴f（a_n）=2n+2，
∴l(xiāng)og₂a_n=2n+2，…（2分）
∴an=22n+2．…（4分）
（2）∵log₂x+log₂（3

ak

-x）≥2k+3（k∈N^*），
∴log2x+log2(3•2k+1-x)≥2k+3，
∴log2[x(3•2k+1-x)]≥2k+3，
∴x²-3•2^k+1x+2•2^2k+2≤0，
∴（x-2^k+1）（x-2^k+2）≤0，
∴x∈[2^k+1，2^k+2]，…（8分）
其中整數(shù)個(gè)數(shù)g（k）=2^k+1+1．…（10分）
（3）由題意，Sn=12×

1 16 [1- 1 4n ]

1- 1 4

=1-

1

4n

，

ak

=2^k+1．…（12分）
又Sn-λ

ak

＜λ2恒成立，S_n＞0，λ＞0，
所以當(dāng)S_n取最大值，

ak

取最小值時(shí)，S_n-λ

ak

取到最大值．…（14分）
又S_n＜1，

ak

≥4，所以1-4λ≤λ²，…（16分）
解得λ≥-2+

5

．…（18分）

點(diǎn)評(píng)：本題考查數(shù)列、不等式知識(shí)，考查化歸與轉(zhuǎn)化、分類與整合的數(shù)學(xué)思想，培養(yǎng)學(xué)生的抽象概括能力、推理論證能力、運(yùn)算求解能力和創(chuàng)新意識(shí)．有一定的探索性，對(duì)數(shù)學(xué)思維能力要求較高，是高考的重點(diǎn)．解題時(shí)要認(rèn)真審題，仔細(xì)解答．