取整数
Alex 羿阁 发自 凹非寺
量子位 | 公众号 QbitAI
数学界几十年来的一个谜题，终于被解开了。
这个猜想和初等数论中经典的佩尔（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。
可以看出，两人的学习轨迹有很多重合的部分，不仅如此，他们在研究生时期也是同学。
为了这项研究，两人整整一年天天见面，每天在黑板上进行各种演算，互相完善对方提出来的想法，就连午餐时间都不放过，如果有人在独处时有了新想法，就会随时发短信通知另一个人。
尽管非常有挑战性，科伊曼斯却在回忆起这段时间时说：“我们一起做这件事很有趣。”
参考链接：[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— 完 —
量子位 QbitAI · 头条号签约
","force_purephv":"0","gnid":"9fcabe6f13c196571","img_data":[{"flag":2,"img":[{"desc":"","height":"608","title":"","url":"https://p0.ssl.img.360kuai.com/t016e9ef143c104a39b.jpg","width":"1080"},{"desc":"","height":"718","title":"","url":"https://p0.ssl.img.360kuai.com/t016c8a6f769148b243.jpg","width":"1080"},{"desc":"","height":"595","title":"","url":"https://p0.ssl.img.360kuai.com/t01496238f9b9438620.jpg","width":"1080"},{"desc":"","height":"144","title":"","url":"https://p0.ssl.img.360kuai.com/t01c6d737cdb0d87dee.jpg","width":"1080"},{"desc":"","height":"150","title":"","url":"https://p0.ssl.img.360kuai.com/t01a7c01835584aace1.jpg","width":"1080"},{"desc":"","height":"437","title":"","url":"https://p0.ssl.img.360kuai.com/t016f933b656cea27fe.jpg","width":"1080"},{"desc":"","height":"514","title":"","url":"https://p0.ssl.img.360kuai.com/t01809434d69a846155.jpg","width":"922"},{"desc":"","height":"810","title":"","url":"https://p0.ssl.img.360kuai.com/t01fe90838a2fd5dcdc.jpg","width":"1080"}]}],"original":0,"pat":"art_src_3,fts0,sts0","powerby":"hbase","pub_time":1660977540000,"pure":"","rawurl":"http://zm.news.so.com/9a52a0edf5e25d9392c63e24e97c6058","redirect":0,"rptid":"d5c89b2416a7c814","s":"t","src":"量子位","tag":[{"clk":"ktechnology_1:密歇根大学","k":"密歇根大学","u":""}],"title":"x²-dy²=-1有多少整数解？近30年无人解开的数学难题有答案了
暨聂饼4481EXCEL 函数取整数 -
季的琪17729979505 ______ 如果数据在A1,公式可为 =roundup(A1,)
暨聂饼4481截去小数取整函数 -
季的琪17729979505 ______ 方法一: 1、在Excel表格里面输入一些数字,具体的数据如下图所示. 2、用TRUNC函数取整,具体输入方式如下图所示,用TRUNC函数进行数值取整,规则简单,不论数值是正数还是负数,去掉小数后直接取整不进位. 3、数据完成截去小数取整后如下图所示. 4、负数图片如下图所示. 方法二: 1、在Excel表格里面输入一些数字,具体的数据如下图所示. 2、用INT函数取整,具体输入方式如下图所示,使用INT时,当数值为正数,去掉小数后直接取整.数值若为负数,去掉小数后需要再-1取整. 3、数据完成截去小数取整后如下图所示. 4、负数图片如下图所示.
暨聂饼4481excel表中取整数的方法 -
季的琪17729979505 ______ =INT(A1),只取整数部分.
暨聂饼4481Excel表格怎么向上、中、向下取整函数?
季的琪17729979505 ______ 在EXCEL表格中对数字的处理中,经常根据需要按指定的位数进行取整. 数字取整可以用下述函数完成: 四舍五入取整 =ROUND(A1,0) 截去小数取整=ROUNDDOWN(A1,0) =FLOOR(A1,1) =TRUNC(A1) 截去小数取整为最接近的偶数 =EVEN(A1...
暨聂饼4481excel中if函数 取整数 这个公式怎么写? -
季的琪17729979505 ______ =roundup(A1,0) 或 =CEILING(A1,1)
暨聂饼4481EXCEL单元格取整数设置 -
季的琪17729979505 ______ 例1:在B1单元格输入 = ROUND(A1/10000,0)*10000 例2:在B1单元格输入 = round(a1/10000,1) & ＂万＂
暨聂饼4481EXCEL表格 取整公式问题在EXCEL表格,有一列数是198,299,378 等这种如何才能让他直接向上取整数.如198变成200 ,300,380等这个公式怎么定义,如果... -
季的琪17729979505 ______[答案] 公式可以 =TRUNC(A1,-1)+(MOD(A1,100)>30)*(MOD(A1,10)0)*10 意思是统一先向下取,然后判断十位是否大于3,并且个数不为零,是的话加上10,你刚才已经问过了,采纳答案太快了,还采纳了一个错误的.
暨聂饼448187.92约等于多少【取整数】? -
季的琪17729979505 ______[答案] 87.92近似值取整数为88 近似值是取整数的话,直接看小数点后第一为,若小数点后第一为大于或等于5的,整数就加1;若小于5就舍去小数部分,直接取整数部分. 原题87.92,小数点后第一位是9,9大于5,所以整数部分加1,即87+1=88 祝学习愉快...
暨聂饼4481excel中如何取整数,并不是通过设置单元格格式隐藏小数部分? -
季的琪17729979505 ______ 1.如图所示,表格中有几组小数,变为整数使用. 2.首先将光标移到此列数据旁边的一列. 3.在选中的单元格内输入“int()” 4.然后选中需要保留整数的第一行单元格. 5.击回车后,单元格就变成了整数. 6.往下拖拽单元格,所有的数据都变为了保留整数.
暨聂饼4481excel取余数用什么命令?取整数用什么命令.开根号用什么命令! -
季的琪17729979505 ______ excel取余数用什么命令?取整数用什么命令.开根号用什么命令! 答: 用到公式,以＂=＂开头,一般,公式里面还用到函数.函数里面的参数可以是数,也可以是(单元格或区域的)引用,下面说数值的地方,可以是包含有效数值的引用. 取余数: =MOD(被除数,除数) 也可以用: =被除数-除数*int(被除数/除数) 取整数: =INT(数) 也可以用: =Floor(数,1) 开n次根号: =POWER(数,1/n) 如求平方根: =POWER(数,1/2) 求平方根还可以用: =SQRT(数) 注: 开方与求乘幂可以统一:POWER(数,指数) floor(数,n):返回结果不超过并最接近原数并且是n的倍数.