1、1特征方程法求解递推关系中的数列通项考虑一个简单的线性递推问题.设已知数列 的项满足 na其中 求这个数列的通项公式.,10c采用数学归纳法可以求解这一问题，然而这样做太过繁琐，而且在猜想通项公式中容易出错，本文提出一种易于被学生掌握的解法特征方程法：针对问题中的递推关系式作出一个方程 称之为特征方程；,dcx借助这个特征方程的根快速求解通项公式.下面以定理形式进行阐述.定理 1.设上述递推关系式的特征方程的根为 ，则当 时， 为常数列，即0x10an，其中 是以 为公比的等比数列，即 .0101,; xbaxann 时当 nbc 011,xabcn证明：因为 由特征方程得 作换元c.1d,0
2、xbn则 .)(01 nnnn cbaccaxb 当 时， ，数列 是以 为公比的等比数列，故0axb ;1当 时， ， 为 0 数列，故 （证毕）1n .N,1n下面列举两例，说明定理 1 的应用.例 1已知数列 满足： 求na ,4,231aann .n解：作方程 .,230xx则当 时， 数列 是以 为公比的等比数列.于是41a21101bnb3N,)1(3,)(2)( ab nnnnn例 2已知数列 满足递推关系： 其中 为虚数单位.n1iani当 取何值时，数列 是常数数列？1a解：作方程 则,)32(ix.5360i要使 为常数，即则必须n1xa现在考虑一个分式递推问题（*）.例
3、3已知数列 满足性质：对于 且 求 的通项公式.n ,324,N1nna,1na将这问题一般化，应用特征方程法求解，有下述结果.定理 2.如果数列 满足下列条件：已知 的naa1=ban+1=can+d2值且对于 ，都有 （其中 p、 q、 r、 h 均为常数，且 ） ，那么，可Nnhrapnn1 rharqph1,0作特征方程 .hrxqp（1）当特征方程有两个相同的根 （称作特征根）时，若 则,a;,n若 ，则 其中 特别地，当存在 使1 ,N,1bn .N,)1(1nrpnabn ,N0n时，无穷数列 不存在.0nba（2）当特征方程有两个相异的根 、 （称作特征根）时，则 ， 其中12
4、 12nca,).(,N,)( 211221anrpacn 其 中证明：先证明定理的第（1）部分.作交换 ,dn则 hraqpnn1n)(hdrqpn)(rpnn)(2 是特征方程的根，.0)(2qphrhq将该式代入式得 .N,)(1nrdpnn将 代入特征方程可整理得 这与已知条件 矛盾.故特征方程的根 于是rpx,qrhqrph,rp.0当 ，即 = 时，由式得 故1d1da ,N,0nb.N,ndan当 即 时，由、两式可得 此时可对式作如下变化：.d3.1)(1rpdrphrdnn 由 是方程 的两个相同的根可以求得xq.2rhp ,12hprphr将此式代入式得 .N,1nrdn令
5、 则 故数列 是以 为公差的等差数列.N,ndbn .,1pbn nbrp .,)(1rn其中 .11adb当 时，0,Nn .N,1nbdn当存在 使 时， 无意义.故此时，无穷数列 是不存在的.,00nb000nna na再证明定理的第（2）部分如下：特征方程有两个相异的根 、 ，其中必有一个特征根不等于 ，不妨令 于是可作变换12 1a.12.N,21nacn故 ，将 代入再整理得21n hraqpnn1N,)(2211 qrpacn由第（1）部分的证明过程知 不是特征方程的根，故rpx.,21rp故 所以由式可得：.0,21rrN,21211 nrphqarpcnn4特征方程 有两个相
6、异根 、 方程 有两个相异根 、 ，而方hrxqp120)(2qphxr 12程 与方程 又是同解方程.qx0)(2qp 221,rhrph将上两式代入式得 N,2121211 ncrparcnn 当 即 时，数列 是等比数列，公比为 .此时对于 都有,011n rp21Nn.)()( 122121 nnn rparpc当 即 时，上式也成立.011由 且 可知2nac21.N,1nc所以 (证毕).,1n注:当 时, 会退化为常数; 当 时, 可化归为较易解的递推关系,在此不再qrphhan0rhraqpnn1赘述.现在求解前述例 3 的分类递推问题 .）（ 解:依定理作特征方程 变形得 其
7、根为 故特征方程有两个相异,324x,042x.2,1的根，使用定理 2 的第（2）部分，则有 .N,)1()( 11221 nrpacnn .N,)51nn .,1)5(212ncann即 .N,)5(24nn5例 4已知数列 满足：对于 都有na,Nn.3251nna（1）若 求 （2）若 求 （3）若 求 （4）当 取哪些值时，无穷数列 不,51;n,1;n,61;n1ana存在？解：作特征方程 .35x变形得 ,0212x特征方程有两个相同的特征根 依定理 2 的第（1）部分解答.（1） 对于 都有.,511a,Nn;5na（2） 3 rpnabn)1(15353,82令 ，得 .故数列 从第 5 项开始都不存在，0nbna当 4， 时， .N17bn（3） ,561a.1a .,81)(1 Nnrpnbn 令 则 对于,0n.7.0b,n .,743581nban（4）显然当 时，数列从第 2 项开始便不存在.由本题的第（1）小题的解答过程知， 时，数31 51a列 是存在的，当 时，则有 令 则得na51a .N,851)1(1 narpnabn ,0nb且 2.N,351n当 （其中 且 N2）时，数列 从第 项开始便不存在.11a n6于是知：当 在集合 或 且 2上取值时，无穷数列 都不存在.1a3,:15Nnna
