网易首页 > 网易号 > 正文 申请入驻

为了少画一个交叉,芯片工程师全在脱发;欧拉公式:别挣扎了,上限我早就算死了

0
分享至

认真阅读下面的文章,并思考文末互动提出的问题,严格按照互动:你的答案格式在评论区留言,就有机会获得由人民邮电出版社提供的优质科普书籍《量子科技如何改变我们的生活

让我们首先引入这个故事的主角——欧拉公式:

这个结构看似简单的公式,实质上高度浓缩了三维实体(即多面体,Polyhedra)的核心几何几何属性。这类空间结构在过去4000多年里始终吸引着数学家的目光。事实上更深层次地讲,欧拉公式揭示了关于形状与空间本质的深刻规律。该公式以瑞士著名数学家莱昂纳德·欧拉(Leonhard Euler,1707 - 1783)的名字命名。

什么是多面体?

在探讨欧拉公式的本质之前,我们需要明确多面体的数学定义。多面体是一种三维实体,其表面由有限个平坦的面(Face)围成,而这些面的边界必须是平直的线段。这里的每一个面实际上都是一个多边形(Polygon)——即在二维平面上由若干条直线段首尾相连构成的封闭图形。


图1:常见的三角形和正方形均属多边形,但多边形同样可以具备右图所示的不规则形态。

多边形的定义有着严格的限制——其内部不允许存在任何孔洞,正如下图中所示:左侧的图形是一个多边形,但右边的并不是。


图2:左侧图形属于合规的多边形;右侧图形则不然,因为其中间包含一个“孔洞”。

若一个多边形的所有边长均相等,且所有内角也均相等,则称之为正多边形(Regular Polygon)。例如图1中的三角形、正方形,以及图2中的五边形都是正多边形。

当我们将维度向上拓展一级,便得到了多面体。它是一个封闭的三维实体,表面由若干多边形面构成。我们将这些面的边界称为边(Edge)——每两条边恰好由两个面共用;位于每个面角落的部分被称为顶点(Vertex)——在标准多面体中,每个顶点至少连接着三个不同的面。为了说明这一点,以下是两个著名多面体的例子。


图3:左侧为常见的正方体,右侧为正二十面体。多面体由多边形的面构成,面的边界称为“边”,面与面的交角(顶点)称为“顶点”。

此外,一个真正的多面体必须是一个骨肉相连的连续整体。它不能由诸如两个或者多个独立的几何体仅通过一条边或一个顶点强行连接而成。因此,以下两种情形均不属于真正意义上的多面体:


图4: 此类对象不属于多面体,因为它们由两个独立的几何部分构成,且仅仅交于一条边(如左图)或一个顶点(如右图)。

欧拉公式揭示了什么?

现在,我们已经准备好来看看欧拉公式究竟解释什么有关多面体的秘密了。观察一个多面体(例如上述的正方体或正二十面体),统计其顶点数量,并将该数值记为V。以正方体为例,它拥有8个顶点,即V=8。其次,统计其边的数量,并将该数值记为E。正方体拥有12条边,即E=12。最后,统计其面的数量,并将该数值记为F。在正方体的例子中F=6。现在,欧拉公式告诉我们:

用文字表述也就是:多面体的顶点数,减去边数,再加上面数,其结果恒等于2。对于正方体,我们已经知道V=8、E=12且F=6。因此:

这与公式的预言完全吻合。我们再来看看正二十面体,可以发现它拥有12个顶点(V=12)、30条边(E=30)和20个面(F=20)。代入公式可得:

同样和我们先前所预料的完全一致。

欧拉公式对于正方体和正二十面体成立。事实上,美妙得令人惊叹的是,欧拉公式对几乎所有多面体都普遍适用。唯一使该规律失效的特例,是那些内部包含贯穿孔洞的几何体(如下图所示)。


图5: 该多面体内部存在一个贯穿的孔洞。在这种情况下,欧拉公式不再适用。

在几何学中,此类带有孔洞的多面体被称为非简单多面体(non-simple);与之相对,没有孔洞的则称为简单多面体。虽然非简单多面体并不符合常规直觉,但它们在现实中大量存在,我们也不能回避欧拉公式对它们均失效的事实。然而,即使是这一尴尬的反常现象,如今已演变为一门关于空间与拓扑结构的全新理论。

