关于方程ф（x）＝ф（y）

设为Ｅｕｌｅｒ函数，Ｒ．Ｄ．Ｃａｒｍｉｃｈａｅｌ猜想：对每一正整数ｘ，存在不等于ｘ的正整数ｙ，使得作者给出方程的解的结构，利用这种结构得到探求解的算法以及Ｃａｒｍｉｃｈａｅｌ猜想的反例所满足的一些条件，Ａ．Ｓｃｈｉｎｚｅｌ猜想：对每个偶整数ｋ，方程有无穷多解．作者证明：如果存在无穷多个素数ｐ，使２ｐ－１仍为素数，则Ｓｃｈｉｎｚｅｌ猜想成立．     

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

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

Dedekind函数k次方ψ^k（n）的均值估计

设ψ（ｎ）是Ｄｅｄｅｋｉｎｄ函数，给出了ｋ是自然数且ｋ≥２时的ψｋ（ｎ）的算术均值：ｎ≤ｘψｋ（ｎ）＝ｃ０ｘｋ＋１＋Ｏ（（ｘｌｏｇｘ）ｋ（ｌｏｇｌｏｇｘ）ｋ－１２），ｎ≤ｘ１ψｋ（ｎ）＝ｃ１＋ｃ２ｘｋ－１＋Ｏ１ｘｋ（ｌｏｇｘ）ｋ．     

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

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

关于伯努利数结构的讨论（续）

进一步讨论了伯努利数的结构，并利用所得到的结果对居加猜想进行了讨论，得到了：若Ｓｐ－１（ｐ－１）≡－１（ｍｏｌ ｐ）成立，则ｐ是素数或者ｐ＝ｐ１ｐ２．．．ｐｓ为色对伪素数，并且ｐ‖Ｂｐ－１的分母；ｐ／（ｐＢｐ－１＋１）的分子，ｐ／ｐｉ≡１（ｍｏｄ ｐｉ）；Σ１／ｐｉ－１／ｐ是整数。     

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

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

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

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

广义Abel函数方程

本文确定函数方程：ψ（ｘ＋ｙ）＋ｈ（ｘ－ｙ）＝ｐ（ｘ）＋ｑ（ｙ）＋ｇ（ｘｙ）的一般解，其中ψ，ｈ，ｐ，ｑ，ｇ：Ｒ→Ｇ，Ｒ是实数域，Ｇ是一个亚贝尔群。这方程是Ａｂｅｌ函数方程ψ（ｘ＋ｙ）＝ｇ（ｘｙ）＋ｈ（ｘ－ｙ）的一般化。     

关于不定方程y（y＋1）（y＋2）（y＋3）=p^2kx（x＋1）（x＋2）（x＋3）

证明了不定方程ｙ（ｙ＋１）（ｙ＋２）（ｙ＋３）＝ｎｘ（ｘ＋１）（ｘ＋２）（ｘ＋３）在ｎ＝ｐ＾２ｋ（ｐ为质数ｋ为自然数）时无正整数解。     

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

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

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

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

Diophantione方程xd(n)+yd(n)=zφ(n)的本原解

对于正整数ｎ，设ｄ（ｎ）和φ（ｎ）分别是除数的函数和Euler函数，又设ｐ是奇素数.证明了：当ｎ＝１，2，４或ｐ时，方程ｘｄ（ｎ）＋ｙｄ（ｎ）＝ｚφ（ｎ）有无穷多组本原解（ｘ，ｙ，ｚ）；当ｎ≠１，2，４，ｐ或ｐ2时，该方程无本原解（ｘ，ｙ，ｚ）.     

丢番图方程∑（n—1,k=0）（x＋d2k）^r=（x＋d2n）^r

证明了当ｎ，ｘ，ｒ为正整数县ｒ〉３，ｓ为非负整数，（Ⅰ）ｒ为奇数，ｄ２＝４０ｓ＋２，２２．（Ⅱ）ｒ为偶数，ｄ２＝４０ｓ＋１２，ｄ２＝８０ｓ２２，４２ｇｃｄ（ｘ，ｄ２）＝１，丢番图方程∑（ｎ－１，ｋ＝０）（ｘ＋ｄ２ｋ）＾ｒ＝（ｘ＋ｄ２ｎ）＾ｒ无整数解。     

齐次丢番图方程n—1／∑／k=0（x＋gk）^r=（x＋gn）^r

用初等方法证明了：当ｎ，ｘ，ｒ为正整数目ｒ＞３，ｓ为非负整数，ｇ＝８０ｓ＋６，ｇｃｄ（ｘ，ｇ）＝１丢番图方程ｎ－１／∑／ｋ＝０（ｘ＋ｇｋ）＾ｒ＝（ｘ＋ｇｎ）＾ｒ无整数解。     

关于丢番图方程x~3±p~(3n)=Dy~2(Ⅱ)

对于丢番图方程ｘ３±ｐ３ｎ＝Ｄｙ２，Ｄ＞０，Ｄ无平方因子且不能被形如６ｋ＋１的素数整除，作者对素数ｐ≡７，±１（ｍｏｄ１２）三种情况进行了讨论，得到一系列较好的结果．     

Erd■s一个猜想的注记

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

矩阵方程A^m=J的某些解

如果一个（０．ｌ）ｇ－循环矩阵的阶为ｃｋｍ，行和为ｃｋ且其 Ｈａｌｌ多项式被Ｔｃ（ｘ）Ｔｃ（ｘｃｎ）……Ｔｃ（ｘｃ（ｋ－１）ｍ）整除，其中ｍ，ｋ为正整数．ｃ为大于１的整数，Ｔｃ（ｘ）＝１＝ｘ＝……ｘ（ｃ－２），则它满足方程Ａｍ＝Ｊ，称之为这个方程的（ｃ，ｋ）－型解。本文用归纳法给出了某些（ｃ，ｘ）一型解的构造，并通过计算（ｃ，ｋ）－型解的秩．证明了方程Ａｍ＝Ｊ的不同型的解是不同构。最后，证明了方程Ａｍ＝Ｊ的所有（ｃ，１）－型解部是同构的．     

关于一类丢番图方程x~3±（2~（2k－1））~3＝Dy~2

研究了一类丢番图方程ｘ~３±（２~（２ｋ－１））~３＝Ｄｙ~２．给出了无非平凡整数解的充分性条件以及非平凡整数解的个数与求法。     

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

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

丢番图方程sum from k＝0 to n－1 of （x＋d_2k）~r＝（x＋d_2n）~r

证明了当ｎ，ｘ，ｒ为正整数且ｒ＞３，ｓ为非负整数，（Ⅰ）ｒ为奇数，ｄ２＝４０ｓ＋２，２２．（Ⅱ）ｒ为偶数，ｄ２＝４０ｓ＋１２，ｄ２＝８０ｓ＋２２，４２ｇｃｄ（ｘ，ｄ２）＝１，丢番图方程∑ｎ－１ｋ＝０（ｘ＋ｄ２ｋ）ｒ＝（ｘ＋ｄ２ｎ）ｒ无整数解