关于丢番图方程_143n_x_24n_y_145n_z_翁建欣

１ 引 言
设 （ ， ｚ）是 本原 商高 数组 ．Ｊｅｇｍａｎｏｗｉｃｚ［ 】曾猜 想对 于任意 正 整数 ｎ，丢番 图方 程 （礼 ） ＋（ｎＹ）ｙ＝ （ｎＺ） 只有正整数解 （ ，Ｙ，Ｚ）＝ （２，２，２）．这是与商高数组有关的未解 决 问题 之 一．很 多数 论工 作 者都 研 究过 该猜 想 ．虽 然 在很 多特 殊情 况 下，Ｊｅｇｍａｎｏｗｉｃｚ猜 想 是正 确 的，但 一般情 形仍 未解 决 ．与 Ｊｅｇｍａｎｏｗｉｃｚ猜想 相类似 的 另一个 问题 是找 出满 足 丢 番 图方 程 ａ ＋ｂｙ＝ Ｃ 只有 正整 数解 （Ｘ，Ｙ， ）＝ （１，１，１）的所 有 三元 正 整数 组 （ａ，ｂ，ｃ）． ２０１２年 ，Ｍｉｙａｚａｋｉ和 Ｔｏｇｂ６［２Ｊ证 明了对 于 任意 一个 奇整 数 ｂ≥ ５且 ｂ≠ ８９，丢番 图方 程 ｂ ＋２ｙ＝ （ｂ＋２） 只有正 整数 解 （Ｘ，Ｙ，Ｚ）＝ （１，１，１）．２０１３年 ，汤 敏和 杨全会 ［３】考虑 了丢 番 图方程 （ｂｎ）。＋（２ｎ）ｙ＝ （（６＋２）ｎ） ，证 明 了若 ｂ是 一个 不小 于 ５的奇 整数 且丢番 图方 程 （ｂｎ） ＋（２ｎ）ｙ＝（（６＋２）佗） 有正整数解 （ ，Ｙ，Ｚ）≠（１，１，１），则 Ｙ＜ ＜ｘ或 ｘ≤ ＜Ｙ．相 关 问题可 参考 文 『４－６１．
Ｅ－ｍ ａｉｌ：ｃｕｉｆａｎｇｓｕｎ＠ １６３．ｃｏｒｎ ；ｔｍ ｚｚｚ２０００＠ １６３．ｃｏｒｎ
本文 受到 国 家 自然 科 学 基 金 （Ｎｏ．１１ 金 （Ｎｏ．２０１２ｘｍｐｙ００９ Ｎｏ．２０１４ｘｍｐｙｉ１）的 资 助 ．
本文 推 广了汤 敏和 杨全 会 的结论 ＿２Ｊ．
定理 １．１ 设 他，ａ，ｂ，Ｃ是正 整数 ，ｇｃｄ（ａ，ｂ，ｃ）＝ １，ａ，ｂ≥３，且设 丢番 图方程 ａ ＋ｂｙ＝ Ｃ 只有正整数解 （Ｘ，Ｙ， ）＝（１，１，１）．若 （Ｘ，Ｙ， ）是丢番图方程

丢番图（Ｄｉｏｐｈａｎｔｕｓ）是古希腊亚历山大学后期的重要学者和数学家 （约公元２４６—３３０年，据推断和计算而知）丢番图是代数学的创始人之一， 对算术理论有深入研究，他完全脱离了几何形式，在希腊数学中独树一帜。