欧拉公式的理论威力

一旦数学家发现某个“不变量”(即对某一类对象普遍成立的恒等属性),他们就知道自己找到宝了。学者们可以借此推断单个或者一整类几何体可能具备的性质。例如,欧拉公式可以告诉我们:世界上根本不存在恰好拥有7条边的简单多面体。 你不必找来硬纸板、剪刀和胶水亲手操作才能弄懂这件事,欧拉公式就是你所需要的一切。有关“不存在7条边多面体”的论证过程其实非常简单,感兴趣的读者可以自己尝试一下。(译者注:可以试着找一些简单多面体顶点、边和面之间的数学关系,然后和欧拉公式结合导出矛盾)

同理,我们也可以证明:绝对不存在一个刚好拥有10个面和17个顶点的简单多面体。 下图所示的八边柱底面为八边形,它确实有10个面,但是顶点的数量只有16个。底面为九边形的边锥同样有10个面,但其顶点仅有10个。欧拉公式从代数层面上锁死了创造“10面17顶”多面体的可能性。


图6: 这两种多面体虽然均由10个面构成,但其顶点数均无法达到17个。

正是基于上面这种推导思考,我们得以一瞥或许是数学中最美的发现。这一发现和正多面体有关,这是一类以古希腊哲学家柏拉图命名的知名多面体(译者注:柏拉图立体),它们最早出现在柏拉图的著作中。


图7: 柏拉图立体。自左至右依次为:拥有4个面的正四面体、6个面的正方体、8个面的正八面体、12个面的正十二面体,以及20个面的正二十面体。

尽管只需看上面的实例,就能立刻感受到它们匀称优美的特质,但想用文字精准定义却并不简单。事实上,柏拉图立体由两大核心特征界定。

第一,柏拉图立体不存在凸起尖角或凹陷,整体形态规整饱满。换句话说:在柏拉图立体内部任取两点并相连,两点间的整条线段都完全包含在立体内部 —— 这类立体就是我们所说的凸多面体(convex)。

第二个特征称为正规性(regularity):立体所有面都是边数完全相同的正多边形,且立体每一个顶点处交汇的边数量都相等。

正方体是一种正多面体,因为其所有面均为正方形,且每个顶点均连接3条边。读者可以自行验证,正四面体、正八面体、正十二面体和正二十面体同样完全满足这两个特征。

此刻你或许会好奇,一共存在多少种不同的柏拉图立体。自立方体与正四面体被发现以来,数学家们便深深着迷于柏拉图立体匀称对称的美感,不断寻找新的种类,并试图完整列举出所有类型。这时欧拉公式就能派上用场。我们可以借助它,推算正多面体的面、边、顶点数量所有可能的组合。最终你会发现,实际上仅有五种不同的正凸多面体!这一点十分出人意料:毕竟正多边形的边数可以无限多,为何正多面体的种类却存在上限?五种柏拉图立体:正四面体、立方体、正八面体、正十二面体与正二十面体分别如上图所示。

严格的逻辑证明

对各种不同的简单多面体进行尝试,会让你确信欧拉公式总是成立的。但对于数学家来说,这远远不够。你需要的是“证明”——一种基于无懈可击的逻辑推理,证明该公式对所有已知和未知的多面体均绝对成立。

尽管该公式以欧拉命名,但首个完整证明实际上并非由欧拉得出。它的发展历程错综复杂,跨越两百年时光,多位数学巨匠都参与其中,包括勒内·笛卡尔(René Descartes,1596–1650)、欧拉本人、阿德里安-马里·勒让德(Adrien-Marie Legendre,1752–1833)以及奥古斯丁-路易·柯西(Augustin-Louis Cauchy,1789–1857)。

值得一提的是,这些数学家证明该公式采用的思路截然不同,每一种证法都极具巧思与独到见解。不过,这里我想为大家简单介绍柯西的证明思路。他的证明分为好几个阶段与步骤,第一步是构造一种叫做网络图的图形结构。


