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

科技 | 2022-08-21| 2

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

这个猜想和初等数论中经典的佩尔(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。

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

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

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

相关推荐相关推荐

九号自动驾驶两轮电动车亮相:自动规划路线 自己保持平衡

九号自动驾驶两轮电动车亮相:自动规划路线 自己保持平衡

8月26日-28日,高通首次打造的大型线下数字娱乐盛会——骁龙嘉年华,将在成都东郊记忆国际时尚产业园举行。

科技 0 2022-08-21
因为这条补丁 你的童年回忆变成了主播噩梦

因为这条补丁 你的童年回忆变成了主播噩梦

作为经典中的经典,GBA 上的《 宝可梦:火红/叶绿 》,应该承包了不少人的童年。 这款游戏于 2004 年发售,是初代《宝可梦:红/绿》的重制,也算正式开启了系列重制的传统。 在这一作里,御三家还是我们熟悉的小红龙,杰尼龟,蒜头王八。 对手是火箭队, ...

科技 0 2022-08-21
Intel入门独显A380挑战“显卡危机”:顺利跑满60 FPS

Intel入门独显A380挑战“显卡危机”:顺利跑满60 FPS

今年早些时候,Intel发布了入门级独显锐炫A380,号称能够为用户带来1080P 60 FPS的游戏体验。

科技 0 2022-08-21
我国最大的淡水湖 鄱阳湖蒸发了3/4 出现“生命之树”奇观

我国最大的淡水湖 鄱阳湖蒸发了3/4 出现“生命之树”奇观

据央广网21日消息,我国最大的淡水湖——江西北部的鄱阳湖水位持续走低,南矶山水域呈现出“生命之树”奇观。

科技 0 2022-08-21
《白蛇》团队全新力作!《新神榜:杨戬》上映两天票房破亿

《白蛇》团队全新力作!《新神榜:杨戬》上映两天票房破亿

今天,由上海追光影业出品,《白蛇》系列团队制作的动画电影《新神榜:杨戬》发布第一份战报,宣布影片上映两天后,票房便突破了一亿大关。

科技 0 2022-08-21
绝美!《新神榜杨戬》洛神飞天舞片段出炉

绝美!《新神榜杨戬》洛神飞天舞片段出炉

《新神榜:杨戬》发布瀛洲仙乐坊飞天歌舞片段。花瓣纷飞,婉罗与众仙女们在空中起舞,“翩若惊鸿,婉若游龙“的舞姿,搭配歌手银临婉转优美的吟唱,让主角杨戬也沉醉其中。

科技 0 2022-08-21
沃尔沃换电池比新车快贵30万!车主无语:直接走全损报废

沃尔沃换电池比新车快贵30万!车主无语:直接走全损报废

随着电池的涨价,电动车更换电池的成本也水涨船高,甚至出现了电动车坏了修不起的尴尬情况,电动车也就真成了“电动爹”。

科技 0 2022-08-21
超励志!54岁妈妈考上女儿母校:36载大学梦圆

超励志!54岁妈妈考上女儿母校:36载大学梦圆

今年的高考和录取中涌现出不少励志故事,让人印象深刻。 据齐鲁电视台报道,日前在山东潍坊,54岁的潘喜梅考上山东中医药高等专科学校,而这所学校其实是女儿的母校,一时间,母女化身学姐学妹。 报道称,因家庭原因,潘喜梅初中毕业后没读高中,虽然这些 ...

科技 0 2022-08-21
苹果修图软件Pixelmator涨价离谱:买断价格暴涨7倍

苹果修图软件Pixelmator涨价离谱:买断价格暴涨7倍

近日,知名修图软件Pixelmator的开发与运营团队宣布,针对iPhone和iPad推出的Pixelmator Photo应用将从买断制专为订阅制,并迎来了一波涨价。

科技 0 2022-08-21
网友炸锅!苹果曝出严重漏洞:这项更新建议所有人升级

网友炸锅!苹果曝出严重漏洞:这项更新建议所有人升级

日前,“苹果曝出严重安全漏洞”的消息引发网络热议,据央视财经报道,当地时间周三,苹果公司发布两份安全报告,报告披露iPhone、iPad和iMac电脑等产品存在严重安全漏洞,这些漏洞可能会让黑客入侵用户设备、获得管理权限甚至完全控制设备并运 ...

科技 0 2022-08-21