Duplicación del cubo
# Duplicación del cubo

La duplicación del cubo, también conocida como el problema de Delos, describe una cuestión geométrica que consiste en construir un cubo que tenga el doble de volumen que un cubo dado. Es uno de los tres problemas clásicos de la matemática antigua, que ya había sido formulado en el siglo V a. C. en la Antigua Grecia. Sería en el siglo XIX cuando se demostró que el problema no se puede resolver utilizando exclusivamente regla y compás.

## Planteamiento general

Un cubo inicial con una arista de longitud $a=1$ (denominado cubo unidad) tiene el volumen $V=1^{3}=1.$ Si se define un segundo cubo con longitud de arista $x$ con el doble de volumen, entonces $V=x^{3}=2=2\cdot 1^{3}.$ La nueva longitud de arista $x$ es la raíz cúbica de $2$, es decir, ${\sqrt[{3}]{2}}=1{,}259921\ldots$. Este resultado se puede determinar usando el cálculo infinitesimal, pero no se puede construir en un número finito de pasos a partir de un segmento de longitud dada usando exclusivamente un compás y una regla sin marcar.

El problema de duplicar el cubo exclusivamente con las herramientas que Euclides usó en sus Elementos, es decir, con regla y compás se puede traducir al lenguaje algebraico, lo que permite demostrar la imposibilidad de su construcción, tal y como probó por primera vez el matemático francés Pierre Wantzel en 1837. Sin embargo, es muy probable que Carl Friedrich Gauss ya conociera la evidencia de este hecho, aunque nunca dejó constancia del mismo.

Existen problemas idénticos cuando el volumen del cubo se incrementa por ejemplo en 3, 4, 5, 6 o 7 veces el volumen original. Por otro lado, la tarea de aumentar 8 veces el volumen de un cubo dado, no sería un problema, porque la raíz cúbica de 8 puede extraerse fácilmente, y la duplicación resultante de la longitud de la arista se obtiene directamente.

Si la restricción se debilita y se permite una ayuda adicional, como introducir marcas en una regla o curvas especiales, entonces es posible la construcción de un cubo con el doble de volumen. Un cierto número de estas posibles soluciones ya se conocían en la antigüedad clásica.

## Historia en el mundo antiguo

La fuente antigua más importante sobre la duplicación del cubo es el comentario de Eutocio sobre el texto de Arquímedes "Acerca de la esfera y el cilindro" ("Περὶ σφαίρας καὶ κυλίνδρου"), en el que se recogen varios enfoques de antiguos matemáticos. Entre otras cosas, el problema se cita literalmente en una carta del erudito Eratóstenes (alrededor del 275-194 a. C.) a un rey de nombre Ptolomeo (probablemente, Ptolomeo III o Ptolomeo IV) (se ha demostrado que la carta es una reproducción auténtica de la carta original) en la que el científico menciona al gobernante la cuestión de doblar el cubo. Como la evidencia más antigua de este problema matemático, Eratóstenes cita a "uno de los viejos poetas de la tragedia" ("τῶν ἀρχαίων τρχαίων τινὰ τραγῳδοποιῶν"), en cuya obra el rey mítico Minos desea aumentar el tamaño de la sepultura de su hijo Glauco, y ordena al constructor duplicar el volumen pero manteniendo la forma de cubo original. Se sabe que los tres autores atenienses más importantes de tragedias del siglo V a. C., Esquilo, Sófocles y Eurípides, trataron la leyenda de Minos y Glauco en alguna de sus obras; aunque es posible que la cita provenga de una tragedia de un autor completamente diferente.

La designación alternativa "Problema de Delos" se remonta a un episodio que Eratóstenes también cita en su carta, pero que también es descrito por varios otros autores antiguos (incluidos Plutarco y Teón de Esmirna) y que, desde un punto de vista erudito, bien podría estar basado en un hecho histórico real: durante una grave epidemia, los residentes de la isla de Delos pidieron consejo al oráculo sobre lo que podían hacer para mejorar su situación. El oráculo les había ordenado que duplicaran el tamaño del altar de forma cúbica existente en el Templo de Apolo, es decir, su volumen. Los arquitectos de Delos, sin embargo, no sabían cómo resolver la cuestión, por lo que pidieron consejo a Platón (428/427-348/347 a. C.). El problema llegó a oídos de Arquitas, Eudoxo de Cnido y Menecmo, cada uno de los cuales abrió diferentes enfoques para solucionarlo. Sin embargo, según Plutarco, Platón criticó sus enfoques porque, según él, al utilizar métodos mecánicos destruían la principal "bondad" de la geometría, su elegancia. Curiosamente, en el comentario de Arquímedes de Eutocio, Platón también atribuye su propia solución mecánica al problema de Delos (véase la sección correspondiente). A menos que se trate de un Platón diferente al famoso filósofo, de acuerdo con la opinión predominante de los investigadores, es probable que sea una atribución incorrecta.

Problemas similares al de la construcción de altares (pero con el problema de doblar un cuadrado en lugar de un cubo) figuran en los textos védicos de la India y dieron lugar a discusiones matemáticas (denominadas Śulbasūtras). En el caso del cuadrado, el problema de su duplicación se puede resolver mediante el teorema de Pitágoras.

### Soluciones antiguas con herramientas adicionales

* Hipócrates de Quíos (segunda mitad del siglo V a. C.) fue el primero en mostrar el enfoque clave para dar una solución teórica al problema. Estableció que: El problema de duplicar el cubo es equivalente al de determinar dos medias proporcionales de dos cantidades dadas. Esto significa que para una medida dada $a$, se deben hallar otras dos medidas $x$ e $y$, de modo que

    ${\frac {a}{x}}={\frac {x}{y}}={\frac {y}{2a}}.$
    Esto implica que $x={\sqrt[{3}]{2}}\cdot a$.
