平面几何图

图片来源@视觉中国

又一个重要数学猜想，被陶哲轩和他的博士后破解了！

此前陶哲轩在博客上发了个小预告，就已经有不少人赶来围观：

现在，不少人期待的正式版论文，终于在arXiv上新鲜出炉：

这个猜想，与我们熟悉的“铺瓷砖”问题有关——

用什么样的几何瓷砖，能恰好“天衣无缝”地铺满整个地板平面。

它名叫周期性平铺猜想（periodic tiling conjecture），即在一个平面（plane）中，不存在可以非周期性覆盖整个平面的单个几何图形。

简单来说，就是不存在一个具备“彭罗斯瓷砖”性质的几何图形，它既能通过自身平移或移动（不包括旋转）铺满整个平面，又能让平铺的图案看起来没有“规律性”。

彭罗斯瓷砖，由两个几何图形非周期性覆盖

这个猜想曾在二维空间中被证实，因此有数学家认为它同样可以推广到三维、甚至高维空间中去。

但现在，这个猜想在更高维的空间被陶哲轩和他的博士后否定了。

陶哲轩对此表示：

这篇论文出来后，希伯来大学数学名誉教授Gil Kalai发来祝贺：

罗彻斯特大学数学家Alex Iosevich调侃了一下否定猜想的方式：

具体如何？可以一起来看看～

周期性平铺猜想（periodic tiling conjecture），先后在1987年和1996年的两篇论文中被提出。

这一猜想认为，在一个平面（plane）中，不存在可以非周期性覆盖整个平面的单个几何图形。

其中，周期性和非周期性，分别是两种铺满平面的方法。

周期性平铺是一种很有规律的方法，即通过不断重复对某个图案进行“复制-平移-移动”，就能规律性地铺满整个平面：

例如用方块、或是正六边形瓷砖，就能做到非常直观的周期性平铺。

只需要不断复制其中的正六边形或正方形，并进行平移和移动这两种操作，就能轻松铺满整个2D平面：

非周期性的平铺方法，就没那么简单了。

最典型的例子，就是诺贝尔物理学奖得主彭罗斯提出来的“彭罗斯瓷砖”。

他设计了一个瘦四边形（图中红色）和一个胖四边形（图中蓝色），用这两个图形就能铺满整个平面，然而这两个图形究竟是怎么分布的，却没有一个具体的规律可言。

也就是说，用这两种图形铺出来的平面，无法像正方形或正六边形那样，被分割出一块图案“有规律”地进行复制粘贴，而是以一种随机的方式被铺在平面上。

所以，周期性平铺猜想，猜的就是“没有任何一个几何图形，可以靠自身做到非周期性覆盖整个平面”。

一维猜想已经被证实，而就在几年前，数学家Siddhartha Bhattacharya也成功地在二维平面上证明了这个猜想。

于是数学家们大胆了起来，他们猜测——如果周期性平铺猜想放在更高维的平面上，是否同样适用？

这里面，就包括陶哲轩和他的博士后格林菲尔德（Rachel Greenfeld），后者曾在加州大学洛杉矶分校（UCLA）任助理教授，如今去了普林斯顿大学。

至少在发现反例前，他们曾试图证明过高维平面的周期性平铺猜想。

当格林菲尔德以博士后的身份来到UCLA后，她和陶哲轩便将目光瞄向了周期性平铺猜想。

由于猜想在一维和二维空间被证实，他们决定证明更高维度的猜想，先从三维开始：

他们甚至为此设计了一个新方法，再次成功证明了二维平面的猜想，但在证明三维空间时却屡屡碰壁。

这时陶哲轩开始思考，是不是高维度下这个猜想是有问题的。

于是，他们俩的研究来了个大转向：开始寻找反例。

解决这个问题时，陶哲轩和格林菲尔德想出了一个大“套路”：先拆解，再各个击破——

将连续无限点阵列拆解成有限点集，将高维问题拆解成低维问题。

为了便于分解，他们尝试重新构建这个问题：将问题设计成一个方程系统，其中未知的变量代表高维空间中所有可能的方法。

而方程系统中的每个方程都表示针对解的不同约束，这样一来，整个高维问题就可以分解成多个不同平面“瓷砖”的问题。

解决“瓷砖”问题的方法也变成了相对容易的计算机编程问题，其中每个命令都是最终平铺所需要满足的不同属性。

而要解决这个问题，就必须保证所有属性的平铺都必须是非周期性的。

以三维空间为例，如果将平面“瓷砖”叠在一起，就能设计出一个适用三维空间的“三明治”结构，每一层瓷砖该如何移动则代表了编程中的属性。放到更高维空间也是如此。

而陶哲轩他们所做的，就是对这些属性进行限制，最终排除掉所有的周期解。

那最终的解又是如何找到的呢？

这又是另外一个难题：网格问题，包含无限数量的行和虽有限但数量依旧庞大的列。

他们有个很巧妙的思路：做“数独”，把网格比作是一个巨大的数独游戏，用特定的数字序列来填充每一行和每一个对角线。

而这些数字序列则需要满足平铺方程的约束条件。

