算数数列中的质数

在数论中，算数数列中的质数的研究范围包括任何包含至少三个在等差数列中彼此相邻的质数的数列。一个这样的序列的例子是，而这序列可由在时给出。
根据格林-陶定理，在质数构成的数列中，存在任意长的等差数列。
有时这概念也可用以指涉同时包含合数的等差数列中出现的质数，像例如说，这概念也可用以指称有着这样形式且与互质的等差数列；而根据狄利克雷定理，这样的数列包含无限多的质数，也包含无限多的合数。
对于大于3的正整数而言，AP-k（又作PAP-k）指的是任意等差数列中任意个彼此相邻的质数。一个AP-k可写成这样变数为个连续数值的形式，其中（公差）与是固定数。一般以至来表达一个AP-k，这总可借由将给定义成算术数列中的第一个质数达成。
在本文中，以代表对于质数的质数阶乘，以代表对于所有不大于的质数（其中是不大于的最大质数）的质数阶乘。

**性质**
任何由质数构成的等差数列，其长度皆有限。在2004年，Ben_Green_(mathematician)和陶哲轩借由证明格林-陶定理解决了一个悬宕多年的旧猜想，也就是质数集合中包含任意长度等差数列的猜想。由此可立即推得说，对于任意而言，都存在有无限多个AP-k。
假若一个AP-k不以质数起始，那其公差就是形如这样的质数阶乘，其中不大于的质数中最大的质数。
证明：设要证明的AP-k的形式为，其中是变数，其数值为个连续正整数。若不能为质数除尽，那根据模算数，在这等差序列中，每隔项就会有一项被除尽。因此若AP对于连续个值都是质数，那么就必然为所有不大于的质数所除尽。
这也显示了一个包含公差的AP，其连续的质数项的数量，不能超过最小且不能除尽的质数的值。
若是一个质数，那么AP-k就可以起始并包含大小仅为而非的公差。像例如包含这三项的AP-3，其公差为；而包含这五项的AP-5，其公差为。目前有猜想认为，对所有为质数的，都有如此的例子。截至2018为止，已确认有此性质的最大质数是，而相关的AP-19如下，由Wojciech Iżykowski于2013年发现：
，其中的值为0到18。
这猜想可由迪克森猜想或质数k元组猜想等广泛认为正确的猜想得出，在其中，若是最小不能为所除尽的数，那就存在有无限多公差为的AP-。像例如5是不能除尽6的最小质数，因此可期望说有无限多的AP-4，其公差为6，而这样的数组又称为六质数四胞胎；而当且时，这即是孪生质数猜想，在此情况下，此AP-2会包含跟这两个质数。

**AP中最小的质数**
此处的最后项最小化

**AP中最大已知的质数**
为止，已知最长的AP-k是AP-27，同时也已知数个AP-26的例子。这些数列的第一个是由Benoît Perichon在2010年4月12日以一台PlayStation 3发现的，他用的软体由Jarosław Wróblewski及Geoff Reynolds所开发、由Bryan Little转平台到PlayStation 3上，并作为PrimeGrid计划的一部分发布。以下是他发现的质数序列：
，其中的值为0到25。id=A204189
在发现第一个AP-26时，PrimeGrid将整个搜寻分成131,436,182个段落，并交由全球各地的32跟64位元CPA、Nvidia CUDA GPU以及Cell微处理器等进行搜寻。
在此之前，已知最长的数列是由Raanan Chermoni和Jarosław Wróblewski在2008年5月17日发现的一个AP-25：
，其中的值为0到24。（另外）
对这AP-25的搜寻是在一台CPU为Athlon 64的电脑上进行的，搜寻的部分首先分成段落，并花了大约3分钟。对此Wróblewski说道：「我认为Raanan搜寻的段落少于10,000,000个。」（而用Athlon 64的CPU大概要花57个CPU年才能完成完整的搜寻）
更早以前的纪录，是一个由在2007年1月18日由Jarosław Wróblewski独自发现的AP-24：
，其中的值为0到23。
对此Wróblewski回报说他用了75台电脑，其中15台装载64位元的Athlon中央处理器，15台装载64位元的Pentium D 805中央处理器；30台装载32位元的Athlon 2500中央处理器，以及15台装载Duron 900中央处理器。
下表显示了历来最大已知的AP-k及其发现年分和末项质数的数字位数。
应当注意的是，最大已知的AP-k可能会以已知的AP-(k+1)结尾。
一些记录创造者首先先计算大量形如且固定的质数然后再开始对不同的寻找能生出质数的AP。这反映在一些纪录的表现形式中，而这些纪录可轻易地重写成的形式。

**等差数列中的相邻质数**
等差数列中的相邻质数（Consecutive primes in arithmetic progression）一般涉及的是三个彼此相邻，在等差数列中也彼此为相邻项的质数。和AP-k不同的是，在此所有其他相邻质数中间的所有其他的、那些不在等差数列中的数，都必须是合成数。像是这个AP-3数列就不合定义，因为5也是质数。
对于大于3的正整数而言，CPAP-k指的是等差数列中个彼此在等差数列外也相邻的质数。目前有猜想认为存在有任意长度的CPAP，也就是说，对于任意的都有无限多个CPAP-k。CPAP-3的中间项又称为平衡质数，lc=on为止，已知最大的平衡质数有15004位数。
第一个已知的CPAP-10在1998年由Manfred Toplic在参与分布式计算计划CP10时发现，而CP10这项分布式计算计划是由Harvey Dubner、Tony Forbes、Nik Lygeros、Michel Mizony和Paul Zimmermann等人组织发起的。这个CP10有着最小可能的公差；而lc=on为止，只有另一个CPAP-10是已知的，且是由同一人在2008年发现的。
若CPAP-11存在，则其公差必然为的倍数，也因此其中第一项和最后一项质数的差会是23100的倍数，这代表在这11个质数之间，至少会有23090个合成数，因此要找到CPAP-11会是极为困难的。Dubner和Zimmermann估计说，找到CPAP-11的难度，至少会是找到CPAP-10的倍。

**AP中最小的相邻质数**
目前只知道当时，相应的CPAP-k的首次出现处。A006560

**AP中已知最大的相邻质数**
此表显示等差数列中已知最大的个相邻质数，分别从到。
指的是一个在上述纪录用以保证在不寻常多地、依条件要求的合成数中都会有小因数的d位数字。

**参见**
Cunningham chain
*塞迈雷迪定理
*PrimeGrid
*Problems involving arithmetic progressions

**出处**

**参考资料**
Chris Caldwell,  The Prime Glossary: arithmetic sequence,  The Top Twenty: Arithmetic Progressions of Primes and  The Top Twenty: Consecutive Primes in Arithmetic Progression, all from the Prime Pages.
*urlname=PrimeArithmeticProgression
*Jarosław Wróblewski,  How to search for 26 primes in arithmetic progression?
*P. Erdős and P. Turán, On some sequences of integers, J. London Math. Soc. 11 (1936), 261–264.