БИМАГИЧЕСКИЕ КВАДРАТЫ

 

 

Участвуя в одном математическом форуме, узнала о бимагических квадратах. Решила рассказать немного об этих квадратах.

 

ОПРЕДЕЛЕНИЕ

 

 

В Интернете в статьях на английском языке такие квадраты имеют название bimagic.

 

Рассматривают бимагические квадраты как традиционные, заполненные числами от 1 до n², так и нетрадиционные, заполненные любыми различными натуральными числами.

 

Традиционных бимагических квадратов порядков 3, 4 и 5 не существует, что очень легко доказывается.

Как известно, магический квадрат третьего порядка всего один, с точностью до основных преобразований, он показан на рис. 1. Очевидно, что этот квадрат не является бимагическим.

 

 

                                                                Рис. 1

 

В магических квадратах четвёртого порядка всего две строки способны превратиться в бимагические, то есть сумма квадратов чисел в этих строках равна 374. Это была бы магическая константа квадрата, составленного из квадратов чисел, если бы бимагический квадрат четвёртого порядка существовал. Она подсчитывается очень просто: вычисляется сумма квадратов чисел от 1 до 16 и делится на 4. Вот эти две строки:

 

2        8  9  15

3        5  12  14

 

Понятно, что из этих двух строк нельзя составить магический квадрат четвёртого порядка, который был бы бимагическим.

 

Точно так же доказывается, что не существует бимагического (традиционного) квадрата пятого порядка. Я составила программку, по которой получила все строки магических квадратов пятого порядка, способные превратиться в бимагические. Если бы бимагический квадрат пятого порядка существовал, его магическая константа была бы равна 1105 (сумма квадратов всех чисел от 1 до 25, делённая на 5).

Массив этих строк оказался очень маленьким. Вот эти строки:

 

1        10  14  18  22

2  8  14  20  21

2  10  13  16  24

4  5  16  18  22

4  6  13  20  22

4  8  10  21  22

4  8  12  16  25

5  6  12  18  24

 

Легко убедиться, что из этого набора строк нельзя составить магический квадрат пятого порядка.

 

О существовании традиционных бимагических квадратов 6-ого и 7-ого порядка пока ничего не знаю (см. в конец страницы). Можно точно так же попробовать ответить на этот вопрос, как я это сделала для квадратов 4х4 и 5х5.

 

По ссылке

http://mathworld.wolfram.com/BimagicSquare.html

 

приведены бимагические традиционные квадраты 8-ого и 9-ого порядков, а также нетрадиционный бимагический квадрат 6-ого порядка.

 

Бимагические квадраты восьмого порядка не удаётся скопировать. Видимо, автор статьи включил запрет на копирование. Поэтому не буду показывать эти два квадрата. Кто заинтересуется, посмотрит их по ссылке. Скажу только, что магическая константа квадратов, полученных заменой всех элементов в исходных квадратах на их квадраты, равна 11180. Подсчитывается точно так же, как сказано выше: вычисляется сумма квадратов чисел от 1 до 64 и делится на 8.

 

Бимагический квадрат 9-ого порядка удалось скопировать. Вы видите его на рис. 2. Интересно отметить, что этот квадрат ещё и ассоциативный. Конечно, квадрат, получающийся после замены всех элементов их квадратами, ассоциативным уже не является.

 

 

 

                                                               Рис. 2

 

Чтобы лучше было понятно, какой же квадрат получится после замены всех элементов приведённого магического квадрата на их квадраты, покажу этот квадрат наглядно (рис. 3).

 

 

 

                                                               Рис. 3

 

Понятно, что этот квадрат нетрадиционный. Магическая константа его равна 20049 (сумма квадратов чисел от 1 до 81, делённая на 9).

 

На рис. 4 вы видите нетрадиционный бимагический квадрат 6-ого порядка (напоминаю: скопирован по ссылке, указанной выше).

 

 

 

                                                               Рис. 4

 

Магическая константа этого квадрата равна 408. Этот квадрат тоже ассоциативен в том смысле, что сумма любых двух элементов, симметрично расположенных относительно центра квадрата, равна одному и тому же числу – 136.

 Читателям предлагается самостоятельно заменить в этом квадрате все элементы их квадратами и посмотреть на получившийся в результате нетрадиционный квадрат 6-ого порядка. Магическая константа этого квадрата будет равна 36826.

 

А теперь ВНИМАНИЕ! ЗАДАЧА ВЕКА!

 

До сих пор никому не удалось построить нетрадиционный бимагический квадрат пятого порядка или доказать, что такого квадрата не существует.

Подключайтесь к решению этой задачи. Она очень непростая!

 

Вот формулировка задачи: требуется построить нетрадиционный магический квадрат пятого порядка (разрешается заполнять матрицу произвольными различными натуральными числами) такой, что после замены всех его элементов на их квадраты получится снова нетрадиционный магический квадрат. Или доказать, что такого квадрата не существует.

 

Нетрадиционный бимагический квадрат 6-ого порядка вы видите на рис. 4.

 

                                                           ***

 

                        Страница помещена на сайт 29 марта 2008 г.

 

31 марта 2008 г.

 

Интересно отметить следующее свойство бимагических квадратов: если квадрат А=(a_ij) бимагический, то и квадрат В=k*(a_ij), где k= 2, 3, 4… тоже бимагический. По-моему, это утверждение очевидно. При этом если квадрат А=(a_ij) традиционный бимагический, то, понятно, что квадрат В=k*(a_ij) будет нетрадиционный бимагический.

Посмотрим это свойство на примере показанного выше традиционного бимагического квадрата 9-ого порядка (см. рис. 2). Пусть этот квадрат будет исходным квадратом А=(a_ij). Построим нетрадиционный бимагический квадрат В=2*(a_ij), то есть каждый элемент исходного квадрата умножим на 2. И вот перед вами нетрадиционный бимагический квадрат 9-ого порядка (рис. 5).

 

 

 

                                                               Рис. 5

 

Понятно, что магическая константа этого квадрата равна удвоенной магической константе исходного квадрата – 738. Этот квадрат тоже является ассоциативным: сумма любых двух элементов, симметрично расположенных относительно центральной ячейки, равна одному и тому же числу – 164, а в центральной ячейке стоит число, равное половине этой суммы. Очевидно, что, заменив в этом квадрате все его элементы их квадратами, мы получим магический квадрат. Его магическая константа будет равна 4*20049=80196.

 

Так же можно получать бимагические квадраты путём прибавления  к каждому элементу квадрата (или вычитания из каждого элемента) одного и того же числа. Например, прибавим к каждому элементу бимагического квадрата, изображённого на рис. 4 число 1, получится новый нетрадиционный бимагический квадрат, который вы видите на рис. 6.

 

 

 

                                                               Рис. 6

 

Квадрат по-прежнему ассоциативен. Его магическая константа увеличилась на 6. Очевидно, что он остался бимагическим.

 

Ещё более интересен тот факт, что можно строить составные бимагические квадраты. Поистине универсален метод построения составных квадратов!

Поскольку самый минимальный бимагический квадрат у меня имеется 6-ого порядка (рис. 4), буду строить составной бимагический квадрат 36-ого порядка на базе этого квадрата, он же является и основным квадратом. На рис. 7 изображена матрица, с помощью которой строится этот составной квадрат.

 

 

                                                               Рис. 7

 