勒内·笛卡尔(1596–1650)、阿德里安-马里·勒让德(1752–1833)和奥古斯丁-路易·柯西(1789–1857)的画像

阶段一:多面体的平面网络化

想象你手中拿着一个多面体,让其中一个面朝上。接下来设想只“去掉”这个朝上的面,保留它周边所有的边和顶点,这样就得到一个敞口的 “盒状结构”。然后想象抓住这个结构,把缺失那个面的四条边向四周拉开。只要拉得足够开,这个立体结构就能摊平,变成平面上由点和线段组成的网络图。下方一系列图示以立方体为例,演示了这一过程。


图8: 将正方体转化为平面网络的过程。

从上图可以看到,原多面体的每一个面,都会转化为网络图中被边包围的一块区域,我们将其称作网络图的面,也就是网络图的内部面。除此之外还有一个外部面,即网络图外围的整片区域,它正好对应我们从多面体上移除的那个面。因此,该网络图包含顶点、直线边以及多边形面。


图9: 平面网络同样由面、边以及顶点组成。

在构造网络图的过程中,顶点既没有新增也没有减少,因此网络图的顶点数量和原多面体相等,记作V;网络图的边的数量也和多面体一致,记作E。再看面:多面体除了被去掉的那个面之外,其余所有面都变成了网络图内部的区域;而那个被”去掉”的面,则对应环绕网络图四周、向外无限延伸的外部面。因此若把外部面算在内,网络图一共有F个面。这就意味着,我们完全可以借助网络图(而非原多面体)来计算V-E+F的值。接下来我们将对网络图做变形处理,简化该式的计算。

阶段二:网络的拓扑变换

我们可以对网络图执行三类操作,下面将分三步介绍这些操作。

步骤1:我们先观察网络图里的多边形面,并提出一个问题:是否存在边数大于三的面?如果有,就像下图那样画出一条对角线,把这个面分割成两个更小的面。


图10: 区域剖分(分割面)。

我们对选定的面重复上面的操作,直到它完全被分割成若干个三角形。


图11: 最终整个网络将全部由三角形面构成。

倘若还有其他边数大于三的面,我们就对该面重复第一步操作,直至它也被拆分为多个三角形面。按照这种方法,我们能把所有面全都分割成三角形,最终得到一张全新网络图,它所有的面均为三角形。下文将以立方体展开得到的网络图为例,演示这一变换过程。


图12: 正方体网络在持续执行“步骤1”后的演变状态。

我们回到第一步,观察仅执行一次第一步操作后得到的网络图。绘制一条对角线会新增一条边;原来的一个面被拆成两个面,因此面的数量增加 1,而顶点总数保持不变。

变换后的网络图顶点数仍为V,边数变为E+1,面数变为F+1。那么执行一次第一步操作后,V-E+F的值会发生怎样的变化?结合V,E,F各自的增减情况可以得到,变换后的表达式为V-(E+1)+(F+1)。接下来我们对该式化简:


由此可知,完成第一步操作后,V-E+F的数值保持不变!由于每执行一次第一步操作,V-E+F的值都不会发生改变,因此当我们得到一张全部由三角形构成的新网络图时,该式的值依旧不变。下方表格展示了对立方体展开所得网络图做变换时,V-E+F的变化规律。


接下来介绍第二步与第三步操作。这两步会从网络图的外围逐层去掉面,使面的数量逐步减少。一旦开始该操作,这张网络图大概率不再对应某个多面体,但网络图最重要的性质依然保持不变。

步骤二:我们先检查网络图是否存在这样一个面:它与外部面仅共用一条边。如果存在,就删掉这条公共边,从而移除该面。原本被这个面覆盖的区域会并入外部面,网络图也随之形成新的外边界。下方示意图以立方体转化得到的网络图为例演示该操作。


图13:移除仅含一条外部边界边的面。

设执行第二步之前,这张全由三角形构成的网络图的顶点、边、面数量分别为V,E,F。我们来分析单次第二步操作后,V-E+F的数值变化。操作中我们去掉了一条边,新网络图的边数变为E-1;顶点一点也没变,总数仍为 V;被移除的面和外部面合并,面数变为F-1。因此变换后的表达式为V-(E-1)+(F-1),化简如下:

