数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 999|回复: 0

人们怎么总跟质数过不去?

[复制链接]
发表于 2022-8-16 12:44 | 显示全部楼层 |阅读模式
人们怎么总跟质数过不去?

撰文 | Patrick Honner

翻译 | C&C

审校 | 藏痴

如果你一直关注这个月的数学新闻,你就会知道 35 岁的数论家詹姆斯·梅纳德(James Maynard)获得了菲尔兹奖——数学家的最高荣誉。据新闻报道,梅纳德喜欢的数学问题“简单到足以向高中生解释,但却足以难倒数学家几个世纪”,其中一个简单的问题是:当你沿着数轴移动时,总会有靠在一起的质数吗?

你可能已经注意到数学家对质数很着迷。是什么吸引了他们?也许是因为质数体现了数学中一些最基本的结构和奥秘。质数描绘了乘法的世界,它允许我们用唯一的因式分解来分类每一个数字。但是,即使人类从乘法诞生之初就开始研究质数,我们仍然不确定质数会出现在哪里,它们的分布范围有多广,或者它们的距离有多近。就我们所知,质数的分布没有简单的规律。

我们对这些基本概念的迷恋导致了数百种不同类型质数的发明或发现:梅森质数( 2^n-1 形式的质数),平衡质数 (两个相邻质数的平均值) ,索菲·日尔曼质数(p 是质数同时 2p + 1 也是质数),如此等等。



人们对这些特殊质数的兴趣源于对数字的研究和新发现的获得。“数位敏感质数(digitally delicate primes)”也是如此。最近,数位敏感质数产生了一些关于最基本问题的惊人结果:某些类型质数的出现频率到底有多少?

为了理解这个问题,让我们从数学爱好者了解到的第一个有趣的事实开始:质数有无穷多个。两千年前欧几里得用数学史上最著名的反证法证明了这一点。他首先假设质数只有有限的数量,并把所有的 n 个质数想象成一个列表:p1,p2,p3,…,pn 。然后他做了一个巧妙的处理:他想到了这个数字 q = p1×p2×p3×…×pn + 1 。

注意 q 不可能在上面的质数列表中,因为它比列表中所有的数都大。所以如果存在一个有限的质数列表,那么 q 就不是质数。但如果 q 不是质数,那么它一定能被除它和 1 以外的数整除。反过来,这意味着 q 一定能被列表中的某个质数整除,但由于 q 的构造方式,q 除以链表上的任何数,余数都是 1 。显然 q 既不是质数也不能被任何质数整除,出现这样矛盾的原因是假设质数数量有限。因此,为了避免这个矛盾,实际上必须有无穷多个质数。

考虑到质数有无穷多个,你可能会认为所有种类的质数都很容易找到,但数学家接下来要学习的一件事是质数可以有多分散。一个被称为质数间隙的关于相邻质数之间间隔的简单结果,说明了一些令人惊讶的事情。

前 10 个质数—— 2、3、5、7、11、13、17、19、23 和 29 ——之中,你可以看到由一个或多个合数 (不是质数的数,如 4、12 或 27 ) 组成的空隙。你可以通过计算其中合数的数目来测量这些间隙:例如,在 2 和 3 之间有一个尺寸为 0 的间隙,在 3 和 5 、5 和 7 之间有一个尺寸为 1 的间隙,在 7 和 11 之间有一个尺寸为 3 的间隙,等等。这个列表中最大的间隙是 23 和 29 之间的 5 个合数—— 24、25、26、27 和 28 。

现在让我们看看一个令人难以置信的结果:质数间隙可以是任意长的。这意味着存在相邻的质数,它们之间的距离是无穷远。也许同样令人难以置信的是,这个事实非常容易被证明。

我们上面已经有了一个长度为 5 的质数间隙。会有长度为 6 的吗?我们不必寻找质数表来找到这样的例子,我们可以自己构造一个。为此,我们将使用基本算术公式中使用的阶乘函数:根据定义,整数 n 的阶乘 n! = n×(n-1)×(n-2)×…×3×2×1 ,例如 3! = 3×2×1 = 6 和 5! = 5×4×3×2×1=120 。

现在让我们来构造我们想要的质数间隙。考虑以下连续的数字序列:

7!+2 ,7!+3 ,7!+4 ,7!+5 ,7!+6 ,7!+7 。

因为 7! = 7×6×5×4×3×2×1 ,我们序列中的第一个数字,7!+2 可以被 2 整除,你可以通过分解看出:

7! + 2 = 7×6×5×4×3×2×1 + 2 = 2×(7×6×5×4×3×1 + 1) 。

同样,第二个数字,7!+3 ,能被 3 整除,因为 :

7! + 3 = 7×6×5×4×3×2×1 + 3 = 3×(7×6×5×4×2×1 + 1) 。