* Platón (428/427-348/347 a. C.) fue nombrado por Eutocio como el primero en idear un mecanismo para resolver la duplicación del cubo. Como ya se mencionó anteriormente, esta solución posiblemente no corresponda al filósofo, y debería ser obra de otro autor del mismo nombre.
* Eudoxo (397/390-345/338 a. C.) encontró una solución, según se informa, al construir las dos medias proporcionales con la ayuda de curvas desconocidas y sus intersecciones.
* Arquitas de Tarento (fallecido alrededor del 355-350 a. C.) fue el primero en resolver el teorema de Hipócrates antes mencionado con la ayuda de la curva que lleva su nombre, descrita en la sección curva de Arquitas.
* Menecmo (alrededor de 380-320 a. C.) encontró dos soluciones: una en la que una parábola se cruza con una hipérbola, y una segunda, descrita en detalle en la sección dedicada a las curvas especiales, como la intersección de dos parábolas.
* Filón de Bizancio (alrededor de 280-220 a. C.), para resolver el problema se valió de una sencilla construcción que lleva su nombre, la denominada recta de Filón.
* Eratóstenes (alrededor de 278-194 a. C.) describe en su carta al rey Tolomeo, después de su introducción a la historia del problema de Delos, su propio método mecánico utilizando un aparato que llamó el mesolabio.
* Diocles (alrededor de 240-180 a. C.) usó la cisoide que lleva su nombre para resolver el problema.

## Prueba de la irresolubilidad mediante regla y compás

### Historia de la demostración

Los matemáticos de la antigüedad no solo usaban la regla y el compás para resolver problemas. La suposición de que existía tal restricción metodológica ha resultado ser un mito moderno. La demostración de que la tarea de duplicar el cubo no se puede resolver usando solo la regla y el compás, data de 1837 y se debe al matemático Pierre Wantzel. Su demostración se basó en las siguientes consideraciones algebraicas:

    1. En la primera parte de la demostración, sostiene que si un problema geométrico se puede resolver con una regla y un compás, “la incógnita del problema se puede obtener resolviendo una serie de ecuaciones cuadráticas cuyos coeficientes son funciones racionales de los parámetros $p,q,r,...$ del problema y de las raíces de las ecuaciones anteriores”.
    La "incógnita del problema" en este caso es obtener $x={\sqrt[{3}]{2}}$ según las restricciones dadas.
    2. Luego demostró que cada número algebraico $x_{n}^{0}$, es la solución de la última ecuación $x_{n}^{2}+A_{n-1}x_{n}+B_{n-1}=0$ del conjunto de polinomios de segundo grado sucesivos (que representan una serie de operaciones consecutivas con regla y compás)
       ${\begin{aligned}&x_{1}^{2}+Ax_{1}+B=0\\&x_{2}^{2}+A_{1}x_{2}+B_{1}=0\\&\vdots \\&x_{n}^{2}+A_{n-1}x_{n}+B_{n-1}=0\end{aligned}}$
    cuyos coeficientes $A_{m},B_{m}$ forman parte de adjunciones sucesivas en el cuerpo $\mathbb {Q} (p,q,r,...,x_{1}^{0},...x_{m-1}^{0})$. En consecuencia, siempre es la solución de un polinomio de grado $2^{n}$ con coeficientes en $\mathbb {Q} (p,q,r,...)$. $x_{j}^{0}$, es decir, permite resolver la ecuación $x_{j}^{2}+A_{j-1}x_{j}+B_{j-1}=0$ con $p,q,r,...$ siendo los parámetros dados del problema.
    3. Wantzel sabía que todo número algebraico es la solución de un polinomio cuyo grado es una potencia de dos si se elige que esta sea lo suficientemente grande. Por lo tanto, su principal resultado fue demostrar que si el número de ecuaciones requeridas se reduce al mínimo, el polinomio resultante es irreducible sobre $\mathbb {Q} (p,q,r...)$.

La imposibilidad de la construcción se sigue ahora como corolario de las tres proposiciones anteriores: si, comenzando con el cubo unidad, fuera posible la construcción de duplicar el cubo con regla y compás, entonces ${\sqrt[{3}]{2}}$ tendría que ser el cero de un polinomio irreducible sobre $\mathbb {Q} (0,1)=\mathbb {Q}$, con una potencia de dos como grado. El polinomio $x^{3}-2$ es irreducible sobre $\mathbb {Q}$, pero tiene grado 3. Esto es una contradicción, lo que implica la irresolubilidad del problema.

Cabe señalar que el matemático Jesper Lützen considera que la publicación original de Wantzel es incompleta y difícil de entender; en especial la "prueba" de la proposición principal 3. Lützen cerró posteriormente las lagunas en los razonamientos y en los resultados, como se describió anteriormente, y formuló la demostración en lenguaje técnico moderno. La prueba de Wantzel de la imposibilidad de construir la duplicación del cubo y la trisección del ángulo con una regla y un compás fue olvidada durante casi un siglo después de su publicación en 1837. Según Lützen, esto se debió a la "falta de notoriedad del autor", al "hecho de que algunos de sus contemporáneos consideraran el resultado como conocido o incluso probado", y a que "el resultado no se consideró como un logro matemático importante en el momento de su publicación.

Los historiadores dudan de que Wantzel fuera el primero en conocer la evidencia, ya que el joven Carl Friedrich Gauss probablemente también debió deducirla. Una gran parte de su obra Disquisitiones arithmeticae, publicada en 1801, está dedicada a la cuestión de qué condiciones debe cumplir un polinomio para que pueda resolverse mediante radicales cuadrados. Allí también figuran distintos postulados que llevan el nombre de Gauss, con la ayuda de las cuales se puede demostrar la imposibilidad de resolver con regla y compás numerosos problemas. Con las técnicas que desarrolló, Gauss demostró, por ejemplo, que el heptadecágono se puede construir con regla y compás. Los historiadores de las matemáticas Christoph Scriba y Peter Schreiber atribuyen el hecho de que, a pesar de ello, muchos autores nombran y citan a Wantzel como el autor de la demostración a las "dificultades de comunicación" de la ciencia del siglo XIX.

