Question

已知正項函數{a_n}滿足a₁=1，a_n+1²=a_n（a_n+4）+4，n∈N^*，數列{b_n}滿足b₁=1，b_n+1=-

1

bn+1

，n∈N^*．
（1）求{a_n}的通項公式；
（2）證明：存在正整數k，使得對一切n∈N^*有b_n+k=b_n；
（3）求數列{a_nb_n}的前3n項和S_3n．

Answer 1

考點：數列的求和,數列遞推式

專題：計算題,等差數列與等比數列

分析：（1）由a_n+1²=a_n（a_n+4）+4，可得（a_n+1+a_n+2）（a_n+1-a_n-2）=0，再由a_n＞0，得a_n+1-a_n=2，從而可知數列{a_n}為等差數列，易求a_n；
（2）該問題即求數列的周期，由b_n+1=-

1

bn+1

可推得b_n+3=b_n；
（3）由（2）知當k∈N^*時，b_3k-2=b₁=1，b3k-1=b2=-

1

2

，b_3k=b₃=-2，從而有a_3k-2b_3k-2+a_3k-1b_3k-1+a_3kb_3k=[2（3k-2）-1]×1+[2（3k-1）-1]×（-

1

2

）+（2×3k-1）×（-2）=-9k-

3

2

，據此可得數列{a_nb_n}的前3n項和S_3n=（a₁b₁+a₂b₂+a₃b₃）+（a₄b₄+a₅b₅+a₆b₆）+…+（a_3n-2b_3n-2+a_3n-1b_3n-1+a_3nb_3n），代入數值可求；

解答： 解：（1）由a_n+1²=a_n（a_n+4）+4，得a_n+1²=(an+2)2，
∴（a_n+1+a_n+2）（a_n+1-a_n-2）=0，
由a_n＞0，得a_n+1-a_n=2，
∴數列{a_n}為等差數列，且公差為2，
∴{a_n}的通項公式為a_n=2n-1．
（2）b_n+2=-

1

bn+1+1

=-

1

- 1 bn+1 +1

=-

bn+1

bn

，
bn+3=-

1

bn+2+1

=-

1

- bn+1 bn +1

=b_n，
∴當k=3時，對一切n∈N^*有b_n+k=b_n；
（3）b2=-

1

b1+1

=-

1

2

，b3=-

1

b2+1

=-2，
由（2）知當k∈N^*時，b_3k-2=b₁=1，b3k-1=b2=-

1

2

，b_3k=b₃=-2，
∴a_3k-2b_3k-2+a_3k-1b_3k-1+a_3kb_3k
=[2（3k-2）-1]×1+[2（3k-1）-1]×（-

1

2

）+（2×3k-1）×（-2）=-9k-

3

2

，
∴數列{a_nb_n}的前3n項和
S_3n=（a₁b₁+a₂b₂+a₃b₃）+（a₄b₄+a₅b₅+a₆b₆）+…+（a_3n-2b_3n-2+a_3n-1b_3n-1+a_3nb_3n）
=-9（1+2+…+9）-

3

2

n=-

9

2

n2-6n．

點評：本題考查由數列遞推式求數列通項、數列求和及數列的性質等知識，考查學生運算求解能力．