x²-dy²=-1 有多少整数解?近 30 年无人解开的数学难题有答案了

大千世界 63 0

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

  这个猜想和初等数论中经典的佩尔(Pell)方程:x2-d*y2=1 有关。(这里 d 是整数,求 x、y 也都是整数的解。)

  

x²-dy²=-1 有多少整数解?近 30 年无人解开的数学难题有答案了-第1张图片-大千世界


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

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

  不过数学家们的探究精神一般不会止步于此。有人提出将等号右边的 1 变成-1,并将这个新的方程称为负佩尔方程 ( II 型佩尔方程),结果整数解的情况立刻变得复杂了许多。

  

x²-dy²=-1 有多少整数解?近 30 年无人解开的数学难题有答案了-第2张图片-大千世界


  时间拨到 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)完全解决了这个问题,他得出了阿基米德群牛问题的所有解:

  

x²-dy²=-1 有多少整数解?近 30 年无人解开的数学难题有答案了-第3张图片-大千世界


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

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

  负佩尔方程

  前文提到,负佩尔方程可表示为: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 值后,首先需要求出负佩尔方程的基本解。

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

  

x²-dy²=-1 有多少整数解?近 30 年无人解开的数学难题有答案了-第4张图片-大千世界


  研究者简介

  最后,来看看这两位证明这个 30 年前猜想的数学家们吧 —— 卡罗・帕加诺(Carlo Pagano),是加拿大康考迪亚大学的助理教授,主要研究方向是数论。

  

x²-dy²=-1 有多少整数解?近 30 年无人解开的数学难题有答案了-第5张图片-大千世界


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

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

  

x²-dy²=-1 有多少整数解?近 30 年无人解开的数学难题有答案了-第6张图片-大千世界


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

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

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

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

  参考链接:

  [1]https://www.quantamagazine.org/ancient-equations-offer-new-look-at-number-groups-20220810/

  [2]http://www.math.toronto.edu/~eknight/Pell.pdf

  [3]https://zhuanlan.zhihu.com/p/365860557

  [4]https://www.sites.google.com/view/carlopagano

  [5]http://www-personal.umich.edu/~koymans/

  [6]https://arxiv.org/abs/2201.13424


标签: 数学 方程

抱歉,评论功能暂时关闭!