具有四项的指数丢番图方程(Ⅲ)

根据定理 １,２和 ３;求任何一个方程 ａ~ｘ－ｂ~ｙ＝ｎ,ａ~ｘｂ~ｙ±ａ~ｚ±ｂ~ｗ±１＝０ 或ａ~ｘ±ｂ~ｙ±ａ~ｚ±ｂ~ｗ＝０（ｘ,ｙ,ｚ,ｗ∈≥０）的解都是很简单的,此处ａ,ｂ是适合 ２ ≤５ ａ,ｂ≤５０的互素的两个整数,ｎ是适合１≤ｎ≤８００００的整数．     

具有四项的指数丢番图方程(Ⅱ)

本文中，我们给出了丢番图方程的解ｘ，ｙ，ｚ，ｗ的上界，其中ｐ，ｑ是给定的互素的正整数，ａ，ｂ，ｃ，ｄ是给定的适合ａｂｅｄ≠０的整数，此外，我们将指出在具体情形下如何把上界降低到方程允许的实际的解．最后，我们将用这个方法来解方程１９．５ｘ·１７ｙ＝１２．５ｚ＋４１．１７ｗ＋１４， ５． ３ｘ· １３ｙ ＋ ２０＝ ７． ３ｚ ＋ １４． １３ｗ和 １３· ２ｘ＋ ５· ３ｙ＝ ２５． ２ｚ＋ １１． ３ｗ．     

具有四项的指数丢番图方程(Ⅱ)

本文中，我们给出了丢番图方程的解ｘ，ｙ，ｚ，ｗ的上界，其中ｐ，ｑ是给定的互素的正整数，ａ，ｂ，ｃ，ｄ是给定的适合ａｂｅｄ≠０的整数，此外，我们将指出在具体情形下如何把上界降低到方程允许的实际的解．最后，我们将用这个方法来解方程１９．５ｘ·１７ｙ＝１２．５ｚ＋４１．１７ｗ＋１４， ５． ３ｘ· １３ｙ ＋ ２０＝ ７． ３ｚ ＋ １４． １３ｗ和 １３· ２ｘ＋ ５· ３ｙ＝ ２５． ２ｚ＋ １１． ３ｗ．     

n元一次不定方程通解的特征及应用

ｎ元一次不定方程通解的特征及应用叶萍恺（浙江省少数民族师范学校３２３０００）ｎ元一次不定方程ｂ１ｘ１＋ｂ１ｘ２＋…＋ｂｎｘｎ＝ｄ＝１（１）（其中。２２，ｈｉ，６２，…，ｂ。都是非零整数，且（ｈｉ，ｂＺ，…，ｂ。）＝１，ｄ是整数，在此先考虑ｄ—１的情形...     

The Pell Equations x^2—8y^2=1 and y2—Dz^2=1

ＯｎｔｈｅＰｅｌｌｅｑｕａｔｉｏｎｓｘ２－８ｙ２＝１,　ｙ２－Ｄｚ２＝１（１）ｗｈｅｒｅＤ＞０ｉｓａｓｑｕａｒｅ－ｆｒｅｅｉｎｔｅｇｅｒ．ＣａｏＺｈｅｎｆｕ［１］ｓｈｏｗｅｄｔｈａｔｉｆＤ＝∏ｓｉ＝１Ｐｉ≡１（ｍｏｄ４）ｏｒＤ＝２∏Ｐｉ,１≤ｓ≤４,ｔｈｅｎｔｈｅｅｑｕａｔｉｏｎ（１）ｈａｓｎｏｌｙｐｏｓｉｔｉｖｅｉｎｔｅｇｅｒｓｏｌｕｔｉｏｎｚ＝６（Ｄ＝２·１７）．ＣｈｅｎｇＪｉａｎｈｕａ［２］ｓｈｏｗｅｄｔｈａｔｉｓＤ＝∏ｓｉ＝１Ｐｉ　１≤ｓ≤２,ｔｈｅｎｔｈｅｅｑｕａｔｉｏｎ（１）ｈａｓｏ…     

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

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

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

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

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

