古人是如何把小数用木棒摆出来的(人类第一次将33写成了3个整数的立方和)

作者,数学西瓜,哆嗒数学网群友。

校对,Math001

关注 哆嗒数学网 每天获得更多数学趣文

公元2019年3月的一天,一位叫Tim Browning(与Timothy Browning是同一人)的数学家在其个人主页上更新了一个网页,网页上的内容非常简单,没有任何多余的东西:

33 = 8866128975287528³ (-8778405442862239)³ (-2736111468807040)³

上面的算式是将自然数33用整数的立方和表示了出来。但是,可能出乎你预料的是,这是人类第一次知道,世间还存在着这样一个等式,第一次——我们第一次把33用这种方式写了出来!

为什么我们对这样一个等式如此着迷,让我们一起看下去。

古人是如何把小数用木棒摆出来的(人类第一次将33写成了3个整数的立方和)(1)

建造房子式的“堆垒数论”

我们知道我们茅草堆垒出来能建造茅屋、砖石堆垒起来能建造砖房、钢筋混凝土堆垒起来能建造高楼大厦。

现在许多高楼大厦都是钢筋混凝土建筑的,但是是不是所有的高楼大厦都可以由钢筋混凝土来建筑呢?

这其实就是“堆垒数论”的思想。我们用简单的语言表达这个堆垒数论考虑的问题,如果考虑A、B两个整数的子集。如果A中的数都能被B中的某几个数相加得到,我们就说A能被B堆垒出来。大多时候,我们还要限制使用B中数字个数的数量。这时候,所使用的B中的数叫做堆垒项。

举几个例子:

如果A是所有不小于6的偶数集合,B是素数集合,并限制只能用2个B中的数。那么问题就是著名的哥德巴赫猜想。

如果A是自然数集合,B所有完全平方数集合,并限制只能用2个B中的数。自然数的能不能写成两个数平方和问题。

如果A是自然数集合,B所有完全平方数集合,并限制只能用3个B中的数。自然数能不能写成三个数平方和问题。

以此类推……

有时候,我们还可以反过来研究,比如,如果所有自然数都能被B中的数加出来,那么多少个数之内一定能办到?

我们用233来举例子把:

古人是如何把小数用木棒摆出来的(人类第一次将33写成了3个整数的立方和)(2)

下面这些正整数方程是否有解呢:

233 = x² y²

233 = x² y² z²

233 = x² y² z² w²

233 = x² y² z² u² v²

以上方程中的所有未知数地位是一样的,我们把那种通过交换顺序能变得一样的解看成相同的解可以得到:

第一个方程,有一组解:

233 = 8² 13²

第二个方程,有两组解:

233 = 1² 6² 14²

第三个方程,有三组解:

233 = 2² 6² 7² 12²

233 = 3² 4² 8² 12²

233 = 4² 6² 9² 10²

第四个方程,有一组解

233 = 2² 4² 7² 8² 10²

在第三个方程的正整数解中,我们可以看出可以出现一样的元素12;

关于第四个方程有一则小故事,根据迪克逊的《数论史》(History of the Theory of Numbers)记载。1867年,史密斯(H. J. S. Smith)开始推广表为5个,7个平方数的结果。一位不为人知的委员会成员曾向巴黎科学院建议举办1882年的数学科学大奖(grand prix des science mathématiques)赛题目为“表为5个平方数的方法数”。实际上1881年春天就发布了公告悬赏这个问题,后来才将其作为赛题。史密斯和闵可夫斯基(H. Minkowski)(值得注意的是,闵可夫斯基当时才18岁)都获得了该大赛的全额奖金。他们俩都发展了n元二次型理论来求出表为5个平方数的方法数。

迷人的平方和

