La historia de los juegos de números y las recreaciones matemáticas.

Estás leyendo sobre juegos de números. No sólo Sudoku, no sólo criptografía. Me refiero a la profunda historia de los acertijos que parecen juguetes pero que en realidad son puertas de entrada a las matemáticas serias.

Es una categoría desordenada. No puedes archivarlos claramente. Algunas son diversiones tontas. Otros son problemas sin resolver que han dejado perplejos a los matemáticos durante siglos. La lista de temas involucrados es salvaje. Aritmética. Álgebra. Geometría. Topología. Teoría de grafos. Matrices. Teoría de grupos. Combinatoria. Teoría de conjuntos. Lógica simbólica. Probabilidad.

Intenta clasificarlo todo. Fracasarás. El intento es arbitrario.

Esto es lo que pasa con las recreaciones matemáticas. Desdibujan la línea entre hobby y profesión.

Un inocente acertijo sobre cómo recorrer un camino podría obligarte a entrar en la teoría de grafos. ¿Contar partes de una figura geométrica? Eso es combinatoria. ¿Diseccionar un polígono? Teoría de grupos. ¿Inferencia lógica? Matrices.

Cosas que parecían imposibles en la época medieval son triviales ahora, gracias a los métodos modernos.

Por qué jugamos

Existe una necesidad universal de resolver un rompecabezas. No importa si eres joven o viejo. Sofisticado o no.

G.H. Hardy, un destacado matemático inglés, lo notó. Los fabricantes de rompecabezas profesionales también lo saben. Lo explotan. El público obtiene un placer intelectual con ello.

La literatura es extensa. Especialmente desde el siglo XX.

Algunas cosas son repetitivas. Sorprendentemente, cada generación encuentra deliciosas las castañas viejas. Incluso cuando están vestidos con ropa nueva. Se agrega material nuevo constantemente.

Los primeros días

A la gente siempre le ha encantado crear desafíos. Placer intelectual. Curiosidad. Misterio.

Muchas de las primeras recreaciones sobreviven gracias a este atractivo. Algunos procedían de los antiguos griegos y romanos. Sabíamos poco sobre ellos durante la Edad Media. El interés volvió durante la Edad Media.

¿Por qué? Se inventó la imprenta. Los escritores de textos de aritmética se entusiasmaron. Los primeros algebristas y eruditos iniciaron rivalidades y disputas.

Esto fue más prominente en el continente. Italia. Alemania.

Los contribuyentes notables incluyen:
* Rabino ben Ezra (1140)
* Fibonacci (Leonardo de Pisa; 1202)
* Robert Recorde (1542)
* Girolamo Cardano (1545)

Dos tipos de problemas

Los problemas generalmente se dividían en dos grupos.

Manipulación de objetos.
Cálculo.

El primer tipo requería poca habilidad matemática. Sólo inteligencia e ingenio generales.

Piense en problemas de decantación. O travesías difíciles.

Ejemplo de decantación:
Necesitas medir un litro de líquido. Sólo tienes una medida de ocho cuartos, una de cinco cuartos y una de tres cuartos. ¿Cómo lo haces?

Ejemplo de cruces difíciles:
Tres parejas necesitan cruzar un arroyo. En el barco sólo caben dos personas. Cada marido es demasiado celoso para dejar a su esposa con cualquier otro hombre. ¿Cómo se cruzan?

A lo largo de los años aparecieron muchas variantes de ambos tipos.

Desafíos computacionales

El segundo tipo implicaba cálculos reales. Estos adoptaron muchas formas.

A continuación se muestran algunos ejemplos.

Encontrar un número

Piensa en un número.
Triplicarlo.
Toma la mitad del producto.
Triplica ese resultado.
Toma la mitad nuevamente.
Dividir por nueve.

El cociente será un cuarto de tu número original.

Problemas de “Dios te salude”

Alguien dice: “Si volviéramos a ser tantos y la mitad más, entonces seríamos 30”.

El texto comienza con “Dios os salude a los 30 compañeros”. ¿Cuántos eran en realidad?

El problema del tablero de ajedrez

Coloca un grano de trigo en el primer cuadrado.
Dos en el segundo.
Cuatro en el tercero.
Haga esto para los 64 cuadrados.

¿Cuántos granos se necesitan en total?

El león en el pozo

Este es un clásico. Se trata de un movimiento de velocidad constante obstaculizado por un movimiento retrógrado.

Un león está en un pozo de 50 palmos de profundidad.
Sube 1/7 de palma diariamente.
Se desliza hacia atrás 1/9 de palma.

¿En cuántos días saldrá?

Problemas de mensajería

Se trata de cuerpos que se mueven a velocidades determinadas. Conoces su posición en un momento dado. Necesita encontrar el tiempo necesario para llegar a otra posición específica.

El auge de los entretenimientos matemáticos en el siglo XVII

Mucho antes de que Internet ofreciera acertijos interminables, en el siglo XVII se produjo un aumento de libros dedicados exclusivamente a problemas recreativos. Estos no fueron sólo áridos ejercicios académicos. También cubrieron la mecánica y la filosofía natural. La verdadera chispa vino de Francia.

Claude-Gaspar Bachet de Méziriac cambió el juego. Es uno de los primeros pioneros en este campo. Recordado por Diophanti, su edición de 1621 de la teoría de números griega, Bachet también eliminó Problèmes plaisans et delectables qui se font par les nombres en 1612.

Este segundo libro se convirtió en el modelo. Tuvo cinco ediciones, y la última se imprimió en 1959. Esa es una larga vida útil para un libro de rompecabezas.

Bachet se centró en la aritmética sobre la geometría. Sus desafíos fueron específicos y agudos.
– Introdujo bases numéricas distintas al 10.
– Incluía trucos con cartas.
– Creó rompecabezas de esferas de relojes basándose en esquemas de numeración únicos.
– Planteó el clásico problema de encontrar el conjunto de pesas más pequeño para medir cualquier libra de 1 a 40.
– Arrojó escenarios difíciles de cruzar ríos.

Estos fueron los acertijos matemáticos originales que definieron el género durante décadas.

Los imitadores franceses y la expansión alemana

La tendencia no se detuvo con Bachet. En 1624, Jean Leurechon publicó Récréations mathématiques. Escribió bajo el seudónimo de van Etten.

El libro de Leurechon tocó una fibra sensible. Pasó por al menos 30 ediciones antes de 1700. Fue popular a pesar de ser en gran parte una copia. Leurechon tomó los problemas más simples de Bachet e ignoró las partes más importantes. Hubo alguna obra original, pero sobre todo sirvió de modelo.

Influyó en Mydorge y Schwenter. La traducción al inglés llegó en 1633. El título era complicado: Recreaciones matemáticas o una colección de problemas diversos… Prometía secretos de la naturaleza y experimentos en aritmética, geometría y óptica. William Oughtred lo tradujo.

Los franceses siguieron produciendo contenido. Claude Mydorge publicó Examen du livre des récréations mathématiques en 1630. Luego, Denis Henrion publicó su propia versión en 1659, basándose en gran medida en Mydorge.

Mientras tanto, la influencia cruzó el canal hacia Alemania. Daniel Schwenter, profesor de hebreo y matemáticas, compiló una colección enorme. Utilizó una traducción del trabajo de Leurechon y añadió sus propios hallazgos.

Deliciae Physico-mathematicae oder Mathische und Philosophische Erquickstunden apareció póstumamente en 1636. Fue inmensamente popular. Siguieron dos ediciones complementarias en 1651 y 1653. Durante años, la edición ampliada de Schwenter fue el tratado más completo de su tipo.

Italia tampoco quedó fuera. El jesuita Mario Bettini publicó una obra en dos volúmenes llamada Apiaria Universae Philosophiae Mathematicae en 1641-1642. Le siguió un tercer volumen, Recreationum Mathematicarum Apiaria Novissima, en 1660.

Luego llegó Johann Mohr a Schleswig. En 1665 publicó Arithmetische Lustgarten, una imitación de Schwenter.

La entrada tardía de Inglaterra

Inglaterra llegó tarde al partido. William Leybourn no fue sólo un escritor. Fue profesor de matemáticas, escritor de libros de texto y agrimensor.

En 1694 publicó Placer con beneficio: consistente en recreaciones de diversos tipos. La lista de géneros era exhaustiva: numérica, geométrica, mecánica, estática, astronómica, horométrica, criptográfica, magnética, automática, química e histórica.

La portada tenía un propósito claro. Su objetivo era “recrear espíritus ingeniosos e inducirlos a profundizar en estas ciencias sublimes”. También quería desviar a la juventud de los vicios.

Gran parte del volumen era material de libros de texto convencionales. Las obras publicadas de Leybourn surgieron de su carrera docente. Estaba educando tanto como entreteniendo.

La era de los rompecabezas impresos estaba preparando el escenario para todo lo que vino después.

El boom de los siglos XVIII y XIX

El siglo XVIII no sólo mantuvo el fuego encendido. Lo alimentó. Inglaterra vio una avalancha de publicaciones. Eduardo Hatton. Tomás Gent. Samuel Clark. William Hooper. Todo sonando. Luego llegó 1775. Charles Hutton dejó caer cinco volúmenes de extractos del Ladies’ Diary. Se centraron en los entretenidos fragmentos de matemáticas y poesía. El continente no se quedó atrás. Cristian Pescheck. Abad Buenaventura. Paul Halcken en Holanda. Edme-Gilles Guyot publicó Nouvelles Récréations physiques et mathématiques en cuatro volúmenes en 1769 y 1786.

Pero un nombre destaca sobre el resto. Jacques Ozanam. Fue el precursor de los dos siglos siguientes de este género. Su Récréations mathématique et physiques llegó por primera vez a las tiendas en cuatro volúmenes allá por 1694. Pasó por infinitas ediciones. Se basó en Bachet, Mydorge, Leurechon y Schwenter. Posteriormente, Montucla lo revisó y amplió. Luego Charles Hutton lo tradujo al inglés en 1803 y 1814. Edward Riddle le dio otra revisión en 1840 y 1844.

La primera mitad del siglo XIX fue tranquila. Salida moderada. Escritores menores. Entonces la segunda mitad explotó. Un crescendo de interés condujo hasta el cambio de siglo. Édouard Lucas. C.L. Dodgson, también conocido como Lewis Carroll. Las Récréations mathématiques de Lucas publicaron cuatro volúmenes entre 1882 y 1894. Se convirtió en un clásico. Dodgson aportó su propio sabor. Lógica Simbólica. El Juego de Lógica. Problemas con la almohada. Y Un cuento enredado en dos volúmenes de 1885 a 1895.

Pesos pesados del siglo XX

Entra en el siglo XX y te toparás con figuras coloridas. Dos estadounidenses llamados Sam Loyd. Padre e hijo. El viejo Loyd era una máquina de hacer rompecabezas. Vendió su columna semanal a un sindicato nacional durante años. Ese es un alcance serio. También creó o adaptó cientos de rompecabezas mecánicos. Cartulina. Madera. Metal. Todo ello económicamente gratificante.

Cuando Loyd II murió en 1934, a los 60 años, la estimación era asombrosa. Había producido al menos 10.000 rompecabezas. Son muchos acertijos.

Alemania tuvo sus propias contribuciones. Hermann Schubert publicó Zwölf Geduldspiele en 1899. Luego, Mathematische Mussestunden apareció en tres volúmenes entre 1907 y 1909. Wilhelm Ahrens estuvo ocupado entre 1904 y 1920. Su Mathematische Unterhaltungen und Spiele (dos volúmenes, 1910) incluía una extensa bibliografía. Ese es el toque de un erudito.

Gran Bretaña tenía a Henry Dudeney. Contribuyó a la Revista Strand. Sus colecciones de rompecabezas fueron muy populares. Se siguieron reimprimiendo entre 1917 y 1967. W.W. Mathematical Recreations and Essays de Rouse Ball se lanzó en 1892. Se convirtió en un clásico rápido. ¿Por qué? Su enfoque académico lo distingue. Pasó por diez ediciones. H.S.M. Coxeter, un profesor británico, lo revisó en 1938. Sigue siendo una referencia estándar en la actualidad.

Maurice Kraitchik también merece una mención. Editó Sphinx y fue autor de varias obras conocidas entre 1900 y 1942.

Cambiando de marcha a mediados de siglo

Aquí es donde el tema se vuelve interesante. A mediados del siglo XX, el foco cambió. Antes de eso, el interés residía en diversiones específicas. Curiosidades numéricas. Rompecabezas geométricos simples. Problemas de historia aritméticos. Plegado de papel. Figuras de cuerda. Disecciones geométricas. Rompecabezas manipulativos. Trucos con números y cartas. Cuadrados mágicos.

Esas venerables diversiones también eran grandes. Trisección de ángulos. Duplicación del cubo. La cuadratura del círculo. Incluso la esquiva cuarta dimensión.

A mediados de siglo, el giro fue hacia la sofisticación. Los criptogramas se hicieron populares. Aritmética modular. Bases de numeración. Teoría de números. Grafos y redes. Celosías. Teoría de grupos. Curiosidades topológicas. Embalaje y revestimiento. Flexágonos. Problemas combinatorios. Teoría de la probabilidad. Problemas inferenciales.

Las paradojas lógicas ocuparon un lugar central. Falacias de la lógica. Paradojas del infinito. Las matemáticas se volvieron más complicadas. Los juegos se volvieron más inteligentes.

Recreaciones aritméticas y algebraicas

Patrones numéricos y curiosidades

Algunas agrupaciones de números naturales revelan patrones notables cuando se analizan con aritmética ordinaria. Ofrece pasatiempos agradables. Eche un vistazo a este ejemplo:

Las matemáticas ocultas detrás de los multigrados

No se trata sólo de sumar algunos números enteros. Los multigrados son un tipo específico de juego de números en el que dos conjuntos diferentes de números comparten más que solo su suma básica. También coinciden cuando los elevas a poderes superiores.

“Identidades entre las sumas de dos conjuntos de números y las sumas de sus cuadrados o potencias superiores.”

Piense en ello como un espejismo matemático. Toma el conjunto A y el conjunto B. Suma los números de cada uno. El total es idéntico. Ahora eleva al cuadrado cada número de ambos conjuntos. Las sumas de esos cuadrados también son idénticas. Puedes ir aún más lejos: cubos, cuartas potencias y más.

