Question

已知数列{a_n}的各项均为正值，a₁=1，对任意n∈N^*，a_n+1²-1=4a_n（a_n+1），b_n=log₂（a_n+1）都成立．
（1）求数列{a_n}、{b_n}的通项公式；
（2）令c_n=a_n•b_n，求数列{c_n}的前n项和T_n；
（3）当k＞7且k∈N^*时，证明对任意n∈N^*，都有

1

bn

+

1

bn+1

+

1

bn+2

+…+

1

bnk-1

＞

3

2

成立．

Answer 1

（1）由n∈N*，

a

2n+1

-1=4an(an+1)，得（a_n+1+2a_n+1）（a_n+1-2a_n-1）=0
∵数列{a_n}的各项均为正值，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∴数列{a_n+1}为等比数列，
∴an+1=(a1+1)•2n-1=2n∴数列{a_n}的通项公式an=2n-1，
数列{b_n}的通项公式bn=log2(2n-1+1)=n．
（2）由（1）c_n=a_n•b_n=n•（2ⁿ-1）
所以T_n=1•2¹+2•2²+3•2³+…+n•2ⁿ-（1+2+3+…+n）
令T_n′=1•2¹+2•2²+3•2³+…+n•2ⁿ①
则2T_n′=1•2²+2•2³+3•2⁴+…+n•2ⁿ⁺¹②
①-②得-T_n′=1•2¹+2²+2³+2⁴+…++2ⁿ-n•2ⁿ⁺¹=2ⁿ⁺¹-2-n•2ⁿ⁺¹=（1-n）2ⁿ⁺¹-2
（3）法1：设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

)
当x＞0，y＞0时，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

当且仅当x=y时等号成立．
∴上述（1）式中，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

法2∵k≥8，S≥

1

n

+

1

n+1

+…+

1

8n-1

=

1

n

+…+

1

2n-1

+

1

2n

+…+

1

3n-1

+

1

3n

+…+

1

4n-1

+…+

1

8n-1

＞

1

2n-1

+…+

1

2n-1

+

1

3n-1

+…+

1

3n-1

+

1

4n-1

+…+

1

4n-1

+…+

1

8n-1

+…+

1

8n-1

=

n

2n-1

+

n

3n-1

+

n

4n-1

+…+

n

8n-1

＞

1

2

+

1

3

+

1

4

+

1

5

+

1

6

+

1

7

+

1

8

=1+

1

4

+

1

5

+

1

7

+

1

8

=1+

83

140

+

1

8

＞1+

1

2

=

3

2