V-E+F再一次保持不变。

步骤3:我们检查网络图中是否存在这样一个面:它与外部面共用两条边。若存在,就移除这两条公共边以及两条边相交的公共顶点,以此消去该面;此时原属于这个面的区域会再次并入外部面。下图以立方体衍生网络图(完成两次第二步操作后的形态)为例演示该操作。


图14:移除含两条外部边界边的面。

和之前的做法一致,我们仍用V,E,F表示操作前网络图的顶点数、边数和面数。现在来看第三步操作会对V-E+F的取值产生怎样的影响:我们移除了一个顶点,也就是两条边相交的公共顶点,因此顶点数变为V-1;我们去掉了两条边,边数变为E-2;最后,我们选中的这个面与外部面合并,面数变为F-1。因此变换后的式子应为(V-1)-(E-2)+(F-1),化简如下:

V-E+F的数值再次成功保持了守恒。

该证明的关键在于反复执行第二步与第三步操作,最终得到一个结构极其简单的网络图。回顾前文,我们曾多次使用第一步操作,得到一个所有面均为三角形的网络图。这种网络图中一定存在某个面,它与外部面恰好共用一条边,我们就选取这个面执行第二步操作。我们可以依次对多个面重复第二步,直到出现一个与外部面共用两条边的面,再针对该面执行第三步。持续交替进行第二步和第三步,以这种方式不断消去外围的面。

进行上述操作时必须遵守两条重要规则。第一,只要可以执行第三步,就优先执行第三步;如果同时能选择第二步和第三步,必须选用第三步。若不遵守这条规则,网络图可能会分裂成互不相连的若干部分。第二,每次只能移除一个面。如果一次性移除多个面,就会出现孤立向外延伸到外部面的边,网络图将不再是规范有效的网络图。下面我们以立方体对应的网络图为例,承接上一张示意图的状态连续执行多轮操作,完整演示整个变换流程。


图15: 对正方体拓扑网络执行消减算法的完整序列。

现在我们可以思考两个问题:这种不断移除面的操作是否会终止?如果会终止,最后会剩下什么?稍加思考就能明白,该过程必然会停下 —— 可供移除的面与边的数量都是有限的;当操作停止时,网络图只会剩下一个单独的三角形。文中配有若干示意图,完整演示由正十二面体转化而来的网络图的全部变换流程(前文曾介绍过,正十二面体是五种柏拉图立体之一)。

现在观察最终网络图(仅剩下一个三角形)的顶点、边、面数量:顶点数V=3,边数E=3,面数F=2—— 计算时仍需要把外部面算进去。接下来我们计算:

从完整多面体出发,到最后化简得到单个三角形的全过程里,V-E+F的数值始终保持不变。既然最终的网络图满足V-E+F=2,那么原多面体自身也一定满足V-E+F=2!至此证明完毕!

多面体之外

最后,我将介绍欧拉公式在多面体范畴之外衍生出的若干推论。先从一个十分贴近生活的例子说起:计算机芯片。计算机芯片本质是集成电路,由数百万个微型元器件构成,元器件之间通过数百万条导电线路相连。这种结构和前文讨论的网络图十分相似,但有一点区别:通常无法将这些线路(也就是图中的边)平铺在一个平面上而不出现交叉。线路交叉是电路设计中的缺陷,必须尽可能减少交叉数量,可想要规划出合理布线方案绝非易事。而蕴含网络图相关规律的多面体欧拉公式,是求解这类布线问题不可或缺的理论基础。

接下来我们把视野放大至宏大尺度:我们所处的宇宙。时至今日,宇宙学家仍未就宇宙的确切几何形态达成共识。拓扑学 —— 一门专门研究形体与空间的数学分支,是他们开展相关研究的核心工具。19 世纪数学家发现,三维空间内所有曲面的核心特征都由其上孔洞的数量决定:我们之前讨论的普通多面体不存在孔洞,甜甜圈形状的曲面则带有一个孔洞,以此类推。欧拉原始公式对带孔洞的多面体不再成立,不过数学家推导出了极具价值的推广形式。对任意多面体,V-E+F的数值恰好等于 2 减去两倍的孔洞数量。这个数值被称作欧拉示性数,它不仅适用于多面体,更是研究所有三维曲面的关键量。可以说,欧拉公式催生了一套全新的、研究形体与空间的思维体系。

