关于丢番图方程1+5~x11~y+2~z5~u11~v=2~w

讨论了丢番图方程1+X+Y=Z的一个特殊情形,同时借助计算机,用初等方法给出了指数丢番图方程1+5x11y+2z5u11v=2w的全部非负整数解.     

关于丢番图方程1+2x7y+2z5u7v=5w

设x,y,z,u,v,w为非负整数,用计算机辅助方法给出了指数丢番图方程1+2^x7^y+2^z5^u7^v=5^w的全部非负整数解：(x,y,z,u,v,w)=(1,0,1,0,0,1),(1,1,1,1,0,2),(2,0,2,1,0,2),(3,0,4,0,0,2),(4,0,3,0,0,2),(4,1,9,0,0,4),(5,1,4,2,0,4),(6,0,4,1,1,4),(9,0,4,0,1,4).     

关于丢番图方程1+7x=2y5z+2u5v7w

设x,y,z,u,v,w为非负整数,用计算机辅助方法给出了指数丢番图方程1+7^x=2^y5^z+2^u5^v7^w的全部非负整数解,(x,y,z,u,v,w)≡(1,2,0,2,0,0）,（2,0,2,0,2,0）,（2,1,1,3,1,0）,（2,3,1,1,1,0）,（3,5,0,3,1,1）,（t,0,0,0,0,t）,其中t为任意非负整数.     

续论方程ax+by+cz=n

设a,b,c为正整数,(a,b,c)=1,x,y,z为非负整数,(a,b)=d,a=a_1d,b=b_1d,u,v为非负整数,当a_1u+b_1v能够表出c时,(1) ax+by+cz所不能表出的最大整数为M=(ab)/(a,b)+c(a,b)-a-b-c. [1]在a_1u+b_1v不能表出c时,c可以表成c=a_1r-b_1s或c=b_1s-a_1r,其中 a_1r+b_1s相似文献   

不定方程x~3+y~3+z~3-3xyz=n有非负整数解的充要条件

给出不定方程x3+y3+z3-3xyz=n的非负整数解的一个判定准则.主要结果为:如果正整数n有标准分解式n=2rpr11…prkk,其中p1,p2,…,pk是适合p1相似文献   

不定方程m~4x(x+1)(x+2)(x+3)=(m~4-1)y(y+1)(y+2)(y+3)的整数解

运用初等方法对不定方程ax(x+1)(x+2)(x+3)=by(y+1)(y+2)(y+3)的整数解进行了研究,得到了当a=m4,b=m4-1时方程的非负整数解仅有(x,y)=(0,0)。     

关于不定方程x2+4n=y11的整数解

应用代数数论以及同余法等初等方法讨论不定方程x~2+4~n=y~(11)的整数解情况,证明了不定方程x~2+4~n=y~(11)在x为奇数,n≥1时无整数解;不定方程x~2+4~n=y~(11)在n∈{1,8,9,10}时均无整数解;不定方程x~2+4~n=y~(11)有整数解的充要条件是n≡0(mod 11)或n≡5(mod 11),且当n≡0(mod 11)时,其整数解为(x,y)=(0,4~m);当n≡5(mod 11)时,其整数解为(x,y)=(±2~(11m+5),22m+1),这里的m为非负整数,验证了k=11时猜想1成立。     

关于方程x~3+y~3+z~3=xyz

关于三元三次型为零的有理数解问题,有过很多工作。但是即使对于(1) x~3+y~3+z~3=xyz,还不知道他是否有xyz≠0的有理数解。在本文中,我们将证明方程(1)和(2) (x~2+y~2+z~2)(x+y+z)=8xyz,(3) x~3+y~3+13z~3=7xyz都没有xyz≠0的有理数解。首先证明方程(1)没有xyz≠0的有理数解。方程(1)如果有有理数解,显然就有整数解。所以毫无损失的可以假设x,y,z都是整数,而且有(4) (x,y)=(y,z)=(z,x)=1.     

关于整数表示的新猜想(Ⅰ)（英文）

本文研究把自然数写成方幂的加权和表示问题并提出这方面的一些新猜想.例如:我们证明本质上只有9个形如aw~h+bx~i+cy~j+dz~k(其中a,b,c,d为正整数,h,i,j,k∈{2,3,4…,}且h,i,j,k中至少有一个为2)的多项式使得每个非负整数n可表成aw~h+bx~i+cy~j+dz~k的形式(其中w,x,y,z为非负整数).我们的一个猜想断言如果f(w,x,y,z)是9个多项式w~2+x~3+2y~3+cz~3(c=3,4,5,6),w~2+x~3+2y~3+dz~4(d=1,3,6),2w~2+x~3+4y~3+z~4,w~2+x~3+y~4+2z~4之一那么就有{f(w,x,y,z):w,x,y,z=0,1,2,…,}={0,1,2,…}.我们也猜测大于1的整数n可表成x~4+y~3+z~2+2~k的形式,其中x,y,z为非负整数且k为正整数.     

指数型丢番图方程x4-1=2ynz

研究了指数型丢番图方程x4-1=2ynz(n为正奇数)的非负整数解,证明了(1)x为偶数时仅有平凡解x=2m,y=0,z=1,n=16m4-1;(2)z为偶数时无解;(3)x为奇数且z=1时仅有解为x=2y-2n0±1,y≥4,z=1,n=n0(2y-3n0±1)[2y-2n0(2y-3n0±1)+1],其中n0为正奇数;(4)(y-2,z)≥3或(y-3,z)≥3时无解;(5)n为奇素数时仅有唯一解x=3,y=4,z=1,n=5.     

关于Diophantine方程n^x＋（n＋1）=（n＋2）^z

证明了方程n^x＋（n＋1）=（n＋2）^z没有正整数解（x,z）,其中n是大于1的正整数．     

Fermat猜想的证明

猜想原本为：当n≥3,x^n＋Y^n=z^n,z〉0,Y〉0,z〉0没有整数解．将猜想变为：设n,Y,z均为正整数,且n≥3,Y〈z,则方程z^n＋^n“-z^n=0中的x为非整数,给予证明．     

关于一个Diophantine方程问题的解

应用二次Diophantine方程和四次Diophantine方程的性质,证明了方程x2-1y2-1=（z2-1）2满足min（x,y,z）〉1的所有正整数解为（x,y,z）=（4a3-3a,a,2a）（a〉1）和（8a4＋16a3＋8a2-1,2a2＋2a,2a＋1）这两种形式,其中a为一个正整数。从而,得到了关于Diophantine方程一个的公开问题的肯定回答。     

Diophantine方程组a^2＋b^2=c^2和a^x＋b^y=c^z的例外解

设（a,b,c）是一组本原Pythagorean数组．论文运用初等数论方法证明了：如果（x,y,z）是方程a^x＋6^y=c^z的一组适合（x,y,z）≠（2,2,2）正整数解,则必有x≠y以及z〉2．     

关于丢番图方程Ax4+Bx2y2+Cy4=z2的解

证明了丢番图方程4x4-6x2y2 3y4=z2,(x,y)=1的全部正整数解为(x,y,z)=(x0／2,ab,(3a4 b4)／4), (Xn,2yn,2zn),认为仅有正整数解(x,y,z)=(1,1,1)是不妥的,它漏掉了(xn,2yn,2zn)及(x0／2,ab,(3a4 b4)／ 4);丢番图方程x4-6x2y2 12y4=z2,(x,y)=1的全部正整数解为(x,y,z)=(x0,ab,(3a4 b4)／2),(xn,yn, zn),认为仅有正整数解(xn,yn,zn),则漏掉了(x0,ab,(3a4 b4)／2)。     

关于不定方程x3＋8=61 y2的整数解

利用递归数列和同余式的相关性质证明了不定方程x3＋1=122y2仅有整数解（ x,y）=（-1,0）,然后证明了不定方程x3＋8=61y2仅有整数解（ x,y）=（-2,0）。     

丢番图方程5·2x+7·3y=11+2z·3w的计算机辅助解法

利用计算机辅助方法，给出了指数丢番图方程5·2^x+7·3^y=11+2^z·3^w的全部整数解.     

关于Diophantine方程x^2＋y^4=z^5

运用无穷递降法证明了：方程X^4-10X^2Y^2＋5Y^4=Z^2和X^4-50X^2Y^2＋125Y^4=Z^2都没有适合gcd（X,Y）=1以及2｜XY的正整数解（X,Y,Z）．由此推知：方程x^2＋y^4=z^5没有适合gcd（x,y）=1的正整数解（x,y,z）,上述结果解决了广义Fermat猜想的一个特殊情况。     

关于Diophantine方程x^n＋1=2y^2

运用Gel＇fond-Baker方法证明了：如果（n,x,y）是方程x^n＋1=2y^2适合n〉2以及x〉1的正整数解,则n必为小于56000的无平方因子正奇数.