除了《算书》一书外，丢番图还著有《论多角 数》、《不定方程》，但是《论多角数》现仅存 一些残篇，《不定方程》早已失传了。他的著作 的拉丁文版本于1575年才第一次出版。他的著作 不仅是数学史上的珍贵资料，而且成为后来许多 数学家，如费巴、欧拉、高斯等进行数论研究的 出发点。数论中两大部分就是以丢番图名字命名 的，即“丢番图方程”和“丢番图近似理论”。
对于丢番图的生平事迹，人们知道得很少。但在一本《希腊诗文选》﹝The Greek antholog 【这是公元500年前后的遗物，大部份为语法学家梅特罗多勒斯﹝Metrodorus﹞所辑， 其中有46首和代数问题有关的短诗﹝epigram﹞】。 亚历山大时期的丢番图对代数学的发展起了极其重要的作用， 对后来的数论学者有很深的影响。丢番图的《算术》是讲数论的， 它讨论了一次、二次以及个别的三次方程，还有大量的不定方程。 现在对于具有整数系数的不定方程，如果只考虑其整数解， 这类方程就叫做丢番图方程，它是数论的一个分支。 不过丢番图并不要求解答是整数，而只要求是正有理数。 从另一个角度看，《算术》一书也可以归入代数学的范围。 代数学区别于其它学科的最大特点是引入了未知数，并对未知数加以运算。 就引入未知数，创设未知数的符号， 以及建立方程的思想﹝虽然未有现代方程的形式﹞这几方面来看， 丢番图的《算术》完全可以算得上是代数。 希腊数学自毕达哥拉斯学派后，兴趣中心在几何， 他们认为只有经过几何论证的命题才是可靠的。 为了逻辑的严密性，代数也披上了几何的外衣。 一切代数问题，甚至简单的一次方程的求解，也都纳入了几何的模式之中。 直到丢番图，才把代数解放出来，摆脱了几何的羁绊。 他认为代数方法比几何的演绎陈述更适宜于解决问题， 而在解题的过程中显示出的高度的巧思和独创性，在希腊数学中独树一帜。 他被后人称为『代数学之父』不无道理。

实用标准文档求不定方程整数解的常用方法不定方程是指未知数的个数多于方程的个数，且未知数受到某些限制（如要求是有理数，整数或正整数等)的方程或方程组。

不定方程也称丢番图方程，是数论的重要分支学科，也是数学上最活跃的数学领域之一。

我国对不定方程的研究已延续了数千年，“百钱百鸡问题”等一直流传至今，“物不知其数”的解法被称为中国剩余定理。

