也谈实二次域类数的可除性

设ｄ无平方因子，ｈ（ｄ）是二次域Ｑ（ｄ）的类数，本文证明了：若１＋４ｋ２ｎ＝ｄａ２，ａ，ｋ＞１，ｎ＞２为正整数，且ａ＜０．９ｋ３５ｎ或ｎ的奇素因子ｐ和ｋ的素因子ｑ均适合（ｐ，ｑ－１）＝１，则除（ａ，ｄ，ｋ，ｎ）＝（５，４１，２，４）以外，ｈ（ｄ）≡０（ｍｏｄｎ）．同时，我们猜测：上述结果中的条件（ｐ，ｑ－１）＝１是不必要的．     

两个不等式的简捷证法

下面给出的两类不等式问题,一般是通过代换的方法证明．本文给出直接简捷的证明．命题１　设ｘｉ∈Ｒ＋（ｉ＝１,２,…,ｎ）且ｘ２１１＋ｘ２１＋ｘ２２１＋ｘ２２＋…＋ｘ２ｎ１＋ｘ２ｎ＝ａ（０＜ａ＜ｎ）,求证：ｘ１１＋ｘ２＋ｘ２２１＋ｘ２２＋…＋ｘ２ｎ１＋ｘ２ｎ≤ａ（ｎ－ａ）①证　由题设易知：１１＋ｘ２１＋１１＋ｘ２２＋…＋１１＋ｘ２ｎ＝ｎ－ａ．由于　１１＋ｘ２ｋ＋ｎ－ａａ·ｘ２ｋ１＋ｘ２ｋ　　≥２１１＋ｘ２ｋ·ｎ－ａａ·ｘ２ｋ１＋ｋ２ｋ　　＝２ｎ－ａａ·ｘｋ１＋ｘ２ｋ）（ｋ＝１,２,…,ｎ）,此ｎ式相…     

自然数分数幂数列近似求和初探

自然数方幂求和问题：即Ｓｐ＝１ｐ＋２ｐ＋…＋ｎｐ求和,两千多年来,为人们关注和熟知．三百多年前,贝努利用二项式定理及递归方法,对每个自然数ｐ,可逐个求出Ｓｐ．今天,Ｓｐ的求法仍在不断被改进、创新．这在许多著作及刊物中均可找到．我们知道：ｐ＜－１时,Ｓｐ收敛．例如熟知　ｌｉｍｎ→∞（１１２＋１２２＋…＋１ｎ２）＝π２６．当ｐ≥－１时,Ｓｐ发散．（ｐ＝－１时Ｓｐ＝１１＋１２＋…＋１ｎ,即调和级数,可用递归型公式求和）．当ｐ为非负整数时,熟知Ｓ０＝ｎ,Ｓ１＝ｎ（ｎ＋１）２,Ｓ２＝１６ｎ（ｎ＋１）（２ｎ…     

一般对角同余式的解的个数

设Ｐ为素数,ｎ,ｒ以及１ｌ２…,ｌｒ均为正整数,ａ１,ａ２,…,ａｒ及ｂ均为整数,诸ａｉ,ｌｉ均与ｐ互素．本文给出一般对角同余式ａ１ｘ１ｌ１＋ａ２ｘ２ｌ２＋…＋ａｒｘｒｌｒ＝ｂ（ｍｏｄｐｎ）的解数公式．     

因子分解的故事（续）

４　因子分解和解析数论我们再简单介绍一下解析数论,它的起源可以上溯到欧拉对无限求和以及无穷乘积的收敛性研究;每个学过微积分的人都知道,当ｓ是大于１的实数时,级数ζ（ｓ）＝１＋１２ｓ＋１３ｓ＋…＋１ｎｓ＋…＝∑∞ｎ＝１ｎ－ｓ是收敛的,而ｓ＝１时,此级数发散（即其和１＋１２＋１３＋…＋１ｎ＋…为正无穷大）;对于ｓ＞１,欧拉于１７３７年把这个级数写成无穷乘积的形式：∑∞１ｎ－ｓ＝Πｐ１１－ｐ－ｓ＝Πｐ１＋１ｐｓ＋１ｐ２ｓ＋…＋１ｐｍｓ＋…,其中ｐ过所有素数,这个等式的正确性是基于算术基本定理：将上式右…     

