Charles IV

Hilbert 第三问题

知乎链接: Hilbert 第三问题 (1): Wallace-Bolyai-Gerwien 定理——两平面多边形面积相等则可经有限次剪拼组成另一个, Hilbert 第三问题 (2): Dehn 不变量、Dehn-Hadwiger 定理、问题的解答.

1. 问题的背景、Wallace-Bolyai-Gerwien 定理

Hilbert 第三问题是关于多面体 (多边形) 等可分的一个问题. 首先给出等可分的定义.

Definition 称 $\mathbb{R}^n$ 中的两个多面体是等可分的 (scissors-congruent), 如果它们可以被分割成有限个多面体 $P_1, P_2, \cdots , P_n$ 与 $Q_1, Q_2, \cdots , Q_n$, 使得 $P_i$ 与 $Q_i$ 全等, $\forall i=1,2,\cdots,n$.

易知等可分的多面体体积相等, 关于其逆命题, 在 $\mathbb{R}^2$ 中有如下定理, 即面积相等的多边形都是等可分的.

Theorem (Wallace-Bolyai-Gerwien) $\mathbb{R}^2$ 中的两个多边形是等可分的当且仅当它们面积相等.

匈牙利数学家 Farkas Bolyai 在 1832 年, 德国军官兼数学业余爱好者 Paul Gerwien 在 1833 年分别证明了这一定理, 但事实上 William Wallace 在 1807 年已经证明了同样的结果.

这个定理有一个构造性的证明, 是将多边形分割拼接成面积相等的正方形.

Proof. 必要性是显然的, 充分性的证明大致分为如下几个步骤.

第一步, 每个多边形都可以被切割成三角形. 有很多种方法可以做到这一点, 例如对于凸多边形, 可以依次切断每个顶点, 对更复杂的多边形, 可以作一条不平行于多边形任何边的线, 并通过多边形的每个顶点绘制一条平行于这条线的线, 这会将多边形分为三角形和梯形, 进而可以将梯形分为三角形. 如图所示.

凸多边形

复杂多边形

第二步, 每个三角形都可以分割并拼接成平行四边形. 只需如图沿其中线分开再拼接即可. 要证得到的图形是平行四边形, 只需证明 $BD // CD^\prime$. 而这由于 $\angle{BDE} + \angle{ADE} = \pi$ 显然成立.

三角形->平行四边形

第三步, 每个平行四边形都可以分割再拼接成矩形. 过平行四边形的一个顶点做高, 若垂足在边上, 直接把平行四边形沿这条高分开再拼接. 如果平行四边形的底边较 “短” 以致于垂足不在边上, 需要先沿对角线分开再变成底边较 “长” 的平行四边形. 如图所示.

平行四边形->矩形

底边较 “短” 的平行四边形

第四步, 每个矩形都可以分割拼接成正方形. 设矩形的两边为 $a$ 和 $b$, 若 $a=b$ 则矩形就是正方形. 若 $a \neq b$, 如图构造一条长为 $c=\sqrt{a b}$ 的切割线, 平移小三角形得到一个平行四边形, 它的一条边长为 $c$. 用第三步的方法固定 $c$ 边把这个平行四边形切割拼接成矩形, 由于 $c^{2}=a b$ 正好是原平行四边形的面积, 所以切割拼接所得的一边长为 $c$ 的矩形必定是边长为 $c$ 的正方形.

矩形->平行四边形

第五步, 两个正方形可以分割拼接成一个大正方形, 进而任意有限个正方形都可以分割拼接成一个正方形. 将两个正方形分割拼接成一个大正方形也有很多种方法可以做到, 其中一种方法如图所示, 这也是勾股定理的一种证明方式.

正方形+正方形

这样我们就证明了每个多边形都可以分割再拼接成与它面积相等的正方形, 即与和它面积相等的正方形等可分, 进而任意两个面积相等的多边形都等可分. $\quad \square$

