关于方程ax+by=cz的Terai-Jesmanowicz猜想

设m是正整数,证明了(A)如果b是奇素数,且a=m3-3m,b=3m2-1,c=m2+1,那么丢番图方程ax+by=cz(1)仅有正整数解(x,y,z)=(2,2,3);(B)如果b是奇素数,且a=m|m4-10m2+5|,b=5m4-10m2+1,c=m2+1,那么丢番图方程(1)仅有正整数解(x,y,z)=(2,2,5).     

关于方程ax+by=cz的Terai-Jesmanowicz猜想

设m是正整数,证明了:(A)如果b是奇素数,且a=m3-3m,b=3m2-1,c=m2+1,那么丢番图方程ax+by=cz(1)仅有正整数解(x,y,z)=(2,2,3);(B)如果b是奇素数,且a=m|m4-10m2+5|,b=5m4-10m2+1,c=m2+1,那么丢番图方程(1)仅有正整数解(x,y,z)=(2,2,5).     

关于方程a~x b~y=c~z的Terai-Jemanowicz猜想

设ｍ是正整数,证明了：（Ａ）如果ｂ是奇素数,且ａ＝ｍ３－３ｍ,ｂ＝３ｍ２－１,ｃ＝ｍ２＋１, 那么丢番图方程 ａｘ＋ ｂｙ＝ｃｚ（１）仅有正整数解（ｘ,ｙ,ｚ）＝（２,２,３）;（Ｂ）如果ｂ是奇素数,且 ａ＝ｍ｜ｍ４－１０ｍ２＋５｜,ｂ＝５ｍ４－１０ｍ２＋５｜,ｂ＝ ５ｍ４－１０ｍ２＋１, ｃ＝ｍ２＋ １,那么丢番图方程（１）仅有正整数解 （ｘ,ｙ,ｚ）＝（２,２,５）．     

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

数论中作为勾股定理的推广曾讨论过方程x2 +y2 =z2 +w2 ( 1 )的整数解 (如文 [1 ]、[2 ]) ,文 [2 ]得到了方程 ( 1 )满足 ( x,y,z,w) =1的全部整数解的一组公式 ,但表达式不够简洁。本文将其推广 ,考虑更一般的这类四元二次丢番都方程ax2 +by2 =cz2 +dw2 ( 2 )其中 a,b,c,d均为正整数 ,( a,b,c,d) =1。当知道它的一组不全为零的整数解时 ,来导出它满足 ( x,y,z,w) =1的全部整数解的公式。按所设 ,显然 z,w不会全为 0 ,不妨设 w≠ 0 ,从而方程 ( 2 )可变为a( xw) 2 +b( yw) 2 -c( zw) 2 =d令 X=x/ w,Y=y/ w,Z=z/ w,得a X2 +b Y2 -c Z2 =d …     

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

关于Goormaghtigh方程(x~3-1)/(x-1)=(y~n-1)/(y-1)

本文证明了：Ｇｏｏｒｍａｇｈｔｉｇｈ方程适合的例外解（ｘ，ｙ，ｎ），满足以及     

一个素变数丢番图不等式

本文证明了如果1相似文献   

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

Lucas序列中的平方类

设Un(a,b)与Vn(a,b)表示参数为a和b的Lucas序列,我们找出了α为偶数, b=±1的Lucas序列的所有非平凡的平方类．     

费尔马大定理终于被证明了

1993年6月23日,美国普林斯顿大学教授、英国数学家安德鲁·外尔斯(Andrew Wiles)在英国剑桥牛顿数学研究所里所作的题为“椭圆曲线,模形式和伽罗瓦表示”的讲演中宣告,谷山猜想对于半稳定的椭圆曲线来说成立。在场的多数听众立刻意识到,困扰数学界长达三百多年的著名数学问题—费尔马大定理终于得到证明! 费尔马大定理有着悠久的历史。我国和希腊古代就已经知道这样一个事实:一个直角三角形的两个直角边的平方和等于斜边的平方。这就是大家熟知的勾股定理或毕达哥拉斯定理。用方程的形式写     

丢番图方程|(εn-ε-n)/(ε-ε-)|=1的解数

设a、b、c、k是适合a+b=ck,gcd(a,b)=1,c∈{1,2,4},k＞1且k在c=1或2时为奇数的正整数;又设ε=(()a+()-b)/()c,ε=(()n-()-b)/()c.本文证明了当(a,b,c,k)≠(1,7,4,2)或(3,5,4,2)时,至多有1个大于1的正奇数n适合|(εn-εn)/(ε-ε)|=1,而且如此的n必为满足n＜1+(2logn)/logk+2563.43(1+(21.96π)/logk)的奇素数.     

关于指数丢番图方程$x^2+(3a^2-1)^m=(4a^2-1)^n$

应用Bilu,Hanrot和Voutier关于本原素因子的深刻结果以及二次丢番图方程解的表示的一些精细结果,完全解决了指数型丢番图方程x2 (3a2-1)m=(4a2-1)n当3a2-1是奇素数或奇素数幂时的求解问题．     

Bowen猜想的推广形式

用初等方法证明了：当ｎ，ｒ为正整数且ｒ〉１，ｓ≥０整数，δ＝１０ｓ＋１，丢番图方程Σ↑ｎ－１↓ｋ＝０（１＋δｋ）＾ｒ＝（１＋δｎ）＾ｒ无整数解。     

关于丢番图方程（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）的特殊情形,证明了该猜想是正确的．     

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

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

丢番图方程(an)^(x)+(bn)^(y)=(cn)^(z)

设a,b,c,n均是大于1的整数且a+b=c^(2),gcd(a,b,c)=1.得到了一些关于丢番图方程(an)^(x)+(bn)^(y)=(cn)^(z)正整数解(x,y,z)的结论.     

关于丢番图方程（195n）^x＋（2Sn）^y=（197n）^z

运用同余及元素阶的性质,证明了对任意的正整数n,丢番图方程（195n）^x＋（2Sn）^y=（197n）^z仅有正整数解（x,y,Z）=（2,2,2）．     

关于丢番图逼近中的一个猜想(Ⅰ)

对猜想:对于任给的n个正整数 a_1,a_2,…,a_n,总存在一个实数 x,使得‖a_ix‖≥1/(n+1),i=1,2,…,n,成立,我们给出如下更一般的猜想:对于任给的 n 个正数 a_1,a_2,…,a_n,总存在n个整数 k_1,k_2,…,k_n,使得a_ik_j-a_jk_i≤n/(n+1)a_j-1/(n+1)a_i,对任给的i,j∈{1,2,…,n}成立、并且对更一般的猜想作了一些研究,给出了n=2,3 时的证明,其方法较以前完全不同.     

关于指数型丢番图方程的整数解

本文简要地介绍了有关Ｓ－单位方程、Ｒａｍａｎｕｊａｎ－Ｎａｇｅｌｌ方程、Ｔｈｕｅ－Ｍａｈｌｅｒ方程、ＬｅＶｅｑｕｅ方程、Ｃａｔａｌａｎ方程、Ｐｉｌｌａｉ方程等指数型丢番图方程整数解的最新结果。这些结果大多是用Ｔｈｕｅ－Ｓｉｅｇｌｅ－Ｒｏｔｈ－Ｓｃｈｍｉｄｔ方法和Ｇｅｌ’ｆｏｎｄ－Ｂａｋｅｒ方法得到的。