Esta no es una suerte aleatoria. Es una identidad estructurada. Los matemáticos utilizan esto para explorar cómo se relacionan los números más allá de la simple aritmética. Es un rompecabezas que requiere precisión. Un dígito equivocado y toda la simetría colapsa.

¿Por qué nos importa? Porque estos patrones revelan conexiones profundas en la teoría de números. Muestran que los números enteros pueden comportarse de maneras sorprendentes y coordinadas. Es como encontrar dos canciones completamente diferentes que de alguna manera comparten el mismo ritmo y melodía.

El estudio de los multigrados sigue siendo fascinante. Es un rincón especializado de las matemáticas que parece casi mágico. Y todo comienza con una simple pregunta: ¿pueden dos grupos diferentes de números ser realmente iguales en múltiples dimensiones?

Construyendo multigrados desde cero

Comience con algo trivial. Una igualdad simple como 1 + 5 = 2 + 4. Apenas vale la pena notarlo. Luego suma cinco a cada término. Las matemáticas se mantienen. 6 + 10 = 7 + 9.

Esta es la semilla. El método sencillo para formar un multigrado comienza aquí.

Pero esa es sólo la configuración. Para llegar a un multigrado de segundo orden, debes invertir el guión. Cambia los lados. Combínalos.

Se parece a esto:

1 + 5 + 6 + 10 = 2 + 4 + 7 + 9

Los números no mienten. Se equilibran.

Mire las matemáticas por un segundo. Si tomas un conjunto específico de números, la suma de sus primeras potencias ($S_1$) llega exactamente a 22. Suma sus segundas potencias ($S_2$), y esa cifra salta a 156. Es un pequeño bolsillo matemático apretado.

Pero luego lo modificas.

Tome cada número de ese conjunto y simplemente agregue 10 a la mezcla. De repente, ya no estás jugando sólo con sumas básicas. Has desbloqueado un multigrado de tercer orden.

No se trata sólo de trivialidades aritméticas. Se trata de cómo cambiar una línea de base cambia la integridad estructural de una secuencia numérica. Al traducir todo el conjunto por un factor constante, se preserva la igualdad de las sumas de potencias en ambos lados y al mismo tiempo se eleva el orden de la identidad.

¿El resultado? Una ecuación más compleja que se sostiene bajo el escrutinio de los cálculos de tercera potencia. Los números cambian, pero el equilibrio se mantiene. Y a veces, todo lo que se necesita para desbloquear un patrón más profundo es agregar diez a cada término.

Más allá de los multigrados: el extraño mundo de las curiosidades numéricas

Si pensaba que lo había visto todo con ecuaciones estándar de suma de potencias, mire más de cerca. Las matemáticas no se detienen en unas pocas variables. Gira en espiral.

Veamos el ejemplo nuevamente. S 1 se ubica en 84. S 2 salta a 1,152. S 3? Eso es 17.766.

Puedes seguir adelante. Indefinidamente. Construyendo multigrados de órdenes sucesivamente superiores. La estructura se mantiene.

Aquí está el truco: multiplica o divide cada término por el mismo número. La igualdad permanece intacta. Es flexible.

Abundan las variaciones. Puedes encontrar multigrados palindrómicos. Estos se leen igual hacia atrás y hacia adelante. O tal vez prefieras los números primos. Puedes construir multigrados compuestos enteramente de ellos.

Pero hay otras rarezas que se esconden en los números enteros. Números narcisistas.

Se trata de números que pueden representarse mediante algún tipo de manipulación matemática de sus dígitos. Toma un número entero. Un número entero. Eleve cada dígito a la n ésima potencia. Resúmelos. Si el resultado es el número original, ha encontrado un invariante digital perfecto.

Considere 153.

13 + 53 + 33 = 153.

Funciona. Los dígitos se alimentan a sí mismos y suman a sus padres.

Luego está el invariante digital recurrente. Se repite.

Al mundo de las matemáticas recreativas le encantan los buenos trucos de fiesta, y las invariantes digitales son el alma de la fiesta. Joseph Madachy, en su libro Matemáticas de vacaciones, señala que no se trata de curiosidades aisladas. Vienen en variaciones que mantienen a los matemáticos entretenidos durante horas.

El poder de la suma de dígitos

Destaca un tipo específico de curiosidad. Se trata de un número que es igual a la n ésima potencia de la suma de sus dígitos.

Piénselo de esta manera. Toma un número. Suma sus dígitos. Eleve esa suma a una potencia específica. Si el resultado vuelve a ser el número original, ha encontrado una coincidencia. Es un bucle. Un eco digital.

“Una curiosidad se ejemplifica con un número que es igual a la n ésima potencia de la suma de sus dígitos.”

Esta no es una propiedad cualquiera. Define una clase específica de números enteros que se comportan de manera inusual en operaciones aritméticas básicas. La “n” aquí es la variable clave. Determina la fuerza del exponente. Cambie la potencia y el número generalmente romperá el patrón. Eso es lo que lo convierte en una invariante digital. La suma permanece constante en relación con la transformación definida por n.

Madachy destaca esto porque muestra cómo reglas simples (sumar dígitos y luego exponenciar) pueden conducir a puntos estables. Estos números se anclan en el caos del cálculo. Son raros. Pero existen. Y una vez que encuentras uno, empiezas a buscar otros. La caza se convierte en juego.

Probablemente hayas oído hablar de los números automórficos. Son números enteros cuyos cuadrados terminan exactamente con los mismos dígitos que el número original. Toma 25, eleva al cuadrado y obtienes 625. ¿Los dos últimos dígitos? Aún así, 25. Prueba con 76. El cuadrado es 5776. Nuevamente, termina en 76. Estas no son simples coincidencias aleatorias. Son peculiaridades matemáticas que parecen casi místicas.

Luego están los números estrobogramáticos. Se ven idénticos cuando los giras 180 grados. Piensa en el 69. Dale la vuelta. Se convierte en 96. Espera, eso no es del todo correcto para “leer lo mismo”. Miremos 96 girados. ¿Parece 96 al revés? No, en realidad, 6 se convierte en 9 y 9 se convierte en 6. Entonces, ¿69 rotado es 69? No, 69 girado 180 grados parece 69. Sí. Y 96 girado parece 96. También 1001. Dale la vuelta. Sigue siendo 1001. Estas propiedades sugieren que los números tienen personalidades ocultas.

El desafío de los cuatro nueves

Esto nos lleva al ámbito de los problemas digitales. El más famoso de ellos es el problema de los cuatro nueves. Quizás lo conozcas como los “cuatro 9” o los “cuatro 4”, según el dígito. El objetivo es simple pero engañosamente difícil. Expresa una secuencia de números enteros lo más grande posible a partir de 1. Debes representar cada número entero usando exactamente cuatro del mismo dígito.

Pero aquí está el truco. La respuesta depende completamente de las reglas de operación que se le permite utilizar.

Si sólo estás haciendo aritmética básica, la secuencia se detiene rápidamente. Necesitas ser creativo. ¿Factoriales? ¿Raíces cuadradas? ¿Puntos decimales? ¿Concatenación? Cada operación permitida abre nuevas puertas.

Considere los ejemplos parciales de cuatro unos. Empieza fácil.
1 = 1 + 1 – 1 – 1 (No, eso es 0).
1 = 1 * 1 * 1 * 1.
2 = 1 + 1 + 1 – 1.

Las limitaciones te obligan a pensar lateralmente. ¿Qué operaciones están permitidas? ¿Puedes usar un factorial doble? ¿Puedes concatenar dos unos para formar 11? Las reglas específicas cambian todo el panorama del rompecabezas.

Por qué son importantes las reglas

Existen diferentes versiones de este rompecabezas. Algunos sólo permiten +, -, *, /. Otros incluyen exponentes, logaritmos o la función gamma. Cuantas más herramientas tenga, mayores serán los números que podrá alcanzar. No se trata sólo de matemáticas. Se trata de los límites de la notación.

Los números estrobogramáticos y los números automórficos son curiosidades estáticas. Están sentados allí en la recta numérica. El rompecabezas de los cuatro nueves es dinámico. Requiere acción. Requiere que doblegues las reglas de representación.

Hay una razón por la que estos enigmas persisten. Apelan a la parte del cerebro que disfruta del reconocimiento de patrones dentro de restricciones estrictas. Es un juego de limitación. Cuanto más restrinjas los dígitos, más deberás ampliar tu comprensión de lo que es posible.

¿Resulta satisfactorio el misticismo de los números automórficos? ¿O es el activo?

¿Crees que has descifrado el código de los cuatro 4? Piensa de nuevo.

La lista original del artículo de 1964 de M. Bicknell y V. Hoggatt Recreational Mathematics Magazine era sólo la punta del iceberg. Mostraron una forma de alcanzar sesenta y cuatro objetivos. Pero la verdadera diversión está en las alternativas.

Tome el número siete. El método estándar podría utilizar la suma y las raíces cuadradas. Pero puedes usar factoriales con la misma facilidad. O división.

Considere esto:

7 = 4 + √4 + 4/4

Eso funciona. Pero también esto:

7 = 4!/4 + 4/4

Y aquí hay otro giro:

7 = 44/4 – 4

El símbolo factorial (!) es el comodín aquí. Convierte un número simple en un producto de todos los números enteros que lo preceden. Entonces 4! es solo 4 × 3 × 2 × 1. Eso te da 24. De repente, tienes nuevas herramientas en la caja.

¿Qué pasa sin factoriales?

Si prohíbes los factoriales del conjunto de reglas, no pierdes el juego. Simplemente encoges el tablero.

Aún puedes expresar cada número entero del uno al veintidós usando cuatro 4. Requiere ser creativo con decimales y raíces.

Mira veintidós. Sin factoriales, te apoyas en el punto decimal y la raíz cuadrada.

22 = (4 + 4) / .4 + √4

El decimal .4 es esencialmente 0,4. Dividir 8 entre 0,4 te da 20. Suma la raíz cuadrada de 4 (que es 2) y darás en el blanco. Es feo. Es inteligente. Funciona.

¿Pero si amplías las reglas nuevamente? Las posibilidades explotan. Ya no estás limitado al álgebra básica. Puede realizar operaciones en capas. Puedes encadenarlos.

El siguiente nivel: enteros secuenciales

Hay un problema entre hermanos en el rompecabezas de los cuatro 4. Le da la vuelta al guión.

En lugar de usar el mismo dígito cuatro veces, usa los primeros m enteros positivos. La regla es simple: m debe ser mayor que tres.

Usas símbolos de álgebra elemental. Organizas los números 1, 2, 3 y 4.

Esto cambia el desafío de la repetición a la secuencia. No puedes simplemente sumar 4. Tienes que entrelazar 1, 2, 3 y 4 en una ecuación funcional.

Es un tipo diferente de gimnasia mental. Y esto apenas está comenzando.

Hay más de 100 formas de organizar los dígitos del uno al nueve para llegar exactamente a 100. Esa ni siquiera es la parte difícil. Estos acertijos requieren capacidad cerebral. No requieren matemáticas avanzadas.

El origen de los criptoritmos

El término criptoaritmética llegó en 1931. Comenzó con un problema de multiplicación en la revista belga Sphinx. Esa publicación era conocida por sus acertijos.

La “cripta-aritmética” se introdujo en 1931, cuando apareció el siguiente problema de multiplicación en la revista belga Sphinx.

El problema parecía sencillo. Eran solo letras que representaban números. Resolverlo fue como descifrar un código. El ingenio necesario es elevado. La aritmética real es mínima. Estás buscando patrones. Estás igualando restricciones.

Estos rompecabezas tienen muchas variaciones. Algunos piden sumas. Otros exigen productos. El objetivo es siempre el mismo. Encuentra el número oculto detrás de la letra. Es un juego de lógica. No es una prueba de cálculo.

Los criptoritmos son acertijos matemáticos en los que los dígitos se reemplazan por letras o símbolos. La mayoría implica operaciones básicas como suma, resta, multiplicación o división. Resolverlos requiere lógica, no conjeturas.

El proceso comienza con el análisis. Tomemos un ejemplo sencillo. Miras los productos parciales. Si D × A es igual a D, entonces A debe ser 1. Ése es un hecho concreto.

A continuación, observe C. Si D × C y E × C terminan en C, C suele ser 5. El cero funciona si ambos dígitos son pares. Cinco funciona si ambos son impares. Aquí, C = 5.

Ahora, D y E. Tienen que ser impares. Pero no 9, porque los productos parciales sólo tienen tres dígitos. Entonces son 3 o 7. ¿Cuál es cuál?

Marque B. Si D × B es un solo dígito, B debe ser pequeño. Si E × B tiene dos dígitos, E es mayor. Entonces E = 7 y D = 3.

B no puede ser cero. Eso deja 2. Entonces B = 2.

Termina las matemáticas. F = 8. G = 6. H = 4. La respuesta es 125 × 37 = 4,625.

Este desglose proviene de 150 Puzzles in Crypt-Arithmetic de Maxey Brooke. Dover lo publicó en 1963. Sigue siendo un clásico por una razón.

Desglose de ENVIAR + MÁS = DINERO

Estos acertijos son más antiguos que el libro de Brooke. A veces aparecen antes de los registros. Los alfaméticos son un tipo específico. Las letras forman palabras reales. Uno de los más antiguos y conocidos es ENVIAR + MÁS = DINERO.

Es una ecuación simple. Pero es engañosamente complejo.

S = 9. E = 5. N = 6. D = 7. M = 1. O = 0. R = 8. Y = 2.

9567 + 1085 = 10652.

Comprueba las matemáticas. Funciona. Cada letra tiene un dígito único. Sin cero a la izquierda. M no puede ser cero. S no puede ser cero. Las limitaciones se endurecen rápidamente.

¿Por qué perdura este enigma? Está limpio. Utiliza palabras comunes. Se siente como un código. No sólo estás haciendo aritmética. Estás decodificando un mensaje.

Existen otras alfaméticas. CRUZ + ROSAS = ARSÉNICO. COMER + ESO = TORTA. Varían en dificultad. Algunas son triviales. Otros tardan horas. Sin embargo, la lógica es la misma. Encuentra las anclas. Un dígito que fuerza a otro. Un carry que rompe esquemas.