David Hilbert 猜测这一定理不能推广到高维空间, 且 3 维空间中就存在反例. Hilbert 于 1900 年在巴黎的国际数学家大会提出了他著名的 23 个问题, 其中第三个问题就是这一问题. 具体而言, Hilbert 第三问题是: 给出两个底面全等, 高相等的四面体, 它们不是等可分的.

Hilbert 的学生 Max Dehn 在 1902 年在两篇论文中完全解决了这个问题, 他还给出了多面体等可分的一个条件, Dehn 的证明是用代数证明几何中不可能结果的一个著名的例子.

2. 证明准备

2.1. 线性代数预备知识

对 $M=\left\{m_1, m_2, \cdots , m_k \right\} \subseteq \mathbb{R}$, 定义 $$ V(M) := \left\{\sum_{i=1}^k q_im_i \mid q_i \in \mathbb{Q} \right\}.\ $$ 则 $V(M)$ 是 $\mathbb{Q}$ 上的有限维向量空间.

Lemma 对 $\mathbb{R}$ 的任何一个包含 $M$ 的有限子集 $M^\prime$, 则 $V(M)$ 是 $V(M^\prime)$ 的子空间. 若 $f:V(M)\rightarrow \mathbb{Q}$ 是一个线性映射, 则 $f$ 可以扩充为一个线性映射 $f^\prime : V(M^\prime)\rightarrow \mathbb{Q}$, 使得 $f^\prime (m) = f(m), \forall m \in M$.

2.2. Dehn 不变量

对 $\mathbb{R}^3$ 中的一个多面体 $P$, 令 $M_P \subseteq \mathbb{R}$ 为 $P$ 的所有二面角 (的值) 与 $\pi$ 组成的集合.

给定一个包含 $M_P$ 的有限集 $M \subseteq \mathbb{R}$, 与线性映射 $f: V(M)\rightarrow \mathbb{Q}$ 满足 $f(\pi)=0$. 定义 $P$ 的 Dehn 不变量为 $$ D_f (P) = \sum_e \ell (e)f(\alpha(e)) \in \mathbb{R},\ $$ 其中 $e$ 是 $P$ 的每一条边, $\ell (e)$ 是边 $e$ 的长度, $\alpha(e)$ 是与边 $e$ 相邻的两个面所成的二面角.

2.3. Dehn-Hadwiger 定理

Theorem (Dehn-Hadwiger) 设 $P$ 和 $Q$ 是两个多面体, $\alpha_{1}, \ldots, \alpha_{s}$ 和 $\beta_{1}, \ldots, \beta_{t}$ 分表表示它们的所有二面角. $M$ 是 $\mathbb{R}$ 的一个有限子集, 满足: $$ \left\{\alpha_{1}, \ldots, \alpha_{s}, \beta_{1}, \ldots, \beta_{t}, \pi\right\} \subseteq M .\ $$ 如果 $P$ 和 $Q$ 是等可分的, 则对任何线性映射 $f: V(M) \rightarrow \mathbb{Q}$ 满足 $f(\pi)=0$, 有 $D_{f}(P) = D_{f}(Q)$.

即两个等可分的多面体具有相同的 Dehn 不变量, 这是多面体等可分的一个必要条件.

Proof. 设 $G$ 是一个多面体, $M \subseteq \mathbb{R}$ 是一个包含 $M_G$ 的有限集, $f: V(M)\rightarrow \mathbb{Q}$ 是满足 $f(\pi)=0$ 的任意一个线性映射. 则 $D_f (G) = \sum_e \ell (e)f(\alpha(e))$.

若 $G$ 分成有限个小多面体 $G_1, G_2, \cdots , G_n$, 设有限集 $M^\prime \supseteq M$ 包含了每个 $G_i$ 的所有二面角, 则 $f: V(M)\rightarrow \mathbb{Q}$ 可扩充为 $f^\prime : V(M^\prime ) \rightarrow \mathbb{Q}$. 下证, $D_f (G) = D_{f^\prime} (G_1) + D_{f^\prime} (G_2) + \cdots + D_{f^\prime} (G_n)$.

