亚里士多德千年前的猜想,被这群MIT本科生向前推进了一步

小小怪 2022-06-1702:32:36名人评论9阅读模式

机器之心报道

作者:泽南、张倩

在寻找可以填充三维空间的四面体之路上,MIT的本科生往前推进了一步。

打开凤凰新闻,查看更多高清图片

早在两千多年前,亚里士多德就已开始着手的一项研究,今日仍在麻省理工学院(MIT)30 名本科生的工作组中进行着。人们一直在使用现代数学的新工具,为这一持续千年的探索注入新的活力,以寻找可以完美填充或平铺的三维空间形状。

「当知道一些伟大的思想家毕生都在研究这个题目,我们不由地感到兴奋,甚至感到有点害怕,」MIT 数学和计算机科学系一年级学生 Yuyuan Luo 说道,他是 Bjorn Poonen 教授组织的研究团队的一员。

亚里士多德对于这个问题的兴趣,来自于对他的导师柏拉图的反驳。

在公元前 360 年的经典《蒂迈欧篇》(Timaeus)中,柏拉图讨论了古典四元素理论:水、气、火、土。他推测,这些元素都是由具有独特形状的粒子构成的,这些粒子的形状与五个常规固体一一对应,分别为:正四面体(火),正八面体(气),正二十面体(水),及正六面体(土)。

亚里士多德基于自己的假设(即这些元素的粒子必须能够完整填充全部空间)提出了反对。也就是说,他认为在有水的地方,需要能够正好排列数个二十面体水颗粒,以使二十面体完美地占据整个水域而不会重叠。

经过进一步思考,亚里士多德在公元前 350 年的《论天》(De Caelo)一书中解释说,二十面体「不会成功地填充整个空间」。因此他辩称水颗粒不可能具有这种形状。由于同样的原因,他进而怀疑气元素颗粒的形状应该也不是八面体,但他认为土元素(立方体)和火元素(四面体)是可以填充整个空间的。所以他认为柏拉图在这两种元素上的推论是正确的。

但千年以后,人们发现亚里士多德的这部分推论也有错误。

早在十五世纪,科学家们就开始怀疑正四面体(四个面均为等边三角形)也不能用来完整填充空间,到十七世纪时,人们就已经完全确认了这一问题。如果亚里士多德当年进行过深入研究的话,他其实也可以认识到这一点。

「如果亚里士多德制造了正四面体模型,他自然就可以把它们边对边摆在一起,进而发现摆上五个四面体之后还有一个小小的空隙」史密斯学院的 Marjorie Senechal 说道。

如果正四面体行不通,那么问题就变成了:存在这样的不规则四面体吗?

正四面体不能无缝地填充空间。

1923 年,苏格兰数学家 Duncan Sommerville 给出了第一个这方面的例子。

总的来说,数学家们已经发现了两个单独的四面体和三个四面体无限族可以填充空间。无限族有一个参数,你可以用无限种方法来缩小一些内角,扩大其他内角,同时保持这些多面体填充空间的能力。数学家们还没有发现其他情况,也不确定究竟存在多少种情况。

「我不知道除了找到这些例子之外,这个问题到底有没有理论上的解,」 Senechal 表示。

事实上,大部分三维形状都无法填充空间。「我们不了解填充三维空间的难度有多大,」康奈尔大学的 Inna Zakharevich 表示,「我认为,任何能做到这一点的立方体都很酷」。

这意味着,寻找这种形状多少有点靠运气。幸运的是,该问题与其他两个相关问题之间的巧妙对应有助于寻找可以平铺三维空间的四面体。第一个相关问题是:两个相同体积的直边图形总是可以用直线分隔并重新组合吗?德国数学家大卫 · 希尔伯特(David Hilbert)在 1900 年提出了这个问题。同年,他的学生,Max Dehn 给出了答案的一个重要部分。

Dehn 展示了可以使用任意多面体形状的角度(例如四面体或立方体)来计算单个量,现在称为 Dehn 不变量。他证明要使两个形状「scissors congruent」(可以被剪开并重组),就意味着它们必须有相同的 Dehn 不变量。Dehn 使用他的新测量方法证明,规则的四面体和立方体不是 scissors congruent 的,因为它们的 Dehn 不变量不同。

20 世纪后期,数学家们证明了另外两个关键的事实,将 scissors congruence 和平铺关联在了一起。1965 年,让 · 皮埃尔 · 赛德勒(Jean-Pierre Sydler)证明了具有相同体积和相同 Dehn 不变量的任何两个形状都是 scissors congruent 的。而后在 1980 年,汉斯 · 德布伦纳(Hans Debrunner)指出,任何平铺空间的四面体都必须具有 0 的 Dehn 不变量——这与立方体相同。从这些发现可以得知四面体必须和立方体保持 scissors congruent 才能填充整个空间。

所以如果你想找到一个能够填满空间的四面体,则其 Dehn 不变量为零。但要找齐所有这样的四面体并不是一件容易的事。

此时,第二个相关问题就出现了。

