丢番图方程(8a3-3a)2x+(3a-1)y=(4a-1)z
丢番图方程整数解方法之欧阳德创编
求不定方程整数解的常用方法不定方程是指未知数的个数多于方程的个数，且未知数受到某些限制（如要求是有理数，整数或正整数等)的方程或方程组。
不定方程也称丢番图方程，是数论的重要分支学科，也是数学上最活跃的数学领域之一。
我国对不定方程的研究已延续了数千年，“百钱百鸡问题”等一直流传至今，“物不知其数”的解法被称为中国剩余定理。
一般常用的求不定方程整数解的方法包括：(1)分离整数法此法主要是通过解未知数的系数中绝对值较小的未知数，将其结果中整数部分分离出来，则剩下部分仍为整数，则令其为一个新的整数变量，以此类推，直到能直接观察出特解的不定方程为止，再追根溯源，求出原方程的特解.例1 求不定方程025=-++y x x 的整数解 解 已知方程可化为因为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 求不定方程25+yx的整数解.37=107解因为25,37107(=,所以原方程有整数解.)1用辗转相除法求特解:从最后一个式子向上逆推得到所以则特解为通解为或改写为(3)不等式估值法先通过对所考查的量的放缩得到未知数取值条件的不等式，再解这些不等式得到未知数的取值范围.例3 求方程1111=++zy x 适合z y x ≥≥的正整数解. 解 因为所以所以即所以所以.32==z z 或当2=z 时有所以所以所以42≤〈y所以;46,43或相应地或===x y y当3=z 时有所以所以所以.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 ，得 则令由4<37,用m 来表示y ,得令.4,4t m Z t m =∈=得将上述结果一一带回，得原方程的通解为注解一元二次不定方程通常先判定方程有无解.若有解,可先求c by ax =+的一个特解，从而写出通解.当不定方程系数不大时，有时可以通过观察法求得其解，即引入变量，逐渐减小系数，直到容易求得其特解为止. 对于二元一次不定方程c by ax =+来说有整数解的充要条件是c b a ),(.(5)分离常数项的方法对于未知数的系数和常数项之间有某些特殊关系的不定方程，如常数项可以拆成两未知数的系数的倍数的和或差的不定方程，可采用分解常数项的方法去求解方程.例5 求不定方程14353=+y x 的整数解.解 原方程等价于因为所以所以原方程的通解为.,32851Z t t y t x ∈⎩⎨⎧+=-= (6)奇偶性分析法从讨论未知数的奇偶性入手，一方面可缩小未知数的取值范围，另一方面又可用n 2或)(12Z n n ∈+代入方程，使方程变形为便于讨论的等价形式.例6 求方程32822=+y x 的正整数解.解 显然y x ≠,不妨设因为328是偶数，所以x 、y 的奇偶性相同，从而y x ±是偶数.令则1u 、.0,111〉〉∈v u Z v 且所以代入原方程得同理，令2211211(2,2u v v u u v u =-=+、)0,222〉〉∈v u Z v 且于是，有再令得此时，3u 、3v 必有一奇一偶，且取,5,4,3,2,13=v 得相应的所以，只能是.4,533==v u从而结合方程的对称性知方程有两组解()().18,2,2,18(7)换元法利用不定方程未知数之间的关系（如常见的倍数关系），通过代换消去未知数或倍数，使方程简化，从而达到求解的目的.例7 求方程7111=+y x 的正整数解. 解 显见，.7,7〉〉y x 为此，可设,7,7n y m x +=+=其中m 、n 为正整数. 所以原方程7111=+y x 可化为 整理得所以相应地所以方程正整数解为()()().56,8,14,14,8,56(8)构造法构造法是一种有效的解题方法，并且构造法对学生的创造性思维的培养有很重要的意义，成功的构造是学生心智活动的一种探求过程，是综合思维能力的一种体现，也是对整个解题过程的一种洞察力、预感力的一种反映.构造体现的是一种转化策略，在处理不定方程问题时可根据题设的特点，构造出符合要求的特解或者构造一个求解的递推式等.例8 已知三整数a 、b 、c 之和为13且bc a b =，求a 的最大值和最小值，并求出此时相应的b 与c 的值.解 由题意得⎩⎨⎧==++acb c b a 213，消去b 得()ac c a =--213 整理得到关于c 的一元二次方程因为因,0≠a若,916,014425,12===+-=c c c c a 或解得则有符合题意，此时 若17=a 时，则有,01692=+-c c 无实数解，故;17≠a 若16=a 时，则有,09102=+-c c 解得,91==c c 或符合题意，此时综上所述，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 ++=++ 解 由题意即所以 所以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 ≤由根与系数关系得因为p 、q 都是质数，且方程的一根为正整数，可知方程的另一根也是正整数.所以所以.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 所以解得符合条件的质数对为()().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的解，解得 因为x 、y 均为整数,所以1-k 只能取4,2,1±±±解得综上，答案为C.(12)利用求根公式在解不定方程时，若因数分解法、约数分析均不能奏效，我们不妨将其中一个未知数看成参数，然后利用一元二次方程的求根公式去讨论.例12 已知k 为整数，若关于x 的二次方程()01322=+++x k kx 有有理根，求k 值.解 因为0≠k ，所以()01322=+++x k kx 的根为由原方程的根是有理根，所以()5222++k 必是完全平方式.可设(),52222m k =++则(),52222=+-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 的整数解. 解 已知方程可化为因为x 、y 均为整数，所以,06448162≥+-=∆x x 且为完全平方数.于是，令(),464481622n x x =+-其中n 为正整数 所以因为x 、n 均为整数所以(),04492≥--=∆n 且为完全平方数， 即有，742-n 为完全平方数.于是，再令,7422m n =-其中m 为正整数所以因为m n m n -+22与奇偶性相同，且m n m n -〉+22所以由上.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 都是正整数，求该方程的正整数解.解 已知方程可化为所以即因为a 、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世纪就开始研究不定方程，因此常称整系数的不定方程为丢番图方程。
丢番图方程抽代证明
丢番图方程抽代证明让我们来证明丢番图方程的正确性，所谓丢番图方程就是在平面上有三个不同的点A(x1, y1)，B(x2, y2)，C(x3, y3)，如果它们满足这种关系：(x1 - x2) (y1 - y3) = (x2 - x3) (y1 - y2)那么这三个点A，B，C就是在另一条直线上的三等分点。
为了证明这个丢番图方程，我们可以把上述方程化简为一个标准形式，即：[(x1 - x2)/(x2 - x3)] [(y1 - y3)/(y1 - y2)] = 1证明通过之后，我们就可以说明这三个点A，B，C之间具有特殊的关系：A，B，C是在另一条直线上的三等分点。
因此，我们开始证明这个方程：我们首先把这个方程分段：部分1： [(x1 - x2)/(x2 - x3)]= k1部分2： [(y1 - y3)/(y1 - y2)] = k2这两个方程的证明主要取决于上面的定义，要证明的是：存在一个直线，这条直线上有三个不同的点A，B，C，他们之间的坐标数据服从上面的丢番图方程。
以部分1为例：假设A，B，C是在另一条直线上的三等分点，那么其直线上的两个点，A 和B，B和C之间的坐标均有规律：即AB的距离，BC的距离是相同的，也就是说：(x1 - x2)/(x2 - x3) = k1从而证明了部分1。
类似的，只要我们证明部分2，我们就可以根据直线的特性证明这个丢番图方程，在此我们可以把原先的丢番图方程，重新表达为：k1 k2 = 1那么，在此，我们可以说明，这样一条直线上的三等分点，都有这样一种特殊关系，从而证明了这个丢番图方程的正确性。
综上所述，我们已经通过简单的证明，证明了这个丢番图方程的正确性，通过这些结果，我们更深入的理解平面几何，学习了一些特殊的概念，促进了数学知识的普及和发展。
关于丢番图方程x^(3)+1=413y^(2)
2021年3月第38卷第i 期南宁师范大学学报(自然科学版)Journal of Nanning Normal University (Natural Science Edition )Mar.2021Vol.38 No.iD0I ：10.16601/ki.issn2096-7330.2021.01.007文章编号:2096-7330 (2021) 01-0043-04关于丢番图方程%3 + 1 — 413y 2 *华程( 泰州学院 数理学院, 江苏 泰州 225300)摘 要:利用同余式、平方剩余、佩尔方程的解的性质和递归序列证明了不定方程%3 + i — 4i3y 2的整数解只 有(%,y) — ( - 1,0).关键词:不定方程;奇素数;整数解;同余式;平方剩余;递归序列中图分类号：0156 文献标志码：A1引言有许多学者研究过如下形式的丢番图方程：%3 + 1 = Dy 2, D > 0. (1)文献［1 ］证明了，当D > 2无平方因子且不含6k + 1型的素因子时，方程(1)只有平凡解(%,y) — ( - 1, 0).但当D 含6k + 1型的素因子时，求方程的非平凡解十分困难,其中一类典型的不定方程为%3 + 1 = 7qy 2, q 为奇素数. (2)对方程(2)的研究到目前只有一些零散的结果［2~7］.本文讨论了 q — 59的情形，证明了如下定理：定理1不定方程%3 + 1 — 413y 2(3)只有平凡解(%,y) — ( - 1,0).2主要结果的证明引理1[8]设p 是奇素数,则方程4%4 - py 2 — 1除p — 3,% = y = 1和p — 7,% = 2,y = 3外，无其他的 正整数解.引理 2[8]方程 %2 - 3y 4 — 1 仅有整数解(%,y) — ( ± 2, ± 1),( ± 7, ± 2),( ± 1, ± 0).引理3[8]设p 是奇素数,则方程%4 -py — 1除p — 5,% = 3,y = 4和p — 29,% — 99,y — 1820夕卜，无 其他的正整数解.收稿日期：2020-06-23基金项目：江苏省自然科学基金(BK20i7i3i8);泰州学院教博基金(TZXY2018JBJJ002) 作者简介:华程(1985-),男，江苏泰州人，讲师，硕士，研究方向:初等数论和数学教学论.定理1的证明因为(% + 1,%2 - % + 1) — 1或3,故方程(3)可分为以下8种情形情形 I % + 1 —:59u ,%2 - % + 1 — 7y 2 ,y =仏农,(u ,v ) = 1 ；情形 II% + 1 :—7仏2,%2 - % + 1 — 59y 2 ,y =仏农,(u ,v ) = 1;情形皿% + 1—u , % — % + 1 — 413矽,y — uv ,(仏,矽)—1 ；情形W % + 1—413 u , % — % + 1 — v , y = uv , ( u , v ) — 1 ；情形V % + 1—177u 2, %2 - % + 1 — 21v 2, y —=3uv , (u ,v) — 1;情形可% + 1—21u 2, %2 - % + 1 — 177v 2, y —3uv , (u,v ) — 1;情形叽% + 1—3u 2, %2 - % + 1 — 1239v , y —=3uv , (u ,v) — 1;情形训% + 1—1239u , %2 - % + 1 — 3v 2, y —=3uv , ( u , v) — 1.-44-南宁师范大学学报（自然科学版）第38卷下面分别讨论.情形I由第一式得x=59"-1,代入第二式,整理得(118/-3)-7(2”)？=-3.(4)因为方程X-77?=-3的整数解由两个非结合类得到，其最小解为土(2+7),而佩尔方程U?-7F? =1的最小解为8+37，所以X-77?=-3的全部整数解(X,y)分别由以下两式给出：X+77=±(x”+y”7)=±(2+7)("”+””7)=±(2+7)(8+37)",n e运.X+7/7=±(x”+y”J7)=±(-2+』7)("”+””7)=±(-2+7)(8+37),n e运.根据(4)有2gu+3=±x n或土x”.又知x n=-x_”，故只需考虑118/-3=±x”.(5)容易验证下式成立：x"+2=16x n+1-x”,x0=2,x i=37.(6)若n为偶数，则由(6)知x”是偶数，此时(4)不成立.若n为奇数，则由(6)知x”三1(mod3)，此时(5)成为u=±1(mod3).(7)由(7)知，只需考虑(5)中的118u=x”+3,其中n为奇数.对递归序列(6)取模5,得周期为6的剩余类序列：2,2,0,3,3,0,2,2,…,且当n三3(mod6)时，x”三3(mod5)，此时有3u三1(mod5)，即(3u)?三3(mod5),但3是模5的平方非剩余，故排除，剩下n=1,5(mod6)，即n=1,5,7,11(mod12).对递归序列(6)取模23,得周期为12的剩余类序列：2,14,15,19,13,5,21,9,8,4,10,18,2,14,…,且当n=1,11(mod12)时，x”=14,18(mod23)，此时有3u=17,21(mod23),即u?=-2,7(mod23),但-27(7?^)=(?3)=-1,故排除，剩下n=5,7(mod12).当n=3(mod4)时，x”=3(mod8)，因此知u?= 3(mod4)，不可能，故排除n=7(mod12)，剩下n=5(mod12)，即n=5,17,29(mod36).对递归序列(6)取模37,得周期为36的剩余类序列：2,0,35,5,8,12,36,9,34,17,16,17,34,9,36, 12,8,5,35,0,2,32,29,25,1,28,3,20,21,20,3,28,1,25,29,32,2,0,…，且当n=5,17,29(mod36)时,715823x”=12,5,20(mod37)，此时有7u?=15,8,23(mod37)，但(小=1,(寸=(寸=(寸=-1,矛盾,从而排除n=5,17,29(mod36).故在该情形方程(3)无整数解.情形I由第二式得4x-4x+4=59x4x”？，(2x-1)2+3=59(2”)？，故(2x-1)2=-3592-3(mod59),但(59)=(；)=(3)=-1,不可能，故在该情形方程(3)无整数解.情形皿由第二式得(2x-1)2+3=413x4X”=7x59x(2”)？，故(2x-1)?=-3(mod683),由情形I知,不可能，故在该情形方程(3)无整数解.情形W解第二式得x=0,1,均不适合第一式，故在该情形方程(3)无整数解.情形V由第一式得x=177u-1,代入第二式,整理得(354u-3)?-21(2”)？=-3.(8)因为方程X-217?=-3的整数解由一个结合类得到，其最小解为9+221,而佩尔方程U?-21V?= 1的最小解为55+1221,所以X-217?=-3的全部整数解(X,7)为X+721=±(x”+y”21)=±(9+221)(u”+””21)=±(9+221)(55+1221)”,n e运.因此根据(8)有354u-3=±x”.(9)容易验证x”+=110x”+i-x”,x0=9,x,=999.(10)对递归序列(10)取模16,得剩余类序列的周期为2,且n=0(mod2)时x”=9(mod16),n=1(mod2)第i 期华程:关于丢番图方程%3 + i — 4i3y 2-45 -时％”三7( mod 16).此时式(9)成为354u 2 - 3 三 ± 9, ± 7(mod 16). (11)由式(11)得 354u 2 = 12, - 6,10, - 4(mod 16)，即 2u 2 = 12,10(mod 16)，也即 u 2 =6,5(mod 8),均 为模8的平方非剩余，故在该情形方程(3)无整数解.情形可 由第二式得(2% - 1)2 + 3 = 3 x 59 x (2v)2,故(2% 一 1)2 = 一 3(mod 59),由情形 II 知, 不可能，所以在该情形方程(3)无整数解.情形叽 由第二式得(2%- 1)2 + 3 — 21 x 59 x (2v)2,故(2%- 1)2 = - 3(mod 59),由情形 I 知, -3是模59的平方非剩余，所以在该情形方程(3)无整数解.情形训 将第一式代入第二式,整理得(2v)2 - 3 (826u 2 - 1)2 — 1,故有2v + (826u 2 - 1) 73 — ± (%… + y … 3 ) — ± (2 + 3)"," e 运，这里2 + 3是佩尔方程X 2 - 3尸—1的最小解.因此有826u 2 - 1 = ±y ” ," e 运，即826u 2 = ±y ” + 1.因 y -… =- y …，故只需考虑826u 2 =y " + 1. (12)可验证：%"+2 = 4%n+' 一 ％" ,%0 = 1 ,%' = ?.(13)y …+2 = 4y …+1 -y …小=0，y , = '•(14)%"+' = ?%" + 3y ” ,y …+, = %… + 2y ….(15)%" = %"2 + 3y …2 ,y ?… = 2%…y … ,%…2 一 3y …2 = '• (16)%"—' = 2%" - 3y … ,y …_' =- %" + 2y …. (17)若"=0( mod 2),则由(14)知y … = 0( mod 2),此时式(12)不成立.若"=1( mod 4),令"—4k + 1 ( k e ~L ),则由(15)、(16)可得413u = %2*丁2*+'.826u = y4k +1 + 1 = %4k + 2y 4k + 1 = %2k + 3y 2k + 4%2k y 2k + %2k 一 3y 2k = 2%2k ( %2k + 2y 2k ) = 2%2k y 2k+', 即又因(%2k ，y 2k+' ) = (%2k ，%2k + 2y 2k ) = ( %2k ，2y 2k )—1,所以下列情形之一成立：%k= 413m ? ,y?k+1= h 2 , u = mh,( m, h) =二 1.(⑻%2k = m ? ,y 2k+' = 413h ? ,u = mh,( m, h) =二 1.(19)%2k = 7m 2, y 2k+1 =59h 2, u = mh,( m, h) =二 1.(20)%2k = 59m ? ,y 2k+ ':= 7h 2, u = mh,( m, h) =二 1.(21)将(18)的第二式代入 %k +'一 3y ?k+1 = 1,得 %?k+1- 3h 4 =1.根据引理2知，h 2 :二 0,1,4,即 y 2k+ i = 0,但仅有y k+' — 1成立，故k — 0.但由(13)及(18)的第一式知，%0 H 413m 2,所以式(18)不成立.将(19)的第一式 %2k — m 2 代入 %k - 3y ?k — 1 ,得 m 4 - 3y ?k — 1.根据引理 3 知，m 2 — 1,即 %2k — 1 ,从 而k — 0,但由(14)及(19)的第二式知，y , H 413A 2,所以式(19)不成立.对于(20)，由(15)得,y 2k +, = %2k + 2y 2k ，故有 59A 2 = 7m 2 + 2y 2k ,即59A 2 - 7m 2 — 2y 2k . (22)因 %2k 和 y 2k +'均为奇数，故 m 和 h 均为奇数，从而 m 2 = A 2 = 1 ( mod 8).又 y 2k = 0 ,4(mod 8) ，故 2y 2k = 0(mod 8).对(22)两边取模8,得-4 = 0(mod 8),不可能.对于(21),由类似于式(20)的讨论知，它也不可能成立.若"=-1 ( mod 4),设"—4k - 1 ( k e 运)，则由(15)、(16)、(17)式可得826u 2= y 4k-1 + 1=- %4k + ?y 4k + 1 =一 (%?k + 3y ?k ) + 4%?k y ?k + 1 =2y 2k (2%2k 一 3y 2k )=-2y 2k %2k-1,即 413u 2 —%2k —' y 2k . 又因为(％2k-'，y 2k ) = (2%2k 一 3y 2k ，y 2k)= ( 2%2k , y 2k ) =2, 所以下列情形之一成立%2k-' = 2m ? ,y 2k = 826h ?, u =2mh,( m, h) =:1.(23)%2k —i ― 826m , y ?k ― 2h , u ―2mh,( m, h) =:1.(24)%k-1 = 118m ,y ?k = 14h , u 二2mh,( m, h)=1.(25)-46-南宁师范大学学报(自然科学版)第38卷x k-,=14m?,y?k=118A?,u=2mA,(m,A)=1.(26)将(23)的第一式x k-,=2m?代入x?k-，-3y?k_,=1,得4m4-3y?k_,=1.根据引理1知,m?=1,此时x?k_, =2,从而k=1或0,其中k=0时有h=0,u=0,从而方程(3)只有整数解(x,y)=(-1,0).由(24)的第二式y k=2h?得x k y k=h?,考虑到(x k,y k)=1,有x k=a?,y k=b?,故(a?)?-3b4=1,根据引理2知,a=1，此时x k=1，从而k=0,所以(24)的第一式不成立.由(25)的第二式得x»y»=7h?,考虑到(x k,y k)=1,有x k=a2,y k=7b2,h=ab,(a,b)=1,(27)或x k=7a2,y k=b2,h=ab,(a,b)=1.(28)若(27)成立,则有a4-3(7b2)2=1.(29)由引理3知，方程(25)仅有整数解(a,b)=(±1,0),此时y k= 0,故k=0,所以(25)的第一式不成立.若(28)成立,则有(7a)?-3b4=1.(30)由引理2可知方程(30)仅有整数解(a,b)=(±1,±2)，所以x k=7,从而k=2.这时n=7,故由(12)可得826u2=y7+1=2912,不可能.仿式(25)可证式(26)也不可能成立.综上,在该情形时不定方程(3)无整数解.定理1得证.参考文献：[1]柯召，孙琦.关于丢番图方程x3士1=Dy[J].中国科学,1981,24(12):1453-1457.[2]瞿云云，包小敏.关于不定方程x3+1=119y[J].西南师范大学学报(自然科学版)，2009,34(1)：9-11.[3]杜先存，管训贵，杨慧章.关于不定方程x3+1=91y[J].内蒙古师范大学学报(自然科学汉文版)，2013,42(4)：397-399.[4]周科.关于丢番图方程x3+1=427y[J].广西师范学院学报(自然科学版),2015,32(3)：23-25.[5]周科.关于丢番图方程x3+1=749y[J].广西师范学院学报(自然科学版),2017,34(3)：35-37.[6]高丽,杨婕.关于不定方程x3+1=1043y的整数解[J].延安大学学报(自然科学版)，2018,37(3)：5-6.[7]周科，陈雨君.关于丢番图方程x3+1=959y[J].广西师范学院学报(自然科学版),2018,35(4):33-35.[8]曹珍富.丢番图方程引论[M].哈尔滨:哈尔滨工业大学岀版社，2012.On the Diophantine Equation x3+1=413yHUA Cheng(School of Mathematics and Physics,Taizhou University,Taizhou225300,China)Abstract：Using congruence,quadratic residue,some properties of the solutions to Pell equation and recurrent sequence,we prove that,the Diophantine equation x3+1=413y2only has integer solution(x,y)= (-1,0).Key words:Diophantine equation;odd prime;integer solution;congruence;quadratic residue;recursive sequence［责任编辑:班秀和］［见习编辑:彭喻振］。
几类丢番图方程的特解公式
当 口， ｂ为 ３ 矗＋１型数 ， （ ｂ 且 口， ）＝ １时 ， 方程 （ ） １ 的任 意 一组 解 ｚ， 满 足 ｚ ＋ Ｙ三 （ ｄ ） ｍｏ ３ ．
令 口 ＝ ３ ｌ １ ｂ＝ ３ ２＋ １ ０ ｋ ＋ ｋ 贝 口 ｚ＋ ｂ ＝ （ ｋ ＋ １ ｚ ＋（ ｋ ｙ ３ｌ ） ３ ２＋１ ｙ ＝ ３ ｋ ｚ ＋ｋ ｙ）＋ｚ ＋Ｙ三 ｚ＋ ｙ ｍｏ ３ ） （ｌ ２ （ ｄ） 由ａ ｘ＋ ｂ ＝ １ 得 ｚ ＋Ｙ三 １ ｍｏ ３ ｙ ， （ ｄ）
，
一 生
， ｚ
为 整 数 即 （ ）的致 整数 存在 ． 优
．
２ 定理 ３ 若 ａ ＝３ ｋ＋１ ｂ＝ ３ｚ＋ａ， （ ｂ １则 （ ）的一 组 解 为 ， ， 且 ａ， ）＝
：
（ 优 ＋１ ３ ）＋
ｍ
， ｚ
３ｋ ｍ ＋ 是 ＋ ｍ
一
， Ｙ
证
由定 理 １ 知 ＋Ｙ三 １ ｒｏ ３ ， （ ｄ ） 设 ＋Ｙ＝ ３ ＋１ 已知 ｏ ｍ ，
摘 要 ： 出了二 元 一 次丢 番 图方程 特 解公 式 ， 章 的结 果是 ［ ］ 关结 果的 改进 与 推 广 给 文 １相
关 键 词 ： 番 图方程 ； 丢 整数 解 ； 整 数 致 中 图分类 号 ： ５ ． Ｏ１ ６ ７ 文 献标 识 码 ： Ａ
本 文约 定 ：
１ 不 加说 明 时 ， 文 的 字 母 均表 示 整数 ， 为 方程 系数 的字母 为 非零 整 数 ． ． 本 作 ２ 本 文所 求 丢番 图方 程 的解 均 为整 数解 ． ．
先证（ ， 口，ｚ ）＝ １ 著 （ ， ， 口，ｚ ）＝ ｄ ＞ １ 不 妨 令 口 ＝ 口 ｄ， ｌ ， ６ ＝ ３ｚ＋ 口 ： ３ ＋口 ： ． ｌ ， ｚ＝ 则 ， ｌ ｌ （ ｎ ＋ａ ） 故 （ ６ ｄ， 与 （ ， ３ｌ １ ｄ， 口， ） 这 ａ， ）＝ １矛盾 故 ａ？ ， ｚ Ｔ ｌ一 ｚ ｒ＝一是有解 ， 此 一 定 能 找 到一 个 疗 使 因
丢番图方程
丢番图方程丢番图方程又名不定方程、整系数多项式方程，是变量仅容许是整数的多项式等式；即形式如，其中所有的a j、b j和c 均是整数，若其中能找到一组整数解m1,m2...m n者则称之有整数解。
丢番图问题有数条等式，其数目比未知数的数目少；丢番图问题要求找出对所有等式都成立的整数组合。
对丢番图问题的数学研究称为丢番图分析。
3世纪希腊数学家亚历山大城的丢番图曾对这些方程进行研究。
丢番图方程的例子有贝祖等式、勾股定理的整数解、四平方和定理和费马最后定理等。
一次不定方程一次不定方程是形式如a1x1 + a2x2 + ... + a n x n = c的方程，一次不定方程有整数解的充要条件为： (a1,...,a n)须是c的因子，其中(a1,...,a n)表示a1,...,a n 的最大公因子。
若有二元一次不定方程ax+ by= c，且(a,b) | c，则其必有一组整数解x1,y1，并且还有以下关系式：∙x = x1 + [b / (a,b)]t∙y = y1− [a / (a,b)]tt为任意整数，故此一次不定方程有无限多解。
请参见贝祖等式。
丢番图分析经典问题∙有解答吗？∙除了一些显然易见的解答外，还有哪些解答？∙解答的数目是有限还是无限？∙理论上，所有解答是否都能找到？∙实际上能否计算出所有解答？希尔伯特第十问题1900年，希尔伯特提出丢番图问题的可解答性为他的23个问题中的第10题。
1970年，一个数理逻辑的结果马蒂雅谢维奇定理（Matiyasevich's theorem）说明：一般来说，丢番图问题都是不可解的。
更精确的说法是，不可能存在一个算法能够判定任何丢番图方程式否有解，甚至，在任何兼容于 Peano 算数的系统当中，都能具体构造出一个丢番图方程，使得没有任何办法可以判断它是否有解。
现代研究∙丢番图集是递归可枚举集。
∙常用的方法有无穷递降法和哈赛原理。
∙丢番图逼近研究了变量为整数，但系数可为无理数的不等式。
丢番图和不定方程
丢番图和不定方程——兼谈中国人在这方面的工作丢番图的工作埃及尼罗河的出海口有一个大港叫亚历山大城，它是以希腊大帝亚历山大的名字命名。
在两千年前这里曾是地中海文化的一个中心。
亚历山大大帝在公元前330年建立这城市，在公元前323年他去世之后，托勒米（Ptalamy）成为埃及的统治者。
他选择这里为他的帝国的国都，并且模仿雅典的吕克昂学院在这里建立了一个博物院（Museum），世界各国的学者被邀请到这里来研究教导。
英国科学史家法灵顿（B．Farrington 1891—1974）在他的书《希腊人的科书》这么描写：“在埃及首都形成这个科学和艺术新中人的心里，存在一种美国式的豪华。
”编写著名的《几何原本》的欧几里得（Euclid）是博物院的第一个希腊数学教授。
在公元250年前后有一位希腊数学家丢番图（Dioplantos公元214－218年）住在亚历山大城里，他作为一个数学教员编写了一部叫《算术》（Arithmetica）的教科书。
这书总共有13卷，可惜在10世纪时只剩下6卷，其余7卷遗失了。
在15世纪这书的希腊文手抄本在意大利的威尼斯发现于是广被人注意，以后又有法国数学家巴歇的希腊—拉丁文对照本，以后还有英、德、俄等国的译本，这是一本如《几何原本》般在数学上影响很大的书。
这本书基本上是代数书，有人称他为“代数学之父”，他书中采用符号，研究了一次、二次、三次方程。
他是第一个引进符号入希腊数学的人。
如第一卷第27题：“两数之和是20，乘积是96，求这两数。
”第一卷第28题：“两数之和是20，平方和是208，求这两数。
”第六卷第27题：“求直角三角形的三边，已知它的面积加上斜边是一个平方数，而周长是一个立方数。
”写成现代的式子，令a，b，c是直角三角形的三边，则有：a2＋b2＝c2a＋ b＋ c＝N3这里就要考虑到三次方程了。
这书除了第一卷外，其余的问题几乎都是考虑未知数比方程数还多的问题，我们把这种问题叫不定方程。
最新人教版七下数学 8.4 三元一次方程组的解法
x+z-y=1
____________
z=3
____________.
2. 今年小新一家三口的岁数总和是80岁，爸爸比妈 妈大3岁，妈妈的岁数恰好是小新岁数的5倍.问：今 年爸爸、妈妈和小新分别几岁？
等量关系: (1) 爸爸年龄 + 妈妈年龄 + 小新年龄 = 80； (2) 爸爸年龄 = 妈妈年龄 + 3； (3) 妈妈年龄 = 小新年龄×5.
“加减”
“加减”
一元一次 方程组
3x+4z=7 ①
例1 解三元一次方程组 解：②×3+③，得11x+10z=35.④
2x+3y+z=9 ② 5x-9y+7z=8 ③
①与④组成方程组 还3x有+4其z=他7 解法解这吗个？方程组，得
11x+10z=35
把x=5，z=
-2代入②，得2×5+3y-2=9，所以
将 a，b，c 将 x、y 看作未知数 代入原式
a-b+c=0
①
4a+2b+c=3 ②
25a+5b+c=60 ③
a-b+c=0
①
解：根据题意，得三元一次方程组 4a+2b+c=3 ②
25a+5b+c=60 ③
②-①，得a+b=1，④ ③-①，得4a+b=10，⑤
a+b=1 ④ ④与⑤组成二元一次方程组
y
=
1 3
因此，这个三元一次方程组的解为
x=5
z= -2
x=5
y=1 3
z= -2
解：由①，得
x
丢番图方程(8 a3-3a) 2x+(3a 2-1) y=(4a 2-1) z
基金项 目： 广东省 自 然科学基金 （４０８１ ； ００９０）佛山科学技术学 院重点科研基金 作者简介 ： 胡永忠（９ ３ ， １６ 一）副教授 ， 主要从事数论研究和教 学． － ａ ： ｓ ｈｊ ｕ ． ｓａ ．ｄ Ｅ ｍ ｉ ｆ ｚ ｕ ￣ｐ ｂ ｆ ｈｎ ｇ ． ｌ ｙ ｘ ｏ
ｑａｉ ８ 一３ ＋ （ａ ｕｔ ｎ（ａ ｏ ａ） ３ 一１ｙ＝ （ａ ） ４ 一１ ｉ（ Ｙ， ） ｓ ， ）＝ （ ，，）． １ １３
Ｋｅ ｒ ｓ ｉｐ ａ ｔ ｅｅ ｕ ｔ ｎ， ｃｓｓｑ ｅ ｃｓ ｐ ｉ ｉｖ ｉｉ ｒ ｌ ｅ ｄｅｓ ｍｂ ｌ ｙｗｏ ｄ ：ｄｏ ｈ ｎ ｉ ｑ ａｉ ｌ ａ ｅ ｕ ｎ ｅ ， ｒ ｔ ｅｄｖｓ ， ｎ ｏ ｕ ｍ ｉ ｏ ｇ ｅ ｎ ｒ ｙ ｏ
Ａｐ ．２ ０ ｒ ０７
Ｖｌ ． ４ Ｎｏ． ｏ ４ １ ２
文章编 号 ： ０ ９ ．７ ６ ２０ ）２０ ２ ．４ ４ ０６ ５ （０ ７ ０ ．２ ５０
丢 番 图方 程 （ ３ ２ ＋（ ２ ） ＝（ ２ ） ８ —３ ｚ ３ —１ Ｙ ４ —１ ａ ａ） ａ ａ
胡永 忠
（ 佛山科学技术学院数学系 ， 山 ５ ８ ０ ） 佛 ２ ０ ０
摘
要 ： 用 Ｂｌ， ａｒｔ Ｖ ｕｉ 关于本原素因子的深刻理论及二 次数域类数 的一些结果 应 ｉ Ｈ ｎ 和 ｏ ｔｒ ｕ ｏ ｅ
证 明了丢番 图方程（口 一３ ） ＋（ａ 一 ） ＝（ａ 一１ ８ ａ ３ １ｙ ４ ） 仅有正整数解（ Ｙ ） １ １３ ． ， ， ＝（ ，，）
也有无穷多个反例． 例如 ， Ａ ＝２ Ｂ ＝２ 一１ 当 ， 以
及 Ｃ ＝２ ＋１其 中 ，是任何大于 ２的正整数时 ， ， ｚ
丢番图
丢番图丢番图(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 commentariis”(《亚历山大的丢番图全集，包括希腊文注释》)．最流行的英译本是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世纪以后，阿拉伯人吸取了许多希腊人的成果，然而却没有看到符号的优点，花拉子米等人完全回到文词代数上去，这是历史上的倒退．《算术》的典型问题和解答(一)一、二、三次方程《算术》没有系统地给出一、二次方程的解法．大概是一元一次方程太简单，没有必要单独论述，实际它已包含在ax n=b类型的方程之中．经过移项、消去等手续，有些问题化为这类方程之后，立即得到解答．不管答案有几个，丢番图仅满足于一个答案．他完全排斥负数解答，例如卷9(原希腊文本卷5)第2题最后化为4=4x+20，他认为是荒谬的．无理数的解答也不取。
七年级数学上册 5.2一元一次方程的解法(二)课件 湘教版
问题2：若设丢番图活了x岁，根据墓志铭的描 述，你能列出怎样的方程呢？
上帝给予的童年占六分之一 1 x 6
又过十二分之一,两颊长胡
1x 12
再过七分之一,点燃起结婚的蜡烛 五年之后天赐贵子
1x
x 7
5
可怜迟到的宁馨儿,享年仅其父之半, 1 x 便进入冰冷的墓 2
又过四年,他也走完了人生的旅途 4
请你算一算， 丢番图一共活
了多少岁？
1x1x1x51x4x 6 12 7 2
解方程
2x+(1-x)=2(4-3x)
观察方程：
(1) 3 y 1 7 y
3
6
(2) x 3 2x x 52
与前面所学的方程有什么不同？
怎么解？
整理知识点：
解一元一次方程的步骤是：
(1)去分母; (2)去括号; (3)移项; (4)合并同类项; (5)等式两边除以未知数前面的系数.
合并 同类 项 系数 化1
一般先去小括号，再去 中括号，最后去大括号
分配律 去括号
法则
不要漏乘括号中的每一项
把含有未知数的项移
1）移动的项一定要变号，
到方程一边，其它项 移项
不移的项不变号
都移到方程另一边， 法则 2）注意项较多时不要漏项
注意Байду номын сангаас项要变号
把方程变为ax=b 合并同类 1）把系数相加 （a≠0 ) 的最简形式 项法则 2）字母和字母的指数不变
合并同类项 , 得 21x0x=19
两边同除以
21,0得 xX=91/10 2
解方程 :
(1) x x 6 2 2 x
3 12
3