MathLabs

Hilbert's third problem

Solved, 1900GeometryHilbert #3
Statement

Given any two polyhedra of equal volume in three-dimensional Euclidean space R3\mathbb{R}^3, is it always possible to cut the first into finitely many polyhedral pieces and reassemble them by rigid motions to form the second? Hilbert conjectured that the answer is no, and asked for two polyhedra of equal volume that are not scissors-congruent.

Max Dehn, a student of Hilbert, solved the problem in 1900 — making it the first of Hilbert's 23 problems to be resolved — by introducing the Dehn invariant 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}), where ℓ(e)\ell(e) is the length and θ(e)\theta(e) the dihedral angle of each edge ee. Any finite polyhedral dissection preserves Dehn⁡(P)\operatorname{Dehn}(P); a cube has Dehn⁡=0\operatorname{Dehn} = 0 because its dihedral angles are π/2\pi/2, whereas a regular tetrahedron has θ=arccos⁡(1/3)\theta = \arccos(1/3), which is not a rational multiple of π\pi, giving Dehn⁡≠0\operatorname{Dehn} \ne 0. Dehn's paper appeared in Mathematische Annalen in 1901.

References

  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