最终，陶哲轩发现了得出的序列是非周期性的，这也意味着平铺方程组的解也是非周期性的。

至此，高维空间的周期性平铺猜想被陶哲轩和他的博士后推翻了。

至于这一反例的维度究竟有多高，陶哲轩给了个大致的范围让大伙“感受感受”：

这维度也太高了

当然，他们俩的这项工作并不仅仅止于推翻这个猜想，还标志着一种新方法的出现——

它既可以被用来构建一些非周期性平铺猜想，也可以用来推翻其他与瓷砖问题有关的猜想。

就好比说数学家们一般要证明一个猜想是“不可判定”的，通常会证明它等同于另一个已知的“不可判定问题”。

因此，若这个平铺问题被证明是不可判定的，那它便可以作为一个工具来证明在其他情况下一些问题的不可判定性。

论文地址：

https://arxiv.org/abs/2211.15847

参考链接：

• [1]https://www.quantamagazine.org/nasty-geometry-breaks-decades-old-tiling-conjecture-20221215/
• [2]https://terrytao.wordpress.com/2022/11/29/a-counterexample-to-the-periodic-tiling-conjecture-2/

尹徐田1066什么是立体图形?什么是几何图形?平面图形? -
芮音弦15512613254 ______[答案] 立体图形相对于平面图形而言的,它特指有三维指标的(长、宽、高),如多面体与旋转体等;平面图形特指只具有二维指标的(横向与纵向).如三角形,四边形等.几何图形是指几何学中,由点、线、面而组合成的图形,它是一个总称,既包含立...

尹徐田1066平面几何是什么?举例说明 -
芮音弦15512613254 ______ 平面几何通常是指平面几何的基本概念、相交线和平行线以及三角形这三部分内容,比如:三角形、圆形是平面的和圆柱、圆锥就不是

尹徐田1066几何图形是什么? -
芮音弦15512613254 ______ geometry 1.点、线、面、体这些可帮助人们有效的刻画错综复杂的世界,它们都称为几何图形(geometric figure).从实物中抽象出的各种图形统称为几何图形.有些几何图形的各部分不在同一平面内,叫做立体图形.有些几何图形的各部分都...

尹徐田1066平面几何图形如何分类 -
芮音弦15512613254 ______ 1.圆形2.多边形:三角形(分为一般三角形,直角三角形,等腰三角形,等边三角形)、四边形(分为不规则四边形,体形,平行四边形,平行四边形又分:矩形,菱形,正方形)、五边形、六…… 注:正方形既是矩形也是菱形

尹徐田1066几何图形都有什么组成的,什么是构成图的基本元素 -
芮音弦15512613254 ______ 几何图形由点、线(包括孤线、曲线)、面组成. 构成图的基本元素: 点与线. 生活中到处都有几何图形,我们所看见的一切都是由点、线、面等基本几何图形组成的.几何源于西文西方的测地术,解决点线面体之间的关系.无穷尽的丰富变...

尹徐田1066 谈谈平面几何和立体几何在画图上有什么区别吗? -
芮音弦15512613254 ______[答案] 答案:在立体几何中,图形中的线是实的还是虚的,对于图形的空间形状和位置有非常大的影响,这当中应当明确,能够看到的线一定画成实线,被挡住的看不到的线画成虚线.它跟平面图形中的辅助线有差别,平面图形中只要是辅助线,一律用虚线...

尹徐田1066什么是平面几何?有多少种图形? -
芮音弦15512613254 ______ 那多了去了三角形四角形....N角形 平面几何的各个端点在同一平面上 立体几何的端点在不同平面上 - -||| 额 解释不清了 数学书上应该有的... 定义是 (网上当的) 直 线 (不定义)直线向两方无限延伸,它无端点. 射 线 在直线上某一点旁的部分...

尹徐田1066请问什么是平面几何知识?能讲一下吗?谢谢 -
芮音弦15512613254 ______ 平面几何是相对于立体几何来说的,就是同一平面内线与线,形状与形状之间的关系. 相交线和平行线 1.定理与性质 对顶角的性质:对顶角相等. 2.垂线的性质: 性质1:过一点有且只有一条直线与已知直线垂直. 性质2:连接直线外一点与...

尹徐田1066平面图形与几何图形有何区别,举例说明 -
芮音弦15512613254 ______[答案] 几何图形包括平面图形,平面图形如直线,角,三角形,正方形,多边形等等.而几何图形包括平面图形之外,还有立体图,如球,圆柱体,正方体等等各种多面体.

尹徐田1066立体几何,解析几何,平面几何的区别
芮音弦15512613254 ______ 平面几何是在平面内研究图形的性质,是立体几何、解析几何的基础;立体几何是在三维空间中研究图形、物体的性质;解析几何是在坐标系中通过点、线的坐标化来简化问题,使之易于研究,将具体的点和线段化为抽象的数学符号,它是建立在平面几何和坐标系的基础上的.总的来说,平面几何考查的是平面思维,立体几何考查平面几何和空间想象能力,而解析几何考查平面几何和坐标系.三者可以理解为:平面几何—立体几何、平面几何—解析几何.还有就是向量了,它在所有几何学中应用是很广的,用它来解决问题很方便.