Составной бимагический квадрат 36-ого порядка покажу в виде, выданном программой. Он представлен в виде двух частей по 18 столбцов каждая, как бы разрезан по вертикали.

 

Бимагический квадрат 36-ого порядка – часть 1

 

593  612  631  700  638  690  1277  1296  1315  1384  1322  1374  1961  1980  1999  2068  2006  2058

 634  616  705  626  687  596  1318  1300  1389  1310  1371  1280  2002  1984  2073  1994  2055  1964

 684  711  610  620  614  625  1368  1395  1294  1304  1298  1309  2052  2079  1978  1988  1982  1993

 663  674  668  678  577  604  1347  1358  1352  1362  1261  1288  2031  2042  2036  2046  1945  1972

 692  601  662  583  672  654  1376  1285  1346  1267  1356  1338  2060  1969  2030  1951  2040  2022

 598  650  588  657  676  695  1282  1334  1272  1341  1360  1379  1966  2018  1956  2025  2044  2063

 2069  2088  2107  2176  2114  2166  1421  1440  1459  1528  1466  1518  4625  4644  4663  4732  4670  4722

 2110  2092  2181  2102  2163  2072  1462  1444  1533  1454  1515  1424  4666  4648  4737  4658  4719  4628

 2160  2187  2086  2096  2090  2101  1512  1539  1438  1448  1442  1453  4716  4743  4642  4652  4646  4657

 2139  2150  2144  2154  2053  2080  1491  1502  1496  1506  1405  1432  4695  4706  4700  4710  4609  4636

 2168  2077  2138  2059  2148  2130  1520  1429  1490  1411  1500  1482  4724  4633  4694  4615  4704  4686

 2074  2126  2064  2133  2152  2171  1426  1478  1416  1485  1504  1523  4630  4682  4620  4689  4708  4727

 3869  3888  3907  3976  3914  3966  4841  4860  4879  4948  4886  4938  1205  1224  1243  1312  1250  1302

 3910  3892  3981  3902  3963  3872  4882  4864  4953  4874  4935  4844  1246  1228  1317  1238  1299  1208

 3960  3987  3886  3896  3890  3901  4932  4959  4858  4868  4862  4873  1296  1323  1222  1232  1226  1237

 3939  3950  3944  3954  3853  3880  4911  4922  4916  4926  4825  4852  1275  1286  1280  1290  1189  1216

 3968  3877  3938  3859  3948  3930  4940  4849  4910  4831  4920  4902  1304  1213  1274  1195  1284  1266

 3874  3926  3864  3933  3952  3971  4846  4898  4836  4905  4924  4943  1210  1262  1200  1269  1288  1307

 3113  3132  3151  3220  3158  3210  3509  3528  3547  3616  3554  3606  3293  3312  3331  3400  3338  3390

 3154  3136  3225  3146  3207  3116  3550  3532  3621  3542  3603  3512  3334  3316  3405  3326  3387  3296

 3204  3231  3130  3140  3134  3145  3600  3627  3526  3536  3530  3541  3384  3411  3310  3320  3314  3325

 3183  3194  3188  3198  3097  3124  3579  3590  3584  3594  3493  3520  3363  3374  3368  3378  3277  3304

 3212  3121  3182  3103  3192  3174  3608  3517  3578  3499  3588  3570  3392  3301  3362  3283  3372  3354

 3118  3170  3108  3177  3196  3215  3514  3566  3504  3573  3592  3611  3298  3350  3288  3357  3376  3395

 4157  4176  4195  4264  4202  4254  881  900  919  988  926  978  3077  3096  3115  3184  3122  3174

 4198  4180  4269  4190  4251  4160  922  904  993  914  975  884  3118  3100  3189  3110  3171  3080

 4248  4275  4174  4184  4178  4189  972  999  898  908  902  913  3168  3195  3094  3104  3098  3109

 4227  4238  4232  4242  4141  4168  951  962  956  966  865  892  3147  3158  3152  3162  3061  3088

 4256  4165  4226  4147  4236  4218  980  889  950  871  960  942  3176  3085  3146  3067  3156  3138

 4162  4214  4152  4221  4240  4259  886  938  876  945  964  983  3082  3134  3072  3141  3160  3179

 773  792  811  880  818  870  2645  2664  2683  2752  2690  2742  413  432  451  520  458  510

 814  796  885  806  867  776  2686  2668  2757  2678  2739  2648  454  436  525  446  507  416

 864  891  790  800  794  805  2736  2763  2662  2672  2666  2677  504  531  430  440  434  445

 843  854  848  858  757  784  2715  2726  2720  2730  2629  2656  483  494  488  498  397  424

 872  781  842  763  852  834  2744  2653  2714  2635  2724  2706  512  421  482  403  492  474

 778  830  768  837  856  875  2650  2702  2640  2709  2728  2747  418  470  408  477  496  515

 

