关于丢番图方程x4±y4=zp

研究了丢番图方程（１）ｘ４＋ｙ４＝ｚｐ,（ｘ,ｙ）＝１和（２）ｘ４－ｙ４＝ｚｐ,（ｘ,ｙ）＝１的正整数解,证明了：①当ｐ＝３时,方程（１）和方程（２）均无正整数解;②当ｐ＞３是素数,ｐ±１（ｍｏｄ８）时,方程（１）的正整数解满足２ｐ｜ｘ或２ｐ｜ｙ;③当ｐ＞３是素数时,方程（２）的正整数解满足２ｐ｜ｘ或２ｐ｜ｙ或２ｐ｜ｚ．     

关于Pell方程x~2－2y~2＝1和y~2－Dz~2＝4的公解

本文证明了Ｐｅｌｌ方程ｘ２－２ｙ２＝１和ｙ２－Ｄｚ２＝４，当Ｄ＝２ｐ或２ｐｑ，其中ｐ，ｑ为互异奇素数时有唯一的非平凡解ｘ＝９９，ｙ＝７０，ｚ＝１２（Ｄ＝２ｐ且ｐ＝１７时）。     

关于方程Sx(n)=Sy(3)

对于正整数 ｍ ,ｎ（ ｎ ≥３） ,设 Ｓｍ（ ｎ） 是第 ｍ 个ｎ 角数,本文证明了：当ｎ ＞ ６ 且ｎ － ２ 是平方数时,方程 Ｓｘ（ ｎ） ＝ Ｓｙ（３） 无正整数解（ ｘ ,ｙ） ;当ｎ ＞ ６ ,２ ｎ 且ｎ － ２ 非平方数时,该方程有无穷多组正整数解（ｘ ,ｙ） ．     

关于丢番图方程x^2—Dy^4=1的一些注记

对于丢番图方程ｘ＾２－Ｄｙ＾４＝１（Ｄ〉０且不是平方数），本文得到了如下结论：①当Ｄ＝ｐ是素数，且ｐ≠３，１５（ｍｏｄ１６）时，方程除开Ｄ＝５有解（ｘ，ｙ）＝（９，２）外，无其他的正整数解；②当Ｄ＝ｐ是素数时，方程除开Ｄ＝３有两组解（ｘ，ｙ）＝（２，１），（７，２）外，最多有一组正整数解；③当Ｄ＝４ｐ且奇素数ｐ≠１ｍｏｄ１６）时，方程除开Ｄ＝２０有解（ｘ，ｙ）＝（１６１，６）外，无其他的正整数解；     

关于孪生素数椭圆曲线的联立Pell方程组

设ｐ、ｑ是适合ｐ＋２＝ｑ的奇素数，δ∈｛－１，１　｝。本文证明了：当且仅当ｐ＝３，ｑ＝５，δ＝１时，联立Ｐｅｌｌ方程组ｘ２－ｐｙ２＝δ和ｚ２－ｑｙ２＝δ有整数解（ｘ，ｙ，ｚ）＝（７δ，４δ′，９δ″），其中δ，δ′，δ″∈｛－１，１｝，适合ｙ≠０。     

关于不定方程组x^2—2y^2—1,y^2—Dz^2=4

对于不定方程组ｘ２－２ｙ２＝１,ｙ２－Ｄｚ２＝４,证明了：当Ｄ＝２ｎ（ｎ∈Ｎ）或Ｄ＝６时,它的整数解只有（ｘ,ｙ,ｚ）＝（±３,±２,０）．     

关于几个丢番图方程

本文证明了丢番图方程ｚ＾４－ｐｙ＾４＝及ｘ＾２－ｐｙ＾４＝４（ｐ为奇素数）无正整数解；在Ｄ〉０且不被１０Ｋ＋１形素因数整阶时，方程ｘ＾５－１＝Ｄｙ＾２在ｘ≠（ｍｏｄ２０）时反有正整数解Ｄ＝２，ｚ＝３，ｙ＝１１。     

关于丢番图方程x~3±p~（3n）＝Dy~2

对丢番图方程ｘ３±ｐ３ｎ＝Ｄｙ２，ｐ为给定的奇素数，ｐ＝３或ｐ≡５（ｍｏｄ１２），ｎ为自然数，Ｄ＞０，Ｄ无平方因子且不能被６ｋ＋１形的素数整除，现得到该方程非平凡解的关于ｎ的一个递推算法；并给出了ｐ＝３或５，ｎ＝１，２，３，４的全部非平凡解     

