关于丢番图方程（143n）^x＋（24n）^y=（145n）^z

设a,b,c为两两互素的正整数,满足a^2＋b^2=c^2．1956年,Jesmanowicz猜想：对任意的正整数n,丢番图方程（an）^x＋（bn）^y=（cn）^x仅有正整数解（x,y,z）=（2,2,2）．本文对（a,b,c）=（143,24,145）的特殊情形,证明了该猜想是正确的．     

关于丢番图方程（195n）x+（28n）y=（197n）z

运用同余及元素阶的性质,证明了对任意的正整数n,丢番图方程(195n)x+(28n)y=(197n)z仅有正整数解(x, y, z)=(2,2,2)。     

关于丢番图方程(12n)~x+(35n)~y=(37n)~z

运用同余及元素阶的性质,证明对任意正整数n,丢番图方程(12n)x+(35n)y=(37n)z仅有正整数解(x,y,z)=(2,2,2).     

关于丢番图方程x2-2p=yn的解

利用初等方法讨论了丢番图方程x2-2p=yn,n＞1,得到当素数p满足一定条件时,存在一类方程无解.     

关于丢番图方程x~2-D=p~n的解数

设D是正整数,p是适合p?D的奇素数。本文证明了:当max(D,p)≥10~(190)时,方程x~2-D=p~n至多有3组正整数解(x,n)。     

关于丢番图方程x（x＋1）（2x＋1）=2py^2——兼推出Lucas猜想的简洁初等证明

1875年E．Lucas猜想：丢番图方程x(x 1)(2x 1)=2py^2仅有正整数解(x,y)=(1,1),(24,70)．1919年Watson和1952年Liunggren分别给出了肯定回答;1969年Mordell指出：watson和unggren的证明既复杂又非初等,希望有人能给出初等证明。     

关于丢番图方程b~x+(2~α)~y=(b+2~α)~z

结合初等和高等的方法研究丢番图方程b~x+2~(αy)=(6+2~α)~z,α≥3正整数解的问题,并得到了如下结论:1.若b为平方数,则方程只有正整数解(x,y,z)=(1,1,1);若b+2~α为平方数,则x=1.2.若x1,则2■z.3.方程3~x+(2~(2k+1))~y=(3+2~(2k+1))~z,k■2 (mod 6),2k+1∈N,2k+11只有正整数解(x,y,z)=(1,1,1).     

关于丢番图方程Cx~2＋2~（2m）D＝k~n

设Ｃ，Ｄ，ｋ与ｍ是给定正整数，且满足（Ｃ，２Ｄ）＝１，２｜ｋ＞１以及Ｄ无＞１的平方因子．本文得到了在一些条件下丢番图方程Ｃｘ２＋２２ｍＤ＝ｋｎ最多有一组或两组正整数解的结果．由此我们还给出了若干指数丢番图方程的全部解．结果的证明是基于虚二次域中的初等方法．     

关于指数丢番图方程a~x+b~y=c~z的Terai猜想

本文证明了:当a=|m(m4-10m2+)|,b=5m4-10m2+1,c=m2+1,其 中m是偶数时,如果m≥542,则方程ax+by=cz仅有正整数解(x,y,z)=(2,2,5).     

关于丢番图方程X~2+4Y~4=pZ~4

设p为素数,p=4A~2+1+2|A,A∈N~*.运用二次和四次丢番图方程的结果证明了方程G:X~2+4Y~4=pZ~4,gcd(X,Y,Z)=1,除开正整数解(X,Y,Z)=(1,A,1)外,当A≡1(mod4)时,至多还有正整数解(X,Y,Z)满足X=|p(a~2-b~2)~2-4(A(a~2-b~2)±ab)~2|,Y~2=A(a~2-b~2)~2±2ab(a~2-b~2)-4a~2b~2A,Z=a~2+b~2;当A≡3(mod4)时,至多还有正整数解(X,Y,Z)满足X=|4a~2b~2A-(4abA±(a~2-b~2))~2|,Y~2=4a~2b~2A±2ab(a~2-b~2)-A(a~2-b~2)~2,Z=a~2+b~2.这里a,b∈N~*并且ab,gcd(a,b)=1,2|(a+b).同时具体给出了p=5时方程G的全部正整数解.     

关于丢番图方程x~3±1=3·2~αpD_1y~2

设D_1=multiply from i=1 to s q_i(s=1或2),q_i≡-1(mod6)(i=1,2,…,s)是彼此不同的奇素数,p≡1(mod6)为奇素数.运用初等方法讨论了丢番图方程x~3±1=3·2~αpD_1y~2(α=0或1)的正整数解的情况.     

关于丢番图方程D1x^2＋2^mD2=y^n的解数

设Ｄ１、Ｄ２、ｍ、ｘ、ｙ是适合Ｄ１〉１，Ｄ２〉１，２├Ｄ１Ｄ２，ｇｃｄ（Ｄ１，Ｄ２）＝ｇｃｄ（ｘ，ｙ）＝１的正整数，ｎ是适合ｎ├ｈ的奇素数，其中ｈ是虚二次域Ｑ（√－２＾ｍＤ１Ｄ２）的类数。本文主要证明了：方程Ｄ１ｘ＾２＋２＾ｍＤ２＝ｙ＾ｎ至多有５．１０＾１６组例外解（Ｄ１，Ｄ２，ｘ，ｙ，ｍ，ｎ）而且这些解都满足了７≤ｎ〈８．５．１０＾６以及ｙ＾ｎ〈ｅｘｐ（ｅｘｐ（ｅｘｐ４６））。     

关于丢番图方程x~2+y~2=p与x~2+2y~2=p的整数解

利用p次单位根e~((2πi)/p)作为原始材料,通过不同层次的组合,当p≡1(mod 4)时,给出了方程x~2+y~2=p的整数解.在此基础上,当p≡1(mod 8)时,进一步给出了x~2+2y~2=p的整数解.     

关于丢番图方程x^2±2^m=y^n

本文证明了：方程ｘ２＋２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且当（ｘ，ｙ，ｍ，ｎ）≠（５，３，１，３），（１１，５，２，３），（７，３，５，４）时，ｎ是适合ｎ≡７（ｍｏｄ８）以及２３≤ｎ＜８．５·１０６的奇素数，ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ１；方程ｘ２－２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｙ＞１；ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且这些解都满足ｎ＜２·１０９炉以及ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ２，这里Ｃ１，Ｃ２是可有效计算的绝对常数．     

关于丢番图方程xp-1=Dyn

利用分解因子法,讨论了一类高阶丢番图方程的解,并解决了当D=5时,不定方程解的情况.     

关于丢番图方程 χ^3一У^6=3pz^2的整数解

设p=5（mod 6）为素数．证明了丢番图方程χ^3一У^6=3pz^2。在p=5（mod 12）为素数时均无正整数解;在P=11（mod 12）为素数时均有无穷多组正整数解,并且还获得了该方程全部正整数解的通解公式,同时还给出了该方程的部分整数解．