Pandiagonal magic square

A pandiagonal magic square or panmagic square (also diabolic square, diabolical square or diabolical magic square) is a magic square with the additional property that the broken diagonals, i.e. the diagonals that wrap round at the edges of the square, also add up to the magic constant.

A pandiagonal magic square remains pandiagonally magic not only under rotation or reflection, but also if a row or column is moved from one side of the square to the opposite side. As such, an n×n pandiagonal magic square can be regarded as having 8n2 orientations.

3×3 panmagic squares

It is easily shown that non-trivial pandiagonal numerical magic squares of order 3 do not exist. However, if the magic square concept is generalized to include geometric shapes instead of numbers—the geometric magic squares discovered by Lee Sallows—a 3×3 panmagic square does exist.

4×4 panmagic squares

Euler diagram of requirements of some types of 4×4 magic squares. Cells of the same colour sum to the magic constant.
* In 4×4 most-perfect magic squares, any 2 cells that are 2 cells diagonally apart (including wraparound) sum to half the magic constant, hence any 2 such pairs also sum to the magic constant.

The smallest non-trivial pandiagonal magic squares consisting of numbers are 4×4 squares.

In 4×4 panmagic squares, the magic constant of 34 can be seen in a number of patterns in addition to the rows, columns and diagonals:

Thus of the 86 possible sums adding to 34, 52 of them form regular patterns, compared with 10 for an ordinary 4×4 magic square.

There are only three distinct 4×4 pandiagonal magic squares, namely A above and the following:

These three are very closely related. B and C can be seen to differ only because the components of each semi-diagonal are reversed. It is not as easy to see how A relates to the other two but:

i: if the components of each semi-diagonal of A are reversed (A1) and the left-hand column of A1 is moved to the extreme right (A2), the result is a reflection of B

ii: if the left-hand column of A is moved to the extreme right (A3), the components of each semi-diagonal of A3 are reversed (A4), and the right-hand column of A4 is moved to the extreme left (A5), the result is C


In any 4×4 pandiagonal magic square, the two numbers at the opposite corners of any 3×3 square add up to 17. Consequently, no 4×4 panmagic squares are associative, though they all fulfil the further requirement for a 4×4 most-perfect magic square, that each 2×2 subsquare sums to 34.

5×5 panmagic squares

There are many 5×5 pandiagonal magic squares. Unlike 4×4 panmagic squares, these can be associative. The following is a 5×5 associative panmagic square:

20 8 21 14 2
11 4 17 10 23
7 25 13 1 19
3 16 9 22 15
24 12 5 18 6

In addition to the rows, columns, and diagonals, a 5×5 pandiagonal magic square also shows its magic sum in four "quincunx" patterns, which in the above example are:

17+25+13+1+9 = 65 (center plus adjacent row and column squares)
21+7+13+19+5 = 65 (center plus the remaining row and column squares)
4+10+13+16+22 = 65 (center plus diagonally adjacent squares)
20+2+13+24+6 = 65 (center plus the remaining squares on its diagonals)

Each of these quincunxes can be translated to other positions in the square by cyclic permutation of the rows and columns (wrapping around), which in a pandiagonal magic square does not affect the equality of the magic sums. This leads to 100 quincunx sums, including broken quincunxes analogous to broken diagonals.

The quincunx sums can be proved by taking linear combinations of the row, column, and diagonal sums. Consider the panmagic square

A B C D E
F G H I J
K L M N O
P Q R S T
U V W X Y

with magic sum Z. To prove the quincunx sum A+E+M+U+Y = Z (corresponding to the 20+2+13+24+6 = 65 example given above), one adds together the following:

3 times each of the diagonal sums A+G+M+S+Y and E+I+M+Q+U
The diagonal sums A+J+N+R+V, B+H+N+T+U, D+H+L+P+Y, and E+F+L+R+X
The row sums A+B+C+D+E and U+V+W+X+Y

From this sum the following are subtracted:

The row sums F+G+H+I+J and P+Q+R+S+T
The column sum C+H+M+R+W
Twice each of the column sums B+G+L+Q+V and D+I+N+S+X.

The net result is 5A+5E+5M+5U+5Y = 5Z, which divided by 5 gives the quincunx sum. Similar linear combinations can be constructed for the other quincunx patterns H+L+M+N+R, C+K+M+O+W, and G+I+M+Q+S.

(4n+2)×(4n+2) panmagic squares with nonconsecutive elements

No panmagic square exists of order 4n+2 if consecutive integers are used. But certain sequences of nonconsecutive integers do admit order-(4n+2) panmagic squares.

Consider the sum 1+2+3+5+6+7 = 24. This sum can be divided in half by taking the appropriate groups of three addends, or in thirds using groups of two addends:

1+5+6 = 2+3+7 = 12

1+7 = 2+6 = 3+5 = 8

An additional equal partitioning of the sum of squares guarantees the semibimagic property noted below:

12+52+62 = 22+32+72 = 62

Note that the consecutive integer sum 1+2+3+4+5+6 = 21, an odd sum, lacks the half-partitioning.