本文用 Ｓｉｅｇｅｌ－Ｔａｔｕｚａｗａ定理证明了：当ｎ＞１．２×１０~１１时,至多有两个正 整数ｎ。使方程ｘｕ＋ｙｚ＋ｚｘ＝ｎ无适合（ｘ,ｙ,ｚ）＝１且０＜ｘ＜ｙ＜ｚ的解（ｘ,ｙ,ｚ）, 并给出类数为２的二次域与多项式表素数的一个结果．     

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

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

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

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

不定方程6y^2=x（x＋1）（2x＋1）的解的简洁初等证明

不定方程６ｙ￣２＝ｘ（ｘ＋１）（２ｘ＋１）的解的简洁初等证明汉江机床厂何宗友１８７５年卡斯（Ｌｕｃａｓ）问不定方程或是否仅有非平凡解ｘ＝２４，ｙ＝７０．１９１９年沃森（Ｗａｔｓｏｎ）、１９５２年琼格伦（Ｌｊｕｎｇｇｒｅｎ）分别利用椭圆函数与二次域理论...     

Bowen猜想的推广形式

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

一类不定方程恒有正整数解的几个判别法则

一类不定方程恒有正整数解的几个判别法则邱天绪，树华（老河口师专４４１８００）《数学通讯》１９９５年第１期，在问题征解栏中，有如下一道数学征解题：“证明对于任意自然数ｎ，方程ｘ２＋２ｙ２＝１７ｎ（Ⅰ）恒有整数解．作者发现此不定方程尚可进一步的推广．本文...     

例说用比例性质解代数题

一、求值例１已知ｘｙ＋ｚ＝ａ,ｙｚ＋ｘ＝ｂ,ｚｘ＋ｙ＝ｃ,求ａ１＋ａ＋ｂ１＋ｂ＋ｃ１＋ｃ的值．解由已知可推出ｘ＋ｙ＋ｚ≠０,由合比定理有ｘｘ＋ｙ＋ｚ＝ａ１＋ａ,ｙｘ＋ｙ＋ｚ＝ｂ１＋ｂ,ｚｘ＋ｙ＋ｚ＝ｃ１＋ｃ∴ａ１＋ａ＋ｂ１＋ｂ＋ｃ１＋ｃ＝１例２已知ｍ...     

关于Thue方程的解数

设ｍ是正整数，ｆ（Ｘ，Ｙ）＝ａ０Ｘｎ＋ａ１Ｘ（ｎ－１）Ｙ＋．．．＋ａｎＹｎ∈Ｚ［Ｘ，Ｙ］是Ｑ上不可约化的叫ｎ（ｎ≥３）次齐次多项式。本文证明了：当ｇｃｄ（ｍ，ａ０）＝１，ｎ≥４００且ｍ≥１０（３５）时，方程｜ｆ（ｘ，ｙ）｜＝ｍ，ｘ，ｙ∈ｚ，ｇｃｄ（ｘ，ｙ）＝１，至多有６ｎｖ（ｍ）组解（ｘ，ｙ），其中ｖ（ｍ）是同余式Ｆ（ｚ）＝ｆ（ｚ，１）≡０（ｍｏｄｍ）的解数。特别是当ｇｃｄ（ｍ，ＤＦ）＝１时，该方程至多有６ｎ（ω（ｍ）＋１）组解（ｘ，ｙ），其中ＤＦ是多项式Ｆ的判别式，ω（ｍ）是ｍ的不同素因数的个数．     

关于广义Thue－Mahler方程的解数