为此, 对多面体的一条边 $e$, 记 $m(e) := \ell (e)f(\alpha(e))$, 则 $D_f (G) = \sum_e m(e)$. 对小多面体 $G_1, G_2, \cdots , G_n$ 的所有边, 可以将它们分为含在 $G$ 的某条边中的 $\{e^\prime\}$ 和其余的 $\{e^{\prime\prime}\}$. 考虑包含在 $G$ 的某条边 $e$ 中的边 $e_{e}^\prime$, 容易看出, $\sum \left(m\left(e_{e}^\prime\right)\right) = m(e)$, 从而 $\sum (m(e^\prime)) = \sum_e \sum \left(m\left(e_{e}^\prime\right)\right) = \sum_e m(e)$. 对其余的边 $e^{\prime\prime}$, 或者在 $G$ 的面的内部, 这时它所在的边上的二面角之和为 $\pi$, $f$ 在这些 $e^{\prime\prime}$ 的值之和为 $f(\pi)= 0$; 或者其所在的 $G_i$ 在 $G$ 的内部, 这时它所在的边上的二面角之和为 $2\pi$, $f$ 在这些 $e^{\prime\prime}$ 的值之和为 $f(2\pi) =2f(\pi)= 0$. 因此 $\sum \left(m\left(e^{\prime\prime}\right)\right) = 0$.

因此, $D_f (G) = D_{f^{\prime}} (G) = \sum_e m(e) = \sum (m(e^\prime)) + \sum (m(e^{\prime\prime})) = D_{f^\prime} (G_1) + D_{f^\prime} (G_2) + \cdots + D_{f^\prime} (G_n)$.

所以如果两个多面体 $P,Q$ 是等可分的, 设它们都可以分成有限个多面体 $G_1, G_2, \cdots , G_n$, 则 $D_f (P) = D_{f} (G_1) + D_{f} (G_2) + \cdots + D_{f} (G_n) = D_f (Q)$, 即它们具有相同的 Dehn 不变量 (线性映射 $f: V(M)\rightarrow \mathbb{Q}$, $f(\pi)=0$, 这里不妨设 $M$ 包含了 $P,Q$ 与所有 $G_i$ 的所有二面角, 否则可以用前面的引理扩充). $\quad \square$

Corollary 若多面体 $G$ 可分成有限个小多面体 $G_1, G_2, \cdots , G_n$, 则 $D_f (G) = D_{f} (G_1) + D_{f} (G_2) + \cdots + D_{f} (G_n)$ (线性映射 $f: V(M)\rightarrow \mathbb{Q}$, $f(\pi)=0$, $M$ 包含了 $G$ 与所有 $G_i$ 的所有二面角).

3. Hilbert 第三问题的解答

Lemma 设 $n$ 为一个奇数, $n\geqslant 3$, 则 $A(n)=\frac{1}{\pi} \arccos \frac{1}{\sqrt{n}}$ 是无理数.

Proof. 由和差化积公式, $\cos \alpha+\cos \beta=2 \cos \frac{\alpha+\beta}{2} \cos \frac{\alpha-\beta}{2}$. 令 $\alpha = (k+1)\varphi$, $\beta = (k-1)\varphi$, 则 $$ \cos (k+1) \varphi=2 \cos \varphi \cos k \varphi-\cos (k-1) \varphi. \quad (1)\ $$

所以对 $\varphi_n=\arccos \frac{1}{\sqrt{n}}$ 有 $$ \cos k \varphi_n =\frac{A_k}{\left(\sqrt{n}\right)^k},\ $$ 其中 $A_k$ 为整数, 且对任意 $k\geqslant 0$, $A_k$ 不被 $n$ 整除, 这可以归纳证明, 证明如下.

显然, 若 $k=0, 1$, 有 $A_0=A_1=1$, 因为 $n\geqslant 3$, 所以 $n\nmid A_0, A_1$ 成立.