同样,7!+4 能被 4 整除,7!+5 能被 5 整除,7!+6 能被 6 整除,还有 7!+7 能被 7 整除,因此 7!+2 ,7!+3 ,7!+4 ,7!+5 ,7!+6 ,7!+7 是六个连续的合数。我们的质数间隙至少是 6 。这种策略很容易概括。序列 n!+2 ,n!+3 ,n!+4 ,…,n!+n 是一个由 n-1 个连续合数组成的序列,这意味着,对于任何 n ,存在一个长度至少为 n-1 的质数间隙。

这表明存在着任意长的质数间隙,所以在自然数列表中,有一些地方离最近的质数相差了 100 个,1000 个,甚至 10 亿个数字。

从这些结果中可以看出一种典型的矛盾。质数有无穷多个,而连续的质数也可以相距无穷远。更重要的是,有无限多个相邻的质数。大约 10 年前,张益唐的开创性工作引发了一场缩小间隙和证明孪生质数猜想的竞赛。孪生质数猜想断言,有无穷多对相差仅为 2 的质数。孪生质数猜想是数学中最著名的开放问题之一,詹姆斯·梅纳德(James Maynard)为证明这一难以捉摸的结果做出了自己的重大贡献。

这种矛盾也出现在最近关于所谓的数位敏感质数的研究结果中。为了了解这些数字是什么,以及它们可能出现的位置,请花点时间思考下面这个奇怪的问题:有没有一种两位数的质数,只要其中一位数有所变化,就一定会成为合数?

为了了解数位敏感,我们来试试数字 23 。我们知道它是个质数,但如果你改变它的个位数会怎样? 20、22、24、26、28 都是偶数,因此是合数;21 能被 3 整除,25 能被 5 整除,27 能被 9 整除。到目前为止,一切顺利。但如果把个位换成 9 ,得到 29 ,仍然是质数。所以 23 不是我们要找的质数。

37 呢?正如我们上面看到的,我们不需要检查偶数或以 5 结尾的数,所以我们只检查 31、33 和 39 。31 也是质数,所以 37 也不行。

这样的数字存在吗?答案是肯定的,但我们必须一直算到 97 才能找到它:97 是质数,但 91(能被 7 整除)、93(能被 3 整除)和 99(也能被 3 整除)都是合数,除此之外就是偶数和 95 。

如果你把质数的任何一个数字换成其他数字,它就不再是质数,那么这个质数就是“敏感的”。到目前为止,我们看到 97 在个位数字上很敏感——因为改变那个数字总是产生合数——但是 97 满足数位敏感的全部标准吗?答案是否定的,因为如果把十位数字改成 1 ,得到 17 ,一个质数。(注意 37、47 和 67 也都是质数。)

事实上,没有两位数的数位敏感质数。下表列出了所有两位数的数字,其中质数被标记出来。



同一行中的所有数都有相同的十位,同一列中的所有数都有相同的个位。97 是它所处的这一行中唯一一个带阴影的数字,这说明它在个位上很敏感,但它不是这一列的唯一质数,这意味着它在十位上不敏感。

数位敏感的两位数质数必须是其行和列中唯一的质数。如表所示,不存在这样的两位数质数。那么一个数位敏感的三位数质数呢?下面是一个类似的表格,显示了 100 到 199 之间的三位数质数的布局,其中的合数被省略了。



这里我们看到 113 独自占据一行,这意味着它在个位数上很敏感。但是 113 并不在它自己独占的一列中,所以对十位数字进行一些修改(比如将十位改为 0 得到 103 或改为 6 得到 163 )就产生了质数。由于没有一个数字独自在一行以及一列中,因此我们很快就会发现:如果你改变某个三位数的个位或十位数字,没有谁一定是合数。这意味着不可能有三位数的数位敏感质数。注意,我们甚至没有检查百位。要真正做到数位敏感,一个三位数的数字必须在三维表格中避开三个方向的质数。

数字世界中真的存在数位敏感质数吗?在数轴上越往远处质数就越稀疏,这使得它们不太可能在高维表的行和列中交叉。但更大的数字有更多的数位,每增加一个数位,成为数位敏感质数的可能性就会降低。

如果继续研究,你会发现数位敏感质数确实存在。最小的是 294001 。当你改变其中一位数时,你得到的数字——比如 794001 或 284001 ——将是合数。还有更多:接下来的几个是 505447 ;584141 ;604171 ;971767 ;1062599 。事实上,这是一个无穷数列。著名数学家保罗·埃尔德什(Paul Erdos)证明了数字上有无穷多个数位敏感质数。这只是关于这些奇怪数字的许多令人惊讶的结果中的第一个。

例如,埃尔德什不仅证明了有无穷多个数位敏感质数:他还证明了在任何基数下都有无穷多个数位敏感质数。因此,如果你选择用二进制、三元或十六进制来表示数字,你仍然可以找到无穷多个数位敏感质数。

