MathLabs

ヒルベルトの第3問題

解決済み、1900年幾何学ヒルベルト #3
問題の内容

3次元ユークリッド空間 R3\mathbb{R}^3 内の体積が等しい任意の2つの多面体が与えられたとき、一方を有限個の多面体片に切り分け、剛体運動で組み直して他方を作ることは常に可能か。ヒルベルトは答えが否であると予想し、体積が等しいにもかかわらずハサミ合同(分解合同)ではない2つの多面体を示すことを求めた。

ヒルベルトの弟子マックス・デーンは1900年にこの問題を解決し、ヒルベルトの23の問題の中で最初に解決された問題となった。彼は各辺 ee の長さ ℓ(e)\ell(e) と二面角 θ(e)\theta(e) を用いてデーン不変量 Dehn⁡(P)=∑eℓ(e)⊗[θ(e)]∈R⊗Q(R/πQ)\operatorname{Dehn}(P) = \sum_e \ell(e) \otimes [\theta(e)] \in \mathbb{R} \otimes_{\mathbb{Q}} (\mathbb{R}/\pi\mathbb{Q}) を導入した。いかなる有限回の多面体分割も Dehn⁡(P)\operatorname{Dehn}(P) を保ち、立方体では二面角が π/2\pi/2 であるため Dehn⁡=0\operatorname{Dehn} = 0 となる一方、正四面体では θ=arccos⁡(1/3)\theta = \arccos(1/3) が π\pi の有理数倍ではないため Dehn⁡≠0\operatorname{Dehn} \ne 0 となる。デーンの論文は1901年に『Mathematische Annalen』に掲載された。

  1. Dehn不変量:四面体と立方体はハサミ合同ではない(1900年)Max Dehn, 1900難易度 3/5大学

参考文献

  1. David Hilbert (1900). Mathematische Probleme
  2. Max Dehn (1901). Ueber den Rauminhalt · DOI:10.1007/bf01448001
  3. Jean-Pierre Sydler (1965). Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l'espace euclidien à trois dimensions · DOI:10.1007/bf02564364