作者:Abigail Kirk

翻译:Wonder

审校:姬子隰

fu

li

shi

jian

今天我们将送出由人民邮电出版社提供的《量子科技如何改变我们的生活》


本书围绕量子计算、量子保密通信、量子精密测量、量子 +X 这四大板块展开深入阐释。在量子计算领域,着重介绍物理实现平台及产业前沿进展。量子计算凭借其强大算力,有望在密码学、药物研发、天气预报等众多领域带来突破,大幅提升计算效率,加速科研进程,推动产业变革。量子保密通信方面,详细讲解主流的 “量子密钥分发”“量子隐形传态””方案与产业前沿。它基于量子不可克隆原理,为信息安全传输筑牢壁垒,保障金融、国防等关键领域信息安全,维护国家和社会稳定。量子精密测量领域,介绍现今主流的原子钟、原子磁力计等量子设备发展。这些设备具有极高精度,在导航定位、基础科学研究等方面作用重大,助力探索微观世界与宏观宇宙奥秘。量子 +X 板块,则聚焦量子前沿技术与人工智能、化学技术、材料应用等领域的交叉发展。通过融合创新,催生出更多新兴技术与应用,为各行业发展注入新活力,对推动人类社会进步意义深远。本书旨在全方位呈现量子科技魅力,助力读者理解其重要价值。

互动问题:现代集成电路芯片普遍采用平面构型,几亿条线必定会发生交叉,工程师不得不建起一层层复杂的“立交桥”来避免短路。因此,尽可能减少线路交叉的数量是芯片设计的核心课题。根据文章中介绍的知识,不妨打开你的脑洞想想,有没有什么办法可以减少芯片交叉的数量?(提示:可以从欧拉公式与拓扑学的角度出发去思考)】

请大家严格按照互动:问题答案的格式在评论区留言参与互动,格式不符合要求者无效。

截止到本周四中午12:00参与互动的留言中点赞数排名第二、三、五的朋友将获得我们送出的图书一套(点赞数相同的留言记为并列,并列的后一名次序加一,如并列第二的后一位读者记为第三名,以此类推)。

为了保证更多的朋友能够参与获奖,过往四期内获过奖的朋友不能再获得奖品,名次会依次顺延

*本活动仅限于微信平台

编辑:姬子隰

翻译内容仅代表作者观点

不代表中科院物理所立场

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
分手后男子以250元合成5张前女友不雅照,并发送给女方家属、亲友,致女方受辱自杀;法院:男子犯侮辱罪,获刑八个月

分手后男子以250元合成5张前女友不雅照,并发送给女方家属、亲友,致女方受辱自杀;法院:男子犯侮辱罪,获刑八个月

扬子晚报
2026-06-23 15:32:33
鲁尼被征服!梅西世界杯双响破纪录:再质疑GOAT的人,该醒醒了!

鲁尼被征服!梅西世界杯双响破纪录:再质疑GOAT的人,该醒醒了!

体育闲话说
2026-06-23 06:24:05
10年麻将馆老板囗述:凡是爱打麻将的,没有一个人日子是过得好的

10年麻将馆老板囗述:凡是爱打麻将的,没有一个人日子是过得好的

小噎论事
2026-04-24 17:15:21
世界杯赛场上出现旭日旗,国际足联相关规定不容双标

世界杯赛场上出现旭日旗,国际足联相关规定不容双标

澎湃新闻
2026-06-22 21:38:27
1998年数万华人遭屠杀,中国为何没出兵?26年后答案让人沉默

1998年数万华人遭屠杀,中国为何没出兵?26年后答案让人沉默

哄动一时啊
2026-02-17 22:21:25
【深度】屋顶光伏度苦夏

【深度】屋顶光伏度苦夏

界面新闻
2026-06-23 15:46:15
日媒:高市情绪失控“我犯了什么罪”,在野党忍无可忍或瘫痪国会