四面体包含了六个沿成对的面相交的边缘形成的「二面角」。1976 年,约翰 · 康威(John H. Conway)和 Antonia J. Jones 提出:是否有可能确定所有四面体,这些四面体的所有二面角的度数均为有理数?也就是说它们可以整齐地写成分数?

「这个问题可能在古代就曾被提出,但具体时间无从得知」,加州大学圣地亚哥分校的 Kiran Kedlaya 表示。在近期的一份研究中,Kedlaya、Poonen 和其他两位合著者证明,恰好是 59 个孤例加上两个四面体无限族具备符合上述条件的二面角。

研究详情:https://www.quantamagazine.org/mathematicians-finally-prove-rational-tetrahedron-solutions-20210202/

最重要的是,任何具有有理二面角的四面体的 Dehn 不变量均为 0,这意味着它与立方体是 scissors congruent 的,并且有平铺空间的可能性。

这就引出了 MIT 本科生们与 Poonen 共同进行的这项工作:研究这些四面体哪些发挥了它们平铺空间的潜力。

一月中旬,团队证明了有一个孤立的有理四面体不能填满空间。该结果标志着第一次有人发现了这种四面体,它与立方体「scissors congruent」,但无法填充空间。

参考链接:https://www.quantamagazine.org/mit-math-students-continue-aristotles-tetrahedra-tiling-20210209/

继续阅读
  • 本文由 发表于 2022-06-1702:32:36
  • 转载请务必保留本文链接:http://www.zyzznsb.com/1600.html
震寰 名人

震寰

第二篇 婴儿起名的20条禁忌 按照以上方法就可以给孩子起一个名字了。但是,一个好名字除了以上一些要求外,还有一些禁忌,违背这些禁忌而起的名字也不是一个好名字。 那么,起名中应当禁忌什么?也就是应当避免...
震寰 名人

震寰

武汉三镇老照片 1949年5月14 日下午 , 我军第 128 师开进至戴家洲以北的几个小渔村 , 搜集船只 , 侦察渡江点 。 当时 , 国民党军队撤退时 , 已把江北岸的所有船只都拖到江南去了 。...
震寰 名人

震寰

咒语和姓名有关系吗? 咒:两个口,你喊,我应,喊你几遍就生效,就是这个咒字的简单拆解。 老子说法,音声相和,咒语反过来念就是宇宙,咒语是宇宙自然的语言,而语言(能量)是可以对一个人能量磁场产生影响。 ...
2020年惊蛰 名人

2020年惊蛰

紫禁城惊蛰时节的物候(摄影:王琎) 唐朝山水田园派诗人韦应物,走在家乡的阡陌间,看到春草萌长,细花吐蕊,耕牛犁地,农家忙于稼穑,心有所触写下了这首《观田家》,开头四句是:微雨众卉新,一雷惊蛰始。田家几...
向祖国敬礼 名人

向祖国敬礼

盛世华诞,举国同庆;山河盛装,歌声如潮。10月1日,厦门监狱监区外全体民警坚守岗位,以隆重的升旗仪式,向祖国敬礼。 8时30分,全体民警警容严整,整齐列队,伴随着雄壮、嘹亮的国歌,向国旗敬礼。 自20...
向祖国敬礼 名人

向祖国敬礼

来源:烟台日报-大小新闻 大小新闻客户端10月1日讯(YMG全媒体记者盖鹏 通讯员方毅摄影报道)早上6点30分,烟台市公安局隍城海岸派出所民警早早来到渤海前哨,在渤海最深处升起国旗迎接祖国生日的到来。...
向祖国敬礼 名人

向祖国敬礼

9月29日上午9时,庆建党百年 向国旗敬礼佛山市庆祝中华人民共和国成立72周年向国旗敬礼启动仪式暨网上签名寄语顺德分会场活动在佛山市顺德区凤翔小学举行。同一时间,顺德全区中小学生分别在各自学校向国旗敬...
向祖国敬礼 名人

向祖国敬礼

由中宣部电影局主抓、电影《长津湖》原班人马打造的战争巨制《长津湖之水门桥》发布终极预告及海报,揭秘全新的艰难战役!影片将于今年大年初一上映,定档后热度暴增,定档话题多平台霸榜热搜,想看指数单日增长打破...
火焰石 名人

火焰石

HI,各位老伙计,欢迎您再次来到我的魔兽世界小驿站,今天我们唠嗑的主题是WLK的新技能之布甲篇!。 魔兽世界燃烧的远征马上就要结束了,眼看着WLK就要开了!今天我就带大家回顾一下WLK版本布甲职业的新...
退后原来是向前 名人

退后原来是向前

最近,每天都是白炽灯一样的日头,三十几度的高温,不知不觉间,今日已是夏季的第二个节气——小满了。 二十四节气中,有小暑也有大暑,有小雪便有大雪,唯独有小满却没有大满。古语有云:满招损,谦受益月满则亏,...
匿名

发表评论

匿名网友 填写信息

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen: