El problema de la duplicación del cubo consiste en construir, a partir de un cubo de arista \(a\), otro cubo cuyo volumen sea el doble. Si \(x\) es la arista del nuevo cubo, la condición geométrica equivale a \( x^{3}=2a^{3}, \) por lo que el problema se reduce a construir el número \(x=a\sqrt[3]{2}\). La trisección del ángulo pide dividir un ángulo arbitrario \(\theta\) en tres partes iguales, es decir, construir un ángulo de medida \(\theta/3\). Finalmente, la cuadratura del círculo busca construir un cuadrado con el mismo área que un círculo dado; si el círculo tiene radio \(r\), el lado del cuadrado debería ser \( s = r\sqrt{\pi}. \)
Para superar las limitaciones de Platón, los propios griegos inventaron nuevas curvas y métodos mecánicos llamados neusis (construcción por inclinación), que en su época no fueron reconocidas como soluciones válidas. .
Durante siglos muchos matemáticos intentaron resolver estos problemas usando los instrumentos clásicos de la geometría. Sin embargo, en el siglo XIX se demostró rigurosamente que ninguno de ellos puede resolverse con tales restricciones: la duplicación del cubo y la trisección del ángulo implican números que no son construibles, y la cuadratura del círculo requeriría construir el número trascendente \(\pi\). Estos resultados conectan la geometría clásica con la teoría algebraica de números desarrollada mucho tiempo después.
Construcciones geométricascon regla y compás
A partir de un conjunto inicial de puntos, las únicas operaciones permitidas son: trazar rectas entre puntos conocidos, dibujar circunferencias con centro y radio dados, y considerar como nuevos puntos las intersecciones entre estas rectas y circunferencias. En términos algebraicos, las longitudes que pueden obtenerse mediante estas construcciones corresponden a números que se generan a partir de los datos iniciales mediante un número finito de operaciones aritméticas y extracciones de raíces cuadradas.
Desde el punto de vista del álgebra, con regla y compás podemos construir cualquier longitud que sea resultado de operaciones aritméticas básicas y raíces cuadradas. Si definimos una unidad \( u \), podemos construir:
- Aritmética: Suma \( a+b \), resta \( a-b \), producto \( ab \) y cociente \( a/b \).
- Radicales: La raíz cuadrada de cualquier número construido \( \sqrt{n} \).
- Polígonos: Triángulos equiláteros, cuadrados, pentágonos y cualquier polígono cuyos lados sean Números de Fermat primos.
Los números de Fermat son números enteros definidos por la fórmula \(F_n = 2^{2^n} + 1\), \(n = 0,1,2,\ldots\). Un número primo de Fermat es un número de esta forma que además es primo. Hasta la actualidad, los únicos primos de Fermat conocidos son: \(3,\;5,\;17,\;257\; y \;65537.\)
Platón y la imposición de la regla y el compás
- Idealismo platónico: las figuras geométricas más perfectas son la recta y el círculo, consideradas representaciones del mundo inteligible.
- Rechazo de lo mecánico: el uso de dispositivos o mecanismos complicados era visto como una degradación de la geometría, pues la convertía en una actividad manual más que en una disciplina intelectual.
Según relata el historiador romano Plutarco, Platón criticaba a algunos matemáticos de su tiempo que intentaban resolver problemas geométricos mediante dispositivos mecánicos:
“Platón reprendía a los seguidores de Eudoxo y Arquitas cuando intentaban reducir la duplicación del cubo a instrumentos mecánicos, pues decía que con ello se perdía y corrompía lo mejor de la geometría”.
La exigencia de resolver los problemas geométricos bajo estas restricciones tuvo consecuencias importantes para el desarrollo de las matemáticas:
- Sistematización: impulsó una formulación rigurosa y deductiva de la geometría, que culminaría siglos después en los Elementos de Euclides.
- Nuevos descubrimientos: en el intento de resolver problemas como la duplicación del cubo, matemáticos como Menecmo descubrieron las secciones cónicas.
- Desarrollo posterior de la teoría de números: siglos más tarde se demostró que algunos de estos problemas no pueden resolverse con regla y compás, lo que llevó a comprender mejor la naturaleza de ciertos números, incluyendo constantes como \( \pi \).
Para Platón y los matemáticos griegos, estas restricciones no representaban una limitación, sino una forma de aproximarse a la verdad matemática mediante la simplicidad y la pureza de las formas geométricas. Aun hoy, aunque utilicemos herramientas digitales y software avanzado, los principios lógicos de las construcciones con regla y compás continúan siendo fundamentales en la geometría moderna.
La Duplicación del Cubo
La duplicación del cubo no nació como un dilema teórico, sino como una cuestión de supervivencia religiosa. Según la leyenda, los habitantes de la isla de Delos consultaron al oráculo de Delfos durante una peste. El oráculo respondió que debían duplicar el volumen del altar cúbico dedicado al dios Apolo, pero sin cambiar su forma. Es decir, construir otro cubo con el doble de volumen que el original.
"Para detener la peste, debéis construir un altar al dios Apolo que sea exactamente el doble del altar actual, conservando su forma cúbica."
Los habitantes, pensando de forma intuitiva pero errónea, duplicaron la longitud del lado del altar. Si el lado original era \(a\), ellos construyeron uno de lado \(2a\). Por tanto, si el volumen de cubo original era \(V_{original} = a^3\) el del nuevo altar fue \(V_{nuevo} = (2a)^3 = 8a^3\). El resultado fue un altar ocho veces más grande en volumen, lo que enfureció a los dioses (la peste no cesó).
Matemáticamente esto significa que para cumplir con el oráculo, se buscaba un lado \(x\) tal que el volumen fuera exactamente \(2V_{original}\), por tanto \(x^3 = 2a^3 \implies x = a\sqrt[3]{2}\). Aquí reside la imposibilidad, pues mientras que la regla y el compás permiten construir raíces cuadradas (resolviendo ecuaciones de segundo grado), no pueden extraer raíces cúbicas de números que no sean cubos perfectos.
En términos de Teoría de Cuerpos, los números constructibles con regla y compás deben pertenecer a una extensión de cuerpo sobre los racionales \(\mathbb{Q}\) cuyo grado sea una potencia de 2.
Finalmente, en 1837, el matemático francés Pierre Wantzel (1814-1848) demostró matemáticamente que este problema es irresoluble bajo las restricciones clásicas impuestas por Platón y Euclides.
El problema era hallar \( x \) tal que \( x^3 = 2a^3 \) equivale a encontrar dos medias proporcionales entre \( a \) y \( 2a \), es decir \(\displaystyle \frac{a}{x} = \frac{x}{y} = \frac{y}{2a}\). Utilizando métodos no acordes las restriciones platónicas, los propios griegos obtuvieron las siguientes soluciones:- Menecmo (380-320 a.C.). fue el primero en resolverlo usando la intersección de secciones cónicas. Demostró que el punto de encuentro de dos parábolas (o una parábola y una hipérbola) daba la solución exacta.
- Eratóstenes de Cirene (276-194 a. C.), inventó un instrumento mecánico llamado Mesolabio, un sistema de marcos triangulares deslizantes que permitía encontrar las medias proporcionales de forma física.
- Nicomedes (siglo III a.C.) inventó la concoide de Nicomedes y con esta curva mecánica pudo resolver el problema de la duplicación del cubo.
La Trisección del Ángulo
"Dividir un ángulo cualquiera en tres partes iguales utilizando únicamente una regla sin marcas y un compás."
Desde el punto de vista trigonométrico´, el problema es equivalente a intentar construir un ángulo de \(\theta/3\) a partir de un ángulo \(\theta\). Si tomamos como ejemplo un ángulo de \(60^\circ\), el objetivo es construir uno de \(20^\circ\). Utilizando la identidad de ángulo triple para el coseno: \(\cos(3\alpha) = 4\cos^3(\alpha) - 3\cos(\alpha)\).
La prueba de imposibilidad: si queremos trisecar \(60^\circ\), sabemos que \(\cos(60^\circ) = 1/2\). Sustituyendo en la fórmula y haciendo \(x = \cos(20^\circ)\), se tien que \(\frac{1}{2} = 4x^3 - 3x \implies 8x^3 - 6x - 1 = 0\). Este es un polinomio irreducible de grado 3 sobre los números racionales \(\mathbb{Q}\). Como el grado de la extensión resultante no es una potencia de 2, el número \(x\) no es constructible.
Como el compás no podía dividir un ángulo en tres, los griegos crearon las siguientes curvas y/o métodos especiales:
- Hipias de Élide (443-399 a.C.) introdujo una curva llamada cuadratriz. Esta curva permitía resolver problemas como la trisección del ángulo mediante procedimientos mecánicos. Sin embargo, los filósofos platónicos consideraban estos métodos poco «puros», ya que utilizaban mecanismos en lugar de construcciones estrictas con regla y compás.
- Nicomedes (siglo III a.C.) ideó la concoide (o «caracola»). Esta curva, que ya había empleado para abordar el problema de Delos, podía trazarse con un aparato mecánico y permitía trisecar cualquier ángulo mediante un método de inserción (neusis).
- Arquímedes (287-212 a.C.) propuso un método de trisección del ángulo mediante neusis. Este procedimiento utiliza una regla marcada, que se desliza hasta cumplir ciertas condiciones geométricas con una circunferencia. Aunque el método funciona, no se considera una construcción clásica, ya que introduce marcas en la regla.
La Cuadratura del Círculo
Desde el punto de vista analítico, el problema se resume en una igualdad de superficies. Si el área del círculo es $A = \pi r^2$ y el área del cuadrado es $A = L^2$, al suponer un círculo de radio unitario ($r = 1$), la longitud del lado del cuadrado resultante debe ser necesariamente $L = \sqrt{\pi}$.
La resolución geométrica depende de la "constructibilidad" de los números. Para que una medida pueda trazarse con regla y compás, debe ser un número algebraico (raíz de un polinomio con coeficientes racionales). Las reglas de la geometría euclidiana limitan estas construcciones a operaciones finitas que solo pueden generar extensiones algebraicas de grado $2^n$.
El misterio se resolvió finalmente en 1882, cuando Ferdinand von Lindemann demostró que $\pi$ es un número trascendente. Al no ser raíz de ninguna ecuación algebraica, se probó que $\pi$ (y por lo tanto $\sqrt{\pi}$) no puede obtenerse mediante un número finito de pasos geométricos, demostrando así que la cuadratura del círculo es, por definición, imposible de alcanzar bajo las reglas clásicas.
Ante la imposibilidad de resolver la cuadratura del círculo bajo las restricciones del dogma platónico, los geómetras griegos exploraron el uso de curvas generadas mediante movimientos continuos. Estas soluciones, denominadas "mecánicas", permitieron sortear los límites de la geometría euclidiana y ofrecer respuestas exactas a un problema que, de otro modo, resultaba insoluble.
- La Cuadratriz de Hipias y Dinóstrato (390 -320 a.C.). Cronológicamente, la primera gran alternativa surgió con la Cuadratriz, una curva compleja atribuida originalmente a Hipias de Élide y aplicada posteriormente por Dinóstrato. Esta figura se genera a través del movimiento uniforme y simultáneo de dos elementos: una línea recta que desciende verticalmente y un radio que rota dentro de un cuadrante circular. El rastro que deja el punto de intersección entre ambos movimientos traza la cuadratriz, cuya propiedad fundamental es que relaciona directamente ángulos con longitudes lineales.
El valor práctico de esta curva reside en su punto de intersección con el eje horizontal. En este punto crítico, la cuadratriz permite determinar una longitud específica definida por la relación $L = \frac{2R}{\pi}$. Al obtener un segmento cuya medida depende intrínsecamente de $\pi$, el problema de la cuadratura deja de ser un enigma para convertirse en una tarea trivial de proporcionalidad geométrica, permitiendo "rectificar" la circunferencia con precisión absoluta.
- La Espiral de Arquímedes. Por otro lado, el genio de Siracusa propuso un enfoque distinto mediante la Espiral de Arquímedes. Esta curva se define como el lugar geométrico de un punto que se mueve con velocidad constante a lo largo de una semirrecta que gira, también de forma uniforme, alrededor de su origen. A diferencia de las figuras estáticas, la espiral captura la relación entre el movimiento lineal y el rotacional en un solo trazo continuo. Arquímedes demostró que, al trazar una línea tangente a la espiral en el punto donde esta completa su primera vuelta, dicha tangente intercepta el eje vertical en un punto que define un segmento exactamente igual a la circunferencia del círculo de radio inicial. Una vez obtenida esta "rectificación" de la circunferencia en una línea recta, la construcción del cuadrado equivalente se simplifica mediante el uso de la media proporcional, logrando así cuadrar el círculo de manera magistral.
Ambos métodos representan los primeros pasos hacia el análisis matemático moderno. Al trascender las herramientas clásicas, tanto Dinóstrato como Arquímedes demostraron que la geometría no es una disciplina estática, sino un campo capaz de evolucionar hacia el estudio de curvas superiores para resolver los desafíos más complejos de la naturaleza.
Lectura recomendada:
No hay comentarios:
Publicar un comentario