La duplicación del cubo , también conocida como el problema de Delos , es un antiguo problema geométrico [a] [1] : 9. Dada la arista de un cubo , el problema requiere la construcción de la arista de un segundo cubo cuyo volumen es el doble del primero. Al igual que con los problemas relacionados de cuadratura del círculo y trisección del ángulo , ahora se sabe que la duplicación del cubo es imposible de construir utilizando solo un compás y una regla , pero incluso en la antigüedad se conocían soluciones que empleaban otros métodos.
Los egipcios , indios , eran conscientes del problema e hicieron muchos intentos inútiles de resolver lo que veían como un problema obstinado pero soluble. [2] Los griegos hicieron referencias sobre el tema. [b] Sin embargo, según Eutocio, Arquitas fue el primero en resolver el problema de duplicar el cubo (el llamado problema de Delos) con una ingeniosa construcción geométrica. [3] [4] [5] La inexistencia de una solución con compás y regla fue finalmente demostrada por Pierre Wantzel en 1837.
En términos algebraicos, duplicar un cubo unitario requiere la construcción de un segmento de línea de longitud x , donde x 3 = 2 ; en otras palabras, x = , la raíz cúbica de dos . Esto se debe a que un cubo de longitud de lado 1 tiene un volumen de 1 3 = 1 , y un cubo del doble de ese volumen (un volumen de 2) tiene una longitud de lado de la raíz cúbica de 2. La imposibilidad de duplicar el cubo es, por lo tanto, equivalente a la afirmación de que no es un número construible . Esto es una consecuencia del hecho de que las coordenadas de un nuevo punto construido por un compás y una regla son raíces de polinomios sobre el campo generado por las coordenadas de puntos anteriores, de grado no mayor que un cuadrático . Esto implica que el grado de la extensión del campo generado por un punto construible debe ser una potencia de 2. La extensión del campo generada por , sin embargo, es de grado 3.
Comenzamos con el segmento de línea unitario definido por los puntos (0,0) y (1,0) en el plano . Se nos pide que construyamos un segmento de línea definido por dos puntos separados por una distancia de . Se demuestra fácilmente que las construcciones con regla y compás permitirían que dicho segmento de línea se moviera libremente para tocar el origen , paralelo al segmento de línea unitario; por lo tanto, de manera equivalente, podemos considerar la tarea de construir un segmento de línea desde (0,0) hasta ( , 0), lo que implica construir el punto ( , 0).
Respectivamente, las herramientas de un compás y una regla nos permiten crear círculos centrados en un punto previamente definido y que pasan por otro, y crear líneas que pasan por dos puntos previamente definidos. Cualquier punto recién definido surge como resultado de la intersección de dos de esos círculos, como la intersección de un círculo y una línea, o como la intersección de dos líneas. Un ejercicio de geometría analítica elemental muestra que en los tres casos, tanto las coordenadas x como y del punto recién definido satisfacen un polinomio de grado no mayor que un cuadrático, con coeficientes que son sumas, restas, multiplicaciones y divisiones que involucran las coordenadas de los puntos previamente definidos (y números racionales). Replanteado en terminología más abstracta, las nuevas coordenadas x e y tienen polinomios mínimos de grado como máximo 2 sobre el subcuerpo generado por las coordenadas anteriores. Por lo tanto, el grado de la extensión del cuerpo correspondiente a cada nueva coordenada es 2 o 1.
Así, dada una coordenada de cualquier punto construido, podemos proceder inductivamente hacia atrás a través de las coordenadas x e y de los puntos en el orden en que fueron definidos hasta llegar al par original de puntos (0,0) y (1,0). Como toda extensión de campo tiene grado 2 o 1, y como la extensión de campo sobre las coordenadas del par original de puntos es claramente de grado 1, se sigue de la regla de la torre que el grado de la extensión de campo sobre cualquier coordenada de un punto construido es una potencia de 2 .
Ahora bien, p ( x ) = x 3 − 2 = 0 es fácilmente visible como irreducible sobre – cualquier factorización implicaría un factor lineal ( x − k ) para algún k ∈ , y por lo tanto k debe ser una raíz de p ( x ) ; pero también k debe dividir a 2 (por el teorema de la raíz racional ); es decir, k = 1, 2, −1 o −2 , y ninguna de estas son raíces de p ( x ) . Por el lema de Gauss , p ( x ) también es irreducible sobre , y por lo tanto es un polinomio mínimo sobre para . La extensión del cuerpo es, por lo tanto, de grado 3. Pero esto no es una potencia de 2, por lo que por lo anterior:
El problema debe su nombre a una historia sobre los ciudadanos de Delos , quienes consultaron el oráculo de Delfos para aprender cómo derrotar una plaga enviada por Apolo . [6] [1] : 9 Según Plutarco , [7] sin embargo, los ciudadanos de Delos consultaron el oráculo de Delfos para encontrar una solución a sus problemas políticos internos en ese momento, que habían intensificado las relaciones entre los ciudadanos. El oráculo respondió que debían duplicar el tamaño del altar de Apolo, que era un cubo regular. La respuesta les pareció extraña a los delianos, y consultaron a Platón , quien fue capaz de interpretar el oráculo como el problema matemático de duplicar el volumen de un cubo dado, explicando así el oráculo como el consejo de Apolo para que los ciudadanos de Delos se ocuparan del estudio de la geometría y las matemáticas para calmar sus pasiones. [8]
Según Plutarco , Platón le dio el problema a Eudoxo , Arquitas y Menecmo , quienes lo resolvieron utilizando medios mecánicos, ganándose una reprimenda de Platón por no resolver el problema utilizando geometría pura . [9] Esta puede ser la razón por la que el autor del pseudoplatónico Sísifo (388e) se refiere al problema en el año 350 a. C. como aún sin resolver. [10] Sin embargo, otra versión de la historia (atribuida a Eratóstenes por Eutocio de Ascalón ) dice que los tres encontraron soluciones, pero eran demasiado abstractas para tener un valor práctico. [11]
Un avance significativo en la búsqueda de una solución al problema fue el descubrimiento por Hipócrates de Quíos de que es equivalente a encontrar dos medias geométricas proporcionales entre un segmento de línea y otro con el doble de longitud. [12] En notación moderna, esto significa que dados segmentos de longitudes a y 2 a , la duplicación del cubo es equivalente a encontrar segmentos de longitudes r y s de modo que
A su vez, esto significa que
Pero Pierre Wantzel demostró en 1837 que la raíz cúbica de 2 no es construible ; es decir, no se puede construir con regla y compás . [13]
La solución original de Menecmo implica la intersección de dos curvas cónicas . Otros métodos más complicados para duplicar el cubo implican la neusis , la cisoide de Diocles , la concoide de Nicomedes o la línea de Filón . Pandrosión , un matemático de la antigua Grecia probablemente mujer, encontró una solución aproximada numéricamente precisa utilizando planos en tres dimensiones, pero fue duramente criticado por Pappus de Alejandría por no proporcionar una prueba matemática adecuada . [14] Arquitas resolvió el problema en el siglo IV a. C. utilizando una construcción geométrica en tres dimensiones, determinando un cierto punto como la intersección de tres superficies de revolución.
La teoría cartesiana de la solución geométrica de ecuaciones utiliza una parábola para introducir ecuaciones cúbicas, de esta manera es posible plantear una ecuación cuya solución sea una raíz cúbica de dos. Nótese que la parábola en sí no es construible excepto por métodos tridimensionales.
En la literatura matemática excéntrica ( pseudomatemáticas ) abundan las afirmaciones falsas de que se puede duplicar el cubo con compás y regla .
El origami también se puede utilizar para construir la raíz cúbica de dos doblando papel .
Hay una construcción de neusis simple que utiliza una regla marcada para una longitud que es la raíz cúbica de dos veces otra longitud. [15]
Entonces AG es la longitud dada multiplicada por .
En teoría musical , un análogo natural de la duplicación es la octava (un intervalo musical causado por la duplicación de la frecuencia de un tono), y un análogo natural de un cubo es dividir la octava en tres partes, cada una del mismo intervalo . En este sentido, el problema de la duplicación del cubo se resuelve mediante la tercera mayor en temperamento igual . Este es un intervalo musical que es exactamente un tercio de una octava. Multiplica la frecuencia de un tono por , la longitud del lado del cubo de Delos. [16]
![{\displaystyle {\sqrt[{3}]{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ca071ab504481c2bb76081aacb03f5519930710)
![{\displaystyle \mathbb {Q} ({\sqrt[{3}]{2}}):\mathbb {Q} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/47c73ded44c7a3750a858c86a51da6d1111141d7)
![{\displaystyle r=a\cdot {\sqrt[{3}]{2}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccf945de0b9fdce986be7a4f00edb519af613276)
![{\displaystyle 2^{4/12}=2^{1/3}={\sqrt[{3}]{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a67a79d350064c1d663bb6f84a52d383647d6419)