La gente todavía los resuelve hoy. No sólo por las matemáticas. Por la satisfacción. En el momento en que las piezas hacen clic. La palabra oculta revelada. Es un ejercicio mental. Corto. Afilado. Satisfactorio.

El enigma no termina con la respuesta. Termina con la comprensión. Cómo interactúan las letras. Cómo se comportan los números. Es un mundo diminuto. Autónomo. Lógico.

Y aún así. Lo verás de nuevo. En una revista. En un foro. En un salón de clases. La misma lógica. Palabras diferentes. Números diferentes. La misma emoción.

¿Existe un límite a la complejidad de estos?

Las reglas estándar para la alfamética son estrictas. La primera letra de cualquier palabra no puede ser cero. No hay dos letras que puedan representar el mismo dígito. Rompe estas reglas y necesitarás una pista específica para justificar la excepción. Algunos acertijos son tan densos que contienen múltiples soluciones. Las computadoras superan estas complejidades.

La trampa de la falsa lógica

Los matemáticos llevan siglos obsesionados con las paradojas y falacias. Una paradoja te detiene en seco. La lógica se mantiene. Cada paso es válido. Sin embargo, la conclusión es tan extraña que uno se niega a creerla. Es contradictorio. Se siente mal.

Una falacia es diferente. Es un error. Un razonamiento inadecuado conduce a un resultado obviamente absurdo. El error suele romper un principio básico de las matemáticas o la lógica. Los principiantes se enamoran mucho de esto. No ven la trampa oculta. A menos que sepa que se está violando la regla, el error permanece invisible.

Luego están los sofismas. El error es intencional. Hecho a propósito. Por una razón específica. Pero, ¿qué pasa si un cálculo incorrecto accidentalmente da con la respuesta correcta? Eso es un aullador. Es el arte de cometer el error correcto.

El infinito causa muchos problemas. Los procesos limitantes crean paradojas. Tomemos la serie infinita.

La suma infinita que nunca llega a tocar 2

Tienes una serie que sigue subiendo. Cuantos más términos agregue a la pila, mayor será el total. Es un aumento constante e implacable. Pero aquí está el truco. En realidad, la suma nunca llega a 2. Se mantiene estrictamente por debajo de ese límite.

Simplemente se acerca. Y más cerca. Y más cerca.

Piense en ello como correr hacia una pared. Cubres la mitad de la distancia, luego la mitad de lo que queda y luego la mitad otra vez. Siempre estás avanzando. Siempre te estás acercando al objetivo. Pero nunca lo tocas del todo. Este es el comportamiento de una serie convergente. Específicamente, uno limitado por 2.

“La suma siempre es menor que 2, aunque se acerca cada vez más a 2 a medida que se incluyen más términos”.

Esto no es sólo un truco matemático. Es un concepto fundamental en cálculo. Se trata de límites. No buscamos el número final porque no lo hay. Estamos buscando el comportamiento cuando el número de términos llega al infinito.

Por qué son importantes para las matemáticas de la cultura pop

Bien, tal vez no te importe la convergencia de series. Pero esta lógica se aplica a todo. Piense en los números de transmisión. Un programa puede ganar más espectadores cada semana. El crecimiento se ralentiza. Se acerca a un punto de saturación. Pero nunca alcanza ese máximo teórico. Se cierne justo debajo.

O piense en los totales de taquilla. Una película recauda más cada fin de semana. La tasa de crecimiento cae. La suma total avanza poco a poco hacia un número final. Pero hasta que se vende el último boleto, siempre es una estimación. Un límite.

La misma regla se aplica a los seguidores de celebridades. Cada día ganan más adeptos. Pero la cuenta nunca deja de crecer hasta que la persona fallece o se queda en silencio. Incluso entonces, el total histórico es una instantánea. Un momento en el tiempo.

La otra serie

Por otro lado, la serie…

Bueno, el texto se corta. Pero normalmente, en estas comparaciones, la “otra serie” es la divergente. El que no le importan los límites. El que sigue creciendo. Para siempre. Sin techo. Sin muro.

Simplemente expansión sin fin.

¿Cuál da más miedo? ¿Lo que nunca podrás alcanzar? ¿O lo que nunca deja de llegar?

A las matemáticas siempre les han gustado los buenos giros argumentales. ¿Crees que lo tienes resuelto? Piensa de nuevo. Tomemos como ejemplo la serie conocida como Divergente: No tiene límites. Si sigues añadiendo términos, la suma no sólo crece. Explota. Se vuelve mayor que cualquier valor que pueda elegir. Es un tren desbocado y sin frenos.

Luego está la paradoja de los números pares. Es un dolor de cabeza que rompe tu intuición.

Hay tantos números pares naturales como números pares e impares combinados.

Piensa en eso.

El conjunto de los números pares es un subconjunto del total de los números naturales. En nuestro mundo finito, el todo es siempre mayor que sus partes. No puedes tener 5 manzanas y tener la misma cantidad de manzanas si solo cuentas las rojas. ¿Pero el infinito? A Infinity no le importan tus reglas.

Esta contradicción no es un error. Es una característica de colecciones infinitas.

Dado que ambos son infinitos, son iguales tanto a efectos prácticos como matemáticos.

Se siente mal. Parece mal. Pero matemáticamente, si puedes emparejar cada elemento de un conjunto con un elemento único de otro, tendrán el mismo tamaño. Puedes asignar los números naturales (1, 2, 3…) a los números pares (2, 4, 6…) uno a uno. Sin sobras. Sin huecos.

Aquí el todo no es mayor que sus partes. Las partes son el todo.

Aquí es donde la lógica humana choca contra una pared. Evolucionamos para contar bayas y detectar depredadores, no para navegar en las profundidades abstractas de conjuntos interminables. Cuando se trata de un número infinito de objetos, la igualdad pasa a un segundo plano frente a la correspondencia.

Entonces, ¿es una paradoja? Técnicamente. Contradice la antigua noción de que el todo es mayor que cualquier parte. Pero es sólo una contradicción si insistes en aplicar reglas finitas a un lienzo infinito.

Una vez que aceptas que el infinito se comporta de manera diferente, la “contradicción” desaparece. Es simplemente un tipo diferente de igualdad.

¿Por qué te importa esto? No es sólo jerga académica. Es la base del cálculo, de la comprensión de las tasas de cambio, de cómo modelamos el universo. Sin comprender que algunas cosas no cuadran en el sentido tradicional, la física moderna se queda estancada en el barro.

Pero sigue siendo extraño.

Puedes seguir dividiendo una línea por la mitad para siempre. Nunca llegarás al final. Nunca terminarás. Y, sin embargo, llegas allí.

¿Cómo concilias eso con la forma en que te mueves por el mundo? No lo haces. Simplemente acepta las matemáticas y sigue adelante.

Zenón de Elea en realidad no creía que Aquiles nunca pudiera atrapar a la tortuga. Simplemente le encantaba una buena trampa lógica.

Alrededor del año 450 a. C., formuló cuatro argumentos diseñados para romper el cerebro. La configuración es sencilla. Aquiles corre con una tortuga. La tortuga tiene ventaja. Zenón sostiene que Aquiles nunca podrá alcanzarlo. ¿Por qué? Porque antes de llegar al lugar donde estaba la tortuga, la tortuga se ha movido a un nuevo lugar. Y luego otro. Y otro. Pasos infinitos. Sin línea de meta.

Es un sofisma. Un truco. Zenón sabía que era defectuoso. Su objetivo no era demostrar que el movimiento era imposible. Fue para exponer fallas en nuestra forma de pensar sobre el espacio y el tiempo.

Las otras tres paradojas tocan notas similares. La Dichotomía afirma que el movimiento ni siquiera puede comenzar. Primero tienes que cruzar la mitad de la distancia, luego la mitad, para siempre. La Flecha sostiene que en cualquier instante, una flecha voladora en realidad está inmóvil. Si el tiempo está hecho de instantes y está quieto en cada instante, nunca se mueve. Luego está el Estadio, que altera tu sentido de los intervalos de tiempo. Sugiere que una duración corta es igual a una larga. Sólo para mantenerte desequilibrado.

Estos no eran sólo juegos de palabras. Estaban sondeando los límites de los límites y el infinito. Conceptos tan resbaladizos que permanecieron sin resolver durante milenios. Hubo que esperar hasta el siglo XIX para que las matemáticas se pusieran al día. Finalmente llegó un análisis riguroso. La teoría de números transfinitos consiguió una base. Sólo entonces podríamos explicar adecuadamente por qué los infinitos pasos de Zenón en realidad no impiden que Aquiles gane la carrera.

Pero cambiemos de tema. Pasa de la antigua Grecia a tu clase de álgebra en la escuela secundaria.

Las falacias algebraicas comunes operan sobre principios similares de trampas ocultas. Generalmente rompen uno o más de estos supuestos básicos:

Comienza con una simple contradicción. Crees que estás haciendo álgebra. Usted no es. Estás construyendo un castillo de naipes en medio de un huracán.

Tome la variable a. Y variable b. Cosas estándar. Pero luego las reglas cambian. De repente, a tiene que ser más grande que b. Y también más pequeño que b. Al mismo tiempo. Esto no sólo está mal. Es imposible. Es una violación de la realidad básica. No puedes estar tanto por encima como por debajo de la línea.

Ese es el primer ejemplo de un error lógico. Una ruptura limpia y dura.

Luego está el segundo tipo de error. El desordenado. La “erección afortunada”.

No, eso no es un error tipográfico. Ese es un término. Se refiere a una operación ilegal. Tienes suerte. Te topas con un resultado que parece correcto pero que está fundamentalmente roto. Es un truco. Una solución alternativa que no se sostiene. No estás resolviendo la ecuación. Estás fingiendo la solución.

Y sabrás que es falso porque no sobrevivirá al escrutinio. Los números no cuadrarán. La lógica colapsará. Al igual que a no puede ser al mismo tiempo mayor y menor que b.

Estos no son sólo errores tipográficos. Son fallas estructurales. Si construyes sobre ellos, todo se derrumba.

La obsesión pitagórica por las formas numéricas

Los números no son sólo símbolos abstractos. Para los pitagóricos, alrededor del año 500 a. C., tenían personalidad. Tenían forma.

Esta fascinación no era nueva. Los antiguos eruditos chinos probablemente conocían estos conceptos. En el siglo XV aparecieron en libros de aritmética. Pero los antiguos griegos fueron más allá. Creían que todo se podía explicar con números. Y esos números tenían características específicas.

Esto llevó al descubrimiento de los números poligonales. También conocidos como números figurados, representan cuentas dispuestas en figuras geométricas. Es un concepto que hoy suena simple. Pero en aquel entonces fue una revelación.

Los números estaban dotados de características y personalidades específicas.

Toma el triángulo. Es la forma más básica. El primer número triangular es 1. El segundo es 3. El tercero es 6. Luego 10. Luego 15. Luego 21.

Visualízalo.

Puntos o puntos dispuestos en forma de triángulo.

No es sólo una lista. Es un patrón visual.

Pero ¿por qué esto les importaba tanto a Pitágoras y sus seguidores?

Porque veían el universo como matemático. Si puedes asignar un número a una forma física, habrás encontrado una parte de la verdad. No se trataba sólo de contar. Se trataba de estructura.

Esta idea provocó siglos de exploración. Los matemáticos no se detuvieron en los triángulos. Buscaron plazas. Pentágonos. Hexágonos. Cada forma reveló nuevas relaciones.

Los pitagóricos reconocieron que los números tenían “formas”.

Esta idea cambió nuestra forma de pensar sobre la aritmética. No se trataba sólo de suma y multiplicación. Se trataba de geometría.

Y empezó con puntos.

Si observas de cerca una secuencia de números triangulares (1, 3, 6, 10), encontrarás un patrón geométrico oculto que explica por qué los cuadrados son tan comunes en la naturaleza y las matemáticas. La relación no es arbitraria. Es estructural.

Los números cuadrados, que son los cuadrados de números naturales como 1, 4, 9, 16 y 25, tienen una representación visual. Se pueden organizar en conjuntos de puntos cuadrados perfectos. Esta prueba visual se muestra a menudo en la introducción a la geometría, pero la conexión más profunda está en otra parte.

La conexión del triángulo al cuadrado

La verdadera magia ocurre cuando combinas números triangulares adyacentes. Toma los dos primeros números triangulares: 1 y 3. Súmalos. El resultado es 4. Ese es un número cuadrado.

Ahora prueba el siguiente par. El segundo número triangular es 3. El tercero es 6. Súmelos. Obtienes 9. Otro cuadrado.

Esto no es una coincidencia. La suma de dos números triangulares adyacentes cualesquiera siempre es igual a un número cuadrado.

“La suma de dos números triangulares adyacentes cualesquiera es siempre un número cuadrado.”

Esta verdad geométrica explica por qué los cuadrados aparecen con tanta frecuencia en los sistemas de conteo. No se trata sólo de elevar al cuadrado una variable. Se trata de apilar formas. Si organizas puntos en un triángulo y luego colocas otro triángulo un poco más grande al lado, encajarán perfectamente para formar un cuadrado más grande.

Esta propiedad vincula la teoría de números directamente con el espacio visual. Convierte la aritmética abstracta en un rompecabezas físico. No necesitas calculadora para verlo. Sólo necesitas dibujarlo.

Y es por eso que seguimos volviendo a estas formas básicas. Son los pilares de todo lo demás.

Por qué los números oblongos son importantes en las matemáticas de la cultura pop

No se ven números oblongos mencionados en todos los guiones de las películas, pero se esconden a simple vista cada vez que una película trata sobre cuadrículas, matrices o incluso simplemente geometría básica. Piensa en ellos como primos rectangulares de los números triangulares. No son sólo conceptos abstractos. Son números enteros específicos que representan puntos dispuestos en un rectángulo donde un lado es exactamente una unidad más largo que el otro.

La secuencia comienza pequeña. 2, 6, 12, 20, 30. Bastante simple. Pero mira más de cerca. Cada número es el producto de dos números enteros consecutivos. 1 por 2 es igual a 2. 2 por 3 es 6. 3 por 4 da 12. Es un patrón que se repite con precisión mecánica.

