La Inducción completa o el efecto dominó en las matemáticas

La historia de la inducción matemática o inducción completa es la evolución de una intuición lógica —análoga al efecto dominó— hasta convertirse en una de las herramientas de demostración más rigurosas de la ciencia. Aunque el nombre sugiere una inferencia «inductiva», en realidad es un razonamiento deductivo que permite demostrar proposiciones para infinitos números enteros.

En su estructura moderna, el principio se basa en dos pasos fundamentales para demostrar que una propiedad \( \mathcal{P}(n) \) es cierta para todo número natural \( n \):

1. Caso base o inicio de inducción: Probar que la afirmación es verdadera para el primer valor (habitualmente \( n=0 \) o \( n=1 \)).
2. Paso inductivo o relación de inducción: Asumir que la afirmación es cierta para un número \( n=k \) arbitrario (Hipótesis de inducción) y demostrar que, bajo esa suposición, la afirmación también debe ser cierta para \( n=k+1 \) (Tesis de inducción o tesis inductiva).

Ejemplos

1.- Un ejemplo gráfico de aplicación de este principio, el lector lo puede encontrar en la entrada de este blog llamada La Torre de Hanoi y el fin del mundo.

 
 

2.- El problema del cocinero perezoso (también conocido como el problema de las líneas en el plano o los números perezosos del pastelero) plantea lo siguiente: 

\(\mathcal{P}(n)\): El número máximo de trozos en los que se puede cortar una tortilla de patatas (pizza o pastel) mediante \(n\) cortes rectos es \( T(n) =\frac{n(n+1)}{2}+1\).

 La siguiente imagen nos muestra lo que sucede al experimentar con los primeros cortes:

Inicio de inducción. Para \( n=0 \) se tiene que \( T(0) =1\) lo que coincide con toda la tortilla cuando no se ha realizado ningún corte.

Relación de inducción. 

• Asumimos que la fórmula es correcta para un número arbitrario de cortes \( k \ge 0 \). Es decir, suponemos cierto que: \( T(k) = \frac{k(k + 1)}{2} + 1\) (Hipótesis Inductiva).
•  Debemos demostrar que, al añadir el corte número \( k + 1 \), el total de piezas \( p_{k+1} \) cumple la misma fórmula sustituyendo \( n \) por \( k + 1 \). Es decir, \( T(k+1) = \frac{(k + 1)(k + 2)}{2} + 1 \).

  Notemos que, al realizar el corte número \(k + 1\), para maximizar el número de trozos, la nueva recta debe cruzar a las \(k \) rectas anteriores en puntos distintos. Por tanto, al cortar $k$ rectas, la nueva línea recta queda dividida en \(k + 1\) segmentos (los tramos interiores entre cruces más los dos extremos). Cada uno de esos \(k + 1\) segmentos atraviesa una trozo existente y la divide en dos partes, añadiendo exactamente 1 trozo nuevo por segmento. Por lo tanto, la relación de recurrencia es: \( T(k+1) = T(k) + k+1 \).

  Utilizando la hipótesis inductiva en la relación de recurrencia anterior se tiene que: \[T(k+1) = T(k) + k+1= \frac{k(k + 1)}{2}+k+2= \frac{k(k + 1)+2(k+1)}{2}+1=\frac{(k + 1)(k + 2)}{2} + 1, \] tal como debíamos demostrar.

3.- Caso base o inicio de inducción es necesario. Si suprimimos el caso base o inicio de inducción podemos llegar a conclusiones erróneas, como en el siguiente ejemplo:

Queremos probar la proposición \( \mathcal{P}(n) \), la cual afirma que \( n = n + 1 \) para todo número natural \( n \).

Si suprimimos el caso base, por hipótesis de inducción tenemos que para \( n=k \) se cumple que \( k=k+1 \). Entonces debemos demostrar que \( \mathcal{P}(k+1) \) es cierta. Sumamos \( 1 \) a ambos lados de la igualdad de la hipótesis y obtenemos \( k + 1 = (k + 1) + 1 \). Dado que hemos llegado exactamente a la estructura \( \mathcal{P}(k+1) \), el paso inductivo es algebraicamente irreprochable: si la propiedad se cumpliera para \( k \), obligatoriamente se cumpliría para \( k+1 \). Pero no hemos comprobado un caso base (\( n = 1 \)) y, obviamente, si intentamos verificar si \( 1 = 1 + 1 \), vemos que \( 1 = 2 \) es totalmente falso.

4.- La relación de inducción es necesaria. La inducción incompleta (o inducción empírica) es un tipo de razonamiento inductivo en el cual se extrae una conclusión general a partir de la observación empírica de solo una muestra de casos donde se cumple la propiedad \( \mathcal{P}(n) \). Si queremos probar que dicha propiedad se cumple para todo número natural \( n \) y obviamos el paso inductivo, podemos llegar a una conclusión errónea, como en el siguiente ejemplo debido al célebre matemático suizo Leonhard Euler:

Al evaluar el polinomio \( p(n) = n^2 + n + 41 \) para los primeros 40 enteros no negativos (\( 0 \le n \le 39 \)), obtenemos: \( p(0) = 41 \), \( p(1) = 43 \), \( p(2) = 47 \), \( p(3) = 53 \), \( \dots \), \( p(39) = 1601 \). Mediante esta observación empírica, en todos los 40 casos observados \( p(n) \) es un número primo, y esto pudiera llevarnos a afirmar que para todo número natural \( n \), el valor \( p(n) \) es un número primo. Sin embargo, al no haber realizado la demostración formal mediante el paso inductivo, la afirmación falla para \( n = 40 \), ya que \( p(40) = 1681 = 41^2 \), es decir, \( p(40) \) no es un número primo.

Destaquemos que los dos últimos ejemplos muestran que no podemos prescindir de niguno de los dos pasos con los que consta el principio de inducción, ambos son necesarios. 

 Antecedentes

El primer ejemplo, debidamente documentado, de aplicación implícita del principio de inducción lo encontramos en el Libro IX de los Elementos de Euclides que data del Siglo IV a.C.(en particular, en la famosa Proposición 20), Euclides demostró que hay más números primos que cualquier cantidad dada de números primos (lo que hoy resumimos como «existen infinitos números primos»).

Aunque no utilizó la inducción matemática formal, ni la notación algebraica moderna —ya que las matemáticas griegas eran fundamentalmente geométricas y visuales—, su razonamiento sigue una estructura recursiva e implícita paso a paso que anticipó el pensamiento inductivo.Euclides no intentó demostrar la infinitud hablando del «infinito» directamente (un concepto que los griegos evitaban), sino que demostró un procedimiento que siempre puede dar un paso más.

El razonamiento de Euclides, en versión moderna, es como a continuación:

1. Supongamos que existen \(n\) números  primos, donde \(n \in \mathbf{N}\) es fijo. Denotemos dicha lista de números pr1mos como \(\{p_1,p_2, \dots,p_n\}\).
2. Ahora construyamos el número \(p_*=1+\prod_{k=1}^n p_k\). Notemos que \(p_*\) no es divisible por ninguno de los número primos que se encuentran en la lista, por tanto \(p_*\) es un número primo diferente de todos los que aparecen en la lista, lo que contradice nuestro supuesto de que solo existían \(n\) número primos.

En resumen, la demostración de Euclides se considera un antecesor del principio de inducción debido a que:

•  Es un algoritmo constructivo: Euclides no solo afirma que existe otro primo, sino que muestra el mecanismo lógico exacto para encontrarlo a partir de cualquier lista dada.
• Carácter "Paso a Paso" (Mecanismo generador): El argumento demuestra que, dado cualquier número entero \(n\) de primos, siempre es posible generar al menos el primo \(n+1\). Al poder repetirse el proceso de manera indefinida, la lista nunca se agota.

Mucho más tarde, en el mundo islámico, el matemático Al-Karaji (aproximadamente por el año 1000) aplicó una forma primitiva de paso inductivo para demostrar la fórmula del binomio y la suma de cubos enteros. Lo que hizo Al-Karaji fue en lugar de demostrar una propiedad para un número general \(k\) y dar el salto al caso \(k+1\), utilizó un razonamiento escalonado: Demostraba la regla para \(n=1\), luego el caso \(n=2\) basándose en el resultado obtenido para \(n=1\)luego el caso \(n=3\) basándose en \(n=2\), y así sucesivamente para varios números (por ejemplo, hasta el 5 o 10). Al observar que el patrón se repetía de manera idéntica, añadía una frase que significaba "y así sucesivamente hasta el infinito", generalizando la regla.

En resumen, aunque le faltaba la formalización rigurosa que se logró siglos después con la abstracción algebraica moderna, Al-Karaji fue el primero en estructurar un argumento de naturaleza inductiva para demostrar patrones numéricos infinitos.

El camino hacia el rigor

•  Francesco Maurolico y la primera demostración explícita (1575). El sacerdote y matemático siciliano Francesco Maurolico publicó Arithmeticorum libri duo. En esta obra demostró explícitamente que la suma de los primeros \(n\) números impares es igual a \(n^2\), estableciendo primero el caso base y demostrando formalmente que si la propiedad se cumple para un número, se cumple para el siguiente.
• Blaise Pascal y el Triángulo Aritmético (1654). Pascal formalizó y popularizó el método en su Traité du triangle arithmétique. Pascal utilizó el principio explícitamente para demostrar las propiedades de los coeficientes binomiales, reconociendo el patrón dual: probar la verdad del primer caso y demostrar que la verdad de un caso implica la del siguiente.
• Adopción del nombre 'Inducción' en 1838. Aunque Jacob Bernoulli y De Moivre contribuyeron a su desarrollo en los siglos XVII y XVIII, fue Augustus De Morgan quien acuñó oficialmente el término "Mathematical Induction" en un artículo para la  Penny Cyclopaedia, dándole una identidad clara dentro del análisis matemático.
•  Axiomatización formal (1889). El matemático italiano Giuseppe Peano incluyó la inducción como uno de sus célebres Axiomas de Peano para construir los números naturales. A partir de este momento, la inducción dejó de ser solo una técnica de demostración para convertirse en la definición axiomática misma del conjunto de los números naturales.

 En definitiva, la inducción matemática es mucho más que un simple formalismo técnico: es el resultado de un fascinante viaje histórico que comenzó con los ingeniosos razonamientos iterativos de pioneros como Euclides y Al-Karaji y que, con el paso del tiempo, evolucionó hasta convertirse en uno de los pilares lógicos que hoy nos permiten tender un puente sólido entre lo particular y lo general, y pasar de lo finito a lo infinito numerable. Comprender su evolución nos recuerda que detrás de cada demostración rigurosa hay siglos de curiosidad, ingenio y esfuerzo humano. Y nos muestra que, con una base sólida y una regla clara, incluso aquello que parece inalcanzable puede llegar a demostrarse. 

---

 Lecturas complementarias. 

• La Torre de Hanoi y el fin del mundo.
• Elementos de Euclides.

---

Los tres problemas clásicos de los griegos