一般常用的求不定方程整数解的方法包括：(1)分离整数法此法主要是通过解未知数的系数中绝对值较小的未知数，将其结果中整数部分分离出来，则剩下部分仍为整数，则令其为一个新的整数变量，以此类推，直到能直接观察出特解的不定方程为止，再追根溯源，求出原方程的特解.例1 求不定方程025=-++y x x 的整数解 解 已知方程可化为 231232223225++=++++=+++=++=x x x x x x x x y 因为y 是整数，所以23+x 也是整数. 由此x+2=1，-1，3，-3，即x=-1，-3，1，-5，相应的.0,2,0,4=y所以方程的整数解为(-1,4),(-3,0),(1,2),(-5,0).(2)辗转相除法此法主要借助辗转相除式逆推求特解，具体步骤如下：第一步，化简方程，尽量化简为简洁形式(便于利用同余、奇偶分析的形式); 第二步，缩小未知数的范围，就是利用限定条件将未知数限定在某一范围内，便于下一步讨论;第三步，用辗转相除法解不定方程.例2 求不定方程2510737=+y x 的整数解.解 因为251)107,37(=,所以原方程有整数解.用辗转相除法求特解:18433,413337,33237107+⨯=+⨯=+⨯=从最后一个式子向上逆推得到19107)26(37=⨯+-⨯所以25)259(107)2526(37=⨯⨯+⨯-⨯则特解为⎩⎨⎧=⨯=-=⨯-=225259650252600y x通解为Z t t t y t t x ∈⎩⎨⎧++=+=+--=--=,)6(37337225)6(1078107650 或改写为.,3731078Z t ty t x ∈⎩⎨⎧+=--=(3)不等式估值法先通过对所考查的量的放缩得到未知数取值条件的不等式，再解这些不等式得到未知数的取值范围.例3 求方程1111=++zy x 适合z y x ≥≥的正整数解. 解 因为z y x ≥≥所以zy x 111≤≤ 所以 z z z z y x z 1111111++≤++〈 即 zz 311≤〈 所以31≤〈z所以.32==z z 或当2=z 时有 2111=+y x所以yy y x y 11111+≤+〈 所以y y 2211≤〈 所以42≤〈y所以;46,43或相应地或===x y y当3=z 时有3211=+y x 所以y y y x y 11111+≤+〈 所以 y y 2321≤〈 所以.3;3,3==≤x y y 相应地所以).3,3,3(),2,4,4(),2,3,6(),,(=z y x(4)逐渐减小系数法此法主要是利用变量替换，使不定方程未知数的系数逐渐减小，直到出现一个未知量的系数为1±的不定方程为止，直接解出这样的不定方程(或可以直接能用观察法得到特解的不定方程为止，再依次反推上去）得到原方程的通解.例4 求不定方程2510737=+y x 的整数解.解 因为251)107,37(=，所以原方程有整数解.有10737〈，用y 来表示x ，得 37412313710725y y y x +-+-=-=则令 12374,37412=-∈=+-m y Z m y 即由4<37,用m 来表示y ,得 49343712m m m y ++=+=令.4,4t m Z t m =∈=得将上述结果一一带回，得原方程的通解为 Z t ty t x ∈⎩⎨⎧=+--=,3731078注①解一元二次不定方程通常先判定方程有无解.若有解,可先求c by ax =+的一个特解，从而写出通解.当不定方程系数不大时，有时可以通过观察法求得其解，即引入变量，逐渐减小系数，直到容易求得其特解为止.②对于二元一次不定方程c by ax =+来说有整数解的充要条件是c b a ),(.⎩⎨⎧⎩⎨⎧∈-=+=∈+=-=)(,)(,0000Z t at y y bt x x Z t at y y bt x x 或(5)分离常数项的方法对于未知数的系数和常数项之间有某些特殊关系的不定方程，如常数项可以拆成两未知数的系数的倍数的和或差的不定方程，可采用分解常数项的方法去求解方程.例5 求不定方程14353=+y x 的整数解.解 原方程等价于0)28(5)1(331405314353=-+-⇔+=+⇔=+y x y x y x因为()15,3=所以⎩⎨⎧∈=-=-Z t ty t x ,32851所以原方程的通解为.,32851Z t t y t x ∈⎩⎨⎧+=-=(6)奇偶性分析法从讨论未知数的奇偶性入手，一方面可缩小未知数的取值范围，另一方面又可用n 2或)(12Z n n ∈+代入方程，使方程变形为便于讨论的等价形式.例6 求方程32822=+y x 的正整数解.解 显然y x ≠,不妨设0〉〉y x因为328是偶数，所以x 、y 的奇偶性相同，从而y x ±是偶数.令112,2v y x u y x =-=+则1u 、.0,111〉〉∈v u Z v 且所以1111,v u y v u x -=+=代入原方程得1642121=+v u同理，令2211211(2,2u v v u u v u =-=+、)0,222〉〉∈v u Z v 且于是，有822222=+v u 再令3223222,2v v u u v u =-=+得412323=+v u此时，3u 、3v 必有一奇一偶，且 []641033=≤〈〈u v取,5,4,3,2,13=v 得相应的16,25,32,37,4023=u 所以，只能是.4,533==v u从而2,18==y x结合方程的对称性知方程有两组解()().18,2,2,18(7)换元法利用不定方程未知数之间的关系（如常见的倍数关系），通过代换消去未知数或倍数，使方程简化，从而达到求解的目的.例7 求方程7111=+y x 的正整数解. 解 显见，.7,7〉〉y x 为此，可设,7,7n y m x +=+=其中m 、n 为正整数. 所以原方程7111=+y x 可化为717171=+++n m 整理得 ()()()().49,777777=++=+++mn n m n m 即所以49,1;7,7;1,49332211======n m n m n m相应地56,8;14,14;8,56332211======y x y x y x所以方程正整数解为()()().56,8,14,14,8,56(8)构造法构造法是一种有效的解题方法，并且构造法对学生的创造性思维的培养有很重要的意义，成功的构造是学生心智活动的一种探求过程，是综合思维能力的一种体现，也是对整个解题过程的一种洞察力、预感力的一种反映.构造体现的是一种转化策略，在处理不定方程问题时可根据题设的特点，构造出符合要求的特解或者构造一个求解的递推式等.例8 已知三整数a 、b 、c 之和为13且bc a b =，求a 的最大值和最小值，并求出此时相应的b 与c 的值.解 由题意得⎩⎨⎧==++ac b c b a 213，消去b 得()ac c a =--213 整理得到关于c 的一元二次方程()().0132622=-+-+a c a c 因为()().3520,01342622≤≤≥---=∆a a a 解得因,0≠a若,916,014425,12===+-=c c c c a 或解得则有符合题意，此时;9311641⎪⎩⎪⎨⎧===⎪⎩⎪⎨⎧=-==c b a c b a 或若17=a 时，则有,01692=+-c c 无实数解，故;17≠a若16=a 时，则有,09102=+-c c 解得,91==c c 或符合题意，此时;912161416⎪⎩⎪⎨⎧=-==⎪⎩⎪⎨⎧=-==c b a c b a 或综上所述，a 的最大值和最小值分别为16和1，相应的b 与c 的值分别为.9316491214⎩⎨⎧==⎩⎨⎧=-=⎩⎨⎧=-=⎩⎨⎧=-=c b c b c b c b 或和或(9)配方法把一个式子写成完全平方或完全平方之和的形式，这种方法叫做配方法.配方法是式子恒等变形的重要手段之一，是解决不少数学问题的一个重要方法.在初中阶段，我们已经学过用配方法解一元二次方程，用配方法推到一元二次方程的求根公式，用配方法把二次函数化为标准形式等等，是数学中很常用的方法.例9 若.,24522的值求x y y x y x y x ++=++ 解 由题意 045222=+-+-y y x x 即()021122=⎪⎭⎫ ⎝⎛-+-y x 所以 21,1==y x 所以23211=+=+x y y x(10)韦达定理韦达定理是反映一元二次方程根与系数关系的重要定理，广泛应用于初等代数、三角函数及解析几何中，应用此法解题时，先根据已知条件或结论，再通过恒等变形或换元等方法，构造出形如b a +、b a ⋅形式的式子，最后用韦达定理.例10 已知p 、q 都是质数，且使得关于x 的二次方程()051082=+--pq x q p x 至少有一个正整数根，求所有的质数对().,q p解 设方程的两根分别为1x 、(),212x x x ≤由根与系数关系得⎩⎨⎧=⋅-=+pq x x q p x x 51082121 因为p 、q 都是质数，且方程的一根为正整数，可知方程的另一根也是正整数. 所以⎩⎨⎧==p q p q pq pq x q p q p x ,,5,5,,55,5,,,5,121 所以.5,5,5,1521q p p q pq pq x x ++++=+①当1521+=+pq x x 时，即,10815q p pq -=+因为p 、q 均是质数，所以,1081015q p p pq -〉〉+故此时无解.②当5521+=+pq x x 时，即,1085q p pq -=+所以()(),85810-=-⋅+q p 因为p 、q 都是质数，且,810-〉+q p 所以,1,5885,1710⎩⎨⎧--=-=+q p 解得符合条件的质数对为()().3,7,=q p③当p q x x +=+521时，即,1085q p p q -=+所以,157q p =满足条件的质数对. ④当q p x x +=+521时，即,1085q p q p -=+所以,113q p =于是()()()().3,11,3,7,==q p q p 或综上所述，满足条件的质数对为()()()().3,11,3,7,==q p q p 或(11)整除性分析法用整除性解决问题，要求学生对数的整除性有比较到位的把握.例11 在直角坐标系中，坐标都是整数的点称为整点，设k 为整数，当直线k kx y x y +=-=或3的交点为整数时，k 的值可以取()A.2个B.4个C.6个D.8个解 当1=k 时，直线13+=-=x y x y 与平行，所以两直线没有交点;当0=k 时，直线()轴即与x y x y 03=-=交点为整数;当1≠k 、0≠k 时，直线k kx y x y +=-=与3的交点为方程组⎩⎨⎧+=-=k kx y x y 3的解，解得 ⎪⎩⎪⎨⎧--=---=1413k k y k k x 因为x 、y 均为整数,所以1-k 只能取4,2,1±±±解得.3,5,1,3,0,2-=k综上，答案为C.(12)利用求根公式在解不定方程时，若因数分解法、约数分析均不能奏效，我们不妨将其中一个未知数看成参数，然后利用一元二次方程的求根公式去讨论.例12 已知k 为整数，若关于x 的二次方程()01322=+++x k kx 有有理根，求k 值. 解 因为0≠k ，所以()01322=+++x k kx 的根为()()(),25223229843222k k k k k k k x ++±+-=++±+-= 由原方程的根是有理根，所以()5222++k 必是完全平方式.可设(),52222m k =++则(),52222=+-k m 即()(),512222⨯=--++k m k m因为m 、k 均是整数,所以⎩⎨⎧=--=++522122k m k m , ⎩⎨⎧=--=++122522k m k m⎩⎨⎧-=---=++112522k m k m , ⎩⎨⎧-=---=++522122k m k m解得,02或-=k 因为,0≠k 所以k 的值是-2.(13)判别式法一元二次方程根的判别式是中学阶段重要的基础知识，也是一种广泛应用的数学解题方法.该法根据一元二次方程的判别式ac b 42-=∆的值来判定方程是否有实数根，再结合根与系数的关系判定根的正负.熟练掌握该法，不仅可以巩固基础知识，还可以提高解题能力和基础知识的综合运用能力.例13 求方程431112=++xy y x 的整数解. 解 已知方程可化为()044342=-+-xy y x因为x 、y 均为整数，所以,06448162≥+-=∆x x 且为完全平方数.于是，令(),464481622n x x =+-其中n 为正整数所以()04322=-+-n x x因为x 、n 均为整数所以(),04492≥--=∆n 且为完全平方数，即有，742-n 为完全平方数.于是，再令,7422m n =-其中m 为正整数所以()()722=-+m n m n因为m n m n -+22与奇偶性相同，且m n m n -〉+22所以12,72=-=+m n m n由上.2=n相应的,032=-x x 解得()303===x x x ，所以舍去或把3=x 代入已知方程中得(),522舍去或==y y 所以2=y 所以()()2,3,=y x(14)因式分解法因式分解也是中学阶段重要的基础知识之一.它应用广泛,在多项式简化、计算、方程求根等问题中都有涉及.因式分解比较复杂，再解题时，根据所给题目的特点，灵活运用，将方程分解成若干个方程组来求解.这种方法的目的是增加方程的个数，这样就有可能消去某些未知数，或确定未知数的质因数，进而求出其解.利用因式分解法求不定方程()0≠=+abc cxy by ax 整数解的基本思路:将()0≠=+abc cxy by ax 转化为()()ab b cy a x =--后,若ab 可分解为,11Z b a b a ab i i ∈=== 则解的一般形式为,⎪⎩⎪⎨⎧+=+=c b b y c a a x ii 再取舍得其整数解. 例14 方程a b a ,4132=-、b 都是正整数，求该方程的正整数解. 解 已知方程可化为ab a b =-128所以()()9696812-=+-+b a ab即()()96128-=+-b a因为a 、b 都是正整数所以1212,0〉+〉b b这样964832241612或或或或=+b所以4=b 或12或20或36或84相应地2=a 或4或5或6或7所以方程的正整数解为:()()()()().84,7,36,6,20,5,12,4,4,2丢番图（Diophantus）：古代希腊人，代数学的鼻祖，早在公元3世纪就开始研究不定方程，因此常称整系数的不定方程为丢番图方程。

丢番图丢番图(Diophantus of Alexandria) 公元250年前后活跃于亚历山大．教学．丢番图生存的年代，是根据下面的记载来确定的．在他的著作《多角数》(De polygonis numeris)中，引用了许普西克勒斯(Hypsicles of Alexandria，约公元前175年)关于多角数的定义，而赛翁(Theon of Alexandria)的书又引用丢番图的著作．这样界定的上、下限是公元前175年到公元390年．另外，M．C．普赛勒斯(Psellus，1018—约1078)写过一封信，提到阿纳托利厄斯(Anatolius，约公元280年)将他所著的关于埃及计算方法的小册子献给丢番图，因此两人应同时代或丢番图稍早．据此断定丢番图的活跃时期是公元250年前后．丢番图将他的杰作《算术》(Arithmetica)献给迪奥尼修斯(Dionysius)．历史上用这一个名字的有好几个，估计这一个是亚历山大的迪奥尼修斯，他是当地的主教．在任主教(公元247年)之前，曾在那里建立基督教学校(从公元231年起)．丢番图的《算术》可能就是为这些学校编写的教科书．这种推想是合情合理的，年代也和前面所说的一致．关于丢番图的生平，还有一则别开生面的记载．在一本《希腊诗文选》(The Greek anthology)中，收录了丢番图奇特的墓志铭：坟中安葬着丢番图，多么令人惊讶，它忠实地记录了所经历的道路．上帝给予的童年占六分之一，又过十二分之一，两颊长胡，再过七分之一，点燃起结婚的蜡烛．五年之后天赐贵子，可怜迟到的宁馨儿，享年仅及其父之半，便进入冰冷的墓．悲伤只有用数论的研究去弥补，又过四年，他也走完了人生的旅途．这相当于方程x=84．由此知他享年84岁．丢番图的著作确实知道他有两种著作，一是《算术》，大部分保存了下来；另一种是《多角数》，只有少部分留下来．还有两种书，一是《推论集》 (Porismata)它只是在《算术》中几次提到，可能是若干数论问题的汇编，独立成册，也可能是附属在《算术》中的失传部分．此外，伊安布利霍斯(lamblichus，约公元250—约330年)所著《尼科马霍斯〈算术〉评注》一书的注释者还提到丢番图另外一本书《分数算法》(Moriastica)，它记载了分数计算的法则，可惜已失传．丢番图的《算术》是一部划时代的著作，它在历史上影响之大可以和欧几里得《几何原本》(Elements)一比高下．这书的序中说，全书共分13卷．可是现在见到的希腊文本只有6卷．长期以来，大家都认为其余的7卷早在10世纪以前已经失传．5世纪时希帕提娅(Hypatia)注释这部书，只注了6卷，也许这正是其余部分被人忽视终致失传的原因．近年来，发现4卷阿拉伯文本，改变了传统的看法．1973年，G．图默(Toomer)获悉在马什哈德圣地(Mashhad Shrine)图书馆有一本阿拉伯文手抄本，经过研究，确认为《算术》的失传部分(但还不全)．这是由古斯塔伊本卢加(Qustā ibn Lūqā，活跃于860年前后)译成阿拉伯文的．后来J．塞夏诺(Sesiano)将它译成英文并加以详细注释(见[6])．经过反复推敲，塞夏诺指出这4卷在《算术》中原来的位置应该是紧接着希腊文本卷1，2，3的卷4，5，6，7，而希腊文的其余部分应是卷8，9，10．下面将按这新的顺序编排来介绍它的内容．原来的6卷希腊文本，最初是J．雷格蒙塔努斯(Regiomontanus，1436—1476)发现的．1464年2月15日，他写信给L．比安基(Bianchi)，提到他在威尼斯找到了丢番图的《算术》，从此西方学术界才知道有6卷希腊文手抄本流传下来．最早的拉丁文译本是G．克胥兰德(Xylander，1532—1576)的“Diophanti Alexandrini Rerum arithmeticarum libri sex，et de numeris multangulis liber unus”(《亚历山大的丢番图算术6卷，多角数1卷》)．以后又有C．－G．巴歇(Bachet de Méziriac，1581—1638)校订注释的希腊-拉丁文对照本“Diophanti Alexandrini Arithmeticorum libri sex，et de numeris multangulis liber unus”(《亚历山大的丢番图算术6卷，多角数1卷》)．关于这个译本，有一段饶有趣味的历史．1637年左右，P．de费马(Fermat，1601—1665)读到这译本第2卷第8题：“将一个平方数分为两个平方数”时，在书页的空白处写出了著名的“费马大定理”．1670年费马的儿子S．de费马(Fermat)将他父亲的全部批注插入正文，重新出版巴歇的希-拉对照本近代，不包括新发现4卷的“丢番图全集”，标准的版本是P．唐内里(Tannery，1843—1904，法国数学史家)编辑、校订的希-拉对照本“Diophanti Alexandrini opera omnia cum Graecis mentariis”(《亚历山大的丢番图全集，包括希腊文注释》)．最流行的英译本是T．L．希思(Heath，1861—1940)的“Diophantus of Alexan－dria，A Study in the history of Greek algebra(《亚历山大的丢番图，希腊代数学史研究》)．此外，还有德、法、英、俄及现代希腊语等多种译本．代数学的特征希腊时代“算术”(arithmetica)一词，主要指“数的理论”而言，大致相当于现在的“数论”．而数字的加、减、乘、除等运算则叫做“计算的技巧”(logistica)，和前者有明显的区别．这种分法从毕达哥拉斯时代开始，一直延续到近代，例如C．F．高斯(Gau－ss)的数论名著就叫做《算术研究》(Disquisitiones Arithmeticae，1801)．丢番图《算术》也是讲数论的，它讨论了一次、二次以及个别的三次方程，还有大量的不定方程．现在对于具有整系数的不定方程，如果只考虑其整数解，这类方程就叫做丢番图方程，它是数论的一个分支．不过丢番图并不要求解答是整数而只要求是正有理数．从另一个角度看，《算术》一书也可以归入代数学的范围．代数学区别于其他学科的最大特点是引入了未知数，并对未知数加以运算，根据问题的条件列出方程，然后解方程求出未知数．算术也有未知数，这未知数一般就是问题的答案，一切运算只允许对已知数来施行．在代数中既然要对未知数加以运算，就需要用某种符号来表示它．就引入未知数，创设未知数符号以及建立方程的思想(虽然未有现代方程的形式)这几方面来看，丢番图《算术》完全可以算得上是代数．当时代数学没有专门的名称，algebra是9世纪花拉子米(al－Khowarizmi)以后才出现的名称，而且直到17世纪还没被欧洲人普遍接受．丢番图将这方面的成果冠以算术之名是很自然的．他被后人称为“代数学之父”也是有一定道理的．希腊数学自毕达哥拉斯学派以后，兴趣中心在几何，他们认为只有经过几何论证的命他才是可靠的．为了逻辑的严密性，代数也披上了几何的外衣，一切代数问题，甚至简单的一次方程的求解，也都纳入僵硬的几何模式之中．直到丢番图，才把代数解放出来，摆脱了几何的羁绊．例如，(a＋b)2=a2+2ab＋b2的关系在欧几里得《几何原本》中是一条重要的几何定理(卷Ⅱ命题4)，而在丢番图《算术》中只是简单代数运算法则的必然结果．下面通过一个例子来说明丢番图解决问题的手法．卷Ⅱ第20题：求两数，使得任一数的平方加上另一数等于一个平方数．([10]，p．101．)这相当于不定方程x2+y=m2y2+x=n2要求所有的未知数x，y，m，n都是正有理数．丢番图只设一个未知数，也只使用一个未知数的符号，这是他的特点之一，今暂记作x．其余的未知数根据问题的具体条件用含x的一个简单式子表示出来．本例的条件是x2加上另一个未知数等于一个平方数，故可设这个未知数是2x+1，因为x2+ 2x+1正好是一个完全平方．其次，还应该满足(2x+1)2+x=平方数．丢番图设右端是(2x-2)2，显然是想使展开后左右两端相同的4x2项-2是怎样来的？不妨先令右端是(2x+a)2=4x2+4ax+a2，原文很简单，没有说明这样设未知数的理由，更没有给出一般的法则．他虽然知道问题有多个答案，但常常得到一个答案就已满足．他认为代数方法(可理解为一种倒推法，先假设未知数存在，列出方程然后求解)比几何的演绎陈述更适宜于解决问题．解题的过程中显示出高度的巧思和独创性，在希腊数学中独树一帜．有的数学史家说，如果丢番图的著作不是用希腊文写的，人们就不会想到这是希腊人的成果，因为看不出有古典希腊数学的风格，从思想方法到整个科目结构都是全新的．如果没有丢番图的工作，也许人们以为希腊人完全不懂代数．有人甚至猜想他是希腊化了的巴比伦人．代数符号G．H．F．内塞尔曼(Nesselmann，1811—1881)根据符号使用的情况，将代数学分为三类(见[12]，pp．301—306)：(1)文词代数(rhetorische algebra)，完全用文字来叙述而不用符号；(2)简字代数(synkopierte algebra)；(3)符号代数(symbolischealgebra)，除了个别地方，一切全用符号来表示．按照这个分类，丢番图《算术》应该属于第二类．符号的使用，在数学史上是一件大事．一套优良的符号，绝不仅仅是起到加快速度、节省时间的作用，它能够准确、深刻地表达某种概念、方法和逻辑关系．一个较复杂的式子，如果不用符号而日常语言来表述，会十分冗长而含混不清．符号的发明在数学史上是一次飞跃，也是代数的特征之一，其作用是不容低估的．丢番图创设了一些符号，多半采自相应文字的字头，而问题的叙述主要仍然是用文字，和现代的符号代数相去甚远，只可算是较原始的简字代数．号来表示它．由于丢番图本人的原始手稿早已失传，后人传抄的手稿上这个符号又不很统一，故很难确知他用的是什么符号．不过几种手稿都记数法系统是用字母表数，如α，β，γ，δ，…分别表示1，2，3，4…；ι，κ，λ，μ，…分别表示10，20，30，40，…；ρ，σ，τ，υ，…分别表示100，200，300，400，…等等，24个字母值得注意的是，在一份大约写于2世纪的纸草书上，也出现和丢番图未知数相类似的符号，上面所列的三个算题，解题方法也具有丢番图的风格．可以想象，丢番图的工作不是孤立的，他受到强烈的外来影响．丢番图所处理的问题大部分是多元的，但他只设一个未知数的符号，相当于现在的x．而和x2，x3，…，x4相当的各次幂，都有专门的名称和符号：名称符号符号是名称的缩写，注意Δ，Υ，Κ是字母δ，υ，κ的大写．这些乘幂的倒数也有专名和符号，6次以上的幂不再创设符号．未知数的系数相乘的法则：“‘缺乏’乘以‘缺乏’得到‘存在’；‘缺乏’乘以‘存在’得到‘缺乏’”，即负乘负得正，负乘正得负，由于没有加号，书写时所有的负项都放在减号的后面，如x3-5x2+8x-1写成原意是“属于部分”，相当于“除以”或分数线/)，接着写分母．例如卷10(原希腊文本卷6)第19题，将(2x3＋3x2＋x)/(x2+2x+1)写成这已非常接近现代方程的形式．最后一个符号表示数字6，是希腊字母表以外的记号，读作digamma．丢番图创用符号是一大进步，美中不足的是只用符号表示一个未知数，遇到多个未知数时仍用同一符号，这使得计算过程越来越晦涩．为了避免混淆，不得不运用高度的技巧，但这常常使方法失去普遍性．8—9世纪以后，阿拉伯人吸取了许多希腊人的成果，然而却没有看到符号的优点，花拉子米等人完全回到文词代数上去，这是历史上的倒退．《算术》的典型问题和解答(一)一、二、三次方程《算术》没有系统地给出一、二次方程的解法．大概是一元一次方程太简单，没有必要单独论述，实际它已包含在axn=b类型的方程之中．经过移项、消去等手续，有些问题化为这类方程之后，立即得到解答．不管答案有几个，丢番图仅满足于一个答案．他完全排斥负数解答，例如卷9(原希腊文本卷5)第2题最后化为4=4x+20，他认为是荒谬的．无理数的解答也不取。