数学界几十年来的一个谜题,终于被解开了。
这个猜想和初等数论中经典的佩尔(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)完全解决了这个问题,他得出了阿基米德群牛问题的所有解:
不仅解的数量多,牛的最小数量也让人惊呼:或许只有真·太阳神才能管理了。
不同于佩尔方程,负佩尔方程的整数解情况要复杂得多。
负佩尔方程
前文提到,负佩尔方程可表示为: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值后,首先需要求出负佩尔方程的基本解。
对负佩尔方程的求通解可使用这个公式:
其中,这里的n为任意正整数;a和b则是负佩尔方程的基本解,并有如下等式:
x0和y0就是经典佩尔方程的基本解。
更多与之相关的细节研究可参考论文:
研究者简介
最后,来看看这两位证明这个30年前猜想的数学家们吧——
卡罗·帕加诺(Carlo Pagano),是加拿大康考迪亚大学的助理教授,主要研究方向是数论。
此前分别获得了格拉斯哥大学和马克斯·普朗克研究所的数学博士后学位,博士毕业于莱顿大学数学专业,导师是Hendrik Lenstra。
皮特·科伊曼斯(Peter Koymans),目前正在密歇根大学攻读博士后,主要研究方向是数论及其周边领域。
此前在马克斯·普朗克数学研究所从事博士后研究,博士毕业于莱顿大学数学专业,导师是Jan-Hendrik Evertse和Peter Stevenhagen。
可以看出,两人的学习轨迹有很多重合的部分,不仅如此,他们在研究生时期也是同学。
为了这项研究,两人整整一年天天见面,每天在黑板上进行各种演算,互相完善对方提出来的想法,就连午餐时间都不放过,如果有人在独处时有了新想法,就会随时发短信通知另一个人。
尽管非常有挑战性,科伊曼斯却在回忆起这段时间时说:“我们一起做这件事很有趣。”
据最新消息显示,苹果iPhoneSE4代不会在2023年上市,发布时间甚至可能推迟至2025年。 在与多个果链公司进行了“多次对话”之后,巴克莱银行分析师布莱恩柯蒂斯(BlayneCurtis)和汤姆奥马利(TomO“Malley)得出结论:苹果不太可能在2024年发布第四代iPho ...
据苹果供应链消息透露,苹果公司预计无法在2024年发布第四代iPhoneSE。分析师表示,这表明该公司的5G调制解调器不会很快准备好。此外,相比4G来说,5G基带做起来更难,硬件设计是简单的,但是需要跟全球不同的运营商联合做信号测试,这是一个漫长和繁琐的 ...
据悉,目前苹果最新的iPhoneSE是第三代,于2022年3月发布,配备4.7英寸LCD显示屏、TouchID、5G、1200万像素后置摄像头和A15仿生芯片。它在美国的起价为429美元,是苹果公司售价最低的iPhone机型之一,第一代和第二代iPhoneSE分别于2016年和2020年发布。
据苹果官网显示,目前iPhoneSE最新款型号出到了第三代了,iPhoneSE3上市时间为2022年。
综合目前消息,iphone15全系列预计上市时间9月中旬,iphone15发布时间推测在9月初。iphone15系列共四款机型,其中iphone15的起售价预计为5999元,iphone15plus起售价预计为6999元,iphone15pro起售价预计为7999元,iphone15promax则预计为8999元。
全新5G小金刚红米Note12R登场,1099元起,30号10点正式开售。同时官方还预热了这款新机的主要卖点:90Hz高刷护眼屏、双面玻璃机身、5000万超清双摄、5000毫安时大电池和第二代骁龙4处理器。
如果你的预算在一千左右,选择RedmiNote12R这款手机相当合适,机身材质出众、续航给力、屏幕触控体验流畅等等,喜欢的朋友不妨了解下。
今年7月哪些手机即将发布上市—— iQOO11S 核心卖点:骁龙8Gen2+200W快充 预计定档:7月4日 接下来的三款手机都是已经官宣的产品,这款iQOO11S将搭载骁龙8Gen2芯片,以及200W有线快充。200W快充最早于iQOO10系列全球首发,本机延续了这一特色卖 ...
2023年7月即将发布的新手机信息汇总(目前已经公布的发布时间的): 7月3日Hinova11即将发布; 7月4日iQOO11s即将发布; 7月5日荣耀X50即将发布; 7月5日红魔8SPro即将发布。 “杭州亚运会电竞赛事官方用机”iQOO11S将于7月4日(周二)19:00发 ...
下个月(2023年7月)各品牌手机新品发布会时间一览表: Hinova11新品发布会:7月3日 iQOO11s新品发布会:7月4日 荣耀X50新品发布会:7月5日 红魔8SPro新品发布会:7月5日 最近,荣耀X50搅动着手机江湖的一池春水。28日,荣耀中国区CMO姜海荣发博,“ ...