Question

已知等比數(shù)列{a_n}中，a₂，a₃，a₄分別是某等差數(shù)列的第5項(xiàng)、第3項(xiàng)、第2項(xiàng)，且a1=

1

2

公比q≠1．
（1）求數(shù)列{a_n}的通項(xiàng)公式；
（2）已知數(shù)列{b_n}滿足bn=log

1

2

an2，S_n是數(shù)列{b_n}的前n項(xiàng)和，求證：當(dāng)n≥5時(shí)，a_nS_n＜1．

Answer 1

（1）由已知得a₂-a₃=2（a₃-a₄）．
從而得2q²-3q+1=0
解得q=

1

2

或q=1（舍去）…（4分）
所以a_n=a₁•q^n-1=

1

2

•（

1

2

）^n-1=(

1

2

)n．
∴數(shù)列{a_n}的通項(xiàng)公式為an=(

1

2

)n；…（6分）
（2）由于bn=2log

1

2

(

1

2

)n=2n•Sn=n(n+1)，anSn=

n(n+1)

2n

．
因此所證不等式等價(jià)于：2ⁿ＞n（n+1）（n≥5．）
①當(dāng)n=5時(shí)，因?yàn)樽筮?32，右邊=30，32＞30，所以不等式成立；
②假設(shè)n=k（k≥5）時(shí)不等式成立，即2^k＞k（k+1），
兩邊同乘以2得2^k+1＞（k+1）（k+2）．
這說明當(dāng)n=k+1時(shí)也不等式成立．
由①②知，當(dāng)n≥5時(shí)，2ⁿ＞n（n+1）成立．
因此，當(dāng)n≥5時(shí)，a_nS_n＜1成立．…（12分）