MathLabs

解法:Dehn不变量:四面体与立方体不是剪拼全等的(1900年)

第 6/7 步:结论:四面体与立方体不是剪拼全等的
通俗地说

现在两个计算相遇了:立方体的不变量始终恰好为零,而正四面体的不变量则是第5步已证明永远无法消去的那个角度的一个非零倍数。由于切割与重新拼合永远不能改变这个不变量(第3步),体积相等的立方体与正四面体绝不可能通过这样的剖分相互关联——这就对希尔伯特第三问题给出了一个确定的否定回答。

Dehn⁡(tetrahedron)=6ℓ⊗[θ]≠0  ⟹  Dehn⁡(cube)≠Dehn⁡(tetrahedron)\operatorname{Dehn}(\text{tetrahedron}) = 6\ell \otimes [\theta] \neq 0 \;\Longrightarrow\; \operatorname{Dehn}(\text{cube}) \neq \operatorname{Dehn}(\text{tetrahedron})
详细分析

对正四面体而言,其六条边中每一条的二面角都等于 θ=arccos⁡(1/3)\theta = \arccos(1/3),第5步已证明它作为 π\pi 的倍数是无理的,因此在 R/πQ\mathbb{R}/\pi\mathbb{Q} 中 [θ]≠0[\theta] \ne 0;由于六条边长度均等于同一正数 ℓ\ell,故 Dehn⁡(tetrahedron)=6ℓ⊗[θ]\operatorname{Dehn}(\text{tetrahedron}) = 6\ell \otimes [\theta],而这在 R⊗Q(R/πQ)\mathbb{R} \otimes_{\mathbb{Q}} (\mathbb{R}/\pi\mathbb{Q}) 中非零,因为 ℓ≠0\ell \ne 0 与一个非零类 [θ][\theta] 相配对,在 Q\mathbb{Q} 向量空间的设定下,这样的张量除非两个因子之一为零,否则不会坍缩为零。

由于 Dehn⁡(cube)=0≠Dehn⁡(tetrahedron)\operatorname{Dehn}(\text{cube}) = 0 \ne \operatorname{Dehn}(\text{tetrahedron})(第4步与本步之比较),且 Dehn⁡\operatorname{Dehn} 是剖分不变量(第3步),任何立方体都不可能与体积相同的正四面体剪拼全等——这就否定地回答了希尔伯特第三问题,并表明与多边形的二维华莱士–波尔约–格尔文定理不同,体积本身并不能在三维中确定剪拼全等类。

本步骤用到的知识