日媒:高市情绪失控“我犯了什么罪”,在野党忍无可忍或瘫痪国会

吴猖旅行ing
2026-06-23 08:57:04
你的女神已上线了

你的女神已上线了

草莓解说体育
2026-06-23 21:01:18
“对于梅西,我已经无话可说了”

“对于梅西,我已经无话可说了”

新浪财经
2026-06-23 19:35:35
北航杨昀清华本硕之谜:无高中档案,她究竟是怎么跨进清华的

北航杨昀清华本硕之谜:无高中档案,她究竟是怎么跨进清华的

十为先生
2026-06-21 21:56:48
618已开窗几天!申花明牌阿苏埃 北京国安新人也有传闻

618已开窗几天!申花明牌阿苏埃 北京国安新人也有传闻

80后体育大蜀黍
2026-06-23 21:21:51
八成以上考生弃考,南京大学“强基”再次遇冷,原因揭秘

八成以上考生弃考,南京大学“强基”再次遇冷,原因揭秘

史海流年号
2026-06-20 21:04:12
死刑犯临刑前三停五口喝水,总指挥:暂停行刑,这是19年前的暗号

死刑犯临刑前三停五口喝水,总指挥:暂停行刑,这是19年前的暗号

星宇共鸣
2026-05-18 13:21:51
苹果再次发布 AirPods 新固件更新,终于能用了!

苹果再次发布 AirPods 新固件更新,终于能用了!

XCiOS俱乐部
2026-06-23 20:36:34
A股有色金属板块遭遇重挫!PE仅9.19倍、市值7379亿,紫金矿业跌出“黄金坑”还是“价值陷阱”?

A股有色金属板块遭遇重挫!PE仅9.19倍、市值7379亿,紫金矿业跌出“黄金坑”还是“价值陷阱”?

和讯网
2026-06-23 18:31:19
全球首发!华为刚曝光的新机,真的很猛啊

全球首发!华为刚曝光的新机,真的很猛啊

科技堡垒
2026-06-21 11:51:14
上海市委原常委、浦东新区区委原书记朱芝松受贿案一审宣判

上海市委原常委、浦东新区区委原书记朱芝松受贿案一审宣判

新华社
2026-06-23 17:00:12
张雨绮自曝失恋已泪崩!遭圈外男友无理由分手,男方不帅但很善良

张雨绮自曝失恋已泪崩!遭圈外男友无理由分手,男方不帅但很善良

君笙的拂兮
2026-06-22 22:03:33
上海主持优嘉现状:定居新加坡,靠直播谋生,独自照料三代人生活

上海主持优嘉现状:定居新加坡,靠直播谋生,独自照料三代人生活

云景侃记
2026-06-22 16:55:47
重大揭秘,两年前中国用洲际导弹颠覆了世界局势

重大揭秘,两年前中国用洲际导弹颠覆了世界局势

枫冷慕诗
2026-06-22 15:25:43
2026-06-23 22:12:49
中科院物理所 incentive-icons
中科院物理所
爱上物理,改变世界。
10236文章数 136581关注度
往期回顾 全部

科技要闻

48名中国开发者联名举报苹果

头条要闻

河南南阳曾47天查扣24辆冷链货车:拍卖350万上缴国库

头条要闻

河南南阳曾47天查扣24辆冷链货车:拍卖350万上缴国库

体育要闻

扬尼斯去了迈阿密:凯尔特人怎么办?

娱乐要闻

内娱95后顶流格局发生潜移默化的变化

财经要闻

屋顶光伏度苦夏

汽车要闻

施鹏泽:为什么奥迪E7X强调座舱气味安全?

态度原创

游戏
时尚
本地
亲子
军事航空

狂卖到脱销!Steam主机所有型号已在亚洲全部售罄

除了玛丽珍、薄底鞋,今年最火的鞋子就是它了

本地新闻

吃一次广东龙舟饭,才懂什么是豪华盛宴

亲子要闻

其实孩子就是你生命中的菩萨

军事要闻

以色列总理、国防部长和国防军总参谋长发表联合声明

无障碍浏览 进入关怀版