Los cuadrados mágicos son ordenaciones de números en celdas formando un cuadrado, de tal modo que la suma de cada una de sus filas, de cada una de sus columnas y de cada una de sus diagonales dé el mismo resultado.

Si la condición no se cumple para las diagonales, entonces se llaman cuadrados latinos.

El origen de los cuadrados mágicos es muy antiguo. Los chinos y los indios los conocían antes del comienzo de la era cristiana.

Los cuadrados mágicos se clasifican de acuerdo con el número de celdas que tiene cada fila o columna. Así, uno con 5 celdas se dice que es de quinto orden. No existen cuadrados mágicos de orden 2.

Aunque todos los matemáticos han reconocido siempre la falta de aplicaciones de los cuadrados mágicos, algunos se han ocupado de ellos con mucha atención: el mérito y gracia del juego está en su insospechada dificultad.

 Si a, b y c son tres números enteros cualesquiera, la siguiente disposición muestra la forma general de un cuadrado mágico de orden 3:
 

       No hay métodos generales para construir cuadrados mágicos, sobre todo para los de orden par. Veamos un modo de construir fácilmente cuadrados mágicos de orden impar.

       1.    Tomemos una serie aritmética cualquiera, para mayor comodidad la serie de los números naturales, y coloquemos el número 1 en la celda central de la fila superior.
       2.    La cifra consecutiva a una cualquiera debe colocarse en la celda que le sigue diagonalmente hacia arriba y hacia la derecha.
       3.    Si al hacer esto se sale del cuadrado por el límite superior del contorno del mismo, saltaremos a la celda de la columna siguiente hacia la derecha y en su fila inferior, si se sale por la derecha, se sigue por la primera celda, a partir de la izquierda, de la fila superior.
       4.    Cuando la celda siguiente está ocupada, el número consecutivo de la serie se coloca en la celda inmediatamente inferior a la del número precedente, comenzando así un nuevo camino en la dirección de la diagonal.

       Como ejemplo, realicemos un cuadrado mágico de quinto orden:
 

 Finalmente, puesto que las sumas siguen siendo iguales entre si cuando multiplicamos todos los números de las casillas por un mismo factor, o les añadimos un mismo sumando, es claro que podemos alterar fácilmente, en esta forma el llenado de las casillas.