对 $k$ 归纳, 设 $n\nmid k$, 由 (1), $$ \cos (k+1) \varphi_{n}=2 \cos \varphi_{n} \cos k \varphi_{n}-\cos (k-1) \varphi_{n}=2 \frac{1}{\sqrt{n}} \frac{A_{k}}{(\sqrt{n})^{k}}-\frac{A_{k-1}}{(\sqrt{n})^{k-1}}=\frac{2 A_{k}-n A_{k-1}}{(\sqrt{n})^{k+1}},\ $$ 故 $A_{k+1}=2A_k-nA_{k-1}$. 所以对奇数 $n\geqslant 3$, 若 $n\nmid A_k$, 则 $n\nmid A_{k+1}$. 所以 $n\nmid A_k, \forall k\geqslant 0$ 成立.

假设 $A(n)=\frac{1}{\pi} \varphi_n = \frac{t}{k}=\frac{2t}{2k}$ 为有理数 ($k, t$ 为整数, $\mathrm{gcd}(k,t)=1$). 则 $$ \begin{aligned}&2 k \varphi_{n}=2 t \pi \ \Longrightarrow & 1=\cos 2 t \pi=\frac{A_{2 k}}{(\sqrt{n})^{2 k}} \ \Longrightarrow & n^{k}=(\sqrt{n})^{2 k}=A_{2 k}, \end{aligned}\ $$ 则 $n\left| n^k\right.=A_{2k}$, 矛盾. $\quad \square$

下面我们可以给出两个不是等可分的底面全等, 高相等的四面体.

如图所示, 设 $T_1, T_2$ 为两个四面体, 其底面 $ABC$ 全等, 都是直角边长为 $1$ 的等腰直角三角形, $\angle A$ 为直角; $T_1$ 的边 $DA$ 与底面 $ABC$ 垂直, $T_2$ 的边 $DC$ 与底面 $ABC$ 垂直.

T1

T2

$T_1$ 有三条长度为 $1$ 的相互垂直的边 $AB, AC, AD$. 设 $E$ 为 $BC$ 边的中点, 二面角 $D-BC-A = \varphi$, 则 $\cos \varphi =\frac{AE}{DE}=\frac{\frac{\sqrt{2}}{2}}{\frac{\sqrt{6}}{2}}=\frac{1}{\sqrt{3}}$, $\varphi=\arccos \frac{1}{\sqrt{3}}$. 令 $M=\left\{\frac{\pi}{2}, \arccos \frac{1}{\sqrt{3}}, \pi\right\}$, 根据前面的引理, $\frac{1}{\pi} \arccos \frac{1}{\sqrt{3}} \notin \mathbb{Q}$, 故 $\dim V(M)=2$, $V(M)=L\left(\arccos \frac{1}{\sqrt{3}}, \pi\right)$. 定义 $V(M)$ 上的线性映射 $f$, 我们只需定义 $f(\pi)=0$, $f\left(\arccos \frac{1}{\sqrt{3}}\right)=1$. 则 $$ D_{f}\left(T_{1}\right)=3 \sqrt{2} \cdot f\left(\arccos \frac{1}{\sqrt{3}}\right)=3 \sqrt{2}.\ $$

$T_2$ 有三条相互垂直的, 长度都为 $1$ 的首尾相连的边 $BA, AC, CD$. 易知一个单位正方体 $U$ 可以分成 $6$ 个与 $T_2$ 全等的四面体. 设 $M^\prime \subseteq \mathbb{R}$ 包含 $T_1, T_2$ 的所有二面角. 将上面定义的 $f$ 扩充为 $V(M^\prime)$ 上的线性映射 $f^\prime$, 由 Dehn-Hadwiger 定理的推论, $$ D_{f^{\prime}}\left(T_{2}\right)=\frac{1}{6} D_{f^{\prime}}(U)=0.\ $$ 而 $$ D_{f^{\prime}}\left(T_{1}\right)=D_{f}\left(T_{1}\right)=3 \sqrt{2}.\ $$

由 Dehn-Hadwiger 定理, $T_1$ 与 $T_2$ 不是等可分的, 这就是 Hilbert 想要的反例.