数位敏感质数并不仅仅是无限的:它们在所有质数中所占的比例不为零。这意味着,如果你观察数位敏感质数的数量与所有质数数量的比率,这个分数是一个大于零的数字。用专业术语来说,所有质数的“正值的比例”在数位上是敏感的,正如菲尔兹奖得主陶哲轩 (Terence Tao) 在 2010 年证明的那样。质数本身在所有数中所占的比例并不为正,因为数轴越往外,质数就越少。然而,在这些质数中,你会继续足够频繁地发现数位敏感质数,使得数位敏感质数与总质数的数量比例保持在零以上。

也许最令人震惊的发现是 2020 年关于这些奇怪数字的新变化的结果。通过放宽数位的概念,数学家们重新设想了数字的表示方式:他们不再只考虑 97 ,而是认为 97 前面有 0 :…0000000097 。

每个前导零都可以被认为是一个数位,数位敏感的问题可以扩展到这些新的表示。是否存在“广义数位敏感质数”——如果你改变任何一个数位,包括前导的任何一个零,质数总是成为合数?由于数学家 Michael Filaseta 和 Jeremiah Southwick 的工作,我们惊奇地知道答案是肯定的。不仅存在广义数位敏感质数,而且它们的数量也是无穷无尽的。

质数构成了一串无穷无尽的数学谜题,供专业人士和爱好者们玩味。我们可能永远无法解开它们所有的秘密,但你可以指望数学家不断地发现和发明新的质数种类来探索。

练习

1. 2 和 101 之间最大的质数间隙是多少?

答案

最大的间隙在质数 89 和 97 之间。一般来说,当你沿着数轴往外走的时候,间隙会变大,当然孪生质数猜想认为无论你往外走多远,总有离得很近的质数。还请注意,在本专栏中使用的构造质数间隙的方法是多么低效:要构造如此大小的质数间隙,你将从数字 8! + 2 = 40322 开始。

2. 为了证明有无穷多个质数,欧几里得假设有有限多个质数 p1,p2,p3,…,pn ,然后证明 q = p1×p2×p3×…×pn + 1 不能被列表上的任何质数整除。这不是意味着 q 一定是质数吗?

答案

并不是。考虑前六个质数:2、3、5、7、11 和 13 。在这种情况下,数字 q 将是 2×3×5×7×11×13 + 1 = 30031 。它不能被 2、3、5、7、11 或 13 整除,但它不是质数:它可以分解成 30031 = 59×509 。注意它有质数因子,但它们都比前 6 个质数大。

3. 数论中一个著名的结果是,对于任意正整数 k ,k 到 2k(包括)之间总是有至少一个质数。这很难证明,但很容易证明 k 和 q 之间总是有一个质数 q = p1×p2×p3×…×pn + 1(包括),其中 p1,p2,p3,…,pn 是所有小于等于 k 的质数。证明它。

答案

如果 k 或 q 是质数,我们就证明完了。如果 q 不是质数,它是合数,也就是说它能被某个质数整除,但我们已经知道它不能被前 n 个质数整除。因此它必须能被一个大于前 n 个质数的质数整除;因为这些都是小于 k 的质数,所以这个质数一定大于 k ,但这个质数能除 q ,所以它一定小于 q ,所以 k 和 q 之间一定有一个质数。

4. 你能找到最小的在个位和十位数上敏感的质数吗?这意味着改变个位或十位数字总是会产生合数。(你可能需要编写一个计算机程序来做到这一点!)

答案

第一个满足这个性质的质数是 2459 ,因为 2451、2453 和 2457 都是合数(满足个位数敏感标准),2409、2419、2429、2439、2449、2469、2479、2489和 2499 都是合数(满足十位数字敏感标准)。然而,2459 并不是数位敏感质数,因为 2659 是质数,所以一旦你开始考虑百位数字,它就失效了。

挑战问题:用二进制表示时,你能找到最小的数位敏感质数吗?回想一下,在二进制或以 2 为基数的情况下,唯一的数字是 0 和 1 ,每个位值代表 2 的幂。例如,8 表示为 1000[2] ,因为 8 = 1×2^3 + 0×2^2 + 0×2^1 + 0×20 ,而 7 以 2 为基数表示为 111[2] ,因为 7 = 1×2^2 + 1×2^1 + 1×20 。

答案

127 = 1111111[2] 是数位敏感的,因为 126 = 1111110[2] ,125 = 1111101[2] ,123 = 1111011[2] ,119 = 1110111[2] , 111 = 1101111[2] , 95 = 1011111[2] ,63 = 0111111[2] 都是合数。

本文转载自微信公众号“中科院物理所”,编辑:藏痴。

原文链接:How Can Infinitely Many Primes Be Infinitely Far Apart?

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2024-3-29 05:51 , Processed in 0.071289 second(s), 16 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表