“Los números oblongos se forman duplicando cualquier número triangular.”

Esta relación es clave. Si tomas un número triangular (como 1, 3, 6, 10) y lo duplicas, obtienes un número oblongo. 1 duplicado es 2. 3 duplicado es 6. 6 duplicado es 12. Las matemáticas se mantienen. Es un vínculo directo entre dos formas fundamentales en la teoría de números.

Algunos podrían preguntarse por qué esto es importante fuera de un libro de texto. No es así. No precisamente. Pero es divertido saber que 20 no es sólo una edad o un año al azar. Es 4 por 5. También es 2 más 4 más 6 más 8. La suma de los primeros cuatro números pares. Ésa es la segunda forma de construir estas figuras. Puedes multiplicar pares consecutivos o apilar números pares. Ambos caminos conducen al mismo destino oblongo.

No se trata sólo de puntos en una página. Se trata de estructura. Los rectángulos en todas partes (desde la relación de aspecto de una pantalla de cine hasta el diseño de una hoja de cálculo) se basan en este tipo de pensamiento proporcional. Los números oblongos son la columna vertebral matemática de esa proporción. Son el orden oculto detrás del caos de las formas cotidianas.

La geometría de los números impares

Piense en un gnomon como una forma de L geométrica. No es sólo un garabato aleatorio. Refleja el ángulo recto de una escuadra de carpintero. Los pitagóricos no sólo utilizaban estas formas como decoración. Los trataron como bloques de construcción.

Las matemáticas son sorprendentemente simples una vez que ves el patrón.

Comience con un cuadrado pequeño. Agrega un gnomon. Obtienes un cuadrado más grande. Los números siguen un ritmo estricto. Puedes construir cuadrados apilando estas formas en otras más pequeñas. Esto les permitió deducir interrelaciones complejas sin el álgebra moderna.

Considere la secuencia de cuadrados.

• 1 al cuadrado más 3 es igual a 2 al cuadrado
• 2 al cuadrado más 5 es igual a 3 al cuadrado
• 3 al cuadrado más 7 es igual a 4 al cuadrado

Es una reacción en cadena. Pero hay otra manera de verlo.

Puedes sumar números impares consecutivos para llegar a un cuadrado perfecto.

• 1 más 3 es igual a 3 al cuadrado
• 1 más 3 más 5 es igual a 4 al cuadrado
• 1 más 3 más 5 más 7 es igual a 5 al cuadrado
• 1 más 3 más 5 más 7 más 9 es igual a 6 al cuadrado

La lista continúa. Es elegante. Está limpio.

Esta propiedad específica de los gnomons en las matemáticas pitagóricas probablemente provocó el descubrimiento del teorema más famoso de la historia. Pitágoras no descubrió por casualidad la relación entre los lados de un triángulo rectángulo. Estaba contemplando números cuadrados.

Se dio cuenta de que al sumar un cuadrado impar a un cuadrado par se podía formar un tercer cuadrado. La prueba visual estaba ahí, en las formas de L.

a al cuadrado más b al cuadrado es igual a c al cuadrado.

La geometría explicaba el álgebra. O mejor dicho, la geometría era el álgebra. No tenían símbolos para las variables. Tenían formas. Y esas formas contaban una historia sobre números.

¿Por qué importaba tanto? Porque vinculaba la suma con la multiplicación. Vinculaba líneas a áreas. Convirtió el conteo abstracto en un espacio tangible.

El gnomon fue la clave. Abrió la puerta para comprender cómo crecen los números. Cómo encajan. Cómo crean estructura a partir del caos.

Es extraño pensar que una forma de L tan simple tenga tanto poder. Pero, de nuevo, la simplicidad es a menudo donde se esconden las verdades más profundas.

Las matemáticas se vuelven extrañamente específicas aquí. Estamos ante un caso en el que $a^2 + b^2 = c^2$, pero con un inconveniente: $a^2$ es igual a $b + c$. Es una porción de nicho de ternas pitagóricas. Sin embargo, los griegos no se limitaron a los triángulos rectángulos. Estaban obsesionados con las formas. Números pentagonales. Números hexagonales. Mapearon patrones geométricos directamente en álgebra. No era arte abstracto. Era aritmética con aristas.

Estos caen bajo el paraguas más amplio de los números figurados. Los números poligonales son solo un subconjunto. La lista comienza con secuencias aritméticas simples, pero el patrón se mantiene.

Las sumas de estas series no producen progresiones aritméticas simples. Construyen algo más estructurado. Obtienes números poligonales. Específicamente números triangulares y cuadrados. Pero las matemáticas no se detienen en dos dimensiones.

De polígonos a pirámides

Suma estas secuencias nuevamente y subirás a las tres dimensiones. Los resultados son números figurados. Los llamamos números piramidales.

Esto no es sólo curiosidad histórica. Estos números se conectan directamente con la teoría de números moderna. Incluso las propiedades básicas de los números enteros pueden requerir maquinaria pesada para explicarse.

Toma esta regla. Cada número entero cae en una de tres categorías. Es:

1. Un número triangular.
2. La suma de dos números triangulares.
3. La suma de tres números triangulares.

La prueba es elegante pero compleja. Así es como se ve en la práctica.

“8 = 1 + 1 + 6”
“42 = 6 + 36”
“43 = 15 + 28”
“44 = 6 + 10 + 28”

Cuatro son seis. Esperar. No. Catorce es igual a seis más ocho. Son dos triángulos. Pero cuatro cuatro requieren tres. Seis más diez más veintiocho.

Triples pitagóricos

Pasar de sumas a cuadrados. El teorema de Pitágoras abre puertas que no sabías que existían. Una terna pitagórica proviene de los lados de un triángulo rectángulo con longitudes enteras.

Encuentre tres números enteros positivos a, b y c donde:

a ² + b ² = c ²

Si esos números no comparten ningún factor común, forman un triple pitagórico primitivo. Relativamente excelente. Ésa es la limitación clave.

Necesitamos una manera de generarlos todos. No solo encuentre uno o dos. Todos.

Hay una fórmula. Funciona para generar todas las triplas pitagóricas primitivas.

Si m y n son enteros positivos con m > n, y m y n son primos relativos, y uno es par mientras el otro es impar, entonces:

a = m ² – n ²
b = 2m n
c = m² + n*²

Pruebe m = 2, n = 1.

un = 4 – 1 = 3
b = 2(2)(1) = 4
c = 4 + 1 = 5

3, 4, 5. El clásico triple.

Pruebe m = 3, n = 2.

un = 9 – 4 = 5
b = 2(3)(2) = 12
c = 9 + 4 = 13

5, 12, 13.

Parece bastante simple hasta que intentas demostrar que cubre todos los casos posibles sin duplicados. Las condiciones de m y n son estrictas. Filtran los conjuntos no primitivos. Garantizan el estatus primitivo.

¿Por qué nos preocupamos por los generadores? Porque una vez que tienes el generador, tienes la estructura. Puedes rastrear hasta cualquier triplete.

La fórmula para generar estos triples se basa en elegir dos números enteros específicos, p y q, y seguir un estricto conjunto de reglas. No se trata sólo de elegir dos números cualesquiera. Tienes que tener cuidado.

La primera regla es que p y q deben ser primos relativos. Eso significa que no comparten más factores comunes que uno. La segunda regla es aún más específica: no pueden ser ambos pares y tampoco pueden ser ambos impares. Esto obliga a uno a ser par y al otro a ser impar. Finalmente, debes elegir que p sea mayor que q.

Cuando alcanzas todas estas marcas, las matemáticas encajan en su lugar.

Por qué es importante la paridad en la triple generación

Este requisito par-impar no es arbitrario. Si p y q fueran ambos impares, los cuadrados resultantes crearían una suma divisible por 4, lo que daría lugar a un triple donde todos los lados comparten un factor de 2. Eso rompe la condición “primitiva”. Lo mismo sucede si ambos son pares, ya que puedes simplemente dividir los 2.

Al forzar una entrada par y una impar, te aseguras de que los lados de salida no compartan un divisor común. El resultado es una tripla pitagórica primitiva.

Ejemplos de triples generados

Elegir p y q apropiadamente produce conjuntos clásicos. Por ejemplo, si elige p = 2 y q = 1:

• El primer lado se convierte en $p^2 – q^2 = 3$
• El segundo lado se convierte en $2pq = 4$
• La hipotenusa se convierte en $p^2 + q^2 = 5$

Obtienes el triángulo 3-4-5. Es el más básico. Todo el mundo lo sabe. Pero funciona porque 2 y 1 son coprimos y de paridad mixta.

Pruebe p = 3 y q = 2.

• Lado A: $9 – 4 = 5$
• Lado B: $2(3)(2) = 12$
• Hipotenusa: $9 + 4 = 13$

Eso te da 5-12-13. Otro conjunto primitivo.

El patrón se mantiene. Sólo necesita encontrar esos pares coprimos con paridad mixta y observar cómo se desarrolla la geometría.

Se podría pensar que los triples pitagóricos primitivos están dispersos al azar a lo largo de la recta numérica, pero no es así. Sólo hay un caso en el que se obtienen tres números enteros consecutivos que forman un triple. Es el clásico 3, 4, 5. Eso es todo.

Una vez que superas esa única anomalía, las reglas se vuelven interesantes. Incluso en una tripleta primitiva estándar donde a y b son los catetos y c es la hipotenusa, siempre se aplican restricciones aritméticas modulares específicas. Puedes contar con ello.

Divisibilidad entre 3, 4 y 5

Uno de los catetos, ya sea a o b, siempre será divisible por 3. El otro cateto siempre será divisible por 4. Y si miras los tres lados, uno de ellos tiene que ser divisible por 5. Esto no es solo una coincidencia para números pequeños. Es una regla estructural.

Debido a esto, el producto de los tres lados (abc ) siempre es divisible por 60. Es un patrón limpio y predecible en un campo que a menudo parece caótico.

El número 7

Luego están 7. Es un poco más complicado. Una de las siguientes cantidades debe ser divisible por 7:
* un
* b
* a + b
* a – b

No siempre son los propios bandos. A veces es la suma o la diferencia. Pero el 7 siempre aparece en una de esas formas.

También hay una fórmula que genera ternas pitagóricas válidas para cualquier número entero n. Si ingresa un número, obtendrá:
1. 2n + 1
2. 2n ² + 2n
3. 2n ² + 2n + 1

Estos siempre forman un triángulo rectángulo. Es una forma confiable de generar triples sin memorizar listas.

Las limitaciones de la antigua Grecia

Los griegos sabían algo de esto mucho antes de que tuviéramos calculadoras. Sabían que la hipotenusa de un triple primitivo es siempre un número entero impar. No tenían todas las pruebas modernas, pero tenían la intuición.

Hoy tenemos una condición precisa. Un entero impar R sirve como hipotenusa de un triple primitivo si y sólo si cada factor primo de R tiene la forma 4k + 1. Esto restringe qué números impares pueden aparecer en esa posición. Elimina la mitad de las probabilidades desde el principio.

Números perfectos y primos de Mersenne

La mayoría de los números enteros son abundantes o deficientes. La distinción es simple. Un número abundante tiene divisores propios (excluyéndose a sí mismo) que suman más que el número. Los divisores propios de un número deficiente suman menos.

Un número perfecto se encuentra justo en el medio. Es igual a la suma de sus divisores propios.

Tomemos como ejemplo 24. Sus divisores (1, 2, 3, 4, 6, 8, 12) suman 36. Es abundante.
Tomemos 32. Sus divisores propios suman 31. Es deficiente.

Entonces tienes 6. 1 + 2 + 3 = 6. Perfecto.
Entonces 28. 1 + 2 + 4 + 7 + 14 = 28. También perfecto.

Los dos siguientes son 496 y 8.128. Los antiguos conocían los primeros cuatro. No sabían si la lista continuaba para siempre o si la siguiente tenía un millón de dígitos.

Euclides y Euler

Euclides hizo una suposición. Sugirió que los números de la forma 2n -1(2n -1) son perfectos, siempre que 2n -1 sea primo. Tenía razón sobre la generación, pero no demostró que fuera la única manera.

Esa prueba llegó mucho más tarde. En el siglo XVIII, Leonhard Euler demostró que todo número par perfecto debe ajustarse a la fórmula de Euclides. Entonces, si buscas un número par perfecto, solo necesitas mirar los números primos de Mersenne.

Un número de Mersenne es cualquier número de la forma 2n -1, que lleva el nombre de Marin Mersenne. Estos pueden ser primos o compuestos. Para que 2n -1 sea primo, n mismo debe ser primo. Es una condición necesaria, aunque no suficiente. Sólo porque n sea primo no significa que 2n -1 lo sea. Pero si 2n -1 es primo, n tiene que serlo.

Esto crea una correspondencia uno a uno. Todo primo de Mersenne produce un número par perfecto. Todo número par perfecto proviene de un primo de Mersenne.

Encontrando a los gigantes

Hasta la era de las computadoras, encontrarlos era una tarea manual. Durante mucho tiempo sólo se conocieron 12 números perfectos. Luego Édouard Lucas nos dio una prueba de primalidad para los números de Mersenne en 1876.

Raphael M. Robinson realizó esa prueba y la ejecutó en las primeras computadoras digitales electrónicas. En 1952, había encontrado números primos de Mersenne para valores n de 521, 607,

El problema del conejo que empezó todo

Es fácil olvidar que la secuencia de Fibonacci no comenzó en un aula de informática. Comenzó con un libro. En 1202, Leonardo de Pisa, más conocido por su apodo, Fibonacci, publicó Liber abaci. Este no era simplemente un aburrido manual de matemáticas. Fue un punto de inflexión para el comercio europeo, al introducir los números hindú-árabes en un continente que todavía estaba atascado en los números romanos. Pero escondido dentro de ese serio texto financiero había un pequeño y tonto acertijo sobre la cría de conejos.

La pregunta era lo suficientemente sencilla como para explicarla durante la cena. Imagina que empiezas con un solo par de conejos. Cada mes, ese par produce un nuevo par. Aquí está el truco: los recién nacidos no comienzan a reproducirse hasta los dos meses de edad. Entonces, en el primer mes, tienes un par. En el segundo, tienes la pareja original más sus bebés. En el tercero, la pareja original tiene otra camada y los primeros bebés ahora son lo suficientemente maduros para tener la suya propia.

