From Pentagons to Pentagrams：从五角星到五角星的数学变换

背景

这篇文章源自 Hacker News 社区的一篇技术博文，作者通过几何与代数的交叉视角，揭示了正多面体（特别是 Kepler–Poinsot 多面体）与域论中 Galois 共轭（Galois conjugation）操作之间的深刻联系。

通常，人们认为正二十面体（regular icosahedron）与大二十面体（great icosahedron）等星形多面体之间的关系仅停留在几何直观或坐标替换的层面。然而，作者指出，这种替换并非孤立的巧合，而是源于更基础的代数结构——黄金域（Golden Field, $\mathbb{Q}(\phi)$）。通过引入 Galois 共轭这一代数操作，我们可以系统地理解为何正五边形会变换为正五角星，以及为何某些多面体在变换后依然保持其几何特性（如正方形和正三角形保持不变）。这一视角不仅解释了 Kepler–Poinsot 多面体的对称性，还将其与准晶体（quasicrystals）中的准粒子（phonons 和 phasons）传播机制联系起来。

核心内容

1. 多面体家族的 Galois 共轭配对

文章首先展示了正多面体之间的一种对称关系。如果在基于黄金比例（$\phi$）的坐标系中考虑正二十面体，并将所有公式中的 $\sqrt{5}$ 替换为 $-\sqrt{5}$，我们得到的正是大二十面体。

这种操作同样适用于其他多面体：

• 正十二面体（Regular Dodecahedron）：经过同样的替换，得到大星形正十二面体（Great Stellated Dodecahedron）。
• 大十二面体（Great Dodecahedron）：经过同样的替换，得到小星形正十二面体（Small Stellated Dodecahedron）。

这六个多面体构成了一个家族。其中四个非凸多面体被称为 Kepler–Poinsot 多面体。作者引用了 John Horton Conway 等人的著作《The Symmetries of Things》，指出如果包含凸多面体，这些多面体形成三对，每一对都通过“将 $\sqrt{5}$ 替换为 $-\sqrt{5}$”这一操作相关联，这在代数上被称为 Galois 共轭。

在几何图示中，Galois 共轭操作将六边形图中的每个多面体映射到其对角位置的多面体。

2. 黄金域与 Galois 共轭的定义

为了严谨地描述这一变换，作者引入了黄金域 $\mathbb{Q}(\phi)$。这是由所有形如 $a + b\phi$ 的数构成的集合，其中 $a, b$ 为有理数，$\phi = \frac{1+\sqrt{5}}{2}$ 是黄金比例。该集合配备了标准的加法、乘法、减法和除法运算。

定义 Galois 共轭 映射 $\sigma$ 为： $$ \sigma(a + b\phi) = a + b\bar{\phi} = a + b\left(\frac{1-\sqrt{5}}{2}\right) $$ 或者更简单地，由于 $\bar{\phi} = -1/\phi$，也可以理解为将 $\sqrt{5}$ 替换为 $-\sqrt{5}$。

这个映射具有域自同构的性质：

1. 它保留所有的域运算。
2. 应用两次后回到原点（$\sigma(\sigma(x)) = x$）。
3. 它在许多方面类似于复共轭。

3. 从正五边形到正五角星的证明

Galois 共轭最直观的几何体现是正五边形与正五角星的互换。

直觉解释： 在正五边形中，每个外角（exterior turning angle）为 $72^\circ$（即 $2\pi/5$），其余弦值为 $\cos(2\pi/5) = \frac{\sqrt{5}-1}{4}$。 在正五角星中，每个外角为 $144^\circ$（即 $4\pi/5$），其余弦值为 $\cos(4\pi/5) = \frac{-\sqrt{5}-1}{4}$。 应用 Galois 共轭到五边形的外角余弦值： $$ \sigma\left(\frac{\sqrt{5}-1}{4}\right) = \frac{-\sqrt{5}-1}{4} $$ 这恰好是五角星外角的余弦值。

严谨证明： 由于在二维平面中无法用黄金域坐标构造正五边形（会导致矛盾），作者将讨论扩展到三维或更高维空间。

• 设正五边形的顶点 $v_0, \dots, v_4$ 的坐标位于黄金域 $\mathbb{Q}(\phi)$ 中。
• 定义映射 $\sigma$ 作用于每个顶点的坐标分量。
• 定理：如果 $v_0, \dots, v_4$ 是按循环顺序排列的正五边形顶点，那么 $\sigma(v_0), \dots, \sigma(v_4)$ 按相同循环顺序排列，构成一个正五角星的顶点。

证明逻辑：

1. 计算正五边形相邻边向量 $e_i = v_{i+1} - v_i$ 的平方长度，发现它们相等。
2. 计算相邻边向量之间的夹角余弦，发现其值为 $\frac{\sqrt{5}-1}{4}$。
3. 对边向量应用 $\sigma$ 得到新向量 $e'_i$。由于 $\sigma$ 保持点积结构（需验证正定性，此处通过平方和为正数保证），新向量之间的夹角余弦变为 $\frac{-\sqrt{5}-1}{4}$。
4. 这对应于 $144^\circ$ 的转角，即正五角星的几何特征。
5. 由于坐标变换是线性的且保持共面性，这些点依然共面且构成闭合的正五角星。

反之亦然，对正五角星应用 Galois 共轭会还原为正五边形。

4. 推广与特例：Rhombicosidodecahedron

作者还展示了一个更复杂的例子：菱形十二面体（Rhombicosidodecahedron）。

• 该多面体的顶点坐标均位于黄金域中。
• 应用 Galois 变换后：
  • 五边形面 变为 五角星面。
  • 正方形面 保持不变（因为正方形边长的平方是有理数，不受 $\sqrt{5}$ 符号变化的影响）。
  • 正三角形面 保持不变（同理，边长平方为有理数）。

如果只绘制变换后的五角星部分，会得到一个极其美丽的星形结构。这一现象进一步证实了 Galois 共轭对几何形状的筛选作用：只有涉及黄金比例无理部分的几何元素才会发生形态改变。

关键要点

• 代数与几何的统一：正多面体的星形化（如正十二面体到大星形正十二面体）不仅仅是几何构造，本质上是黄金域 $\mathbb{Q}(\phi)$ 上的 Galois 共轭操作在几何空间中的体现。
• Galois 共轭的操作定义：在黄金域中，Galois 共轭等价于将 $\sqrt{5}$ 替换为 $-\sqrt{5}$，或将黄金比例 $\phi$ 替换为其负倒数 $-1/\phi$。
• 五边形与五角星的互换：Galois 共轭将正五边形映射为正五角星，反之亦然。这是因为两者外角的余弦值互为 Galois 共轭。
• 高维空间的必要性：在二维平面中，无法用黄金域坐标构造正五边形。因此，严格的数学证明需要在三维或更高维空间中进行，利用坐标向量的线性变换来描述这一过程。