Question

若數(shù)列{a_n}滿足：a₁=m₁，a₂=m₂，a_n+2=pa_n+1+qa_n（p，q是常數(shù)），則稱數(shù)列{a_n}為二階線性遞推數(shù)列，且定義方程x²=px+q為數(shù)列{a_n}的特征方程，方程的根稱為特征根； 數(shù)列{a_n}的通項(xiàng)公式a_n均可用特征根求得：
①若方程x²=px+q有兩相異實(shí)根α，β，則數(shù)列通項(xiàng)可以寫成a_n=c₁αⁿ+c₂βⁿ，（其中c₁，c₂是待定常數(shù)）；
②若方程x²=px+q有兩相同實(shí)根α，則數(shù)列通項(xiàng)可以寫成a_n=（c₁+nc₂）αⁿ，（其中c₁，c₂是待定常數(shù)）；
再利用a₁=m₁，a₂=m₂，可求得c₁，c₂，進(jìn)而求得a_n．根據(jù)上述結(jié)論求下列問題：
（1）當(dāng)a₁=5，a₂=13，a_n+2=5a_n+1-6a_n（n∈N^*）時(shí)，求數(shù)列{a_n}的通項(xiàng)公式；
（2）當(dāng)a₁=1，a₂=11，a_n+2=2a_n+1+3a_n+4（n∈N^*）時(shí)，求數(shù)列{a_n}的通項(xiàng)公式；
（3）當(dāng)a₁=1，a₂=1，a_n+2=a_n+1+a_n（n∈N^*）時(shí)，記S_n=a₁C_n¹+a₂C_n²+…+a_nC_nⁿ，若S_n能被數(shù)8整除，求所有滿足條件的正整數(shù)n的取值集合．

Answer 1

（1）由a_n+2=5a_n+1-6a_n可知特征方程為：x²-5x+6=0，x₁=2，x₂=3…（3分）
所以 設(shè) a_n=c₁•2ⁿ+c₂•3ⁿ，由

c1•2+c2•3=5 c1•4+c2•9=13

得到c₁=c₂=1，
所以   a_n=2ⁿ+3ⁿ； …（6分）
（2）由a_n+2=2a_n+1+3a_n+4可以得到（a_n+2+1）=2（a_n+1+1）+3（a_n+1）
設(shè)b_n=a_n+1，則上述等式可以化為：b_n+2=2b_n+1+3b_n…（8分）
b₁=a₁+1=2，b₂=a₂+1=12，所以b_n+2=2b_n+1+3b_n對(duì)應(yīng)的特征方程為：x²-2x-3=0，x₁=-1，x₂=3…（10分）
所以令   b_n=c₁•3ⁿ+c₂•（-1）ⁿ，由b₁=2，b₂=12可以得出

c1= 7 6 c2= 3 2

所以bn=

7

6

•3n+

3

2

•(-1)n…（11分）
即  an=

7

6

•3n+

3

2

•(-1)n-1，n∈N*…（12分）
（3）同樣可以得到通項(xiàng)公式an=

1

5

[(

1+ 5

2

)n-(

1- 5

2

)n]，n∈N*…（14分）
所以S_n=a₁C_n¹+a₂C_n²+a₃C_n³+…+a_nC_nⁿ=

1

5

C

1n

[(

1+ 5

2

)1-(

1- 5

2

)1]+

1

5

C

2n

[(

1+ 5

2

)2-(

1- 5

2

)2]+

1

5

C

3n

[(

1+ 5

2

)3-(

1- 5

2

)3]+…+

1

5

C

nn

[(

1+ 5

2

)n-(

1- 5

2

)n]=

1

5

[

C

1n

(

1+ 5

2

)1+

C

2n

(

1+ 5

2

)2+

C

3n

(

1+ 5

2

)3+…+

C

nn

(

1+ 5

2

)n]-

1

5

[

C

1n

(

1- 5

2

)1+

C

2n

(

1- 5

2

)2+

C

3n

(

1- 5

2

)3+…+

C

nn

(

1- 5

2

)n]=

1

5

[(1+

1+ 5

2

)n-(1+

1- 5

2

)n]=

1

5

[(

3+ 5

2

)n-(

3- 5

2

)n]
即     Sn=

1

5

[(

3+ 5

2

)n-(

3- 5

2

)n]，  n∈N*…（14分）Sn+2=

1

5

[(

3+ 5

2

)n+2-(

3- 5

2

)n+2]=

1

5

[(

3+ 5

2

)n+1-(

3- 5

2

)n+1]••[(

3+ 5

2

)+(

3- 5

2

)]-[(

3+ 5

2

)n-(

3- 5

2

)n]=3S_n+1-S_n
即   S_n+2=3S_n+1-S_n，n∈N^*…（16分）
因此S_n+2除以8的余數(shù)，完全由S_n+1，S_n除以8的余數(shù)確定，
因?yàn)閍₁=1，a₂=1所以  S₁=C₁¹a₁=1，S₂=C₂¹a₁+C₂²a₂=3，S₃=3S₂-S₁=9-1=8，S₄=3S₃-S₂=24-3=21，S₅=3S₄-S₃=63-8=55，S₆=3S₅-S₄=165-21=144，S₇=3S₆-S₅=432-55=377，S₈=3S₇-S₆=1131-144=987，S₉=3S₈-S₇=2961-377=2584，
由以上計(jì)算及S_n+2=3S_n+1-S_n可知，數(shù)列{S_n}各項(xiàng)除以8的余數(shù)依次是：1，3，0，5，7，0，1，3，0，5，7，0，…，它是一個(gè)以6為周期的數(shù)列，從而S_n除以8的余數(shù)等價(jià)于n除以3的余數(shù)，所以n=3k，k∈N^*，
即所求集合為：{n|n=3k，k∈N^*}…（18分）