不定方程3^x±1=2^y的正整数解

不定方程3x-1=2y的正整数解为（1,1）,（2,3）;3x＋1=2y的正整数解为（1,2）.     

关于丢番图方程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证明的结论也是不可靠的。     

关于Diophantine方程(ax4-1)/(ax-1)=yn

设α是大于1的正整数，证明方程（αx^4-1）／（αx-1）=y^n仅当α=4时有正整数解（x，y，n）=（2，3，2）适合min（x，y，n）〉1．     

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

不定方程3x±1=2y的正整数解

不定方程3x-1=2y的正整数解为(1,1),(2,3);3x+1=2y的正整数解为(1,2).     

幂比较法在不定方程中的应用

利用幂比较法证明了:①当a为正偶数、b为正奇数时,不定方程a~x-b~y=1最多有1组正整数解(x,y);②方程x~y-(x-1)~z=1仅有正整数解(x,y,z)=(1,s,t),(2,1,t),(r,1,1)和(3,2,3),其中r,s,t为任意正整数且r≥3.同时推出不定方程2~x-3~y=1仅有正整数解(x,y)=(2,1),不定方程2 018~x-2 019~y=1无正整数解以及不定方程3~x-2~y=1仅有正整数解(x,y)=(1,1),(2,3).     

关于一个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方程(axm+1)/(ax+1)=yn+1

设a,m是大于1的正整数.该文证明了：当m＞2时,方程（ax^m＋1）/（ax＋1）=y^n＋1仅有有限多组正整数解（x,y,n）适合min（x,y,n）＞1,而且这些解都满足y6n＜x^m-1≤a^m2-3m＋2.     

关于丢番图方程x3-8=Dy2

利用初等方法证明了：若D=12k（4k-1）＋1（k∈Z＋）为奇素数,则丢番图方程x3-8=Dy2无gcd（x,y）=1的正整数解.     

方程√（x^2＋y^2）／（xy＋1）=k的非本原解

运用Pell方程的性质证明了：对于任何大于1的正整数k,方程√（x^2＋y^2）／（xy＋1）=k都有无穷多组正整数解（x,y）．并且在k是素数的情况下,给出了该方程所有非本原解（x,y）．     

关于指数丢番图方程x2+3m=yn

利用Bilu,Hanrot和Voutier关于Lucas数本原素除子存在性的深刻结果,证明了指数丢番图方程x^2＋3^m=y^n仅有正整数解（x,y,m,n）=（46．13．4．3）适合n〉2且gcd（x．y）=1。     

关于不定方程x2-3y4=118

本文利用一种初等的证明方法,即递归数列,同余式和平方剩余的方法,对一个不定方程x^2-3y^4=118的正整数解进行了研究．最后得出该不定方程x^2-3y^4=118至少含有3个正整数解（x,y）=（11,1）,（19,3）,（650851,613）．     

关于丢番图方程x2±y4=±z6

利用简洁初等方法,证明了丢番图方程x2±y4=z6,x2+y6=z4,x4±4y4=z3,x4-y4=2z3均无正整数解,方程x4+y4=2z3,(x,y)=1,仅有正整数解x=y=z=1.     

关于Diophantine方程δ(χ3)=y2

对于正整数α，设δ（α）是α的约数和，证明了Diopantine方程δ（x^3）=y^2没有正整数解（x，y）适合x=8p，其中p是奇素数．     

关于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方程x3+1=py2

设p是奇素数．该文证明了：当p=12x^2＋1其中s是奇数,则方程x^3＋1=py^2 元正整数解（x,y）．     

关于不定方程x^2-3y^4=97

运用递归数列,同余式和平方剩余证明了不定方程x^2-3y^4=97仅有正整数解（x,y）=（10,1）。     

关于不定方程x2-3y4=222

运用递归数列,同余式和平方剩余证明了不定方程x^2-3y^4=222仅有正整数解（x,y）=（15,1）。     

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

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

Catalan方程x~n+1=y~2的正整数解

研究了一类不定方程求正整数解的问题.借助数论中的一些简单结果,推导并证明了Catalan方程xn+1=y2的正整数解的一般公式.Catalan方程xn+1=y2的一切正整数解可表示为(x,y,n)=(k2-1,k,1)或(2,3,3),这里k为大于1的正整数.