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ⁿ，由得到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可以得出
所以…（11分）
即 …（12分）
（3）同样可以得到通项公式…（14分）
所以S_n=a₁C_n¹+a₂C_n²+a₃C_n³+…+a_nC_nⁿ===
即 …（14分）=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分）
分析：（1）根据已知条件求出a_n+2=5a_n+1-6a_n的特征方程为：x²-5x+6=0及其特征根x₁=2，x₂=3，利用待定系数法求出
c₁=c₂=1，进一步求出数列{a_n}的通项公式；
（2）先将已知条件变形为（a_n+2+1）=2（a_n+1+1）+3（a_n+1），设b_n=a_n+1，构造新数列{ b_n}，通过求特征方程的特征根求出数列{ b_n}的通项公式，进一步求出数列{a_n}的通项公式；
（3）先通过求特征方程的特征根的方法求出通项公式，代入S_n=a₁C_n¹+a₂C_n²+…+a_nC_nⁿ，化简得到 S_n+2=3S_n+1-S_n，通过不完全归纳找规律得到结论．
点评：本题考查通过题中的新定义求数列通项的方法，解决问题的关键是理解透题目中的新定义，在高考中场出现在小题中，本题属于难题．