组合 1540 字 约 4 分钟 2 图

多面体欧拉公式的几个简单应用

在凸多面体中,其顶点(vertex)数,边(edge)数,面(face)数满足如下关系式:

例如:四面体有个顶点、条边、个面,.
三棱柱有个顶点、条边、个面,.
正方体有个顶点、条边、个面,.

该公式最早由欧拉在1750年提出,大部分证明均采用了数学归纳法,以下链接中给出了20种证明.

https://www.ics.uci.edu/~eppstein/junkyard/eul

这里给出Cauchy的证明:

从多面体去掉一面,通过把去掉的面的边互相拉远,把所有剩下的面变成点和曲线的平面网络.不失一般性,可以假设变形的边继续保持为直线段.正常的面不再是正常的多边形即使开始的时候它们是正常的.但是,点、边和面的个数保持不变,和给定多面体的一样(移去的面对应网络的外部).

重复一系列可以简化网络却不改变其欧拉数(也是欧拉示性数)的额外变换.

  1. 若有一个多边形面有条边以上,我们划一个对角线.这增加一条边和一个面.继续增加边直到所有面都是三角形.
  2. 除掉只有一条边和外部相邻的三角形.这把边和面的个数各减一而保持顶点数不变.
  3. (逐个)除去所有和网络外部共享两条边的三角形.这会减少一个顶点、两条边和一个面.

重复使用第2步和第3步直到只剩一个三角形.对于一个三角形(把外部数在内),,.所以.

证毕.

下面给出欧拉公式的几个简单应用:

  1. 证明:柏拉图多面体(正多面体,即每个面都是全等的正多边形)只有种.

证明:

设正多面体每个面都有()条边,每个顶点关联()条边,并设多面体有个顶点,条边,个面.

  • 每个面有条边,故共有条边,而每条边被两个相邻的面各计算一次,于是有
  • 每个面有条边,故共有条边,而每条边被两个相邻的顶点各计算一次,于是有
    代入欧拉公式
    得

即

若,且,则
矛盾!因此,中至少有一个不大于,而,,故,中必有一个为.
  1. ,则,即.故.
    时,,,.
    时,,,.
    时,,,.
  2. ,则则,即.故.
    时,,,.
    时,,,.
    时,,,.

去掉一个重复的情况,可得正多面体只有正四面体、正六面体、正八面体、正十二面体、正二十面体这五种.

类似可证明如下结论:

2.证明:阿基米德多面体(半正多面体,即由边数不全相同的正多边形为面的多面体)只有种.

证明略.

在阿基米德多面体中,有一种多面体被我们所熟知,即由正五边形和正六边形组成的面体,富勒烯(又称足球烯)的结构就是如此.当然,这也是我们常见的足球表面黑白色块的组成方式,因此得名足球烯.

3.已知上述图形由正五边形和正六边形组成,且每个正五边形周围有个正六边形,每个正六边形周围有个正五边形和个正六边形.求这个多面体的面数、顶点数和边数.

解:

设这个多面体有个正五边形的面,个正六边形的面,条边,个顶点.

  • 每个正五边形的面周围有个正六边形的面,但每个正六边形的面在个正五边形的面周围,被重复计算了次.因此
  • 每个正五边形的面有条边,每个正六边形的面有条边,于是共有条边,但每条边被相邻两个面各计算了一次.因此
  • 每个正五边形的面有个顶点,每个正六边形的面有个顶点,于是共有个顶点,但每个顶点被相邻三个面各计算了一次.因此
  • 由欧拉公式:
    解得:

因此有个正五边形面,个正六边形面,条边,个顶点.

值得一提的是,本题在1997年全国高考的化学试卷最后一题中出现,并且还考察了的结构,方法也是类似的.题目如下:最后是一道2020年CMO的图论题:

4.是一个凸多面体,满足以下两个性质:
(i)的每一个顶点恰属于个不同的面;
(ii)对任意,中边形面都恰有偶数个.
有一只蚂蚑从某条棱的中点出发,沿棱爬行,走一条闭合路径,经过上每一点恰好一次,最终回到出发点.将的表面分为两部分,使得对任意,两部分中边形面的个数相等.
求证:蚂蚁在爬行中向左转和向右转的次数相等.

证明:

设的两侧各有个面,其中一侧A有个内部点,另一侧B有个内部点.再设上转向A的点有个(即该点所连的另一条边不在A内),转向B的点有个.

由两部分边形面的个数均相等知,每部分顶点和棱的个数均相等,这里的个数是指重复计数的结果.

由条件(i),每个内部点在该部分被计次,转向该部分的点只属于该部分的一个面,故被计次,转向另一个部分的点被计次.因此由顶点个数相等,有

即
部分每个内部点连出条边,转向的点连出条边,转向的点连出条边,故共有条边,同理部分有条边.

对两个部分分别使用欧拉公式,这里将“压平”,使两部分均成为一个新的多面体,此时面数增加.于是有

两式相减得:

即

结合
知,证毕.

留言

解法、疑问、勘误都可以说。公式用 LaTeX:行内 $…$,整行 $$…$$。

留言区还没开。想聊这道题,可以点上面的「在公众号查看原文」,到公众号那边留言。