En el lenguaje técnico actual, la prueba es una aplicación de la teoría de Galois (desarrollada por el matemático francés Évariste Galois) y esencialmente se reduce al hecho de que el número irracional ${\sqrt[{3}]{2}}=1{,}259921\ldots$ no puede ser expresado mediante las cuatro operaciones con números enteros ni tampoco con sus raíces cuadradas.

### Prueba algebraica

La prueba de la imposibilidad se puede llevar a cabo en detalle a través de los siguientes conceptos de álgebra. Sea $M$ un conjunto de puntos (sobre los números complejos) que contenga al menos 0 y 1, y un punto arbitrario $z$. Para estas consideraciones, es importante que los números complejos puedan entenderse como un plano; en cambio, los números reales simplemente se entienden como una línea recta. Entonces se aplica que el punto $z$ se puede construir a partir de los puntos de $M$ con un compás y una regla si y solo si se encuentran en un cuerpo $E\subset \mathbb {C}$ (donde $\mathbb {C}$ es el cuerpo de los números complejos), que a través de adjunción de una raíz cuadrada al cuerpo

    $K:=\mathbb {Q} (M\cup {\overline {M}})\subset \mathbb {C}$

En términos generales, $\mathbb {Q} (M\cup {\overline {M}})$ es el conjunto que surge de formar todas las sumas, productos y cocientes de números racionales con $M\cup {\overline {M}}$. Aquí ${\overline {M}}=\{{\overline {m}}\mid m\in M\}$ es el conjunto de conjugados complejos de $M$ y el símbolo $\cup$ representa la unión de los dos conjuntos. La adjunción de una raíz cuadrada significa que debe haber un $w^{2}\in K$ tal que $E=K(w)$. Por ejemplo, $\mathbb {Q} ({\sqrt {2}})$ resulta de la adjunción de una raíz cuadrada de números racionales, ya que $({\sqrt {2}})^{2}=2$ es un número racional; en consecuencia, $\mathbb {Q} ({\sqrt {2}})$ es el conjunto de todas las sumas, productos y cocientes de números racionales con el número ${\sqrt {2}}$. En consecuencia,$E|K$ es la denominada extensión del cuerpo. El problema de duplicar el cubo usando un compás y una regla puede, por lo tanto, reducirse a la cuestión de si el número ${\sqrt[{3}]{2}}$ se encuentra en un cuerpo parcial de $\mathbb {C}$ que se pueda obtener de $\mathbb {Q}$ mediante la adjunción sucesiva de raíces cuadradas. Sin embargo, eso significa que el grado del desarrollo de $E$ relativo a $\mathbb {Q}$ debe ser una potencia de 2. Pero

    $[\mathbb {Q} ({\sqrt[{3}]{2}}):\mathbb {Q} ]=3\not =2^{n}\qquad {\text{para todo}}\,n\in \mathbb {N} ,$

permite concluir que es imposible duplicar el cubo utilizando exclusivamente regla y compás. Que la expansión del cuerpo $\mathbb {Q} ({\sqrt[{3}]{2}})|\mathbb {Q}$ es de grado 3 se puede ver de la siguiente manera: el polinomio $p(x)=x^{3}-2$ es irreducible sobre los números enteros y tiene el coeficiente 1 en su potencia más alta. De acuerdo con el lema de Gauss, $p(x)$ es irreducible sobre los números racionales. Entonces $p(x)$ es un polinomio mínimo de ${\sqrt[{3}]{2}}$ con grado 3. Esto da como resultado el conocimiento de que cada elemento del conjunto $\mathbb {Q} ({\sqrt[{3}]{2}})$, que consiste en todos los números racionales que fueron arbitrariamente "mezclados" con la raíz cúbica de 2 mediante las operaciones aritméticas básicas, que se pueden escribir como $a+b{\sqrt[{3}]{2}}+c{\sqrt[{3}]{4}}$ siendo $a,b,c$ números racionales. Por ejemplo

    ${\frac {{\sqrt[{3}]{2}}+2}{{\sqrt[{3}]{2}}-1}}=4+3\cdot {\sqrt[{3}]{2}}+3\cdot {\sqrt[{3}]{4}}.$

Esto implica que $\mathbb {Q} ({\sqrt[{3}]{2}})$ forme un espacio vectorial "tridimensional" sobre $\mathbb {Q}$.

Con el mismo argumento, se puede demostrar que aumentar $n$ veces el volumen de un cubo (siendo $n$ un número natural que "no" sea un cubo), no se puede lograr exclusivamente con regla y compás.

## Construcciones con utensilios

Si, además de las herramientas clásicas (euclídeas), las reglas sin marcar y los compases, se necesitan otros procedimientos adicionales, como un dispositivo mecánico especial o una regla marcada, la longitud de la arista necesaria para duplicar el cubo puede ser teóricamente determinada con exactitud.

### Con la ayuda de una regla marcada

Las construcciones con la ayuda de una "inserción" en una regla, también conocidas como neusis, además del compás utilizan una regla en la que se realiza una marca para fijar una medida como ayuda adicional.