“mp2型“伪素数的性质与存在

定义 若ｎ是合数,且２ｎ－１＝１（ｍｏｄ ｎ）,则称ｎ是伪素数． 文［１］证得 １０９３２及 ３５１１２这两个数是伪素数,从而否定了陈历功等提出的“伪素数不含平方数因数”的猜想．记ｐ是奇素数,ｍＮ,本文将讨论“ｍＰ２型”伪素数的性质与存在的实例．先引入以下的 引理［２］设使同余式：２ｒ＝１（ｍｏｄ ｍ）成立的最小正整数为ｒ,则 ２ａ＝１（ｍｏｄ ｍ）的充要条件是ｒ（注引理即文［２］第七章定理１的推过２） 定理１ 设ｐ是奇素数,如果ｎ是含有因数Ｐ２的伪素数,则Ｐ２是伪素数． 证明 记ｎ＝ｍｐ２（ｍ Ｎ）,则由伪…     

关于n—可解群与n—幂零群的两个结果

本文证明了下面主要结果：设Ｇ是ｎ－可解群，π是一些素数之集，若对任意ｐ∈∩π（Ｇ），（ｐ，ｎ（１－ｎ））＝１，则Ｇ的π－Ｈａｌｌ子群的个数ｒ＝ｋ１ｋ２．．．ｋｔ，每ｋｉ≡１（ｍｏｄｐ），某Ｐ∈π，且每ｋｉ整除Ｇ的一个主因子。     

带核集分划问题的一个线性1／7近似算法

设有整数集Ｓ＝｛ｒ１，ｒ２；ｐ１，ｐ２，…，ｐｎ｝，这里ｒｉ≥０，ｐｊ＞０（ｉ＝１，２；ｊ＝１，２，…，ｎ），寻找一个Ｓ的最优分划Ｐ＝（Ｓ＊１，Ｓ＊２）使得：（１）ｒｉ属于不同子集，（２）Ｓ＊１与Ｓ＊２中元素总和较大者尽可能地小．这是一个ＮＰ－完备问题，本文给出一个线性时间近似算法，它的近似界为８７．     

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

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

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

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

数学问题解答

１１６６１９９８年１２月号问题解答（解答由问题提供人给出）１．对任意自然数ｎ,试证：１２＋２２＋３２＋…＋ｎ２＜２证明构造数列｛ａｎ｝：ａ０＝２,ａ１＝ａ２０－１２,ａ２＝ａ２１－２２,…,ａｎ＝ａ２ｎ－１－ｎ２．下面数学归纳法证明：ａｎ＞ｎ２．显然...     

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

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

GL(n,Z)中的局部有限子群的一点注记

证明了：若Ｇ是一般线性群ＧＬ（ｎ,Ｚ）中的局部有限子群,则Ｇ含有一个２~ｍ阶的初等阿贝尔２－子群,且 Ｇ同构于 ＧＬ（ｎ,Ｚ_ｐ）的一个子群,其中户为任意奇素数．当 ｎ＝１,２,３,４时,Ｇ的阶分别是 ２,３· ２~ｋ（ｋ＝ｍｉｎ（４,ｍ＋１）,０≤ｍ≤４）,３·２~ｋ（ｋ＝ｍｉｎ｛５,ｍ＋１｝,０≤ｍ≤５）,３~２·５·２~ｋ（ｋ＝ｍｉｎ｛９,ｍ＋６｝,０≤ｍ≤９）的一个因子,而当ｎ≥５时,Ｇ的阶是（ｐ~ｉ－１）的一个因子,其中ｐ为任意素数．     

关于“天平”数列的构造——梅齐里亚克问题研究