With both equal partitions available, the numbers 1, 2, 3, 5, 6, 7 can be arranged into 6x6 pandigonal patterns A and B, respectively given by:

1 5 6 7 3 2
5 6 1 3 2 7
6 1 5 2 7 3
1 5 6 7 3 2
5 6 1 3 2 7
6 1 5 2 7 3
6 5 1 6 5 1
1 6 5 1 6 5
5 1 6 5 1 6
2 3 7 2 3 7
7 2 3 7 2 3
3 7 2 3 7 2

Then 7xA + B - 7 gives the nonconsecutive pandiagonal 6x6 square:

6 33 36 48 19 8
29 41 5 15 13 47
40 1 34 12 43 20
2 31 42 44 17 14
35 37 3 21 9 45
38 7 30 10 49 16

with a maximum element of 49 and a panmagic sum of 150. This square is pandiagonal and semibimagic, that means that rows, columns, main diagonals and broken diagonals have a sum of 150 and, if we square all the numbers in the square, only the rows and the columns are magic and have a sum of 5150.

For 10th order a similar construction is possible using the equal partitionings of the sum 1+2+3+4+5+9+10+11+12+13 = 70:

1+3+9+10+12 = 2+4+5+11+13 = 35

1+13 = 2+12 = 3+11 = 4+10 = 5+9 = 14

12+32+92+102+122 = 22+42+52+112+132 = 335 (equal partitioning of squares; semibimagic property)

This leads to squares having a maximum element of 169 and a panmagic sum of 850, which are also semibimagic with each row or column sum of squares equal to 102,850.

(6n±1)×(6n±1) panmagic squares

A (6n±1)×(6n±1) panmagic square can be built by the following algorithm.

Example:

  1                                     
  2             
  3             
  4             
  5             
  6             
  7             

Example:

  1    6                               
  2    7           
  3    1           
  4    2           
  5    3           
  6    4           
  7    5           

Example:

  1    6    4    2    7    5    3 
  2    7    5    3    1    6    4 
  3    1    6    4    2    7    5 
  4    2    7    5    3    1    6 
  5    3    1    6    4    2    7 
  6    4    2    7    5    3    1 
  7    5    3    1    6    4    2 
A
  1    6    4    2    7    5    3 
  2    7    5    3    1    6    4 
  3    1    6    4    2    7    5 
  4    2    7    5    3    1    6 
  5    3    1    6    4    2    7 
  6    4    2    7    5    3    1 
  7    5    3    1    6    4    2 
AT
  1    2    3    4    5    6    7 
  6    7    1    2    3    4    5 
  4    5    6    7    1    2    3 
  2    3    4    5    6    7    1 
  7    1    2    3    4    5    6 
  5    6    7    1    2    3    4 
  3    4    5    6    7    1    2 

Example: A + (6n±1)×AT - (6n±1)

  1   13   18   23   35   40   45 
 37   49    5   10   15   27   32 
 24   29   41   46    2   14   19 
 11   16   28   33   38   43    6 
 47    3    8   20   25   30   42 
 34   39   44    7   12   17   22 
 21   26   31   36   48    4    9 

4n×4n panmagic squares

A 4n×4n panmagic square can be built by the following algorithm.

Example:

  1    2    3    4                         
               
               
               
               
               
               
               

Example:

  1    2    3    4                         
  8    7    6    5                         
               
               
               
               
               
               

Example:

  1    2    3    4                         
  8    7    6    5                         
  1    2    3    4                         
  8    7    6    5                         
  1    2    3    4                         
  8    7    6    5                         
  1    2    3    4                         
  8    7    6    5                         

Example:

  1    2    3    4    8    7    6    5 
  8    7    6    5    1    2    3    4 
  1    2    3    4    8    7    6    5 
  8    7    6    5    1    2    3    4 
  1    2    3    4    8    7    6    5 
  8    7    6    5    1    2    3    4 
  1    2    3    4    8    7    6    5 
  8    7    6    5    1    2    3    4 
Square A
  1    2    3    4    8    7    6    5 
  8    7    6    5    1    2    3    4 
  1    2    3    4    8    7    6    5 
  8    7    6    5    1    2    3    4 
  1    2    3    4    8    7    6    5 
  8    7    6    5    1    2    3    4 
  1    2    3    4    8    7    6    5 
  8    7    6    5    1    2    3    4 
Square B
  5    4    5    4    5    4    5    4 
  6    3    6    3    6    3    6    3 
  7    2    7    2    7    2    7    2 
  8    1    8    1    8    1    8    1 
  4    5    4    5    4    5    4    5 
  3    6    3    6    3    6    3    6 
  2    7    2    7    2    7    2    7 
  1    8    1    8    1    8    1    8 

Example: A + 4n×B - 4n

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

If you build a 4n×4n pandiagonal magic square with this algorithm then every 2×2 square in the 4n×4n square will have the same sum. Therefore many symmetric patterns of 4n cells have the same sum as any row and any column of the 4n×4n square. Especially each 2n×2 and each 2×2n rectangle will have the same sum as any row and any column of the 4n×4n square. The 4n×4n square is also a Most-perfect magic square.

