解法:Dehn不变量:四面体与立方体不是剪拼全等的(1900年)
第 6/7 步:结论:四面体与立方体不是剪拼全等的 通俗地说现在两个计算相遇了:立方体的不变量始终恰好为零,而正四面体的不变量则是第5步已证明永远无法消去的那个角度的一个非零倍数。由于切割与重新拼合永远不能改变这个不变量(第3步),体积相等的立方体与正四面体绝不可能通过这样的剖分相互关联——这就对希尔伯特第三问题给出了一个确定的否定回答。
详细分析对正四面体而言,其六条边中每一条的二面角都等于 θ=arccos(1/3),第5步已证明它作为 π 的倍数是无理的,因此在 R/πQ 中 [θ]=0;由于六条边长度均等于同一正数 ℓ,故 Dehn(tetrahedron)=6ℓ⊗[θ],而这在 R⊗Q(R/πQ) 中非零,因为 ℓ=0 与一个非零类 [θ] 相配对,在 Q 向量空间的设定下,这样的张量除非两个因子之一为零,否则不会坍缩为零。
由于 Dehn(cube)=0=Dehn(tetrahedron)(第4步与本步之比较),且 Dehn 是剖分不变量(第3步),任何立方体都不可能与体积相同的正四面体剪拼全等——这就否定地回答了希尔伯特第三问题,并表明与多边形的二维华莱士–波尔约–格尔文定理不同,体积本身并不能在三维中确定剪拼全等类。
本步骤用到的知识