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

关于丢番图方程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^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方程组a^2＋b^2=c^2和a^x＋b^y=c^z的例外解

设（a,b,c）是一组本原Pythagorean数组．论文运用初等数论方法证明了：如果（x,y,z）是方程a^x＋6^y=c^z的一组适合（x,y,z）≠（2,2,2）正整数解,则必有x≠y以及z〉2．     

关于丢番图方程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)。     

关于Diophantine方程（αx^3＋1）／（αx＋1）=f（y）

设α是大于1的正整数，f（z）是整值函数．本文证明了：方程（αx^3＋1）／（αx＋1）=f（y）没有适合x〉1的整数解（x，y）．     

关于三次Diophantine方程x~3-1=2py~2

文中利用初等方法以及同余理论,讨论三次Diophantine方程x3-1=2py2当p为适合p≡1(mod6)的奇素数时的可解性。给出了该方程有解的充要条件和推论,并且仅有正整数解(x,y)=(2a2+1,aB(4a4+6a2+3))及(x,y)=(6a2+1,3aB(12a4+6a2+1))。     

丢番图方程a^x＋b^y=c^z的正整数解

设m为正整数,且a=m^7-21m^5＋35m^3-7m,b=7m^6-35m^4＋21m^2-1,c=m^2＋1．本文同时利用2个代数数的线性型下界估计以及2个有理数方幂之差的p-adie值的下界估计的一些深入结果,证明了对正整数m≥2．4×10^9,丢番图方程a^x＋b^y=c^z仅有正整数解（x,y,z）=（2,2,7）．     

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

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

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

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

设p为奇素数.利用同余性质及Fermat的无穷递降法,证明了:D=p3,p≡3,7(mod 16);或D=-p3,p≡9,13(mod 16);或D=2p3,p≡3,5(mod 8);或D=4p3,p≡3,7(mod 16)时,方程x4+Dy4=z2,gcd(x,y)=1均无正整数解.同时给出D=3时方程的全部正整数解.     

关于丢番图方程(45n)~x+(28n)~y=(53n)~z的解

利用初等方法证明了,对于任意的正整数n,丢翻图方程(45n)x+(28n)y=(53n)z仅有x=y=z=2正整数解.     

关于不定方程x3＋8=61 y2的整数解

利用递归数列和同余式的相关性质证明了不定方程x3＋1=122y2仅有整数解（ x,y）=（-1,0）,然后证明了不定方程x3＋8=61y2仅有整数解（ x,y）=（-2,0）。     

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

关于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＋...     

关于不定方程x^3＋27=Dy^2

利用初等方法得出了：D=27t^2＋1（t≡0（mod2））为奇素数时,不定方程x^3＋27=Dy^2无正整数解;D=27t^2＋1（t≡4（mod8））为奇素数时,不定方程x^3-27=Dy^2无正整数解．