关于丢番图方程ax2+by2+cz2+dxy+exz+fyz=gw2的整数解

当丢番图方程ax^2＋by^2＋cz^2＋dxy＋exz＋fyz=gw^2有整数解x0,y0,z0,ω0（ω0≠0）,（x0,y0,z0, ω0）=1时给出它满足（x,y,z,ω）=1,ω≠0的全部整数解的公式：{x=ηx-ξm/t,y=ηy0-ξn/t,z=ηz0-ξp/t,ω=ηω0/t其中η=am^2＋bn^2＋cp^2＋dmn＋emp＋fnp,ξ=2（ax0m＋by0n＋cz0p）＋d（nx0＋my0）＋e（px0＋mz0）＋f（py0＋nz0）,（m,n,p）=l并利用所得结果证明几个推论．     

谈谈丢番图方程x~2+y~2=z~2

本文讨论了丢番图方程（1）的本原解的公式，介绍了费与（Fermat）无穷递降法，证明了丢番图方程x4±4y4=z2，x4+y2=z4无xyz≠0的解，并讨论了几个特殊的丢番图方程的解。     

关于Diophantine方程x^2＋2y^2=z^n

讨论了Diophantine方程x^2＋2y^2=z^n在xy≠0,（x，y）=1时有解的充分必要条件及用代数教论的方法给出（x,y）=1，n≥2时方程整数解的一般公式。     

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

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

关于丢番图方程ax2+by2+cz2=dw2的整数解

当丢番图方程αx^2 by^2 cz^2=dω^2有整数解x0,y0,z0,ω0(ω0≠1），（x0,y0,z0,ω0）＝1时，给出了它满足（x,y,x,ω）＝1的全部整数解的公式：｛x=(αn^2 bm^2 cp^2)x0-2n(αnx0 bmy0 cpz0)/t,y=(αn^2 bm^2 cp^2)y0-2m(αnx0 bmy0 cpz0)/t,z=(αn^2 bm^2 cp^2)z0-2p(αnx0 bmy0 cpz0)/t,ω=(αn^2 bm^2 cp^2)ω0/t。     

不定方程组x^2-6y^2=1,y^2-Dz^2=4

设D为奇数且最多含有3个互不相同的素因数，证明了不定方程组x^2-6y^2=1,y^2-Dz^2=4仅有两组非平凡解D=11，（x，y,z）：（49，20，6）和D=11×89×109，（x，y，z）=（4801，1960，6）。     

曲线方程（a1＋b1y＋c1）（a2x＋b2y＋c2）=1的定量几何特征

文章用坐标平移与旋转方法，获得了曲线方程（a1x＋b1y＋c1）（a2x＋b2y＋c2）=1（a1^2＋b1^2）（a2^2＋b2^2）≠0 （1）在xoy平面上的完全定量几何特征．由其特征，我们可以方便地给出它们的具体方程表示的曲线的重要参数.     

不定方程x2＋y2＋z2=2（xy＋yz＋zx）的全部非负整数解

利用解序列的递归性，得到了不定方程x2＋y2＋z2=2（xy＋yz＋zx）的全部非负整数解。     

Fermat大定理的较简证明

对任三个正整数x、y、z,证明了(x/z)~n+(y/z)~n≠1(n≥3的整数),进而证明了n次不定方程x~n+y~n=z~n(n≥3的整数)无正整数解.因为由任三个x、y、z组成的三数组有无限多个,把这些三数组分成五类,并对各类三数组证明都有(x/z)~n+(y/z)~n≠1.前三类x、y、z易证有(x/z)~n+(y/z)~n≠1,第四类x、y、z用无限整体与有限部份间的关系可证(x/z)~n+(y/z)~n≠1,第五类x、y、z,先引入N_小概念,又对N_小3的x、y、z引入N_大概念,再用引2的结果证明N_小与N_大是相邻整数,于是可证(x/z)~n+(y/z)~n≠1,从而易证Fermat大定理正确.     

关于丢番图方程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方程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猜想的一个特殊情况。     

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

关于丢番图方程1+7x=2y5z+2u5v7w

设x,y,z,u,v,w为非负整数,用计算机辅助方法给出了指数丢番图方程1+7^x=2^y5^z+2^u5^v7^w的全部非负整数解,(x,y,z,u,v,w)≡(1,2,0,2,0,0）,（2,0,2,0,2,0）,（2,1,1,3,1,0）,（2,3,1,1,1,0）,（3,5,0,3,1,1）,（t,0,0,0,0,t）,其中t为任意非负整数.     

2-连通P3-支配图的Hamilton圈

如果图G中任意一对距离为2的顶点x,y,有J(x,y)∪J′(x,y)≠Φ,则称G为P₃-支配图。本文证明了：设G是n(≥3)阶2-连通P₃-支配图,如果对G中任意一对不相邻的顶点x,y,有2|N(x)∪N(y)|+d(x)+d(y)≥2n-5,则G含有Hamilton圈或者G∈{K_2,3,K_1,1,3}。     

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

分担全纯函数的亚纯函数的正规族

主要研究了亚纯函数分担全纯函数的正规族问题,证明了：如果扩是区域D上的亚纯函数族,且满足L[f]=a0f＇＋a1f（a0≠O）,a,b,c,d为D上的4个全纯函数。如果对任意的f∈￡只满足a（z）≠d（z）,b（z）＋a1（z）a（z）＋a0（z）a’（z）≠2c（z）,c（z）－a0（z）a’（z）一a1（z）a（z）≠0,f（z）=a（z）→L[f]（z）一b（z）且L[f]（z）=c（z）→f（z）=d（z）,则￡在D正规。     

椭圆曲线Y^2-y=x^3-x的二阶K-群

假设E是由方程y^2-y=x^3--x定义的椭圆曲线，Ez是E的Neron模型．本文证明了Steinberg符号{x，y^2）^2是K2（Ez）中的非扭元．     

关于一个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方程一个的公开问题的肯定回答。     

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