设ａ，ｂ是非零整数，ｐ１，…，ｐｒ是不同的素数，Ｐ＝｛±｜ｍ１，…，ｍｒ是非负整数｝．设Ｋ是ｎ（ｎ≥３）次代数数域，α１，…，αｍ∈ｋ（１＜ｍ＜ｎ），△（α１，…，αｍ）是α１，…，αｍ的判别式，ｆ（ｘ１，…，ｘｍ）＝αＮｋ／Ｑ（α１ｘ１＋…＋αｍｘｍ）∈ｚ［ｘ１，…，ｘｍ］．本文证明了：当ｆ（ｘ１，…，ｘｍ）非退化且Ｐｉ△（α１，…，αｍ）（ｉ＝１，…，ｒ）时，方程ｆ（ｘ１，…，ｘｍ）＝ｂｙ，ｘ１，…，ｘｍ∈ｚ，ｇｃｄ（ｘ１，…，ｘｍ）＝１，ｙ∈Ｐ至多有（４Ｓｄ２）（Ｓｄ）组解（ｘ１，…，ｘｍ，ｙ），其中ｄ＝ｎ！，Ｓ＝ｒ＋ω是ｂ的不同素因数的个数，ｈＡ是Ｋ的类数．     

关于方程组x^2—2y^2=—1和y^2—Dz^2=1：兼推出方程x^4—Dy^2=1的若干结果

关于方程组ｘ２－２ｙ２＝－１和ｙ２－Ｄｚ２＝１——兼推出方程ｘ４－Ｄｙ２＝１的若干结果王林（中国银行铜川支行７２７０００）有关二次丢番图方程组，Ｌｊｕｎｇｇｒｅｎ，Ｂａｋｅｒ，Ｋａｎｇａｓａｂａｐａｔｈｙ，Ｄａｖｅｎｐｏｒｔ，Ｐｏｎ－ｎｕｄｕｒａｉ［...     

一类有关虚二次域理想类群的指数丢番图方程

设Ｄ１、Ｄ２是适合Ｄ１≥１，Ｄ２〉１，ｇｃｄ（Ｄ１，Ｄ２）＝１的无平方因子正整数，ＩＫ是虚二次域Ｋ＝Ｑ（√－Ｄ１Ｄ２）的理想类群。本文证明了：如果存在正整数ａ、ｂ、ｋ以及奇素数ｐ，可使Ｄ１ａ＾２＋Ｄ２ｂ＾２＝ｋ＾ｐ，ｇｃｄ（ａ，ｂ）＝１，ｂ∈Ｎｐ，２├ｋ，其中Ｎｐ是所有不含２ｔｐ±１之形素因数的正整数的集合，则当ｐ〉５且ｍａｘ（Ｄ１，Ｄ２）≥１０＾１０＾１９７时，ＩＫ必有ｐ阶循环子群。     

费尔马最后定理的证明

（ｉ）我们用（ｘ－ｂ）ｎ＋ｘｎ＝（ｘ＋ａ）来代替ｘｎ＋ｙｎ＝ｚｎ作为费尔马最后定理（ＦＬＴ）的普遍方程式．其中ａ及ｂ是两个任意自然数．应用二项展开式，（０．１）可以写成因为ａｒ－（－ｂ）ｒ始终包含ａ＋ｂ作为它的因数，（０．２）可写成其中фｒ＝［ａｒ－（－ｂ）ｒ］／（ａ＋ｂ）对于ｒ＝１，２，…，ｎ．都是个整数．（ｉｉ）令ｓ是ａ＋ｂ的一个因数，并令ａ＋ｂ＝ｓｃ．我们可用ｘ＝ｓｙ来变换（０．３）成为下列（０．４）（ｉｉｉ）将（０．４）除以Ｓ２，我们得（０．５）式的左边，是的整系数多项式，而右边ｃф／ｓ是个常数Ｃф／ｓ．若Ｃф／ｓ不是个整数，那末我们不能求得能适合（０．５）的整数ｙ，这样ＦＬＴ对这场合是对问．若Ｃфｎ／ｓ是个整数，我们可以改变ｓ和ｃ，使ｃф／ｓ≠整数。     

关于丢番图方程x^m—1／x—1=y^n的一个注记

本文得到了Ｓｈｏｒｅｙ和Ｔｉｊｄｅｍａｎ关于不定方程ｘ＾ｍ－１／ｘ－１＝ｙ＾ｎ的一个猜想的一个结果，并且基本上解决了Ｅｄｇａｒ的关于上述不定方程的一个猜想。