关于丢番图方程sum from i=1 to n sum from j=1 to n(a_(ij)/x_ix_j)=0的整数解

当丢番图方程∑ni=1∑nj=1aijyiyj=0有一组非平凡的整数解y 1,y 2,…,y n(y n≠0)时,给出了方程∑ni=1∑nj=1aijxixj=0满足(x1,x2,…,xn)=1的全部整数解的公式.     

关于方程x~2-1=y~5

我们已知方程x~2-1=y~3在xy≠0时只有一组整数解x=3,y=2.在本文中,我们将证明方程x~2-1=y~5设有xy≠0的整数解。     

关于方程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.     

关于丢番都方程x~yy~x=z~z,x~yy~z=z~x和x~xy~z=z~y

1.P.Erds曾经猜测方程(1)x~xy~y=z~z在x>1,y>1,z>1时没有整数解。我们已经证明在(x,y)=1时这个猜测是正确的,但在(x,y)>1时,(1)式有无穷多组解     

关于不定方程x~2-6y~2=1与y~2-Dz~2=4的公解

利用递归序列、Pell方程的解的性质、Maple小程序等,证明了D=2~n(n∈Z+)时,不定方程x~2-6y~2=1与y~2-Dz~2=4:(i)n=1时,有整数解(x,y,z)=(±485,±198,±140),(±5,±2,0);(ii)n=3时,有整数解(x,y,z)=(±485,±198,±70),(±5,±2,0);(iii)n=5时,有整数解(x,y,z)=(±485,±198,±35),(±5,±2,0);(iv)n≠1,3,5时,只有平凡解(x,y,z)=(±5,±2,0).     

关于Diophantine方程x2+2y2=Zn

讨论了Diophantine方程x2+2y2=zn在xy≠0,(x,y)=1时有解的充分必要条件及用代数数论的方法给出(x,y)=1,n≥2时方程整数解的一般公式.     

指数型丢番图方程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.     

CataIan问题特例及其他

设N与P分别表示正态数集与正实数集.在本文内我们得到(1)x~y=y~x在N内的非平凡解(x≠y)只有x=4,y=2与x=2,y=4.(2)x~y=y~x在P内的一切非平凡解只能是x=t~(t/(t-1)),y=y~(1/(t-1)),t∈p,t≠1.(3)在p内不等式x~y>y~x的一切解的公式.(4)1~(?)若x>y>1,则x~y-y~x=1在N内仅有解x=3,y=2.2~(?)x~y-(x+1)~z=1在N内只有解x=2,y=2,z=1.3~(?)(x-1)~y-(x+1)~z=1在N内没有解等等.     

关于方程x(x+1)(x+2)=ay~k

不久前,我们证明了方程(1)x~2=y~2+1,xy≠0,对于整数n>1,除开n=3,x=±3,y=2外,没有其他的解。解决了这一久未解决的问题,可以用来推出下列结果:     

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

讨论了Diophantine方程x^2＋2y^2=z^n在xy≠0,（x，y）=1时有解的充分必要条件及用代数教论的方法给出（x,y）=1，n≥2时方程整数解的一般公式。     

关于丢番图方程x~4+dy~4=z~2

利用分解法和无穷递降法研究了一类丢番图方程的解,结果证明了丢番图方程x4+dy4=z2,gcd(x,y)=1,这里d为整数且d≠0,在d=3n及n≡3(mod4)时,无正整数解。     

关于丢番图方程∑i=1^n∑j=1^n（aij）／XiXj=0的整数解

当丢番图方程∑i=1^n∑j=1^naijyiyj=0有一组非平凡的整数解y1^*，y2^*，…，yn^*(yn^*≠0)时，给出了方程∑i=1^n∑j=1^n(aij)/xixj=0满足(x1，x2，…，xn)=1的全部整数解的公式．     

关于平方LCM矩阵和LCM方程的注记

