原创文章版权归微信公众号 ＂把科学带回家＂所有 撰文 七君 大家对瓷砖应该很熟悉，瓷砖多是三角形、四边形和六边形，很少有其他形状的。那么，能够铺满任意平面的瓷砖是不是只有这些形状呢？ 伊朗伊玛目清真寺中的几何密铺。图片来源：Hosein Aghaei 这个问题自古希腊时代就吸引着数学家们。在数学中也有专门研究能够铺满整个平面而不留空隙的地砖图形的分支——密铺（tessellation） 。被尊为伟大的数学家的大卫·希尔伯特 (David Hilbert) 曾在1900年将密铺问题列为他的23个问题之一。 当然，除了贴瓷砖，密铺在日常生活中也有很重要的应用。比如，显卡大都是利用三角形的密铺性质实现渲染的。渲染的速度和效果严重影响了用户体验，爱打电脑游戏的人应该有一手的感悟。 在制造业，为了减少原材料的浪费（如切割车门所用的金属），在制作模型时也要尽可能使用密铺图形。 许多人不知道的是，一位只有高中学历的家庭妇女，却在天命之年为这个数学分支做出了重要的贡献，美国数学学会（MAA）甚至用她发现的密铺图形铺地砖。一起来看看这位传奇的女士的故事吧。 Marjorie Rice 图片来源：Sharon Whittaker 1923年，Marjorie Rice 出生在美国佛罗里达州的一个普通农户家庭里。在上中学时，她跳了两级。后来在高中时期，她选了文秘方向，只修了一门数学课，因为在当时，女孩子只能选一门数学课。 而由于时代对女性的限制以及家庭的贫困，她没有上大学。高中毕业后不久，她嫁人生子，成了一名家庭主妇。 时间推进到1975年。那时，已经52岁的 Rice 的5个孩子中的大部分已经成年， Rice 有了更多闲暇的时间。而因为小儿子爱好科学，Rice 就为他订阅了科普杂志《科学美国人》。爱好自然科学的她也经常第一时间拿来翻阅，并成了《科学美国人》的著名数学科普作者 Martin Gardner 的数学专栏的迷妹。 图片来源：Martin-Gardner.org 没想到，那一年的两期《科学美国人》成了 Rice 和密铺研究的一个分水岭。 1975年7月，Gardner 发表了一篇文章（ On tessellating the plane with convex polygon tiles ） ，介绍了密铺方面的最新进展。 在了解这些进展之前，我们先来了解一下数学家们在研究密铺的什么性质。 首先，小学生可以很容易理解，任何三角形都可以沿着一边旋转180度，双双配对，然后把整一个平面铺满。再拓展一下，任意四边形，不管是凸的还是凹的，也可以用同样的方式铺满一个平面。 图片来源：wikipedia 但是，这个结论不能扩展到五边形。比如，正五边形就不行。 正五边形无法密铺。图片来源：geogebra 那么，是不是任何五边形都不行呢？ 1918年，德国数学家 Karl Reinhardt 在他的博士毕业论文中证明，有5类五边形可以铺满整个平面。这5类五边形长这样—— Reinhardt 发现的5类可以密铺的凸五边形。图片来源：Deke McClelland Reinhardt 发现，只要五边形的边和内角满足一定的条件，就可以铺满一个平面。第1类能密铺的凸五边形很容易理解：只要有任何两条边平行，那么这个五边形就可以密铺。 Reinhardt 还指出，凸七边形以及边数超过7的凹多边形无论如何都无法对平面实现密铺。 可是，Reinhardt 并不知道自己找到的5类五边形是否完备，也就是说，是否所有能密铺的凸五边形就只有这5类。这个问题也就这样被搁置了50年。 1968年，约翰霍普金斯大学的数学家 Richard Kershner 发现了新的3类凸五边形。这3类五边形要实现密铺，必须要成双成对。 Richard Kershner 发现的3类凸五边形密铺。图片来源：（DOI）10.1080/00029890.1968.11971075 Kershner 认为，能密铺的五边形就这么8类，不能更多了，并在论文中加了一句话：＂证明过程太复杂，以后再单独证明＂。听起来是不是有费马＂对上述命题，我已发现了一种绝妙的证明，可惜书边太窄了写不下。＂那味了？ Kershner 虽然没有给出完整的证明，但是他的观点却借由 Gardner 的专栏被世人所知。 这篇文章刊出后不久，业余数学家 Richard James III 写了一封信给 Gardner，告诉他有第9类可以密铺的五边形。 他是从阿基米德地砖（Archimedean tiling） 中找到了灵感。实际上，阿基米德地砖中的八边形可以等分为4个五边形。八边形稍微排列一下，就可以在空隙中塞入这种五边形。显然，这种八五边形可以实现密铺。 阿基米德地砖四等分后，可以形成第1类凸五边形。图片来源：Doris Schattschneider 要注意的是，这种五边形有两条平行边，因此属于第1类凸五边形，不算新的。但是 James III 巧妙地对八边形的四分切割进行了调整，让切割的＂十＂字微微倾斜，使切出来的五边形的任意两条边不再平行。这么一来，就出现了第9类凸五边形。 Richard James III 发现的第9类密铺。图片来源：Deke McClelland 这种新的五边形需要3个一组才能实现密铺，用数学家的行话来说，这种五边形属于 3-block tiling（3块密铺）。 于是在1975年12月的《科学美国人》上，Gardner 把这位读者的发现刊登了出来。后来在20世纪90年代，俄亥俄州立大学数学系的教授 Henry Glover 和 J. Philip Huneke 用这第9类凸五边形装饰了数学系6楼的地板。 Rice 也看到了这篇文章，但直觉告诉她有什么不对劲，于是自己开始研究有没有什么新类型的五边形密铺。做完家务，她就在厨房的餐桌上做自己的数学研究。家人回来或是有客人来，她就把自己的研究笔记藏起来。所以在很长一段时间里，没有人知道她在寻找密铺五边形的事。这一秘密的研究就这样持续了二十来年。 因为只有高中学历而且没有几何学基础，Rice 只能自创数学符号来表示多边形的性质。这是她的笔记—— Rice 用自创的符号对 Gardner 介绍的9种凸五边形进行分类。图片来源：（DOI）10.1080/17513472.2018.1453740 很快，她就有了收获。1976年2月，她写信给 Gardner，将自己发现的密铺凸五边形寄了过去。 Rice 发现的第9类凸五边形及定义（右上角）。因为 Rice 的证明在前，因此是第9类，James III 的是第10类。图片上面的变形体是她用图像证明这第9类五边形的可能变化形态。图片来源：site of marjorie rice Gardner 把 Rice 的信转交给了另一位数学家 Doris Schattschneider，后者对这位业余数学爱好者产生了强烈的兴趣。 Schattschneider 证明 Rice 的发现是新类型的凸五边形，她还从中得到了一个猜想：如果一个五边形的四条边长度相等，且四个角之间满足一定的条件，就能实现密铺。 令 Schattschneider 意外的是，Rice 很快驳斥了这个猜想。Rice 指出，满足这个猜想中一共包括4类五边形，其中2类是无法实现密铺的。Schattschneider 后来不得不承认，Rice 是对的。 就这样，在 Rice 的钻研下，能够密铺的凸五边形增加到了10类。 1976年12月，Rice 又发现了两类新的密铺五边形，后来这两类五边形被称为第11类和第12类。而在1977年12月，Rice 发现了第13类密铺五边形。在 Schattschneider 的协助下，这些结果发表在了期刊 Mathematics Magazine 上。 Rice用自己发现的两类凸五边形密铺制作的插画。图片来源：Kathy Rice 20世纪90年代，Rice 在研究了3块式的密铺后，发现了一种五边形密铺，她把这种五边形命名为 versatile。 美国数学学会（MAA）华盛顿总部大厅的地板的图样是 Rice 发现的五边形 versatile。图片来源：I. Peterson, mathtourist.blogspot.com. 1999年，美国数学学会就用 Rice 发现的这种密铺装饰了华盛顿总部大厅的地板，并于次年授予了 Rice 一份荣誉证书。 在 Rice 的一系列发现后，密铺领域沉寂了一段时间。1985年，Rolf Stein 找到了第14种能密铺的凸五边形。2015年，第15类密铺凸五边形被发现：华盛顿大学的数学家 Casey Mann 和同事用计算机暴力搜索的方式找到了第15种。 2017年，数学界出现了一种声音，那就是能密铺的凸五边形就只有那15类，没有更多了。如果真是这样，那么 Rice 一人就贡献了其中的4/15。 目前发现的15类能实现密铺的凸五边形及其性质。图片来源：wikipedia 巧合的是，Rice 于2017年去世。晚年时的认知衰退使她没有办法得知密铺凸五边形方面的新进展。 尽管做出了这么多贡献，但 Rice 从没有就自己的发现进行演讲，反而对于没有在数学方面进行深造感到很后悔。私底下她是一个非常害羞腼腆的人，她甚至都没有主动告诉孩子们自己在数学上的成就，这也是许多人不知道她的一个原因。 1995年，72岁的 Rice 参加洛杉矶的数学会议。图片来源：（DOI）10.1080/17513472.2017.1399680 她唯一一次参加学术会议，是在1995年洛杉矶的一次数学大会上。在 Schattschneider 的强烈要求下，Rice 答应和丈夫出席会议。在会场上，Schattschneider 向在座的数学家们介绍了 Rice。Rice 起身致意，所有与会者起立鼓掌，大厅里掌声久久不息。 懂了，人生几何（人生下来就要学几何），法力5边（最强的力量是五边形）。 不过瘾？关注＂把科学带回家＂，把有趣有料的科普一网打尽！
天问一号传回画面，拍到着陆区的景象，祝融号火星车清晰可见火星，是一颗与地球距离超过5500万公里最远达到4亿公里的类地行星，从地球以光速出发前往4亿公里外的火星，也需要20多分钟，以人类当前的科技水平，发射飞船前往火星，则需要近半年的飞祝融号传回合影，五星红旗清晰可见，火星地表景象神似戈壁滩作为我们国家第一辆火星车，祝融号火星车在抵达火星轨道后并不是在2021年2月10日到达火星轨道后就马上直接登陆火星，而是跟着环绕器一起环绕火星飞行了近3个月，在2021年5月15日柏拉图的智慧学，是后人堆砌的自相矛盾的复合体研究宇宙自然，人类社会，人的思维一般规律的科学称为哲学。柏拉图学说研究的是智慧，而这种智慧是上帝的，不是人类的，因此称为爱智慧。过去这种爱智慧学说被称为唯心主义哲学。科学有不科学，奥运会上希腊有哪些特权，又有哪些鲜为人知的故事奥运会是国际奥委会主办的综合性运动会，每四年举行一届，奥运会由夏季奥林匹克运动会冬季奥林匹克运动会等十个项目组成，其中夏季奥林匹运动会是规模最大关注度最高的运动会。平时大家熟知的北阿富汗政府军队为何败的如此迅速？阿富汗局势发展之快，政府崩溃之迅速超越了所有人的预料。包括专业的，业余的，当事方和旁观者，都是一片诧异。单从力量上看，无论军队数量，战斗技巧，武器装备，后勤补给，胜的应该是政府军。伟大总理波澜壮阔的一生（38）对军队的领导和保密工作六大前后，是中国农村革命游击战争特别困难的时期。当时，国民党各派系军阀还没有分裂，可以集中力量对工农红军进行围剿。全国各地的武装力量和根据地遭遇失败。红军中有部分人提出了红旗到底能日本东芝，法国阿尔斯通，中国华为，三桩案件看美国霸权国家的竞争从来都是残酷的，从来没有绝对的公平，综合实力是相互关系的基石，更是唯一的依靠。分析三个表面上看来纯粹的商业案例，来了解美国的本质，运用一切力量来维护自己的利益，用不正当的夏威夷群岛为何呈直线？夏威夷群岛的位置在北太平洋中部，它是整个波利尼西亚最大的次级群岛，共有大小的岛屿132个。夏威夷这个词来自波利尼西亚语。公元4世纪左右，一群波利尼西亚人乘着木桥抵达，破浪前行。他们从另一个角度看，中国的拉闸限电给岌岌可危的美国供应链补了一刀这段时间，不断有人在讨论拉闸限电的事。这件事其实很复杂，因为涉及到诸多部门，哪怕你给我几个月时间，写一本书恐怕都写不全。光靠一篇几千字的文章，没法说清楚。但我们可以从另一个侧面来看全球供应链短缺，危机笼罩下的美国黑五可能真会变成黑色的对于打工人来说，每年的十一黄金周都是出游度假的好时候。不过，在小长假的光环下，你可能没有注意到，下半年的购物季就要来了，双十一黑五双十二接下来的年终大促等等。但是对于那些热衷于海淘美国真的言论自由吗？美国是不是一个言论自由的社会？大量的严峻的现实，已经告诉国人，这是假的。前几年这种民主自由的宣传，可能还有些市场。网络的发达，彻底揭穿了公知的慌言，美国民主自由的神话已经崩溃了。我