Бимагический квадрат 36-ого порядка – часть 2

 

 4445  4464  4483  4552  4490  4542  2213  2232  2251  2320  2258  2310  4085  4104  4123  4192  4130  4182

 4486  4468  4557  4478  4539  4448  2254  2236  2325  2246  2307  2216  4126  4108  4197  4118  4179  4088

 4536  4563  4462  4472  4466  4477  2304  2331  2230  2240  2234  2245  4176  4203  4102  4112  4106  4117

 4515  4526  4520  4530  4429  4456  2283  2294  2288  2298  2197  2224  4155  4166  4160  4170  4069  4096

 4544  4453  4514  4435  4524  4506  2312  2221  2282  2203  2292  2274  4184  4093  4154  4075  4164  4146

 4450  4502  4440  4509  4528  4547  2218  2270  2208  2277  2296  2315  4090  4142  4080  4149  4168  4187

 1781  1800  1819  1888  1826  1878  3977  3996  4015  4084  4022  4074  701  720  739  808  746  798

 1822  1804  1893  1814  1875  1784  4018  4000  4089  4010  4071  3980  742  724  813  734  795  704

 1872  1899  1798  1808  1802  1813  4068  4095  3994  4004  3998  4009  792  819  718  728  722  733

 1851  1862  1856  1866  1765  1792  4047  4058  4052  4062  3961  3988  771  782  776  786  685  712

 1880  1789  1850  1771  1860  1842  4076  3985  4046  3967  4056  4038  800  709  770  691  780  762

 1786  1838  1776  1845  1864  1883  3982  4034  3972  4041  4060  4079  706  758  696  765  784  803

 1565  1584  1603  1672  1610  1662  1349  1368  1387  1456  1394  1446  1745  1764  1783  1852  1790  1842

 1606  1588  1677  1598  1659  1568  1390  1372  1461  1382  1443  1352  1786  1768  1857  1778  1839  1748

 1656  1683  1582  1592  1586  1597  1440  1467  1366  1376  1370  1381  1836  1863  1762  1772  1766  1777

 1635  1646  1640  1650  1549  1576  1419  1430  1424  1434  1333  1360  1815  1826  1820  1830  1729  1756

 1664  1573  1634  1555  1644  1626  1448  1357  1418  1339  1428  1410  1844  1753  1814  1735  1824  1806

 1570  1622  1560  1629  1648  1667  1354  1406  1344  1413  1432  1451  1750  1802  1740  1809  1828  1847

 3653  3672  3691  3760  3698  3750  17  36  55  124  62  114  989  1008  1027  1096  1034  1086

 3694  3676  3765  3686  3747  3656  58  40  129  50  111  20  1030  1012  1101  1022  1083  992

 3744  3771  3670  3680  3674  3685  108  135  34  44  38  49  1080  1107  1006  1016  1010  1021

 3723  3734  3728  3738  3637  3664  87  98  92  102  1  28  1059  1070  1064  1074  973  1000

 3752  3661  3722  3643  3732  3714  116  25  86  7  96  78  1088  997  1058  979  1068  1050

 3658  3710  3648  3717  3736  3755  22  74  12  81  100  119  994  1046  984  1053  1072  1091

 233  252  271  340  278  330  3437  3456  3475  3544  3482  3534  2789  2808  2827  2896  2834  2886

 274  256  345  266  327  236  3478  3460  3549  3470  3531  3440  2830  2812  2901  2822  2883  2792

 324  351  250  260  254  265  3528  3555  3454  3464  3458  3469  2880  2907  2806  2816  2810  2821

 303  314  308  318  217  244  3507  3518  3512  3522  3421  3448  2859  2870  2864  2874  2773  2800

 332  241  302  223  312  294  3536  3445  3506  3427  3516  3498  2888  2797  2858  2779  2868  2850

 238  290  228  297  316  335  3442  3494  3432  3501  3520  3539  2794  2846  2784  2853  2872  2891

 2897  2916  2935  3004  2942  2994  3581  3600  3619  3688  3626  3678  4265  4284  4303  4372  4310  4362

 2938  2920  3009  2930  2991  2900  3622  3604  3693  3614  3675  3584  4306  4288  4377  4298  4359  4268

 2988  3015  2914  2924  2918  2929  3672  3699  3598  3608  3602  3613  4356  4383  4282  4292  4286  4297

 2967  2978  2972  2982  2881  2908  3651  3662  3656  3666  3565  3592  4335  4346  4340  4350  4249  4276

 2996  2905  2966  2887  2976  2958  3680  3589  3650  3571  3660  3642  4364  4273  4334  4255  4344  4326

 2902  2954  2892  2961  2980  2999  3586  3638  3576  3645  3664  3683  4270  4322  4260  4329  4348  4367

 

Магическая константа этого квадрата равна 89280. Квадрат по-прежнему ассоциативен. И самое главное – бимагический.

 

Точно так же можно построить традиционный бимагический квадрат 81-ого порядка на базе бимагического квадрата 9-ого порядка, изображённого на рис. 2 (он же будет основным квадратом). А ещё, например, нетрадиционный бимагический квадрат 54-ого порядка с использованием квадратов 9-ого и 6-ого порядка. Ну, а по указанной выше ссылке есть ещё и традиционные бимагические квадраты 8-ого порядка. Их тоже можно использовать в построении составных бимагических квадратов.

 

                                                           ***

 

Добавление (7 июля 2008 г.)

 

