关于丢番图方程x3+y6=3pz2及其计算程序

设P=5(mod6)为素数，证明了丢番图方程x^3 y^6=3pz^2在P=5(mod12)为素数时均无正整数解，在P=11(mod12)为素数时均有无穷多组正整数解，并且还获得了该方程全部正整数解的通解公式，同时编写了计算正整数解的计算程序，可以很方便地计算该方程的正整数解．     

关于丢番图方程x3+y6=2pz2

证明了,当p为适合p≡5(mod6)的素数时,丢番图方程x^3 y^3=2pz^2,gcd(x,y)=1有无穷多组正整数解,并且还获得了该方程全部正整数解的通解公式,同时,利用计算机程序算得了该方程的部分整数解．     

关于丢番图方程x6±y6=2pz2的计算程序

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

关于丢番图方程x6±y6=pz2的正整数解

设p＞3是素数,证明了丢番图方程在x6+y6=pz2在p(≠)1(mod 24)时无正整数解,方程x6-y6=pz2在p(≠)1,7,19(mod 24)时无正整数解;并且获得了以上方程在p≡1,7,19(mod 24)时有正整数解的必要条件及其部分计算结果,从而从正面支持了广义Fermat猜想和Tijdeman猜想.     

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

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

关于丢番图方程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猜想.     

关于丢番图方程x3+y3=pDz2

设p≡5(mod6)是素数,D是无平方因子且不被p和6k+1形素数整除的正整数,运用初等数论方法,获得了丢番图方程x3+y3=pDz2在D=1,2,3,6时全部整数解的通解公式及其解的深刻性质,从而推进了广义Fermat猜想与Tijdeman猜想的研究进展.     

关于丢番图方程x3+y3=pDz4

设p≡5(mod6)是素数,D是无4次方因子且不被p和6k+1形素数整除的正整数,运用数论方法,获得了丢番图方程x3+y3=pDz4在D=1,2,3,4,6,8,9,12,18,24,27,36, 54,72,108, 216时无整数解的充分条件,从而推进了广义Fermat猜想和Tijdeman猜想的研究进展.     

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

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

关于丢番图方程x^3＋y^3=pDz^4

设p≡5(mod6)是素数，D是无4次方图子且不被p和6k 1形素数整除的正整数，运用数论方法，获得了丢番图方程x^3 y^3=pDz^4在D＝1，2，3，4，6，8，9，12，18，24，27，36，54，72，108，216时无整数解的充分条件，从而推进了广义Fermat猜想和Tijdeman猜想的研究进展。     

丢番图方程y(y+1)(y+2)(y+3)=n~2 x(x+1)(x+2)(x+3)解的研究

设n1是正整数,利用Pell方程的正整数解的一组恒等式和高次丢番图方程的结果,研究了丢番图方程y(y+1)(y+2)(y+3)=n~2x(x+1)(x+2)(x+3)的正整数解(x,y),分别在2|/n,3|x的情形下和n不同素因数的个数不超过2的情形下,证明了该方程没有正整数解(x,y).     

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

设p是奇素数,研究丢番图方程x3+1=3py2正整数解的情况.利用初等数论的方法得到了丢番图方程x3+1=3py2无正整数解的若干充分条件.     

关于Diophantine方程

利用同余及勒让德符号的性质等初等数论的方法,得到了丢番图方程x3-1=3py2无正整数解的4个充分条件 ,推进了该类三次丢番图方程的研究.     

一类Diophantine方程及其他的整数解

目的研究不定方程x3±8=Dy2的可解性问题。方法利用初等及代数方法。结果设D是不含3和6k+1之形素因数的无平方因子正整数。当D>5时,如果D的素因数p都满足p≡1,3(mod 8)或者p≡5,7(mod 8),则方程x3±8=Dy2没有适合gcd(x,y)=1的正整数解(x,y)。结论部分地解决了该方程的可解性问题。即对某些特殊D,该方程无解。     

关于Diophantine方程x3-1=py2

设p是奇素数,证明了当p=12s2 1,其中s是奇数时,则方程x3-1=py2无正整数解(x,y).     

关于Diophantine方程x3+33m=2Dy2

证明了当D(无平方因子正奇数)不能被6k+1之形素数整除时,若方程x³+3^3m=2Dy²有适合gcd(x,y)=1的正整数解(x,y,m),则D≡1(mod 4),D的素因数p都满足p≡11(mod 12),而且D的素因数个数必为偶数.     

关于Diophantine方程x^3±8=Dy^2

利用数论中同余的性质研究丢番图方程x3±8=Dy2（D=D1p,D是无平方因子的正整数,其中D1是不能被3或6k＋1之形的素数整除的正整数,p是正奇素数）的解的情况,证明了当D1=3,7（mod8）,p=3（8k＋7）（8k＋8）＋1时,方程x3＋8=Dy2无正整数解;当D1=7（mod8）,p=3（8k＋5）（8k＋...     

关于丢番图方程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的全部正整数解的统一解法.     

关于Diophantine方程x^3±1=3pD1y^2

利用数论中的同余及因子分解法,研究了丢番图方程x^3±1=3pD1y^2 （其中p是奇素数,p=3（24r＋19）（24r＋20）＋1,r是正整数,D1=2^α.q,α=0或1,q为奇素数,q≡5（mod 6））的解的情况.证明了该丢番图方程无正整数解,从而推进了该类三次丢番图方程的研究.     

Diophantine方程

利用初等数论的方法得到丢番图方程 无正整数解的一个充分条件. 设 是奇素数,证明了当 ,其中 是非负整数,则方程 无正整数解.