（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恒成立．