Hilbert's third problem
The third of Hilbert's list of mathematical problems, presented in 1900, was the first to be solved. The problem is related to the following question: given any two polyhedra of equal volume, is it always possible to cut the first into finitely many polyhedral pieces which can be reassembled to yield the second? Based on earlier writings by Gauss,^{[1]} Hilbert conjectured that this is not always possible. This was confirmed within the year by his student Max Dehn, who proved that the answer in general is "no" by producing a counterexample.^{[2]} The answer for the analogous question about polygons in 2 dimensions is "yes" and had been known for a long time; this is the Wallace–Bolyai–Gerwien theorem.
Unknown to Hilbert and Dehn, Hilbert's third problem was also proposed independently by Władysław Kretkowski for a math contest of 1882 by the Academy of Arts and Sciences of Kraków, and was solved by Ludwik Antoni Birkenmajer with a different method than Dehn. Birkenmajer did not publish the result, and the original manuscript containing his solution was rediscovered years later.^{[3]}
History and motivation
The formula for the volume of a pyramid,
 [math]\displaystyle{ \frac{\text{base area} \times \text{height}}{3}, }[/math]
had been known to Euclid, but all proofs of it involve some form of limiting process or calculus, notably the method of exhaustion or, in more modern form, Cavalieri's principle. Similar formulas in plane geometry can be proven with more elementary means. Gauss regretted this defect in two of his letters to Christian Ludwig Gerling, who proved that two symmetric tetrahedra are equidecomposable.^{[3]}
Gauss' letters were the motivation for Hilbert: is it possible to prove the equality of volume using elementary "cutandglue" methods? Because if not, then an elementary proof of Euclid's result is also impossible.
Dehn's answer
Dehn's proof is an instance in which abstract algebra is used to prove an impossibility result in geometry. Other examples are doubling the cube and trisecting the angle.
Two polyhedra are called scissorscongruent if the first can be cut into finitely many polyhedral pieces that can be reassembled to yield the second. Any two scissorscongruent polyhedra have the same volume. Hilbert asks about the converse.
For every polyhedron P, Dehn defines a value, now known as the Dehn invariant D(P), with the following property:
 If P is cut into two polyhedral pieces P_{1} and P_{2} with one plane cut, then D(P) = D(P_{1}) + D(P_{2}).
From this it follows
 If P is cut into n polyhedral pieces P_{1},...,P_{n}, then D(P) = D(P_{1}) + ... + D(P_{n})
and in particular
 If two polyhedra are scissorscongruent, then they have the same Dehn invariant.
He then shows that every cube has Dehn invariant zero while every regular tetrahedron has nonzero Dehn invariant. This settles the matter.
A polyhedron's invariant is defined based on the lengths of its edges and the angles between its faces. Note that if a polyhedron is cut into two, some edges are cut into two, and the corresponding contributions to the Dehn invariants should therefore be additive in the edge lengths. Similarly, if a polyhedron is cut along an edge, the corresponding angle is cut into two. However, normally cutting a polyhedron introduces new edges and angles; we need to make sure that the contributions of these cancel out. The two angles introduced will always add up to π; we therefore define our Dehn invariant so that multiples of angles of π give a net contribution of zero.
All of the above requirements can be met if we define D(P) as an element of the tensor product of the real numbers R and the quotient space R/(Qπ) in which all rational multiples of π are zero. For the present purposes, it suffices to consider this as a tensor product of Zmodules (or equivalently of abelian groups). However, the more difficult proof of the converse (see below) makes use of the vector space structure: Since both of the factors are vector spaces over Q, the tensor product can be taken over Q.
Let ℓ(e) be the length of the edge e and θ(e) be the dihedral angle between the two faces meeting at e, measured in radians. The Dehn invariant is then defined as
 [math]\displaystyle{ \operatorname{D}(P) = \sum_{e} \ell(e)\otimes (\theta(e)+\mathbb{Q}\pi) }[/math]