Haz los cálculos. No es difícil. Obtienes una cadena específica de números que sigue apareciendo en la naturaleza, el código y el arte.

Cómo se desarrolla la secuencia

Veamos la progresión. Es recursivo, que es una forma elegante de decir que cada número es la suma de los dos anteriores.

• Mes 1: 1 par (el original)
• Mes 2: 2 parejas (la original más la primera cría)
• Mes 3: 3 parejas (original, primera cría, segunda cría)
• Mes 4: 5 pares

La secuencia es 1, 1, 2, 3, 5, 8, 13, 21, etc. Está limpio. Es lógico. Y está en todas partes una vez que sabes dónde buscar.

Las infinitas propiedades de los números de Fibonacci

¿Esa segunda fila? Es el acto de apertura de la secuencia que ahora llamamos de Fibonacci. Cada número después de los dos primeros es simplemente la suma de los dos anteriores. Matemáticas sencillas. x _n = x _n-1 + x _n-2. Pero nadie supo que esta regla era la clave hasta aproximadamente 1600.

La verdadera explosión de interés se produjo más tarde. En concreto, las décadas centrales del siglo XX. Los investigadores profundizaron en las propiedades de estos números con un vigor que produjo una montaña de literatura. Y se siente como si el pozo no tuviera fondo. Las identidades siguen apareciendo. Tomemos este, por ejemplo: x _n+1 · x _n−1 = x _n ² + (−1)ⁿ. Es elegante. Es persistente.

Luego está Édouard Lucas. Tenía su propia fórmula para generar estos mismos números. Un ángulo diferente sobre el mismo rompecabezas infinito.

Las matemáticas detrás de la proporción mágica

Comienza con un número que se niega a ser simple. La proporción áurea, Phi (Φ), es aproximadamente 1,618. Su recíproco es 0,618. Ambas provienen de las raíces de x ² − x − 1 = 0. Esta ecuación se remonta a Luca Pacioli. Un matemático italiano del siglo XV. Lo llamó la Divina Proporción. La fórmula es a /b = b /(a + b ). Cuando a es menor que b. Establece x en b /a y llegarás allí.

Se trata de dividir una línea. Divídalo de modo que la parte más pequeña se relacione con la más grande exactamente como la parte más grande se relaciona con el todo. Los diseñadores antiguos lo sabían. Los arquitectos modernos también lo utilizan. Un rectángulo con lados en una proporción de 3:5 se siente bien. O 8:5. Es estéticamente agradable. Muy agradable, dicen algunos.

Poderes de Phi

Eleva a Phi a poderes sucesivos. La secuencia se desarrolla. Comienza con números específicos que reflejan la proporción misma.

Quizás no esperes una referencia a la cultura pop cuando miras a los radicales, pero hay un patrón oculto en la raíz cuadrada de cinco. No es magia. Es simplemente que las matemáticas son matemáticas.

Los coeficientes de esta secuencia son los famosos números de Fibonacci. Tú los conoces. Uno, uno, dos, tres, cinco, ocho. Se despliegan como un latido del corazón.

Mire más de cerca los paréntesis. Los segundos términos siguen un ritmo diferente. La secuencia de Lucas. Comienza con uno, tres. Luego cuatro, siete, once, dieciocho. Se siente familiar. Es.

La secuencia de Lucas comparte el mismo latido recursivo que Fibonacci. Cada número es la suma de los dos anteriores. La fórmula es sencilla. $x_n = x_{n-1} + x_{n-2}$.

Es un buen truco. Un huevo de Pascua matemático para cualquiera a quien le gusten los patrones. La próxima vez que veas √5, piensa en los números escondidos en los decimales. Están ahí, esperando a ser contados.

Comience con un rectángulo dorado etiquetado como ABCD. Corta un cuadrado llamado ABEF. ¿Qué queda? Rectángulo ECDF. Es otro rectángulo dorado. Mismas proporciones. Diferente tamaño. Si sigues así, los cuadrados se hacen más pequeños. Las esquinas se alinean. Dibuja arcos circulares a través de ellos. El resultado no es un círculo perfecto. Es una espiral logarítmica.

La naturaleza ama esta forma. Lo ves en las conchas de nautilos. Lo ves en los huracanes. Las matemáticas detrás de esto son claras. La ecuación r = k Θ gobierna esta curva en coordenadas polares. La constante k se define como Φ²/π. Phi al cuadrado dividido por pi. Es una relación precisa entre crecimiento y ángulo.

Pero la geometría no está sólo en el papel. Está en el jardín. Los números de Fibonacci explican la filotaxis. Ése es el término elegante para describir cómo las plantas organizan sus partes. Mira una piña. Cuente los verticilos. Mira una piña. Las espirales se cruzan en los números de Fibonacci. ¿Cabezas de girasol? Lo mismo. Los pétalos no crecen al azar. Siguen una secuencia.

Por qué las plantas siguen las reglas de Fibonacci

Esto no es una coincidencia. Es eficiencia. La secuencia específica de fracciones mencionada anteriormente ayuda a que las semillas se empaqueten firmemente. Garantiza la máxima exposición a la luz. Las ramas de algunos tallos siguen esta misma lógica. Evitan hacerse sombra unos a otros. La planta optimiza su estructura.

La espiral que se ve en la Figura 4 se aproxima a ese crecimiento natural. Es una aproximación porque la naturaleza es desordenada. La biología no sigue líneas. Sigue tendencias. La proporción áurea aparece en el espaciamiento de las hojas. Aparece en la disposición de las semillas. Es un patrón que se repite entre especies.

Algunos podrían argumentar que es sólo un atractivo visual. Pero las matemáticas se mantienen. La espiral logarítmica permite la expansión sin cambiar de forma. Una hoja crece. No distorsiona. Se escala. La secuencia de Fibonacci proporciona los pasos enteros para esta escala. Es un crecimiento discreto en un mundo continuo.

La conexión entre matemáticas y biología

¿Cómo sabe una semilla que crece en espiral? No es así. La física de la división celular favorece estos ángulos. El ángulo de divergencia se acerca al ángulo áureo. Esto minimiza la superposición. Maximiza el espacio. El resultado parece una espiral de Fibonacci. Es uno.

No necesitas un título en botánica para detectarlo. Basta con mirar la próxima piña que compre. O el próximo girasol. Los números están ahí. Incrustado en la estructura. El rectángulo dorado es sólo la abstracción geométrica. La planta es la realidad física. Son dos caras de una misma moneda. Uno dibujado con un compás. Uno cultivado en el suelo. Ambos siguen la misma regla subyacente.

Las ilusiones ópticas no son sólo trucos de salón. Son acertijos matemáticos disfrazados de ruido visual. Las matemáticas detrás de ellos a menudo se basan en principios geométricos básicos. En concreto, la proporcionalidad entre las áreas de figuras semejantes y los cuadrados de sus dimensiones lineales. Pero no todo son ecuaciones. Hay una capa fisiológica aquí. Su cerebro percibe longitudes relativas con mayor precisión que áreas relativas. Esa brecha en la percepción es donde vive la ilusión.

Estamos hablando de una perspectiva poco ortodoxa. Ángulos distorsionados. Sombreado engañoso. Cuando yuxtapones colores de formas inusuales, se desencadena una aberración cromática. Siguen imágenes residuales. Para profundizar en estos mecanismos, busque entradas sobre ilusiones y alucinaciones. Pero la geometría se vuelve más extraña cuando dejas de mirar imágenes estáticas y empiezas a mirar trampas lógicas.

La geometría de la mentira

Hay famosas “pruebas” en geometría que pretenden mostrar absurdos. Son falacias. Y son seductores porque siguen una estructura lógica, sólo que con un defecto fatal.

Consideremos la afirmación de que todo triángulo es isósceles. Suena mal. Está mal. Sin embargo, algunas “pruebas” le convencen de lo contrario. Luego está la afirmación de que todo ángulo es recto. O la idea de que si tienes un cuadrilátero ABCD donde el lado AB es igual al lado CD, entonces AD debe ser paralelo a BC. Es falso. Puedes construir una forma que se ajuste a la descripción sin ser un paralelogramo. La más escandalosa afirma que cada punto del interior de un círculo se encuentra en el círculo mismo.

¿Cómo funcionan estas falacias? No usan magia. Utilizan errores sutiles.

Las explicaciones de estas pruebas falsas suelen reducirse a algunos trucos recurrentes. Primero, hay una construcción defectuosa. El diagrama está ligeramente dibujado, ocultando la contradicción. En segundo lugar, es una violación de los principios lógicos. Una común es asumir la verdad de lo contrario. Si A implica B, eso no significa que B implique A. Confundir inversos o inversos parciales es una trampa clásica.

A veces, es una mala interpretación de una definición. La prueba ignora las condiciones “necesarias y suficientes”. Se necesita una condición que es requerida pero no suficiente para probar la afirmación completa. Y luego está el elemento humano. Demasiada dependencia de los diagramas y la intuición. Confiamos en nuestros ojos sobre la lógica. Quedamos atrapados en procesos limitantes y apariencias engañosas. El cerebro ve lo que espera ver.

Cuando las formas no tienen salida

Esto lleva directamente a cifras imposibles. Estos no son sólo trucos ópticos donde se cruzan líneas. Son estructuras que no pueden existir en el espacio tridimensional.

Pensemos en el triángulo de Penrose. Tres varillas forman un triángulo. Cada esquina parece una junta estándar de 90 grados. Júntelos y formarán un bucle. Tu cerebro intenta resolver las señales de profundidad. Asigna un frente y un reverso a cada borde. Pero los bordes no se conectan. La figura exige una topología que rompa las reglas de la geometría euclidiana.

Estas recreaciones son pesadillas topológicas. Obligan al ojo a seguir una línea continua que, si se trazara en el espacio real, tendría que atravesarse a sí misma o doblarse de manera que desafíe las limitaciones físicas. Artistas y matemáticos los utilizan para resaltar los límites de la interpretación perceptiva. Muestran que tu cerebro es una máquina de predicción, no una cámara. se llena

La trampa de la geometría imposible

Mira la Figura 5. Tu cerebro quiere aceptarlo. Ve objetos 3D plausibles. Sólido. Real. Pero si te acercas más, la ilusión se hace añicos. Estos dibujos mienten. Se basan en perspectivas erróneas, yuxtaposiciones extrañas o trucos psicológicos directos. No puedes construirlos. No existen en el espacio.

Son cifras indecidibles.

Oscar Reutersvard no se limitó a incursionar en paradojas visuales. Los hizo suyos. El artista sueco convirtió estas formas imposibles en el acontecimiento principal de una serie de sellos postales. Era temprano. Fue audaz. Y demostró que un sello postal podría ser la puerta de entrada a una geometría que se niega a funcionar.

La Escalera Infinita y la Lógica de la Paradoja

Comenzó en 1958. L.S. Penrose, un genetista británico, y su hijo Roger Penrose, un físico matemático, presentaron al mundo bucles extraños. No eran sólo trucos visuales. Eran cifras indecidibles.

Tome la escalera de la plaza Penrose. Puedes caminar en cualquier dirección para siempre. Nunca llegas más alto. Nunca bajas. Es un ciclo interminable. MC Escher tomó este concepto y lo puso en práctica. Su litografía de 1960 Ascending and Descending muestra a monjes recorriendo este camino imposible. Cascada (1961) muestra el agua desafiando la gravedad, dando vueltas sobre sí misma. Estos no son sólo arte. Son pruebas visuales de paradojas lógicas.

Extraños bucles tocan el infinito. Reflejan declaraciones autorreferenciales como la de Epiménides. El filósofo afirmó que todos los cretenses eran mentirosos. Si tenía razón, estaba mintiendo. Si estaba mintiendo, tenía razón. El bucle se cierra. La lógica se rompe.

Cuando las curvas rompen las reglas

Las matemáticas tienen su propia versión de esta locura. Curvas patológicas.

Se comporta una curva continua estándar. Tiene tangentes. Tiene curvatura definida. Las curvas patológicas no. Carecen de propiedades básicas. Su tangente podría no estar definida en cada punto. Puedes rastrearlos. Puedes medir el área que encierran. Esa área es finita. ¿La longitud? Infinito.

Estas no son ilusiones ópticas. Son objetos matemáticos reales. Surgen como límites de series de construcciones geométricas. Los números convergen. Las formas no encajan del todo. Su longitud se acerca a un límite. La zona se acerca a otra. ¿Pero el objeto en sí? Es una paradoja.

“Sus idiosincrasias constituyen paradojas más que ilusiones ópticas o falacias.”

Aquí es donde las matemáticas dejan de ser intuitivas. Trazas una línea. Se vuelve infinitamente irregular. Se queda en una caja pequeña. No tiene pendiente por ningún lado. Es una curva que se niega a ser curva.

Vemos esto en los pasos de Penrose. Lo vemos en las prisiones de Escher. Lo vemos en las matemáticas que los sustentan. La longitud infinita dentro de un espacio finito. La dirección que no lleva a ninguna parte. No es un error. Es una característica.

La pregunta no es cómo solucionarlo. Es lo que sucede cuando aceptas el bucle. ¿Sigues caminando? ¿Dejas de intentar encontrar el final?

La curva continúa.

La geometría del perímetro infinito y el espacio finito

Tomemos como ejemplo el copo de nieve de Koch. Comienza con un triángulo equilátero simple. Trisecciona cada lado. Reemplace ese tercio medio con dos lados de un triángulo equilátero más pequeño que apunte hacia afuera. Hazlo de nuevo. Y otra vez. El proceso se repite infinitamente. Los dos primeros pasos son visibles en la Figura 7, y muestran cómo la forma se vuelve más irregular, más nítida y más compleja con cada iteración.

Aquí está el giro. El perímetro crece sin límite. Va hasta el infinito. Sin embargo, el área que encierra sigue siendo finita. Se acerca a un techo específico. Ese límite superior es exactamente 8/5 del área del triángulo original.

Piensa en eso. Tienes un límite infinitamente largo que rodea una cantidad finita de espacio. Desafía la intuición de que líneas más largas significan más área. La curva de Koch demuestra que están equivocados.

