素数公式

✍ dations ◷ 2025-09-11 15:34:29 #素数,趣味数学,数学公式

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

可以证明,一个整系数多项式(),如果不是常数函数的话,不会是一个素数公式。证明很简单:假设这样的一个多项式()存在。那么(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。

相关

  • 花柳性淋巴肉芽肿花柳性淋巴肉芽肿,是一种由砂眼披衣菌引起的性病,特别盛行于亚、热带地区。其男性患者远多于女性患者。淋巴肉芽肿症状经过1-3周的潜伏期后,受感染患处(通常是性器官)会出现一个
  • 量词量词(英语:measure word),学术名称分类词(classifier),是一种存在于某些语言中的词语或语素,用来区分由可数名词指代的不同事物。在存在分类词的语言中,分类词常常用于名词被计数或者
  • 平移对称性在仿射几何,平移(translation)是将物件的每点向同一方向移动相同距离。它是等距同构,是仿射空间中仿射变换的一种。它可以视为将同一个向量加到每点上,或将坐标系统的中心移动所
  • 矿物补充剂矿物质,又称为无机盐,除了碳、氢、氮和氧之外,也是生物必需的化学元素之一,也是构成人体组织、维持正常的生理功能和生化代谢等生命活动的主要元素,约占人体体重的4.4%。它们可以
  • 罗尼·奥沙利文罗尼·安东尼奥·奥沙利文,OBE(英语:Ronnie Antonio O'Sullivan,1975年12月5日-)。英格兰著名的台球选手,因击球速度快,打法流畅,如行云流水一般,得外号“火箭”之称,是台球运动中罕见
  • ATC代码 (V09)A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码V09(诊断用放射性药物)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Co
  • 欧洲审计院本文是 欧洲联盟的政治与政府 系列条目之一欧洲审计院为欧洲联盟主要下设机构之一。其主要职责是审计欧盟及其所属机构的账务以及财政收支。另外,欧洲审计院还可以对接受欧盟
  • 伊本·阿尔法齐赫艾哈迈德·本·穆罕默德·伊本·法齐赫·哈马达尼(波斯语:احمد بن محمد ابن الفقيه الهمذانی‎)是10世纪波斯历史学家与地理学家,以其阿拉伯语著作
  • 全美超级模特儿新秀大赛 (第九季)《全美超级模特儿新秀大赛》第九季,是美国真人秀《全美超级模特儿新秀大赛》的第九季。在2007年9月19日于The CW首播。本季获胜者可获得成为Elite模特公司旗下的模特儿、一份
  • 弗兰克·布赖恩弗兰克·桑德斯·布赖恩(英语:Frank Sands Brian,1923年5月1日-2017年5月14日),美国NBA联盟的前职业篮球运动员。