La Intuición de Sophus Lie a Prueba: El Quinto Desafío de Hilbert

 

"Mi teoría es como un vasto océano en el que apenas he navegado unas pocas brazadas." Sophus Lie (Noruega 1842 – 1889).

Entre estos desafíos planteados por Hilbert en el Congreso Internacional de Matemáticas de París 1900 (ver https://gilbeworld.blogspot.com/2026/01/los-problemas-de-hilbert-y-el-instituto.html), el Quinto Problema planteaba una pregunta fundamental sobre la naturaleza de las simetrías continuas: ¿es posible describir las transformaciones suaves y continuas de la geometría utilizando únicamente la noción de continuidad, sin asumir de antemano el cálculo diferencial?

Para comprender la esencia del Quinto Problema, primero debemos definir qué es un Grupo de Lie, nombrado así en honor al matemático noruego Sophus Lie.

En matemáticas, y específicamente en el álgebra abstracta, un grupo es un conjunto de elementos junto con una operación que satisface cuatro propiedades fundamentales (asociatividad, elemento neutro, elemento inverso y clausura). Por ejemplo, los números enteros con la suma forman un grupo, sin embargo con la multiplicación los números enteros no serían un grupo dado que el inverso de la multiplicación puede ser un número racional, es decir, ya no estaría dentro del conjunto de los enteros.

El álgebra abstracta no busca estudiar número por número, sino las estructuras y patrones generales. Al demostrar que algo es un grupo (sea un conjunto de ecuaciones, las partículas fundamentales de la física o las simetrías de un cristal), automáticamente sabes que hereda todas las propiedades matemáticas comprobadas para los grupos.

Un Grupo de Lie es un objeto híbrido que une dos áreas de las matemáticas: álgebra con geometría y topología, dado que es un grupo abstracto cuyos elementos se pueden combinar y además es un espacio geométrico continuo y suave (una variedad diferenciable), como una esfera o la superficie de un toro. Un Grupo de Lie es la herramienta matemática para estudiar la simetría continua; formalmente, es un conjunto que es simultáneamente un grupo algebraico y una variedad diferenciable suave.

La teoría de los grupos de Lie surgió en la década de 1870, cuando el matemático noruego Sophus Lie buscaba crear un equivalente continuo para las ecuaciones diferenciales de lo que Évariste Galois había logrado para las ecuaciones algebraicas con la teoría de grupos finitos. 

En la década de 1830, Évariste Galois demostró que una ecuación polinómica se puede resolver mediante radicales si y solo si su "grupo de simetrías" (un grupo finito) tiene una estructura resoluble, ver https://gilbeworld.blogspot.com/2026/08/evariste-galois-el-fuego-de-la.html.

Lie se planteó el siguiente objetivo: ¿Es posible determinar si una ecuación diferencial se puede resolver por integraciones directas analizando sus simetrías continuas?

• Descubrió que cuando una ecuación diferencial se mantiene invariable bajo una familia continua de transformaciones (por ejemplo, rotaciones o escalados), la dimensión del problema se puede reducir.

• Al estudiar estas transformaciones continuas, notó que se podían manipular analizando únicamente sus cambios "infinitesimales" (derivadas cerca de la identidad), convirtiendo problemas geométricos y analíticos difíciles en problemas de álgebra lineal mucho más sencillos..

Dado que las rotaciones forman un espacio geométrico suave donde se pueden aplicar derivadas y cálculo diferencial, la familia de todas las rotaciones tridimensionales constituye un Grupo de Lie.

A finales del siglo XIX, Sophus Lie formuló su teoría asumiendo que las funciones que describían estas simetrías eran analíticas (es decir, infinitamente derivables y expresables mediante series de potencias).

Hilbert se preguntó si esta suposición era realmente necesaria:

Enunciado simplificado del Quinto Problema: Si tenemos un grupo de transformaciones que es simplemente continuo (sin saltos, pero no necesariamente "suave" o derivable a simple vista), ¿se deduce automáticamente que debe ser un Grupo de Lie analítico y derivable?

En términos cotidianos: si una trayectoria no tiene interrupciones bruscas, ¿significa que en el fondo es completamente suave y libre de picos o esquinas afiladas?

La respuesta no llegó de forma inmediata. Hizo falta medio siglo de avances en topología y álgebra abstracta para resolver la incógnita. En 1952, los matemáticos Andrew Gleason (EE.UU 1921 - 2008), Deane Montgomery (EE.UU 1909 - 1992) y Leo Zippin (EE.UU 1905 – 1995) dieron la solución definitiva para el caso de dimensiones finitas. Ellos demostraron que cualquier grupo topológico localmente compacto que cumpla ciertas condiciones mínimas (como no tener "subgrupos arbitrariamente pequeños") es isomórfico a un Grupo de Lie analítico, de manera que la respuesta al Quinto Problema era SÍ.

Gleason demostró que si un grupo topológico localmente compacto no contiene "subgrupos arbitrariamente pequeños" (es decir, existe un entorno del elemento identidad que no alberga ningún subgrupo propio completo), entonces dicho grupo es isomórfico a un Grupo de Lie analítico.

Por su parte, Montgomery y Zippin demostraron que todo grupo topológico de dimensión finita, localmente compacto y conexo cumple precisamente con la condición de no tener subgrupos arbitrariamente pequeños.

Al unir ambos teoremas, demostraron que todo grupo topológico localmente compacto de dimensión finita que sea una variedad topológica es un Grupo de Lie. Esto confirmó la intuición de Hilbert: en el contexto de grupos de transformaciones continuas, la mera estructura topológica y la continuidad obligan a que el espacio sea automáticamente "suave", analítico y diferenciable, sin necesidad de asumirlo previamente.

Por lo tanto, la exigencia de "suavidad" o "diferenciabilidad" no era una condición arbitraria añadida por Sophus Lie, sino una consecuencia natural e inevitable de la propia estructura del grupo y la continuidad.

La resolución del Quinto Problema de Hilbert tuvo un impacto profundo en el desarrollo de la matemática moderna y la física teórica. Conectó la topología general (el estudio de las formas y la continuidad sin distancias rígidas) con el análisis matemático y el álgebra de Lie.

Hoy los Grupos de Lie son la herramienta matemática central de la física cuántica y la teoría de la relatividad. Saber que la continuidad garantiza la derivabilidad asegura que las leyes de simetría de la naturaleza puedan analizarse siempre mediante ecuaciones diferenciales.

Por otra parte, la búsqueda de la solución al Quinto Problema impulsó el desarrollo de la topología algebraica y la teoría de grupos topológicos, permitiendo abordar problemas aún más complejos en dimensiones infinitas.

La visión de Hilbert de conectar simetrías continuas, análisis y geometría sigue más viva que nunca. En el Congreso Internacional de Matemáticos (ICM) de 2026, la Medalla Fields —el máximo galardón de las matemáticas para investigadores menores de 40 años— premió avances que son descendientes directos de este legado:

John Pardon (EE.UU 1989) fue galardonado por sus aportaciones a la geometría simpléctica y la topología, áreas donde las acciones de grupos de Lie sobre variedades geométricas son fundamentales para entender la física cuántica y las estructuras geométricas continuas, ver https://gilbeworld.blogspot.com/2026/09/de-los-nudos-imposibles-y-las-arrugas.html.

Yu Deng, ver https://gilbeworld.blogspot.com/2026/09/del-caos-molecular-al-fluido-continuo.html, y Hong Wang , ver https://gilbeworld.blogspot.com/2026/09/la-conjetura-de-kakeya-y-su-odisea.html, recibieron la medalla por sus avances en ecuaciones en derivadas parciales y análisis armónico, herramientas que nacieron precisamente para estudiar las simetrías analíticas que Lie y Hilbert exploraron.

El Quinto Problema de Hilbert demostró que la "suavidad" no es un parche ni un supuesto arbitrario, sino una consecuencia inevitable de la propia estructura de simetría continua. Sin la certeza de que las simetrías continuas son diferenciables, la formulación matemática de la mecánica cuántica y la relatividad general carecería del rigor fundamental sobre el que se apoyan hoy.

La colaboración implícita entre Lie, Hilbert, Gleason, Montgomery y Zippin muestra cómo un problema geométrico del siglo XIX necesitó del desarrollo de la topología del siglo XX para ser comprendido en su totalidad. Como reflejan las Medallas Fields 2026, las preguntas planteadas hace más de un siglo sobre grupos de Lie, variedades y análisis siguen alimentando las fronteras más avanzadas de la matemática contemporánea.

Acertijo o un mapa de caminos: La verdadera naturaleza del Cuarto Problema de Hilbert

 

«El Cuarto Problema de Hilbert no pedía encontrar un número o resolver una ecuación, sino construir una nueva visión de lo que significa medir el espacio cuando la recta sigue siendo la guía.» Herbert Busemann (Alemania 1905 – 1994).

En la geometría euclidiana nos enseñan un axioma intuitivo: la distancia más corta entre dos puntos es la línea recta. Sin embargo, a lo largo del siglo XIX, matemáticos como Lobachevsky, Bólyai y Gauss demostraron que existen geometrías no euclidianas perfectamente válidas. En una esfera, por ejemplo, las "rectas" (las trayectorias más cortas o geodésicas) son los grandes círculos, como el ecuador.

Hilbert entonces planteó la siguiente pregunta fundamental: ¿Es posible construir métricas (formas de medir distancias) donde las líneas rectas ordinarias del espacio euclidiano sigan siendo las trayectorias más cortas, pero los ángulos o las áreas se comporten de forma completamente diferente?

El Cuarto Problema sufría de una intencionada vaguedad en su formulación. Hilbert no impuso condiciones estrictas de suavidad sobre la función de distancia ni especificó la dimensión exacta del espacio.

Enunciado de Hilbert del Cuarto Problema en el Congreso de París, extracto resumido del texto original de 1900:

«Se trata de hallar todas las geometrías posibles en las que el axioma de la línea recta como el camino más corto entre dos puntos se verifique, y estudiar sus propiedades... Este problema exige la construcción y clasificación de todas las métricas en las que las rectas del espacio euclidiano funcionan como geodésicas.»

Su planteamiento se centraba en determinar las geometrías que surgen si se mantiene el concepto de que la línea recta euclidiana es la trayectoria más corta entre dos puntos, pero se descartan o modifican los demás axiomas clásicos.

Hilbert propuso investigar las geometrías que satisfacen las siguientes condiciones:

• Soberanía de la línea recta: Las líneas rectas del espacio euclidiano ordinario (o segmentos de ellas) continúan siendo las trayectorias que minimizan la distancia entre cualquier par de puntos.
• Flexibilidad de los demás axiomas: Se prescinde del axioma de las paralelas de Euclides y de las nociones habituales de ángulo y área.
• Propiedades de la métrica: La función de distancia $d(P, Q)$ debe cumplir la desigualdad triangular estándar ($d(P, Q) \le d(P, R) + d(R, Q)$) y ser continua, garantizando que el camino en línea recta sea estrictamente el de menor longitud.

Dado lo anterior, la comunidad matemática coincide en que el Cuarto Problema debe entenderse como un campo de estudio abstracto dedicado a la clasificación de métricas geométricas, más que un problema cuya solución sea SÏ o NO. El desarrollo de este problema requirió redefinir lo que entendemos por "medir" en un espacio continuo.

El primer acercamiento a la solución del Cuarto Problema vino en fecha tan reciente como 1901 con los trabajos de Georg Hamel (Alemania 1877 - 1954), tan solo un año después de que David Hilbert presentara el problema en el Congreso Internacional de Matemáticos de París.

En su tesis doctoral (dirigida por el propio Hilbert), Hamel intentó dar un marco analítico preciso a la vaga formulación de su maestro. Para ello, asumió que la función de distancia debía ser "suave" (infinitamente diferenciable, $C^\infty$) e introdujo una función $F(x, y, dx, dy)$ donde la longitud de un segmento infinitesimal $ds$ dependía tanto de la posición $(x, y)$ como de la dirección $(dx, dy)$.

Al aplicar el cálculo de variaciones mediante las ecuaciones de Euler-Lagrange (conjunto de ecuaciones diferenciales ordinarias que constituyen el pilar fundamental del cálculo de variaciones. Su objetivo es encontrar la trayectoria que minimiza o maximiza una cantidad dada por una integral, conocida como el funcional de acción, ver https://gilbeworld.blogspot.com/2026/03/el-anillo-unico-de-las-ecuaciones.html), e imponer la condición de que las soluciones que minimizaban la distancia fueran líneas rectas euclidianas ($y = ax + b$), Hamel demostró la existencia de una familia infinita de métricas no euclidianas que cumplían el axioma de Hilbert.

En la literatura matemática actual es muy común leer que Hamel empleó métricas de Finsler para dar esta primera solución. Sin embargo, esto constituye un anacronismo histórico, dado que Paul Finsler (Alemania 1894 – 1970), no definiría estos espacios hasta 1918, cuando presentó su tesis sobre curvas y superficies en espacios generales. Finsler sistematizó el marco abstracto, la curvatura y las nociones de ángulo en entornos donde la medida depende de la dirección.

Aunque el trabajo de Hamel en 1901 demostró que el problema tenía infinitas respuestas y sentó las bases operativas de las métricas proyectivas, no cerró el debate por dos limitaciones clave:

• La restricción de suavidad: Hamel exigió que la métrica fuera diferenciable ($C^\infty$). El enunciado original de Hilbert no imponía esta condición, dejando la puerta abierta a métricas que fueran continuas pero no suaves.
• Dimensiones reducidas: Sus demostraciones se limitaron al plano y al espacio tridimensional, dejando sin clasificar las métricas en dimensiones superiores.

A pesar de no ser la palabra final, el trabajo de Hamel en 1901 transformó la intuición de Hilbert en una línea de investigación concreta, abriendo el camino para que décadas más tarde Herbert Busemann y Aleksandr Pogorélov completaran el mapa de este fascinante territorio geométrico.

Herbert Busemann (Alemania 1905 – 1994) es considerado la figura central en la resolución del Cuarto Problema de Hilbert a mediados del siglo XX, impulsado por los trabajos previos de Karl Pohlke (Alemania 1810 – 1876), pintor y matemático quien aportó las bases geométricas en el siglo XIX. Pohlke demostró un teorema, el Teorema de Pohlke, que establece que cualquier proyección paralela de un objeto tridimensional sobre un plano puede construirse a partir de la elección libre de tres ejes y sus escalas de acortamiento, un pilar fundamental de la representación gráfica y la geometría descriptiva.

Mientras que Hamel abordó el problema mediante el cálculo de variaciones y la suposición de que las métricas eran diferenciables ($C^\infty$), Busemann revolucionó el enfoque al cambiar la perspectiva analítica por una perspectiva sintética y métrica.

Busemann eliminó por completo la exigencia de suavidad en las funciones de distancia, formulando el problema en el marco de los espacios métricos abstractos. A lo largo de las décadas de 1940 y 1950, formalizó la noción de espacio de Finsler generalizado sin necesidad de coordenadas ni derivadas, apoyándose estrictamente en la desigualdad triangular y en la noción de convexidad.

Busemann logró clasificar y caracterizar una amplia familia de métricas (conocidas como métricas de Busemann o métricas proyectivas continuas) en las que los segmentos de recta euclidianos actúan como geodésicas únicas, aun cuando el espacio no sea suave.

El trabajo de Pohlke y, fundamentalmente, la monumental obra de Busemann demostraron que el problema de Hilbert no pertenecía en exclusiva al cálculo de variaciones ni a la geometría diferencial tradicional, sino a la geometría métrica general, preparando el terreno para que Aleksandr Pogorélov (Rusia 1919 – 2002) lograra la solución definitiva en 1973 para las dimensiones 2 y 3.

Los resultados principales de Pogorélov fueron publicados en una célebre monografía de 1973 (traducida al inglés en 1979 bajo el título A realization of Hilbert's Fourth Problem). A diferencia de Hamel (1901), quien exigía que la función de distancia fuera diferenciable ($C^\infty$), Pogorélov abordó el problema asumiendo únicamente que la métrica fuera continua y satisficiera los axiomas básicos de distancia.

La gran innovación de Pogorélov fue emplear herramientas de la geometría integral. Demostró que cualquier métrica en el plano (o en el espacio de dimensión 3) donde las líneas rectas son las geodésicas más cortas puede representarse mediante una medida positiva sobre el conjunto de hiperplanos (o rectas) que cortan a un segmento dado.

Pogorélov logró clasificar todas las métricas continuas, homogéneas e invariantes por traslación que hacen que las rectas euclidianas sean geodésicas. Demostró que toda métrica de este tipo en $d=2$ y $d=3$ es una métrica de Blaschke-Minkowski o puede expresarse como la integral de una medida de áreas/volúmenes sobre el espacio de cortes.

Gracias al trabajo de Pogorélov, el Cuarto Problema quedó plenamente resuelto en el espacio tridimensional habitual, abriendo la puerta a la teoría moderna de la medida y la tomografía matemática.

El impacto del Cuarto Problema trasciende su enunciado original, habiendo alimentado áreas clave de las matemáticas modernas:

• Geometría de Finsler: Estructura que generaliza la geometría riemanniana al permitir que la distancia dependa de la dirección en cada punto, fundamental en la física teórica actual.
• Geometría Integral: La solución de Pogorélov utilizó medidas en el espacio de líneas rectas, impulsando el desarrollo de la tomografía matemática y el procesamiento de imágenes.
• Geometría Métrica y Espacios de Hilbert-Geometría: El estudio de espacios donde la noción de métrica no requiere derivadas ni estructuras diferenciales.

Desde los primeros e intuitivos avances de Georg Hamel en 1901 —quien aplicó el cálculo de variaciones adelantándose 17 años a la formalización de la geometría de Finsler—, pasando por el enfoque sintético de Herbert Busemann a mediados de siglo, hasta la brillante caracterización mediante geometría integral de Aleksandr Pogorélov en 1973, el problema ha servido como motor de desarrollo para la teoría de la medida y los espacios métricos abstractos.

El Cuarto Problema de Hilbert demostró que la verdadera riqueza de las matemáticas a menudo no reside en resolver una ecuación con un resultado único, sino en redefinir los conceptos más fundamentales. Al cuestionar qué hace que una recta sea la distancia más corta, Hilbert no planteó una adivinanza, sino la cartografía de un nuevo territorio geométrico.

Lo que comenzó como una reflexión sobre los axiomas de Euclides es hoy una herramienta imprescindible en áreas que van desde la física teórica y la relatividad general hasta la tomografía médica y el procesamiento moderno de imágenes. El Cuarto Problema nos recuerda que, cuando cambiamos la forma en que medimos el espacio, el universo entero adquiere una nueva perspectiva.

De las tijeras de Euclides a los invariantes modernos: El Tercer Problema de Hilbert

 

"La geometría es el arte de razonar bien sobre figuras mal hechas." Henri Poincaré (Francia 1854 – 1912).

Imagina que tienes una figura de papel, digamos un triángulo. Con unas tijeras, la cortas en tres o cuatro piezas y las vuelves a ensamblar para formar un rectángulo perfecto. Intuitivamente, sabemos que esto siempre es posible en el plano de dos dimensiones. Pero, ¿ocurre lo mismo en el espacio tridimensional si usamos un bisturí para cortar poliedros?

Esta pregunta, aparentemente sencilla, es el corazón del Tercer Problema de Hilbert  presentado en el histórico Congreso Internacional de Matemáticos de París en 1900. Para entender la importancia del planteamiento, primero debemos definir el concepto de equidescomponibilidad (o congruencia por tijeras).

Decimos que dos figuras planas $A$ y $B$ son equidescomponibles si podemos dividir la figura $A$ en un número finito de piezas poligonales $P_1, P_2, \dots, P_n$ y, tras rotar o trasladar esas piezas sin superponerlas, volver a armarlas para obtener exactamente la figura $B$.

En el siglo XIX, el matemático húngaro Wolfgang Bolyai (Hungría 1775 – 1856) y el oficial prusiano Paul Gerwien (1799 - 1858) demostraron independientemente el Teorema de Bolyai-Gerwien:

Teorema: Dos polígonos en el plano tienen la misma área si y solo si son equidescomponibles.

Esto significa que, en 2D, el área y la descomposición mediante cortes rectos son conceptos equivalentes. Si dos figuras ocupan la misma superficie, siempre puedes pasar de una a otra usando solo un par de tijeras y una regla.

Al pasar al espacio tridimensional (3D), la idea intuitiva es que dos poliedros con el mismo volumen deberían poder cortarse en un número finito de piezas tetraédricas y reensamblarse el uno en el otro.

Sin embargo, en el cálculo del volumen de pirámides o tetraedros, los matemáticos se topaban constantemente con un obstáculo: el método de exhaustión de Arquímedes (o el Principio de Cavalieri), que requiere un proceso de límite infinito.

Hilbert se preguntaba: ¿Es realmente necesario recurrir al análisis matemático y al infinito para calcular el volumen de cuerpos con caras planas, o existe una forma puramente geométrica y finita (a base de cortes) de demostrar que dos poliedros del mismo volumen son equivalentes? Hilbert se enunció así su problema:

Dados dos tetraedros de la misma base y la misma altura (y por tanto, de igual volumen), ¿es siempre posible descomponer el primero en un número finito de tetraedros más pequeños y reensamblarlos para formar el segundo?

A finales del siglo XIX podemos resumir el conocimiento sobre estos temas de la siguiente manera:

Aspecto	Geometría Plana (2D)	Geometría Espacial (3D)
Cálculo de Área/Volumen	Suma finita de triángulos	Requiere integración / límites infinitos
Equidescomponibilidad	Demostrada (Bolyai-Gerwien)	¿Desconocida hasta 1900?
Herramientas necesarias	Álgebra y geometría elemental	Análisis matemático avanzado

Hilbert estaba profundamente interesado en los fundamentos de la geometría. En 1899 había publicado sus Grundlagen der Geometrie (Fundamentos de la Geometría), donde axiomatizó la geometría euclidiana con una rigurosidad nunca antes vista.

En la tradición griega, la geometría plana se construía sin necesidad del concepto numérico de "área continuous" gracias a las transformaciones finitas. Pero para los sólidos en 3D (como la pirámide), ni Euclides ni Gauss habían logrado evitar el cálculo infinitesimal.

Hilbert sospechaba firmemente que la respuesta al problema era NO: creía que existían poliedros de igual volumen que jamás podrían convertirse el uno en el otro mediante un número finito de cortes planos. De confirmarse su intuición, se demostraría que el análisis matemático y el uso del infinito son estrictamente indispensables para medir el espacio tridimensional.

Lo que no imaginaba Hilbert era que la respuesta a su tercer problema ya estaba prácticamente terminada en la mente de uno de sus propios estudiantes al momento de su conferencia. Este problema fue el primero de la lista en ser resuelto, y su solución tardó apenas unos meses después de la conferencia de Hilbert en París.

En 1901, Max Dehn (Alemania 1878 – 1952), publicó la demostración que resolvía negativamente la conjetura de Hilbert, convirtiéndolo en el primer problema de la lista en ser tachado.

Para demostrar que dos cosas con el mismo volumen no son equidescomponibles, Dehn inventó una "firma matemática" o una "huella digital" para cada poliedro, un valor que nunca cambia cuando cortas el poliedro y lo vuelves a armar. En matemáticas, esto se conoce como un invariante.

Si cortas un poliedro $P$ en piezas $P_1, P_2, \dots, P_k$ y reorganizas esas piezas para formar $Q$, entonces:

$$\text{Invariante}(P) = \sum_{i=1}^k \text{Invariante}(P_i) = \text{Invariante}(Q)$$

Por lo tanto, si encuentras dos poliedros $P$ y $Q$ con el mismo volumen pero con diferente invariante, ¡es matemáticamente imposible transformar uno en el otro usando tijeras!

El invariante diseñado por Dehn combina dos datos de cada arista del poliedro:

1. La longitud de la arista ($l_i$).

2. El ángulo diedro ($\theta_i$) formado por las dos caras que se cruzan en esa arista.

El Invariante de Dehn (denotado como $D(P)$) se define como una suma sobre todas las aristas del sólido:

$$D(P) = \sum l_i \otimes \theta_i$$

Donde $\theta_i$ se mide en términos de múltiplos de $\pi$ (mód $\pi$) y $\otimes$ es el producto tensorial entre la arista y el ángulo.

No es objetivo de este artículo adentrarnos en la definición y propìedades del producto tensorial, solo basta con conocer que si el ángulo $\theta$ es múltiplo racional de $\pi$ el producto tensorial será cero.

Para un cubo perfecto de lado $1$:

• Todas sus aristas miden $1$.

• Todos sus ángulos diedros son de $90^\circ$ ($\frac{\pi}{2}$).

• Como el ángulo es un múltiplo racional de $\pi$, su Invariante de Dehn se anula completamente: $D(\text{Cubo}) = 0$.

Ahora tomemos un tetraedro regular de volumen 1 (con 4 caras triangulares equiláteras):

• Todas sus aristas miden $l = \sqrt[3]{6\sqrt{2}} \approx 2.0396$.

• Sus ángulos diedros son $\arccos(1/3)$, un ángulo cuyos múltiplos no son racionales respecto a $\pi$.

• Al calcular su invariante, el resultado nunca es cero: $D(\text{Tetraedro Regular}) \neq 0$.

Dado que un cubo y un tetraedro regular de igual volumen tienen distintos invariantes de Dehn ($0$ versus un valor distinto de cero), es imposible descomponer un tetraedro regular en piezas finitas y construir un cubo con ellas. De manera que la intuición de Hilbert era totalmente acertada.

La resolución del Tercer Problema de Hilbert no fue solo un triunfo intelectual rápido; dejó huellas profundas en la matemática del siglo XX por varias razones fundamentales:

• Separación de dimensiones: Demostró que la geometría en 3D es fundamentalmente más compleja que la geometría en 2D. Lo que en el plano se soluciona con aritmética finita, en el espacio requiere la topología y el análisis.

• Justificación del Cálculo: Confirmó de manera inapelable que el análisis infinitesimal y el concepto de límite (desarrollados por Newton y Leibniz) no son "trucos" para calcular volúmenes rápidamente, sino herramientas lógicas necesarias. No existe un atajo puramente algebraico o finito para medir el volumen de los poliedros.

• Nacimiento del Teorema de Sydler (1965): Décadas más tarde, el matemático Jean-Pierre Sydler (Suiza 1921 – 1988) demostró el inverso completo del trabajo de Dehn: dos poliedros en el espacio 3D son equidescomponibles si y solo si tienen exactamente el mismo volumen y el mismo invariante de Dehn.

• Conexiones con el Álgebra Abstracta: La construcción del invariante de Dehn requirió formalizar el producto tensorial sobre grupos ($A \otimes B$), una herramienta que más tarde se convertiría en un pilar del álgebra homológica y la topología algebraica.

El Tercer Problema de Hilbert nos enseña una lección hermosa sobre la naturaleza de la matemática: a veces, para responder a la pregunta más básica sobre un objeto físico tridimensional, debemos construir estructuras abstractas completamente nuevas. Lo que comenzó como un juego de cortes y pliegues terminó revelando la frontera exacta donde termina la geometría elemental y comienza el cálculo infinito.