近30年无人解开的数学难题:终于有答案了

行情 | 2022-08-21 03:54:15| 36

数学界几十年来的一个谜题,终于被解开了。

这个猜想和初等数论中经典的佩尔(Pell)方程:x2-d*y2=1有关。

(这里d是整数,求x、y也都是整数的解。)

在此之前,经典佩尔方程的整数解情况已得到证明:

当d≤0或d为某大于0的完全平方数时,该方程有唯一解:x=±1,y=0;当d>0且不是完全平方数时,该方程有无数组正整数解。

不过数学家们的探究精神一般不会止步于此。

有人提出将等号右边的1变成-1,并将这个新的方程称为负佩尔方程( II型佩尔方程),结果整数解的情况立刻变得复杂了许多。

时间拨到1993年,当时数学家彼得·史蒂文哈根(Peter Stevenhargen)提出了一个公式,对负佩尔方程的整数解情况给出一个精确的答案。

而这个猜想提出后的30年,数学界一直无法证明它的正确性。

但现如今,来自康考迪亚大学的卡罗·帕加诺(Carlo Pagano)和密歇根大学的皮特·科伊曼斯(Peter Koymans),终于给出了猜想的“正解”。

帕加诺的导师Hendrik Lenstra教授甚至对此评价说:

这个成果为数论的一个分支开辟了新篇章。

数论中的经典:佩尔方程

在介绍负佩尔方程之前,让我们先来了解一下经典的佩尔方程从何而来。

佩尔方程,其实与佩尔完全无关。

这一理论最早由费马(Pierre de Fermat)进行深入研究,由拉格朗日(Joseph-Louis Lagrange)给出解决方案,但后来因为被欧拉(Leonhard Euler)误记为佩尔提出,就阴差阳错的流传下来。

它的具体形式为:x2-d*y2=1

当d是正整数且不是完全平方数,则存在无穷多个解。

举个例子,数学史上有个经典的“阿基米德群牛问题”:

太阳神养了一群牛,这些牛有公有母,分白色、黑色、黄色和花色四种颜色,给定一系列条件,求解牛的总数有多少?各种颜色的牛分别是多少?

这个问题起一直以来吸引了很多数学家的兴趣,最后经过一系列计算,被演化为求解一个佩尔方程:

x2-4729494*y2=1

2000年,伦斯查(Lenstra)完全解决了这个问题,他得出了阿基米德群牛问题的所有解:

近30年无人解开的数学难题:终于有答案了

不仅解的数量多,牛的最小数量也让人惊呼:或许只有真·太阳神才能管理了。

不同于佩尔方程,负佩尔方程的整数解情况要复杂得多。

负佩尔方程

前文提到,负佩尔方程可表示为:x2-d*y2=-1;d为整数。

显然,当d≤0,以及d为大于1的完全平方数时,方程无整数解。

此外,负佩尔方程的整数解复杂性还体现在:

负佩尔方程中的很多d值都无整数解。据已知规则得出,d不能是3、7、11、15的倍数等。

但除了这些值外,并不是其他的d值就一定有整数解。例如当d=3时,x2–3*y2=-1,无论沿着数轴看多远,都永远找不到解。

但事实上,排除3、7、11、15的倍数后,并不是取其他的d值,负佩尔方程就一定有整数解。

给定d值后,首先需要求出负佩尔方程的基本解。

对负佩尔方程的求通解可使用这个公式:

近30年无人解开的数学难题:终于有答案了

其中,这里的n为任意正整数;a和b则是负佩尔方程的基本解,并有如下等式:

近30年无人解开的数学难题:终于有答案了

x0和y0就是经典佩尔方程的基本解。

更多与之相关的细节研究可参考论文:

近30年无人解开的数学难题:终于有答案了

研究者简介

最后,来看看这两位证明这个30年前猜想的数学家们吧——

卡罗·帕加诺(Carlo Pagano),是加拿大康考迪亚大学的助理教授,主要研究方向是数论。

此前分别获得了格拉斯哥大学和马克斯·普朗克研究所的数学博士后学位,博士毕业于莱顿大学数学专业,导师是Hendrik Lenstra。

皮特·科伊曼斯(Peter Koymans),目前正在密歇根大学攻读博士后,主要研究方向是数论及其周边领域。

近30年无人解开的数学难题:终于有答案了

此前在马克斯·普朗克数学研究所从事博士后研究,博士毕业于莱顿大学数学专业,导师是Jan-Hendrik Evertse和Peter Stevenhagen。

可以看出,两人的学习轨迹有很多重合的部分,不仅如此,他们在研究生时期也是同学。

为了这项研究,两人整整一年天天见面,每天在黑板上进行各种演算,互相完善对方提出来的想法,就连午餐时间都不放过,如果有人在独处时有了新想法,就会随时发短信通知另一个人。

