对称与怪兽（一）：对称的语言，从五个立体说起
作者的话
做这个系列的初衷是为了实践一下AI时代的学习方式，我个人认为AI的价值不仅能帮助我们工作干活，还能帮助我们满足自己的探索欲和求知欲。当AI能替代我们做许多事的时候我们自然会想到AI能不能替代我们读书，我的答案是不能。正是由于AI的存在这个时代，读书的意义比以前反而更重要了，阅读、理解、思考和感受是我们人区别于AI最主要的特征，如果我们放弃思考一切由AI来完成，那可能会让我们追问自己活着的意义这样的哲学问题，至于这个问题的答案虽然因人而异，但有一点是肯定的，此时此刻在阅读文章的人一定是活着的，而活着我们就不可避免陷入这样的思考。扯远了，总之一句话，AI不是替代我们而是满足我们好奇心和求知欲的工具。
说回这个系列，这本《Symmetry and the Monster》目前没有中文版，所以我特意拿来做一期与AI一起读书的系列。我自己学习群论实际上是到了之后的研究生阶段了，但是在这之前我一直对五次及以上方程没有求根公式（根式解）很感兴趣（还有三等分任意角这类古老的尺规作图难题），我以前尝想着为什么如此简单的问题数学界却要花上百年甚至千年的时间去解决呢？这背后其实是蕴含着深刻的道理的，这就是群论。群论不只是一个抽象的数学理论，背后更是一种看待世界的方式，它蕴藏着美与丑的哲学思辨，也蕴藏着对称与非对称的宇宙起源。
接下来让我们一起走进群论的世界吧。
—— Yeqiu
🎬 本期配套视频已上线（YouTube）
目录
- §0 一个住在 196883 维里的怪兽 — 从终点开始：怪兽群与五个立体，同一张"对称周期表"的两端
- §1 五个完美的立体 — 为什么恰好五个：顶角内角和的枚举，与欧拉公式的一行不等式 $\tfrac1p+\tfrac1q>\tfrac12$
- §2 古人的痴迷 — 柏拉图《蒂迈欧篇》的万物配方、欧几里得《原本》第 XIII 卷的封顶石、Theaetetus、罗马十二面体之谜
- §3 对称，其实是一个"动作" — 把"对称"从形容词变成动词：保持不变的操作，以及"群"的第一次露面
- §4 这些立体到底有多对称 — 数对称：立方 24、二十面体 60；对偶（立方↔八面、十二↔二十、四面自对偶）
- §5 对称，就在你身边 — 骰子、病毒衣壳、C60、放射虫、密铺：自然界为何也偏爱这五个形状
- §6 对称的原子 — $A_5$：第一个"拆不动"的对称原子；换序差 120°（非交换）；温顺与狂野
- §7 尾声：开普勒的美丽错误 — 1596《宇宙的奥秘》用五立体套太阳系；一个美丽的错误如何把他领向对的地方
§0 一个住在 196883 维里的怪兽
这趟旅程我们从终点开始回顾——尽管这个终点看上去像一本天书。
数学里有个叫魔群的东西，大到需要用 196,883 维空间才装得下。它不是图形，也不是数字，而是一团"对称本身"：数量惊人、却严丝合缝彼此咬合的对称动作。它就像数学里的一头巨兽。更怪的是：这头活在近二十万维里的巨兽，似乎和数论里一个毫不相干的东西对上了某种暗号——两个本不相往来的数学领域，中间像是存在着某种联系。
为什么会有这样的联系，是这个系列最后才讲的事。现在就把答案甩给你，你不会震撼，只会觉得是串数字。要真正被它震撼到，还得从头开始——从 2300 年前，五块木头讲起。 因为巨兽和那五个立体，是同一个故事的两端：它们都具有对称的内在属性。我们这一路，就是去把所有的对称属性找齐。
这本书，是从一个"巧合"开始写的。 1978 年，数学家 John McKay 在翻一个和这头巨兽有关的数字时，发现它和数论里一个毫不相干领域的数字几乎一模一样。多数人会耸耸肩说"凑巧"，McKay 没有——他把这个"凑巧"写信告诉了同行 John Thompson，一群人就这么开始了一场追问。Mark Ronan 写《对称与怪兽》这本书，讲的正是这场追问；而这个系列，是我们跟着这本书一起把它读懂。那两个数字到底是什么、为什么会撞上，是整个旅程最后才揭晓的事；现在只需要记住：故事的种子，是一个不肯把巧合当巧合的人。
§1 五个完美的立体
故事的起点，是古希腊人手里的五个完美立体：正四面体、正方体、正八面体、正十二面体、正二十面体。它们规整到让人无法相信是巧合——而更惊人的事实是：这样的完美立体，恰好只有五个，不多不少。
先把"正多面体"定义成两个精确条件：一个凸多面体，(i) 每个面都是全等的正 $p$ 边形，(ii) 每个顶点处恰好聚 $q$ 个面。这样一个立体，就被一对整数 $\{p,q\}$（叫 Schläfli 记号）完全决定——连"每个顶点看上去都一模一样"也是这两条加上"凸"自动逼出来的副产物，不必单列。
那么为什么只有五个——给一个你能在脑海里走完的论证。 在一个立体的顶角处，几个面的内角加起来必须小于 360°（等于就摊平了、大于就撑破了）。于是：正三角形每角 60°，凑 3、4、5 个都行（→ 四/八/二十面体），6 个正好 360°——出局；正方形 90°，只能凑 3 个（→ 立方体）；正五边形 108°，也只能 3 个（→ 十二面体）；正六边形 120° 凑 3 个又是 360°——再往上全超。所以只可能有五个。
更严谨的说法是（欧拉公式）. 同一件事，用我们前几期反复用到的欧拉公式 $V-E+F=2$ 一收，就成了一行不等式：$\tfrac1p+\tfrac1q>\tfrac12$；而 $p,q\ge3$ 的整数解恰好五对，正是上面这五个立体。（"至多五个"是必要性、"五个都造得出来"是存在性——两边合上才算"恰好"，和四色定理那期"上界+下界"是同一种思维。）
| $\{p,q\}$ | 立体 | $V$ | $E$ | $F$ |
|---|---|---|---|---|
| $\{3,3\}$ | 正四面体 | 4 | 6 | 4 |
| $\{4,3\}$ | 正方体 | 8 | 12 | 6 |
| $\{3,4\}$ | 正八面体 | 6 | 12 | 8 |
| $\{5,3\}$ | 正十二面体 | 20 | 30 | 12 |
| $\{3,5\}$ | 正二十面体 | 12 | 30 | 20 |
§2 古人的痴迷
两千年前，人们就被这五个立体迷住了——一次是把它们当成万物的配方，另一次则当成数学的封顶石。
柏拉图的配方（《蒂迈欧篇》，约公元前 360 年）。 柏拉图把世界的四种基本"元素"各配一个立体：火是最尖锐轻快的锥体（后世才叫四面体），土是最稳固能堆叠的立方体，气是八面体，水是二十面体。还剩一个十二面体，他把它留给了整个宇宙——"神用它来装点天穹"。这五个完美形状，第一次被当成了万物的底层语言。
欧几里得的封顶石（《几何原本》第十三卷，约公元前 300 年）。 三百年后，欧几里得把这份痴迷变成铁一般的数学。《原本》十三卷，最后一卷整卷都在讲这五个立体：先把它们一个个精确作出来（内接于球），最后证明了我们 §1 刚走过的那件事——完美立体恰好只有五个。两千年数学的圣经，封顶石就是这五个形状。
证明这样的立方体"只有五个"的人：Theaetetus。 历史上归功于雅典数学家 Theaetetus（约公元前 417–369 年，一说前 391）——柏拉图的同代人，还被柏拉图写进了一篇以他命名的对话。他是第一个系统地从数学上处理这五个立体、并很可能第一个证明"只有五个"的人；《原本》第十三卷大体源自他的工作。（他"负伤、染痢疾而死"那一幕，出自柏拉图《泰阿泰德篇》开场的纪念性文学框架，非独立传记；卒年学界亦有 369 / 391 两说——我们只把最确定的留下：他给了那个证明。）
顺带一提，Ronan 这本书的第一章干脆就叫《Theaetetus's Icosahedron》（Theaetetus 的二十面体）。两千多年的对称之旅，他没从立方体、也没从最简单的四面体讲起，而是把镜头对准五个里最复杂、最对称的那一个——二十面体，以及第一个把它讲清楚的人。后面你会看到，正是这个二十面体的 60 个旋转，成了我们要找的第一颗"对称的原子"。
而古人的痴迷，不只活在哲学和数学里，也活在工匠手里。 自 1739 年首次记录以来，考古学家在罗马帝国西北行省（今法、德、英一带）陆续挖出了一百多件小小的铜合金空心十二面体，年代在公元 2 到 4 世纪：十二个五边形的面，每面正中开一个大小不一的圆孔，十二个角上各鼓出一颗小球。它们规整、精巧，显然有人极用心地铸造。可它们到底做什么用——测距？纺织？占卜？两千年来攒下五十多种猜想，至今没有一种被坐实（光是那些孔大小不一，就让"精密测量工具"的说法很难成立）。一个被对称深深吸引的古老文明，留给我们一个连用途都成谜的对称礼物。
§3 对称，其实是一个"动作"
到这里都还是"形状"。但这个系列真正的主角，则是它们的对称。
对称是形象的说法，背后则是抽象的一个"动作"：一个把物体搬回它自己身上、看不出区别的变换。把正方体绕中心轴转 $90°$，转完跟没转一样——这就是它的一个对称。一个物体到底有多对称，就看它有多少个这样的动作。我们来数正方体的。
只数刚体旋转（先不含镜像），按转轴分类：
| 转轴 | 轴数 | 每轴的非平凡旋转 | 小计 |
|---|---|---|---|
| 恒等（不动） | — | — | $1$ |
| 过两对面中心 | $3$ | $90°,180°,270°$ | $9$ |
| 过两对顶点（体对角线） | $4$ | $120°,240°$ | $8$ |
| 过两对棱中点 | $6$ | $180°$ | $6$ |
合计 $1+9+8+6=\mathbf{24}$ 个旋转。再允许镜像，翻倍到 $\mathbf{48}$。
现在注意这些动作的三个性质——它们朴素到你几乎会忽略，却是全部的关键：
- 任意两个对称接力做（先转这个、再转那个），结果还是一个对称；
- 每个动作都能撤销（转了 $90°$ 就反转 $90°$，回到原样）；
- 有一个"什么都不做"的动作（恒等）。
把"接力"亲手走一遍。 先把正方体放正，绕"上下面中心"那根竖轴转 90°；再绕"前后面中心"那根横轴转 90°。两步做完，整个立方体看上去和没动过一样——所有角、棱、面都精确落回了某个原来就有的位置。换句话说，"转 90° 再转 90°"这个合起来的动作，本身就是那 24 个旋转里的某一个。这就是"接力封闭"：你永远跳不出这 24 个之外。（留个伏笔：要是交换顺序、先横后竖，落点会不一样——这件"顺序要紧"的事，§6 会变成关键。）
"能接力、能撤销、有不动"——一个满足这三条的"动作集合"，重要到数学家给它起了个名字：群（group）。正方体的 24 个旋转，就是一个群；它的对称，被这个群完整地装了起来。
先别急着背定义。这一集你只需要记住一句话："群"就是对称的语言——它把"一个东西有多对称"翻译成了可以计算的数学。 至于群严格的公理、它内部的精细结构，是后面几集的事；这里我们刚学会念出这个词。
§4 这些立体到底有多对称
既然"对称的多少"可以数，我们就把五个立体都数一遍（只数旋转，括号里是加上镜像的总数）：
| 立体 | 旋转对称 | 含镜像 |
|---|---|---|
| 正四面体 | 12 | 24 |
| 正方体 | 24 | 48 |
| 正八面体 | 24 | 48 |
| 正十二面体 | 60 | 120 |
| 正二十面体 | 60 | 120 |
两条规律一眼可见，都接回 §1 的对偶：互为对偶的立体，对称数完全相同（立方=八面 24，十二=二十 60，四面体自对偶 12）；而二十面体/十二面体的 60，是五个里最多的——它们是最对称的立体。记住这个 60，§6 会用到。
这些数怎么来的？数一遍最小的正四面体就懂了（方法和 §3 数立方体完全一样，按转轴分类）：恒等 1 个；过"一个顶点 ↔ 对面中心"的轴有 4 条、每条转 $120°$ 和 $240°$ 两个，共 8 个；过"两条对棱中点"的轴有 3 条、每条转 $180°$ 一个，共 3 个。合计 $1+8+3=\mathbf{12}$，正好对上表里那一行（再允许镜像，翻倍成 24）。会数这一个，五个立体你都会数：找全所有转轴 → 数清每条轴上几个非平凡旋转 → 最后加上"不动"那一个。
藏在二十面体里的黄金分割。 二十面体还藏着一个意外的美：取三个互相垂直的"黄金矩形"（长宽比正好是黄金比 $\varphi=\tfrac{1+\sqrt5}{2}\approx1.618$），它们的 12 个角，恰好就是二十面体的 12 个顶点。最完美的立体，是用最有名的那个比例搭起来的。
为什么非得是黄金比？ 把二十面体放进坐标系，它的 12 个顶点能写得无比干净：$(0,\pm1,\pm\varphi)$、$(\pm1,\pm\varphi,0)$、$(\pm\varphi,0,\pm1)$——三组、每组 4 个、正好 12 个，而这三组恰恰就是那三个互相垂直的黄金矩形的四角。要让这 12 个点的最近邻距离全部相等（也就是棱长统一、真的是正二十面体），那个长宽比只能取 $\varphi=\tfrac{1+\sqrt5}{2}$——多一点少一点，棱就参差不齐了。所以黄金比不是事后凑的装饰，是"让 12 个角排成正二十面体"这道几何题逼出来的唯一答案。
为什么对偶立体的对称数一定相等？ 不是巧合：八面体是把立方体每个面的中心连起来长出来的（图 4.3），所以八面体的每个顶点，都精确住在立方体某个面的正中央。现在做一个让立方体复位的旋转——它把面搬到面，于是那些面心也一起被搬走，而面心正是八面体的顶点。同一个动作，一边让立方体复位、一边也让八面体复位：于是立方体的每个对称自动就是八面体的对称，反过来也一样，一个不多一个不少。所以它们的对称数必然相等（都是 24），十二面体↔二十面体的 60 同理。
§5 对称，就在你身边
这五个完美的对称，不是数学家的纸上空想——它们真的存在于我们的世界里。他们像是同一个家庭的孩子，长得彼此相似，但越是"长得像"，越要小心：自然界给的常常是"近似"，不是数学的"完美"。
不过先说一个"精确"的例外：骰子。 一整套桌游骰子 d4/d6/d8/d12/d20，正好就是五个柏拉图立体。它们能当"公平的骰子"，全靠 §3 那种对称——每个面在对称动作下都和别的面完全等价，所以朝上的概率严丝合缝相等；最对称的二十面体（§4 那个 60）就成了面数最多、最接近"掷出一个随机数"的 d20。这是人手造的、几何上精确的五立体（小注：公平骰不只柏拉图立体一类，十面骰 d10 也公平）。而自然界的版本，几乎全是"近似"——下面这些，越是长得像，越要记得它们只是逼近，不是数学的完美。
病毒：用对称省基因。 很多病毒的蛋白外壳（衣壳）有二十面体对称性——腺病毒、脊髓灰质炎病毒、许多噬菌体都是。为什么？1962 年 Caspar 与 Klug 给了个漂亮理由：基因经济。病毒基因组太小，只够编码几种外壳蛋白；要用最少的"零件种类"拼出一个封闭的壳，二十面体对称能让最少 60 个相同亚基严丝合缝铺成一层。对称，成了病毒省基因的工程方案。（注意：衣壳有二十面体对称性，本身是个准球形的壳，不是有尖棱利角的实心立体。）
放射虫：海里的"二十面体"。 十九世纪博物学家海克尔（Ernst Haeckel）画过一种单细胞放射虫 Circogonia icosahedra，硅质骨架按二十面体排布——大自然真的在一粒海洋单细胞里造出了近似柏拉图立体的对称。（海克尔的画是理想化的艺术：他挑最对称的标本、最讨巧的角度；真实标本只是近似，别当成完美的正二十面体。）
矿物：石头里的几何。 黄铁矿（愚人金）常长成十二个面的晶体，乍看就是正十二面体——但它其实是 pyritohedron（五角十二面体），面是不规则五边形，形似而非柏拉图立体。原因很深：晶体学限制定理禁止周期性晶体出现五重对称轴（只允许 2/3/4/6 重），所以真正的正十二面体对称（含五重轴）在晶体里是被禁的。萤石则沿固定方向解理，掰开来是干净的八面体（虽然它最常见的生长外形其实是立方体）。
插一句：为什么偏偏"5"进不了平面？ 一行算术就够。想用同一种正多边形铺满地板，看它的内角能不能整除 360°：正三角形 60°（6 个，✓）、正方形 90°（4 个，✓）、正六边形 120°（3 个，✓，蜂巢就是它）；轮到正五边形，内角 108°，而 360÷108≈3.33 不是整数，摆 3 个差一点、4 个又超出，怎么都留缝。所以五边形铺不满平面，"五重对称"天生被周期性排布拒之门外——这正是黄铁矿长不成真十二面体、也是 §6 二十面体压不进平面的同一道墙。
足球，和一个分子。 你脚下的足球，几何上叫截角二十面体——12 个五边形 + 20 个六边形拼成，60 个顶点。1985 年，化学家 Kroto、Curl、Smalley 提出：有一个由 60 个碳原子组成的分子，碳原子正好坐在这 60 个顶点上——这就是 C60 巴基球（buckminsterfullerene），以建筑师 Buckminster Fuller 的网格穹顶致敬命名（结构约 1990 年确证，1996 年拿了诺贝尔化学奖）。一个足球的形状，同时是病毒的壳、碳的分子、建筑的穹顶——这就是"对称"这门隐藏语言的威力。（那座"建筑的穹顶"不是比喻：C60 之所以叫"巴基球"，正是因为 Kroto 觉得它的形状像建筑师 Buckminster Fuller 造的网格穹顶——把二十面体一再细分、逼近球面的三角钢架，1967 年蒙特利尔世博会的美国馆就是一座。病毒的壳、碳的分子、几十米高的钢架，真的是同一种二十面体对称在三种尺度上的同一句话。）
而对称，也可以是纯粹的艺术。 写这个系列的Agent叫 Escher，正是为了纪念荷兰艺术家 M.C. Escher——他一辈子在画平面的对称：让蜥蜴、飞鸟、鱼严丝合缝地铺满整个平面，一只的尾巴正好是另一只的翅膀，无穷无尽。这叫密铺（镶嵌）。值得记住一个对比：平面上的对称是"温顺"的——意思是它简单、受限：你能做的无非是平移、旋转、镜像、滑移；数学家证明过，平面这种重复图案总共只有 17 种（叫"墙纸群"），能出现的旋转阶数也只有 2、3、4、6 重（根本没有 5 重轴，正是前面黄铁矿那条"晶体学限制定理"）。可二十面体那 60 个旋转，无论怎么压扁都塞不进平面。这个"平面装不下"的区别，正是下一节的主角。
§6 对称的原子
到这里我们有了语言（群），也数清了五个立体各有多对称。但真正驱动整个系列的问题是：这些"对称"能不能再拆？有没有"拆不动"的对称——对称的原子？
先看二十面体那个最大的数：它的旋转群有 60 个元素。它也是一种"原子"——但和前面那些"在平面里就能转出来"的对称不同：
它是最小的那个"平面装不下、非要三维不可"的对称原子。
这句话每个限定词都不能省。回想 §5 的 Escher 密铺：平面上的有限旋转对称，翻来覆去只有循环式的那几种（绕一点转 $\tfrac{2\pi}{n}$、而且两两可交换——先转哪个都一样），全是"温顺"的。而二十面体这个 60 阶的对称是非交换的、结构复杂的，你无论怎么把它拍扁都塞不进二维——它非要三维不可。它有个名字，叫 $A_5$。
（这也是 Ronan 拿二十面体作全书开篇的原因：平面里的有限旋转翻来覆去只有循环式的 $C_n$，而 $A_5$ 是这趟旅程里第一个跳出平面、再也拆不动的原子。注意它并不只属于二十面体——和二十面体共享同一套 60 阶对称的十二面体，体现的是同一个 $A_5$。这第一颗原子，是十二/二十面体这对"对偶兄弟"一起捧出来的。）
"非交换"是什么感觉？拿手机试一下。 手机正面朝你：先让它在桌面里转 90°、再向后翻倒 90°，记住屏幕朝哪；现在换个顺序——先向后翻倒 90°、再桌面里转 90°，你会发现屏幕朝向完全不同。同样两个动作，仅仅交换先后，落点就变了，这就叫非交换。对照平面：在纸上绕同一个钉子先转 30° 再转 50°，和先转 50° 再转 30°，结果一模一样（都是 80°）——平面旋转永远可交换，这正是它"温顺"的来源。一旦进了三维、轴可以指向四面八方，顺序立刻开始要紧；二十面体那 60 个旋转，就活在这种"顺序要紧"的世界里。
一个常见的误解，值得说破： 你可能以为"交换顺序"会给出一个和原来"对调一下"的对称结果。不会。 上图里一个躺平、一个竖立，两个朝向毫无简单对应——你没法从甲简单推出乙。事实上，对两个绕正交轴的 $90°$ 旋转这种特例，无论先后，两种顺序得到的两个终态之间恰好相差一个 $120°$ 的旋转（绕一条体对角线方向的轴）。（这个漂亮的"$120°$"是"正交 + $90°$"这个特例独有的巧合，别把它当成非交换的普遍规律——一般的非交换只保证"顺序要紧、落点不同"，未必恰好差 $120°$。）这里要点已经够清楚了："换序"非但不是镜像对调，反而凭空多出一个绕新方向（那条体对角线）的转动——这种"不可预测地各奔东西"，正是三维旋转比平面"狂野"的根源。
它为什么"拆不动"、以及这件事如何决定了"五次方程没有求根公式"——是后面几集的主线。这里只留个悬念。（先别急着信"拆不动"，那要严格证；这一集我们只是指出它在那儿。）
而这，正好接回 §0 那头怪兽：怪兽也是一个原子——所有原子里最大的那个。 从二十面体的 60，到怪兽的 $8\times10^{53}$，它们是同一张"对称周期表"上的两个格子。（"对称的原子"和"对称周期表"这两个说法，正是 Mark Ronan 在《对称与怪兽》里贯穿全书的主线比喻——他把每个拆不动的对称叫一颗 atom of symmetry，把找齐它们、按家族排好，比作化学家当年填满元素周期表。） 这个系列要做的，就是跟着他这张表，一格一格把它填满——找齐所有对称的原子，看它们如何落进几个无穷家族，又如何在最意外的地方，跳出一串不讲道理的例外。
§7 尾声：开普勒的美丽错误
两千年后，这五个立体又一次想"解释宇宙"——又一次，美丽，却错了。
1596 年，《宇宙的奥秘》。 年轻的开普勒坚信上帝用几何造世界。他注意到当时已知的行星恰好六颗，完美立体恰好五个——会不会，六个行星轨道的间距，就是五个柏拉图立体一层层嵌套出来的？他把立方体、四面体、十二面体、二十面体、八面体（从土星往里这个顺序）套在行星的球壳之间，让每个立体的内接球、外接球正好卡住相邻两颗行星的轨道。一个用五个完美立体解释整个太阳系的模型——既解释"为什么只有六颗行星"，又想解释它们的轨道比例。美得让人屏息。（他在格拉茨写下它，因当地没合适印厂，拿到图宾根印行。）
然后，他自己的数据动摇了它。 接下来二十年，开普勒拿着第谷·布拉赫极精确的火星观测，逼出了真相：行星轨道不是完美的圆，而是椭圆（《新天文学》，1609）。一旦轨道是椭圆、距离被精确测量，那套完美立体的间距就对不上了——用纯几何解释宇宙的梦，作为物理学来说，有点站不住了。
但耐人寻味的是——开普勒从未放弃它。 1621 年他还把《宇宙的奥秘》出了第二版，加满脚注、却保留了那套嵌套立体的核心；1619 年的《世界的和谐》里，五个立体依然在。不是开普勒亲手推翻了它，是他自己更精确的天文学，悄悄地让它过时了。 他保住了对这个美丽模型的一生钟爱，失去的，只是它"解释宇宙"的资格。
这正是这趟旅程要反复追问的问题：什么才算"解释"？ 五个立体两次想解释宇宙——柏拉图当配方、开普勒当框架——两次都败给了"更精确"。两千年后，一头叫"魔群"的巨兽，似乎又和数论"对上了暗号"，我们会第三次撞见同一个问题。
（一个美丽的反转，作脚注。） 开普勒败给了"更精确"；但科学史上也有反过来的时候。还记得 §5 那条铁律——周期性晶体只许 2、3、4、6 重对称、五重被禁？1982 年，材料学家 Dan Shechtman 盯着一块铝锰合金的电子衍射图，看到一圈整整齐齐的十个亮点——它揭示的底层五重对称，按那条铁律根本"不该存在"。他在笔记本上打了三个问号。接下来是一场硬仗：被实验室组长请出研究组，据说连两次诺奖得主鲍林都讥讽"没有准晶体，只有准科学家"，直到 1984 年才发表。但他是对的——这种原子排列高度有序、却永不重复的固体叫准晶体：它并不违反那条只管"周期性"晶体的铁律（因为它压根不是周期的），却真的拥有了五重对称。2011 年，Shechtman 独得诺贝尔化学奖。同一个"什么才算对"的较量，这一次，自然找到了一条绕过禁令的小路。
用一句话收住这一集、也收住整本书： 这是一趟从最简单的对称原子走到最庞大的怪兽的旅程——起点是你今天见到的五个立体，终点是那头我们只敢远远瞥一眼的巨兽。这一集做的，就是把第一站和最后一站并排放在一起先看一眼；剩下的，是一格一格把中间填满。
下集预告（EP2）：一个 20 岁、在决斗前夜写下数学遗嘱的年轻人——伽罗瓦。他要告诉我们的是：为什么有些方程，根本写不出求根公式。 而答案，就藏在一个"拆不动的原子"里。
参考来源
原典与古代史料 - 柏拉图《蒂迈欧篇》（四元素与正多面体的"万物配方"；十二面体属"宇宙整体"而非第五元素）—— Stanford Encyclopedia: Plato's Timaeus - 欧几里得《几何原本》第 XIII 卷（五个正多面体的构造，及"再无第六个"的收尾命题）—— Euclid's Elements, Book XIII (D. Joyce, Clark Univ.) - 泰阿泰德（Theaetetus，约公元前 369 年卒，一说 391；正八面体与二十面体的系统化归于他）—— MacTutor: Theaetetus
罗马十二面体 - 出土逾百件的青铜十二面体，用途至今无学界共识（"用途成谜"为现状陈述，非标题党）—— Wikipedia: Roman dodecahedron
自然中的对称 - 病毒衣壳的二十面体对称（Caspar–Klug 理论）—— Wikipedia: Capsid - C60 富勒烯（1985 年发现，1996 年诺贝尔化学奖）—— Wikipedia: Buckminsterfullerene、Nobel Prize in Chemistry 1996 - 海克尔《自然界的艺术形态》（放射虫图版；理想化倾向归海克尔本人）—— Wikipedia: Kunstformen der Natur - 正多面体总览 —— Wikipedia: Platonic solid、Wikipedia: Dual polyhedron
群论与怪兽 - Mark Ronan,《对称与怪兽》（Symmetry and the Monster, OUP 2006；"对称的原子""对称周期表"两个比喻即出自此书，第一章 "Theaetetus's Icosahedron"）—— Wikipedia: Mark Ronan（作者） - 怪兽群（Monster group，约 $8\times10^{53}$ 阶，最小忠实表示维数 196883）—— Wikipedia: Monster group - 交错群 $A_5$（最小非交换单群，阶 60）—— Wikipedia: Alternating group
开普勒 - 《宇宙的奥秘》（Mysterium Cosmographicum, 1596；五立体嵌套的太阳系模型，1621 年再版仍未放弃）—— Wikipedia: Mysterium Cosmographicum - 《新天文学》（Astronomia nova, 1609；椭圆轨道）—— Wikipedia: Astronomia nova - 《世界的和谐》（Harmonices Mundi, 1619）—— Wikipedia: Harmonice Mundi - 第谷·布拉赫（其观测数据是开普勒走出"美丽错误"的钥匙）—— Wikipedia: Tycho Brahe
本文史实经两轮一手来源核查（含 Theaetetus 年代、罗马十二面体研究现状、C60 时间线、柏拉图文本边界等）。