En la geometría de la antigua Grecia surgieron tres problemas que marcaron el desarrollo de las matemáticas durante más de dos mil años: la duplicación del cubo, la trisección del ángulo y la cuadratura del círculo. Estos problemas se planteaban dentro del marco de la geometría euclidiana y debían resolverse únicamente mediante construcciones geométricas con regla y compás. A pesar de su formulación simple, demostraron ser extraordinariamente difíciles y motivaron numerosos avances en geometría, álgebra y teoría de números.

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

Resolver un problema con regla y compás significa obtener la solución mediante un número finito de construcciones geométricas usando únicamente dos instrumentos ideales: una regla no graduada y un compás. Con la regla se pueden trazar rectas que pasan por dos puntos dados, mientras que con el compás se pueden trazar circunferencias con centro en un punto conocido y radio igual a la distancia entre dos puntos previamente construidos.

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

Aunque Platón no fue un matemático en sentido estricto, su pensamiento tuvo una profunda influencia en el desarrollo de la geometría griega. En particular, promovió la idea de que los problemas geométricos debían resolverse únicamente mediante dos instrumentos ideales: la regla (sin marcas) y el compás. Esta restricción respondía a una concepción filosófica de la matemática basada en dos principios:

• 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

A diferencia de la duplicación del cubo, este reto no surgió de un oráculo, sino del deseo de los sofistas por demostrar su superioridad intelectual y resolver problemas prácticos de arquitectura y astronomía.

"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

Este problema, considerado durante siglos el "Santo Grial" de la geometría clásica, consiste en el desafío de construir un cuadrado cuya área sea exactamente igual a la de un círculo dado. Para lograrlo, es necesario realizar la "rectificación" de la circunferencia, es decir, transformar su longitud curva en un segmento de línea recta equivalente utilizando únicamente una regla y un compás.

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:  

• Lúnulas de Hipócrates.
• "Sobre Espirales" de Arquímedes y el cálculo de tangentes.

---

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.

 

---

Diez cuadrados mágicos notables

El Universo de los Cuadrados Mágicos

Un cuadrado mágico es una disposición de números enteros distintos en una cuadrícula de tamaño \(n \times n\), donde la suma de los números en cada fila, cada columna y ambas diagonales principales es constante. A esta suma característica se le denomina constante mágica (\(M\)). En un cuadrado mágico "normal", se utilizan los números enteros consecutivos desde \(1\) hasta \(n^2\). La fórmula general para determinar el valor de la constante mágica en función del orden \(n\) del cuadrado es:

\[ M = \frac{n(n^2 + 1)}{2} \]

Existen diversos métodos algorítmicos para construir estos cuadrados dependiendo de si su orden \(n\) es impar, par o doblemente par. Para los cuadrados de orden impar (como \(3 \times 3\) o \(5 \times 5\)), uno de los procedimientos más conocidos es el Método de Loubère o siamés, que consiste en colocar el número 1 en la casilla central de la primera fila y avanzar de forma diagonal hacia arriba y a la derecha, "envolviendo" el cuadrado cuando se sale de los bordes. Para los cuadrados de orden par, se suelen utilizar métodos de inversión simétrica o el intercambio de elementos en matrices base previamente numeradas de forma secuencial.

Más allá de su misticismo histórico, la importancia de los cuadrados mágicos para las matemáticas modernas es profunda. Representan un campo de estudio fundamental en la combinatoria y la teoría de números, sirviendo como precursores de las matrices modernas y los cuadrados latinos. Su análisis ha permitido avances en el diseño de experimentos estadísticos, la criptografía y la programación lógica. Además, el estudio de sus propiedades de simetría y permutación ha ayudado a los matemáticos a comprender mejor las estructuras algebraicas complejas y los sistemas de ecuaciones lineales con múltiples restricciones.

A continuación enumeramos los 10 "cuadrados mágicos" notables: 

 

1. El Luo-Shu (China)

La historia del Luo-Shu (洛书) se remonta a la antigua China, aproximadamente al año 2200 a. C. Según la leyenda, durante una época de devastadoras inundaciones, el emperador Yu el Grande intentaba canalizar las aguas del río,  cuando emergió de las profundidades una tortuga divina. Lo que capturó la atención del emperador no fue el animal en sí, sino un patrón de puntos blancos y negros dispuestos en una cuadrícula de \(3 \times 3\) sobre su caparazón. Este diseño fue interpretado como un mapa del cosmos y se convirtió en la base de la numerología, la astrología y el diseño arquitectónico chino.

Matemáticamente, el Luo-Shu es el cuadrado mágico más antiguo conocido. Su estructura decimal se basa en la constante mágica de 15, cifra que se obtiene al sumar cualquier fila, columna o diagonal. En la filosofía oriental, el número 5 ocupa el centro representando la Tierra y el equilibrio, mientras que los números pares (Yin) se sitúan en las esquinas y los impares (Yang) en los costados. Esta disposición no solo es un prodigio aritmético, sino que también define el Bagua o mapa energético utilizado en el Feng Shui para armonizar los espacios.

Representación matemática del cuadrado \(3 \times 3\):

\[ L = \begin{bmatrix} 4 & 9 & 2 \\ 3 & 5 & 7 \\ 8 & 1 & 6 \end{bmatrix}, \quad  \text{donde la suma es: }\sum = 15.\]

A lo largo de los siglos, el Luo-Shu ha trascendido las matemáticas puras para influir en el I Ching (Libro de los Cambios) y en la planificación de ciudades imperiales. Su simetría perfecta fue vista por los antiguos sabios como una prueba de la armonía intrínseca del universo, donde los opuestos se equilibran perfectamente. Hoy en día, sigue siendo un objeto de estudio tanto para matemáticos interesados en la combinatoria como para practicantes de artes tradicionales chinas.

 