设S={x1,…,xn}是由n个不同正整数组成的集合.第i行j列元素为xi和xj的最小公倍数[xi,xj]的n×n阶矩阵([xi,xj])称为定义在S上的LCM矩阵.如果对所有的1≤i,j≤n,有(xi,xj)∈S,称S是最大公因子封闭的(gcd closed).作者考虑了方程11+1(y2,y3)=0[y1,y2,y3,y4]-∑4(y1,y3)+1(y1,y2)+1yii=1的二次幂整数解,证明了对于给定的整数x,如果用ω(x)表示x的不同素因子的个数并令y=[y1,y2,y3,y4],那么当ω(y)<4时,方程没有t(≥2)次幂整数解,并且给出ω(y)=4时方程有二次幂整数解的必要条件.进一步证明了y≤1334025时方程无二次幂整数解.     

一个Diophantus方程的初等解法

本文用初等且更为简短的方法证明了如下定理:如果D>1无平方因子且不被6k 1形素数整除,则Diophantus方程x~3±1=Dy~2(y≠0)除x~3 1=2y~2(y≠0)仅有整数解(x,y)=(1,±1)和(23,±78)外,无其他的整数解。     

Fermat猜想的证明

猜想原本为:当n≥3,xn+yn=zn,x0y,0z,0没有整数解.将猜想变为:设n,yz,均为正整数,且n≥3y,z,则方程zn+yn-xn=0中的x为非整数,给予证明。     

一类丢番图方程的正整数解

当丢番图方程a1y^21 a2y^22 … an-1y^2n-1=any^2n有一组非平凡的整数解y^*1，y^*2，…，y^*n(y^*n≠0)时，给出了方程a1/x^21 a2/x^22 … an-1/x^2n-1=an/x^2n满足(x1，x2，…，xn)=1的全部正整数解的公式。     

丢番图方程x2+(2n)2=y9（1≤n≤7)的整数解

在高斯整环中,利用代数数论理论和同余理论的方法研究丢番图方程x~2+(2n)~2=y~9(x,y,n∈Z,1≤n≤7)的整数解问题;首先统计了1≤n≤7时已有的证明结果,之后在n=3,5,6,7时对x分奇数和偶数情况讨论,证明了n=3,5,6,7时丢番图方程x~2+(2n)~2=y~9无整数解,即证明了丢番图方程x~2+(2n)~2=y~9(x,y,n∈Z,1≤n≤7)无整数解。     

关于不定方程(a~nx~m±1)/(a~nx±1)=y~n

证明了方程 (anxm± 1) /(anx± 1) =yn没有x是一个n次完全幂的整数解 (a ,x ,y ,m ,n) ,推广了乐茂华的结论 :(xm- 1) /(x - 1) =yn没有x是一个n次完全幂的整数解 (x ,y,m ,n) .     

关于丢番图方程2py~2=2x~3+3x~2+x的解

本文运用初等数论简单同余法、分解因子法及反证法等,得到丢番图方程2py2=2x3+3x2+x,(p为素数)无正整数解的情况.(1)当p≡1(mod 8),p≡5(mod 8),p≡7(mod 8)时,则方程无正整数解;(2)当p≡3(mod 8)时,Un+Vnp(1/2)=(x0+y0p(1/2))n.其中x0,y0是Pell方程x2-py2=1的基本解,当n≡0(mod 2)时,则方程无整数解;当n≡1(mod 2)时,若2|x0,则方程无整数解.特别是p≡3(mod 8)且p100时,2|x0,则方程无整数解.     

关于不定方程组x2－22y2＝1与y2－Dz2＝1764的公解

利用Pell方程的解的性质及递归序列的方法,证明了不定方程组x2－22y2＝1与y2－Dz2＝1764有以下结果：当D＝2p1…ps,1≤s≤4(p1,…,ps为互异的奇素数)时,此方程组的整数解为(i)D≠2×77617时,仅有平凡解＝;(ii)D＝2×77617时,有非平凡解＝和平凡解＝.当D＝pm(m∈Z＋,p为任意素数)时,其整数解只有平凡解＝.