关于Je''''smanowicz猜想的一个注记

本文用初等方法证明了如下结论：设ｓ＝３ｎ，ｎ≡１、３、５（ｍｏｆ８），ｔ≡２（ｍｏｄ４），且ｓ、ｔ均不含有４ｋ＋１形素因子，则Ｄｉｏｐｈａｎｔｕｓ方程（其中ｓ＞ｔ＞０，（ｓ，ｔ）＝１，ｓ＋ｔ≡１（ｍｏｄ２））在ｙ＞１时仅有正整数解ｘ＝ｙ＝ｚ＝２。     

关于不定方程x^4—pqy^2=1

设ｐ、ｑ是不同的奇素数，ｐ≡３（ｍｏｄ４），本文证明了当ｑ＝５或１３时，不定方程ｘ＾４－ｐｑｙ＾２＝１仅在ｐ＝３时有正整数解，其唯一的正整数解为（ｘ，ｙ）＝（２，１）或（ｘ，ｙ）＝（５，４）。根据此结果和已有的大量结果可以确定不定方程ｘ＾４－Ｄｙ＾２＝１在１〈Ｄ〈１００的范围之内的全部正整数解。     

关于Mn(z)中的Goldbach问题

本文解答了一个公开问题：给定任意整数ｐ与ｑ,以及Ｍｎ（ｚ）中矩阵Ａ,是否存在Ｍｎ（ｚ）中矩阵ｘ与ｙ,使得Ａ＝ｘ＋ｙ,且ｄｅｔ（ｘ）＝ｐ,ｄｅｔ（ｙ）＝ｑ？作者的解答是：当ｎ为偶数时,答案是肯定的当且仅当ａ│ｑ－ｐ;当ｎ为奇数时,答案是肯定的当且仅当ａ│ｐ＋ｑ,这里的ａ是Ａ中所有元素的最大公因数。     

关于Je‘smanowica猜想的一个注记

本文用初等方法证明了如下结论：设ｓ＝３ｎ，ｎ≡１、３、５（ｍｏｄ８），ｔ≡２（ｍｏｄ４），且ｓ、ｔ均不含有４ｋ＋１形素因子，则Ｄｉｏｐｈａｎｔｕｓ方程（ｓ＾２－ｔ＾２）＋（２ｓｔ）＾ｙ＝（ｓ＾２＋ｔ＾２）＾２（其中ｓ〉ｔ〉０，（ｓ，ｔ）＝１，ｓ＋ｔ≡１（ｍｏｄ２））在ｙ〉１时仅有正整数解ｘ＝ｙ＝ｚ＝２。     

关于丢番图方程x^3±1=Dy^2

对于丢番图方程（１）ｘ＾３＋１＝Ｄｙ＾２和（２）ｘ＾２－１＝Ｄｙ＾２。本文用静初等方法证明了以下结果：（１）设Ｄ＝２＾α．３．ｐ或２＾α．３，ｐП１，这里ｐ、ｑ均是奇素数，ａ＝０或ｑ－５（ｍｏｄ６）（ｉ＝１，…，ｓ），ｓ＝１或２，则当ｐ∈（７，１３，３１，６１，７３，７９，９７）时方程（１）除开Ｄ＝３．５．９７仅有解（ｘ，ｙ）＝（３１４，５４３）外，无其他的正整数解，而方程（２）除开Ｄ＝３．５．９     

u＋px＋2py＋（2k＋1）pz=n非负整数解的计数公式

以ｃ（ｎ，ｐ，ｋ）表示不定方程ｕ＋ｐｚ＋２ｐｙ＋（２ｋ＋１）ｐｚ＝ｎ的非负整数解（ｕ，ｘ，ｙ，ｚ）的个数，本文给出了ｃ（ｎ，ｐ，ｋ）的公式。     

Erd■s一个猜想的注记

当ｋ≥２，２ｋｎ＋１＝ｑｈ，ｑ≡－１（ｍｏｄ２ｋ），丢番图方程４／ｎ＝ｘ－１十ｙ－１＋ｚ－１有正整数解；当方程中ｎ换以素数Ｐ，则Ｐ存疑的条件是Ｌｅｇｅｎｄｒｅ符号有（Ｐ／３）＝（Ｐ／５）＝（Ｐ／７）＝（Ｐ／１１）＝（Ｐ／１３）＝（Ｐ／１７）＝１．     

丢番图方程x~2＋q~m＝p~n

丢番图方程ｘ￣２＋ｑ￣ｍ＝ｐ￣ｎＮ．Ｔｅｒａｌ著及万会编译１９５６年Ｓｉｅｒｐｉｎｓｋｉ［１］证明了方程３ｘ＋４ｙ＝５ｚ只有正整数解（ｘ，ｙ，ｚ）＝（２，２，２），Ｊｅｓｍａｎｏｗｉｃｚ［２］猜想：如果ａ，ｂ，ｃ满足ａ２＋ｂ２＝ｃ２则方程ａｘ＋ｂｙ＝...     

无平均数集与无模n平均数集

我们称Ｚｎ＝｛０,１,…,ｎ－１｝的一个子集Ｘ是无模ｎ平均数集,如果对于所有｛ｘ,ｙ,ｚ｝Ｘ,ｘ＋ｙ≠２ｚ（ｍｏｄｎ）。我们记ｒ（ｎ）＝ｍａｘ｛｜Ｘ｜｜Ｘ是无模ｎ平均数集｝,Ｒ′（ｎ）＝ｍａｘ｛｜Ｘ｜｜Ｘ是无模ｎ平均数集,且对于所有｛ｘ,ｙ｝Ｘ,２Ｘ≠２ｙ（ｍｏｄｎ）｝。在本文中,我们证明了：当ｎ为奇数时,Ｒ′（ｎ）＝Ｒ（ｎ）,Ｒ（２ｎ）＝２Ｒ（ｎ）;当ｌ≥２ｎ－１时,Ｒ′（ｌ）≥ｒ（ｎ）;当ｌ≥２ｎ－２时,Ｒ（ｌ）≥ｒ（ｎ）;Ｒ′（ｎ）≤Ｒ（ｎ）≤ｒ（ｎ）     

强非退化型在Z／p￣nZ上解的个数公式

设ｐ是一个给定的素数，ｆ（ｘ＿１…，ｘ＿ｋ）∈ｚ＿ｐ［ｘ＿１…，ｘ＿ｋ］，且ｆ（ｘ＿１，…，ｘ＿ｋ）是一个ｄ（ｄ＞０）次强非退化型，这里Ｚ＿ｐ代表ｐ－ａｄｉｃ整数环，设ｃ＿ｎ是模ｐ￣ｎ剩余类环Ｚ／ｐ￣ｎＺ上方程ｆ＝０的解的个数，本文给出ｃ＿ｎ的一个直接公式，这是Ｇｏｌｄｍａｎ有关结果的改进。还证明了ｄ≥ｋ时，ｃ＿Ｒ≡０（ｍｏｄｐ￣（ｎ－１）（ｋ－１）．     

关于不定方程x^4—Dy^2=1的一个注记

设整数Ｄ＞０且不是平方数，本文证明了不定方程ｘ４－Ｄｙ２＝１除开Ｄ＝１７８５，４·１７８５，１６·１７８５时，分别有二组正整数解（ｘ，ｙ）＝（１３，４），（２３９，１３５２）；（ｘ，ｙ）＝（１３，２），（２３９，６７６）；（ｘ，ｙ）＝（１３，１），（２３９，３３８）外，最多只有一组正整数解（ｘ１，ｙ１），且满足ｘ２１＝ｘ０或２ｘ２０－１，这里ｘ０＋ｙ０Ｄ是Ｐｅｌ方程ｘ２－Ｄｙ２＝１的基本解     

关于Pell方程x~2─2y~2＝1与y~2─Dz~2＝4的公解

本文研究Ｐｅｌｌ方程ｘ￣２─２ｙ￣２＝１与ｙ￣２─ＤＺ￣２＝４的公解的问题，完整地证明了当Ｄ无平方因子且至多含三个不同奇素因子时，除开（ｘ，ｙ，ｚ）＝（１７，１２，２）．（Ｄ＝３５）；（ｘ，ｙ，ｚ）＝（１９６０１，１３８６０．２６）．（Ｄ＝２９×４１×２３９）外无其它非平凡解．这个结果加强了Ｍａｈａｎｔｙ￣［１］和陈建华￣［２］的结论．