2. El Cuadrado de Durero (Alemania)

El cuadrado mágico de Alberto Durero es probablemente el más famoso en la historia del arte occidental. Aparece en su célebre grabado Melencolía I, realizado en 1514. En esta obra cargada de simbolismo renacentista, el cuadrado se sitúa en la pared detrás de una figura alada melancólica, representando la influencia del planeta Júpiter para contrarrestar la tristeza. Es un cuadrado de orden \(4 \times 4\) que utiliza los números del 1 al 16, y su constante mágica es 34.

\[ D = \begin{bmatrix} 16 & 3 & 2 & 13 \\ 5 & 10 & 11 & 8 \\ 9 & 6 & 7 & 12 \\ 4 & 15 & 14 & 1 \end{bmatrix} \]

Lo que hace a este cuadrado verdaderamente excepcional son sus propiedades adicionales y el ingenio de su diseño. La característica más notable se encuentra en las dos celdas centrales de la fila inferior, que juntas forman el año de creación del grabado: 1514. Además, las esquinas superiores de la fila inferior (4 y 1) flanquean la fecha, coincidiendo con la ubicación de las iniciales del artista (A = 1, D = 4 en el alfabeto, aunque aquí aparecen invertidas como 4 y 1).

Cuadrado mágico de Alberto Durero en Melencolía I y  diferentes combinaciones del número mágico 34

Desde el punto de vista matemático, es un cuadrado de una simetría asombrosa. No solo las filas, columnas y diagonales principales suman \(34\), sino que también lo hacen los cuatro cuadrantes de \(2 \times 2\), el cuadrado central de \(2 \times 2\), y los cuatro números de las esquinas (\(16+13+4+1 = 34\)). Esta complejidad técnica refleja la obsesión renacentista por la proporción y la armonía, elevando una simple curiosidad aritmética a la categoría de obra maestra del pensamiento geométrico.

Dato curioso: Si sumas los números de los extremos de las filas centrales, también obtendrás la constante mágica: \(5+8+9+12 = 34\).

 

3. Cuadrado de Khajuraho (India)

El cuadrado mágico de Khajuraho se encuentra grabado en el templo de Parshvanatha, un templo jainista del siglo X u XI situado en el complejo de Khajuraho, en la India. Conocido localmente como Chautisa Yantra (debido a que "Chautisa" significa 34 en hindi), este cuadrado de orden \(4 \times 4\) es célebre por ser uno de los ejemplos más antiguos de un cuadrado panmágico perfectamente preservado.

\[ K = \begin{bmatrix} 7 & 12 & 1 & 14 \\ 2 & 13 & 8 & 11 \\ 16 & 3 & 10 & 5 \\ 9 & 6 & 15 & 4 \end{bmatrix} \quad \text{Constante Mágica: }\,  \sum = 34\]

El cuadrado original  con los números 
devanagari del sistema  indo-arábigo

 

Lo que diferencia a este cuadrado de otros es su simetría extrema. Se le denomina panmágico porque la constante 34 no solo se obtiene sumando filas, columnas y las dos diagonales principales, sino también a través de las llamadas diagonales quebradas o "pandiagonales". Por ejemplo, la suma de \(12 + 11 + 9 + 2\) o \(7 + 8 + 4 + 15\) también da como resultado 34. Esta propiedad lo hace matemáticamente superior al famoso cuadrado de Durero.

Además de las diagonales, el cuadrado posee una armonía interna asombrosa: cualquier subcuadrado de \(2 \times 2\) dentro de la matriz suma 34, al igual que los cuatro números de las esquinas y los cuatro números centrales. En la tradición india, este tipo de estructuras numéricas no eran solo curiosidades aritméticas, sino que se utilizaban como yantras o diagramas místicos destinados a atraer la armonía y proteger los espacios sagrados, uniendo la precisión del álgebra con la espiritualidad védica. 

 

Propiedades notables:

