分析:(1)設(shè){a
n}的公比為q,由a
3=1,知a
4=q,a
5=q
2,a
6=q
3.由a
4,a
5+1,a
6成等差數(shù)列,能求出數(shù)列{a
n}、{b
n}的通項(xiàng)公式.
(2)用數(shù)學(xué)歸納法證明如下:①當(dāng)n=3時(shí),左邊=
T3-=(++)-=+=.右邊=
log23.由2
5>3
3,知不等式成立.②假設(shè)n=k(k≥3)時(shí)不等式成立.即
++…+>log2k.那么當(dāng)n=k+1時(shí),
++…++>log2k+,要證n=k+1時(shí)不等式也成立,只需證:
()k+1<4,由此能證明當(dāng)n=k+1時(shí)不等式也成立.綜合①②可知:當(dāng)n≥3時(shí),
Tn->log2n.
解答:解:(1)設(shè){a
n}的公比為q,
∵a
3=1,
∴a
4=q,a
5=q
2,a
6=q
3.
∵a
4,a
5+1,a
6成等差數(shù)列,
∴2(q
2+1)=q+q
3,
解得q=2. (2分)
∴a
n=a
3q
n-3=2
n-3. (3分)
當(dāng)n=1時(shí),
=S1=1,
∴
b1=a1=.(4分)
當(dāng)n≥2時(shí),
=Sn-Sn-1=n•2n-3,
∴
bn=(6分)
(2)用數(shù)學(xué)歸納法證明如下:
①當(dāng)n=3時(shí),左邊=
T3-=(++)-=+=.
右邊=
log23∵2
5>3
3,
∴
2>3,
∴
log22>log23,
即
>log23,
∴左邊>右邊,
∴不等式成立.(8分)
②假設(shè)n=k(k≥3)時(shí)不等式成立.
即
++…+>log2k,
則當(dāng)n=k+1時(shí),
++…++>log2k+,
要證n=k+1時(shí)不等式也成立,
只需證
log2k+>log2(k+1)即證:
()k+1<4.(10分)
下面先證
(1+)k<3 (k≥3)∵
(1+)k=++()2+…+()r+…+()k=≤,所以有:
(1+)k≤1+1+++…<2+++…+=
2+=2+1-()k-1<3又k≥3,
∴
()k+1=(1+)k(1+)<3(1+)≤3(1+)=4∴當(dāng)n=k+1時(shí)不等式也成立.
綜合①②可知:當(dāng)n≥3時(shí),
Tn->log2n.(14分).
點(diǎn)評:本題考查數(shù)列與不等式的綜合運(yùn)用,解題時(shí)要認(rèn)真審題,仔細(xì)解答,注意數(shù)學(xué)歸納法的合理運(yùn)用.