* La siguiente construcción de neusis, denominada por Heinrich Dörrie construcción de tiras de papel, es una de las más famosas.

    Se marca la medida de la arista del cubo dado mediante un segmento de longitud $k$, como se muestra en la Figura 1. Luego, se construye un triángulo equilátero con los vértices $ABC$. Se duplica el segmento ${\overline {AC}}$ a partir de $A,$ lo que da como resultado el punto $D.$ Ahora, se extiende la línea recta ${\overline {AB}}$ desde $B$, y se traza desde $D$ la semirrecta que pasa por $B$. A continuación, se coloca una regla marcada con el punto $Q$ situado de forma que la distancia desde la esquina $P$ al punto $Q$ corresponde a $k$ según el dibujo. Para ello, se debe girar y deslizar la regla hasta que su esquina $P$ esté situada sobre la extensión de la línea recta ${\overline {AB}}$, el punto $Q$ esté en la extensión de la línea recta ${\overline {BD}}$ y el borde de la regla pase por el punto $C$. Finalmente, conectar el punto $C$ con $Q.$
    El segmento ${\overline {CQ}}=k\cdot {\sqrt[{3}]{2}}$ es la longitud de la arista buscada, que permite duplicar el volumen del cubo inicial.
* Isaac Newton ideó una construcción mediante neusis menos conocida (Fig. 2), notable por su simplicidad.

    Comienza con la construcción de una perpendicular ${\overline {AB}}$ desde $B$. A continuación, se traza una semirrecta formando un ángulo de $30^{\circ }$ en el vértice $B$. A continuación, se coloca una regla marcada con el punto $C$ (la distancia desde la esquina $D$ al punto $C$ corresponde a la arista $a$ del cubo inicial) en el dibujo. Girar y deslizar la regla hasta que su esquina $D$ se encuentre en el lado del ángulo, el punto de la marca $C$ esté en la línea recta horizontal que pasa por $B$ y el borde de la regla pase por el punto $A$. Finalmente, la longitud buscada es la distancia entre $A$ y $C.$ El punto dibujado $E$ solo sirve para facilitar la siguiente comprobación.
    El segmento ${\overline {AC}}=a\cdot {\sqrt[{3}]{2}}$ es la longitud de la arista del cubo buscado, que duplica el volumen del cubo inicial.
    Demostración
    La Figura 2 muestra los triángulos rectángulos $ABC$ (azul) y $CDE$ (verde), semejantes entre sí al compartir un ángulo opuesto por el vértice. Aplicando el teorema de Tales
       (1) $a:x=b:y=c:a,$
    el triángulo rectángulo $BDE$ y la recta a $30^{\circ }$
       (2) $\tan \left(30^{\circ }\right)={\frac {1}{\sqrt {3}}}={\frac {\overline {DE}}{\overline {BE}}}={\frac {x}{b+y}}={\frac {a^{2}}{b\left(a+c\right)}},$
    Elevando la ecuación (2) al cuadrado
       (3) ${\frac {1}{3}}={\frac {a^{4}}{b^{2}\left(a+c\right)^{2}}},$
    y operando
       (4) $b^{2}\left(a+c\right)^{2}=3a^{4},$
    el triángulo rectángulo $ABC,$ de acuerdo con el teorema de Pitágoras
       (5) $b^{2}=c^{2}-a^{2}$
    Con el valor de (5) insertado en (4) se obtiene
       (6) $\left(c^{2}-a^{2}\right)\left(a+c\right)^{2}=3a^{4}$
          $=\left(c^{2}-a^{2}\right)\left(a^{2}+2ac+c^{2}\right)$
          $=\left(c^{2}a^{2}+2ac^{3}+c^{4}-a^{4}-2a^{3}c-a^{2}c^{2}\right)$
    que se opera para obtener
       (7) $2ac^{3}+c^{4}=3a^{4}+a^{4}+2a^{3}c=4a^{4}+2a^{3}c$
    después de la simplificación
       (8) $c^{3}\left(2a+c\right)=2a^{3}\left(2a+c\right)$
    finalmente se deduce que
       (9) $c^{3}=2a^{3}.$
    En otras palabras:
    El volumen del cubo $c^{3}$ con la longitud de la arista $c$ es igual al doble del volumen $2a^{3}$ del cubo inicial con la longitud de la arista $a.$

### Con dispositivos mecánicos

El uso de las dos herramientas mecánicas que se describen a continuación proporciona las llamadas dos medias proporcionales $x$ e $y$ establecidas por Hipócrates de Quíos para duplicar el cubo inicial de longitud de arista $a$. La media proporcional $x$ corresponde a la longitud de arista buscada del cubo duplicado, $a\cdot {\sqrt[{3}]{2}}$.

El teorema de Hipócrates de Quíos se describe en la sección dedicada a la construcción mediante curvas.

**Método mecánico de Platón**

Como se mencionó en la introducción, Eutocio nombra a Platón como el primero en utilizar el siguiente método para resolver el problema de duplicar el cubo. Los comentaristas modernos consideran poco probable que este método sea atribuible al célebre filósofo Platón debido a su vehemente rechazo de las ayudas mecánicas, aunque Lattmann describe en su estudio Modelado matemático de Platón entre Tales y Euclides de 2019 en detalle por qué la solución podría atribuirse correctamente a Platón.

La herramienta mecánica (sin evidencias materiales que permitan saber exactamente cómo era) consiste, por ejemplo, en dos reglas en forma de U. Para que la regla suelta pueda moverse exactamente en paralelo a su homóloga, está guiada convenientemente en las dos partes laterales. Para una mejor descripción general, la herramienta se muestra en la animación adjunta, en la que se utilizan las designaciones originales de los puntos del modelo mediante el alfabeto griego.

**Método mecánico de Platón**

**Procedimiento**

Primero, las dos variables dadas $a={\overline {B\Gamma }}$ y $b=2a={\overline {AB}}$ se dibujan perpendiculares entre sí, prolongándose desde el punto $B$.

La herramienta se mueve de la siguiente manera (véase la animación) hasta que se encuentran las dos medias proporcionales $x$ e $y$:

El borde interior del elemento base ${\overline {H\Theta }}$ siempre pasa por el punto $\Gamma$ y el punto $H$ siempre está en la extensión de la línea ${\overline {AB}},$ antes de que el punto $K$ de la regla ${\overline {K\Lambda }}$ sea empujado a la extensión de la línea ${\overline {\Gamma B}}$.

Como resultado, la herramienta mecánica facilita la determinación de

    ${\overline {\Delta E}}={\sqrt {y^{2}+x^{2}}},\,\,{\overline {AE}}={\sqrt {4a^{2}+y^{2}}},\,\,x=a\cdot {\sqrt[{3}]{2}}\,\,$ y $\,\,y={\frac {2a}{\sqrt[{3}]{2}}}.$

**Método mecánico de Platón**

**Demostración**

Debido al paralelismo ${\overline {AE}}\parallel {\overline {\Gamma \Delta }}$ y a los cuatro ángulos rectos en el vértice $B$, los siguientes triángulos tienen los mismos ángulos y, por lo tanto, son semejantes entre sí:

Euclides, Elementos, 1, 29:

    $\triangle {BAE}\sim \triangle {B\Delta \Gamma }\sim \triangle {B\Delta E}$

Dado que el vértice $E$ tiene un ángulo recto, los siguientes ángulos son los mismos:

Euclides, Elementos, 1, 32:

    $\angle {\Delta EB}=\angle {EAB}=\angle {\;\Gamma \Delta B}$

Debido a que el vértice $\Delta$ tiene un ángulo recto, los siguientes ángulos también son iguales:

    $\angle {B\Delta E}=\angle {B\;\Gamma \Delta }=\angle {BEA}$

Según Euclides, Elementos 6, 4; las proporciones son:

    ${\overline {B\Delta }}:{\overline {B\Gamma }}={\overline {AB}}:{\overline {BE}}={\overline {BE}}:{\overline {B\Delta }}={\sqrt[{3}]{2}}$

**Método mecánico de Eratóstenes**

Eratóstenes de Cirene ideó (basado en el teorema de Hipócrates) una herramienta mecánica que describió en la carta al rey Ptolomeo como:

El dispositivo mecánico se puede imaginar como una caja de madera, bronce o marfil, con tres tabletas muy delgadas en forma de triángulos rectángulos idénticos, que se pueden mover hacia la derecha o hacia la izquierda con la ayuda de ranuras. En una tarea en la que se buscan más de dos proporciones medias para dos variables, el número requerido de triángulos es siempre "uno más" que el número de proporciones medias buscadas. Eratóstenes ideó su solución para duplicar el cubo tallado en piedra en el templo de los Ptolomeos en Alejandría.

El "dispositivo mecánico", como lo llama Eratóstenes, que se muestra en forma esquemática en el diagrama adjunto muestra dos semirrectas $s_{1}$ y $s_{2};$ paralelas, que simbolizan las dos guías sobre las que deslizan tres triángulos rectángulos. El primero está fijo en el punto $E,$, mientras que los otros dos se pueden mover hasta $E$. Alternativamente, también se pueden utilizar dos triángulos rectángulos y una diagonal dibujada. El lado vertical de los triángulos mide $b=2a={\overline {AE}}$, mientras que el otro cateto tiene una longitud libremente seleccionable (en el diagrama se ha tomado $1{,}5a$). La línea recta $s_{1}$ es cortada en el punto $D$ por la línea vertical del tercer triángulo ${\overline {HQ}}$, de forma que la longitud del segmento ${\overline {HD}}$ debe coincidir con el valor de la variable $a$. Una recta (no mostrada) desde el punto $A$ hasta $D$ cruza la línea $K$ en $s_{1}$, genera el segmento ${\overline {AK}}$ y, por lo tanto, revela la idea básica del dispositivo, de acuerdo con el teorema de Tales.

**Método mecánico de Eratóstenes**

**Procedimiento**

Solo se requieren unos pocos pasos si, por ejemplo, el segundo triángulo (azul) y el tercer triángulo (amarillo) se mueven entre las reglas de la siguiente manera, hasta que se encuentren las dos proporciones medias $x$ e $y$ (véase la animación):

Mover en primer lugar el segundo triángulo (azul) hacia el punto $E$ para que su hipotenusa ${\overline {GM'}}$, la línea ${\overline {AK}}$ (roja) y la vertical ${\overline {FM}}$ se crucen en el punto $B$. Solo en el siguiente paso, empujar el tercer triángulo (amarillo) de tal manera que su hipotenusa ${\overline {HN'}}$, la línea ${\overline {AK}}$ (roja) y la vertical ${\overline {FM}}$ se crucen en el punto $C$. Las repeticiones de estos pasos generan las dos proporciones medias $x={\overline {FB}}$ e $y={\overline {GC}}.$

**Método mecánico de Eratóstenes**

**Demostración**

Si las dos rectas se cruzan a través de ${\overline {AD}}$ o a través de ${\overline {EH}}$ en $K$, entonces es

    ${\overline {EK}}:{\overline {KF}}={\overline {AK}}:{\overline {KB}}={\overline {FK}}:{\overline {KG}}$

y

    ${\overline {EK}}:{\overline {KF}}={\overline {AE}}:{\overline {BF}}$,

al tiempo que

    ${\overline {FK}}:{\overline {KG}}={\overline {BF}}:{\overline {CG}};$

y por lo tanto

    ${\overline {AE}}:{\overline {BF}}={\overline {BF}}:{\overline {CG}}.$

Por semejanza de triángulos

    ${\overline {BF}}:{\overline {CG}}={\overline {CG}}:{\overline {DH}}.$

Esto significa que ${\overline {AE}},\;{\overline {BF}},\;{\overline {CG}}$ y ${\overline {DH}}$ están en proporción continua y ${\overline {BF}}$ y ${\overline {CG}}$ son las dos proporciones medias.

