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

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

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

关于二元线性方程的正整数解的个数

设a,b,c,k是适合gcd（a,b）=1的正整数．证明了：恰有ab个不同的正整数c可使方程ax by=c共有k组正整数解（x,y）,而且c的最大值和最小值分别是ab（k＋1）和ab（k-1）＋a＋b．     

关于指数Diophantine方程(n+1)x+(n+1)y=nz

设n是正整数，本文运用初等方法证明了：方程（n＋1）^x＋（n＋1）^y=n^z没有适合x〉1的正整数解（x，y，x）．     

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

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

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

关于Diophantine方程x3±23m=3Dy2

设m是正整数,D是无平方因子正整数.证明了:当m>1时,如果D不能被3或6k 1之形素数整除,则方程x3±23m=3Dy2没有适合gcd(x,y)=1的正整数解(x,y).     

关于一个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方程x~2+axy-y~2=b的可解性

设a,b分别是给定的正整数和非零整数.运用非平方正整数平方根的简单连分数性质,证明了如果2|a且1|b|a/2,或2|a且4|b|a/4,则方程x~2+axy-y~2=b没有适合gcd(x,y)=1的正整数解(x,y).     

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

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

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

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

关于三项纯指数Diophantine方程a~x+b~y=c~z的一点注记

设a,b,c是给定的正整数,运用初等数论方法证明了:当a+b2 l-1=c2,b≡5(mod 24),c是适合c≡-1(mod b2l)的奇数,其中l是任意正整数时,方程ax+by=cz仅有正整数解(x,y,z)=(1,2l-1,2).     

丢番图方程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）．     

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

关于Diophantine方程x~2＋4~n=y~3

证明了不定方程x2＋4n=y3（n∈N,x≡0（mod2）,x,y∈Z）,其中当n≥3时整数解仅有（x,y,n）=（0,4k,3k）,（±2×8k,2×4k,3k＋1）,（±11×8k,5×4k,3k＋1）,k∈N＋.     

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