В книге Ю. В. Чебракова нашла метод построения бимагических квадратов, который хочу показать здесь (данные о книге см. на странице: http://www.klassikpoez.narod.ru/glavnaja.htm )

Раньше я видела в Сети только готовые бимагические квадраты, но не встречала методов их построения. Поэтому думаю, что метод, изложенный в книге Чебракова, будет интересен читателям.

Начну с бимагического квадрата 9-ого порядка. Именно на примере такого квадрата автор демонстрирует свой метод.

Чебраков даёт такое утверждение:

 

 

Примечание: Чебраков называет бимагические квадраты двойными.

 

Далее это утверждение обобщается для любого бимагического квадрата порядка n. Смотрите об этом ниже.

 

Определение ортогональных латинских квадратов я уже воспроизводила в одной из предыдущих статей. Диагональными латинскими квадратами называются такие латинские квадраты, в главных диагоналях которых каждый из n элементов встречается один раз.

 

Чтобы построить латинские квадраты с указанным свойством, автор представляет любое число от 1 до 80 в таком виде:

 

N = 27*a +9*b + 3*c + d

 

где параметры a, b, c, d могут принимать значения 0, 1, 2.

Далее автор строит таблицу (рис. 8) из пар следующих сочетаний: 00, 11, 22, 01, 02, 12, 10, 20, 21. Понятно, что различных пар таких сочетаний будет как раз 81.

 

 

Рис. 8

 

Интересно отметить, что эта матрица построена так, что элементы в каждой строке, в каждом столбце и в каждой главной диагонали содержат в каждой позиции по три нуля, по три единицы и по три двойки.

Понятно, что по этой таблице уже можно строить бимагический квадрат, вычисляя каждый элемент по приведённой выше формуле. Однако автор раскладывает эту таблицу на два латинских диагональных ортогональных квадрата, чтобы показать, что эти латинские квадраты действительно удовлетворяют свойству, указанному в утверждении. Разложение на латинские квадраты выполняется очень просто: первая пара символов из каждого элемента таблицы идёт в первый латинский квадрат, вторая пара символов – во второй латинский квадрат. При этом на каждую пару символов надо смотреть как на троичное число (то есть число в троичной системе счисления) и в латинский квадрат записывать десятичный эквивалент этого троичного числа.

На рис. 9 и рис. 10 вы видите получившиеся в результате разложения латинские квадраты.

 

 

Рис. 9

 

 

 

Рис. 10

 

Очевидно, что эти латинские квадраты диагональные и ортогональные. Теперь перемножим соответствующие элементы этих латинских квадратов, получим такую матрицу (рис. 11):

 

 

Рис. 11

 

Сумма чисел в любой строке, в любом столбце и в главных диагоналях этой матрицы равна одному и тому же числу – 144.

 

Теперь строим бимагический квадрат, кому как больше нравится: или с помощью таблицы с рис. 8, или с помощью двух латинских квадратов (рис. 9 и рис. 10). При втором способе применяется формула:

 

c_ij = 9*a_ij + b_ij + 1,

 

в которой a_ij – элементы первого латинского квадрата, b_ij – соответствующие элементы второго латинского квадрата, c_ij – соответствующие элементы бимагического квадрата. Если в этой формуле не прибавлять единицу, то получится бимагический квадрат, заполненный числами от 0 до 80. Такой квадрат и приведён в книге (стр. 103). Поскольку традиционное заполнение квадрата числами от 1 до 81 более привычно, я привожу квадрат к такому виду.

На рис. 12 вы видите готовый бимагический квадрат.

 

 

Рис. 12

 

Итак, мы имеем ещё один бимагический квадрат 9-ого порядка (первый смотрите на рис. 2).

 

Чебраков ничего не написал о том, сколько бимагических квадратов 9-ого порядка можно построить данным методом. Понятно, что можно построить не единственный квадрат. И вот подтверждение: бимагический квадрат с рис. 2 тоже раскладывается на два ортогональных диагональных латинских квадрата, обладающих свойством, указанным в утверждении Чебракова. На рис. 13 и рис. 14 представлены эти латинские квадраты.

 

 

Рис. 13

 

 

 

Рис. 14

 

Перемножив соответствующие элементы этих латинских квадратов, получим такую матрицу (рис. 15):

 

 

Рис. 15

 

В этой матрице тоже сумма чисел в любой строке, в любом столбце и в главных диагоналях равна одному и тому же числу – 144.

А вот таблица, в которую свёртываются два латинских квадрата с рис. 13 и с рис. 14 (рис. 16):

 

 

Рис. 16

 

Интересно отметить: и латинские квадраты (рис. 13 и рис. 14), и матрица на рис. 16 являются ассоциативными. И бимагический квадрат на рис. 2, построенный с помощью этих латинских квадратов или с помощью данной матрицы, тоже ассоциативный.

Ещё интересный факт: латинские квадраты, с помощью которых строятся бимагические квадраты в обоих примерах, являются магическими (нетрадиционными) квадратами с магической константой 36. Это и понятно, потому что в каждой строке, в каждом столбце и в каждой главной диагонали диагональных латинских квадратов находится один и тот же набор чисел: 0, 1, 2, 3, 4, 5, 6, 7, 8. А если посмотреть на матрицы с рис. 8 и с рис. 16, как на квадраты, заполненные десятичными числами, это тоже магические (нетрадиционные) квадраты с магической константой 9999.

 

Теперь задача читателям: постройте этим методом третий бимагический квадрат 9-ого порядка, отличный от двух приведённых.

Вторая задача: посчитать, сколько всего бимагических квадратов 9-ого порядка можно построить данным методом.

 

***

 

Итак, интересный вопрос: сколько бимагических квадратов можно построить описанным методом? Понятно, что если подвергнуть бимагический квадрат с рис. 12 одному из семи основных преобразований, то снова получится бимагический квадрат. И каждый такой бимагический квадрат имеет своё разложение на два ортогональных диагональных латинских квадрата, с помощью которых он и может быть построен описанным здесь методом. Значит, к квадрату с рис. 12 имеем ещё 7 бимагических квадратов.

 

В книге Чебракова описываются ещё М-преобразования. Это преобразования, заключающиеся в перестановке строк и столбцов магического квадрата с соответствующими номерами (см. подробнее в книге, стр. 64-67). В книге приводится количество М-преобразований для магических квадратов порядков 3-13. Для магических квадратов 9-ого порядка таких преобразований 192. Покажу один из квадратов, полученный применением М-преобразования к квадрату с рис. 12 (рис. 17).

 

 

Рис. 17

 

Очевидно, что если М-преобразование применяется к бимагическому квадрату, в результате получается тоже бимагический квадрат, потому что в результате М-преобразований не изменяются наборы чисел ни в строках, ни в столбцах, ни в главных диагоналях.

Понятно, что этот бимагический квадрат тоже имеет свою пару латинских квадратов, из которых он может быть построен. И эти латинские квадраты обладают всеми свойствами, указанными в утверждении Чебракова. Чтобы построить этот бимагический квадрат, можно сначала применить точно такое же М-преобразование к обоим латинским квадратам (рис. 9 и рис. 10), а затем построить из получившихся латинских квадратов бимагический квадрат, который и будет квадратом с рис. 17.

Следовательно, имеем ещё 192 бимагических квадрата.

Но с учётом основных преобразований и М-преобразований мы имеем пока только 2 бимагических квадрата (рис. 2 и рис. 12). Отметим, что к квадрату с рис. 2 можно применить ещё такие перестановки строк и/или столбцов, которые возможны в ассоциативных магических квадратах (это перестановки симметричных строк и/или столбцов). Однако, как будет показано ниже, такие перестановки не сохраняют бимагичность квадрата.

Остаётся нерешённым вопрос: сколько разных бимагических квадратов 9-ого порядка можно построить изложенным здесь методом?

 

Теперь приведу утверждение Чебракова для квадратов любого порядка n:

 

 

В случае для бимагических квадратов 9-ого порядка магическая константа матрицы, полученной поклеточным умножением латинских квадратов, равна:

 

S = n(n – 1)( n – 1)/4 = 9*8*8/4 = 144

 

Автор указал, что утверждение справедливо только для нечётных или чётно-чётных значений n, потому что для порядков n = 4k+2 значение магической константы S будет дробным числом.

Однако автором не указано, для каких именно нечётных и чётно-чётных порядков верно утверждение. Например, бимагических квадратов порядков 3, 4, 5 вообще не существует (это доказано в начале данной страницы). Бимагический квадрат 7-ого порядка мне с ходу не удалось построить. Да и существует ли он?

 

Пример построения бимагического квадрата 8-ого порядка нахожу в книге. Магическая константа матрицы, полученной перемножением латинских квадратов, используемых для построения бимагического квадрата 8-ого порядка, равна:

S = n(n – 1)( n – 1)/4 = 8*7*7/4 = 98

 

Чебраков приводит готовые ортогональные диагональные латинские квадраты и бимагический квадрат 8-ого порядка, построенный из этих латинских квадратов, без объяснения, как он построил латинские квадраты (см. стр. 123, рис. 2.17). Воспроизведу здесь этот пример. На рис. 18 и рис. 19 вы видите латинские квадраты для построения бимагического квадрата, а на рис. 21 бимагический квадрат 8-ого порядка, построенный из этих латинских квадратов. Напомню, что формула построения бимагического квадрата из латинских квадратов точно такая же, как приведённая выше формула для построения квадрата 9-ого порядка (только вместо множителя 9 будет множитель 8).

 

 

Рис. 18

 

 

 

Рис. 19

 

Отмечу, что оба латинских квадрата являются магическими (нетрадиционными) квадратами с магической константой 28. Очевидно, что квадраты диагональные и ортогональные. А ещё оба эти квадрата ассоциативные: сумма любых двух чисел, симметрично расположенных относительно центра квадрата, равна 7.

 Если перемножить соответствующие элементы этих латинских квадратов, получится такая матрица (рис. 20):

 

 

Рис. 20

 

Сумма чисел в любой строке, в любом столбце и в главных диагоналях этой матрицы равна одному и тому же числу – 98.

Теперь построим бимагический квадрат (рис. 21):

 

 

Рис. 21

 

Бимагический квадрат тоже получился ассоциативный.

Магическая константа квадрата, который получится из квадрата с рис. 21 заменой всех его элементов на их квадраты, равна:

 

S = (1² + 2² + 3² + … + 64²)/8 = 11180

 

Проверим первую строку:

 

45² + 23² + 36² + 26² + 59² + 1² + 54²+ 16² = 11180

 

Магическая сумма получилась.

Понятно, что всё сказанное выше о бимагических квадратах 9-ого порядка, имеет место и для бимагических квадратов 8-ого порядка. По данным Чебракова для магических квадратов 8-ого порядка тоже существует 192 М-преобразования.

А вот как построить новый бимагический квадрат 8-ого порядка, не получающийся из построенного квадрата ни основными преобразованиями ни М-преобразованиями?

 

По аналогии с формулой Чебракова для квадрата 9-ого порядка я попыталась разложить все числа квадрата 8-ого порядка. У меня получилась только такая формула разложения:

 

[1]              N = 32a + 8b + 4c + d = 8(4a + b) + 4c + d

 

где параметры a, b, c, d принимают значения 0, 1, 2, 3. Все сочетания из этих символов будут такие: 00, 11, 22, 33, 01, 02, 03, 10, 20, 30, 12, 13, 21, 31, 23, 32. В представлении всех чисел от 0 до 63 участвуют на все эти сочетания, поэтому и в матрице, которую я сочинила, тоже участвуют не все сочетания перечисленных пар элементов. Всего сочетаний указанных пар элементов будет 256, а в матрице использовано только 64 сочетания. Но ничего лучшего у меня не сочиняется. На рис. 22 вы видите матрицу для построения бимагического квадрата 8-ого порядка.

 

 

Рис. 22

 

Если посмотреть на эту матрицу как на нетрадиционный квадрат, заполненный десятичными числами, этот квадрат будет магический с магической константой 5252. Кроме того, квадрат ассоциативный: сумма любых двух чисел, симметрично расположенных относительно центра квадрата, равна 1313.

А строить бимагический квадрат по этой матрице надо по формуле [1]. Например, элемент в левой верхней ячейке матрицы вычисляется так:

 

1110 = 32*1 + 8*1 + 4*1 + 0 = 44

 

Для приведения квадрата к традиционному виду каждый элемент надо увеличить на единицу.

Понятно, что эту матрицу я составила, используя готовый бимагический квадрат и готовые латинские квадраты. А вот как сочинить такую матрицу, не имея готовых квадратов? Это задача для читателей. Если вы сочините новую матрицу, то построите новый бимагический квадрат 8-ого порядка. Подчеркну ещё раз: интересны только новые квадраты, не получающиеся из квадрата с рис. 21 ни основными преобразованиями, ни М-преобразованиями.

Кроме того, по указанной в начале статьи ссылке есть бимагические квадраты восьмого порядка. Я не стала их копировать, потому что они не копируются почему-то, а переписывать их вручную не хочется. Посмотрите на эти квадраты, сравните их с квадратом Чебракова. Вполне возможно, что это совсем другие квадраты. На досуге посмотрю на эти квадраты. Интересно!

 

Напомню ещё один открытый вопрос: существует ли традиционный бимагический квадрат 7-ого порядка? Если существует, как его построить?

Ничего не знаю так же о традиционном бимагическом квадрате 6-ого порядка. Нетрадиционный бимагический квадрат этого порядка приведён в начале статьи.

Ну, и задача века, о которой тоже уже сказано выше: никому ещё не удалось построить нетрадиционный бимагический квадрат 5-ого порядка или доказать, что такого квадрата не существует. А может быть, уже кому-то удалось? Напишите мне тогда об этом.

 

***

 

Досуг был уже вчера вечером. Интерес пересилил все другие дела, и я “пошла” по ссылке, указанной в начале статьи, смотреть на два бимагических квадрата 8-ого порядка.

 

Итак, на рис. 23 вы видите первый бимагический квадрат, взятый по указанной ссылке.

 

 

Рис. 23

 

Раскладываю этот квадрат на латинские квадраты (рис. 24 и рис. 25):

 

 

Рис. 24

 

 

 

Рис. 25

 

Эти латинские квадраты не удовлетворяют тем свойствам, которые указаны в утверждении Чебракова. Во-первых, второй квадрат является обобщённым латинским квадратом. Во-вторых, матрица, полученная поклеточноым умножением этих латинских квадратов, не является магической. Таким образом, делаем вывод: условия в утверждении Чебракова для латинских квадратов, с помощью которых может быть построен бимагический квадрат 8-ого порядка, являются достаточными, но не являются необходимыми. Кстати, в утверждении присутствует слово “достаточно”.

Следует отметить, что латинские квадраты по-прежнему являются магическими (нетрадиционными) квадратами с магической константой 28, как в предыдущем примере, несмотря на то, что второй квадрат является обобщённым латинским квадратом.

 

На рис. 25а показываю матрицу, аналогичную матрице с рис. 22, для данного бимагического квадрата:

 

 

Рис. 25а

 

Как и матрица на рис. 22, эта матрица является магической с магической константой 5252 (если смотреть на её элементы как на десятичные числа).

 

На рис. 26 представляю второй бимагический квадрат, взятый по указанной ссылке:

 

 

Рис. 26

 

Раскладываю этот квадрат на латинские квадраты (рис. 27 и рис. 28):

 

 

Рис. 27

 

 

 

Рис. 28

 

В этом примере всё, как в утверждении Чебракова. Латинские квадраты диагональные и ортогональные. Матрица, полученная поклеточным перемножением этих латинских квадратов, магическая с магической константой 98. Латинские квадраты по-прежнему являются магическими (нетрадиционными) квадратами с магической константой 28.

 

На рис. 29 показываю матрицу, аналогичную матрице с рис. 22, для данного квадрата:

 

 

Рис. 29

 

И снова получаем магическую матрицу (смотрим на элементы в этой матрице как на десятичные числа) с магической константой 5252.

 

А теперь такой эксперимент: беру матрицу с рис. 22 и выполняю для неё программу перестановки строк. Программа выдаёт мне 145 вариантов магических матриц! Как я уже говорила, здесь (как в ассоциативном квадрате) возможны перестановки симметричных строк. Но среди вариантов оказались и другие перестановки строк. Вот первые 5 вариантов, выданных программой:

 

1

 1110  212  1003  301  1302  0  1211  113

 1013  311  1100  202  1201  103  1312  10

 101  1203  12  1310  313  1011  200  1102

 2  1300  111  1213  210  1112  303  1001

 312  1010  201  1103  100  1202  13  1311

 211  1113  302  1000  3  1301  110  1212

 1303  1  1210  112  1111  213  1002  300

 1200  102  1313  11  1012  310  1101  203

 

 2

 1110  212  1003  301  1302  0  1211  113

 1013  311  1100  202  1201  103  1312  10

 101  1203  12  1310  313  1011  200  1102

 2  1300  111  1213  210  1112  303  1001

 211  1113  302  1000  3  1301  110  1212

 312  1010  201  1103  100  1202  13  1311

 1200  102  1313  11  1012  310  1101  203

 1303  1  1210  112  1111  213  1002  300

 

 3

 1110  212  1003  301  1302  0  1211  113

 1013  311  1100  202  1201  103  1312  10

 101  1203  12  1310  313  1011  200  1102

 312  1010  201  1103  100  1202  13  1311

 2  1300  111  1213  210  1112  303  1001

 211  1113  302  1000  3  1301  110  1212

 1303  1  1210  112  1111  213  1002  300

 1200  102  1313  11  1012  310  1101  203

 

 4

 1110  212  1003  301  1302  0  1211  113

 1013  311  1100  202  1201  103  1312  10

 101  1203  12  1310  313  1011  200  1102

 211  1113  302  1000  3  1301  110  1212

 1303  1  1210  112  1111  213  1002  300

 312  1010  201  1103  100  1202  13  1311

 2  1300  111  1213  210  1112  303  1001

 1200  102  1313  11  1012  310  1101  203

 

 5

 1110  212  1003  301  1302  0  1211  113

 1013  311  1100  202  1201  103  1312  10

 2  1300  111  1213  210  1112  303  1001

 101  1203  12  1310  313  1011  200  1102

 211  1113  302  1000  3  1301  110  1212

 312  1010  201  1103  100  1202  13  1311

 1303  1  1210  112  1111  213  1002  300

 1200  102  1313  11  1012  310  1101  203

 

Вариант под номером 1 – это сама матрица с рис. 22.

Посмотрим на матрицу варианта 2. Очевидно, что в ней переставлены не симметричные строки: четвёртая строка переставлена с пятой, седьмая – с восьмой. Интересно, получится ли бимагическим квадрат 8-ого порядка, построенный с помощью этой матрицы? Понятно, что если построить квадрат с помощью этой матрицы, построенный квадрат будет получаться из квадрата с рис. 21 точно такой же перестановкой строк. На рис. 30 вы видите этот квадрат.

 

 

Рис. 30

 

Квадрат получился магическим. Но является ли он бимагическим? Понятно, что надо проверить только диагональные наборы чисел, так как наборы в строках и столбцах при этом преобразовании не изменились. Проверяем первую диагональ:

 

45² + 30² + 7² + 56² + 4² + 51² + 42² + 25² = 11116

 

Увы! Квадрат бимагическим не получился. Нет нужной суммы и для квадратов чисел во второй главной диагонали.

Можно предположить, что верно следующее утверждение:

 

 

Примечание: бимагический квадрат в этом утверждении считается заполненным числами от 0 до 63.

 

Для трёх бимагических квадратов, которые здесь рассмотрены, это утверждение выполняется. Однако это не означает, что оно верно для всех бимагических квадратов 8-ого порядка, его ещё надо доказать. Таким образом, условие, сформулированное в утверждении, является необходимым, но не достаточным для того, чтобы по такой матрице получился бимагический квадрат. В этом мы убедились в приведённом выше примере.

 

Теперь посмотрим на вариант матрицы под номером 3. В этом варианте переставлены симметричные строки – четвёртая с пятой. Понятно, что если мы в квадрате с рис. 21 сделаем точно такую перестановку строк, получим квадрат, соответствующий матрице этого варианта. Смотрите этот квадрат на рис. 31.

 

 

Рис. 31

 

Проверив диагональные наборы чисел, убеждаемся, что квадрат не является бимагическим.

 

Наконец, приведу пример М-преобразования, применённого к квадрату с рис. 21. Получившийся в результате преобразования квадрат изображён на рис. 32.

 

 

Рис. 32

 

Этот квадрат остался бимагическим. Итак, из каждого рассмотренного здесь бимагического квадрата мы можем получить 192 бимагических квадрата с помощью М-преобразований.

 

Важное заключение:

 

 

***

 

Вспомнила о матрице, которая составлена для построения пандиагональных квадратов в статье:

http://www.grogono.com/magic/9x9.php

 

и об аналогичной матрице, составленной мной для построения идеальных квадратов 9-ого порядка с помощью ортогональных латинских квадратов, и составила по аналогии с этими матрицами матрицу для построения бимагических квадратов 9-ого порядка. За образец взяла матрицу с рис. 8, составленную Чебраковым. На рис. 33 вы видите матрицу для построения бимагических квадратов 9-ого порядка.

 

 

Рис. 33

 

К этой матрице должна прилагаться табличка значений символов. Вот она (рис. 34):

 

 

Рис. 34

 

Напомню, как вычислять элементы в этой матрице. Надо просто суммировать значения входящих в элемент символов, учитывая при этом позицию каждого символа и в соответствии с этой позицией выбирая его значение из таблички на рис. 34. Пример:

 

ВВАС = 27 + 9 + 0 + 2 = 38

 

Для приведения квадрата к традиционному виду надо увеличить каждый элемент на единицу.

Если вы построите квадрат по матрице с рис. 33, используя значения символов из таблички на рис. 34, у вас получится бимагический квадрат, построенный Чебраковым (см. рис. 12).

Ценность представленной матрицы в том, что она позволяет построить другие бимагические квадраты, изменяя значения символов. Возьмём, например, такие значения символов (рис. 35):

 

 

Рис. 35

 

Построенный с этими значениями бимагический квадрат вы видите на рис. 36.

 

 

Рис. 36

 

Если вы сравните этот квадрат с квадратом, построенным Чебраковым (рис. 12), увидите, что в этих квадратах наборы чисел в строках и столбцах одинаковые, значит, один квадрат можно получить из другого перестановкой строк и столбцов. Однако это преобразование не является М-преобразованием (диагональные наборы чисел в квадратах различны) и тем более не относится к основным преобразованиям магических квадратов. Следовательно, мы получили новый бимагический квадрат, не эквивалентный квадрату с рис. 12.

 

Теперь построим бимагический квадрат с такими значениями символов (рис. 36):

 

 

Рис. 36

 

Бимагический квадрат, построенный с этими значениями, изображён на рис. 37.

 

 

Рис. 37

 

Снова получился бимагический квадрат, имеющий одинаковые наборы чисел в строках и столбцах с квадратом Чебракова. И тем не менее это не эквивалентные квадраты.

 

И последний пример с такими значениями символов (рис. 38):

 

 

Рис. 38

 

В этом случае получается бимагический квадрат совсем отличающийся от квадрата с рис. 12, то есть наборы чисел в строках и столбцах не одинаковые. Вы видите этот бимагический квадрат на рис. 39.

 

 

Рис. 39

 

Итак, варьируя значения символов в матрице с рис. 33, можно построить несколько новых бимагических квадратов 9-ого порядка. Значения символов можно варьировать так: во-первых, менять местами значения для символов А, В, С, то есть переставлять строки в табличке значений символов; во-вторых, циклически переставлять значения символов А, В, С одновременно.

 

А теперь возьмём за образец матрицу с рис. 16.  Эта матрица соответствует бимагическому квадрату, изображённому на рис. 2. Построим точно так же символьную матрицу (рис. 40):

 

 

Рис. 40

 

Если построить с помощью этой матрицы бимагический квадрат, используя значения символов из таблички с рис. 34, то получится квадрат, изображённый на рис. 2.

Теперь приведу пример построения бимагического квадрат с другими значениями символов (см. табличку на рис. 41).

 

 

Рис. 41

 

Полученный бимагический квадрат вы видите на рис. 42.

 

 

Рис. 42

 

Получился новый бимагический квадрат, не эквивалентный квадрату с рис. 2. Обратите внимание: этот квадрат тоже ассоциативный, как и квадрат на рис. 2.

Читатели могут построить другие варианты бимагических квадратов, изменив значения символов в матрице с рис. 40.

 

Теперь по аналогии составляю символьную матрицу для построения бимагических квадратов восьмого порядка. За образец беру матрицу с рис. 22. Эта матрица соответствует бимагическому квадрату, приведённому в книге Чебракова. В отличие от квадратов 9-ого порядка в матрице для квадратов 8-ого порядка будет 4 символа: A, B, C, D.  Готовую матрицу показываю на рис. 43.

 

 

Рис. 43

 

К этой матрице, как уже знают читатели, надо приложить таблицу значений символов. Вот она (рис. 44):

 

 

Рис. 44

 

Значения символов C и D в первой позиции не указаны потому, что эти символы не присутствуют в первой позиции ни в одном элементе матрицы.

Если вы построите квадрат с помощью матрицы с рис. 43, используя значения символов из таблички на рис. 44,  этот квадрат в точности совпадёт с квадратом Чебракова (рис. 21).

(Не забудьте, что для приведения квадрата к традиционному виду надо все элементы увеличить на единицу.)

 

А теперь попробуем построить бимагические квадраты с помощью этой же матрицы, но с другими значениями символов.

 

Пример 1.

 

Таблица значений символов изображена на рис. 45.

 

 

Рис. 45

 

Полученный бимагический квадрат вы видите на рис. 46.

 

 

Рис. 46

 

Как и квадрат Чебракова, этот квадрат ассоциативный. Во всех следующих примерах тоже получатся ассоциативные бимагические квадраты. Если вы сравните построенный квадрат с квадратом Чебракова, то увидите, что в этих квадратах одинаковы наборы чисел в строках, в столбцах и в главных диагоналях. Это значит, что квадрат Чебракова можно получить из построенного квадрата М-преобразованиями. Покажу этот процесс подробно, это полезно для понимания М-преобразований, тем более что здесь используются сложные М-преобразования второго типа (см. в книге Чебракова стр. 65). Сначала переставим первую строку со второй, седьмую строку с восьмой, а затем соответствующие пары столбцов. Получим такой квадрат (рис. 47):

 

 

Рис. 47

 

Далее в квадрате с рис. 47 переставим вторую строку с третьей, четвёртую с пятой и затем соответствующие пары столбцов. Получаем такой квадрат (рис. 48):

 

 

Рис. 48

 

Осталось отразить полученный квадрат относительно горизонтальной оси симметрии, и он в точности совпадёт с квадратом Чебракова.

 

Если отнести М-преобразования к эквивалентным преобразованиям магических квадратов (эквивалентными преобразованиями являются основные преобразования магических квадратов и преобразования параллельного переноса на торе для пандиагональных квадратов), то мы построили с помощью матрицы бимагический квадрат эквивалентный квадрату Чебракова. Однако без матрицы трудно было догадаться, какие именно М-преобразования применить к квадрату Чебракова, чтобы построить другой бимагический квадрат. Если же не причислять М-преобразования к эквивалентным преобразованиям, то мы построили новый бимагический квадрат.

 

Пример 2.

 

Возьмём теперь такие значения для символов матрицы (рис. 49):

 

 

Рис. 49

 

Построенный с этими значениями бимагический квадрат представлен на рис. 50.

 

 

Рис. 50

 

Пример 3.

 

Значения символов приведены на рис. 51, а построенный бимагический квадрат – на рис. 52.

 

 

Рис. 51

 

 

 

Рис. 52

 

В обоих последних примерах бимагические квадраты так же получились эквивалентными квадрату Чебракова с точностью до М-преобразований.

 

Интересно заметить, что бимагический квадрат из Интернета (рис. 23) имеет с квадратом Чебракова одинаковые наборы чисел в столбцах. Наборы чисел в строках и в главных диагоналях отличаются от квадрата Чебракова. А во втором квадрате из Интернета (рис. 26) все наборы отличны от квадрата Чебракова. Предлагаю читателям составить аналогичные символьные матрицы для этих двух бимагических квадратов 8-ого порядка, взяв за образец соответствующие матрицы этих квадратов (рис. 25а и рис. 29), и построить с помощью символьных матриц новые бимагические квадраты, варьируя значения символов матрицы.

 

***

 

ИНТЕРЕСНЫЕ НАХОДКИ

 

Оказывается, задача века, о которой сказано выше, уже решена. По этой ссылке:

http://cboyer.club.fr/multimagie//Endlish/Smallestbi3_7.htm#BimaCohen

 

нашла два нетрадиционных бимагических квадрата 5-ого порядка. Вот они (рис. 53 и рис. 54):

 

 

                                                               Рис. 53

 

 

 

                                                               Рис. 54

 

По этой же ссылке нашла нетрадиционные бимагические квадраты 6-ого и 7-ого порядка. Копирую прямо с указанной страницы (рис. 55 и рис. 56):

 

 

Рис. 55

 

 

Рис. 56

 

Далее по ссылке

 

http://cboyer.club.fr/multimagie/English/Panbimagic.htm

 

нашла пандиагональный бимагический квадрат 8-ого порядка. Однако после замены всех его элементов на их квадраты пандиагональность не сохраняется. Копирую этот квадрат (рис. 57):

 

 

Рис. 57

 

Интересно отметить, что бимагический квадрат 8-ого порядка, найденный мной в Интернете и представленный на рис. 26, тоже пандиагональный. Построен он, вероятнее всего, в нашем веке. Однако (как и в приведённом только что примере) после замены элементов этого пандиагонального квадрата на их квадраты пандиагональность не сохраняется.

А вот и третий аналогичный пандиагональный квадрат 8-ого порядка (рис. 58). Он получен преобразованием трёх квадратов из ассоциативного бимагического квадрата, построенного Чебраковым (см. рис. 21).

 

 

Рис. 58

 

С удивлением обнаруживаю, что получился квадрат с рис. 57, повёрнутый на 180 градусов.

 

Наконец, по той же ссылке приведён традиционный бимагический пандиагональный квадрат 32-ого порядка. Этот квадрат не только сам пандиагональный, но и остаётся пандиагональным после замены всех его элементов на их квадраты. Вот этот удивительный квадрат:

 

Бимагический и пандиагональный квадрат 32-ого порядка (bimagic&panmagic)

 

 

1,200,44,237,434,1015,411,990,128,601,85,628,463,906,486,931,737,552,716,525,850,279,891,318,672,185,693,148,815,362,774,323;
137,386,371,101,346,80,221,470,248,511,1006,764,967,721,580,843,617,866,915,645,954,688,573,822,536,799,270,28,295,49,164,427;
68,293,457,176,499,150,762,383,733,348,856,209,878,235,647,994,676,965,809,592,787,630,26,927,61,956,440,561,398,523,103,258;
556,739,530,712,283,845,320,887,181,670,143,697,358,820,321,778,204,3,242,40,1019,429,992,407,597,126,623,89,902,468,929,490;
838,909,865,951,652,574,690,537,827,276,800,298,21,163,47,136,422,365,385,343,108,222,82,249,475,1012,512,970,757,579,719,616;
979,683,602,802,637,773,920,16,942,54,551,447,516,412,265,113,307,75,186,450,157,485,376,752,334,726,199,863,228,892,1001,657;
775,240,4,1014,41,991,435,604,410,625,125,907,88,930,462,549,487,528,740,278,713,319,851,188,890,145,669,363,696,322,814,197;
370,426,347,387,224,104,245,77,1007,471,966,510,577,761,620,724,914,842,955,867,576,648,533,685,271,823,294,798,161,25,140,52;
111,183,70,158,449,377,492,340,754,202,731,227,864,1000,885,973,655,599,678,638,801,921,780,948,18,554,59,515,448,264,405,301;
538,497,285,747,312,706,174,837,135,880,356,662,329,703,211,828,250,785,1021,11,984,34,590,421,615,400,900,118,937,95,563,476;
718,950,839,575,868,540,649,273,691,299,826,162,797,133,24,368,46,342,423,223,388,252,105,1009,83,971,474,578,509,613,760,912;
603,660,640,682,917,803,943,776,550,13,513,55,268,446,306,409,187,116,160,74,373,451,335,488,198,749,225,727,1004,862,978,889;
821,1022,783,985,6,596,33,618,428,899,402,936,123,557,96,535,469,286,495,313,742,180,705,138,844,355,882,328,667,205,704,247;
349,60,216,433,238,395,999,98,964,69,585,464,627,502,922,767,957,732,568,849,526,875,263,642,292,677,169,816,147,790,378,31;
408,159,110,380,71,337,452,203,489,226,755,997,730,976,861,598,888,639,654,924,679,945,804,555,777,514,19,261,58,304,445,182;
288,473,309,500,175,746,134,707,353,840,332,877,210,663,251,702,1024,825,981,788,591,10,614,35,897,424,940,397,562,119,539,94;
768,569,725,532,847,266,870,291,641,168,684,141,818,375,795,350,32,217,53,244,431,1002,390,963,97,584,76,621,466,919,507,958;
632,895,910,668,935,689,548,811,521,770,275,5,314,48,189,438,152,415,366,124,327,81,196,459,233,482,1011,741,986,720,605,854;
701,988,824,593,782,619,7,898,36,933,425,560,403,534,122,287,93,316,472,177,494,139,743,354,708,325,841,208,883,246,666,1023;
213,30,239,57,998,436,961,394,588,99,626,72,923,461,960,503,565,766,527,729,262,852,289,874,172,643,146,680,379,813,352,791;
443,372,416,330,117,195,79,232,454,1005,481,983,748,606,722,633,859,916,896,938,661,547,687,520,806,269,769,311,12,190,50,153;
302,86,167,479,132,508,361,753,339,715,218,834,253,869,1016,656,974,694,583,831,612,796,905,17,947,43,570,418,541,389,280,112;
506,529,765,267,728,290,846,165,871,144,644,374,681,351,819,220,794,241,29,1003,56,962,430,581,391,624,100,918,73,959,467,572;
911,855,934,894,545,665,524,692,274,810,315,771,192,8,149,45,367,439,326,414,193,121,236,84,1010,458,987,483,608,744,629,717;
658,586,699,611,832,904,789,941,15,567,38,542,417,281,396,308,114,170,91,131,480,360,501,333,751,215,710,254,833,1017,876,980;
231,784,996,22,969,63,595,444,634,401,925,107,952,66,558,453,519,496,260,758,297,735,179,860,154,881,381,651,344,674,206,805;
51,331,442,194,413,229,120,1008,78,982,455,607,484,636,745,913,723,939,858,546,893,517,664,272,686,310,807,191,772,156,9,369;
166,109,129,87,364,478,338,505,219,756,256,714,1013,835,975,872,582,653,609,695,908,830,946,793,571,20,544,42,277,419,303,392;
460,259,498,296,763,173,736,151,853,382,879,345,646,212,673,234,812,995,786,968,27,589,64,631,437,926,399,953,102,564,65,522;
932,709,553,848,531,886,282,671,317,700,184,817,142,779,359,2,324,37,201,432,243,406,1018,127,989,92,600,465,622,491,903,738;
873,610,659,901,698,944,829,566,792,543,14,284,39,305,420,171,393,130,115,357,90,336,477,214,504,255,750,1020,711,977,836,587;
993,808,972,781,594,23,635,62,928,441,949,404,559,106,518,67,257,456,300,493,178,759,155,734,384,857,341,884,207,650,230,675

Примечание: квадрат в такой форме представлен на форуме http://dxdy.ru/topic12959.html

Квадрат в табличном формате можно посмотреть здесь:

http://cboyer.club.fr/multimagie/Maoting32.xls

 

Квадрат построил в феврале 2006 г. китаец Su Maoting.

 

Я разложила этот квадрат на два латинских ортогональных квадрата. Второй латинский квадрат получился обобщённый. Может быть, читателям пригодится это разложение для исследования этого и других пандиагональных бимагических квадратов.

На рис. 59 и рис 60 вы видите эти латинские квадраты.

 

 

Рис. 59

 

Обратите внимание: в обеих главных диагоналях половина набора чисел дублируется в том же порядке.

 

 

Рис. 60

 

В этом обобщённом латинском квадрате правая половина дублирует левую половину, и нижняя половина дублирует верхнюю половину.

Если смотреть на эти латинские квадраты как на нетрадиционные магические, они магические и пандиагональные с магической константой 496.

 

Как я поняла, бимагический и пандиаогональный квадрат 8-ого порядка пока не построен. В 1939 г. бельгиец H. Schots построил пандиагональный квадрат 8-ого порядка, в котором сумма квадратов чисел в любой диагонали (как главной, так и разломанной) равна одному и тому же числу. Однако сумма квадратов чисел в строках и в столбцах квадрата не равна одному и тому же числу (см. этот квадрат по указанной выше ссылке), то есть квадрат этот не бимагический.

Предлагаю читателям попробовать построить пандиагональный квадрат 8-ого порядка, который остаётся магическим и пандиагональным после замены его элементов на их квадраты. Если китайцу удалось построить такой квадрат 32-ого порядка, то почему бы не попробовать построить квадрат 8-ого порядка? Возможно, тут загвоздка в том, что такого квадрата вообще не существует. Тогда надо это доказать.

 

***

 

Нашла страницу, где доказывается, что традиционных бимагических квадратов 6-ого и 7-ого порядка не существует:

 

http://www.geocities.jp/cocotte_rn/houjin/en/double.html

 

По этой же ссылке есть ещё один традиционный бимагический квадрат 8-ого порядка. Покажу его (рис. 61):

 

 

Рис. 61

 

А по следующей ссылке:

 

http://cboyer.club.fr/multimagie//English/Bimagic.htm

 

нашла очень интересную “заготовку” для бимагического квадрата 8-ого порядка. Вот она (рис. 60):

 

 

Рис. 62

 

Сравните эту “заготовку” с бимагическим квадратом, изображённым на рис. 23 (этот квадрат тоже найден в Интернете). Вы увидите, что этот бимагический квадрат построен в точном соответствии с данной “заготовкой”.

Сравнила я “заготовку” и с бимагическим квадратом, изображённым на рис. 57. Обнаружила, что в каждом столбце этого бимагическтго квадрата присутствуют 4 числа из “заготовки”, хотя стоят они не в тех ячейках.

Как я понимаю, в этой “заготовке” дана самая оптимальная расстановка половины всех чисел. Можно попробовать составить программу расстановки остальных чисел и построить по этой программе множество бимагических квадратов. Предлагаю читателям эту интересную задачу.

А можно сочинить и другую “заготовку”, взяв за образец бимагический квадрат с рис. 57. По этой “заготовке” можно будет строить пандиагональные квадраты. Показываю новую “заготовку” на рис. 63.

 

 

Рис. 63

 

Однако, к сожалению, эти квадраты не будут пандиагональными после замены всех элементов на их квадраты.

 

***

 

Читайте мою виртуальную книгу “Волшебный мир магических квадратов”:

 

http://www.klassikpoez.narod.ru/glavnaja.htm

 

       

            Март – июль 2008 г.

г. Саратов

 

       Пишите мне!

Приглашаю всех на форум!

На главную страницу