Un cuadrado mágico es una cuadrícula de 3 x 3, o de 4 x 4, o de 5 x 5 o, en general, de n x n, en la que se acomodan ciertos números que cumplen que la suma de cualquier renglón, la suma de cualquier columna y la suma de cualquiera de cualquiera de las dos diagonales es siempre la misma.