关于Diophantine方程x~3±1=2py~2

设p是奇素数,证明了当p=6(4s+1)+1,其中s是非负整数时,方程x3-1=2py2仅有整数解(x,y)=(1,0);当p=6(4s+2)+1,其中s是非负整数时,方程x3+1=2py2仅有整数解(x,y)=(-1,0).     

关于Diophantine方程nx(x+d)(x+2d)(x+3d)=y(y+d)(y+2d)(y+3d)的一点注记

设d是大于1的正整数.本文运用初等数论方法证明了:如果d的素因数P都适合P=2或者p=±3(mod 8),则方程2x(x+d)(x+2d)(x+3d)=y(y+d)(y+2d)(y+3d))仅有正整数解(x,y)=(4d,5d).     

关于丢番图方程x(x+1)(x+2)=2py~n

设p为奇素数.证明了:①若整数n>2,则丢番图方程x(x+1)(x+2)=2pyn仅有正整数解(p,x,y)=(3,1,1);②若整数n=2,则丢番图方程x(x+1)(x+2)=2pyn在p■1(mod 8)时仅有正整数解(p,x,y)=(3,1,1),(3,2,2),(3,48,140),(11,98,210);在p≡1(mod 8)时的正整数解为(p,xn,yn)=(p,16t2n,4untnsn),这里p,un,tn,sn满足sn+2=6sn+1-sn,s1=3,s2=17,tn+2=6tn+1-tn,t1=1,t2=6及pu2n=16t2n+1.     

关于丢番图方程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,则方程无整数解.     

关于丢番图方程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±1=py2

应用因子分解法、简单同余法以及前人的已知结果证明了:(1)设p是1个奇素数,则丢番图方程组x+1=3py21,x2-x+1=3y22,(y1,y2)=1,y1>0,y2>0,无正整数解x,p,y1,y2;(2)丢番图方程x3+1=py2(其中p≡-1(mod 3)为素数)仅有整数解(x,y)=(-1,0);(3)丢番图方程x3-1=py2(其中p≡-1(m od 3)为素数)仅有整数解(x,y)=(1,0).     

关于丢番图方程z2=(x(x+1)(x+2))2+(y(y+a)(y+b))2

证明了对任意的整数a,b,方程z~2=(x(x+1)(x+2))~2+(y(y+a)(y+b))~2有无穷多整数解(x,y,z).特别的,当a为偶数以及b=a+2,a+4时,该方程有无穷多组满足x■y的整数解.     

不定方程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~3±3~3=3pqy~2

主要利用递归数列、同余式、平方剩余以及Pell方程解的性质证明了当p≡1(mod 12),q≡12s2+1时,丢番图方程x3-33=3pqy2仅有整数解(x,y)=(3,0);当p≡1(mod 24),q≡12s2+1时,丢番图方程x3+33=3pqy2仅有整数解(x,y)=(-3,0).     

关于Diophantine方程x~3±1=6pqy~2的整数解

主要利用同余式、Pell方程的解的性质、递归序列、平方剩余等理论得出了如下结果:(1)p≡q≡1(mod 6)为奇素数,(p/q)=-1,pq≡19(mod 24),或p≡1(mod 24),q≡13(mod 24)时,Diophantine方程x~3-1=6pqy~2仅有平凡解(x,y)=(1,0);(2)p≡q≡1(mod6)为奇素数,(p/q)=-1,且pq≡7(mod 24),或p≡1(mod 24),q≡13(mod2 4)时,Diophantine方程x~3+1=6pqy~2仅有平凡解(x,y)=(-1,0).     

关于Diophantine方程x~3±1=pqy~2

关于Diophantine方程x3±1=Dy2至今仍未解决.论文利用同余式、平方剩余、Pell方程解的性质、递归序列证明:(1)p≡1(mod 12)为素数,q=12s2+1(s是正奇数)为素数,(p q)=-1时,Diophantine方程x3±1=pqy2仅有整数解(x,y)=(1,0);(2)p≡1(mod 24)为素数,q=12s2+1(s是正奇数)为素数,(p q)=-1时,Diophantine方程x3±1=pqy2仅有整数解(x,y)=(-1,0).     

