Question

數(shù)列{a_n}的各項(xiàng)均為正值，a₁，對(duì)任意n∈N^*，

a

2 n+1

-1=4an(an+1)，b_n=log₂（a_n+1）都成立．
（1）求數(shù)列{a_n}，{b_n}的通項(xiàng)公式；
（2）當(dāng)k＞7且k∈N^*時(shí)，證明對(duì)任意n∈N^*都有

1

bn

+

1

bn+1

+

1

bn+2

+…+

1

bnk-1

＞

3

2

成立．

Answer 1

分析：（1）由an+12-1=4an(an+1)，得（a_n+1+2a_n+1）（a_n+1-2a_n-1）=0，由數(shù)列{a_n}的各項(xiàng)為正值，知a_n+1+2a_n+1＞0，故a_n+1=2a_n+1，再由b_n=log₂（a_n+1），能求出數(shù)列{a_n}，{b_n}的通項(xiàng)公式．
（2）設(shè)S=

1

bn

+

1

bn+1

+

1

bn+2

+…+

1

bnk-1

=

1

n

+

1

n+1

+

1

n+2

+…+

1

nk-1

，由2S=（

1

n

+

1

nk-1

）+（

1

n+1

+

1

nk-2

）+（

1

n+2

+

1

nk-3

）+…+（

1

nk-1

+

1

n

），所以2S＞

4

n+nk-1

+

4

n+1+nk-2

+

4

n+2+nk-3

+…+

4

nk-1+n

=

4n(k-1)

n+nk-1

，由此能夠證明對(duì)任意n∈N^*都有

1

bn

+

1

bn+1

+

1

bn+2

+…+

1

bnk-1

＞

3

2

成立．

解答：解：（1）由an+12-1=4an(an+1)，
得（a_n+1+2a_n+1）（a_n+1-2a_n-1）=0，
數(shù)列{a_n}的各項(xiàng)為正值，a_n+1+2a_n+1＞0，
∴a_n+1=2a_n+1，
∴a_n+1+1=2（a_n+1），
∵a₁+1=2≠0，
∴數(shù)列{a_n+1}為等比數(shù)列．
∴an+1=(a1+1)•2n-1=2n，an=2n-1，
即為數(shù)列{a_n}的通項(xiàng)公式． 
∵b_n=log₂（a_n+1），
∴bn=log2(2n-1+1)=n．
（2）設(shè)S=

1

bn

+

1

bn+1

+

1

bn+2

+…+

1

bnk-1

=

1

n

+

1

n+1

+

1

n+2

+…+

1

nk-1

，
∴2S=（

1

n

+

1

nk-1

）+（

1

n+1

+

1

nk-2

）+（

1

n+2

+

1

nk-3

）+…+（

1

nk-1

+

1

n

），
當(dāng)x＞0，y＞0時(shí)，x_y≥2

xy

，

1

x

+

1

y

≥2

1 xy

，
∴（x+y）（

1

x

+

1

y

）≥4，
∴

1

x

+

1

y

≥

4

x+y

，當(dāng)且僅當(dāng)x=y時(shí)等號(hào)成立．
在2S=（

1

n

+

1

nk-1

）+（

1

n+1

+

1

nk-2

）+（

1

n+2

+

1

nk-3

）+…+（

1

nk-1

+

1

n

），中，k＞7，n＞0，
n+1，n+2，…，nk-1全為正，
所以2S＞

4

n+nk-1

+

4

n+1+nk-2

+

4

n+2+nk-3

+…+

4

nk-1+n

=

4n(k-1)

n+nk-1

，
∴S＞

2(k-1)

1+k- 1 n

＞

2(k-1)

k+1

=2（1-

2

k+1

）＞2（1-

2

7+1

）=

3

2

，
故對(duì)任意n∈N^*都有

1

bn

+

1

bn+1

+

1

bn+2

+…+

1

bnk-1

＞

3

2

成立．

點(diǎn)評(píng)：本題考查數(shù)列的通項(xiàng)公式的求法，考查不等式的證明，考查數(shù)列、不等式知識(shí)，考查化歸與轉(zhuǎn)化、分類與整合的數(shù)學(xué)思想，培養(yǎng)學(xué)生的抽象概括能力、推理論證能力、運(yùn)算求解能力和創(chuàng)新意識(shí)．解題時(shí)要注意構(gòu)造法的合理運(yùn)用．