法国数学家梅齐里亚克１６２４年出版的《组合数学游戏》一书中,有一则问题：一个商人有一个４０磅的砝码,由于跌落在地面而碎成４块．后来,称得每块碎片都恰是整数磅,并可用这４块来称从１到４０磅之间的任意整数磅的重物．问各块碎片的重量．提供的解法是：例如有一系列砝码Ａ、Ｂ、Ｃ,…把它们适当地分放在天平两个托盘上,能称出１至ｎ所有整数磅重物．设有一块砝码,它的重量ｐ（磅）超过原有砝码的总和,其超过量为ｎ＋１磅,即　ｐ－ｎ＝ｎ＋１,则　ｐ＝２ｎ＋１,那么,原来所有砝码,再加ｐ所组成的砝码组,便能称出从１到ｐ…     

谈谈质数

自然数是指　１,２,３,…之一;整数则是指　…,－２,－１,０,１,２,…之一;自然数即正整数;二整数间可以定义和、差、乘运算,其结果仍为整数,即“整数集合对加、减、乘运算是自封的”;定理１（欧氏除法）：任二整数ａ及ｂ（＞０）,必有整数ｑ及ｒ满足　ａ＝ｂｑ＋ｒ,　　０≤ｒ＜ｂ若在上式中ｒ＝０,即ａ＝ｂｑ,则称ａ为ｂ之倍数,或ｂ为ａ之因数,记为ｂ｜ａ．否则记为ｂｘａ．自然数可以分成三类：１：只有自然数１为其因数;ｐ：恰有１与ｐ为其因数,这种数称之为质数;ｎ：除１与ｎ之外,还有一个因数,这种数称为复…     

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

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

第53届数学竞赛试题及解答

第５３届数学竞赛试题及解答王莲芬（中国人民大学１００８７２）问题Ａ—１证明定义域是整数且满足条件（ⅰ）ｆ（ｆ（ｎ）＝ｎ（对一切整数ｎ）；（ⅱ）ｆ（ｆ（ｎ＋２）＋２）＝ｎ（对一切整数ｎ）；（ⅲ）ｆ（０）＝１的整值函数的唯一解是ｆ（ｎ）＝１—ｎ．Ａ—２定...     

关于Andrew Granvill问题的推广

设是一个整数，对任一０＜α＜ｎ且（ａ，ｎ）＝１，显然存在唯一的整数０＜α＜ｎ－１使得αα≡１（ｍｏｄｎ）．本文的主要目的是研究差式｜α－α｜在算术级数中的分布性质，并给出一个有趣的渐近公式．     

图的色因子分解

设 ｎ１ ≥ ｎ ２ ≥ … ≥ ｎｋ ≥ ２ 是整数． 若图 Ｇ 能边分解成 Ｇ１  Ｇ２  …  Ｇｋ , 这里 χ（ Ｇｉ） ＝ ｎ ｉ, ｉ＝１,２,…,ｋ ,则称 Ｇ 有（ｎ１ , ｎ２ , …, ｎｋ ）色因子 分解． 本文改进 了 Ｈａｋｉｍ ｉ和 Ｓｃｈｍ ｅｉｃｈ ｅｌ 关于图的色因 子分解的结果,作为推 论,推广了 Ｍ ａｔｕｌａ 和 Ｈａｒａｒｙ 等人的结果     

一类超椭圆曲线的整点个数

设ｎ是大于２的工整数，Ｄ是无平方因子正整数，分别是Ｋ的理想类群和类数．对于正整数ｍ，设ｇｋ（ｍ）是Ｉｘ中阶数等于ｍ的理想类的个数．本文证明了：超椭圆曲线ｆ（ｘ，ｙ）＝Ｄｘ２－４ｙｎ＋１＝０上整数点（ｘ，ｙ）的个数不超过ｍａｘ（８，２１６４Ｐ８１ｇｋ（Ｐ）），其中ｐ是ｎ的奇素因数．