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

关于Pell数的Diophantine方程x2+Uyn=Vzn

设n是正奇数,Un=(αn+βn)/2.yn=(αn-βn)/2√2,其中α=1+√2,β=1-√2.运用Pell数的算术性质讨论了方程x2+Uyn=Vzn的正整数解(x,y,z).证明了当n≡±3(rood 8)时,该方程仅有正整数解(x.y,z)=(V2n-1.2,4).     

椭圆曲线y~2=qx(x~2-256)的正整数解

利用初等数论方法及同余性质证明了椭圆曲线方程y~2=qx(x~2-256)除整数解(0,0),(16,0)外还有其它正整数解,即:(ⅰ)当q=5时方程仅有正整数解(x,y)=(20,120),(144,3840);(ⅱ)当q=29时方程仅有正整解(x,y)=(156816,334414080);(ⅲ)当q=41时方程仅有正整数解(x,y)=(25,615);(ⅳ)当q≠5,29,41时方程至多只有一组正整数解(x,y),其中q为无平方因子的正奇数.     

关于丢番图方程x8+py2=4z4与x4+16py8=z2

设p为奇数，证明了丢番图方程x^8＋py^2=4z^4（x，y）；1除开p=3时仅有正整数解（z，y，z）=（1，1，1）和p=7时仅有正整数解（x，y，z）=（1，3，2）之外，无其它正整数解。证明了方程x^4＋16py^8=z^2，p≡3（mod 4），2/z，（x，y）=1，无正整数解。证明了P≡3（mod 4），方程x^4＋16py^8=z^2，（x，y）=1当2/x时，除开p=3时仅有正整数解（x，y，z）-（1，1，7）外，无其它正整数解；当2｜x时，有解x^2=2｜pr^8-s^8｜，y=rs，z=2（pr^8＋s^8），2/rs，（r，s）=1。从而推广了文[4]的结果。由此可知（x，y，z）=（2，1，8）是方程x^4＋48y^8=z^2的一个本原解，文[4]漏掉了此解，这说明文[4]引理2不是完全正确的，依据引理2证明的结论也是不可靠的。     

方程xp±y2p=z2与广义费尔马猜想

设p为奇素数,证明了丢番图方程x4 -y4 =zp 与x2p±y2p=z2 均无正整数解;方程xp y2p=z2 仅有整数解 16 2 3 =32 ;方程x2p 2 kyp =z2 (k≥ 1)仅有整数解 12p 2 3 · 1p =32 ;同时还获得了方程x2 ±y4 =zp与x2 ±y4 =±z2p 的深刻结果,从而很大程度地支持广义Fermat猜想.     

关于不定方程x~3±1331=2pqy~2的整数解

设p、q为奇素数,p≡13(mod24),q≡19(mod24),Legendre符号值p(q)=-1.利用递归序列、Legendre符号的性质、同余的性质以及Pell方程的解的性质等,证明了:(i)若p()11=pq(11)=-1且n■3(mod4),则不定方程x3-1331=2pqy2至多有2组正整数解;(ii)若pq(11)=-1且n■1(mod4),则不定方程x3+1331=2pqy2仅有平凡解(x,y)=(-11,0);推进了此类不定方程的研究.     

关于丢番图方程px~4-（p-1）y~2=z~4

对任意的奇素数p,还没有找到给出丢番图方程px4-（p-1）y2=z4的全部正整数解的统一的初等方法,目前只解决了某类特殊的奇素数p的求解问题,例如王洪昌等人完全解决了p-1=Q2;或2Q2;或qQ2,2｜Q,q≡3（mod4）为奇素数,Q为正整数的情形.认为对某类特殊的奇素数p求解丢番图方程px4-（p-1）y2=z4,目的是对任意的奇素数p,寻找给出丢番图方程px4-（p-1）y2=z4的全部正整数解的统一解法.当p=2q＋1,q≡5（mod8）,p,q为奇素数时,利用初等方法把方程px4-（p-1）y2=z4化为方程x2＋my2=z2,从而给出方程px4-（p-1）y2=z4的全部正整数解;当q为任意正整数时,上述解法仍然适用,因此对任意给定的奇素数p,实际上已经给出了丢番图方程px4-（p-1）y2=z4的全部正整数解的统一解法.     

