有限单群中一类丢番图方程

§ 1.Ｉｎｔｒｏｄｕｃｔｉｏｎ　ＬｅｔＮ ,Ｎ0 ,ＱａｎｄＰｂｅｔｈｅｓｅｔｓｏｆｐｏｓｉｔｉｖｅｉｎｔｅｇｅｒｓ,ｎｏｎ ｎｅｇａｔｉｖｅｉｎｔｅｇｅｒｓ,ｒａｔｉｏｎａｌｎｕｍｂｅｒｓａｎｄｐｒｉｍｅｎｕｍｂｅｒｓｒｅｓｐｅｃｔｉｖｅｌｙ .Ｌｅｔ ｐ ,ｑ∈Ｐｗｉｔｈ ｐ≠ ｑ.ＴｈｅＤｉｏｐｈａｎｔｉｎｅｅｑｕａｔｉｏｎ1 +ｐａ =2 ｂｑｃ+2 ｄｐｅｑｆ,　　ａ ,ｂ,ｃ,ｄ ,ｅ,ｆ∈Ｎ0 (1 )ｉｓａｋｉｎｄｏｆｉｍｐｏｒｔａｎｔｅｘｐｏｎｅｎｔｉａｌＤｉｏｐｈａｎｔｉｎｅｅｑｕａｔｉｏｎｓｉｎｆｉｎｉｔｅｓｉｍ…     

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

关于方程xy+yz+zx=n的正整数解

本文在广义Ｒｉｅｍａｎｎ猜想成立的条件下证明了：当且仅当正整数ｎ＝１，２，４，６，１０，１８，２２，３０，４２，５８，７０，７８，１０２，１３０，１９０，２１０，３３０，４６２时，方程ｘｙ＋ｙｚ＋ｚｘ＝ｎ无正整数解（ｘ，ｙ，ｚ）．     

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

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

丢番图方程aX~4-bY~2=1

应用Thue-Siegel方法,我们证明:对任意正整数a,b,不定方程aX~4-bY~2=1至多只有两组正整数解(X,Y),这证实了Walsh提的一个猜测.     

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

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

指数丢番图方程a~x+b~y=c~z

设a=|m(m~4-10m~2+5)|,b=5m~4-10m~2+1,c=m~2+1,其中m是正偶数。利用Bilu,Hanrot和Voutier关于本原素除子的深刻结果,证明了指数丢番图方程a~x+b~y=c~z仅有正整数解(x,y,z)=(2,2,5)。     

关于方程xy yz zx=n的正整数解

本文用Ｓｉｅｇｅｌ－Ｔａｔｕｚａｗａ定理证明了当ｎ２．５×１０１０时，至多有一个正整数ｎ，使方程ｘｙ＋ｙｚ＋ｚｘ＝ｎ无正整数解（ｘ，ｙ，ｚ）．     

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

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

丢番图方程x~2+By~(2p)=z~3

设p≥11为素数,对于某些形式的整数B,我们给出了方程x~2+By~(2p)=z~3满足xyz≠0且x,y,z两两互素的所有整数解.     

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

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

关于指数丢番图方程的Hugh Edgar问题

§1 Hall在组合数学的T型差集讨论中,提出了求解Diophantus方程p~m-q~n=2,m>1,n>1(p,g是素数) (1)的问题.后来,Hugh Edgar提出了更为一般的问题,即对给定的素数p,q和整数h,求方程     

关于丢番图方程$x^y+y^x=z^z$

利用$p$-adic对数线性型估计, 证明了方程x^y+y^x=z^z满足x,y,z均大于1的整数解(x,y,z)必然两两互素且有z<2.8*10^9.     

关于丢番图方程x~p-y~p=z~2

Terjanian在1977年曾经证明不定方程 p是奇素数 (1)如果有整数解,则2p|x或2p|y。 本文证明了以下结果: 1. 设y=2(mod 4),则不定方程 x~p-y~p=z~2,(x,y)=1,p>3是素数 (2)没有整数解。 2. 设y=4(mod 8),则(2)没有整数解。 3. 如果(1)有整数解,p>3,则8p|x或8p|y。这是Terjanian的结果的改进。     

关于丢番图方程X~3±1=1267y~2的整数解

关于丢番图方程x³±1=1267y3±1=1267y²的初等解法至今仍未解决.主要利用递归序列、同余式、平方剩余、Pell方程的解的性质、Maple小程序,证明了丢番图方程x2的初等解法至今仍未解决.主要利用递归序列、同余式、平方剩余、Pell方程的解的性质、Maple小程序,证明了丢番图方程x³-1=1267y3-1=1267y²有整数解(x,y)=(1,0),(60817,±421356),而丢番图方程x2有整数解(x,y)=(1,0),(60817,±421356),而丢番图方程x³+1=1267y3+1=1267y²仅有整数解(x,y)=(-1,0).     

丢番图方程与实二次域类数的可除性

设ｄ无平方因子，ｈ（ｄ）是二次域的类数。本文证明了：在方程Ｕ￣２－ｄＶ￣２＝４，（Ｕ，Ｖ）＝１有整数解时，丢番图方程４ｘ￣（２ｎ）－ｄｙ￣２＝－１，ｎ＞２无｜ｙ｜＞１的整数解；如果正整数ａ，ｋ，ｎ满足，ｋ＞１，ｎ＞２且而是Ｐｅｌｌ方程ｘ￣２－ｄｙ￣２＝－１的基本解，则ｈ（ｄ）≡０（ｍｏｄｎ）。     

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

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

关于丢番图方程x￣2+D=y￣n

本文运用Ｂａｋｅｒ方法证明了：当Ｄ＝６７时，方程ｘ２＋Ｄ＝ｙｎ，ｘ，ｙ，ｎ∈Ｎ，ｎ＞２，仅有解（ｘ，ｙ，ｎ）＝（１１０，２３，３）；当Ｄ＝４３或１６３时，该方程无解