Tercer problema de Hilbert

La fórmula para el volumen de una pírámide,

${\displaystyle {\frac {{\text{área de la base}}\times {\text{altura}}}{3}},}$

ya era conocida por Euclides, pero todas las pruebas implicaban alguna forma de límite de una sucesión o de cálculo infinitesimal, en particular mediante el método exhaustivo o, en una forma más moderna, según el principio de Cavalieri. Se pueden probar fórmulas similares en geometría plana con medios más elementales. Gauss lamentó este defecto en dos de sus cartas a Christian Ludwig Gerling, quien demostró que dos tetraedros simétricos son equidescomponibles.[3]

Las cartas de Gauss fueron la motivación de Hilbert: ¿es posible demostrar la igualdad de volumen utilizando métodos elementales de "cortar y pegar"? Porque si no, también es imposible una prueba elemental del resultado de Euclides.

La prueba de Dehn es una instancia en la que se usa el álgebra abstracta para probar un resultado de imposibilidad en geometría. Otros ejemplos son la duplicación del cubo y la trisección del ángulo.

Dos poliedros se denominan "congruentemente seccionables" si el primero se puede cortar en un número finito de piezas poliédricas que se pueden volver a ensamblar para producir el segundo. Cualesquiera dos poliedros congruentemente seccionables tienen el mismo volumen. Hilbert centra su pregunta sobre la conversión.

Para cada poliedro P, Dehn define un valor, ahora conocido como invariante de Dehn D(P), con la siguiente propiedad:

• Si P se corta en dos piezas poliédricas P₁ y P₂ con un corte plano, entonces D(P) = D(P₁)+D(P₂).

De esto se deduce que

• Si P se corta en n piezas poliédricas P₁, ..., P_n, entonces D(P)=D(P₁)+...+D(P_n)

y en particular

• Si dos poliedros son congruentemente seccionables, entonces tienen el mismo invariante de Dehn.

Después demuestra que cada cubo tiene una invariante de Dehn cero, mientras que cada tetraedro regular tiene un invariante de Dehn distinto de cero. Esto resuelve el asunto.

El invariante de un poliedro se define en función de las longitudes de sus aristas y los ángulos entre sus caras. Debe tenerse en cuenta que si un poliedro se corta en dos, algunas aristas se cortan en dos y, por lo tanto, las contribuciones correspondientes a los invariantes de Dehn deben ser aditivas respecto a las longitudes de las nuevas aristas resultantes. Del mismo modo, si se corta un poliedro a lo largo de una arista, el ángulo correspondiente se corta en dos. Sin embargo, normalmente cortar un poliedro introduce nuevas aristas y ángulos; y se debe tener la seguridad de que las contribuciones de estos elementos se cancelen. Los dos ángulos introducidos siempre sumarán π; por lo tanto, se define el invariante de Dehn de modo que los múltiplos de ángulos de π den una contribución neta de cero.

Todos los requisitos anteriores se pueden cumplir si se define D(P) como un elemento del producto tensorial de números reales R y el espacio cociente R/(Qπ), en el que todos los múltiplos racionales de π son cero. Para los presentes propósitos, es suficiente considerar esto como un producto tensorial de Z-módulos (o equivalentemente, de grupos abelianos). Sin embargo, la prueba más difícil de lo contrario (véase más abajo) hace uso de la estructura de espacio vectorial: dado que ambos factores son espacios vectoriales sobre Q, el producto tensorial puede tomarse sobre Q.

Sea ℓ(e) la longitud de la arista e y θ (e) sea el ángulo diedro entre las dos caras que se encuentran en e, medido en radianes. El invariante de Dehn se define entonces como

${\displaystyle \operatorname {D} (P)=\sum _{e}\ell (e)\otimes (\theta (e)+\mathbb {Q} \pi )}$

donde la suma se toma sobre todas las aristas e del poliedro P. Es una valuación.

A la luz del citado teorema de Dehn, podría preguntarse "¿qué poliedros son congruentemente seccionables?" Sydler (1965) demostró que dos poliedros son congruentemente seccionables si y solo si tienen el mismo volumen y el mismo invariante de Dehn.[4] Børge Jessen posteriormente amplió los resultados de Sydler a cuatro dimensiones. En 1990, Dupont y Sah proporcionaron una prueba más simple del resultado de Sydler reinterpretándolo como un teorema sobre la homología de ciertos grupos clásicos.[5]

Debrunner demostró en 1980 que el invariante de Dehn de cualquier poliedro con el que se pueda teselar periódicamente la totalidad del espacio tridimensional es cero.[6]

Problemas no resueltos de la matemática: En geometría esférica o hiperbólica, ¿los poliedros con el mismo volumen e invariante de Dehn deben ser congruentemente seccionables?

Jessen también planteó la cuestión de si el análogo de sus propios resultados seguía siendo cierto para la geometría esférica y la geometría hiperbólica. En estas geometrías, el método de Dehn sigue funcionando y muestra que cuando dos poliedros son congruentemente seccionables, sus invariantes de Dehn son iguales. Sin embargo, sigue siendo un problema abierto si los pares de poliedros con el mismo volumen y el mismo invariante de Dehn, en estas geometrías, son siempre congruentemente seccionables.[7]

La pregunta original de Hilbert era más complicada: dados dos tetraedros T₁ y T₂ cualesquiera con el mismo área de base y la misma altura (y por lo tanto, el mismo volumen), ¿es siempre posible encontrar un número finito de tetraedros, de modo que cuando estos tetraedros se pegan de alguna manera a T₁ y también se pegan a T₂, los poliedros resultantes son congruentemente seccionables.

El invariante de Dehn se puede utilizar para dar una respuesta negativa también a esta pregunta más fuerte.

• Tetraedro de Hill
• Onorato Nicoletti

• Benko, D. (2007). «A New Approach to Hilbert's Third Problem». American Mathematical Monthly 114 (8): 665-676. doi:10.1080/00029890.2007.11920458.
• Schwartz, Rich (2010). The Dehn–Sydler Theorem Explained.
• Koji, Shiga; Toshikazu Sunada (2005). A Mathematical Gift, III: The Interplay Between Topology, Functions, Geometry, and Algebra. American Mathematical Society.

• Prueba del teorema de Dehn en Everything2
• Weisstein, Eric W. «Dehn Invariant». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
• Dehn Invariant en Everything2
• Hazewinkel, M. (2001), «Dehn invariant», en Hazewinkel, Michiel, ed., Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104.