## Construcciones mediante curvas especiales

Si un cubo con la longitud de arista dada $a$ debe duplicarse en términos de su volumen $a^{3}$, con $x$ como la longitud de la arista del cubo más grande, entonces el teorema de Hipócrates de Quíos se aplica a la determinación de las dos proporciones medias $x$ e $y$:

    $a:x=x:y=y:2a$

La eliminación de $y$ da como resultado:

    $x^{3}=2a^{3},$

de lo que se sigue que:

    (1) $x=a\cdot {\sqrt[{3}]{2}}.$

La eliminación de $x$ da como resultado:

    $y={\frac {2a^{2}}{a\cdot {\sqrt[{3}]{2}}}},$

y por lo tanto:

    (2) $y={\frac {2a}{\sqrt[{3}]{2}}}.$

La solución al problema con la ayuda de la curva de Arquitas (descubierta en la primera mitad del siglo IV a. C.), implica el uso de elementos tridimensionales. Debido a su grado especial de dificultad, se describe en detalle a continuación.

### Curva de Arquitas

Unas décadas antes que Arquitas, Hipócrates de Quíos había logrado asimilar la cuestión de duplicar el cubo a un problema de construcción de proporciones. Arquitas tuvo éxito en su construcción teórica mediante una curva especial que lleva su nombre. Para su visualización o aplicación se requieren las siguientes tres figuras (ver diagrama adjunto):

* Medio cilindro, inscrito en el semicírculo $ADB$ con radio $a$ y diámetro $b.$ La altura del semicilindro es de aproximadamente $2{,}5a.$
* Un octavo de un toro de revolución sin orificio central con radio $a.$
* Un cuarto de un cono $DPP'A$ con radio $r={\overline {DP}}$ y altura $h={\overline {DA}}$, con el triángulo $DP'A$ como intersección. La sección del cono alcanza su tamaño máximo, es decir, una cuarta parte del cono total, cuando el triángulo $DP'A$ encierra un ángulo de $DPA$ con el triángulo de $90^{\circ }$ y, por lo tanto, se encuentra sobre la superficie rectangular del semicilindro.

La curva de Arquitas es una construcción descriptiva, que se obtiene cuando un semicilindro penetra un octavo de un toro de revolución sin orificio. Como se puede ver en el diagrama, el cuarto del cono $DPP''A$ penetra las dos figuras vecinas y crea así una segunda curva de intersección que se cruza con la curva de Arquitas.

Las dos proporciones medias se encuentran cuando la hipotenusa ${\overline {AP'}}$ de la sección triangular (azul) del cono se cruza con la curva de Arquitas en el punto (verde) $K$. El punto $K$ se encuentra en la superficie lateral del semicilindro (en la curva de Arquitas), en la línea triangular en la superficie de la sección cónica y en la superficie de la sección semicircular del toro de revolución sin orificio.

**Consideraciones geométricas previas**

La imagen adyacente y la imagen similar en la siguiente sección muestran el enfoque geométrico que usó Arquitas para describir la curva que encontró con la ayuda de dos medias proporcionales. La figura incluye dos triángulos rectángulos semejantes entre sí $AD'K$ y $AIM$ de acuerco con el teorema de Tales. El semicírculo perpendicular a la base del semicilindro y giratorio alrededor del punto $A$ - con las dos proporciones intermedias $x$ e $y$ - tiene el diámetro ${\overline {AD'}},$ y el diámetro del semicilindro (véase la curva de la imagen) es ${\overline {AD}}.$

