素数公式

✍ dations ◷ 2025-06-07 21:52:41 #素数,趣味数学,数学公式

质数公式,又称素数公式,在数学领域中,表示一种能够仅产生素数(素数)的公式。即是说,这个公式能够一个不漏地产生所有的素数,并且对每个输入的值,此公式产生的结果都是素数。由于素数的个数是可数的,因此一般假设输入的值是自然数集(或整数集及其它可数集)。迄今为止,人们尚未找到易于计算且符合上述条件的素数公式,但对于素数公式应该具备的性质已经有了大量的研究。

可以证明,一个整系数多项式(),如果不是常数函数的话,不会是一个素数公式。证明很简单:假设这样的一个多项式()存在。那么(1)将是一个素数。接下来考虑 P ( 1 + k p ) {\displaystyle P(1+kp)} ,我们有 P ( 1 + k p ) 0 ( mod p ) {\displaystyle P(1+kp)\equiv 0{\pmod {p}}} 的倍数,但已然假设 P {\displaystyle P} 1 + k p {\displaystyle 1+kp} () - 的一个根。但根据代数基本定理,一个非零的整系数多项式不可能有无穷多个根。故此,()只能是常数函数。

应用代数数理论,可以证明更强的结果:不存在能够对几乎所有自然数输入,都能产生素数的非常数的多项式()。

欧拉在1772年发现,对于小于40的所有自然数,多项式

的值都是素数。对于前几个自然数 = 0, 1, 2, 3...,多项式的值是41, 43, 47, 53, 61, 71...。当等于40时,多项式的值是1681=41×41,是一个合数。实际上,当能被41整除的时候,()也能被41整除,因而是合数。这个公式和所谓的素数螺旋有关,也和黑格纳数 163 = 4 41 1 {\displaystyle 163=4\cdot 41-1} 和, 线性函数 L ( n ) = a n + b {\displaystyle L(n)=an+b} ,都存在着整数对, ,使得对于每个0与−1之间的, L ( n ) = a n + b {\displaystyle L(n)=an+b} ,找出和是很困难的。目前最好的结果是对于 = 26,

一个很著名的素数公式是以下的有26个未知数的由14个方程组成的丢番图方程组Jones et al.(1976):

对于这个方程组的所有正整数解:(a,b,...,z), + 2都是素数。可以把这个公式改写成多项式的形式:将14个等式记作p1,p2,……,p14,那么可以说,多项式 ( k + 2 ) ( 1 p 1 2 p 2 2 p 14 2 ) {\displaystyle (k+2)(1-p_{1}^{2}-p_{2}^{2}-\cdots -p_{14}^{2})} 个素数的表达式:

第一个带高斯函数的素数公式由W. H. Mills在1947年构造。他证明了存在实数使得数列

中的每个数都是素数。最小的称为米尔斯常数,如果黎曼猜想成立,它的值大约为: A 1.30637788386308069046 {\displaystyle A\approx 1.30637788386308069046\ldots } 的性质所知甚少,甚至不知道是否为有理数。而且,除了用素数值逼近外,没有其他计算的方法。

使用威尔逊定理,可以建立一些其他的素数公式。以下的公式也没有什么实际价值,大多数的素性测试都比它远为有效。

我们定义

或者

这两种定义是等价的。π()就是小于的素数个数。于是,我们可以定义第个素数如下:

这个例子没有用到阶乘和威尔逊定理,但也大量应用了高斯函数(S. M. Ruiz 2000)。首先定义:

然后就有第个素数的表达式:

另外一个素数公式由以下递推关系组成的数列,其前后项的差来定义:

其中gcd(, )表示和的最大公约数。这个数列的开始几项an+1 - an是1, 1, 1, 5, 3, 1, 1, 1, 1, 11, 3, 1, 1 (OEIS中的数列A132199)。Rowlands (2008)证明了这个数列只含有一和素数。

其中,素数2出现无限多次,其余的素数恰好出现一次。实际上,当是素数的时候,由威尔逊定理, 2 n ! ( mod n + 1 ) {\displaystyle 2n!\;{\pmod {n+1}}} ,于是 f ( n ) = p {\displaystyle f(n)=p} 是合数的时候, 2 n ! ( mod n + 1 ) {\displaystyle 2n!{\pmod {n+1}}} 等于0,于是得到2。

相关

  • 古埃及医学古埃及医学,为古埃及的传统医学,约起源于公元前33世纪,一直延续到公元前525年波斯帝国入侵为止。传统上认为,印何阗是古埃及医学的殿基者。古埃及医学是同时代中最先进的医学体
  • 鼠类鼠,又称老鼠或耗子,即鼠总科(Muroidea),是一种属于啮齿类的总科,其中含有仓鼠、沙鼠、大鼠、小鼠,以及其他亲缘动物。它们广泛分布于南极以外的各个大陆。由于难以测定各分类群之间
  • 直名丁宜岛直名丁宜岛是印度尼西亚的岛屿,由廖内群岛省负责管辖,位于苏门答腊岛北面的马六甲海峡,北面是朗桑岛,西面是巴东岛。
  • 乔治梅森大学乔治梅森大学(英语:George Mason University,简称Mason),是一间主校区位于美国弗吉尼亚州费尔法克斯的公立研究型大学,此外在州内还有三个分校区。该大学创建于1949年,当时是弗吉尼
  • 卡达山人卡达山-杜顺人,由卡达山人及杜顺人原住民联合而成,是马来西亚沙巴州内最大的达雅族群,大部分居住在沿海城市及内陆地区,如兵南邦(Penampang)、下南南(Inanam)、担布南(Tambunan)、哥打
  • 太阳系探测器列表太阳系探测器包括所有曾试图到达地球以外层空间的探测器(无论任务成功与否),其目标任务囊括了小行星、行星、卫星、太阳甚至是太阳系外的探测。其中有一些任务仅飞掠小行星、行
  • 巴希尔·扎哈罗夫巴希尔·扎哈罗夫(希腊语:Βασίλειος Ζαχάρωφ,土耳其语:Basil Zaharoff;1849年10月6日-1936年11月27日),本名巴西里奥斯·扎哈利亚斯(希腊语:Βασίλειος Ζα
  • 丽贝卡·沃德丽贝卡·沃德(英语:Rebecca Ward,1990年2月7日-),美国女子击剑运动员。在2008年北京奥运中,获得个人佩剑铜牌,以及团体佩剑铜牌。另外,她曾在2006年世界击剑锦标赛中,获得佩剑个人金牌
  • 卡尔·施皮特勒卡尔·弗里德里希·格奥尔格·施皮特勒(Carl Friedrich Georg Spitteler,1845年4月24日-1924年12月29日),瑞士诗人和小说家,1920年获得1919年度的诺贝尔文学奖。施皮特勒出生在瑞
  • 侯益侯益(886年-965年),唐末汾州平遥人。一生经历了唐末至宋初之间的整个五代十国时代。祖父以农为业。唐昭宗光化年间,李克用据太原,侯益前往投靠。随李存勖攻大名(今河北大名)、征幽州