筛法中余项的新形式及其估计1).doc

筛法中余项的新形式及其估计 七 形如n^2+1之素数个数无限  PAGE 13 筛法中余项的新形式及其估计 七:形如n2+1之素数个数无限（第二次修改稿） 张宏马 （河南省 三门峡市 陕县）( 472100 ) ( HYPERLINK mailto:sqs626467@  E-mail: sqs626467@) 摘要 本文介绍了用埃氏筛法研究形如n2+1的质数问题时的理论依据及所产生的主项与余项，并沿用第二章对余项的处理方法,讨论了本章余项上、下界的阶,证明了在自然数列中，形如n2+1之素数个数无限。 关健词：形如n2+1之素数,形如4k+1之素数,筛函数,主项,余项的估计。 中图分类号：O156 0引言 文献[1]195曾提出这样一个问题：“一直到现在还不知道形如n2+1的质数是否无穷多.”,马国祥等[2]在本世纪初就用埃氏筛法的思想讨论了这一问题，但并未涉及其中的余项估计问题，本章利用第二章介绍的研究方法较详细地讨论了这一问题。 在本章中，N仍表示一偶数，p,pi等仍表示奇素数，而q、qi则表示形如4k+1之奇素数，其中带下标号i者表示其为自然数列中第i个形如4k+1之素数,设数列 今用记号π（N2+1）表示AN中形如n2+1之素数个数,显然除了偶素数2=12+1以外,所有不大于N2+1且形如n2+1之素数均存在于数列AN中，其它符号或记号除了第一次使用时另有说明者以外,均沿袭第二章中定义。 1用埃氏筛法估计π（N2+1）的值时筛函数的主项及余项 1.1用筛法计算数列AN中合数个数的理论依据 数列AN中的数有以下特性： （1）：① 在数列AN的前项中,一定有一项能被整除. ② 在数列AN中,任一项都不能被形如4k+3的奇素数整除. 证:根据（引自文献[1]76-77页）“定理1(欧拉判别条件)若(a,p)=1,则a是模p的平方剩余的充分与必要条件是” （1.1） 而a是模p的平方非剩余的充分与必要条件是 （1.2） 且若a是模p的平方剩余,则(1)式恰有二解. ” （此处（1）式表示同余式） “定理2 模p的简化剩余系中平方剩余与非平方剩余的个数各为,而且 个平方剩余分别与序列 （1.3） 中之一数同余,且仅与一数同余.” 据此可算出: (甲) 当奇素数时,根据二项式定理，可算出 (a) 据此判定当时,(1.1)式成立,并由此推知(1.3)式中一定有一数对模qr的同余为,据此再根据以下结论: (ⅰ):序列(1.3)中第二项为模q的平方剩余. (ⅱ):模q的两项平方剩余之积仍为模q的平方剩余[3]209. 即可推知模的个平方剩余分别与序列 (b) 中之一数同余,且仅与一数同余.因此(b)中一定有一数对模的同余为,此数加上1之和在序列 (c) 中对模的同余应为0,而序列(c)恰为数列AN的前项.据此即证结论①成立. (乙)：当奇素数时,根据二项式定理，可算出 (d) 由(d)判定当时,(1.2)式成立,因此知为模的平方非剩余,据此再仿照(甲)中的方式推导下去,可知结论②亦成立. （2）①：若用记号C1（qr）表示AN中第一个能被qr整除的项的序号,C2（qr）表示A中第二个能被pr整除的项的序号,则有关系式 C1（qr）+ C2（qr）= qr (1.4) ②：A中一切序号形如Ci（qr）+kqr (i=1,2)的项均能被qr整除. 证：设C1（qr）=a，即第a项是AN中第一个能被qr整除的项，此时有，据此可算出AN的第qr -a项=,即第qr -a项亦能被qr整除，因此关系式(1.4)成立。同理还可算出：若AN的第a项（）能被qr整除，那么第kqr+a项（）亦能被qr整除。 （3）：①:设，且，令记号表示AN中第一个能被k1整除的项的序号,其值为一次同余式组(ⅰ)的最小正整数解, (ⅰ):， (ⅱ): 表示AN中第二个能被k1整除的项的序号, ();记号 表示AN中第一个符合条件‘同时能被k1﹑﹑k2整除’的项的序号,其值为一次同余式组(ⅱ)的最小正整数解. 表示AN中第二个符合条件‘同时能被k1﹑﹑k2整除’的项的序号,显然有关系式 （1.5） ②：AN中一切序号形如C（k1 ;k2）+k×k1k2 的数均能被k1k2整除,下标号反之亦然。（