关于Diophantine方程y~2=px(x~2+2)

对于Diophantine方程y2=px(x2+2),这里p为奇素数,证明了:当p=2593时,它有唯一的正整数解(x,y)=(72,31116).     

Diophantine方程组x-1=3pqa~2和x~2+x+1=3b~2

设p,q是适合3pq的奇素数,根据二次和四次Diophantine方程的结果,运用初等数论方法证明了:仅当(p,q)=(7,181)时方程组x-1=3pqa2和x2+x+1=3b2有正整数解(x,a,b)=(60 817,4,35 113).     

关于丢番图方程x~3-1=py~2

设t为正整数,素数p=12t2+1,证明了丢番图方程x3-1=Dy2仅有平凡整数解(x,y)=(1,0)。     

关于不定方程组x±1=6pqu~2,x~2■x+1=3υ~2的整数解

设p,q是互异的奇素数,p≡q≡1(mod 6),利用递归序列、Pell方程的解的性质、Maple小程序等方法证明了不定方程组x-1=6pqu2,x2+x+1=3v2仅有平凡解(x,u,v)=(1,0,±1);而不定方程组x+1=6pqu2,x2-x+1=3v2仅有平凡解(x,u,v)=(-1,0,±1).     

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

设素数p≡1(mod 24),(p/13)=-1。关于丢番图方程x3+1=13py2的初等解法至今仍未解决。主要利用递归序列、同余式、平方剩余、Pell方程的解的性质,证明了丢番图方程x3+1=13py2仅有整数解(x,y)=(-1,0)。     

关于Diophantine方程x~3±1=2pqry~2

设p,q,r为奇素数,p≡13 mod 24,q≡19 mod 24,(p/q)=-1.利用同余式、平方剩余、递归序列、Legendre符号的性质、Pell方程解的性质等证明了:(A)若r≡5 mod 12,则方程G:x3-1=2pqry2仅有平凡解(x,y)=(1,0);若r≡11 mod 12,则方程G最多有2组正整数解.(B)若r≡11 mod 12,则方程H:x3+1=2pqry2仅有平凡解(x,y)=(-1,0);若r≡5 mod 12且(pq/r)=-1,则方程H最多有2组正整数解.     

丢番图方程3n+px2=yp

讨论了丢番图方程3n+px2=yp(x,y,n∈N;p是奇素数)的可解性,得到以下结果:(1)当p=3时,方程的所有解为(x,y,n)=(46·33t+1,13·32t+1,6t+7),(10·33t+1,7·32t+1,6t+8).(2)当p=1(mod 24)时,方程没有解.     

关于丢番图方程x6±y6=pDz2

设p>3是素数,证明了丢番图方程x6±y6=6pz2,x6+y6=3pz2和x6-y6=2pz2均无正整数解;方程x6+y6=pz2和x6+y6=2pz2在p1(mod24)时均无正整数解;方程x6-y6=pz2在p1,7,19(mod24)时无正整数解;方程x6-y6=3pz2在p(≡/)1,19(mod24)时无正整数解;并且获得了以上方程在p≡1,7,19(mod24)时的全部正整数解通解公式, 从而从正面支持了广义Fermat猜想和Tijdeman猜想.     

关于丢番图方程组x-1=3pqu~2,x~2+x+1=3v~2的整数解

设p,q是互异的奇素数,p≡q≡1(mod 6),本文主要利用递归序列、Pell方程的解的性质、Maple小程序等证明了丢番图方程组x-1=3pqu2,x2+x+1=3v2除开p=7,q=181有非平凡解(x,u,v)=(60 817,±4,±35 113)外,仅有平凡解(x,u,v)=(1,0,±1)。