Llenando espacio con una línea que no debería encajar

Desafía la geometría básica. Una curva es unidimensional. Tiene largo pero no ancho. No debería poder cubrir un área bidimensional. Sin embargo, la construcción de la Figura 8 demuestra lo contrario. Si sigues pasando por las etapas. El resultado final llega a todos los puntos del cuadrado.

Esto no es un truco. Las matemáticas se mantienen. La curva llena el espacio.

De cuadrados a cubos

Puedes ampliar esta lógica aún más. No se limita a superficies planas. Aplicando el mismo razonamiento. La curva puede llenar un cubo entero. Tres dimensiones. Una línea continua. Suena imposible hasta que ves las matemáticas funcionar.

La curva de Sierpinski es una bestia extraña. Comienza como un simple cuadrado, pero si llevas el proceso de construcción lo suficiente, se convierte en algo completamente distinto. Contiene todos los puntos dentro de ese cuadrado. Forma un circuito cerrado.

Aquí está el truco. Sigue adelante. Indefinidamente.

La longitud de la curva se dispara hacia el infinito. Nunca deja de crecer. Sin embargo, el área que encierra equivale exactamente a cinco doceavos del área total del cuadrado. Es una paradoja de la geometría.

“A medida que el proceso de formación de la curva continúa indefinidamente, la longitud de la curva se acerca al infinito, mientras que el área encerrada por ella se acerca a 5/12 de la del cuadrado.”

Luego está la curva fractal. Una definición vaga funciona bien aquí. Es una forma que mantiene su patrón irregular sin importar cuánto se acerque. Piense en el copo de nieve de von Koch. Ese es el ejemplo clásico.

Observe lo que sucede en cada etapa de su construcción. El perímetro no sólo se hace más grande. Crece en una proporción específica. Cuatro a tres.

Benoit Mandelbrot cambió las reglas del juego en la década de 1950. No le gustaba la vieja idea de dimensión. Quería un nuevo símbolo. D.

Trató la dimensión como un poder. ¿A qué potencia elevas 3 para que sea igual a 4? Esa es la pregunta. La respuesta no es un número entero. Es log 4 dividido por log 3. Aproximadamente 1,26.

Ésa es la dimensión del copo de nieve. No es una línea. No es un avión. Se encuentra en algún punto intermedio.

Mandelbrot y sus compañeros empezaron a observar estas curvas “patológicas”. Estaban obsesionados con la autosimilitud. Pero no se limitaron a mirar las matemáticas. Miraron el mundo.

Las fluctuaciones aleatorias en la naturaleza crean una autosimilitud estadística. Las técnicas de Mandelbrot ayudaron a decodificar esto. Sirve para mecánica de fluidos. Geomorfología. Fisiología humana. Ciencias económicas. Lingüística.

Tomemos como ejemplo el movimiento browniano. Mira las superficies microscópicas. Vea las redes vasculares de su cuerpo. Comprueba las formas de las moléculas de polímero.

Todos estos son fractales. Comparten la misma textura áspera y repetitiva.

Laberintos

Resolviendo lo irresoluble

Pon tu mano en la pared. Mantenlo ahí. Si un laberinto tiene sólo una entrada y una salida, esta sencilla regla garantiza que encontrarás la salida. Quizás no sea la ruta más rápida. Podrías tomar un desvío. Pero llegarás allí.

¿Qué pasa si la meta está escondida dentro del laberinto? El mismo truco de la mano en la pared funciona. Hay un inconveniente. Sin circuitos cerrados. Si el laberinto contiene un bucle (una ruta que regresa al inicio), el método falla. Simplemente girarás en círculos.

Los matemáticos llaman a un laberinto sin bucles “simplemente conectado”. Si tiene bucles, está “multiplicadamente conectado”. Para navegar por estas estructuras complejas, necesita un mejor plan.

Designe cada cruce como un nodo. Etiquete las rutas como “nuevas” o “antiguas”. Así es como avanzas por el laberinto sin perderte:

• Nunca recorrer un camino más de dos veces.
• ¿Golpear un nuevo nodo? Elige una dirección.
• ¿Llegar a un nodo antiguo o a un callejón sin salida por un camino nuevo? Date la vuelta y regresa por donde viniste.
• ¿Llegar a un nodo antiguo a través de una ruta antigua? Prueba un nuevo camino. Si no existe ninguno, tome otro antiguo.

La gente ya no juega con laberintos de papel tanto como antes. La emoción se ha desvanecido. Pero dos campos modernos todavía dependen de ellos. La psicología los utiliza para estudiar la conducta de aprendizaje. La tecnología de las comunicaciones los utiliza para mejorar el diseño de las computadoras.

Cortar formas en pedazos

Las disecciones geométricas son diferentes. Implican cortar figuras en pedazos que se pueden reorganizar. Toma un rectángulo. Córtalo. Vuelva a ensamblar las piezas en un cuadrado. Hazlo al revés también.

El interés por este acertijo matemático comenzó a finales del siglo XVIII. Montucla destacó el problema. A medida que se hizo popular, el enfoque cambió. Ya no se trataba sólo de rectángulos y cuadrados. Se trataba de cualquier polígono. ¿Cómo se disecciona una forma con n lados en una forma diferente con igual área?

A principios del siglo XX, la cuestión volvió a cambiar. No bastaba con hacerlo. Había que encontrar el número mínimo de piezas necesarias. La eficiencia importaba.

Alrededor de 1960 surgió una teoría integral que definía figuras “equidescomponibles”. Dos polígonos son equidescomponibles si puedes cortar uno en un número finito de piezas y reorganizarlas para formar el otro. Deben tener áreas iguales. Obviamente.

El teorema inverso es aún más fuerte. Si dos polígonos tienen áreas iguales, son equidecomponibles. Período.

También existe el método de complementación. Agrega partes congruentes a dos figuras. Haz que las nuevas figuras sean congruentes. Estos son “equicomplementables”. También tienen áreas iguales.

La teoría se amplió. Los investigadores exploraron cómo se relaciona la equidescomponibilidad con el movimiento. Traducciones. Simetría central. Grupos de movimiento en general. Los estudios finalmente llegaron a los poliedros. Formas 3D. Preguntas mucho más difíciles. Aún se está respondiendo.

La Mecánica de la Cruz Griega

La aplicación práctica exige más que sólo teoría. Convertir una cruz griega en un cuadrado no es un simple pliegue. Necesita procedimientos ingeniosos para que funcione. La geometría se vuelve complicada rápidamente.

H. Lindgren documentó algunos de estos métodos específicos. Su trabajo es la referencia de referencia para cualquiera que realmente intente resolver este rompecabezas. Puedes encontrar los detalles en la Bibliografía. No se trata de adivinar. Se trata de seguir los pasos que realmente se mantienen unidos.

Cuadrar el cuadrado: un rompecabezas geométrico resuelto

Olvídese de los libros de texto polvorientos. La idea de que no se podía dividir un cuadrado en cuadrados más pequeños y no idénticos alguna vez fue un mito obstinado. No fue falta de intento. Los matemáticos miraron la página en blanco durante décadas. La solución no vino de compás y regla. Proviene de la teoría de redes.

Esto es rectángulos cuadrados. Un rectángulo dividido en un número finito de cuadrados. Si ninguno de esos cuadrados tiene el mismo tamaño, es perfecto. ¿El orden? Sólo el recuento de esos cuadrados.

Aquí está el truco. No existen rectángulos perfectos con menos de nueve cuadrados. Cero. Ni uno. ¿Pero en el orden nueve? Existen exactamente dos. Uno de ellos se muestra en la Figura 12. La disección de un cuadrado en cuadrados desiguales, considerada imposible ya en 1907, se informó por primera vez en 1939.

No es magia. Es topología.

Cómo los gráficos resuelven acertijos geométricos

La palabra gráfico hace tropezar a la gente. Te imaginas un gráfico de líneas. Un ticker bursátil. Una curva de geometría analítica. Equivocado. O al menos, incompleto.

En los acertijos, un gráfico es más simple. Puntos y líneas que los conectan. Gráficos lineales. Poco más. Y, sin embargo, estas toscas estructuras resolvieron un problema que había dejado perplejos a los geómetras durante más de treinta años.

¿Por qué esto importa? Porque muestra cómo las redes abstractas se mapean en el espacio físico. Tomas un rectángulo. Fuerzas los cuadrados en él. Tú sigues las conexiones. La gráfica revela la simetría oculta.

No se trata sólo de formas bonitas. Se trata de lógica. Lógica pura y sin adulterar.

“La disección de un cuadrado en cuadrados desiguales, considerada imposible ya en 1907, se informó por primera vez en 1939.”

Tres décadas de callejones sin salida. Entonces, un gran avance. No porque alguien se haya vuelto más inteligente. Sino porque dejaron de mirar los cuadrados y empezaron a mirar las líneas entre ellos.

A la gráfica no le importan los ángulos. Se preocupa por las conexiones. Ese es el secreto.

Conceptos básicos de la teoría de grafos: desde gráficos completos hasta acertijos planos

Un conjunto finito de puntos unidos por rectas forma una gráfica. Esos puntos son vértices. Las líneas que los conectan son aristas. Cuando cada vértice se conecta con todos los demás vértices, se obtiene un gráfico completo. Pero no todos los gráficos son tan simples.

Considere gráficos planos. Son figuras donde las aristas no se cruzan, excepto en los propios vértices. Las líneas no tienen por qué ser rectas. Puedes curvarlos. Esta flexibilidad permite volver a dibujar un gráfico no plano como un gráfico plano isomórfico, como se ve en las ilustraciones geométricas estándar.

No es necesario que los bordes de un gráfico sean líneas rectas. Esta distinción importa. Significa que un diagrama desordenado y con muchos cruces podría en realidad ser plano si simplemente separas las líneas.

El problema de los tres pozos y la visión de Jordan

Aquí hay un rompecabezas clásico. El problema de los “tres pozos”. Tres casas. Tres pozos. Necesitas caminos desde cada casa hasta cada pozo. Total de nueve caminos. ¿La regla? Ningún camino puede cruzarse con otro. Es imposible.

La prueba se basa en el teorema de la curva de Jordan. Una curva continua cerrada divide un plano en un interior y un exterior. Cualquier línea que conecte un punto interior con un punto exterior debe atravesar la curva. Esta realidad topológica acaba con el rompecabezas de los tres pozos.

Los gráficos planos no son sólo para acertijos. Son útiles para diseñar redes eléctricas. Las placas de circuito suelen basarse en principios planos para evitar cortocircuitos y gestionar la conectividad.

Gráficos y rutas conectados

Un gráfico conectado es sencillo. Cada vértice se conecta con todos los demás vértices mediante un arco. Un arco es simplemente una secuencia ininterrumpida de aristas.

También hay un camino. Un camino recorre el gráfico sin pasar dos veces por el mismo borde. Puedes visitar un vértice varias veces. Simplemente no reutilices el borde. Es un tipo específico de recorrido.

Las raíces de la teoría de grafos moderna se remontan a un rompecabezas del siglo XVIII que parece lo suficientemente simple como para que cualquier caminante casual lo resuelva, pero que resultó ser matemáticamente profundo. Todo comenzó con Leonhard Euler y el infame problema del puente de Königsberg. Durante décadas después, el campo estuvo dominado por un tipo específico de ruta conocida como camino euleriano. Esta es una figura que puedes dibujar sin levantar el lápiz ni volver a trazar ninguna línea.

El escenario era la ciudad de Königsberg, hoy conocida como Kaliningrado. La geografía era confusa. El río Pregel se dividió en brazos y rodeó una isla. Siete puentes conectaban las distintas masas de tierra. El desafío planteado a los ciudadanos era engañosamente sencillo. ¿Podría alguien salir de su casa, dar un paseo por estos puentes y regresar a casa habiendo cruzado cada uno exactamente una vez?

Euler demostró que era imposible. No se limitó a decir “no”. Le dio al mundo una nueva forma de ver las redes.

Las reglas de la red

La lógica de Euler se aplica a cualquier red cerrada, no sólo a ríos y puentes. La solución está en los puntos donde se cruzan las rectas.

• El número de puntos pares (nodos donde se conecta un número par de aristas) es irrelevante para la validez del camino.
• El número de puntos impares (donde se encuentran un número impar de aristas) siempre debe ser par. Esto es válido incluso si no hay puntos impares.
• Si no hay puntos impares, puedes empezar en cualquier lugar y terminar en el mismo lugar.
• Si hay exactamente dos puntos impares, debes empezar en un punto impar y terminar en el otro.
• Si hay más de dos puntos impares, un único camino continuo es imposible. Una red con $2n$ puntos impares se puede rastrear en $n$ caminos separados.

Por qué fallaron los puentes

Mire la Figura 15F. Representa la situación de Königsberg. Los puntos representan las áreas de tierra. Los bordes representan los siete puentes.

La red tiene cuatro puntos impares. Eso significa que necesitarías cuatro caminos separados para rastrearlo perfectamente. Dado que la gente quiere un único paseo continuo, el enigma no tiene solución.

Otras figuras del mismo conjunto cuentan historias diferentes. Las figuras 15B y 15C funcionan. Siguen los principios de Euler. Puedes atravesarlos usando caminos eulerianos. Las figuras 15D y 15E no funcionan. Rompen las reglas de los puntos pares e impares.

La lección se quedó. Dejamos de mirar las curvas y comenzamos a mirar las conexiones.

Se podría pensar que los acertijos en red son solo acertijos, pero en realidad se trata de combinar u organizar puntos en el espacio. Es más antiguo de lo que piensas.

Sir William Rowan Hamilton, un matemático irlandés, inventó uno en 1859. ¿El desafío? Encuentra una ruta a lo largo de los bordes de un dodecaedro regular. Había que pasar por cada punto exactamente una vez. Sin repeticiones. Sin atajos.

Más tarde, la gente hizo que jugar fuera más fácil. Cambiaron la forma 3D por un gráfico plano con 30 aristas. Misma lógica, menos plegado de cartón.

Esto es lo que llamamos circuito Hamilton. Llega a cada vértice una vez. Sin embargo, no cubre todos los aspectos. En cada intersección hay tres aristas. El circuito sólo utiliza dos de ellos. Las líneas gruesas de la Figura 16 muestran uno de esos caminos. Hay muchos otros.

