数列中不定方程问题的几种解题策略

数列中不定方程问题的几种解题策略王海东（江苏省丹阳市第五中学，212300）数列是高中数学的重要内容，又是学习高等数学的基础，在高考中占有极其重要的地位．数列中不定方程的整数解问题逐渐成为一个新的热点，在近年来的高考模拟卷中，这类问题屡见不鲜，本文中的例题也都是近年来大市模考题的改编．本文试图对与数列有关的不定方程的整数解问题的解法作初步的探讨，以期给同学们的学习带来帮助。题型一：二元不定方程双变量的不定方程，在高中阶段主要是求出此类不定方程的整数解，方法较灵活，下面介绍3种常用的方法。方法1.因式分解法：先将不定方程两边的数分解为质因数的乘积，多项式分解为若干个因式的乘积，再由题意分类讨论求解。题1（2014·浙江卷）已知等差数列na的公差d＞0.设na的前n项和为nS，11a，3632SS.(1)求d及Sn；(2)求m，k(m，k∈N*)的值，使得65...21kmmmmaaaa.解析(1)略(2)由(1)得2,12nSnann(n∈N*)kmmmmaaaa...212122121kmmk）（)1)(12(kkm所以65)1)(12(kkm，由m，k∈N*知1112kkm65151365，故511312kkm所以45km点评本题中将不定方程变形为135112kkm,因为分解方式是唯一的，所以可以得到关于km,的二元一次方程组求解。方法2.利用整除性质在二元不定方程中，当其中一个变量很好分离时，可分离变量后利用整除性质解决．题2.设数列{}nb的通项公式为2121nnbnt，问：是否存在正整数t，使得12mbbb，，(3)mmN，成等差数列？若存在，求出t和m的值；若不存在，请说明理由．解析：要使得12,,mbbb成等差数列，则212mbbb即：312123121mttmt即：431mt∵,mtN，∴t只能取2，3，5当2t时，7m；当3t时，5m；当5t时，4m．点评本题利用t表示m从而由431mt得到14t是整数，于是1t是4的约数，从而估计出可能的所有取值，再逐一检验即可，当然，本题也可以利用m表示t来处理.方法3.不等式估计法：利用不等式工具确定不定方程中某些字母的范围或等式一边的范围，再分别求解。如转化为ngmf型，利用ng的上界或下界来估计mf的范围，通过解不等式得出m的范围，再一一验证即可。题3：已知nnnb3,试问是否存在正整数qp,(其中qp1)，使qpbbb,,1成等比数列？若存在，求出所有满足条件的数组(p，q)；若不存在，说明理由．解析：假设存在正整数数组(p，q)，使成等比数列，则21333pqpq．2p时，112(1)224333pppppp0，故数列{23pp}(2p)为递减数列，2113333pqpq，且数列{23pp}(2p)为递减数列，当2p时，241933pp成立；当3p时，2232127933pp，因此，由2133pp得，2p，此时3q点评：本题利用等式右边qq331的上界31来估算左边pp32的范围,解2133pp时，我们是构造函数pppf32再由其单调性得出整数解。题型二：三元不定方程一个方程中三个未知量，在高中通常判定此类不定方程是否有解，通常都是假设存在满足题意的三个变量，再用反证法证明不成立。反证法中如何找出矛盾，以下两种方法比较常用。1.等式两边的奇偶性分析法题4.已知1(21)4nnan，是否存在互不相同的正整数,,rst，使得,,rstaaa成等比数列？若存在，给出,,rst满足的条件；若不存在，说明理由。解析：若存在,,rstaaa成等比数列，则22(21)(21)4(21)rtsrts由奇偶性知右边为奇数，当且仅当20rts时，左边也为偶数，所以2(21)(21)(1)rtrt，即rt，这与rt矛盾．故不存在互不相同的正整数,,rst，使得,,rstaaa成等比数列点评：本题中等式22(21)(21)4(21)rtsrts要是成立，左右两边的奇偶性要相同，右边为奇数，左边只有当等式20rts才为奇数，所以用20rts进一步代入进行求解。题5.已知nna2,证明na中任意三项不可能构成等差数列。解析：假设}{na中存在三项,,rstaaatsr构成等差数列，则trsaaa2,trs2222,等式两边同除以r2,得rtrs2121因为等式左边为偶数，右边为奇数，矛盾．∴假设不成立，故不存在任意三项能构成等差数列题6.已知nna32,证明na中任意三项不可能构成等差数列。解析：假设}{na中存在三项,,rstaaatsr构成等差数列，则trsaaa2,trs3232322,等式两边同乘以t3,得trtrsts232321，等式两边再同除以r2,得rtrtstrs2332-1因为等式左边为偶数，右边为奇数，矛盾．∴假设不成立，故不存在任意三项能构成等差数列点评题5和题6都是用反证法证明不存在满足题意的三项，考试中常见此题型，放在一起便于比较，题5中化简trs2222时,等式两边同除以r2，ts2,2中的最小值，题6中化简trs3232322时，等式两边同乘以tsr3,3,3中的最大值，将分数整数化，然后利用奇偶性寻找矛盾．二．等式两边是有理数或无理数分析题7.已知2nbn,求证：数列{}nb中任意不同的三项都不可能成为等比数例。解析：假设数列{}nb中存在三项pqrbbb，，（pqr，，为互不相等的正整数）成等比数列，则2qprbbb．即2(2)(2)(2)qpr．2()(2)20qprqprpqrN，，，2020qprqpr，，22()02prprprpr，，．与pr矛盾．所以数列{}nb中任意不同的三项都不可能成等比数列．点评在反证法中利用有理数性质产生矛盾．若02rpq,则等式化为rpqqpr222，等式左边为无理数，右边为有理数，矛盾。题8（选修2-2教材P84第9题）证明：1，2，3不可能是一个等差数列中的三项．解析：假设1，2，3是某一公差为d的等差数列的三项，则有,12mdnd13）（*,Nnm。由上两式消去d，得nnm22，易见上式左边为有理数，右边为无理数，故等式不能成立。所以1，2，3不可能是等差数列的三项。点评：书本中的每个习题都要重视，是命题的来源，下面的这个高考题中就可以找到题7，题8的影子。题9（2008江苏第19题改编）求证：对于给定的正整数n(4n≥)，存在一个各项及公差均不为零的等差数列12bb，，，nb，其中任意三项（按原来的顺序）都不能组成等比数列．解析：假设对于某个正整数n，存在一个公差为d的n项等差数列nbbb,......,21，其中111,,xyzbbb（01xyzn）为任意三项成等比数列，则2111yxzbbb，即2111()()()bydbxdbzd，化简得221()(2)yxzdxzybd（*）由10bd知，2yxz与2xzy同时为0或同时不为0当2yxz与2xzy同时为0时，有xyz与题设矛盾．故2yxz与2xzy同时不为0，所以由（*）得212byxzdxzy因为01xyzn，且x、y、z为整数，所以上式右边为有理数，从而1bd为有理数．于是，对于任意的正整数)4(nn，只要1bd为无理数，相应的数列就是满足题意要求的数列．如题7中的数列2nbn就是满足题意的数列。上面给出了数列中不定方程的常见解题策略，这些策略有一个共同的特征，就是对等式两边适当的变形选择等式一边的特征进行解题，如整除的性质，范围上界或下界，因数分解的形式，是否为有理数，奇偶性等。数列与不定方程(函数或不等式)的交汇使得试题变化多样，精彩纷呈，解法也有很大的灵活性．以上仅列举了几种常用的探求方法，具体问题还需具体分析，根据题设条件灵活处理．