La Torre de Hanoi y el fin del mundo

 La Torre de Hanói

Portada de la publicación original de Lucas

"En el gran templo de Benares, bajo la cúpula que marca el centro del mundo, se encuentran tres agujas de diamante. En una de ellas, en el momento de la creación, Dios colocó sesenta y cuatro discos de oro puro, el mayor abajo y los demás decreciendo hasta la cima. Es la Torre de Brahma.

Los monjes se turnan día y noche para trasladar la columna de la primera aguja de diamante a la tercera, siguiendo las reglas inmutables de Brahma: el monje no debe mover más de un disco a la vez, y solo puede colocar un disco en una aguja libre o sobre un disco de mayor tamaño.

Cuando los sesenta y cuatro discos hayan sido trasladados, el templo, los brahmanes y el universo entero desaparecerán en un instante." 

A diferencia de lo que sugiere su nombre, la Torre de Hanói no proviene de Vietnam. Fue inventada por el matemático francés Édouard Lucas en 1883 y lo comercializó bajo el seudónimo de "N. Claus de Siam" (un anagrama de Lucas d'Amiens). 

Obviamente, Hanói es la capital de Vietnam, mientras que Benares (Varanasi) está en el corazón de la India. Esa discrepancia geográfica es, precisamente, parte del "caos" creativo que Lucas provocó a propósito. El enunciado original  mezcla nombres y lugares sin mucho rigor geográfico, buscando simplemente un efecto exótico y místico que fascinara al público europeo de la época.   El nombre "Torre de Hanói" sonaba más moderno y comercial, mientras que la leyenda de Benares le daba el toque religioso y antiguo. 

La Realidad Matemática es que, como demostraremos más adelante, el número mínimo de movimientos necesarios para resolver una torre de \(64\) asciende a: $$2^{64} - 1= 18\;\;446\,744\,073\;\;709\,551\,615 \quad \text{movimientos}.$$ Si los monjes movieran un disco por segundo, sin equivocarse jamás, tardarían aproximadamente 585 mil millones de años en terminar. Teniendo en cuenta que nuestro Sol se apagará en unos 5 mil millones de años, estamos bastante seguros.

El Inventor detrás del mito

François Édouard Anatole Lucas (1842–1891), fue un brillante matemático francés, nacido en Amiens, cuya carrera osciló entre la rigurosidad académica y la pasión por la divulgación lúdica. Formado en la prestigiosa École Normale Supérieure, trabajó inicialmente como astrónomo en el Observatorio de París bajo la dirección de Urbain Le Verrier. Sin embargo, su mayor legado no estuvo en las estrellas, sino en la teoría de números y el desarrollo de métodos para identificar números primos, siendo su logro más famoso el test de Lucas-Lehmer.

A pesar de su capacidad para el análisis profundo, Lucas creía que las matemáticas debían ser accesibles y entretenidas. Fue un pionero de las "matemáticas recreativas", publicando una serie de volúmenes titulados Récréations mathématiques, donde exploraba juegos y acertijos que hoy son fundamentales en la enseñanza de la computación.

En el ámbito puramente teórico, su nombre quedó inmortalizado a través de las Sucesiones de Lucas, íntimamente relacionadas con la serie de Fibonacci. Estudió las propiedades de estos números y su aplicación en la primalidad, logrando demostrar en 1876 que el número de Mersenne $$M_{127} = 2^{127} - 1$$ es primo. Este récord de cálculo manual se mantuvo imbatible durante décadas, consolidando su reputación como uno de los teóricos más potentes de su siglo.

Su muerte fue tan inusual como algunos de sus acertijos. Durante un banquete en un congreso científico en Marsella, un camarero dejó caer un plato de porcelana; un fragmento cortó la mejilla de Lucas, provocándole una septicemia que terminó con su vida a los 49 años. Irónicamente, el hombre que calculó el tiempo necesario para el fin del mundo a través de sus discos de oro, no llegó a ver el siglo XX, dejando un vacío en la comunidad científica francesa.  

Ejemplo con tres discos

 

\(2^3-1=7\) movimientos.

El número mínimo de movimientos para una torre de \(n\) discos es \(M(n)=2^{n} - 1\)

 

La demostración la realizaremos por inducción completa.

Inicio de inducción. Si \(n=1\) el puzle se resuelve en \(M(1)=2^1-1=1\) paso.

Relación de inducción. Supongamos que para \(n=k\), donde \(k\) es un número natural. el puzle se resuelve en \(M(k)=2^k-1\) pasos, es decir:

 

 

Entonces para \(n=k+1\) el puzle se resuelve en \(M(k+1)=2^{k+1}-1= (2^{k}-1)+(1)+(2^{k}-1)\) pasos, en efecto:

Luego el enunciado es cierto para \(n=k+1\) y por el principio de inducción queda demostrado para todo \(n\) natural. 

 

La trascendencia de la Torre de Hanói

La pagoda de Tran Quoc en Hanói,
 que inspiró la torre de discos

La Torre de Hanói ha trascendido su origen como un simplepuzle del siglo XIX para convertirse en una de las herramientas pedagógicas más potentes de la ciencia moderna. Su importancia fundamental radica en ser el ejemplo sinificativo para ilustrar la recursividad, un concepto clave en informática donde un problema complejo se resuelve dividiéndolo en subproblemas más simples. En lugar de intentar mover todos los discos a la vez, el algoritmo enseña que para mover \(n\) discos, primero debemos saber cómo mover \(n - 1\), reduciendo la tarea a una serie de pasos lógicos e infalibles. En resumen, un ejemplo ilustrativo de. método de demostración matemática conocido como inducción completa

En el ámbito de la algoritmia, este puzle es esencial para comprender la complejidad exponencial. El número mínimo de movimientos necesarios para resolver una torre de $n$ discos se define mediante la función: \(M(n) = 2^n - 1\).

Esta fórmula demuestra visualmente cómo un pequeño incremento en los datos de entrada (añadir un solo disco) duplica el tiempo de procesamiento requerido. Es una lección vital para los ingenieros de software sobre los límites del cálculo y la necesidad de optimizar algoritmos antes de que el crecimiento de los datos los vuelva inmanejables para cualquier computadora actual.

Más allá del código, la Torre de Hanói tiene aplicaciones cruciales en la psicología cognitiva y la neurociencia. Se utiliza frecuentemente en pruebas de evaluación neuropsicológica (como la "Torre de Londres") para medir las funciones ejecutivas del cerebro, específicamente la capacidad de planificación, la memoria de trabajo y la resolución de problemas. Resolver el puzle exige que el sujeto anticipe movimientos futuros y mantenga reglas estrictas en su mente, lo que lo convierte en un diagnóstico perfecto para analizar el rendimiento de la corteza prefrontal humana.

 

---

Pappus de Alejandría y su Colección Matemática

Pappus vivió y enseñó en Alejandría, Egipto, aproximadamente durante la primera mitad del siglo IV d.C. (alrededor del año 320 d.C.). Se le considera el último gran matemático de la escuela alejandrina antes de que la ciudad perdiera su hegemonía cultural.

Más que un investigador, Pappus fue un maestro. Gran parte de lo que sabemos de él sugiere que escribía para sus estudiantes. Sus textos no solo daban soluciones, sino que ofrecían guías paso a paso, comentarios y críticas a las obras de otros matemáticos.

A diferencia de sus predecesores como Euclides o Arquímedes, Pappus no vivía en una era de expansión científica, sino en una de preservación. Su misión principal fue rescatar y explicar los tesoros del pasado para que no cayeran en el olvido. Su  vida fue es un puente fascinante entre la edad de oro de la geometría griega y el declive del conocimiento clásico. Aunque es más recordado por su labor de síntesis, su figura representa la resistencia del intelecto en una época de grandes cambios. 

Para entender a Pappus, hay que imaginar la Alejandría de su tiempo:

• Crisol de culturas: Una ciudad donde convivían tradiciones griegas, egipcias y una creciente influencia romana y cristiana.
• El Faro y la Biblioteca: Aunque la Gran Biblioteca ya había sufrido daños, Alejandría seguía siendo el centro del saber. Pappus habría caminado por las mismas calles donde se alzaba el Faro de Alejandría (una de las maravillas del mundo antiguo), el cual seguramente servía de inspiración visual para sus estudios sobre mecánica y óptica.
• Inestabilidad religiosa: Le tocó vivir un periodo de tensiones entre el paganismo (al que pertenecía la tradición matemática griega) y el cristianismo ascendente, lo que hacía que la labor académica fuera un refugio de orden en medio del caos.

 

 Principales Logros Matemáticos de Pappus

1.  El Teorema del Hexágono de Pappus. Pappus sentó las bases de la geometría proyectiva. Su teorema establece que si tenemos dos rectas y en cada una de ellas tres puntos \( A, B, C \) y \( A', B', C' \), las intersecciones de las líneas cruzadas se encuentran alineadas. Si \( P = AB' \cap A'B \), \( Q = AC' \cap A'C \) y \( R = BC' \cap B'C \), entonces los puntos \( P, Q, R \) son colineales. 
2. Primer teorema de Pappus. El área $A$, de una superficie de revolución generada mediante la rotación de una curva plana $C$ alrededor de un eje externo a $C$ sobre el mismo plano, es igual a la longitud de $C, \sigma$, multiplicada por la distancia, $\delta$, recorrida por su centroide en una rotación completa alrededor de dicho eje.
   -
3. Segundo teorema de Pappus. El volumen, $V$, de un sólido de revolución generado mediante la rotación de un área plana alrededor de un eje externo, es igual al producto del área, $A$, por la distancia, $\delta$ recorrida por su centroide en una rotación completa alrededor del eje.
   
   
4. El Problema de las \( n \) Líneas. Este desafío fue el motor que impulsó a Descartes a crear la geometría analítica. Pappus buscaba el lugar geométrico de puntos tales que las distancias \( d_i \) a varias rectas cumplieran una relación específica: \(\frac{d_1 \cdot d_2}{d_3 \cdot d_4} = \text{constante}\)
   
   
   
   
   
5. La Optimización de las Abejas. Pappus aplicó la geometría a la naturaleza, demostrando que el hexágono es la forma más eficiente para almacenar miel.Matemáticamente, demostró que para un perímetro dado \( L \), el área del hexágono \( A_h \) es mayor que la del cuadrado \( A_c \) o el triángulo \( A_t \): \(A_{\text{hexágono}} > A_{\text{cuadrado}} > A_{\text{triángulo}}.\)
6. Clasificación de Problemas. Ordenó los problemas matemáticos en tres niveles de complejidad según las herramientas necesarias:
• Planos: Solo regla y compás.
• Sólidos: Secciones cónicas (parábola, elipse, hipérbola).
• Lineales: Curvas complejas como la cuadratriz o la espiral de Arquímedes.

 Pappus además de las matemáticas se intereso por:

• Geografía: Escribió comentarios sobre la descripción del mundo conocido.
• Astronomía: Comentó obras de Ptolomeo, tratando de entender el movimiento de los astros.
• Música y Mecánica: Se interesó por cómo las leyes matemáticas rigen los sonidos y las máquinas simples.

 

 Colección Matemática

Su obra maestra fue Colección Matemática. Formada por ocho tomos, es una recopilación de las obras de los clásicos a las que anexó sus propios trabajos. Fuente principal de lo que sabemos de algunas de las contribuciones de Arquímedes, Euclides y Apolonio, entre otros.

 Tomos I y II  Aritmética y Números Grandes. El Tomo I se ha perdido. El Tomo II sobrevive parcialmente y se enfoca en:

• El sistema de Apolonio de Perge para multiplicar números extremadamente grandes.
• Uso de "míriadas" (potencias de 10,000) para cálculos complejos.

Tomo III Problemas Geométrico.

• Búsqueda de las dos medias proporcionales entre dos líneas.
• Inscripción de los cinco poliedros regulares en una esfera.
• Clasificación de problemas en: planos, sólidos y lineales.

Tomo IV  Curvas Especiales. Estudio de curvas que van más allá del círculo y la línea recta:

• La Cuadratriz de Hipias para la trisección del ángulo.
• La Espiral de Arquímedes y sus propiedades mecánicas.

Tomo V  Isoperimetría y la Inteligencia de las Abeja. Uno de los libros más curiosos y poéticos:

• Demostración de que el círculo es la figura con mayor área para un perímetro dado.
• Análisis de por qué las abejas usan hexágonos para ahorrar cera y maximizar espacio.

Tomo VI Astronomía Geométrica

• Comentarios sobre la obra de autores clásicos como Teodosio y Autólico.
• Geometría aplicada a la esfera celeste, distancias solares y lunares.

Tomo VII  El Tesoro del Análisis. Considerado el más valioso históricamente:

• Introducción al método de análisis y síntesis.
• El Problema de Pappus, clave para el futuro desarrollo de la geometría analítica de Descartes.
• Enunciado de los teoremas de área y volumen de revolución.
• Gracias a los comentarios en este tomo, conocemos la existencia y el contenido de muchas obras perdidas de Euclides y Apolonio, ya que él se encargó de resumir sus teoremas principales. 

Tomo VIII Mecánica.

• Teoría matemática del centro de gravedad.
• Principios de máquinas simples: palanca, polea, tornillo y cuña.
• Aplicación práctica de la geometría a la ingeniería.

 Pappus murió dejando un vacío que tardaría siglos en llenarse. Tras él, figuras como Teón de Alejandría y su hija Hipatia continuaron la antorcha, pero la profundidad de análisis que Pappus alcanzó marcó el fin de una era. Su historia es la de un hombre que, viendo que el sol se ponía sobre su civilización, decidió encender todas las lámparas posibles para que el conocimiento no se perdiera en la oscuridad. 

---