尽管非常有挑战性,科伊曼斯却在回忆起这段时间时说:“我们一起做这件事很有趣。”

标签:, ,

相关推荐

历代小米旗舰价格汇总 猜猜小米13会涨多少?

历代小米旗舰价格汇总 猜猜小米13会涨多少?

小米13系列已宣布重新定档12月11日。随着发布时间的临近,小米手机官方也逐渐透露了更多有关新机的信息。小米13系列的外观设计和核心配置我们大概已经知晓,价格成了最大的悬念。作为参考,有网友将小米1-小米12系列的售价进行了汇总。

行情 5 2022-12-09 16:15:23
特斯拉Model Y被曝疑集体通病!车主:冬天跑不了直线

特斯拉Model Y被曝疑集体通病!车主:冬天跑不了直线

近段时间,随着国内大部分地区陆续降温,越来越多的特斯拉Model Y车主,集体投诉或者曝光,方向盘抖动和卡顿迟滞的问题。

行情 6 2022-12-09 16:14:41
一图看懂华为WATCH Buds:首次把无线耳机装进手表里

一图看懂华为WATCH Buds:首次把无线耳机装进手表里

今天下午的冬季发布会上,华为推出了nova 10 SE、畅享50Z、WATCH GT 3Pro典藏版、儿童手表5X Pro及WATCH Budss等新品,其中最引人瞩目的当属WATCH Buds,这是一款手表、无线耳机二合一产品,还是全球首次。

行情 6 2022-12-09 16:13:14
长城羡慕极了 比亚迪全新皮卡谍照曝光:DM混动没跑

长城羡慕极了 比亚迪全新皮卡谍照曝光:DM混动没跑

比亚迪竟然要出皮卡了!这不,谍照都已曝光。 近日,有小红书用户拍到了比亚迪全新混动皮卡的照片,虽然依旧覆盖有较厚的伪装,但也能看清它的部分细节。 前脸看去,该车大概率会采用横辐条式进气格栅,硬朗非常,两侧是硕大的灯组,内部或将集成纵向分布 ...

行情 5 2022-12-09 16:13:11
卢伟冰直言陶瓷版贵!友商:这手机后盖比贵更贵

卢伟冰直言陶瓷版贵!友商:这手机后盖比贵更贵

今日消息,小米集团中国区总裁卢伟冰表示,陶瓷只有一个缺点:贵。 随后中兴通讯吕钱浩表示,Axon 40 Ultra航天版采用难度更高但质感更晶润纯粹的HT玄晶陶瓷,以及加工难度更高时间更长但触感和美感更加融合有型的一体纳米流延成形工艺。这成本难度,比贵 ...

行情 7 2022-12-09 16:12:02
火车还没到终点 为什么要换司机?官方科普

火车还没到终点 为什么要换司机?官方科普

坐火车时,你有没有发现,火车司机会在中途某个火车站进行交接班的操作。火车还没到终点,为什么要换司机呢?

行情 7 2022-12-09 16:11:38
一箭十四星 捷龙三号运载火箭首飞发射成功:海陆两用

一箭十四星 捷龙三号运载火箭首飞发射成功:海陆两用

12月9日是中国航天双喜临门的日子,今天凌晨长征二号丁运载火箭成功将高分五号01A卫星发射升空,下午捷龙三号火箭又成功发射一箭十四星,这还是该型火箭的首次发射。

行情 7 2022-12-09 16:10:30
《三体》明天开播!刘慈欣亲自预热:人类只是一粒尘埃

《三体》明天开播!刘慈欣亲自预热:人类只是一粒尘埃

据此前官方消息,《三体》动画将于明天(12月10日)11:00正式开播,而且首日两集连播。

行情 9 2022-12-09 16:09:06
QQ等级全球第一!本人回应让网友羡慕:家里开网吧的

QQ等级全球第一!本人回应让网友羡慕:家里开网吧的

今日,腾讯宣布,QQ等级全球排行榜正式上线,你的QQ等级在世界排名第几终于知道了。 从榜单来看,排名第一的是一位来自山东的网友,QQ昵称为“爱*末”,QQ等级202级。 他是如何才能把QQ号的等级挂到这么高的?为了满足网友的好奇心,腾讯QQ官方 ...

行情 5 2022-12-09 16:08:34
4080 12G没失败!RTX 4070/Ti大曝光:NV拒绝自降身段

4080 12G没失败!RTX 4070/Ti大曝光:NV拒绝自降身段

在售的RTX 40系显卡,依然需要万元预算才能入手。 爆料指出,NVIDIA最快于明年1月初的CES 2023大展上更新RTX 4070 Ti和RTX 4070桌面显卡。 其中,RTX 4070 Ti就是之前RTX 4080 12GB的换皮。RTX 4070则在此基础上,再砍一刀。 硬件好手kopite7kimi透露,RT ...

行情 4 2022-12-09 16:08:10