Con los valores insertados de (1) y (2), según Hipócrates de Quíos se aplica lo siguiente:

    (3) ${\overline {AM}}={\overline {AB}}=a;\;\;{\overline {AD}}={\overline {AD'}}=b$
    (4) ${\overline {AI}}=x;\;\;{\overline {AK}}=y$

Imponiendo las siguientes condiciones de paso:

    (5) ${\overline {AD'}}:{\overline {AM}}=b:a=2:1$
    (6) ${\overline {AD'}}:{\overline {AK}}={\overline {AI}}:{\overline {AM}}={\overline {AK}}:{\overline {AI}}=y:x={\sqrt[{3}]{2}}$

**Construcción de la arista del cubo duplicado**

Para generar una representación gráfica, como en la imagen adyacente, se requiere utilizar un programa de geometría dinámica.

Se comienza dibujando el círculo unitario con diámetro ${\overline {AD}}=b=2$. El radio subsiguiente $a=1$ alrededor de $A$ corta el círculo en $B.$ A continuación, se traza una tangente a $D$ y la extensión de la línea ${\overline {AB}};$ se cruza en $P.$ Las paralela a ${\overline {DP}}$ por $B$ corta el diámetro ${\overline {AD}}$ en $E$ y la circunferencia en $Z.$

A continuación, se dibuja un arco circular corto alrededor de $A$ con el radio ${\overline {AD}}$ y se define el punto $D'$ con una posición de libre elección. Después de conectar el punto $A$ con $D'$, esto da como resultado los puntos de intersección $T$ en ${\overline {BZ}}$ y $I$ en el semicírculo $ADB.$ A continuación, se traza un semicírculo sobre ${\overline {AD'}}$ y una perpendicular a ${\overline {AD'}}$ en $I,$ dando como resultado el punto de intersección $K$ en la semicircunferencia sobre ${\overline {AD'.}}$ El siguiente semicírculo sobre ${\overline {BZ}}$ y una perpendicular a ${\overline {BZ}}$ en $T$ da como resultado la intersección $M$ en la semicircunferencia sobre ${\overline {BZ}}.$ A continuación se muestra la construcción del semicilindro (altura aproximada de 2,5) sobre el semicírculo $ADB$.

Se continúa con el trazado de un arco alrededor del punto $D$ con el radio ${\overline {DP}};$ que interseca en $P''$ la prolongación del borde del semicilindro, que conduce a $D$. Ahora el punto $P''$ está conectado con $A$. Una línea recta trazada desde $A$ a través del punto $M$ al arco $DPP''$ da como resultado la intersección $P'.$ La conexión $P'$ con $D$ crea el triángulo $ADP$ que es congruente con el triángulo $ADP'.$. Esto es posible porque la semicircunferencia sobre ${\overline {BZ}}$ y el cuarto de círculo $DPP''$ son paralelos entre sí. Si se observan los dos triángulos $ADP$ y $ADP''$ congruentes entre sí, así como el arco $DPP''$ alrededor de $D,$, puede verse el cuarto de cono con su altura ${\overline {DA}}$. Después de conectar los puntos $M$ con $I$ y $K$ con $D'$, finalmente se obtienen los dos triángulos rectángulos $TIM$ e $ID'K.$

La semicircunferencia sobre ${\overline {AD'}}$ - la intersección con un toro de revolución sin orificio (no dibujado) - ahora debe rotarse en sentido antihorario alrededor del punto $A$ hasta la hipotenusa ${\overline {AP'}}$ del triángulo $ADP'$, que también gira en el sentido de las agujas del reloj, corta el semicírculo sobre ${\overline {AD'}}$ en $K$. Cabe señalar que las líneas rectas ${\overline {MT}}$ y ${\overline {BZ}}$ son perpendiculares entre sí. Según el teorema de la media geométrica de Euclides, esto da como resultado

    ${\overline {MT}}^{2}={\overline {ZT}}\cdot {\overline {TB}}={\overline {AT}}\cdot {\overline {TI}}.$

De ${\overline {MT}}^{2}={\overline {AT}}\cdot {\overline {TI}}$ se deduce que el ángulo $\angle {AMI}$ en esta posición es igual a $90^{\circ }$. Por lo tanto, los cuatro triángulos $AKD'$, $TIM$ y $ATM$, así como $AIM$, son semejantes entre sí. El segmento ${\overline {AI}}$ ajustado de esta manera corresponde a la longitud de la arista buscada $x={\sqrt[{3}]{2}}$ del cubo duplicado.

El punto $K$ en el triángulo $AD'K$ determina la curva de Archytas (roja) en la superficie del medio cilindro durante la rotación del semicírculo a través de ${\overline {AD'}}$.

* Para determinar el punto de intersección exacto (el punto $K$ se encuentra con la hipotenusa ${\overline {AP'}}$ del triángulo $ADP'$) de la rotación animada del semicírculo sobre ${\overline {AD'}}$, la distancia ${\overline {AI}}={\sqrt[{3}]{2}}$ se determina utilizando el software de geometría dinámica GeoGebra.

### Con la ayuda de cónicas

Menecmo resolvió el problema relacionado con la construcción de las dos proporciones medias requeridas como la intersección de dos secciones cónicas (basándose en la transformación del problema de Hipócrates).

El matemático Johann Sturm dio una demostración detallada de esta construcción.

Soluciones de Menecmo

Menecmo fue alumno de Eudoxo. Vivió a mediados del IV a. C., y halló dos soluciones diferentes al problema de la duplicación del cubo.

Primera solución

Usando la notación moderna de la geometría analítica, la solución se obtiene fácilmente como la intersección de dos parábolas.

Considérense dos parábolas de ecuaciones:

    $y^{2}=2ax$

y

    $x^{2}=ay$

De su intersección se obtiene

    $x^{4}=a^{2}y^{2}=2a^{3}x$

por lo tanto, descartando la solución $x=0,$ se tiene que

    $x^{3}=2a^{3}$

y por lo tanto

    $x=a{\sqrt[{3}]{2}}.$

Al intersecar las dos parábolas se obtiene así un punto cuya abscisa es el lado del cubo con un volumen que duplica el volumen del cubo dado.

Segunda solución

Usando la notación moderna, la segunda solución se obtiene como la intersección de una parábola y de una hipérbola. Considérese la parábola y la hipérbola, respectivamente, de ecuaciones:

    $y^{2}={\frac {a}{2}}x$
    $xy=a^{2}$

De su intersección, se obtiene

    $x^{3}=2a^{3}$

y por lo tanto

    $x=a{\sqrt[{3}]{2}}.$

La intersección de la parábola y de la hipérbola genera un punto cuya abscisa es el lado del cubo con el doble de volumen del cubo dado.

### Con la ayuda de cisoides

Tanto la concoide de Nicomedes como la cisoide de Diocles permiten realizar construcciones con las que es posible determinar gráficamente la duplicación del cubo.

| Duplicación del cubo mediante la concoide de Nicomedes | Duplicación del cubo mediante la cisoide de Diocles |
| - | - |

## Construcción iterativa de ${\sqrt[{3}]{2}}$

Por las razones ya descritas anteriormente, el resultado de la raíz cúbica de $2$ no se puede determinar exactamente con un compás y una regla con un número finito de pasos de construcción.

El método de Newton proporciona una forma de realizar muy buenas aproximaciones. A continuación se utiliza para obtener la raíz real de la función

    $f(x)=x^{3}-2$

como una aproximación mediante unos pocos pasos de iteración.

$x_{0}=1$ se puede utilizar como valor inicial. Los pasos de iteración del algoritmo se definen a partir de

    $x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}}=x_{n}-{\frac {x_{n}^{3}-2}{3\ x_{n}^{2}}}={\frac {2\ x_{n}^{3}+2}{3\ x_{n}^{2}}}$

Debido a que la expresión para $x_{n+1}$ solo contiene operaciones aritméticas básicas, el resultado de cada paso de la iteración se puede construir como una construcción con regla y compás.

### Cálculo de los pasos de iteración

En la fórmula

    $x_{n+1}={\frac {2\ x_{n}^{3}+2}{3\ x_{n}^{2}}}$

el término en el lado derecho de la ecuación proporciona el resultado del n-ésimo paso de iteración. Un paso de iteración se compone de seis operaciones algebraicas básicas (considerando que para calcular $x^{2}$ y $x^{3}$ bastan dos multiplicaciones: primero [x·x], y luego [x·x]·x), de las que cinco corresponden al numerador y una al denominador de una fracción impropia.

    $x_{n}^{2},\ 3\ x_{n}^{2},\ x_{n}^{3},\ 2\ x_{n}^{3},\ 2\ x_{n}^{3}+2\;\Rightarrow \;\;{\frac {2\ x_{n}^{3}+2}{3\ x_{n}^{2}}}=x_{n+1}$

Primer paso de iteración $x_{1}$, para $n=0$ se tienen cinco operaciones, que tomando $x_{n}=x_{0}=1$ para $x_{0}^{2},$ genera:

    $x_{0}^{2}=1,\ 3\ x_{0}^{2}=3,\ x_{0}^{3}=1,\ 2\ x_{0}^{3}=2,\ 2\ x_{0}^{3}+2=4\;\;\Rightarrow$
    $x_{1}={\frac {2\ x_{0}^{3}+2}{3\ x_{0}^{2}}}={\frac {4}{3}}$

Segundo paso de iteración $x_{2}$, para $n=1,$ se tienen cinco operaciones, que tomando $x_{n}=x_{1}={\frac {4}{3}}$ obtenido del paso anterior para $x_{1}^{2},$ genera:

    $x_{1}^{2}={\tfrac {16}{9}},\ 3\ x_{1}^{2}={\tfrac {16}{3}},\ x_{1}^{3}={\tfrac {64}{27}},\ 2\ x_{1}^{3}={\tfrac {128}{27}},\ 2\ x_{1}^{3}+2={\tfrac {182}{27}}\;\;\Rightarrow$
    $x_{2}={\frac {2\ x_{1}^{3}+2}{3\ x_{1}^{2}}}={\tfrac {\tfrac {182}{27}}{\tfrac {16}{3}}}$

3.er paso de iteración $x_{3}$, para $n=2,$ también se tienen cinco operaciones, que tomando $x_{n}=x_{2}={\tfrac {91}{72}}$ obtenido del paso anterior para $x_{2}^{2},$ genera:

    $x_{3}={\frac {2\ x_{2}^{3}+2}{3\ x_{2}^{2}}}={\frac {1126819}{894348}}=1{,}2599334934\ldots$

Este proceso puede repetirse tantas veces como se desee. Posee un orden de convergencia cuadrático, que hace que el procedimiento sea bastante eficiente.

### Construcción gráfica

Después de solo dos pasos de iteración, la eficiencia de la aplicación del método de Newton es claramente reconocible, el valor aproximado alcanzado hasta ese punto es $x_{2}=1{,}263{\overline {8}}.$ Un tercer paso de iteración permite aproximar todavía más el valor buscado calculando $x_{3}$.

Primero, la fracción ${\tfrac {91}{72}}$ para trabajar en una unidad manejable, como centímetros, se escala en el cociente decimal ${\tfrac {9{,}1}{7{,}2}}$ (aunque se podría trabajar directamente en milímetros) y luego se marca su cociente exacto $x_{2}$ en un eje de coordenadas (Fig. 1). Para este propósito, por ejemplo, se puede utilizar el teorema de Tales. Debido a las proporciones tan diferentes entre las distintas cantidades, es conveniente mostrar este proceso en su propia imagen.

En el siguiente paso, la longitud $x_{2}$ (rojo) de la Figura 1 se transfiere a la Figura 2 (verde, número 2). Luego se determinan el cuadrado (número 3) y el número cúbico (número 4) de $x_{2}.$ En el quinto paso, el número cúbico de $x_{2}$ se multiplica por el factor $2$ y se suma el número $2$. Finalmente (número 6) se determina el cociente $x_{3}$ (rojo):

    $x_{3}={\frac {2\ x_{2}^{3}+2}{3\ x_{2}^{2}}}={\frac {1126819}{894348}}=1{,}259933493\ldots$

**Ejemplo para mostrar el error cometido**


    ${\begin{alignedat}{2}{\text{Longitud construida }}\qquad x_{3}&=&&1{,}259933\dots \\-{\text{Solución exacta }}\qquad -{\sqrt[{3}]{2}}&=-&&1{,}259921\dots \\\hline {\text{Error absoluto }}\qquad F&=&&0{,}000012\dots \\\end{alignedat}}$

En el caso de un cubo inicial con una longitud de arista de $100$ m, la arista del cubo unidad aproximadamente duplicado sería del orden de $1{,}2$ mm demasiado larga.

## En teoría musical

En la teoría musical, un análogo natural de la duplicación es el salto de un tono en una octava, es decir, el intervalo musical que se crea al duplicar la frecuencia del tono. Un análogo natural de un cubo (con volumen 2) es la división de la octava en tres partes, cada una con el mismo intervalo; esto representa las tres aristas iguales del cubo. En este sentido, el problema de doblar el cubo lo resuelve el temperamento igual mediante una tercera, un intervalo musical que es exactamente un tercio de una octava y que multiplica la frecuencia de un tono por $({\sqrt[{12}]{2}})^{4}={\sqrt[{3}]{2}}$, es decir, exactamente por la longitud del lado del cubo duplicado.

La imagen del lateral muestra la tercera mayor C-E. La relación de las frecuencias de los dos tonos (E:C) corresponde exactamente a ${\sqrt[{3}]{2}}$.