上面第一个方程为费马双平方和定理(Fermat's two-square theorem)的一个特例。费马还是“一如既往地”只写命题不给证明,这个命题也一样。这个命题最早被欧拉证明的。费马的这一命题即给出了所有4n 1型的素数都可以唯一地分解为两个平方数之和(至于如何求其唯一表示可以参看西尔弗曼的《数论概论》第26章)。那么其他数呢?

有下面一个定理:

一个大于1的整数可以写成两个平方整数之和,当且仅当的它的标准素数分解中不包含4n 3型素数或者4n 3型素数是偶次。

比如637 = 7²·13有两个素因子7与13,而是4n 1型,而7模4n 3,但素数7的次数为偶数2,故637 可以表示为两个平方数之和。实际上,637 = 14² 21²。

关于平方,我们还有勒让德三平方和定理(Legendre's three-square theorem):

整数可以写成三个整数的平方和(即允许堆垒项为零),当且仅当的它不为4^a(8b 7)型的数。(其中,4^a表示4的a次方,a与b都取自然数)

值得注意的是这里用的是“三个整数的平方和”与双平方和情形的描述有所不同。

勒让德的这一定理可以写为等价形式:

整数可以写成少于四个平方数之和(默认平方数从1开始),当且仅当的它不为4^a(8b 7)型的数。(其中,4^a表示4的a次方,a与b都取自然数)

对于平方数且时,有拉格朗日四平方和定理(Lagrange's four-square theorem)

每一个自然数可以写成四个整数的平方和(即允许堆垒项为零)。

我们不应该去纠结于当需要表示的数比较小时(比如取5、6,堆垒项总有零出现),四个整数中会出现零。我们应该看到当需要表示的数为很大很大的整数时,都可以由四个平方数来表示,就像再厉害的野马(大整数)都可以被这位驯马师(拉格朗日四平方和定理)驯服,这便就是此定理的重要意义。

华林问题

什么是华林问题呢?

1770年,英国当时的领袖数学家华林(Waring)(别因为音译名将其当作华人)在其《代数沉思录》(Meditationes Algebraicae)第二版中提到一句话:

每一个正整数可以写成4个整数的平方和(即允许堆垒项为零);可以写成9个正整数的立方和,可以写成19个整数的四次方和,如此等等。

当然这句话的一部分就是拉格朗日的定理,第二部分是华林通过大量数值试验得出的猜想,第三部分也是他得出的猜想。

对于每一个给定的正整数k,存在一个最小的正整数g(k),使得每一个自然数都可以写成不超过g(k)个整数的k次方和。

其中求g(k)的问题便是华林问题。经过上面关于平方数的介绍,我们知道了g(2) = 4。

1909年,德国数学家韦伊费列治(Wieferich)证明了g(3) = 9;后发现漏洞,于1912年由生于英国的美国数学家肯普纳(Kempner)补正;

1940年,印度数学家皮莱(Pillai)证明了g(6) = 73;

1964年,我国数学家陈景润证明了g(5) = 37;

1986年,三位数学巴拉苏布拉玛尼安(Ramachandran Balasubramanian)、德雷斯(F. Dress)和德西霍勒(Deshouillers)证明了g(4)=19;

再回来,整数立方和还有42

好了,回到我们最初的问题:自然数的整数立方和表示。在k=3时的华林问题中,我们知道每一个正整数都可以为不超过9个正整数的立方和;

如果将前面华林问题的堆垒项只允许用加法的条件放开,我们允许用减法,是什么情况呢?——这个问题其实就是简易华林问题——不要因为其命名为“简易华林问题”就觉得其比“华林问题”简单。

而将正整数表示成三个整数立方和的问题,就是堆垒项限制为3的简易问题。现在这个问题依然是没有解决的问题。

我们用v(k)表示满足相应条件最小的正整数,即对应于华林问题中的g(k).

1932年,V. Vesely证明了v(k)存在。

接着赖特(E. M. Wright)于1934年得到一个粗糙的估计:(此估计不等式的证明可以参看陈景润写的《初等数论Ⅲ》132页的内容)

v(k)≤2^(k 1) k!/2

不久,赖特又对其改进,符号比较专业就不详述了。

再后来赖特还得到了v(k)≤2^(k 1) 4k,并研究了具体值。

1936年,莫德尔(Mordell)证明了除极少一部分数不能确定外,大部分整都适合v(3) = 4.

我国数学家柯召曾列出一张表,将100以内的数分解为4个立方数之和,表中几乎每一个数均可分解为x³ y³ 2z³的形式,仅有两个例外

76 = 10³ 7³ 4³-11³,

99 = 5³ 3³-1³

柯召教授这样做的目的或许是为了说明v(3)=4是正确的,但是这仅仅只能作为一些数值试验。

2003年,科学出版社出版了中文版的《数论中未解决的问题(第二版)》。其作者是为盖伊(1916年9月30日~)现在已经102岁高龄了。

在《数论中未解决的问题(第二版)》的第D章(该书编写了A~F章节)的D5问题中,提到除了形如9n±4数尚且不知道结论,对于所有其他的数都证明了是4个整数的立方和。

了解同余的小伙伴们,可以做下计算,任何整数的立方在mod 9 的情况下只有-1,0,1三种可能。所以 x³ y³ z³ 在mod 9 的情况下,只有0,±1,±2,±3这7种可能,而±4是不可能的。

所以形如9n±4数一定不能表示为三个整数的立方和。由此我们也可以知道v(3)>3,也就是说所有自然数不能仅由三个整数的立方和表示。但是退而求其次,哪些数可以由三个立方数表示呢?数学家们希望有像“费马双平方和定理”、“勒让德三平方和定理”这样的定理来引导人们,但是目前为止还没有。

接下来我们要步入主题了!

所有不为9n±4型的数都是三个整数的立方和吗?盖伊书中写道:1992年,他对所有小于1000的数用计算机搜索后发现,除了下面(标红部分截止2019年3月都还没有被解决)表中的数以外,对于其他小于1000的数都找到了这样的表示。

古人是如何把小数用木棒摆出来的(人类第一次将33写成了3个整数的立方和)(3)

在1993年5月25日的一封电子邮件中,Andrew Bremner告诉盖伊有:

75 = 435203083³ (-435203231)³ 4381159³

Conn和Vaserstein发现了

84 = 41639611³ (-41531726)³ (-8241191)³

后来人们找到了(上表标黄部分)

30=(-283059965)³ (-2218888517)³ 2220422932³

52=60702901317³ 23961292454³ (-61922712865)³

110=109938919³ 16540290030³ (-16540291649)³

195=(-2238006277)³ (-5087472163)³ 5227922915³

290=426417007³ 2070897315³ (-2076906362)³

435=4460467³ (-4078175)³ (-2755337)³

444=3460795³ 14820289³ (-14882930)³

452=(-2267462975)³ (-3041790413)³ 3414300774³

462=1933609³ (-1832411)³ (-1024946)³

478=(-1368722)³ (-13434503)³ 13439237³

2007年,Michael Beck, Eric Pine,Wayne Tarrant与Kim Yarbrough Jensen这四位数学家的论文指出小于1000的数还没有找到解的剩下:

33, 42, 74, 114, 156, 165, 318, 366, 390, 420, 543, 579, 609, 627, 633, 732, 758, 786, 789, 795, 903, 906 ,921, 948, 975

2016年,Sander G. Huisman指出小于1000的数还没有找到解的就剩:

33, 42, 114, 165, 390, 579, 627, 633, 732, 795, 906, 921, 975

最近,由Booker Andrew提交了一篇论文"Cracking the problem with 33",论文中找到33这个文章开头的结果,由Browning公之于众。我们可以看到每个元素都是10的16次方的数量级,要读出来应该快读到亿亿位了!

另外在数学节目Numberphile中,Timothy Browning做了一期名为“The Uncracked Problem with 33”的问题介绍,可惜目前没有中文字幕。可以从论文"Cracking the problem with 33"的摘要与论文标题看出Andrew Booker写这篇论文正是源于该视频。

也就是说到目前为止,100以内的自然数就剩下42还没有找到关于立方和的整数解了!

关注 哆嗒数学网 每天获得更多数学趣文

,

免责声明:本文仅代表文章作者的个人观点,与本站无关。其原创性、真实性以及文中陈述文字和内容未经本站证实,对本文以及其中全部或者部分内容文字的真实性、完整性和原创性本站不作任何保证或承诺,请读者仅作参考,并自行核实相关内容。文章投诉邮箱:anhduc.ph@yahoo.com

    分享
    投诉
    首页