Question

已知等差数列{a_n}满足a₃+a₄=9，a₂+a₆=10；又数列{b_n}满足nb₁+（n-1）b₂+…+2b_n-1+b_n=S_n，其中S_n是首项为1，公比为

8

9

的等比数列的前n项和．
（1）求a_n的表达式；
（2）若c_n=-a_nb_n，试问数列{c_n}中是否存在整数k，使得对任意的正整数n都有c_n≤c_k成立？并证明你的结论．

Answer 1

（1）设等差数列{a_n}的公差为d，∵a₃+a₄=9，a₂+a₆=10，
∴

a1+2d+a1+3d=9 a1+d+a1+5d=10

，解得

a1=2 d=1

，
∴a_n=2+1×（n-1）=n+1．
（2）∵S_n是首项为1，公比为

8

9

的等比数列的前n项和，
∴nb₁+（n-1）b₂+…+2b_n-1+b_n=(

8

9

)n-1+(

8

9

)n-2+…+

8

9

+1，①
（n-1）b₁+（n-2）b₂+…+2b_n-2+b_n-1=(

8

9

)n-2+(

8

9

)n-3+…+

8

9

+1，②
①-②得b₁+b₂+…+b_n=(

8

9

)n-1，即Tn=b1+b2+…+bn=(

8

9

)n-1．
当n=1时，b₁=T_n=1，
当n≥2时，b_n=T_n-T_n-1=(

8

9

)n-1-(

8

9

)n-2=-

1

9

×(

8

9

)n-2．
∴bn=

b1，当n=1时 - 1 9 ×( 8 9 )n-2，当n≥2时

．．
于是c_n=-a_nb_n

-2，当n=1时 1 9 ×( 8 9 )n-2×(n+1)，当n≥2时

．
设存在正整数k，使得对?n∈N^*，都有c_n≤c_k恒成立．
当n=1时，c2-c1=

7

3

，即c₂＞c₁．
当n≥2时，cn+1-cn=

1

9

×(

8

9

)n-1(n+2)-

1

9

×(

8

9

)n-2(n+1)
=

1

9

×(

8

9

)n-2[

8

9

(n+2)-(n+1)]=(

8

9

)n-2×

7-n

81

．
∴当n＜7时，c_n+1＞c_n；
当n=7时，c₈=c₇；
当n＞7时，c_n+1＜c_n．
∴存在正整数k=7或8，使得对?n∈N^*，都有c_n≤c_k恒成立．