素数普遍公式
理工农医百科15 阅读
一、引言
2000多年前欧几里德在证明素数无穷多时就埋下了寻求素数普遍公式的伏笔，以布劳维尔为首的直觉主义学派认为：“你没有给出第n个素数是如何构造的，就不能算是好的证明”。2000多年来，数论学最重要的一个任务，就是寻找素数普遍公式，为此，一代又一代数学精英，耗费了巨大的心血，始终未获成功。黎曼曾想用他的ζ函数数的“零点”来逼近素数普遍公式，至今未获成功。也有人反向思考，用素数普遍公式逼近“零点”来解决黎曼猜想。希尔伯特在1900年的国际数学家大会上说：对黎曼公式进行了彻底讨论之后，或许就能够严格解决哥德巴赫问题和孪生素数问题。实际在哲学上，只要有一个明确的定义，就应该有一个公式。
二、素数普遍公式
若自然数N不能被不大于根号N的任何素数整除，则N是一个素数。见（代数学辞典[上海教育出版社]1985年。屉部贞世朗编。259页）。这句话可以用公式表达：
N=p1m1+a1=p2m2+a2=......=pkmk+ak (1)
其中 p1，p2，.....，pk表示顺序素数2，3，5，,,,,。a≠0。即N不能是2m+0，3m+0，5m+0，...，pkm+0形。若N〈P（k+1）的平方 [注（k+1）是脚标，由于打印不出来，凡字母后面的数字或者i与k都是脚标] ，则N是一个素数。（1）式可以用同余式组表示：
N≡a1(modp1)， N≡a2(modp2)，.....，N≡ak(modpk)。 (2)
例如，29，29不能够被根号29以下的任何素数2，3，5整除，29=2x14+1=3x9+2=5x5+4。 29≡1(mod2)，29≡2(mod3)， 29≡4(mod5)。29小于7的平方49，所以29是一个素数。
由于（2）的模p1，p2，....，pk 两两互素，根据孙子定理(中国剩余定理）知，（2）在p1p2.....pk范围内有唯一解。
例如k=1时，N=2m+1，解得N=3，5，7。求得了3至3的平方区间的全部素数。
k=2时，N=2m+1=3m+1，解得N=7，13，19； N=2m+1=3m+2，解得N=5，11，17，23。求得了5至5的平方区间的全部素数。
k=3时,
---------------------| 5m+1-|- 5m+2-| 5m+3,| 5m+4.|
---------------------|---------|----------|--------|---------|
n=2m+1=3m+1= |--31----|--7, 37-|-13,43|--19----|
n=2m+1=3m+2= |-11,41-|-17,47-|--23---|---29---|
------------------------------------------------------------
求得了7至7的平方区间的全部素数。
由孙子定理知，（1）式和（2）式在p1p2....pk范围内有(2-1)(3-1)（5-1）....(pk-1)个解，两式的本质是从p1p2....pk中除去pm（m〉1)的合数，这一点与埃拉托塞筛法不同，埃氏筛是用p1，p2，...，pk去筛p(k+1)平方以内的合数，剩下的就是p(k+1)平方以内的素数了。例如用2，3，5，去筛49以内的合数，剩下的就是7至7的平方区间的素数了。但是，（1）（2）式是用p1，p2，..，pk 去筛p1p2...pk以内的pim（i≤k)形的数，连同p1，p2，...，pk也筛掉了。切比雪夫证明了“p(k+1)平方〈p1p2...pk对于由4开始的所有的K 都是对的。例如，3的平方〉2，5的平方〉2×3，7的平方〉2×3×5，11的平方〈2×3×5×7。从11开始都是这样了。（参见[数学欣赏]汉斯拉德海著220页“数30的一个性质”北京出版社1981.6）所以，若K≥4时，（1）（2）式的计算结果只能取p(k+1)平方以内的值才是素数。k=4时,
- -------------------------- |7m+1 |7m+2 |7m+3 | 7m+4|7m+5 | 7m+6 |
-----------------------------|--------|--------|--------|-------|--------|---------|-
n= 2m+1=3m+1=5m+1=|-- 1 -- |-121- |-- 31--|- 151-|--61--|-181-- |
------------------------------|-------|--------|--------|-------|--------|---------|-
n= 2m+1=3m=1=5m+2=|-127-|--37-- |--157--|-67--|-187-- |-- 97-- |
------------------------------|- -----|--------|--------|-------|--------|---------|-
n= 2m+1=3m+1=5m+3=|--43--|--163-|--73---|-193-|-103--|--13----|
------------------------------|-------|--------|--------|-------|--------|---------|-
n= 2m+1=3m+1=5m+4=|-169-|--79--,|-199-- |-109-|--19---|-139---|
------------------------------|-------|--------|--------|-------|--------|---------|-
n= 2m+1=3m+2=5m+1=|--71--|-191--|-101--|--11--|-131--|--41----|
------------------------------|-------|--------|--------|-------|--------|---------|-
n= 2m+1=3m+2=5m+2=|-197-|-107--|--17---|-137--|--47-- |-167-- |
------------------------------|-------|--------|--------|-------|--------|----------
n= 2m+1=3m+2=5m+3=|-113-|-- 23--|-143--|-- 53--|-173--|-- 83---|
------------------------------|-------|--------|--------|-------|--------|---------|-
n= 2m+1=3m+2=5m+4=|--29--|-149--|--59--|-179--|--89-- |--209-- |
------------------------------|-------|--------|--------|-------|--------|---------|-
求得了11至11的平方区间的全部素数。 共有（2-1）×（3-1）×（5-1）×（7-1）=48个解。 小于11平方的解有27个，加上被筛掉的（m=1）四个数2，3，5，7。减掉即不是素数也不是合数的“1”，共有：
************(2-1)×(3-1)×(5-1)×(7-1)
[ 121×---------------------------------+4-1]=30.个解。 方括号内取整数。
******************( 2×3×5×7)
素数普遍公式实际上是由两个式子共同完成，仅从（1）式看不出素数的什么规律，一旦转为同余式组，整个线路就清晰了，因为在孙子定理的照耀下，我们知道，a≠0，即是在p1p2p3...pk范围内筛去p1m+0，p2m+0，p3m+0，...，pkm+0形的数，所以在p1p2p3...pk范围内有（2-1）×（3-1）×（5-1）×...×(pk-1)个解。或者表示成
(1-1/2)(1-1/3)(1-1/5)...(1-1/pk).（*）
个解。并且类似意大利数学家彼德罗们伐利的调和级数的定理，在向无穷所使用的“自我复制”,大家可以联想到原子核裂变的情况，物理与数学是相通的。
N=p1m1+a1=p2m2+a2=......=pkmk+ak (1)
其中 p1，p2，.....，pk表示顺序素数2，3，5，,,,,。a≠0。即N不能是2m+0，3m+0，5m+0，...，pkm+0形。若N〈P（k+1）的平方 [注（k+1）是脚标，由于打印不出来，凡字母后面的数字或者i与k都是脚标] ，则N是一个素数。（1）式可以用同余式组表示：
N≡a1(modp1)， N≡a2(modp2)，.....，N≡ak(modpk)。 (2)
例如，29，29不能够被根号29以下的任何素数2，3，5整除，29=2x14+1=3x9+2=5x5+4。 29≡1(mod2)，29≡2(mod3)， 29≡4(mod5)。29小于7的平方49，所以29是一个素数。
由于（2）的模p1，p2，....，pk 两两互素，根据孙子定理(中国剩余定理）知，（2）在p1p2.....pk范围内有唯一解。
例如k=1时，N=2m+1，解得N=3，5，7。求得了3至3的平方区间的全部素数。
k=2时，N=2m+1=3m+1，解得N=7，13，19； N=2m+1=3m+2，解得N=5，11，17，23。求得了5至5的平方区间的全部素数。
k=3时,
---------------------| 5m+1-|- 5m+2-| 5m+3,| 5m+4.|
---------------------|---------|----------|--------|---------|
n=2m+1=3m+1= |--31----|--7, 37-|-13,43|--19----|
n=2m+1=3m+2= |-11,41-|-17,47-|--23---|---29---|
------------------------------------------------------------
求得了7至7的平方区间的全部素数。
由孙子定理知，（1）式和（2）式在p1p2....pk范围内有(2-1)(3-1)（5-1）....(pk-1)个解，两式的本质是从p1p2....pk中除去pm（m〉1)的合数，这一点与埃拉托塞筛法不同，埃氏筛是用p1，p2，...，pk去筛p(k+1)平方以内的合数，剩下的就是p(k+1)平方以内的素数了。例如用2，3，5，去筛49以内的合数，剩下的就是7至7的平方区间的素数了。但是，（1）（2）式是用p1，p2，..，pk 去筛p1p2...pk以内的pim（i≤k)形的数，连同p1，p2，...，pk也筛掉了。切比雪夫证明了“p(k+1)平方〈p1p2...pk对于由4开始的所有的K 都是对的。例如，3的平方〉2，5的平方〉2×3，7的平方〉2×3×5，11的平方〈2×3×5×7。从11开始都是这样了。（参见[数学欣赏]汉斯拉德海著220页“数30的一个性质”北京出版社1981.6）所以，若K≥4时，（1）（2）式的计算结果只能取p(k+1)平方以内的值才是素数。k=4时,
- -------------------------- |7m+1 |7m+2 |7m+3 | 7m+4|7m+5 | 7m+6 |
-----------------------------|--------|--------|--------|-------|--------|---------|-
n= 2m+1=3m+1=5m+1=|-- 1 -- |-121- |-- 31--|- 151-|--61--|-181-- |
------------------------------|-------|--------|--------|-------|--------|---------|-
n= 2m+1=3m=1=5m+2=|-127-|--37-- |--157--|-67--|-187-- |-- 97-- |
------------------------------|- -----|--------|--------|-------|--------|---------|-
n= 2m+1=3m+1=5m+3=|--43--|--163-|--73---|-193-|-103--|--13----|
------------------------------|-------|--------|--------|-------|--------|---------|-
n= 2m+1=3m+1=5m+4=|-169-|--79--,|-199-- |-109-|--19---|-139---|
------------------------------|-------|--------|--------|-------|--------|---------|-
n= 2m+1=3m+2=5m+1=|--71--|-191--|-101--|--11--|-131--|--41----|
------------------------------|-------|--------|--------|-------|--------|---------|-
n= 2m+1=3m+2=5m+2=|-197-|-107--|--17---|-137--|--47-- |-167-- |
------------------------------|-------|--------|--------|-------|--------|----------
n= 2m+1=3m+2=5m+3=|-113-|-- 23--|-143--|-- 53--|-173--|-- 83---|
------------------------------|-------|--------|--------|-------|--------|---------|-
n= 2m+1=3m+2=5m+4=|--29--|-149--|--59--|-179--|--89-- |--209-- |
------------------------------|-------|--------|--------|-------|--------|---------|-
求得了11至11的平方区间的全部素数。 共有（2-1）×（3-1）×（5-1）×（7-1）=48个解。 小于11平方的解有27个，加上被筛掉的（m=1）四个数2，3，5，7。减掉即不是素数也不是合数的“1”，共有：
************(2-1)×(3-1)×(5-1)×(7-1)
[ 121×---------------------------------+4-1]=30.个解。 方括号内取整数。
******************( 2×3×5×7)
素数普遍公式实际上是由两个式子共同完成，仅从（1）式看不出素数的什么规律，一旦转为同余式组，整个线路就清晰了，因为在孙子定理的照耀下，我们知道，a≠0，即是在p1p2p3...pk范围内筛去p1m+0，p2m+0，p3m+0，...，pkm+0形的数，所以在p1p2p3...pk范围内有（2-1）×（3-1）×（5-1）×...×(pk-1)个解。或者表示成
(1-1/2)(1-1/3)(1-1/5)...(1-1/pk).（*）
个解。并且类似意大利数学家彼德罗们伐利的调和级数的定理，在向无穷所使用的“自我复制”,大家可以联想到原子核裂变的情况，物理与数学是相通的。
三、素数的个数
设π（p(k+1)的平方表示不大于p(k+1)平方的素数个数：
***********************************************（p1-1)(p2-1)(p3-1)......(pk-1)
π(p(k+1)的平方)=[ p(k+1)的平方× -------------------------------------------+k-1] （ 3 ）
*******************************************************( p1p2......pk)
利用（3）式计算素数个数可以相当精确。
下面是利用（3）式计算的一些结果。
-------------------------------------------------------------------------
p(k+1) |--------- 利用（3）式计算的数值------- |---- 实际值
---3----|------------4----------------------------------|----4-----
---5----|------------9----------------------------------|----9--------
---7----|-----------15---------------------------------|----15-------
--11---|-----------30----------------------------------|---30-------
--13---|-----------39----------------------------------|---39-------
---17--|-----------60----------------------------------|---61-------
---19--|-----------71----------------------------------|---72-------
--23---|-----------97----------------------------------|----99-------
---29--|--------145------------------------------------|-----146----
----31-|----------161----------------------------------|-----162----
----37-|-----------219---------------------------------|----219-----
--101-|----------1251---------------------------------|---1252-----
----------
上面的表格是说，例如，素数101的平方内，利用（3）式计算的是1251个素数，实际值是1252个素数。误差非常小。
仿此下去，可以求得任意大的数以内的全部素数。以上就是吴振奎教授在文章中介绍王晓明发现的素数普遍公式。南开大学的胡久念教授认为（3）式非常重要。
这个公式提示我们，素数不是越来越少，如果按自然数平方的区间计算，反而越来越多。例如：
n平方-------------(n+1)的平方--------素数个数
1-----------------------2---------------------2(即1的平方到2的平方有2个素数）
2-----------------------3---------------------2
3-----------------------4---------------------2
4-----------------------5---------------------3
5-----------------------6---------------------2
6-----------------------7---------------------4
7-----------------------8---------------------3
8-----------------------9---------------------4
...........................................
50---------------------51------------------11（即50的平方到51的平方有11个素数）
51---------------------52------------------15
52---------------------53------------------16
53---------------------54-------------------12
54---------------------55-------------------13
55---------------------56-------------------11
56---------------------57-------------------12
57---------------------58-------------------17
...........................................
95--------------------96--------------------20
96--------------------97--------------------22
97--------------------98--------------------22
98--------------------99--------------------23
99-------------------100--------------------21（即99的平方到100的平方有21个素数）
总的形势是越来越多。利用上面的公式证明奥波曼猜想（在正整数n平方与n平方加n之间必有一个素数）和杰波夫猜想（两个相邻奇素数平方之间至少有两对素数）已经不是什么问题了。因为，我们成功地将零散的数学概念，方法，定理编辑成为一个从基本概念到最复杂结论的网络，当然，我们只不过是继承了欧几里德的方法。
***********************************************（p1-1)(p2-1)(p3-1)......(pk-1)
π(p(k+1)的平方)=[ p(k+1)的平方× -------------------------------------------+k-1] （ 3 ）
*******************************************************( p1p2......pk)
利用（3）式计算素数个数可以相当精确。
下面是利用（3）式计算的一些结果。
-------------------------------------------------------------------------
p(k+1) |--------- 利用（3）式计算的数值------- |---- 实际值
---3----|------------4----------------------------------|----4-----
---5----|------------9----------------------------------|----9--------
---7----|-----------15---------------------------------|----15-------
--11---|-----------30----------------------------------|---30-------
--13---|-----------39----------------------------------|---39-------
---17--|-----------60----------------------------------|---61-------
---19--|-----------71----------------------------------|---72-------
--23---|-----------97----------------------------------|----99-------
---29--|--------145------------------------------------|-----146----
----31-|----------161----------------------------------|-----162----
----37-|-----------219---------------------------------|----219-----
--101-|----------1251---------------------------------|---1252-----
----------
上面的表格是说，例如，素数101的平方内，利用（3）式计算的是1251个素数，实际值是1252个素数。误差非常小。
仿此下去，可以求得任意大的数以内的全部素数。以上就是吴振奎教授在文章中介绍王晓明发现的素数普遍公式。南开大学的胡久念教授认为（3）式非常重要。
这个公式提示我们，素数不是越来越少，如果按自然数平方的区间计算，反而越来越多。例如：
n平方-------------(n+1)的平方--------素数个数
1-----------------------2---------------------2(即1的平方到2的平方有2个素数）
2-----------------------3---------------------2
3-----------------------4---------------------2
4-----------------------5---------------------3
5-----------------------6---------------------2
6-----------------------7---------------------4
7-----------------------8---------------------3
8-----------------------9---------------------4
...........................................
50---------------------51------------------11（即50的平方到51的平方有11个素数）
51---------------------52------------------15
52---------------------53------------------16
53---------------------54-------------------12
54---------------------55-------------------13
55---------------------56-------------------11
56---------------------57-------------------12
57---------------------58-------------------17
...........................................
95--------------------96--------------------20
96--------------------97--------------------22
97--------------------98--------------------22
98--------------------99--------------------23
99-------------------100--------------------21（即99的平方到100的平方有21个素数）
总的形势是越来越多。利用上面的公式证明奥波曼猜想（在正整数n平方与n平方加n之间必有一个素数）和杰波夫猜想（两个相邻奇素数平方之间至少有两对素数）已经不是什么问题了。因为，我们成功地将零散的数学概念，方法，定理编辑成为一个从基本概念到最复杂结论的网络，当然，我们只不过是继承了欧几里德的方法。
四、公式的用途
(一）利用这个公式可以解决大部分数论难题
利用这个公式可以解决大部分数论难题，包括孪生素数猜想(请点击百度网页“孪生素数普遍公式”）和哥德巴赫猜想。在【中等数学】2002.5期“从台尔曼公式谈起”，王晓明给出了哥德巴赫猜想的合理框架。即对于任何一个正整数n，是否必然存在一个X，使得（n+X）与（n-X）都是素数。因为（n+X）+（n-X）=2n。这就是著名的哥德巴赫猜想。根据除法算式定理和同余定理：“每一个整数恰与0，1，2，...，m-1中一数同于(modm)。”我们得知，任给一个整数n，都可以唯一地表示成：
n=p1m1+c1=p2m2+c2=...=pkmk+ck (4)
p1，p2，...，pk表示顺序素数2，3，5，...，。c=0，1，2，3，...，pi-1。[Pk的平方/2]〈n〈[P（K+1)的平方/2]。是否存在一个X：
X=p1h1+g1=p2h2+g2=...=pkhk+gk (5)
gi≠ci，gi≠pi-ci。若X〈n-2，则n+X与n-X是一对素数。
例如n=20，20=2m+0=3m+2=5m+0. （ 5的平方/2)〈20〈（7的平方/2）即（25/2）〈20〈（49/2）；
解得X=2h+1=3h+0=5h+1=21
X=2h+1=3h+0=5h+2=27
X=2h+1=3h+0=5h+3=3
X=2h+1=3h+0=5h+4=9
X的四个解中有2个小于20-2，即3和9。得知20-3与20+3是一对素数；20-9与20+9是一对素数。这个例题包含了证明的思想，必须利用一个引理，见下面的引理。彻底证明已经不困难，读者可以自己试着完成。
这是因为胡作玄教授有一个精辟的论断（他在介绍康托尔企图证明哥德巴赫猜想失败后的话）：解决哥德巴赫问题在于对素数有一个正面的刻画。
素数普遍公式就是正面的刻画，例如上面的例子：
**20=2m+0=3m+2=5m+0
(+)9=2h+1=3h+0=5h+4
----------------------------------------
=29=2m+1=3m+2=5m+4.(符合（1）（2）式，gi≠pi-ci.，相加后最小剩余不为0，所以相加后是素数。
相减：
**20=2m+0=3m+2=5m+0
(-)9=2h+1=3h+0=5h+4
--------------------------------------
=11=2m+1=3m+2=5m+1(符合（1）（2）式，gi≠ci.，相减后最小剩余不为0，所以相减后是素数。（相加相减读者可以参考“群”的概念）
证明哥德巴赫猜想就是要证明（5）式：1，x必然有解（如果最小剩余ci≠gi,ci≠pi-gi覆盖了全部剩余类就没有解）。2，x必然有小于pk平方/2的解。
利用这个公式去解决黎曼猜想也完全可能。这个方法的优越性十分明显，每一步都与前面一步有着十分清晰而明确的关系。并且可以直接导回原来的定理。
1923年哈代和李特尔伍德证明，如果广义黎曼猜想成立，（所有L（S，X）的非平凡零点都位于直线R*S=1/2上，简记（CRH），那么几乎所有的偶数都可以表示为二个奇素数之和。相反，假如哥氏猜想成立，黎曼猜想是否也可以推出？当然，一个完全正确的命题，其逆命题可能是错误的。
这个公式比黎曼素数公式所含的信息量大的多。有了素数普遍公式，哥德巴赫猜想和孪生素数猜想等数论难题都将迎刃而解。希尔伯特，沈康身（浙江大学教授）吴振奎（天津商学院教授）都是这样认为的。
（二）证明素数无穷多
已经知道有几十种证明素数无穷多的方法。可以利用素数普遍公式证明素数无穷多。
先证明一个引理：
“任何两个含连续自然数个数相等的区间，筛K次后被筛数（或者未被筛数）相差不超过K个”。
说明：本筛法与埃拉托赛尼筛法不同，埃氏筛先用2筛，然后把2的倍数剔除掉；再用3筛，又把3的倍数剔除掉；再用5筛，.....。本筛法是已经筛过的数不马上剔除掉，而是做上标记，等全部筛完过后再把筛过的数剔除掉。于是，有一些含有几个不同素因子的数就要被筛几遍，例如“6 ”，就要被“2，”和“3，”各筛一遍。
证明：根据除法算式定理：“给定正整数a和b，b不等于0，存在唯一整数a和r，（0≤r 现在设某两个区间为A与B，含自然数的个数分别为|A|与|B|，|A|=|B|，下证明p去筛，两区间被筛pm形数（或者未被筛数）个数相差最多不超过1个。由上所述筛法，用顺序素数p1，p2，...，pk依次去筛，两区间每次被筛pm形数（或者未被筛数）个数相差最多不超过1个，故筛k次两区间被筛数(或者未被筛数）个数最多不超过k个。
证法1，设|A|=pm+r，则|B|=pm+r，0≤r 证法2，假若不然，筛k次有两个区间A与B，被筛数相差大于K，比如有K+1个，那会出现什么问题呢？我们问第K+1是个什么（见图），例如A与B用2和3去筛，如果出现了相差3个，第一个记为2m形，第二个记为3m形，问第三个（-？-）是什么形式？（每一个括号表示一个自然数）。
A：（+）。。。（+）；-------------------（-）（-）（-）（-）。。。（-）；
B：（+）。。。（+）（2m)(3m)(-?-)；--------------------（-）。。。（-）；
|---------------已经筛过部分----------------|------------未经筛过部分------------|。
如果第三个（-？-）是2m或者3m形， 显然与除法算式定理矛盾；如果不是2m或者3m形，它就不应该“站在”已经筛过的行列。无论哪一种情况，假设都不能成立。证毕，（如果已经筛过部分A比B多K个，则未筛过部分B比A多k个，这个很好理解，正如一个故事所讲，第一辆车装了40位姑娘，第二辆车装了40位小伙子，停车时第二辆车的一部分小伙子坐上了第一辆车，第一辆车的司机不高兴了，说我只拉40个人，于是两辆车都是40个人，都有姑娘小伙，问：是第一辆车的姑娘多还是第二辆车的小伙子多？答案是显然的；第一辆车的姑娘与第二辆车的小伙子一样多)。
我们可以用公式表示：{|A1|=|A2|=...=|An|}→s(k):|Aj|-|Ai|≤k。
就是说，在连续自然数相等的区间|A1|，|A2|，...，|An|中，筛（用s表示)k 次，任何两个区间:| Aj|-|Ai|≤k。.
注：原来以为这个问题是显然的，哪知，论文发表后，江西省九江市第一中学高三级黄晶晶同学发现必须给与证明，否则就是一个漏洞，给编辑部写信。时间是2002年。 小小年纪，真是不简单。后来得知，黄晶晶考入一所著名大学的数学系，经过两年多努力，才完成“任何两个含连续自然数个数相等的区间，筛k次被筛数（或者未被筛数）相差不大于k个。
假定最后一个素数是23，那么对于下式：
N=2m+a1=3m+a2=5m+a3=7m+a4=11m+a5=13m+a6=17m+a7=19m+a8=23m+a9。 （1）
（a不等于0，若N〈23的平方，则是一个素数，23是第9个素数).来说，就没有小于23平方的解，因为N与2，3，5，7，11，13，17，19，23互素，并且大于23，我们知道没有与所有素数互素的合数，所以N必然是素数，原先假设是错误的，这是证法一。
证法二：（1）式如果有小于23平方的解，就是素数，与假设矛盾，所以（1）没有小于23平方的解。（1）式的同余形式：
N≡a1(mod2)， N≡a2(mod3)，N≡a3(mod5)，N≡a4(mod7)，N≡a5(mod11)，N≡a6(mod13)，N≡a7(mod17)，N≡a8(mod19)，N≡a9(mod23).。（2）
根据孙子定理，从（1）（2）式得知，（1）（2）式在2x3x5x7x11x13x17x19x23范围内有（2-1）x（3-1）x（5-1）x（7-1）x（11-1）x（13-1）x（17-1）x（19-1）x（23-1）个解。（1）（2）式的本质是从2x3x5x7x11x13x17x19x23中筛去2m，3m，5m，7m，11m，13m，17m，19m，23m形的数。共筛9次。
我们把2x3x5x7x11x13x17x19x23按(19x23)为一个区间，（注意19x23<23的平方）分成2x3x5x7x11x13x17个区间：
[1 ，19x23），[19x23+1，2x19x23），.........，[2x3x5x7x11x13x17x19x23-（19x23）+1，2x3x5x7x11x13x17x19x23）。
假如第一区间[1，19x23）无解，根据引理，其他区间的解也不会超过9个。2x3x5x7x11x13x17个区间不超过2x3x5x7x11x13x17x9个解。少于（1）（2）式固有的解（2-1）x（3-1）x（5-1）x（7-1）x（11-1）x（13-1）x（17-1）x（19-1）x（23-1）。一一对应，（23-1）对应9；（19-1）对应17；（17-1）对应13，（13-1）对应11；（11-1）对应7；（7-1）对应5；（5-1）对应3；（3-1）对应2。
------------------------------------------
（2-1）|（3-1）|（5-1）|（7-1）|（11-1）|（13-1）|（17-1）|（19-1）|（23-1）|
|-------------2-----|----3----|----5----|-----7-----|-----11----|----13---|-----17----|----9------|
--------------------------------------------
每一项都是上面大于或者等于下面，说明原先假设23是最大的素数是错误的，他造成了与（1）（2）式的矛盾，而
（1）（2）式的解数目是由孙子定理得出的。与孙子定理矛盾必然是错误的。这是利用抽屉原则，（2-1）x（3-1）x（5-1）x（7-1）x（11-1）x（13-1）x（17-1）x（19-1）x（23-1）是抽屉，2x3x5x7x11x13x17x9是信封，信封少于抽屉，说明至少有抽屉没有信封。证毕。
证法二虽然繁琐（绕圈子），但是一个强有力的工具（归谬法）。假如在第一区间无解，就会造成总的解数目少于公式固有的解的数目，而固有解的数目是由孙子定理得出的。这个方法移植到孪生素数证明上，同样有效。
(三）组装素数
。在例题中，当k=4时，我们发现，根本不需要计算，只有添进数字就可以了，当k=5时，有480个解，如果用埃氏筛，或者进行计算，哪怕是欧拉或者高斯这样的巨匠，也要几个小时，如果编成程序，一秒钟也用不了。人类已经不需要依赖埃拉托赛尼筛法计算素数。只有利用一个模具。
（四）解释问题
可以说明
1，台尔曼素数公式。（参见“从台尔曼公式谈起”《中等数学》2002年5期)
2,福蒂恩猜想。剑桥大学人类学家福蒂恩发现：
若与p1p2....pn+1
(p1,p2,....是顺序素数2，3，5，，，，）相继的下一个素数为q,则q-p1p2p3....pn也是素数：
2+1=3，5-2=3；
2x3+1=7,11-6=5;
2x3x5+1=31,37-30=7,;
2x3x5x7+1=211,223-210=13,
............
利用素数普遍公式可以轻而易举地解释这个现象。
利用这个公式可以解决大部分数论难题，包括孪生素数猜想(请点击百度网页“孪生素数普遍公式”）和哥德巴赫猜想。在【中等数学】2002.5期“从台尔曼公式谈起”，王晓明给出了哥德巴赫猜想的合理框架。即对于任何一个正整数n，是否必然存在一个X，使得（n+X）与（n-X）都是素数。因为（n+X）+（n-X）=2n。这就是著名的哥德巴赫猜想。根据除法算式定理和同余定理：“每一个整数恰与0，1，2，...，m-1中一数同于(modm)。”我们得知，任给一个整数n，都可以唯一地表示成：
n=p1m1+c1=p2m2+c2=...=pkmk+ck (4)
p1，p2，...，pk表示顺序素数2，3，5，...，。c=0，1，2，3，...，pi-1。[Pk的平方/2]〈n〈[P（K+1)的平方/2]。是否存在一个X：
X=p1h1+g1=p2h2+g2=...=pkhk+gk (5)
gi≠ci，gi≠pi-ci。若X〈n-2，则n+X与n-X是一对素数。
例如n=20，20=2m+0=3m+2=5m+0. （ 5的平方/2)〈20〈（7的平方/2）即（25/2）〈20〈（49/2）；
解得X=2h+1=3h+0=5h+1=21
X=2h+1=3h+0=5h+2=27
X=2h+1=3h+0=5h+3=3
X=2h+1=3h+0=5h+4=9
X的四个解中有2个小于20-2，即3和9。得知20-3与20+3是一对素数；20-9与20+9是一对素数。这个例题包含了证明的思想，必须利用一个引理，见下面的引理。彻底证明已经不困难，读者可以自己试着完成。
这是因为胡作玄教授有一个精辟的论断（他在介绍康托尔企图证明哥德巴赫猜想失败后的话）：解决哥德巴赫问题在于对素数有一个正面的刻画。
素数普遍公式就是正面的刻画，例如上面的例子：
**20=2m+0=3m+2=5m+0
(+)9=2h+1=3h+0=5h+4
----------------------------------------
=29=2m+1=3m+2=5m+4.(符合（1）（2）式，gi≠pi-ci.，相加后最小剩余不为0，所以相加后是素数。
相减：
**20=2m+0=3m+2=5m+0
(-)9=2h+1=3h+0=5h+4
--------------------------------------
=11=2m+1=3m+2=5m+1(符合（1）（2）式，gi≠ci.，相减后最小剩余不为0，所以相减后是素数。（相加相减读者可以参考“群”的概念）
证明哥德巴赫猜想就是要证明（5）式：1，x必然有解（如果最小剩余ci≠gi,ci≠pi-gi覆盖了全部剩余类就没有解）。2，x必然有小于pk平方/2的解。
利用这个公式去解决黎曼猜想也完全可能。这个方法的优越性十分明显，每一步都与前面一步有着十分清晰而明确的关系。并且可以直接导回原来的定理。
1923年哈代和李特尔伍德证明，如果广义黎曼猜想成立，（所有L（S，X）的非平凡零点都位于直线R*S=1/2上，简记（CRH），那么几乎所有的偶数都可以表示为二个奇素数之和。相反，假如哥氏猜想成立，黎曼猜想是否也可以推出？当然，一个完全正确的命题，其逆命题可能是错误的。
这个公式比黎曼素数公式所含的信息量大的多。有了素数普遍公式，哥德巴赫猜想和孪生素数猜想等数论难题都将迎刃而解。希尔伯特，沈康身（浙江大学教授）吴振奎（天津商学院教授）都是这样认为的。
（二）证明素数无穷多
已经知道有几十种证明素数无穷多的方法。可以利用素数普遍公式证明素数无穷多。
先证明一个引理：
“任何两个含连续自然数个数相等的区间，筛K次后被筛数（或者未被筛数）相差不超过K个”。
说明：本筛法与埃拉托赛尼筛法不同，埃氏筛先用2筛，然后把2的倍数剔除掉；再用3筛，又把3的倍数剔除掉；再用5筛，.....。本筛法是已经筛过的数不马上剔除掉，而是做上标记，等全部筛完过后再把筛过的数剔除掉。于是，有一些含有几个不同素因子的数就要被筛几遍，例如“6 ”，就要被“2，”和“3，”各筛一遍。
证明：根据除法算式定理：“给定正整数a和b，b不等于0，存在唯一整数a和r，（0≤r 现在设某两个区间为A与B，含自然数的个数分别为|A|与|B|，|A|=|B|，下证明p去筛，两区间被筛pm形数（或者未被筛数）个数相差最多不超过1个。由上所述筛法，用顺序素数p1，p2，...，pk依次去筛，两区间每次被筛pm形数（或者未被筛数）个数相差最多不超过1个，故筛k次两区间被筛数(或者未被筛数）个数最多不超过k个。
证法1，设|A|=pm+r，则|B|=pm+r，0≤r 证法2，假若不然，筛k次有两个区间A与B，被筛数相差大于K，比如有K+1个，那会出现什么问题呢？我们问第K+1是个什么（见图），例如A与B用2和3去筛，如果出现了相差3个，第一个记为2m形，第二个记为3m形，问第三个（-？-）是什么形式？（每一个括号表示一个自然数）。
A：（+）。。。（+）；-------------------（-）（-）（-）（-）。。。（-）；
B：（+）。。。（+）（2m)(3m)(-?-)；--------------------（-）。。。（-）；
|---------------已经筛过部分----------------|------------未经筛过部分------------|。
如果第三个（-？-）是2m或者3m形， 显然与除法算式定理矛盾；如果不是2m或者3m形，它就不应该“站在”已经筛过的行列。无论哪一种情况，假设都不能成立。证毕，（如果已经筛过部分A比B多K个，则未筛过部分B比A多k个，这个很好理解，正如一个故事所讲，第一辆车装了40位姑娘，第二辆车装了40位小伙子，停车时第二辆车的一部分小伙子坐上了第一辆车，第一辆车的司机不高兴了，说我只拉40个人，于是两辆车都是40个人，都有姑娘小伙，问：是第一辆车的姑娘多还是第二辆车的小伙子多？答案是显然的；第一辆车的姑娘与第二辆车的小伙子一样多)。
我们可以用公式表示：{|A1|=|A2|=...=|An|}→s(k):|Aj|-|Ai|≤k。
就是说，在连续自然数相等的区间|A1|，|A2|，...，|An|中，筛（用s表示)k 次，任何两个区间:| Aj|-|Ai|≤k。.
注：原来以为这个问题是显然的，哪知，论文发表后，江西省九江市第一中学高三级黄晶晶同学发现必须给与证明，否则就是一个漏洞，给编辑部写信。时间是2002年。 小小年纪，真是不简单。后来得知，黄晶晶考入一所著名大学的数学系，经过两年多努力，才完成“任何两个含连续自然数个数相等的区间，筛k次被筛数（或者未被筛数）相差不大于k个。
假定最后一个素数是23，那么对于下式：
N=2m+a1=3m+a2=5m+a3=7m+a4=11m+a5=13m+a6=17m+a7=19m+a8=23m+a9。 （1）
（a不等于0，若N〈23的平方，则是一个素数，23是第9个素数).来说，就没有小于23平方的解，因为N与2，3，5，7，11，13，17，19，23互素，并且大于23，我们知道没有与所有素数互素的合数，所以N必然是素数，原先假设是错误的，这是证法一。
证法二：（1）式如果有小于23平方的解，就是素数，与假设矛盾，所以（1）没有小于23平方的解。（1）式的同余形式：
N≡a1(mod2)， N≡a2(mod3)，N≡a3(mod5)，N≡a4(mod7)，N≡a5(mod11)，N≡a6(mod13)，N≡a7(mod17)，N≡a8(mod19)，N≡a9(mod23).。（2）
根据孙子定理，从（1）（2）式得知，（1）（2）式在2x3x5x7x11x13x17x19x23范围内有（2-1）x（3-1）x（5-1）x（7-1）x（11-1）x（13-1）x（17-1）x（19-1）x（23-1）个解。（1）（2）式的本质是从2x3x5x7x11x13x17x19x23中筛去2m，3m，5m，7m，11m，13m，17m，19m，23m形的数。共筛9次。
我们把2x3x5x7x11x13x17x19x23按(19x23)为一个区间，（注意19x23<23的平方）分成2x3x5x7x11x13x17个区间：
[1 ，19x23），[19x23+1，2x19x23），.........，[2x3x5x7x11x13x17x19x23-（19x23）+1，2x3x5x7x11x13x17x19x23）。
假如第一区间[1，19x23）无解，根据引理，其他区间的解也不会超过9个。2x3x5x7x11x13x17个区间不超过2x3x5x7x11x13x17x9个解。少于（1）（2）式固有的解（2-1）x（3-1）x（5-1）x（7-1）x（11-1）x（13-1）x（17-1）x（19-1）x（23-1）。一一对应，（23-1）对应9；（19-1）对应17；（17-1）对应13，（13-1）对应11；（11-1）对应7；（7-1）对应5；（5-1）对应3；（3-1）对应2。
------------------------------------------
（2-1）|（3-1）|（5-1）|（7-1）|（11-1）|（13-1）|（17-1）|（19-1）|（23-1）|
|-------------2-----|----3----|----5----|-----7-----|-----11----|----13---|-----17----|----9------|
--------------------------------------------
每一项都是上面大于或者等于下面，说明原先假设23是最大的素数是错误的，他造成了与（1）（2）式的矛盾，而
（1）（2）式的解数目是由孙子定理得出的。与孙子定理矛盾必然是错误的。这是利用抽屉原则，（2-1）x（3-1）x（5-1）x（7-1）x（11-1）x（13-1）x（17-1）x（19-1）x（23-1）是抽屉，2x3x5x7x11x13x17x9是信封，信封少于抽屉，说明至少有抽屉没有信封。证毕。
证法二虽然繁琐（绕圈子），但是一个强有力的工具（归谬法）。假如在第一区间无解，就会造成总的解数目少于公式固有的解的数目，而固有解的数目是由孙子定理得出的。这个方法移植到孪生素数证明上，同样有效。
(三）组装素数
。在例题中，当k=4时，我们发现，根本不需要计算，只有添进数字就可以了，当k=5时，有480个解，如果用埃氏筛，或者进行计算，哪怕是欧拉或者高斯这样的巨匠，也要几个小时，如果编成程序，一秒钟也用不了。人类已经不需要依赖埃拉托赛尼筛法计算素数。只有利用一个模具。
（四）解释问题
可以说明
1，台尔曼素数公式。（参见“从台尔曼公式谈起”《中等数学》2002年5期)
2,福蒂恩猜想。剑桥大学人类学家福蒂恩发现：
若与p1p2....pn+1
(p1,p2,....是顺序素数2，3，5，，，，）相继的下一个素数为q,则q-p1p2p3....pn也是素数：
2+1=3，5-2=3；
2x3+1=7,11-6=5;
2x3x5+1=31,37-30=7,;
2x3x5x7+1=211,223-210=13,
............
利用素数普遍公式可以轻而易举地解释这个现象。
五、素数普遍公式在认识形成中的作用和意义
埃拉托赛尼筛法是一个相对独立的实践活动，而埃拉托赛尼的素数普遍公式是一种理论。（实践先于理论，实践是理论的源泉）。如果实践是对的，行之有效的，那么他可以作为论据支持公式。公式的对与错，看他是否与方法吻合，（与经验事实相吻合）。方法是公式的内容，公式是方法的理论。在理论的内容是真的前提下，公式是可靠的，一个公式能够产生出来，表明具有了相应的三大条件：一，相应的观念和方法已经产生；二，相应的实践条件和手段已经具备；三，科学劳动者能够正确无误地进行操作。
方法只有借助公式才能获得确定的含义，方法是构成公式的成分。公式是具有一定结构的整体，这是公式自身存在与发展的前提。公式是一种体系化和逻辑化了的认识，而体系化规范化的方法是公式的灵魂。理论和公式的意义恰恰不在于他的形式，而在于他形成之后的运行。在于他作为某种因素而导出另外的结果。
公式是方法的收集，方法的反应。仅有方法，无法拓展新的实践和认识，生命力受到局限，只有借助于公式才能向更深层次参透，因为方法是一个层次，他主要是描述性的，例如，埃拉托赛尼筛法是怎样寻找素数。而公式是理论认识，说明“为什么”，相对来说，他超过了个别。
人以理论的方式，观念地把握世界，人以“公式”的形式，观念地把握方法。就公式产生和存在的意义和使命而言，就是要朝着实践方向作认识总过程的再认识（再次飞跃），以创造还未知的外部世界。总之，只有在一切解释皆真的公式，才能算普效的公式，或者逻辑真的公式。要判定一个公式是否可推演出，即是否可证，这是纯形式的问题；要断言一个公式是否真，必须依赖公式以外的解释和模型------即这个公式和方法是否可以做等价转换。
下面谈谈素数普遍公式的一些具体作用：
（一）素数普遍公式是素数定理（若N不能被不大于根号N的任何素数整除，则N是素数）和埃拉托赛尼筛法的表现形式，表明在一定条件下和范围内[P（k+1)平方]主观和客观上的符合。因而是科学真理的一种表现形式。素数普遍公式提供了广泛的概念框架，并且概括出其中普遍的不变关系。
（二）素数普遍公式有助于科学概念和素数理论的形成。素数普遍公式是明确其他科学概念（例如哥德巴赫猜想）的一种有效手段。将来许多科学概念的内涵都会通过素数普遍概念公式表现出来，在素数理论中，素数普遍公式起着极大的作用，他是核心和灵魂。
（三）素数普遍公式有解释和预见功能，由于素数普遍公式是从整体上解释素数性质的，所以常常是演绎推理模型中的大前提（全称），也是预见的先行条件。
（四），在数学论证中，数学证明的本质是用有限驾驭无穷，必须首先找出无穷对象的规律，用公式概括起来，既正面刻画后，才能去证明更深刻的问题。总之，没有素数普遍公式，就不能去催促新的思想。例如有些人用复变函数把简单的素数理论弄的面目全非，违背了事物的真实性，造成了惊心动魄的场面却解决不了实际问题。正如冯。诺伊曼指出的那样：“当一门数学离他的源泉越远，他就变的愈加娇柔造作。
欧几里德是第一个提出素数普遍公式的人，为此，人类这一步却跨越了两千年，这是值得深思的。
希尔伯特对数学成果的评价，那些能把过去统一起来而同时又为未来的拓展开辟了广阔的道路的概念和方法，应该算是最为深刻的概念和方法。素数普遍公式就是一种承上启下，继往开来的思想。令人欣喜的是，自从素数普遍公式发表后，已经有好几篇相关论文发表，为最终解决黎曼猜想等难题做好了基础。我们要想认识素数，就不得不向这个理论屈服。这个方法也许将直接导致大数密码的崩溃，西方数学家在与军方合作时时关注素数研究的进展，我们也应该引起注意。
有网友说“这其实就是埃拉托赛筛法的延伸”，说的非常正确。200万年前，人类中的一员，用手中的木枝，接燃了野火，去点燃预先准备好的柴火，人类第一次主观地利用了火，我们发生了质变。埃氏筛就是野火，我们用（1）式接燃了它，去点燃（2）式。从此，数论将发生质变。
六。素数普遍公式的名称来源
素数普遍公式是美籍俄罗斯人乔治。伽莫夫，在1946年的著作《从一到无穷大》提出的，他还提出过“宇宙大爆咋”理论。
这真是：
两千年期待，姗然迟来。 ----------------|------ 数百位豪杰，尽倾心血。
仰天长叹，空荡荡青春虚度。------------|-------低头沉思，实在在光阴耗尽。
看欧几里德，一筹莫展。------------------|-------思费马玄构，欧拉神算。
艾拉托塞，搜遍骷肠，一声感慨。-------|-------高斯雄才，黎曼假设，无言等待。
天之轿子，何必选此绝路。---------------|-------丰功伟业，愚公岂能移山。
想哈代力博，拉马努贾英年逝。---------|-------绞无尽脑汁，勾不完质数变换。
更雄心勃发，“充分大”忽悠天下，---|-------有几路英雄，“殆素数”兵不厌炸。
莫等闲富贵蒸发岁月流尽虚度年华。---|-------只赢得虚名假誉轻艳浮靡一枕黄梁。
方法只有借助公式才能获得确定的含义，方法是构成公式的成分。公式是具有一定结构的整体，这是公式自身存在与发展的前提。公式是一种体系化和逻辑化了的认识，而体系化规范化的方法是公式的灵魂。理论和公式的意义恰恰不在于他的形式，而在于他形成之后的运行。在于他作为某种因素而导出另外的结果。
公式是方法的收集，方法的反应。仅有方法，无法拓展新的实践和认识，生命力受到局限，只有借助于公式才能向更深层次参透，因为方法是一个层次，他主要是描述性的，例如，埃拉托赛尼筛法是怎样寻找素数。而公式是理论认识，说明“为什么”，相对来说，他超过了个别。
人以理论的方式，观念地把握世界，人以“公式”的形式，观念地把握方法。就公式产生和存在的意义和使命而言，就是要朝着实践方向作认识总过程的再认识（再次飞跃），以创造还未知的外部世界。总之，只有在一切解释皆真的公式，才能算普效的公式，或者逻辑真的公式。要判定一个公式是否可推演出，即是否可证，这是纯形式的问题；要断言一个公式是否真，必须依赖公式以外的解释和模型------即这个公式和方法是否可以做等价转换。
下面谈谈素数普遍公式的一些具体作用：
（一）素数普遍公式是素数定理（若N不能被不大于根号N的任何素数整除，则N是素数）和埃拉托赛尼筛法的表现形式，表明在一定条件下和范围内[P（k+1)平方]主观和客观上的符合。因而是科学真理的一种表现形式。素数普遍公式提供了广泛的概念框架，并且概括出其中普遍的不变关系。
（二）素数普遍公式有助于科学概念和素数理论的形成。素数普遍公式是明确其他科学概念（例如哥德巴赫猜想）的一种有效手段。将来许多科学概念的内涵都会通过素数普遍概念公式表现出来，在素数理论中，素数普遍公式起着极大的作用，他是核心和灵魂。
（三）素数普遍公式有解释和预见功能，由于素数普遍公式是从整体上解释素数性质的，所以常常是演绎推理模型中的大前提（全称），也是预见的先行条件。
（四），在数学论证中，数学证明的本质是用有限驾驭无穷，必须首先找出无穷对象的规律，用公式概括起来，既正面刻画后，才能去证明更深刻的问题。总之，没有素数普遍公式，就不能去催促新的思想。例如有些人用复变函数把简单的素数理论弄的面目全非，违背了事物的真实性，造成了惊心动魄的场面却解决不了实际问题。正如冯。诺伊曼指出的那样：“当一门数学离他的源泉越远，他就变的愈加娇柔造作。
欧几里德是第一个提出素数普遍公式的人，为此，人类这一步却跨越了两千年，这是值得深思的。
希尔伯特对数学成果的评价，那些能把过去统一起来而同时又为未来的拓展开辟了广阔的道路的概念和方法，应该算是最为深刻的概念和方法。素数普遍公式就是一种承上启下，继往开来的思想。令人欣喜的是，自从素数普遍公式发表后，已经有好几篇相关论文发表，为最终解决黎曼猜想等难题做好了基础。我们要想认识素数，就不得不向这个理论屈服。这个方法也许将直接导致大数密码的崩溃，西方数学家在与军方合作时时关注素数研究的进展，我们也应该引起注意。
有网友说“这其实就是埃拉托赛筛法的延伸”，说的非常正确。200万年前，人类中的一员，用手中的木枝，接燃了野火，去点燃预先准备好的柴火，人类第一次主观地利用了火，我们发生了质变。埃氏筛就是野火，我们用（1）式接燃了它，去点燃（2）式。从此，数论将发生质变。
六。素数普遍公式的名称来源
素数普遍公式是美籍俄罗斯人乔治。伽莫夫，在1946年的著作《从一到无穷大》提出的，他还提出过“宇宙大爆咋”理论。
这真是：
两千年期待，姗然迟来。 ----------------|------ 数百位豪杰，尽倾心血。
仰天长叹，空荡荡青春虚度。------------|-------低头沉思，实在在光阴耗尽。
看欧几里德，一筹莫展。------------------|-------思费马玄构，欧拉神算。
艾拉托塞，搜遍骷肠，一声感慨。-------|-------高斯雄才，黎曼假设，无言等待。
天之轿子，何必选此绝路。---------------|-------丰功伟业，愚公岂能移山。
想哈代力博，拉马努贾英年逝。---------|-------绞无尽脑汁，勾不完质数变换。
更雄心勃发，“充分大”忽悠天下，---|-------有几路英雄，“殆素数”兵不厌炸。
莫等闲富贵蒸发岁月流尽虚度年华。---|-------只赢得虚名假誉轻艳浮靡一枕黄梁。
思考题
1、为什么欧拉素数公式f(m)=㎡+m+41,， 当m≥40时，就不灵了？。
2、你能够利用公式编出排列素数的程序吗？
3、你能够证明㎡+1形式的素数有无穷多吗？
4，你能够说明为什么素数P：P=(4ABC-1)/(B+C).这个公式可以构造一切素数。例如17：17=（4x3x2x5-1)/(2+5).
A=3,B=2,C=5.参见百度百科“埃及分数”。类似地：P=[TS-(T-S)/(C-B)^1/2,也可以构造一切素数。
例如17;
17=[43x7-(43-7)/(5-2)]^1/2.=(289)^1/2=17
2、你能够利用公式编出排列素数的程序吗？
3、你能够证明㎡+1形式的素数有无穷多吗？
4，你能够说明为什么素数P：P=(4ABC-1)/(B+C).这个公式可以构造一切素数。例如17：17=（4x3x2x5-1)/(2+5).
A=3,B=2,C=5.参见百度百科“埃及分数”。类似地：P=[TS-(T-S)/(C-B)^1/2,也可以构造一切素数。
例如17;
17=[43x7-(43-7)/(5-2)]^1/2.=(289)^1/2=17