Los cuadrados mágicos son uno de los objetos lúdico-matemáticos más conocidos. Se han estudiado hasta la saciedad desde la antigüedad, aparecen en obras de arte (como el de Durero) y en monumentos importantes (como el de la Sagrada Familia), y se puede encontrar una ingente cantidad de información sobre ellos tanto en libros como en internet. Pero, a pesar de esto, todavía hay propiedades interesantes y sorprendentes relacionadas con ellos que, aunque se saben ciertas desde hace ya unos años, no son demasiado conocidas. Hoy vamos a ver algunas de ellas que os dejaran, espero, maravillados.
La cosa va de cuadrados mágicos vistos como matrices. Vamos a tomar el (esencialmente) único cuadrado mágico 3×3 que tiene los números del 1 al 9 y vamos a verlo como una matrix 3×3, A:
¿Qué pasa si lo multiplicamos por sí mismo como se multiplican habitualmente las matrices? Veámoslo:
Si sumamos las filas y las columnas, obtenemos el mismo resultado, 225, pero al sumar los elementos de las diagonales eso no ocurre. Lástima, no nos ha quedado un cuadrado mágico…pero no desistamos. Multipliquemos ahora el resultado de nuevo por A:
Sumad ahora filas, columnas y diagonales…Éste sí es un cuadrado mágico. Todas las filas, todas las columnas y las dos diagonales suman 3375. Es decir, para esta matriz mágica A tenemos que también es una matriz mágica.
Si calculamos no obtenemos una matriz mágica, pero podéis comprobar que
sí que lo es. En general, toda potencia impar de la matriz mágica A vuelve a ser una matriz mágica. No me digáis que no mola.
Veamos otro ejemplo en el que esto también pasa. Tomemos ahora la siguiente matriz mágica, B, cuya constante mágica (suma de filas, columnas y diagonales) es 39:
En este caso pasa lo mismo: las potencias pares no son matrices mágicas, pero las potencias impares sí lo son. Calculemos :
Y ahora calculemos (podéis comprobar que, efectivamente, obtenemos una matriz mágica):
Chulísimo, ¿verdad? Pues atentos: toda matriz mágica 3×3 cumple que sus potencias impares son también matrices mágicas. Sí, sí, no solamente ocurre con estos dos ejemplos, sino que esta maravillosa propiedad es cierta para toda matriz mágica de orden 3. Sencillamente maravilloso. Os invito a comprobarlo con cualquier cuadrado mágico de orden 3, podéis encontrarlos por internet.
Pero agarraos a la silla, que la cosa no acaba aquí. Esta curiosísima propiedad no se cumple sólo con potencias impares de la misma matriz mágica, sino que se cumple con productos cualesquiera de matrices mágicas. Esto es:
Cualquier producto de un número impar de matrices mágicas 3×3 es a su vez una matriz mágica.
Da igual que sean la misma multiplicada tres veces, que multipliquemos una dos veces y luego hagamos el producto con otra, o que las tres sean distintas: siempre obtendremos una matriz mágica al multiplicar tres matrices mágicas, y además no importa el orden en el que hagamos esos productos (recordad que el producto de matrices no es conmutativo, por lo que el orden al multiplicar podría influir). Os dejo un ejemplo:
Para mí es, posiblemente, la propiedad de los cuadrados mágicos más bella de todas las que conozco, y además no es demasiado complicada de demostrar, ya que utiliza matemáticas relativamente básicas. Aquí no la voy a reproducir entera, pero os voy a dar algunas pinceladas y artículos relacionados para que podáis buscarla por vuestra cuenta.
Todo comienza con una interesante característica que tiene la estructura de un cuadrado mágico 3×3. Martin Gardner la apuntaba en Some New Discoveries About 3×3 Magic Squares, 1995, pero ya se conocía desde unos cuantos años antes. Es la siguiente (la escribo en forma de matriz):
Toda matriz mágica 3×3 tiene la siguiente estructura:
siendo
la constante mágica y
números arbitrarios.
Esto es fácil de demostrar, y se conoce (al menos) desde 1938, cuando Jack Chernick publica su trabajo Solution of the General Magic Square. Allí podéis ver una demostración de este hecho.
A partir de aquí, demostrar que todo producto impar de matrices mágicas es de nuevo una matriz mágica tampoco es demasiado complicado, pero sí algo laborioso. La idea es descomponer la matrix mágica que acabamos de mostrar en una inteligente combinación de matrices mágicas que tienen una propiedades muy interesante, y después operar con ellas. Como digo, el proceso es algo laborioso pero no demasiado difícil de seguir. Podéis verlo en Singular Matrices Applied to 3×3 Magic Squares, de N. Gauthier.
Después de todo esto, sería lógico pensar en si ocurre algo parecido para matrices de orden superior. Bien, pues se cree que esta mágica propiedad de las matrices mágicas se cumple para cualquier orden impar, pero hasta donde yo sé todavía no está demostrado. Si alguien puede encontrar más información a este respecto puede compartirla con nosotros en los comentarios.
Para terminar, os dejo otro resultado que también demuestra Gauthier en su trabajo:
Si
es una matriz mágica 3×3, entonces su matriz adjunta también lo es.
Comencé a investigar sobre esto después de leer el artículo Magic squares as matrices, del blog de John D. Cook.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Además, parece que la constante mágica del producto es el producto de las constantes mágicas de los factores.
Vaya, no me había dado cuenta de eso, y no recuerdo si en algunos de los artículos que he leído sobre este tema aparecía información sobre ello. Pero sería interesante investigar, o pensar en cómo se podría demostrar ese hecho.
Para el cubo es fácil, no hay más que elevar la matriz M al cubo para comprobar que su término central es
, con lo que su constante mágica es
. Supongo que para un producto de tres será igual de fácil, aunque un poco más tedioso. Y demostrado para el producto de tres distintas, ya quedaría para cualquier potencia impar también.
Bueno, acabo de multiplicar tres con DERIVE y efectivamente, el término central es nueve veces el producto de los términos centrales, con lo que la constante mágica del producto será el producto de las tres constantes mágicas.
Hace muchos, muchos, años que no juego con cuadrados mágicos, pero las usaba como matrices y calculaba el determinante, recuerdo todos eran números «flosóficos» relevantes en algún momento histórico.
Y con las matrices de orden par, es decir, por ejemplo, el famoso cuadrado de 4×4 del cuadro? Ocurre algo similar?
Creo recordar que en alguno de los enlaces que aporto en el artículo se comentaba algo, pero ahora mismo no estoy seguro. En cuanto tenga un rato vuelvo a echar un vistazo :).
https://www.elconfidencial.com/amp/alma-corazon-vida/2016-02-25/matematicos-mit-logro-hackear-loteria-forrarse-legal-asi-se-gana_1157935/
Esto daría para un buen artículo de divulgación matemática, explicándolo bien en The Country.
Hay 375 cuaternas de primos distanciados 246 entre sí, hasta 10^6.La primera es (31, 277, 523, 769). La segunda empieza con 71 y la última con 991621.
Es fácil ver que todos los primeros primos de cada cuaterna deben de terminar en 1, puesto que la sucesión de las terminaciones de primos distanciados en 246, es 7, 3, 9, 5 y nos topariamos en seguida con números divisibles por 5.Esto explica además, que la longitud máxima de las cadenas de primos así distanciados, sea de cuatro.
Hay 1319 cuaternas (casi 4 veces más, puesto que no hay restricciones módulo 10 para los primos), cuando la distancia entre primos es 300.La primera es (7, 307, 607, 907).Las siguientes empiezan en (47, 53, 83, 109,…). Pero solo hay 44 cadenas de longitud 6, hasta 10^6, siendo la primera (83, 383, 683, 983, 1283, 1583). Si nos fijamos un poco, comprenderemos que todos los primeros primos de la cadena de seis, han de ser 6 mod 7 puesto que 300 es 6 mod 7 y ello explica que la longitud máxima de la cadena es seis, porque el séptimo… Lee más »
Me pregunto si los que de verdad saben de teoría de los números podrían demostrar , en España, que la sucesión 3, 5, 239, 199, 3415447361, … es de longitud infinita (si no hay error u omisión en ella).
http://lit-et-raire.blogspot.com.es/2018/03/una-sucesion-interesante.html?m=1
http://oeis.org/A033188 Esta es la sucesión correcta. Había distancias inferiores a algunas de las que yo tomé con demasiada prisa. Por ejemplo, la menor distancia para el menor primo que inicia la menor progresión aritmetica de 6 primos, es 30: 7, 37, 67, 97, 127, 157 y 150 para una longitud de 7 : 7, 157, 307, 457, 607, 757, 757, 907. A partir de aquí la búsqueda se hace muy difícil y los primos menores de cada longitud aumentan cada vez más. Escribí una criba para hallar la longitud 16 y lo d eje después de más de 20 horas… Lee más »
Muy interesante este asunto de los cuadrados mágicos, me ha motivado a verlos con mas frecuencia. aquí les pongo un resultado que encontré hace unos años y que no se si tendrá alguna aplicación pero me sorprendió gratamente y deseo compartirlo, se trata de lo siguiente:
Imaginemos que pretendo construir un hipercubo del máximo hipervolumen posible con una barra de «L» metros por ejemplo, después de hecho el análisis resulta que la barra deberá ser cortada en segmentos exactamente de la longitud «e» la base de los logaritmos neperianos resultando de una dimensión L/e y el hipervolumen igual a e^(L/e).
cumpliría la condición de MATRICES leyendo que la MATRIZ en el Cuadrado Mágico dibujado en el cuadro MELANCOLÍA cumple por lo menos A^2 Sí estudiamos el Cuadrado Mágico de Gaudí vemos que no lo cumple ni siquiera para A^2. En cambio los numéricos cuyas casillas tienen la opción 2n-1 es decir (3×3, 5×5,7×7, etc..) siempre cumplen sea MATRIZ A^2,MATRIZ A^3,MATRIZ A^4, etc… Explico primero cómo construyeron DURERO y GAUDÍ y después resuelvo para una MATRIZ 3×3 y de 5×5. Creo que es un bonito estudio. Siempre claro que A^2n-1 también. EN 2n va ha tener el mismo valor la diagonal… Lee más »