Question

在等比數列{a_n}（n∈N^*）中，a₁＞1，公比q＞0．設b_n=log₂a_n，且b₁+b₃+b₅=6，b₁b₃b₅=0．
（1）求證：數列{b_n}是等差數列；
（2）求{b_n}的前n項和S_n及{a_n}的通項a_n；
（3）試比較a_n與S_n的大小．

Answer 1

【答案】分析：（1）由題設知b_n+1-b_n=log₂=log₂q為常數．所以數列{b_n}為等差數列且公差d=log₂q．
（2）根據題設條件先求首項和公差及公比．然后再求{b_n}的前n項和S_n及{a_n}的通項a_n．
（3）根據題設條件分情況討論，能夠比較a_n與S_n的大小．
解答：（1）證明：∵b_n=log₂a_n，
∴b_n+1-b_n=log₂=log₂q為常數．
∴數列{b_n}為等差數列且公差d=log₂q．
（2）解：∵b₁+b₃+b₅=6，∴b₃=2．
∵a₁＞1，∴b₁=log₂a₁＞0．
∵b₁b₃b₅=0，∴b₅=0．
∴解得
∴S_n=4n+×（-1）=．
∵∴
∴a_n=2^5-n（n∈N^*）．
（3）解：顯然a_n=2^5-n＞0，當n≥9時，S_n=≤0．
∴n≥9時，a_n＞S_n．
∵a₁=16，a₂=8，a₃=4，a₄=2，a₅=1，a₆=，a₇=，a₈=，S₁=4，S₂=7，S₃=9，S₄=10，S₅=10，S₆=9，S₇=7，S₈=4，
∴當n=3，4，5，6，7，8時，a_n＜S_n；
當n=1，2或n≥9時，a_n＞S_n．
點評：本題主要考查了數列的基本知識和分類討論的思想．