where the sum is taken over all edges e of the polyhedron P. It is a valuation.
Further information
In light of Dehn's theorem above, one might ask "which polyhedra are scissorscongruent"? Sydler (1965) showed that two polyhedra are scissorscongruent if and only if they have the same volume and the same Dehn invariant.^{[4]} Børge Jessen later extended Sydler's results to four dimensions.^{[citation needed]} In 1990, Dupont and Sah provided a simpler proof of Sydler's result by reinterpreting it as a theorem about the homology of certain classical groups.^{[5]}
Debrunner showed in 1980 that the Dehn invariant of any polyhedron with which all of threedimensional space can be tiled periodically is zero.^{[6]}
Unsolved problem in mathematics: In spherical or hyperbolic geometry, must polyhedra with the same volume and Dehn invariant be scissorscongruent? (more unsolved problems in mathematics)

Jessen also posed the question of whether the analogue of Jessen's results remained true for spherical geometry and hyperbolic geometry. In these geometries, Dehn's method continues to work, and shows that when two polyhedra are scissorscongruent, their Dehn invariants are equal. However, it remains an open problem whether pairs of polyhedra with the same volume and the same Dehn invariant, in these geometries, are always scissorscongruent.^{[7]}
Original question
Hilbert's original question was more complicated: given any two tetrahedra T_{1} and T_{2} with equal base area and equal height (and therefore equal volume), is it always possible to find a finite number of tetrahedra, so that when these tetrahedra are glued in some way to T_{1} and also glued to T_{2}, the resulting polyhedra are scissorscongruent?
Dehn's invariant can be used to yield a negative answer also to this stronger question.
See also
 Hill tetrahedron
 Onorato Nicoletti
References
 ↑ Carl Friedrich Gauss: Werke, vol. 8, pp. 241 and 244
 ↑ Dehn, Max (1901). "Ueber den Rauminhalt". Mathematische Annalen 55 (3): 465–478. doi:10.1007/BF01448001. https://zenodo.org/record/2327856/files/article.pdf.
 ↑ ^{3.0} ^{3.1} Ciesielska, Danuta; Ciesielski, Krzysztof (20180529). "Equidecomposability of Polyhedra: A Solution of Hilbert's Third Problem in Kraków before ICM 1900" (in en). The Mathematical Intelligencer 40 (2): 55–63. doi:10.1007/s0028301797484. ISSN 03436993.
 ↑ Sydler, J.P. (1965). "Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l'espace euclidien à trois dimensions". Comment. Math. Helv. 40: 43–80. doi:10.1007/bf02564364.
 ↑ Dupont, Johan; Sah, ChihHan (1990). "Homology of Euclidean groups of motions made discrete and Euclidean scissors congruences". Acta Math. 164 (1–2): 1–27. doi:10.1007/BF02392750.
 ↑ Debrunner, Hans E. (1980). "Über Zerlegungsgleichheit von Pflasterpolyedern mit Würfeln". Arch. Math. 35 (6): 583–587. doi:10.1007/BF01235384.
 ↑ Dupont, Johan L. (2001), Scissors congruences, group homology and characteristic classes, Nankai Tracts in Mathematics, 1, World Scientific Publishing Co., Inc., River Edge, NJ, p. 6, doi:10.1142/9789812810335, ISBN 9789810245078, archived from the original on 20160429, https://web.archive.org/web/20160429152252/http://home.math.au.dk/dupont/scissors.ps.
Further reading
 Benko, D. (2007). "A New Approach to Hilbert's Third Problem". The American Mathematical Monthly 114 (8): 665–676. doi:10.1080/00029890.2007.11920458.
 Schwartz, Rich (2010). The Dehn–Sydler Theorem Explained. http://www.math.brown.edu/~res/Papers/dehn_sydler.pdf.
 Koji, Shiga; Toshikazu Sunada (2005). A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra. American Mathematical Society.
External links
 Proof of Dehn's Theorem at Everything2
 Weisstein, Eric W.. "Dehn Invariant". http://mathworld.wolfram.com/DehnInvariant.html.
 Dehn Invariant at Everything2
 Hazewinkel, Michiel, ed. (2001), "Dehn invariant", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 9781556080104, https://www.encyclopediaofmath.org/index.php?title=Dehn_invariant
Original source: https://en.wikipedia.org/wiki/ Hilbert's third problem.
Read more 