Teoría de grafos y caos en el mundo real

La teoría de grafos no sirve sólo para doblar papel. Resuelve dolores de cabeza combinatorios.

Piense en conectar ciudades por ferrocarril. O tender líneas telefónicas. Necesitas una red que funcione. La teoría de grafos ayuda a planificar eso.

También maneja el tráfico. Ordena torneos de todos contra todos para que cada equipo juegue contra todos los demás. Empareja los trabajos con los solicitantes. Es la clave para los problemas de arreglo.

El problema del mapa de cuatro colores

Los cartógrafos sabían algo sobre lo que los matemáticos discutieron durante un siglo.

Ningún mapa necesita más de cuatro colores. Puede sombrear cualquier región siempre que las áreas adyacentes difieran. Regla sencilla. Prueba dura.

En 1852, alguien planteó el “problema del mapa de cuatro colores”. ¿Podrías construir un mapa plano que requiriera cinco?

Los matemáticos lo atacaron durante años. Fallaron.

Luego, en 1976, el equipo de la Universidad de Illinois dejó caer el martillo. Demostraron que cuatro colores son suficientes.

Aquí está el truco. Fue la primera prueba importante que dependió en gran medida de una computadora. Hicieron más de 1.000 horas de cálculos. Los diagramas provienen de la máquina. Algunos matemáticos lo odiaron. Dijeron que no era lo suficientemente “humano”. Pero funcionó.

Puede hacer preguntas similares para otras superficies.

Los mapas en forma de toro (una forma de donut) necesitan siete colores. No más. Nada menos.

La magia de los flexágonos

Un flexágono es un polígono hecho de papel o papel de aluminio. Parece una tira plana hasta que la flexionas.

Luego cambia de cara.

Se discutieron por primera vez en 1939. Ahora son un elemento básico de las recomendaciones de matemáticas.

El trihexaflexagon es la versión más simple.

Así es como se hace uno:
1. Cortar una tira de material.
2. Marca 10 triángulos equiláteros.
3. Dóblalo apropiadamente varias veces.
4. Pega el último triángulo al reverso del primero.

Flexionarlo. Una cara desaparece. Otro ocupa su lugar. Es sencillo. Es raro. Funciona.

Recreaciones manipulativas

Estos no son sólo juegos. Son modelos de cómo estructuramos el espacio.

Los orígenes de los acertijos de disposición se remontan al Puzzle de Lucas. Imagina una fila de siete cuadrados. Los tres de la izquierda tienen fichas negras. Los tres de la derecha tienen blancos. La plaza central está vacía. Tu objetivo: intercambiarlos. Las negras se mueven hacia la derecha. Las blancas se mueven hacia la izquierda. Puedes deslizarte hacia un lugar vacío adyacente o saltar sobre la pieza de un oponente. Para n fichas de cada color, el recuento de movimientos es n (n + 2).

Ampliarlo. O reducirlo. Las matemáticas se mantienen.

Hay un rompecabezas entre hermanos con ocho fichas numeradas en nueve espacios. Invierte el orden. Sólo se permiten movimientos y saltos individuales. Sin atajos.

Luego están los juegos de dos jugadores. El tres en raya es la base. Pero las variaciones se vuelven picantes. Considere una versión en la que cada jugador comienza con tres fichas. El tablero es una cuadrícula de 3×3. Los colocas uno por uno. Inicialmente no puedes usar el lugar central. Si nadie consigue tres seguidos después de la colocación, empiezas a moverte. Sólo cuadrados adyacentes. Horizontales o verticales.

Gana formando una línea.

Llévalo a un tablero de 4×4. Cuatro contadores cada uno. A veces las diagonales cuentan. Pruebe con un patrón de 5 × 5. O mire al otro lado del Atlántico hacia Europa, donde reina el “molino” o el morris de nueve hombres. Tres cuadrados concéntricos. Ocho transversales. Conecta tres para eliminar la pieza de un oponente. Se trata de bloquear, no sólo de alinear.

La geometría de la conexión.

El maleficio es diferente. No se trata de líneas. Se trata de cadenas.

Piet Hein lo inventó en Dinamarca en 1942. El tablero es un diamante de hexágonos teselado. Generalmente 11 en cada borde. “Teselado” simplemente significa encajar como azulejos. Sin huecos. Dos bordes opuestos son “blancos”. Los otros dos son “negros”.

Los jugadores se alternan colocando fichas. ¿El objetivo? Construye una cadena ininterrumpida de tu lado al otro. El blanco va de arriba a abajo. El negro va de lado a lado.

El juego nunca empata. ¿Por qué? Porque no puedes bloquear a tu oponente sin completar primero tu propia cadena. Un camino corta el tablero. El juego termina inmediatamente.

John Nash lo inventó de forma independiente en Estados Unidos en 1948. Años más tarde, llegó al mercado como Hex.

La estrategia aquí no se trata de una simple alineación. Es topológico. Se trata de control.

El dilema de la reina

Los tableros de ajedrez ofrecen sus propios dolores de cabeza matemáticos. ¿El más famoso? Coloca ocho reinas en un tablero estándar. Ninguno puede atacar a ningún otro. C.F. Gauss trabajó en esto alrededor de 1850. No era el único que estaba obsesionado.

Luego está la gira del caballero. Un recorrido cerrado. Comience en un cuadrado. Visita cada dos casillas exactamente una vez. Termina donde empezaste. Las matemáticas detrás de esto están enredadas con cuadrados mágicos. Patrones dentro de patrones.

Otros problemas se centran en el valor de las piezas. ¿Cuántos alfiles caben sin que se tomen entre sí? ¿Cuál es el número mínimo de caballos necesarios para dar jaque mate en cada casilla del tablero?

Intenta colocar 16 reinas. No hay tres en línea recta. Incluso eso no es trivial.

El rompecabezas de los quince

A Sam Loyd mayor le encantaba afirmar que inventó el rompecabezas de los quince alrededor de 1878. Los eruditos modernos no están de acuerdo. Encontraron inventores anteriores. El rompecabezas también recibió otros nombres. Rompecabezas de jefe. Rompecabezas de gemas. Plaza Mística. Se extendió por Europa a una velocidad aterradora. La configuración es lo suficientemente simple como para confundirte. Una bandeja cuadrada poco profunda. Quince pequeñas fichas numeradas. Un cuadrado vacío. Comienzas con los números en orden aleatorio. El espacio en blanco se encuentra en la parte inferior derecha. ¿El objetivo? Reorganiza las piezas en orden numérico. Sólo puedes deslizarlos. El espacio en blanco debe terminar donde empezó. Ese es el truco.

La magnitud del problema puede hacer que le dé vueltas la cabeza. Hay más de 20 mil millones de posibles disposiciones de las piezas. Incluyendo ese espacio en blanco. En 1879, dos matemáticos estadounidenses demostraron algo descabellado. En realidad, sólo la mitad de esos arreglos iniciales pueden resolverse. Eso es alrededor de 10 mil millones de millones. El resto son callejones sin salida.

Las matemáticas detrás de esto son elegantes y ligeramente crueles. Piense en el camino que toma cualquier número. Siempre que acabe en la esquina inferior derecha, pasa por un número par de casillas. Es una cuestión de paridad.

En el estado resuelto, cada número es mayor que los anteriores. Lees de izquierda a derecha. De arriba a abajo. Ningún número precede a un número menor. En cualquier otro arreglo, al menos un número infringe esta regla. Esto se llama inversión.

Tome la secuencia 9, 5, 3, 4. El 9 viene antes de tres números más pequeños. El 5 viene antes de dos números más pequeños. Son cinco inversiones en total. Es un número impar. Si el recuento total de inversiones en cualquier diseño es par, el rompecabezas se puede resolver. Devuelve los cuadrados a la normalidad. Si la cuenta es impar, estás jodido. El rompecabezas no tiene solución.

La Figura 17B tiene dos inversiones. Soluble. La Figura 17C tiene cinco. Imposible. En teoría, puedes ampliar esta lógica a cualquier tamaño de bandeja. Una cuadrícula m por n. Con contadores numerados mn menos uno. Las matemáticas todavía se mantienen.

La Torre de Hanoi

Edouard Lucas no inventó simplemente un rompecabezas en 1883. Nos entregó una pesadilla matemática envuelta en madera.

Matemático francés. Un básico de juguetería. Tres clavijas. Ocho discos.

Es la Torre de Hanoi. O al menos, eso es a quien siempre hemos culpado. Lucas recibe el crédito, aunque los historiadores discuten sobre si realmente lo creó o simplemente popularizó un acertijo más antiguo. No importa. La cosa está en todas partes. Las versiones de plástico desordenan los estantes. Los de madera se colocan en los escritorios de las oficinas. Las reglas son lo suficientemente simples como para explicarlas en treinta segundos.

Coloque ocho discos en una clavija. El más grande en la parte inferior. El más pequeño arriba. Ningún disco grande descansa jamás sobre uno pequeño. Mueva toda la pila a otra clavija.

Eso es todo.

Excepto que no lo es.

Las matemáticas te golpean como un camión. Para n discos, necesita exactamente $2^n – 1$ movimientos.

¿Ocho discos? Eso es $2^8 – 1$. 255 movimientos. Manejable. Un poco tedioso. Una buena prueba de paciencia.

Pero imagina la leyenda original.

Una torre con sesenta y cuatro discos.

El número no es sólo grande. Es cósmica y terriblemente grande. $2^{64}-1$.

18.446.744.073.709.551.615.

Intenta decir eso en voz alta. Se necesita más tiempo que una vida humana para hablarlo. Ahora imagina hacer un movimiento por segundo.

Estarías allí durante unos 585 mil millones de años.

El universo no se acabaría simplemente. Se habría disuelto en muerte por calor mucho antes de que los monjes de la leyenda terminaran de mover el último plato.

Es el mismo absurdo que se encuentra en la historia de los granos de trigo en un tablero de ajedrez. Un grano en el primer cuadrado. Dos en el segundo. Cuatro. Ocho. Duplicando cada paso. En el cuadro sesenta y cuatro, se necesita cada fanega de trigo jamás cosechada en la historia de la humanidad. Y algo más.

La Torre de Hanoi no es un juego. Es una lección de crecimiento exponencial. Una etiqueta de advertencia para cualquiera que piense “sólo un movimiento más” no cuadrará.

Poliominós

La palabra “poliominó” llegó en 1953 como una versión divertida de “dominó”. Describe una forma hecha de cuadrados del mismo tamaño unidos de borde a borde. No puedes levantar una esquina sin romper la conexión. Las versiones más simples son fáciles de visualizar. Pero la verdadera diversión comienza con los pentominós.

Hay exactamente doce formas únicas de pentominó. Las piezas asimétricas no se cuentan dos veces si les das la vuelta. Siguen siendo sólo un tipo.

Los matemáticos han luchado por encontrar una fórmula general para el número de poliominós distintos basada en el conteo de cuadrados. Sin embargo, conocemos los números de pedidos específicos. Hay 35 hexominós. Hay 108 heptominós, suponiendo que cuentes el raro que tiene un agujero en el medio.

¿Puedes adaptarlos a todos?

Los rompecabezas que involucran poliominós se incluyen en la geometría combinatoria. El objetivo suele ser encajar piezas en formas específicas o cubrir un tablero sin espacios.

Toma los 35 hexominós. Juntos cubren 210 cuadrados. Podrías pensar que podrías organizarlos en un rectángulo simple. Las matemáticas sugieren opciones como 3 por 70, 5 por 42 o 14 por 15. Pero no funciona. No se puede formar tal rectángulo.

¿Qué pasa con los doce pentominós más un tetrominó cuadrado? ¿Pueden llenar un tablero de ajedrez de 8×8?

Sí. Este problema se remonta aproximadamente a 1935. No conocemos el número total de soluciones, pero las estimaciones cifran en al menos 1.000. Un análisis informático en 1958 demostró que hay 65 soluciones en las que una única pieza cuadrada se sitúa exactamente en el centro.

Cubos de soma

El concepto se extiende a tres dimensiones. Así como los poliominós son formas planas, los cubos Soma son estructuras 3D. Se dividen en siete pedazos irregulares. Cada pieza está formada por cuatro o cinco cubos unidos cara a cara.

Benjamin Seymour Wright, físico, y John Horton Conway, matemático, ayudaron a popularizar el rompecabezas en la década de 1950. El desafío es simple. Toma las siete piezas. Construye un cubo de 3x3x3.

Hay 240 formas distintas de solucionarlo. Si ignoras las rotaciones y las reflexiones, el número disminuye. Pero la variedad es asombrosa. El cubo Soma es esencialmente el equivalente 3D del problema del pentominó. Requiere razonamiento espacial en lugar de simplemente geometría plana.

“El número de poliominós distintos de cualquier orden es función del número de cuadrados de cada uno, pero hasta el momento no se ha encontrado ninguna fórmula general”.

Los pentominós y hexominós siguen siendo populares porque son engañosamente simples. Parecen juguetes. Actúan como algoritmos complejos.

El agujero en ese heptominó todavía molesta a algunos puristas. Rompe la regla de “simplemente conectado”. Pero existe. Y cuenta.

¿Prefieres el desafío plano del tablero de 8×8 o el giro 3D del cubo Soma? La computadora encontró 65

La geometría del juego

Piet Hein de Dinamarca no solo inventó el hex y el tac-tix. Se topó con algo más extraño. Se toman tres o cuatro cubos congruentes. Únase a ellos en sus caras. ¿Las formas irregulares resultantes? Hay exactamente siete de ellos. Los matemáticos los llaman Cubos Soma. Vuelva a juntarlos y formarán un cubo más grande y perfecto. Es un hecho que desafía una explicación fácil.

Las formas quinta y sexta son imágenes especulares. No hay dos piezas iguales. Sin embargo, estos siete trozos (27 cubos unitarios en total) vuelven a encajar en un bloque de 3x3x3 de más de 230 formas esencialmente diferentes.

La variedad de estructuras interesantes posibles parece infinita.