• Utiliza todos los números del 1 al 16 sin repeticiones.
• Es un cuadrado simétrico: la suma de cualquier pareja de números opuestos respecto al centro es 17 (\(n + n' = 17\)).
• Suma 34 en 52 combinaciones diferentes de cuatro números.

 

4. Cuadrado de Benjamin Franklin (EE. UU.)

Benjamin Franklin (1706-1790), uno de los padres fundadores de los Estados Unidos, no solo fue un político y científico brillante, sino también un entusiasta de los acertijos numéricos. Durante sus sesiones como secretario de la Asamblea de Pensilvania, para combatir el aburrimiento de los debates, diseñó varios cuadrados mágicos de una complejidad asombrosa. Su creación más famosa es un cuadrado de orden \(8 \times 8\) con una constante mágica de 260.

Estructura del Cuadrado de Franklin (\(8 \times 8\)):

\[ F = \begin{bmatrix} 52 & 61 & 4 & 13 & 20 & 29 & 36 & 45 \\ 14 & 3 & 62 & 51 & 46 & 35 & 30 & 19 \\ 53 & 60 & 5 & 12 & 21 & 28 & 37 & 44 \\ 11 & 6 & 59 & 54 & 43 & 38 & 27 & 22 \\ 55 & 58 & 7 & 10 & 23 & 26 & 39 & 42 \\ 9 & 8 & 57 & 56 & 41 & 40 & 25 & 24 \\ 50 & 63 & 2 & 15 & 18 & 31 & 34 & 47 \\ 16 & 1 & 64 & 49 & 48 & 33 & 32 & 17 \end{bmatrix}, \; \text{Suma de cada fila y columna: }  \sum = 260.\]

Aunque técnicamente es un cuadrado semimágico (porque sus diagonales principales no suman 260), Franklin lo consideraba superior debido a sus propiedades de "simetría parcial". Por ejemplo, cualquier fila o columna dividida a la mitad suma 130, que es exactamente la mitad de la constante. Además, las cuatro esquinas más los cuatro números centrales también suman 260.

La característica más fascinante es la suma en "v" o "paralela": si te desplazas de forma diagonal hacia arriba cuatro celdas y luego hacia abajo otras cuatro (formando una trayectoria doblada), la suma siempre será 260. Asimismo, cualquier subcuadrado de \(2 \times 2\) dentro de la matriz suma 130. Franklin llegó a decir que su cuadrado era "el cuadrado mágico más mágicamente mágico jamás hecho por un mago".

Curiosidad Matemática: Franklin también diseñó un cuadrado de \(16 \times 16\) con una constante de 2056, el cual contiene propiedades de "caminata de reina" donde ciertos movimientos de ajedrez sobre la cuadrícula siempre resultan en la misma suma.

Lectura recomendada: Mathematical Treasure: Benjamin Franklin’s Magic Square of Squares.

 

 5. Cuadrado de Ramanujan (India)

Srinivasa Ramanujan (1887–1920), el genio matemático indio que revolucionó el análisis matemático y la teoría de números, creó un cuadrado mágico de orden \(4 \times 4\) con una propiedad sumamente emotiva. Lo que hace a este cuadrado único es su primera fila: los números que la componen son 22, 12, 18 y 87, los cuales corresponden a su fecha de nacimiento: 22 de diciembre de 1887.

El Cuadrado de Cumpleaños de Ramanujan:

\[ R = \begin{bmatrix} 22 & 12 & 18 & 87 \\ 88 & 17 & 9 & 25 \\ 10 & 24 & 89 & 16 \\ 19 & 86 & 23 & 11 \end{bmatrix}. \, \text{Constante Mágica: } \sum = 139.\]

A pesar de estar basado en una fecha específica, Ramanujan logró que la constante mágica sea 139. Esta suma no solo se obtiene en las filas, columnas y las dos diagonales principales, sino que el cuadrado exhibe una simetría casi perfecta. Al igual que otros cuadrados famosos, la suma de las cuatro esquinas, los cuatro números centrales y los cuadrados de \(2 \times 2\) en las esquinas también resulta en 139.

La genialidad de Ramanujan permitió que este diseño fuera flexible. Utilizando su lógica, cualquier persona puede construir su propio cuadrado de cumpleaños siguiendo la fórmula algebraica que él derivó, donde la primera fila es \( [A, B, C, D] \) (Día, Mes, Siglo, Año). Este cuadrado es un testimonio de cómo Ramanujan veía "patrones divinos" en los números, tratándolos como amigos personales con propiedades únicas.

Propiedades de la constante 139:

• Las cuatro esquinas: \( 22 + 87 + 19 + 11 = 139 \)
• El cuadrado central: \( 17 + 9 + 24 + 89 = 139 \)
• Las diagonales quebradas también suman la constante, lo que le otorga propiedades de cuadrado panmágico.

 

6. El Cuadrado de Yang Hui (China)

Yang Hui (c. 1238–1298) fue un matemático chino de la dinastía Song, famoso por su obra Xuxi Xiangjie Jiuzhang Suanfa (Análisis detallado de los métodos matemáticos en los nueve capítulos). Yang Hui es una figura crucial porque fue el primero en la historia en describir métodos sistemáticos para la construcción de cuadrados mágicos de órdenes mayores (\(n > 3\)), incluyendo cuadrados de orden 4 hasta orden 10.

Cuadrado de Orden 4 de Yang Hui:

\[ Y = \begin{bmatrix} 4 &9 & 5& 16\\ 14& 7  & 11 &2 \\ 15& 6 & 10 & 3  \\ 1 & 12 & 8 & 13 \end{bmatrix}.\, \text{Constante Mágica: } \sum = 34. \]

Su contribución más famosa fue la preservación y expansión del Luo-Shu, pero llevándolo a un nivel puramente matemático y algorítmico. Yang Hui describió un método para construir cuadrados mágicos de orden impar mediante el "método de extensión", y para los de orden par (como el de \(4 \times 4\) mostrado arriba), utilizó técnicas de intercambio simétrico de números en una cuadrícula base.

Además de los cuadrados, Yang Hui exploró los círculos mágicos, donde la suma de los números en cada diámetro y en cada anillo concéntrico resulta en la misma constante. Su trabajo demuestra que la matemática china del siglo XIII poseía una comprensión avanzada de la combinatoria y el análisis numérico, mucho antes de que estos temas fueran tratados formalmente en la Europa del Renacimiento.

Nota histórica: Yang Hui siempre dio crédito a sus predecesores, afirmando que sus métodos no eran inventos propios sino una recopilación de tradiciones orales y textos antiguos que corrían el riesgo de perderse. Gracias a él, conocemos la sofisticación del álgebra china medieval.

 

7. Cuadrados Latinos de Euler (Suiza)

Leonhard Euler (1707-1783), uno de los matemáticos más prolíficos de la historia, llevó el estudio de los cuadrados mágicos a una nueva era de rigor científico. En su obra "De quadratis magicis", Euler no solo buscó soluciones recreativas, sino que investigó las leyes fundamentales de la combinatoria. Su mayor aporte en esta área fue la creación de los Cuadrados Latinos: una cuadrícula de \(n \times n\) elementos donde cada símbolo aparece exactamente una vez en cada fila y en cada columna.

Ejemplo de un Cuadrado Latino de orden 3:

\[ L = \begin{bmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \\ 3 & 1 & 2 \end{bmatrix} \]

Cada número aparece una vez por fila y columna.

Euler llevó este concepto más allá con los Cuadrados Grecolatinos (o cuadrados ortogonales), donde se superponen dos cuadrados latinos de tal forma que cada combinación de símbolos sea única. Euler propuso el famoso "Problema de los 36 oficiales", donde intentó organizar a 6 oficiales de 6 rangos diferentes y 6 regimientos distintos en una formación de \(6 \times 6\). Aunque Euler conjeturó correctamente que no había solución para el orden 6, su trabajo sentó las bases para el diseño experimental y la criptografía moderna.

La conexión con los cuadrados mágicos es directa: Euler demostró que un cuadrado mágico de orden \(n\) puede construirse a menudo mediante la combinación de dos cuadrados latinos ortogonales. Sus cuadernos están llenos de cuadrados mágicos de órdenes enormes y "mágicamente perfectos", donde demostró que la belleza de estas figuras residía en la simetría de sus permutaciones.

El origen del Sudoku: Aunque el Sudoku tal como lo conocemos se popularizó en Japón en los años 80, su estructura matemática es idéntica a la de los Cuadrados Latinos de Euler con restricciones adicionales de subcuadrículas. Se puede decir que Euler fue el "padre intelectual" del pasatiempo más famoso del mundo.

 

8. Euler y el recorrido del caballo de ajedrez

En 1759, el célebre matemático suizo Leonhard Euler presentó ante la Academia de Berlín una solución asombrosa a un problema que combinaba el ajedrez con la aritmética: el problema del caballo. El reto consistía en mover un caballo por todas las 64 casillas de un tablero de ajedrez sin pasar dos veces por la misma, regresando idealmente al punto de partida. Euler no solo resolvió el camino, sino que lo organizó de tal forma que los números del orden de las casillas formaran un cuadrado semimágico.

Cuadrado del Caballo de Euler (\(8 \times 8\)):

\[ E = \begin{bmatrix} 1 & 48 & 31 & 50 & 33 & 16 & 63 & 18 \\ 30 & 51 & 46 & 3 & 62 & 19 & 14 & 35 \\ 47 & 2 & 49 & 32 & 15 & 34 & 17 & 64 \\ 52 & 29 & 4 & 45 & 20 & 61 & 36 & 13 \\ 5 & 44 & 25 & 56 & 9 & 40 & 21 & 60 \\ 28 & 53 & 8 & 41 & 24 & 57 & 12 & 37 \\ 43 & 6 & 55 & 26 & 39 & 10 & 59 & 22 \\ 54 & 27 & 42 & 7 & 58 & 23 & 38 & 11 \end{bmatrix} \]

Este cuadrado posee propiedades matemáticas extraordinarias que lo distinguen de cualquier otro. La suma de cada fila y de cada columna es exactamente 260. Además, si dividimos el cuadrado por la mitad, tanto horizontal como verticalmente, cada media fila y media columna suma exactamente 130 (la mitad de 260). Aunque las diagonales principales no suman 260 (lo que lo clasifica como semimágico), la proeza reside en la secuencia lógica del movimiento.

Desde el punto de vista del ajedrez, si colocas un caballo en la casilla marcada con el número 1 y sigues la numeración consecutiva (\(1 \to 2 \to 3 \dots \)), verás que cada salto es un movimiento legal de caballo en "L". Euler demostró que era posible crear un "ciclo cerrado", donde el número 64 queda a un salto de distancia del número 1, cerrando un bucle infinito de perfección geométrica y aritmética.

Curiosidad: Euler realizó este trabajo cuando ya estaba prácticamente ciego de un ojo, demostrando que su capacidad de visualización espacial y cálculo mental era muy superior a la de cualquier matemático de su tiempo.

 

9. El Cuadrado Mágico de Marte

En la tradición esotérica y matemática del Renacimiento, el Cuadrado de Marte es un cuadrado de orden \(5 \times 5\) que utiliza los números del 1 al 25. Fue popularizado por Cornelio Agrippa, quien lo asoció con la energía, la fuerza y el conflicto. A diferencia de los cuadrados de orden par (como el de Durero), este cuadrado de orden impar utiliza el método de construcción de Bachet o "método de la escalera", lo que le otorga una simetría radial perfecta alrededor de su número central.

Matriz de Marte (\(5 \times 5\)):

\[ M = \begin{bmatrix} 11 & 24 & 7 & 20 & 3 \\ 4 & 12 & 25 & 8 & 16 \\ 17 & 5 & 13 & 21 & 9 \\ 10 & 18 & 1 & 14 & 22 \\ 23 & 6 & 19 & 2 & 15 \end{bmatrix}.\, \text{Constante Mágica: } \sum = 65. \]

La constante mágica de este cuadrado es 65. Un detalle fascinante es que el número central es siempre 13, que es el valor medio de la serie (del 1 al 25). Además, la suma total de todos los números del cuadrado es 325 (\(65 \times 5\)). En la numerología antigua, el 65 se consideraba un número sagrado porque es el valor de la palabra hebrea Adonai, lo que aumentó su mística durante siglos.

Matemáticamente, es un cuadrado mágico perfecto: todas las filas, columnas y las dos diagonales principales suman 65. Además, posee una propiedad de complementariedad: si sumas dos números que están en posiciones opuestas respecto al centro (como el 11 y el 15, o el 24 y el 2), la suma siempre será 26 (el doble del número central). Esta estructura lo convirtió en un objeto de estudio recurrente para entender las progresiones aritméticas en cuadrículas impares.

Dato curioso: En la magia ceremonial, este cuadrado se grababa en una placa de hierro (el metal de Marte) para invocar coraje y protección en la batalla. 

 

10. Cuadrado de la Sagrada Familia (España)

El cuadrado mágico de la Sagrada Familia se encuentra en la Fachada de la Pasión del templo diseñado por Antoni Gaudí en Barcelona. Fue creado por el escultor Josep Maria Subirachs en la década de 1980. A diferencia de los cuadrados mágicos clásicos, este fue diseñado con un propósito estrictamente simbólico: su constante mágica es 33, que representa tradicionalmente la edad de Jesucristo al momento de su muerte y resurrección.

Matriz de Subirachs (Fachada de la Pasión):

\[ S = \begin{bmatrix} 1 & 14 & 14 & 4 \\ 11 & 7 & 6 & 9 \\ 8 & 10 & 10 & 5 \\ 13 & 2 & 3 & 15 \end{bmatrix}. \; \text{Suma de filas, columnas y diagonales: } \sum = 33.\]

El cuadrado se encuentra en la fachada del
 templo, junto a la escultura del Beso de Judas.

Para lograr que la suma total sea 33, Subirachs tuvo que desviarse de las reglas de los cuadrados mágicos "normales" (que usan números consecutivos del 1 al 16). En esta versión, los números 12 y 16 han sido omitidos, mientras que los números 10 y 14 aparecen repetidos dos veces cada uno. Esta licencia matemática permite que el cuadrado mantenga su equilibrio visual y su potente significado teológico dentro del conjunto escultórico de la pasión de Cristo.

Además de las sumas estándar, el cuadrado de la Sagrada Familia posee una complejidad adicional asombrosa: existen un total de 310 combinaciones diferentes de cuatro números dentro de la cuadrícula que suman 33. Esto incluye los cuatro cuadrados pequeños de las esquinas, el cuadrado central, y los cuatro números de las esquinas exteriores. Esta densidad matemática refuerza la idea de perfección y diseño divino que Subirachs quiso proyectar en la piedra del templo.

Dato curioso: Este cuadrados es  “casi mágico” porque incumple dos normas de los cuadrados mágicos puros: no debe haber números repetidos (en él lo están el 10 y el 14) y los números deben formar una serie de consecutivos (en él faltan el 12 y el 16). . Si se suman los números repetidos (10 y 14), se obtiene 24, y si se suman los números que faltan (12 y 16), se obtiene 28. La diferencia entre ambos resultados es 4, el orden exacto del cuadrado mágico.

 

 

---

Infinito potencial vs. infinito actual

Carrera potencialmente sin fin del motorista

Desde que Anaximandro (c. 610 a.C..-c. 546 a.C.), discípulo de Tales de Mileto, introdujo el concepto de lo ilimitado, el infinito ha ocupado un lugar central en la historia de las matemáticas y de la filosofía. Desde la Antigüedad griega se estableció una distinción fundamental entre el infinito potencial y el infinito actual, diferencia que condicionó el desarrollo del pensamiento matemático clásico y que solo fue superada plenamente en la matemática moderna, tras la obra de Georg Cantor (1845-1918). Esencialmente el infinito potencial es una posibilidad de crecimiento sin límites (es un proceso nunca concluido), mientras que el infinito actual es un objeto, un conjunto o una totalidad completa en si misma.

El infinito potencial y el infinito actual representan dos formas distintas de concebir el infinito en matemáticas. Mientras el primero dominó el pensamiento antiguo y medieval, el segundo se convirtió en un pilar indispensable de la matemática moderna. La comprensión de esta distinción es clave para entender tanto las paradojas antiguas como los fundamentos actuales del análisis matemático. 

El infinito potencial

El infinito potencial se entiende como un proceso que nunca se completa, pero que puede prolongarse indefinidamente. No existe como una totalidad acabada, sino como una posibilidad siempre abierta. Esta concepción fue aceptada por Aristóteles y dominó la matemática griega clásica.

En el infinito potencial, en cada momento solo existe una cantidad finita, aunque siempre sea posible ir más allá. El infinito no está dado, sino que se manifiesta en la posibilidad de continuar, es el ``siempre se puede uno más''.

Ejemplos

1. La sucesión de los números naturales: 1, 2, 3, 4, .... No existe un último número natural, pero en cada paso solo se considera un conjunto finito de números.Los números son potencialmente infinitos porque siempre puedes sumar uno más, pero nunca tienes ``todos'' los números en la mano al mismo tiempo.
2. La división de un segmento: 1 → 1/2 → 1/4 → 1/8 → ... El segmento puede dividirse indefinidamente, pero nunca se obtiene una colección infinita de partes al mismo tiempo.

El infinito actual

El infinito actual concibe el infinito como una totalidad completa y existente. En este caso, el infinito no es solo una posibilidad, sino un objeto matemático sobre el que se puede razonar como un todo, es el ``todo completo ahora''. Esta concepción fue rechazada por Aristóteles, pero es fundamental en la matemática moderna.

Ejemplos. 

1. El conjunto de los números naturales: ℕ = {1, 2, 3, 4, ...}. Aquí el conjunto infinito es considerado como un objeto dado que contiene simultáneamente infinitos elementos. Ya están todos ahí, no hace falta ``ir contándolos''.
2.  Las  series infinitas, como: $$\sum_{n=1}^{\infty} (1/2)^n =1/2 + 1/4 + 1/8 + 1/16 + ... + (1/2)^n+ ... = 1.$$ En este caso, la suma infinita es tratada como una totalidad con un valor finito, lo cual solo es posible aceptando el infinito actual.

El Hotel de Hilbert

Hilbert propuso este ejemplo precisamente para defender las matemáticas de Georg Cantor, quien fue el primero en tratar el infinito como una entidad completa con la que se puede operar matemáticamente. El ejemplo en detalle se puede ver en el post El Hotel de Hilbert de este blog.

Antes de ellos, la mayoría de matemáticos solo aceptaban el infinito potencial. Hilbert usó el hotel para demostrar que, aunque el infinito actual genera resultados que parecen absurdos a nuestra intuición humana (como 1 + ∞ = ∞), es lógicamente consistente y no tiene contradicciones internas.

El experimento mental de Hilbert requiere que el infinito sea actual por una razón mecánica fundamental de la paradoja:

1. El hotel ya está construido: No es un hotel al que le están agregando habitaciones constantemente (eso sería potencial). El hotel tiene infinitas habitaciones y están todas ahí simultáneamente.
2. La simultaneidad de las acciones: Cuando llega un nuevo huésped y el gerente dice:

   “Que todos los huéspedes de la habitación n se muevan a la n+1”

   Esa acción ocurre de golpe.
   • Si fuera infinito potencial, nunca terminarías de mover a los huéspedes (el huésped 1 espera al 2, el 2 al 3, etc., en una cadena eterna).
   • Para que la paradoja funcione, debes ser capaz de manipular la totalidad del conjunto infinito como una sola cosa completa. 

    

"El infinito, como ninguna otra cuestión, ha conmovido siempre tan profundamente el alma de los hombres; el infinito, como ninguna otra idea, ha estimulado y fecundado tan provechosamente la razón; pero también el infinito, más que ningún otro concepto, necesita ser aclarado."

David Hilbert (Sobre el infinito, 1925) 

  

---

Las paradojas del mentiroso, el barbero o la manos que se dibujan y la paradoja de Russell

 Bertrand  Russell (1872-1970) fue un  matemático,filósofo, lógico y escritor británico, ganador del Premio Nobel de Literatura. Realizó aportes fundamentales a la matemática principalmente en el ámbito de la lógica  y los fundamentos de las matemáticas. Su contribución más influyente fue el desarrollo de la lógica formal junto con Alfred North Whitehead en Principia Mathematica (1910–1913), obra en la que intentaron demostrar que todas las verdades matemáticas podían derivarse de principios lógicos, sentando las bases del logicismo. Además, sus trabajos ayudaron a clarificar conceptos como número, proposición y función, influyendo decisivamente en la matemática moderna, la lógica simbólica y la filosofía de las matemáticas. Russell descubrió numerosas paradojas que atrajeron  la atención en los círculos matemáticos de la época, pero, curiosamente, tan sólo una de ellas acabó llevando su nombre. En carta al lógico alemán Gottlob Frege de 1902,  Russell formula lo siguiente:

Llamemos Conjunto Normal a cada uno de aquellos conjuntos que no se contiene a si mismo y Conjunto Singular  a aquellos conjuntos que se contiene a si mismo. Notemos que un conjunto dado es normal o singular, no hay otra alternativa, ya que una tercera posibilidad queda excluida. Sea C el conjunto de todos los conjuntos normales,  ¿C es Normal o Singular?

 Obviamente si C fuera normal, no lo sería, y recíprocamente. La paradoja,  revelaba la  inconsistencias en la teoría ingenua de conjuntos, lo que motivó el desarrollo de sistemas axiomáticos más rigurosos.

La paradoja de Russell es una reformulación para la teoría de conjuntos de la paradoja del mentiroso o paradoja de Epiménides de Cnosos (Siglo VII-VI a.C.), que ya era conocida en mundo griego de la antigüedad. Se dice que Epiménides exclamó: “¡Esta afirmación  es falsa!”. claramente si la afirmación es verdadera, entonces es falsa, y si es falsa, entonces es verdadera. Luego, cualquiera sea la asunción sobre su veracidad, estaremos en una contradicción. Una variante de esta paradoja en dos oraciones es la siguiente: “La siguiente  afirmación es verdadera.La  afirmación anterior es falsa”. Cada enunciado por si mismo tiene sentido, pero, combinados, crean una contradicción.  

 La litografía de  “Manos que se dibujan” (Drawing Hands, 1948) de M. C. Escher, que se representa   en la siguiente imagen, es una ilustración visual de esta paradoja.

 Notemos que cada mano por separado tiene sentido, pero es la consideración de ambas a la vez lo que origina la paradoja visual

Probablemente la variación de la paradoja de Russell más conocida sea la del único barbero que hay en un poblado aislado y pequeño: 

 

En el poblado, el barbero afeita a todas las personas que no se afeitan ellos mismos. 
¿Se afeita el barbero a sí mismo?

Entonces el barbero se afeitará a si mismo si solo si no se afeita a si mismo, lo cual es un sinsentido. Claramente, esto no es más que un juego de palabras,  pero cuando se trata del concepto matemático de conjunto, no es posible evadir este problema lógico. 

Se pueden enunciar diferentes paradojas del lenguaje, considerándolas juegos de palabras sin significado, pero aplicadas a los conceptos básicos de las  matemáticas motivaron  los trabajos  de David Hilbert, Kurt Gödel y Alan Turing, entre otros grandes pensadores, sobre los fundamentos de esta ciencia. 

 

---

 Este post está basado en el artículo: 

• Gregory J. Chaitin. Ordenadores, paradojas y fundamentos de las matemáticas, Investigación y Ciencia, julio 2023.