(6n+3)×(6n+3) panmagic squares, n>0

A (6n+3)×(6n+3) panmagic square with n>0 can be built by the following algorithm.

Examples:

For 9×9 square
  1 
  2 
  3 
 5 
 6 
 4 
 9 
 7 
 8 
vertical sum = 15
For 15×15 square
  1 
  2 
  3 
 5 
 6 
 4 
 9 
 7 
 8 
 10 
 11 
 12 
 15 
 14 
 13 
vertical sum = 40
For 21×21 square
  1 
  2 
  3 
 5 
 6 
 4 
 9 
 7 
 8 
10 11 12
15 14 13
16 17 18
21 20 19
vertical sum = 77

Example:

  1 
  2 
  3 
  5 
  6 
  4 
  9 
  7 
  8 
  1 
  2 
  3 
  5 
  6 
  4 
  9 
  7 
  8 
  1 
  2 
  3 
  5 
  6 
  4 
  9 
  7 
  8 
                                   

Example:

  1 
  2 
  3 
  9 
  7 
  8 
  5 
  6 
  4 
  1 
  2 
  3 
  9 
  7 
  8 
  5 
  6 
  4 
  1 
  2 
  3 
  9 
  7 
  8 
  5 
  6 
  4 
  1 
  2 
  3 
  9 
  7 
  8 
  5 
  6 
  4 
  1 
  2 
  3 
  9 
  7 
  8 
  5 
  6 
  4 
  1 
  2 
  3 
  9 
  7 
  8 
  5 
  6 
  4 
                 

Example:

  1 
  2 
  3 
  9 
  7 
  8 
  5 
  6 
  4 
  5 
  6 
  4 
  1 
  2 
  3 
  9 
  7 
  8 
  9 
  7 
  8 
  5 
  6 
  4 
  1 
  2 
  3 
  1 
  2 
  3 
  9 
  7 
  8 
  5 
  6 
  4 
  5 
  6 
  4 
  1 
  2 
  3 
  9 
  7 
  8 
  9 
  7 
  8 
  5 
  6 
  4 
  1 
  2 
  3 
  1 
  2 
  3 
  9 
  7 
  8 
  5 
  6 
  4 
  5 
  6 
  4 
  1 
  2 
  3 
  9 
  7 
  8 
  9 
  7 
  8 
  5 
  6 
  4 
  1 
  2 
  3 

Example:

A
  1 
  2 
  3 
  9 
  7 
  8 
  5 
  6 
  4 
 5 
 6 
 4 
 1 
 2 
 3 
 9 
 7 
 8 
 9 
 7 
 8 
 5 
 6 
 4 
 1 
 2 
 3 
 1 
 2 
 3 
 9 
 7 
 8 
 5 
 6 
 4 
 5 
 6 
 4 
 1 
 2 
 3 
 9 
 7 
 8 
 9 
 7 
 8 
 5 
 6 
 4 
 1 
 2 
 3 
 1 
 2 
 3 
 9 
 7 
 8 
 5 
 6 
 4 
 5 
 6 
 4 
 1 
 2 
 3 
 9 
 7 
 8 
 9 
 7 
 8 
 5 
 6 
 4 
 1 
 2 
 3 
AT
  1 
  5 
  9 
  1 
  5 
  9 
  1 
  5 
  9 
 2 
 6 
 7 
 2 
 6 
 7 
 2 
 6 
 7 
 3 
 4 
 8 
 3 
 4 
 8 
 3 
 4 
 8 
 9 
 1 
 5 
 9 
 1 
 5 
 9 
 1 
 5 
 7 
 2 
 6 
 7 
 2 
 6 
 7 
 2 
 6 
 8 
 3 
 4 
 8 
 3 
 4 
 8 
 3 
 4 
 5 
 9 
 1 
 5 
 9 
 1 
 5 
 9 
 1 
 6 
 7 
 2 
 6 
 7 
 2 
 6 
 7 
 2 
 4 
 8 
 3 
 4 
 8 
 3 
 4 
 8 
 3 

Example: A + (6n+3)×AT – (6n+3)

 1 
 38 
 75 
 9 
 43 
 80 
 5 
 42 
 76 
 14 
 51 
 58 
 10 
 47 
 57 
 18 
 52 
 62 
 27 
 34 
 71 
 23 
 33 
 67 
 19 
 29 
 66 
 73 
 2 
 39 
 81 
 7 
 44 
 77 
 6 
 40 
 59 
 15 
 49 
 55 
 11 
 48 
 63 
 16 
 53 
 72 
 25 
 35 
 68 
 24 
 31 
 64 
 20 
 30 
 37 
 74 
 3 
 45 
 79 
 8 
 41 
 78 
 4 
 50 
 60 
 13 
 46 
 56 
 12 
 54 
 61 
 17 
 36 
 70 
 26 
 32 
 69 
 22 
 28 
 65 
 21 

References

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.