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)ため、いかなる立方体も同じ体積の正四面体とハサミ合同にはなり得ない——これはヒルベルトの第三問題に否定的に答え、多角形に対する二次元のウォレス・ボヤイ・ゲルヴィンの定理とは異なり、体積だけでは三次元におけるハサミ合同類を決定しないことを示す。

このステップで使う知識