关于丢番图方程x4±6px2y2±3p2y4=z2

设p为素数,利用Fermat无穷递降法,研究方程x4±3px2y2+3p2y4=z2与x4±6px2y2-3p2y4=z2正整数解的存在性,证明该方程在p≡5(mod 12)时均无正整数解,在p≡11(mod 12)时有解且有无穷多组正整数解,获得方程无穷多组正整数解的通解公式和方程的部分正整数解.     

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

关于丢番图方程x3+p3n=Dy2

设D是大于 2且不含σk +1之形素因数的无平方因子正整数 ,p是适合p D的素数。本文证明了 :当p>3且p ± 1(mod 12 )时 ,如果D有素因数q适合q≡ 1(mod 4) ,则方程x3 +p3n =Dy2 没有适合gcd(x ,y) =1的正整数解 (x,y ,n)。     

关于Diophantine方程x2+p2=yn的解数的一点注记

设p是奇素数,t∈{3,4,8}.运用初等方法讨论了方程x2 p2=yn适合n>2的正整数解(x,y,n)的个数,证明了该方程至多有1组正整数解(x,y,n)适合n=t.     

丢番图方程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)无整数解。     

关于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方程xp-1-1=2mpyn

设p是奇素数，n是大于1的奇数，证明了：当p≡7(mod12)时，方程x^p-1-1=2^mpy^n无正整数解(x，y，m，n)。     

关于丢番图方程x4+18px2y2+108p2y4=z2

利用Fermat无穷递降法,证明了方程x4+18px2y2+108p2y4=z2与x4-36px2y2-108p2y4=z2在p≡5(mod6)为素数时均有无穷多组正整数解,并且获得了方程无穷多组正整数解的通解公式,同时还编拟了方程正整数解的计算程序,从而完善了Aubry等人的结果.     

方程x4-6px2y2+12p2y4=z2与Aubry猜想

利用Fermat无穷递降法,证明了方程x4-6px2y2 12p2y4=z2与x4 12px2y2-12p2y4=z2在p≡5(mod6)时均有无穷多组正整数解,并且获得了方程无穷多组正整数解的通解公式,从而完善了Aubry等人的结果.     

关于Diophantine方程y2=px(x2+2)的一点注记

设p是奇素数,运用初等数论方法证明了:如果P=16k4+1,这里k为正奇数,则方程y2=px(x2+2)无正整数解(x,y).     

Diophantus方程sun from i=0 to n(x i)~2=y~2的正整数解(Ⅰ)

探讨Diophantus方程Σni=0 (x i) 2 =y2 在n≤ 5 0下的正整数解问题 ,得到了以下结果 :Diophantus方程 Σni=0 (x i) 2 =y2 在n≤ 5 0下有正整数解的充要条件为n∈ {1 ,1 0 ,2 2 ,2 3 ,2 5 ,3 2 ,46,48,49}.     

Diophantine方程(a~n-1)((a+1)~n-1)=x~2的可解性

设a是大于1的正整数,v2(a)表示2可以整除a的最高次幂.运用初等数论方法研究了方程(an-1)((a+1)n-1)=x2的可解性.证明了当a满足以下3个条件之一时该方程无解(x,n):(i)a是偶数,v2(a)是奇数;(ii)a是偶数,v2(a)=2;(iii)a是奇数且a≡5或9(mod 16).同时也证明了至少有5/6的正整数a可使该方程没有适合n2的解(x,n).     

椭圆Diophantine方程(x+p)(x2+p2)=y2的本原解

设p是素数.在此给出了方程(x+p)(x2+p2)=y2有适合gcd(x,y)=1且y为奇数的正整数解(x,y)的充要条件.