Question

若数列{a_n}满足：a₁=m₁，a₂=m₂，a_n+2=pa_n+1+qa_n（p，q是常数），则称数列{a_n}为二阶线性递推数列，且定义方程x²=px+q为数列{a_n}的特征方程，方程的根称为特征根； 数列{a_n}的通项公式a_n均可用特征根求得：
①若方程x²=px+q有两相异实根α，β，则数列通项可以写成a_n=c₁αⁿ+c₂βⁿ，（其中c₁，c₂是待定常数）；
②若方程x²=px+q有两相同实根α，则数列通项可以写成a_n=（c₁+nc₂）αⁿ，（其中c₁，c₂是待定常数）；
再利用a₁=m₁，a₂=m₂，可求得c₁，c₂，进而求得a_n．根据上述结论求下列问题：
（1）当a₁=5，a₂=13，a_n+2=5a_n+1-6a_n（n∈N^*）时，求数列{a_n}的通项公式；
（2）当a₁=1，a₂=11，a_n+2=2a_n+1+3a_n+4（n∈N^*）时，求数列{a_n}的通项公式；
（3）当a₁=1，a₂=1，a_n+2=a_n+1+a_n（n∈N^*）时，记S_n=a₁C_n¹+a₂C_n²+…+a_nC_nⁿ，若S_n能被数8整除，求所有满足条件的正整数n的取值集合．

Answer 1

（1）由a_n+2=5a_n+1-6a_n可知特征方程为：x²-5x+6=0，x₁=2，x₂=3…（3分）
所以 设 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）
设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对应的特征方程为：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）同样可以得到通项公式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的余数，完全由S_n+1，S_n除以8的余数确定，
因为a₁=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，
由以上计算及S_n+2=3S_n+1-S_n可知，数列{S_n}各项除以8的余数依次是：1，3，0，5，7，0，1，3，0，5，7，0，…，它是一个以6为周期的数列，从而S_n除以8的余数等价于n除以3的余数，所以n=3k，k∈N^*，
即所求集合为：{n|n=3k，k∈N^*}…（18分）