Puedes construir un sofá. Una silla. Un castillo. Un túnel. Una pirámide. Simplemente reordenando las piezas básicas. Como pasatiempo, los Soma Cubes son adictivos. La gente los resuelve mentalmente con experiencia. Los psicólogos han encontrado una correlación aproximada entre la velocidad de resolución y la inteligencia general. Hay anomalías en ambos extremos del espectro, claro. Pero los jugadores no se detienen. Siguen construyendo.

Cuadrados y cubos de colores

Luego están los rompecabezas de colores. Azulejos. Cubos. Bordes que deben coincidir.

Considere el rompecabezas del rectángulo de 4×6. Tienes 24 patrones de tres colores de mosaicos cuadrados subdivididos. Colóquelos de modo que los bordes en contacto sean del mismo color. ¿Y toda la frontera? Un solo color. Sencillo en la descripción. Difícil en la práctica.

Más famoso es el rompecabezas de 30 cubos de colores. Pinta seis colores en las caras de los cubos. Hay 2.226 combinaciones totales. Seleccione sólo aquellos con los seis colores. Obtienes 30 cubos distintos. Dos cubos son “diferentes” si no puedes colocarlos uno al lado del otro para que todas las caras correspondientes coincidan.

Estos aparecieron comercialmente con nombres como Mayblox Puzzle, Tantalizer y Katzenjammer. Pero el verdadero cambio llegó con Instant Insanity.

Cuatro cubos. Blanco, rojo, verde, azul. Ensamblelos en un prisma de 1x1x4. Cada una de las cuatro caras largas debe mostrar los cuatro colores. Cada cubo tiene 24 orientaciones. Eso deja 82.944 arreglos posibles. Sólo funcionan dos.

Entonces, Instant Insanity fue tragado por algo más grande.

El auge del cubo de Rubik

Ernő Rubik lo patentó en Hungría en 1975. Terutoshi Ishigi lo presentó en Japón en 1976. Así nació el Cubo de Rubik.

Parecen 27 cubos más pequeños. En el estado resuelto, cada una de las seis caras es de un color sólido. Las versiones comerciales utilizan un sistema de pivote interno. Girar una capa. Los cubitos se revuelven.

El desafío es restablecer el orden. El número de estados accesibles es más de 10^19. Rápidamente surgió una literatura próspera. Los matemáticos utilizaron la teoría de grupos para mapear soluciones sistemáticas. El rompecabezas no era sólo un juguete. Era una bestia matemática.

Nim y juegos similares

Nim es mayor de lo que muestran los registros. Su origen es oscuro. Pero se presta a matemáticas difíciles.

Tome cualquier cantidad de objetos. Divídalos en montones. Dos jugadores se turnan. Elige una pila. Retire uno o todos los objetos. Gana el jugador que coge el último objeto.

Cada posición es “segura” o “insegura”.
Si dejas a tu oponente en una posición insegura, puedes forzar una victoria.
Si los dejas en una posición segura, cualquier movimiento que hagas les dará ventaja.

¿Cómo sabes cuál es cuál? Notación binaria. Suma las columnas de objetos en cada pila. Si cada columna suma cero o un número par, la posición es segura.

Ejemplo: Tres montones con 4, 9 y 15 objetos.

El cálculo se ve así:

4: 0 1 0 0
9: 1 0 0 1
15: 1 1 1 1

---

Suma:2 2 1 0

Dos es par. Dos es par. Uno es extraño. Uno está parejo.

Alguna que otra columna rompe el seguro. La posición no es segura.

La lógica de la teoría de juegos no se limita a la simple aritmética. Si persiste una posición insegura, un jugador hábil siempre maniobrará para mover el tablero a un estado seguro. Es una cuestión de supervivencia en la arquitectura abstracta del juego.

Considere una variación con sólo dos montones. Puedes tomar objetos de cualquiera de las pilas. O ambos. Pero si tomas de ambos, deberás tomar de cada uno el mismo número. Gana la persona que tome la última ficha.

Juegos como el de Nim exigen una agilidad mental específica. Necesita traducir números decimales a binarios y viceversa. No es intuitivo para la mayoría de los humanos. Sin embargo, es perfecto para las máquinas. Las computadoras digitales funcionan en binario. Lo hablan de forma nativa. Gracias a esto, es posible programar una computadora para que juegue un juego perfecto.

Edward Uhler Condon y un asociado inventaron precisamente una máquina de este tipo. El Nimatrón automático. Hizo su debut en la Feria Mundial de Nueva York en 1940. Un jugador humano que vence por puro cálculo.

Juegos de contar globales

Estos juegos no son curiosidades aisladas. Se juegan en todo el mundo. Tomemos como ejemplo el juego de los guijarros, también conocido como juego de probabilidades. Dos personas comienzan con un número impar de piedras en una sola pila. Se turnan para dibujar una, dos o tres piedritas. Cuando la pila está vacía, gana el jugador que tenga una cuenta impar.

Existen predecesores de estos. Son mayores. Los juegos de mancala. Los jugadores distribuyen guijarros, semillas o fichas en filas de agujeros. Las reglas varían. Se han jugado durante siglos en África y Asia. La mecánica es sencilla. La estrategia es profunda.

Problemas de inferencia lógica

Muchos acertijos no involucran números. Rara vez, o nunca, involucran geometría. Requieren inferencias deductivas basadas en relaciones lógicas.

No los confundas con acertijos. Los acertijos se basan en la ambigüedad. Usan juegos de palabras. Pretenden atrapar a los incautos. Los acertijos lógicos no tienen un procedimiento estándar. No existe un patrón generalizado para su solución. Los resuelves por prueba y error.

Las conjeturas no son casuales. Los hechos aportados, normalmente mínimos, sugieren varias hipótesis. Rechazas a los inconsistentes. A través de la sustitución y la eliminación surge la solución. Técnicas de ayuda lógica. Pero el éxito depende del ingenio. Una capacidad esquiva.

Los problemas de lógica se agrupan aquí por conveniencia.

El guardafrenos, el bombero y el ingeniero

Este es un clásico. La versión de Mathematics for Pleasure (1962) de Oswald Jacoby y William Benson sigue siendo definitiva.

Los nombres del guardafrenos, el bombero y el maquinista eran Smith, Jones y Robinson. No necesariamente en ese orden. Tres pasajeros compartían estos nombres. Para evitar confusiones, los llamamos Sr. Smith, Sr. Jones y Sr. Robinson.

Aquí están los hechos:
– El Sr. Robinson vivía en Detroit.
– El guardafrenos vivía a medio camino entre Chicago y Detroit.
– El Sr. Jones ganaba exactamente 2.000 dólares al año.
– Smith venció al bombero jugando al billar.
– El vecino de al lado del guardafrenos (un pasajero) ganaba exactamente tres veces más que el guardafrenos.
– El pasajero que vivía en Chicago tenía el mismo nombre que el guardafrenos.

¿Cómo se llamaba el ingeniero?

La solución pasa por eliminar las imposibilidades. No se puede asumir que los nombres coinciden directamente con los roles. Tienes que asignar la geografía a los ingresos. Hay que vincular la victoria en el billar a la profesión. Es un apretado nudo de limitaciones.

Grupos superpuestos

Esta categoría trata de conjuntos. El problema del club de idiomas en la escuela secundaria es típico.

Entre los miembros:
– 21 estudiaron francés.
– 20 estudiaron alemán.
– 26 estudiaron español.
– 12 estudiaron tanto francés como español.
– 10 estudiaron tanto francés como alemán.
– 9 estudiaron tanto español como alemán.
– 3 estudiaron francés, español y alemán.

¿Cuántos miembros del club había? ¿Cuántos estudiaron un solo idioma?

Los números se superponen. No puedes simplemente sumarlos. Tienes que tener en cuenta las intersecciones. La lógica del diagrama de Venn está implícita aquí. Restas las superposiciones de los totales. Luego ajustas la triple superposición. La respuesta no está en la suma. Está en la estructura de los grupos.

Verdades y Mentiras

Otra variedad se refiere a la fiabilidad de las declaraciones. Caballeros y bribones.

Los naturales de una determinada isla son caballeros o bribones. Parecen idénticos. Los caballeros siempre dicen la verdad. Los bribones siempre mienten.

Un visitante se encuentra con tres nativos. Pregunta si son caballeros o bribones. El primero dice algo inaudible. El segundo señala al primero y dice: “Dice que es caballero”. El tercero señala al segundo y dice: “Miente”.

El visitante sabe que sólo uno es un bribón. Él decide qué es cada uno.

Si el primero decía que era caballero, mentiría si fuera bribón. O decir la verdad si fuera un caballero. El segundo nativo informa esta afirmación. Si el segundo es un caballero, informa la verdad. Si es un bribón, miente en lo que se dijo. El tercero llama mentiroso al segundo.

Es una cadena de verificación. Una ruptura en la cadena revela al mentiroso.

Un tipo diferente involucra a cuatro hombres. Uno cometió un delito. La policía los interroga.

• Archie: Dave lo hizo.
• Dave: Tony lo hizo.
• Gus: Yo no lo hice.
• Tony: Dave mintió cuando dijo que yo lo hice.

Si sólo una afirmación es cierta, ¿quién es el culpable? Si sólo una afirmación es falsa, ¿quién es el culpable?

La fuente es 101 acertijos de pensamiento y lógica de C.R. Wylie, Jr. (1957). Publicaciones de Dover. Las paradojas giran en torno a la contradicción entre Dave y Tony. Dave acusa a Tony. Tony dice que Dave mintió. Ambos no pueden estar diciendo la verdad. Ambos no pueden mentir sobre la acusación en sí de una manera que preserve fácilmente la regla de la “única verdad”. Tienes que probar a cada sospechoso. Supongamos que Archie es culpable. Consulta las declaraciones. Supongamos que Dave es culpable. Consulta las declaraciones. La verdad surge de la eliminación de los escenarios imposibles.

La lógica se mantiene. O no es así. Tienes que decidir cuál encaja.

Cómo funciona el rompecabezas de la frente manchada

La historia de los tres viajeros y sus rostros manchados de hollín es un ejemplo clásico de deducción lógica pura. Tres hombres salen de un túnel de tren. Cada uno tiene una mancha de hollín en la frente, pero ninguno puede verse la cara. Se ríen el uno del otro. Antes de que puedan comprobar los espejos, un compañero de viaje propone una prueba.

Mira los otros dos. Si ve al menos una frente manchada, levante la mano.

Los tres levantan la mano al instante. La regla es simple: mantén la mano levantada hasta que estés seguro de tu propio estatus y luego suéltala.

Después de un momento, un hombre baja la mano. Él sabe que está manchado. Así es como lo descubrió.

Si estuviera limpio, los otros dos hombres sólo verían una cara manchada (entre ellos). Si un hombre ve sólo una cara manchada, piensa: “Si estoy limpio, ese hombre ve dos caras limpias. Sabría inmediatamente que su propia cara está manchada porque tiene la mano levantada. La bajaría de inmediato”.

Pero no se dieron por vencidos. Dudaron. Esa vacilación demostró a nuestro observador viajero que los otros dos también vieron algo. Ambos vieron su rostro manchado. Por eso sabía que estaba sucio.

Comprender la inesperada paradoja del ahorcamiento

La inesperada paradoja del ahorcamiento surgió del boca a boca a principios de la década de 1940. Sigue siendo un rompecabezas complicado.

Un juez le dice a un prisionero que será ahorcado la próxima semana. El ahorcamiento tendrá lugar un día al mediodía. El prisionero no sabrá que llegará hasta la mañana de ese día.

El prisionero argumenta que la sentencia es imposible. Comienza con el último día: el sábado. Si está vivo el viernes por la tarde, sabe que el ahorcamiento debe ser el sábado. Pero eso significa que lo sabía de antemano. Esto rompe la regla del juez. Así que el sábado queda fuera.

Según la misma lógica, el viernes también se vuelve imposible. Si sobrevive el jueves y se descarta el sábado, el viernes se convierte en la única opción. Lo sabría de nuevo.

Trabaja al revés durante la semana. Lunes, martes, miércoles, jueves, viernes y sábado, todos quedan eliminados. El prisionero concluye que está a salvo.

El juez todavía puede colgarlo. La paradoja es sutil. Una declaración sobre un evento futuro puede ser cierta para el juez y al mismo tiempo permanecer desconocida para el prisionero hasta que el evento realmente suceda. La lógica del prisionero falla porque supone que la predicción debe conocerse antes de que sea válida. No es así.

La historia de las paradojas lógicas

Estos rompecabezas son más que simples juegos. Tocan los fundamentos de las matemáticas. Son muy divertidos y, a menudo, tentadores.

El profeta cretense Epiménides causó problemas ya en el siglo VI a.C. Dijo: “Todos los cretenses son mentirosos”. Como Epiménides era cretense, mintió. Si mintió, entonces no todos los cretenses son mentirosos. Pero si dijo la verdad, es un mentiroso. Es una autocontradicción.

En 1913, el matemático P.E.B. Jourdain propuso la paradoja de las cartas.
Lado uno: “La frase del otro lado de esta tarjeta es VERDADERA”.
Lado dos: “La frase del otro lado de esta tarjeta es FALSA”.
Si el lado uno es verdadero, el lado dos es verdadero. Pero el lado dos dice que el lado uno es falso. Contradicción.

Bertrand Russell añadió la paradoja del barbero. El barbero afeita a todos los que no se afeitan en el pueblo. ¿Quién afeita al barbero?
Si se afeita, no debería hacerlo. Si no lo hace, debe hacerlo. La paradoja del barbero gira en torno a una afirmación sobre una clase en la que el objeto es parte de esa clase. Russell intentó solucionar este problema con una jerarquía de tipos lógicos. No resolvió completamente el problema. La cuestión se sitúa justo en el corazón de las matemáticas filosóficas.

“Todo el problema se encuentra cerca de los fundamentos filosóficos de las matemáticas.”

Estos enigmas nos obligan a mirar cómo definimos la verdad, el conocimiento y la autorreferencia. No sólo entretienen. Exponen las grietas de nuestro razonamiento. La cara manchada nos enseña sobre el conocimiento compartido. El ahorcamiento expone los límites de la predicción. El mentiroso y el barbero nos muestran los peligros de la autorreferencia.

Seguimos volviendo a ellos. No porque tengamos todas las respuestas. Sino porque las preguntas siguen cambiando de forma.