数列中不定方程问题的几种解题策略
王海东
（江苏省丹阳市第五中学，212300）
数列是高中数学的重要内容，又是学习高等数学的基础，在高考中占有极其重要的地位．数列中不定方程的整数解问题逐渐成为一个新的热点，在近年来的高考模拟卷中，这类问题屡见不鲜，本文中的例题也都是近年来大市模考题的改编．本文试图对与数列有关的不定方程的整数解问题的解法作初步的探讨，以期给同学们的学习带来帮助。
题型一：二元不定方程 双变量的不定方程，在高中阶段主要是求出此类不定方程的整数解，方法较灵活，下面介绍3种常用的方法。
方法1. 因式分解法：先将不定方程两边的数分解为质因数的乘积，多项式分解为若干个因式的乘积，再由题意分类讨论求解。
题1（2014·浙江卷）已知等差数列?an?的公差d＞0.设?an?的前n项和为Sn，a1?1，S2?S3?36. (1)求d及Sn； (2)求m，k(m，k∈N*)的值，使得am?am?1?am?2?...?am?k?65.
解析(1)略 (2)由(1)得an?2n?1,Sn?n2(n∈N*)
?2m?1?2m?2k?1??(2m?k?1)(k?1) （k?1）am?am?1?am?2?...?am?k?2所以(2m?k?1)(k?1)?65，由m，k∈N*知2m?k?1?k?1?1
?2m?k?1?13?m?565?13?5?1?65，故?所以?
k?4k?1?5??点评 本题中将不定方程变形为?2m?k?1???k?1??5?13,因为分解方式
是唯一的，所以可以得到关于m,k的二元一次方程组求解。 方法2. 利用整除性质 在二元不定方程中，当其中一个变量很好分离时，可分离变量后利用整除性质解决． 题2.设数列{bn}的通项公式为得b1，b2，bmbn?2n?1，问：是否存在正整数t，使2n?1?t(m?3，m?N)成等差数列？若存在，求出t和m的值；若不
存在，请说明理由．
解析：要使得b1,b2,bm成等差数列，则2b2?b1?bm 即：2312m?14?? 即：m?3? 3?t1?t2m?1?tt?1∵m,t?N?，∴t只能取2，3，5 当t?2时，m?7；当t?3时，m?5；当t?5时，m?4．
点评 本题利用t表示 m从而由m?3?44得到是整数，于是t?1是t?1t?14的约数，从而估计出可能的所有取值，再逐一检验即可，当然，本题也可以利用m表示t来处理.
方法3.不等式估计法：利用不等式工具确定不定方程中某些字母的范围或等式一边的范围，再分别求解。如转化为f?m??g?n?型，利用g?n?的上界或下界来估计f?m?的范围，通过解不等式得出m的范围，再一一验证即可。 题3：已知bn?n,试问是否存在正整数p,q (其中1?p?q)，使n3b1,bp,bq成等比数列？若存在，求出所有满足条件的数组(p，q)；若不
存在，说明理由．
p1??解析：假设存在正整数数组(p，q)，使成等比数列，则2p33q3q．
p?2时，
2(p?1)2p2?4p2p??<0，故数列{3p?13p3p?13p}( p?2)为递减数列，
2p1q12p??q?，且数列{p}( p?2)为递减数列， p33333p412p当p?2时，2p??成立；当p?3时，p?2?3?2?1， 93279333p1因此，由2p?得，p?2，此时q?3 33点评：本题利用等式右边?q12p的上界来估算左边的范围, 解qp3332p2p1??fp?时，我们是构造函数再由其单调性得出整数解。 ?3p33p13题型二 ：三元不定方程
一个方程中三个未知量，在高中通常判定此类不定方程是否有解，通常都是假设存在满足题意的三个变量，再用反证法证明不成立。反证法中如何找出矛盾，以下两种方法比较常用。 1.等式两边的奇偶性分析法
题4.已知an?(2n?1)4，是否存在互不相同的正整数r,s,t，使得ar,as,atn?1成等比数列？若存在，给出r,s,t满足的条件；若不存在，说明理由。 解析：若存在ar,as,at成等比数列，则(2r?1)(2t?1)4r?t?2s?(2s?1)2 由奇偶性知右边为奇数，当且仅当r?t?2s?0时，左边也为偶数， 所以(2r?1)(2t?1)?(r?t?1)2，即r?t，这与r?t矛盾． 故不存在互不相同的正整数r,s,t，使得ar,as,at成等比数列
r?t?2s2(2r?1)(2t?1)4?(2s?1)点评：本题中等式要是成立，左右两边的奇
偶性要相同，右边为奇数，左边只有当等式r?t?2s?0才为奇数，所以用r?t?2s?0进一步代入进行求解。
na?2n题5.已知, 证明?an?中任意三项不可能构成等差数列。
解析：假设{an}中存在三项ar,as,at?r?s?t?构成等差数列， 则2as?ar?at,2?2s?2r?2t,等式两边同除以2r,得2s?1?r?1?2t?r
因为等式左边为偶数，右边为奇数，矛盾． ∴假设不成立，故不存在任意三项能构成等差数列
?2?a??, 证明?an?中任意三项不可能构成等差数列。 题6.已知n?3??n解析：假设{an}中存在三项ar,as,at?r?s?t?构成等差数列，
2??2??2?t则2as?ar?at,2??????????,等式两边同乘以3,得
?3??3??3?2s?1?3t?s?2r?3t?r?2t，等式两边再同除以2r,得2s?1-r?3t?s?3t?r?2t?r
srt因为等式左边为偶数，右边为奇数，矛盾． ∴假设不成立，故不存在任意三项能构成等差数列
点评 题5和题6都是用反证法证明不存在满足题意的三项，考试中常见此题型，放在一起便于比较，题5中化简2?2s?2r?2t时,等式两
2??2??2?边同除以2，2s,2t中的最小值，题6中化简2??????????时，等
?3??3??3?rsrt式两边同乘以3r,3s,3t中的最大值，将分数整数化，然后利用奇偶性寻找矛盾．
二．等式两边是有理数或无理数分析
题7.已知bn?n?2,求证：数列{bn}中任意不同的三项都不可能成为等比数例。
解析：假设数列{bn}中存在三项bp，bq，br（p，q，r为互不相等的正即(q?2)2?(p?2)(r?2)．
?(q2?pr)?(2q?p?r)2?0 p，q，r?N?，
整数）成等比数列，则bq2?bpbr．
?q2?pr?0，p?r? ????(p?r)2?0，?p?r． ???pr，2???2q?p?r?0，2
与p?r矛盾．
所以数列{bn}中任意不同的三项都不可能成等比数列．
点评 在反证法中利用有理数性质产生矛盾．若2q?p?r?0,则等式化
pr?q2为2?，等式左边为无理数，右边为有理数，矛盾。
2q?p?r题8（选修2-2教材P84第9题）证明：1，2，3不可能是一个等差数列中的三项．
解析：假设1，2，3是某一公差为d的等差数列的三项，则有。由上两式消去d，得2m?n?2n，易2?1?md,3?1?nd（m,n?N*）见上式左边为有理数，右边为无理数，故等式不能成立。所以1，2，3不可能是等差数列的三项。
点评：书本中的每个习题都要重视，是命题的来源，下面的这个高考题中就可以找到题7，题8的影子。
题9（2008江苏第19题改编）求证：对于给定的正整数n(n≥4)，存在一个各项及公差均不为零的等差数列b1，b2，，bn，其中任意三项（按原来的顺序）都不能组成等比数列．
解析：假设对于某个正整数n，存在一个公差为d的n项等差数列
b1,b2,......bn，其中bx?1,by?1,bz?1（0?x?y?z?n?1）为任意三项成等比数
列，则b2y?1?bx?1?bz?1，即(b1?y2d)?(1b?(y2?xz)d2?(x?z?2y)b1d （*）
化x)d?1(?b，)zd简得
由b1d?0知，y2?xz与x?z?2y同时为0或同时不为0 当y2?xz与x?z?2y同时为0时，有x?y?z与题设矛盾．
b1y2?xz故y?xz与x?z?2y同时不为0，所以由（*）得?
dx?z?2y2因为0?x?y?z?n?1，且x、y、z为整数，所以上式右边为有理数，从而1为有理数．
于是，对于任意的正整数n(n?4)，只要1为无理数，相应的数列就是满足题意要求的数列．
bdbd如题7中的数列bn?n?2就是满足题意的数列。
上面给出了数列中不定方程的常见解题策略，这些策略有一个共同的特征，就是对等式两边适当的变形选择等式一边的特征进行解题，如整除的性质，范围上界或下界，因数分解的形式，是否为有理数，奇偶性等。数列与不定方程(函数或不等式)的交汇使得试题变化多样，精彩纷呈，解法也有很大的灵活性．以上仅列举了几种常用的探求方法，具体问题还需具体分析，根据题设条件灵活处理．