Н. Макарова
НЕТРАДИЦИОННЫЕ ПАНДИАГОНАЛЬНЫЕ КВАДРАТЫ
Часть VI
В предыдущей части были описаны алгоритмы построения нетрадиционных пандиагональных квадратов 10-го порядка. Продолжаю описание методов построения нетрадиционных пандиагональных квадратов.
МЕТОДЫ ПОСТРОЕНИЯ ПАНДИАГОНАЛЬНЫХ КВАДРАТОВ 11-го ПОРЯДКА
Построить классический пандиагональный квадрат очень просто. В моих ранних статьях рассмотрено несколько методов построения таких квадратов. Здесь покажу один из них – метод латинских квадратов. Для такого построения нужна пара ортогональных диагональных латинских квадратов 11-го порядка. Но эти латинские квадраты должны ещё обладать свойством пандиагональности, чтобы полученный из них магический квадрат был пандиагональным. Вот пример такой пары ортогональных латинских квадратов, показан только первый квадрат пары (рис. 1), второй квадрат получается из первого отражением относительно горизонтальной оси симметрии.
0 |
10 |
9 |
8 |
7 |
6 |
5 |
4 |
3 |
2 |
1 |
2 |
1 |
0 |
10 |
9 |
8 |
7 |
6 |
5 |
4 |
3 |
4 |
3 |
2 |
1 |
0 |
10 |
9 |
8 |
7 |
6 |
5 |
6 |
5 |
4 |
3 |
2 |
1 |
0 |
10 |
9 |
8 |
7 |
8 |
7 |
6 |
5 |
4 |
3 |
2 |
1 |
0 |
10 |
9 |
10 |
9 |
8 |
7 |
6 |
5 |
4 |
3 |
2 |
1 |
0 |
1 |
0 |
10 |
9 |
8 |
7 |
6 |
5 |
4 |
3 |
2 |
3 |
2 |
1 |
0 |
10 |
9 |
8 |
7 |
6 |
5 |
4 |
5 |
4 |
3 |
2 |
1 |
0 |
10 |
9 |
8 |
7 |
6 |
7 |
6 |
5 |
4 |
3 |
2 |
1 |
0 |
10 |
9 |
8 |
9 |
8 |
7 |
6 |
5 |
4 |
3 |
2 |
1 |
0 |
10 |
Рис. 1
На рис. 2 вы видите пандиагональный квадрат 11-го порядка, построенный из данной пары ортогональных диагональных латинских квадратов. Этот квадрат обладает ещё и свойством ассоциативности, то есть он является идеальным. Свойством ассоциативности обладают и латинские квадраты пары.
10 |
119 |
107 |
95 |
83 |
71 |
59 |
47 |
35 |
23 |
22 |
30 |
18 |
6 |
115 |
103 |
91 |
79 |
67 |
66 |
54 |
42 |
50 |
38 |
26 |
14 |
2 |
111 |
110 |
98 |
86 |
74 |
62 |
70 |
58 |
46 |
34 |
33 |
21 |
9 |
118 |
106 |
94 |
82 |
90 |
78 |
77 |
65 |
53 |
41 |
29 |
17 |
5 |
114 |
102 |
121 |
109 |
97 |
85 |
73 |
61 |
49 |
37 |
25 |
13 |
1 |
20 |
8 |
117 |
105 |
93 |
81 |
69 |
57 |
45 |
44 |
32 |
40 |
28 |
16 |
4 |
113 |
101 |
89 |
88 |
76 |
64 |
52 |
60 |
48 |
36 |
24 |
12 |
11 |
120 |
108 |
96 |
84 |
72 |
80 |
68 |
56 |
55 |
43 |
31 |
19 |
7 |
116 |
104 |
92 |
100 |
99 |
87 |
75 |
63 |
51 |
39 |
27 |
15 |
3 |
112 |
Рис. 2
Перехожу к методам построения нетрадиционных пандиагональных квадратов 11-го порядка. Построить такой квадрат из произвольных натуральных чисел очень просто, например, из чисел 11 арифметических прогрессий длины 11 с одинаковой разностью. Я много раз рассказывала, как это делается, не буду здесь повторять этот очень простой метод построения.
Однако построить таким методом пандиагональный квадрат 11-го порядка из простых чисел (а также из чисел Смита) не удаётся, поскольку неизвестны нужные для построения арифметические прогрессии. Здесь самым простым методом является метод Россера – использование примитивного квадрата. Данный метод применим для построения пандиагональных квадратов любого порядка, являющегося простым числом. Описание метода смотрите в [1].
Приведу пример применения данного метода Россера для построения классического пандиагонального квадрата 11-го порядка. В этом случае примитивным квадратом является обратимый квадрат. На рис. 3 показано применение к обратимому квадрату преобразования Россера, превращающего обратимый (примитивный) квадрат в пандиагональный. Преобразование такое:
A(i,j) = B(3i+2j,2i+j),
где A(i,j) – элементы обратимого (примитивного) квадрата, B(k,m) – элементы пандиагонального квадрата. Индексы берутся по модулю 11.
Обратимый квадрат
|
|
Пандиагональный квадрат |
||||||||||||||||||||
121 |
110 |
99 |
88 |
77 |
66 |
55 |
44 |
33 |
22 |
11 |
|
22 |
53 |
84 |
115 |
25 |
56 |
98 |
8 |
39 |
70 |
101 |
120 |
109 |
98 |
87 |
76 |
65 |
54 |
43 |
32 |
21 |
10 |
111 |
32 |
63 |
94 |
4 |
35 |
77 |
108 |
18 |
49 |
80 |
|
119 |
108 |
97 |
86 |
75 |
64 |
53 |
42 |
31 |
20 |
9 |
90 |
11 |
42 |
73 |
104 |
14 |
45 |
87 |
118 |
28 |
59 |
|
118 |
107 |
96 |
85 |
74 |
63 |
52 |
41 |
30 |
19 |
8 |
69 |
100 |
21 |
52 |
83 |
114 |
24 |
66 |
97 |
7 |
38 |
|
117 |
106 |
95 |
84 |
73 |
62 |
51 |
40 |
29 |
18 |
7 |
48 |
79 |
121 |
31 |
62 |
93 |
3 |
34 |
76 |
107 |
17 |
|
116 |
105 |
94 |
83 |
72 |
61 |
50 |
39 |
28 |
17 |
6 |
-> |
27 |
58 |
89 |
10 |
41 |
72 |
103 |
13 |
55 |
86 |
117 |
115 |
104 |
93 |
82 |
71 |
60 |
49 |
38 |
27 |
16 |
5 |
|
6 |
37 |
68 |
110 |
20 |
51 |
82 |
113 |
23 |
65 |
96 |
114 |
103 |
92 |
81 |
70 |
59 |
48 |
37 |
26 |
15 |
4 |
106 |
16 |
47 |
78 |
120 |
30 |
61 |
92 |
2 |
44 |
75 |
|
113 |
102 |
91 |
80 |
69 |
58 |
47 |
36 |
25 |
14 |
3 |
85 |
116 |
26 |
57 |
99 |
9 |
40 |
71 |
102 |
12 |
54 |
|
112 |
101 |
90 |
79 |
68 |
57 |
46 |
35 |
24 |
13 |
2 |
64 |
95 |
5 |
36 |
67 |
109 |
18 |
50 |
81 |
112 |
33 |
|
111 |
100 |
89 |
78 |
67 |
56 |
45 |
34 |
23 |
12 |
1 |
43 |
74 |
105 |
15 |
46 |
88 |
119 |
29 |
60 |
91 |
1 |
Рис. 3
Однако построить примитивный квадрат 11-го порядка из простых чисел оказалось нелёгкой задачей.
Сначала я пыталась построить такой квадрат методом чистого достраивания. Такой термин ввела, чтобы отличить этот метод от метода смешанного достраивания, о котором речь пойдёт ниже.
В методе чистого достраивания берётся любой известный примитивный квадрат 7-го порядка, например, такой (рис. 4):
11 |
37 |
107 |
151 |
277 |
359 |
571 |
41 |
67 |
137 |
181 |
307 |
389 |
601 |
71 |
97 |
167 |
211 |
337 |
419 |
631 |
83 |
109 |
179 |
223 |
349 |
431 |
643 |
101 |
127 |
197 |
241 |
367 |
449 |
661 |
131 |
157 |
227 |
271 |
397 |
479 |
691 |
173 |
199 |
269 |
313 |
439 |
521 |
733 |
Рис. 4
Далее необходимо достроить этот примитивный квадрат до примитивного квадрата 11х11, то есть заполнить простыми числами матрицу 11х11 (рис. 5), используя свойство элементов примитивного квадрата. При этом числа не должны повторяться.
11 |
37 |
107 |
151 |
277 |
359 |
571 |
a |
b |
c |
d |
41 |
67 |
137 |
181 |
307 |
389 |
601 |
|
|
|
|
71 |
97 |
167 |
211 |
337 |
419 |
631 |
|
|
|
|
83 |
109 |
179 |
223 |
349 |
431 |
643 |
|
|
|
|
101 |
127 |
197 |
241 |
367 |
449 |
661 |
|
|
|
|
131 |
157 |
227 |
271 |
397 |
479 |
691 |
|
|
|
|
173 |
199 |
269 |
313 |
439 |
521 |
733 |
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
|
|
|
|
|
g |
|
|
|
|
|
|
|
|
|
|
h |
|
|
|
|
|
|
|
|
|
|
Рис. 5
Написала программу достраивания, но достроить полностью простыми числами мне не удалось. Получила только примитивный квадрат, в котором четыре числа не являются простыми (рис. 6). Хотя теоретически достраивание вполне возможно, но при этом в квадрате могут появиться очень большие числа, а у меня маленький массив простых чисел.
11 |
37 |
107 |
151 |
277 |
359 |
571 |
2221 |
3271 |
7487 |
10567 |
41 |
67 |
137 |
181 |
307 |
389 |
601 |
2251 |
3301 |
7517 |
10597 |
71 |
97 |
167 |
211 |
337 |
419 |
631 |
2281 |
3331 |
7547 |
10627 |
83 |
109 |
179 |
223 |
349 |
431 |
643 |
2293 |
3343 |
7559 |
10639 |
101 |
127 |
197 |
241 |
367 |
449 |
661 |
2311 |
3361 |
7577 |
10657 |
131 |
157 |
227 |
271 |
397 |
479 |
691 |
2341 |
3391 |
7607 |
10687 |
173 |
199 |
269 |
313 |
439 |
521 |
733 |
2383 |
3433 |
7649 |
10729 |
743 |
769 |
839 |
883 |
1009 |
1091 |
1303 |
2953 |
4003 |
8219 |
11299 |
1523 |
1549 |
1619 |
1663 |
1789 |
1871 |
2083 |
3733 |
4783 |
8999 |
12079 |
9743 |
9769 |
9839 |
9883 |
10009 |
10091 |
10303 |
11953 |
13003 |
17219 |
20299 |
20921 |
20947 |
21017 |
21061 |
21187 |
21269 |
21481 |
23131 |
24181 |
28397 |
31477 |
Рис. 6
Не простые числа выделены красным цветом.
Далее применяется к примитивному квадрату показанное выше преобразование Россера и получается такой пандиагональный квадрат (рис. 7):
7487 |
631 |
241 |
173 |
4783 |
21269 |
137 |
10639 |
2341 |
1009 |
9769 |
20921 |
3301 |
431 |
227 |
11299 |
11953 |
277 |
97 |
7577 |
733 |
1663 |
9839 |
10567 |
2281 |
367 |
199 |
8999 |
21481 |
181 |
83 |
3391 |
1091 |
1789 |
20947 |
7517 |
643 |
271 |
743 |
13003 |
359 |
167 |
10657 |
2383 |
1303 |
9883 |
11 |
3331 |
449 |
269 |
12079 |
23131 |
307 |
109 |
7607 |
3433 |
1871 |
21017 |
10597 |
2293 |
397 |
769 |
17219 |
571 |
211 |
101 |
10687 |
2953 |
10009 |
37 |
7547 |
661 |
313 |
1523 |
24181 |
389 |
179 |
127 |
7649 |
2083 |
21061 |
41 |
3343 |
479 |
839 |
20299 |
2221 |
337 |
223 |
131 |
4003 |
10091 |
107 |
10627 |
2311 |
439 |
1549 |
28397 |
601 |
419 |
197 |
10729 |
3733 |
21187 |
67 |
7559 |
691 |
883 |
9743 |
3271 |
2251 |
349 |
157 |
8219 |
10303 |
151 |
71 |
3361 |
521 |
1619 |
31477 |
Рис. 7
Это первый пандиагональный квадрат 11-го порядка почти полностью составленный из простых чисел. Магическая константа этого квадрата равна 58479.
Дальше я строила примитивные квадраты 11-го порядка из простых чисел методом смешанного достраивания. Суть метода в том, что при достраивании разрешается использовать всякие числа, как простые, так и не простые. Поэтому достраивание и названо смешанным. Таким способом строится матрица размером nxm, в которой некоторое число строк и столбцов полностью состоят из простых чисел, а в остальных строках и столбцах числа всякие. Затем из этой матрицы выбирается квадрат 11х11, полностью состоящий из простых чисел.
Данным методом мне удалось построить два примитивных квадрата из простых чисел. Первый примитивный квадрат показан на рис. 8.
521 |
2917 |
5857 |
7717 |
7753 |
7789 |
8713 |
9649 |
11519 |
12241 |
17863 |
3671 |
6067 |
9007 |
10867 |
10903 |
10939 |
11863 |
12799 |
14669 |
15391 |
21013 |
6491 |
8887 |
11827 |
13687 |
13723 |
13759 |
14683 |
15619 |
17489 |
18211 |
23833 |
8081 |
10477 |
13417 |
15277 |
15313 |
15349 |
16273 |
17209 |
19079 |
19801 |
25423 |
12041 |
14437 |
17377 |
19237 |
19273 |
19309 |
20233 |
21169 |
23039 |
23761 |
29383 |
18671 |
21067 |
24007 |
25867 |
25903 |
25939 |
26863 |
27799 |
29669 |
30391 |
36013 |
25301 |
27697 |
30637 |
32497 |
32533 |
32569 |
33493 |
34429 |
36299 |
37021 |
42643 |
30851 |
33247 |
36187 |
38047 |
38083 |
38119 |
39043 |
39979 |
41849 |
42571 |
48193 |
36821 |
39217 |
42157 |
44017 |
44053 |
44089 |
45013 |
45949 |
47819 |
48541 |
54163 |
84191 |
86587 |
89527 |
91387 |
91423 |
91459 |
92383 |
93319 |
95189 |
95911 |
101533 |
106961 |
109357 |
112297 |
114157 |
114193 |
114229 |
115153 |
116089 |
117959 |
118681 |
124303 |
Рис. 8
Превращаю его в пандиагональный квадрат с помощью преобразования Россера (рис. 9):
12241 |
14683 |
19237 |
25301 |
47819 |
114229 |
9007 |
25423 |
27799 |
38083 |
86587 |
106961 |
14669 |
15349 |
24007 |
48193 |
93319 |
7753 |
8887 |
23761 |
33493 |
44017 |
89527 |
17863 |
15619 |
19273 |
27697 |
48541 |
115153 |
10867 |
8081 |
29669 |
38119 |
44053 |
109357 |
15391 |
16273 |
25867 |
30851 |
95189 |
7789 |
11827 |
29383 |
34429 |
39043 |
91387 |
521 |
17489 |
19309 |
30637 |
54163 |
116089 |
10903 |
10477 |
30391 |
36299 |
44089 |
112297 |
21013 |
17209 |
25903 |
33247 |
95911 |
8713 |
13687 |
12041 |
36013 |
39979 |
91423 |
2917 |
18211 |
20233 |
32497 |
36821 |
117959 |
10939 |
13417 |
14437 |
37021 |
45013 |
114157 |
3671 |
19079 |
25939 |
36187 |
101533 |
9649 |
13723 |
15277 |
18671 |
41849 |
91459 |
5857 |
23833 |
21169 |
32533 |
39217 |
118681 |
11863 |
13759 |
17377 |
42643 |
45949 |
114193 |
6067 |
19801 |
26863 |
38047 |
84191 |
11519 |
12799 |
15313 |
21067 |
42571 |
92383 |
7717 |
6491 |
23039 |
32569 |
42157 |
124303 |
Рис. 9
Магическая константа этого квадрата равна 420409.
Второй квадрат получился с меньшей магической константой – 198341. На рис. 10 вы видите примитивный квадрат, а на рис. 11 полученный из него пандиагональный квадрат.
11 |
23 |
41 |
53 |
107 |
353 |
443 |
1427 |
1973 |
24077 |
59387 |
17 |
29 |
47 |
59 |
113 |
359 |
449 |
1433 |
1979 |
24083 |
59393 |
31 |
43 |
61 |
73 |
127 |
373 |
463 |
1447 |
1993 |
24097 |
59407 |
67 |
79 |
97 |
109 |
163 |
409 |
499 |
1483 |
2029 |
24133 |
59443 |
137 |
149 |
167 |
179 |
233 |
479 |
569 |
1553 |
2099 |
24203 |
59513 |
181 |
193 |
211 |
223 |
277 |
523 |
613 |
1597 |
2143 |
24247 |
59557 |
251 |
263 |
281 |
293 |
347 |
593 |
683 |
1667 |
2213 |
24317 |
59627 |
4241 |
4253 |
4271 |
4283 |
4337 |
4583 |
4673 |
5657 |
6203 |
28307 |
63617 |
5407 |
5419 |
5437 |
5449 |
5503 |
5749 |
5839 |
6823 |
7369 |
29473 |
64783 |
6257 |
6269 |
6287 |
6299 |
6353 |
6599 |
6689 |
7673 |
8219 |
30323 |
65633 |
93967 |
93979 |
93997 |
94009 |
94063 |
94309 |
94399 |
95383 |
95929 |
118033 |
153343 |
Рис. 10
24077 |
463 |
179 |
251 |
7369 |
94309 |
47 |
59443 |
1597 |
4337 |
6269 |
93967 |
1979 |
409 |
211 |
63617 |
7673 |
107 |
43 |
24203 |
683 |
5449 |
6287 |
59387 |
1447 |
233 |
263 |
29473 |
94399 |
59 |
67 |
2143 |
4583 |
5503 |
93979 |
24083 |
499 |
223 |
4241 |
8219 |
353 |
61 |
59513 |
1667 |
4673 |
6299 |
11 |
1993 |
479 |
281 |
64783 |
95383 |
113 |
79 |
24247 |
2213 |
5749 |
93997 |
59393 |
1483 |
277 |
4253 |
30323 |
443 |
73 |
137 |
59557 |
5657 |
6353 |
23 |
24097 |
569 |
293 |
5407 |
95929 |
359 |
97 |
149 |
24317 |
5839 |
94009 |
17 |
2029 |
523 |
4271 |
65633 |
1427 |
127 |
109 |
181 |
6203 |
6599 |
41 |
59407 |
1553 |
347 |
5419 |
118033 |
449 |
373 |
167 |
59627 |
6823 |
94063 |
29 |
24133 |
613 |
4283 |
6257 |
1973 |
1433 |
163 |
193 |
28307 |
6689 |
53 |
31 |
2099 |
593 |
5437 |
153343 |
Рис. 11
Конечно, ничего не могу сказать о минимальности этого квадрата. Вполне возможно, что существует пандиагональный квадрат с меньшей магической константой. Предлагаю читателям поискать такой квадрат.
Для чисел Смита даже смешанное достраивание не привело к построению примитивного квадрата 11х11. Мне удалось построить только примитивный квадрат 7-го порядка из смитов смешанным достраиванием. Этот квадрат показан в одной из предыдущих статей данного цикла.
МЕТОДЫ ПОСТРОЕНИЯ ПАНДИАГОНАЛЬНЫХ КВАДРАТОВ 12-го ПОРЯДКА
Сначала покажу несколько методов построения классических пандиагональных квадратов 12-го порядка. Таких методов довольно много. Самый простой – построить сначала ассоциативный квадрат, а затем применить к нему преобразование 3-х квадратов. Ассоциативные квадраты 12-го порядка построить очень легко, например, методом квадратных рамок, методом составных квадратов и т. д. На рис. 12 вы видите ассоциативный квадрат, построенный мной по алгоритму Франклина (см. [2]).
1 |
72 |
109 |
108 |
13 |
60 |
96 |
121 |
48 |
25 |
84 |
133 |
141 |
76 |
33 |
40 |
129 |
88 |
52 |
21 |
100 |
117 |
64 |
9 |
2 |
71 |
110 |
107 |
14 |
59 |
95 |
122 |
47 |
26 |
83 |
134 |
140 |
77 |
32 |
41 |
128 |
89 |
53 |
20 |
101 |
116 |
65 |
8 |
3 |
70 |
111 |
106 |
15 |
58 |
94 |
123 |
46 |
27 |
82 |
135 |
139 |
78 |
31 |
42 |
127 |
90 |
54 |
19 |
102 |
115 |
66 |
7 |
138 |
79 |
30 |
43 |
126 |
91 |
55 |
18 |
103 |
114 |
67 |
6 |
10 |
63 |
118 |
99 |
22 |
51 |
87 |
130 |
39 |
34 |
75 |
142 |
137 |
80 |
29 |
44 |
125 |
92 |
56 |
17 |
104 |
113 |
68 |
5 |
11 |
62 |
119 |
98 |
23 |
50 |
86 |
131 |
38 |
35 |
74 |
143 |
136 |
81 |
28 |
45 |
124 |
93 |
57 |
16 |
105 |
112 |
69 |
4 |
12 |
61 |
120 |
97 |
24 |
49 |
85 |
132 |
37 |
36 |
73 |
144 |
Рис. 12
Применяем к этому ассоциативному квадрату преобразование 3-х квадратов и получаем такой пандиагональный квадрат (рис. 13):
1 |
72 |
109 |
108 |
13 |
60 |
133 |
84 |
25 |
48 |
121 |
96 |
141 |
76 |
33 |
40 |
129 |
88 |
9 |
64 |
117 |
100 |
21 |
52 |
2 |
71 |
110 |
107 |
14 |
59 |
134 |
83 |
26 |
47 |
122 |
95 |
140 |
77 |
32 |
41 |
128 |
89 |
8 |
65 |
116 |
101 |
20 |
53 |
3 |
70 |
111 |
106 |
15 |
58 |
135 |
82 |
27 |
46 |
123 |
94 |
139 |
78 |
31 |
42 |
127 |
90 |
7 |
66 |
115 |
102 |
19 |
54 |
12 |
61 |
120 |
97 |
24 |
49 |
144 |
73 |
36 |
37 |
132 |
85 |
136 |
81 |
28 |
45 |
124 |
93 |
4 |
69 |
112 |
105 |
16 |
57 |
11 |
62 |
119 |
98 |
23 |
50 |
143 |
74 |
35 |
38 |
131 |
86 |
137 |
80 |
29 |
44 |
125 |
92 |
5 |
68 |
113 |
104 |
17 |
56 |
10 |
63 |
118 |
99 |
22 |
51 |
142 |
75 |
34 |
39 |
130 |
87 |
138 |
79 |
30 |
43 |
126 |
91 |
6 |
67 |
114 |
103 |
18 |
55 |
Рис. 13
В [2] приведено ещё несколько примеров ассоциативных квадратов 12-го порядка, каждый их которых превращён в пандиагональный преобразованием 3-х квадратов.
Покажу ещё один интересный пандиагональный квадрат 12-го порядка, построенный методом качелей (рис. 14):
1 |
75 |
89 |
108 |
118 |
128 |
133 |
63 |
53 |
48 |
34 |
20 |
33 |
19 |
2 |
76 |
90 |
107 |
117 |
127 |
134 |
64 |
54 |
47 |
60 |
46 |
32 |
13 |
3 |
77 |
96 |
106 |
116 |
121 |
135 |
65 |
136 |
66 |
59 |
45 |
31 |
14 |
4 |
78 |
95 |
105 |
115 |
122 |
109 |
123 |
137 |
72 |
58 |
44 |
25 |
15 |
5 |
84 |
94 |
104 |
93 |
103 |
110 |
124 |
138 |
71 |
57 |
43 |
26 |
16 |
6 |
83 |
12 |
82 |
92 |
97 |
111 |
125 |
144 |
70 |
56 |
37 |
27 |
17 |
28 |
18 |
11 |
81 |
91 |
98 |
112 |
126 |
143 |
69 |
55 |
38 |
49 |
39 |
29 |
24 |
10 |
80 |
85 |
99 |
113 |
132 |
142 |
68 |
141 |
67 |
50 |
40 |
30 |
23 |
9 |
79 |
86 |
100 |
114 |
131 |
120 |
130 |
140 |
61 |
51 |
41 |
36 |
22 |
8 |
73 |
87 |
101 |
88 |
102 |
119 |
129 |
139 |
62 |
52 |
42 |
35 |
21 |
7 |
74 |
Рис. 14
Подробно о методе качелей см. [3].
Теперь покажу два метода построения классических пандиагональных квадрата из статьи Россера [8].
Первый метод см. в Теореме 5.6 (случай 2). Метод работает для любого порядка n = 4m, n ≥ 2. В одной из предыдущих статей данного цикла был показан этот метод для классических пандиагональных квадратов 8-го порядка. Для квадратов порядка 12 всё аналогично. Составляются девять пандиагональных квадратов 4-го порядка и этими квадратами заполняется матрица 12х12 по решёткам. Покажу сразу готовый пандиагональный квадрат 12-го порядка (рис. 15).
1 |
9 |
17 |
8 |
16 |
24 |
141 |
133 |
125 |
140 |
132 |
124 |
25 |
33 |
41 |
32 |
40 |
48 |
117 |
109 |
101 |
116 |
108 |
100 |
49 |
57 |
65 |
56 |
64 |
72 |
93 |
85 |
77 |
92 |
84 |
76 |
142 |
134 |
126 |
139 |
131 |
123 |
2 |
10 |
18 |
7 |
15 |
23 |
118 |
110 |
102 |
115 |
107 |
99 |
26 |
34 |
42 |
31 |
39 |
47 |
94 |
86 |
78 |
91 |
83 |
75 |
50 |
58 |
66 |
55 |
63 |
71 |
4 |
12 |
20 |
5 |
13 |
21 |
144 |
136 |
128 |
137 |
129 |
121 |
28 |
36 |
44 |
29 |
37 |
45 |
120 |
112 |
104 |
113 |
105 |
97 |
52 |
60 |
68 |
53 |
61 |
69 |
96 |
88 |
80 |
89 |
81 |
73 |
143 |
135 |
127 |
138 |
130 |
122 |
3 |
11 |
19 |
6 |
14 |
22 |
119 |
111 |
103 |
114 |
106 |
98 |
27 |
35 |
43 |
30 |
38 |
46 |
95 |
87 |
79 |
90 |
82 |
74 |
51 |
59 |
67 |
54 |
62 |
70 |
Рис. 15
На рисунке выделена одна решётка. В этой решётке находится пандиагональный квадрат 4-го порядка, построенный для пар: (A, C) = (0, 140), (B, D) = (4, 136).
Интересное получилось решение. Если к этому пандиагональному квадрату применить преобразование, обратное преобразованию 3-х квадратов, получится ассоциативный квадрат (рис. 16).
1 |
9 |
17 |
8 |
16 |
24 |
124 |
132 |
140 |
125 |
133 |
141 |
25 |
33 |
41 |
32 |
40 |
48 |
100 |
108 |
116 |
101 |
109 |
117 |
49 |
57 |
65 |
56 |
64 |
72 |
76 |
84 |
92 |
77 |
85 |
93 |
142 |
134 |
126 |
139 |
131 |
123 |
23 |
15 |
7 |
18 |
10 |
2 |
118 |
110 |
102 |
115 |
107 |
99 |
47 |
39 |
31 |
42 |
34 |
26 |
94 |
86 |
78 |
91 |
83 |
75 |
71 |
63 |
55 |
66 |
58 |
50 |
95 |
87 |
79 |
90 |
82 |
74 |
70 |
62 |
54 |
67 |
59 |
51 |
119 |
111 |
103 |
114 |
106 |
98 |
46 |
38 |
30 |
43 |
35 |
27 |
143 |
135 |
127 |
138 |
130 |
122 |
22 |
14 |
6 |
19 |
11 |
3 |
52 |
60 |
68 |
53 |
61 |
69 |
73 |
81 |
89 |
80 |
88 |
96 |
28 |
36 |
44 |
29 |
37 |
45 |
97 |
105 |
113 |
104 |
112 |
120 |
4 |
12 |
20 |
5 |
13 |
21 |
121 |
129 |
137 |
128 |
136 |
144 |
Рис. 16
Второй метод Россера рассмотрен в Теореме 5.5, случай 2. Метод работает для порядков n = 4m. Строится определённым образом примитивный квадрат и применяется к нему преобразование:
A(i,j) = B(2i-j, -3i+2j),
где A(i,j) – элементы примитивного квадрата, B(k,m) – элементы пандиагонального квадрата. Индексы берутся по модулю 12.
На рис. 17 показан примитивный квадрат, построенный данным методом.
1 |
2 |
3 |
4 |
5 |
6 |
12 |
11 |
10 |
9 |
8 |
7 |
13 |
14 |
15 |
16 |
17 |
18 |
24 |
23 |
22 |
21 |
20 |
19 |
25 |
26 |
27 |
28 |
29 |
30 |
36 |
35 |
34 |
33 |
32 |
31 |
37 |
38 |
39 |
40 |
41 |
42 |
48 |
47 |
46 |
45 |
44 |
43 |
49 |
50 |
51 |
52 |
53 |
54 |
60 |
59 |
58 |
57 |
56 |
55 |
61 |
62 |
63 |
64 |
65 |
66 |
72 |
71 |
70 |
69 |
68 |
67 |
133 |
134 |
135 |
136 |
137 |
138 |
144 |
143 |
142 |
141 |
140 |
139 |
121 |
122 |
123 |
124 |
125 |
126 |
132 |
131 |
130 |
129 |
128 |
127 |
109 |
110 |
111 |
112 |
113 |
114 |
120 |
119 |
118 |
117 |
116 |
115 |
97 |
98 |
99 |
100 |
101 |
102 |
108 |
107 |
106 |
105 |
104 |
103 |
85 |
86 |
87 |
88 |
89 |
90 |
96 |
95 |
94 |
93 |
92 |
91 |
73 |
74 |
75 |
76 |
77 |
78 |
84 |
83 |
82 |
81 |
80 |
79 |
Рис. 17
Применяем к этому примитивному квадрату показанное выше преобразование и получаем такой классический пандиагональный квадрат (рис. 18):
29 |
48 |
58 |
68 |
133 |
123 |
113 |
108 |
94 |
80 |
1 |
15 |
59 |
69 |
139 |
122 |
112 |
102 |
95 |
81 |
7 |
14 |
28 |
42 |
140 |
121 |
111 |
101 |
96 |
82 |
8 |
13 |
27 |
41 |
60 |
70 |
110 |
100 |
90 |
83 |
9 |
19 |
26 |
40 |
54 |
71 |
141 |
127 |
89 |
84 |
10 |
20 |
25 |
39 |
53 |
72 |
142 |
128 |
109 |
99 |
11 |
21 |
31 |
38 |
52 |
66 |
143 |
129 |
115 |
98 |
88 |
78 |
32 |
37 |
51 |
65 |
144 |
130 |
116 |
97 |
87 |
77 |
12 |
22 |
50 |
64 |
138 |
131 |
117 |
103 |
86 |
76 |
6 |
23 |
33 |
43 |
137 |
132 |
118 |
104 |
85 |
75 |
5 |
24 |
34 |
44 |
49 |
63 |
119 |
105 |
91 |
74 |
4 |
18 |
35 |
45 |
55 |
62 |
136 |
126 |
92 |
73 |
3 |
17 |
36 |
46 |
56 |
61 |
135 |
125 |
120 |
106 |
2 |
16 |
30 |
47 |
57 |
67 |
134 |
124 |
114 |
107 |
93 |
79 |
Рис. 18
Интересно отметить, что примитивный квадрат 12-го порядка удовлетворяет условиям, аналогичным условиям для примитивных квадратов 4-го и 8-го порядков. Обозначим элементы первой строки и первого столбца примитивного квадрата символами (рис. 18а).
c |
a1 |
a2 |
a3 |
a4 |
a5 |
a6 |
a7 |
a8 |
a9 |
a10 |
a11 |
b1 |
|
|
|
|
|
|
|
|
|
|
|
b2 |
|
|
|
|
|
|
|
|
|
|
|
b3 |
|
|
|
|
|
|
|
|
|
|
|
b4 |
|
|
|
|
|
|
|
|
|
|
|
b5 |
|
|
|
|
|
|
|
|
|
|
|
b6 |
|
|
|
|
|
|
|
|
|
|
|
b7 |
|
|
|
|
|
|
|
|
|
|
|
b8 |
|
|
|
|
|
|
|
|
|
|
|
b9 |
|
|
|
|
|
|
|
|
|
|
|
b10 |
|
|
|
|
|
|
|
|
|
|
|
b11 |
|
|
|
|
|
|
|
|
|
|
|
Рис. 18а
Тогда условия для элементов примитивного квадрата можно записать так:
(1) c + a6 = a1 + a7 = a2 + a8 = a3 + a9 = a4 + a10 = a5 + a11
c + b6 = b1 + b7 = b2 + b8 = b3 + b9 = b4 + b10 = b5 + b11
Наконец, покажу методы построения идеальных и совершенных классических квадратов 12-го порядка, которые, как известно, тоже являются пандиагональными (подробно см. [4]).
На рис. 19 вы видите обратимый квадрат, а на рис. 20 полученный из него матричным преобразованием идеальный квадрат.
1 |
5 |
7 |
10 |
11 |
4 |
9 |
2 |
3 |
6 |
8 |
12 |
49 |
53 |
55 |
58 |
59 |
52 |
57 |
50 |
51 |
54 |
56 |
60 |
73 |
77 |
79 |
82 |
83 |
76 |
81 |
74 |
75 |
78 |
80 |
84 |
109 |
113 |
115 |
118 |
119 |
112 |
117 |
110 |
111 |
114 |
116 |
120 |
121 |
125 |
127 |
130 |
131 |
124 |
129 |
122 |
123 |
126 |
128 |
132 |
37 |
41 |
43 |
46 |
47 |
40 |
45 |
38 |
39 |
42 |
44 |
48 |
97 |
101 |
103 |
106 |
107 |
100 |
105 |
98 |
99 |
102 |
104 |
108 |
13 |
17 |
19 |
22 |
23 |
16 |
21 |
14 |
15 |
18 |
20 |
24 |
25 |
29 |
31 |
34 |
35 |
28 |
33 |
26 |
27 |
30 |
32 |
36 |
61 |
65 |
67 |
70 |
71 |
64 |
69 |
62 |
63 |
66 |
68 |
72 |
85 |
89 |
91 |
94 |
95 |
88 |
93 |
86 |
87 |
90 |
92 |
96 |
133 |
137 |
139 |
142 |
143 |
136 |
141 |
134 |
135 |
138 |
140 |
144 |
Рис. 19
1 |
140 |
87 |
69 |
35 |
19 |
97 |
44 |
123 |
117 |
83 |
55 |
82 |
53 |
12 |
138 |
86 |
64 |
34 |
17 |
108 |
42 |
122 |
112 |
129 |
119 |
79 |
49 |
8 |
135 |
93 |
71 |
31 |
13 |
104 |
39 |
102 |
38 |
124 |
118 |
77 |
60 |
6 |
134 |
88 |
70 |
29 |
24 |
25 |
20 |
99 |
45 |
131 |
115 |
73 |
56 |
3 |
141 |
95 |
67 |
94 |
65 |
36 |
18 |
98 |
40 |
130 |
113 |
84 |
54 |
2 |
136 |
9 |
143 |
91 |
61 |
32 |
15 |
105 |
47 |
127 |
109 |
80 |
51 |
78 |
50 |
4 |
142 |
89 |
72 |
30 |
14 |
100 |
46 |
125 |
120 |
121 |
116 |
75 |
57 |
11 |
139 |
85 |
68 |
27 |
21 |
107 |
43 |
106 |
41 |
132 |
114 |
74 |
52 |
10 |
137 |
96 |
66 |
26 |
16 |
33 |
23 |
103 |
37 |
128 |
111 |
81 |
59 |
7 |
133 |
92 |
63 |
90 |
62 |
28 |
22 |
101 |
48 |
126 |
110 |
76 |
58 |
5 |
144 |
Рис. 20
Следует обратить внимание на то, что построенный по Россеру примитивный квадрат (см. рис. 17) не является обратимым, хотя и составлен из чисел 1, 2, 3, …, 144. Этот примитивный квадрат не обладает свойством ассоциативности, которым обладает любой обратимый квадрат (см. рис. 19, 21).
На рис. 21 представлен другой обратимый квадрат, а на рис. 22 полученный из него тоже матричным преобразованием (другим) совершенный квадрат.
2 |
4 |
6 |
5 |
3 |
1 |
12 |
10 |
8 |
7 |
9 |
11 |
26 |
28 |
30 |
29 |
27 |
25 |
36 |
34 |
32 |
31 |
33 |
35 |
50 |
52 |
54 |
53 |
51 |
49 |
60 |
58 |
56 |
55 |
57 |
59 |
62 |
64 |
66 |
65 |
63 |
61 |
72 |
70 |
68 |
67 |
69 |
71 |
38 |
40 |
42 |
41 |
39 |
37 |
48 |
46 |
44 |
43 |
45 |
47 |
14 |
16 |
18 |
17 |
15 |
13 |
24 |
22 |
20 |
19 |
21 |
23 |
122 |
124 |
126 |
125 |
123 |
121 |
132 |
130 |
128 |
127 |
129 |
131 |
98 |
100 |
102 |
101 |
99 |
97 |
108 |
106 |
104 |
103 |
105 |
107 |
74 |
76 |
78 |
77 |
75 |
73 |
84 |
82 |
80 |
79 |
81 |
83 |
86 |
88 |
90 |
89 |
87 |
85 |
96 |
94 |
92 |
91 |
93 |
95 |
110 |
112 |
114 |
113 |
111 |
109 |
120 |
118 |
116 |
115 |
117 |
119 |
134 |
136 |
138 |
137 |
135 |
133 |
144 |
142 |
140 |
139 |
141 |
143 |
Рис. 21
2 |
141 |
6 |
140 |
3 |
144 |
11 |
136 |
7 |
137 |
10 |
133 |
35 |
112 |
31 |
113 |
34 |
109 |
26 |
117 |
30 |
116 |
27 |
120 |
50 |
93 |
54 |
92 |
51 |
96 |
59 |
88 |
55 |
89 |
58 |
85 |
71 |
76 |
67 |
77 |
70 |
73 |
62 |
81 |
66 |
80 |
63 |
84 |
38 |
105 |
42 |
104 |
39 |
108 |
47 |
100 |
43 |
101 |
46 |
97 |
23 |
124 |
19 |
125 |
22 |
121 |
14 |
129 |
18 |
128 |
15 |
132 |
134 |
9 |
138 |
8 |
135 |
12 |
143 |
4 |
139 |
5 |
142 |
1 |
119 |
28 |
115 |
29 |
118 |
25 |
110 |
33 |
114 |
32 |
111 |
36 |
86 |
57 |
90 |
56 |
87 |
60 |
95 |
52 |
91 |
53 |
94 |
49 |
83 |
64 |
79 |
65 |
82 |
61 |
74 |
69 |
78 |
68 |
75 |
72 |
98 |
45 |
102 |
44 |
99 |
48 |
107 |
40 |
103 |
41 |
106 |
37 |
131 |
16 |
127 |
17 |
130 |
13 |
122 |
21 |
126 |
20 |
123 |
24 |
Рис. 22
Осталось показать ещё один очень важный метод – латинских квадратов. Для порядка 12 мне неизвестна пара классических ортогональных диагональных латинских квадратов, которые обладали бы свойствами ассоциативности и пандиагональности, необходимыми для построения идеального магического квадрата. Известны только пары ортогональных обобщённых латинских квадратов. На рис. 23 – 24 показана такая пара.
0 |
11 |
6 |
3 |
2 |
4 |
10 |
1 |
7 |
9 |
8 |
5 |
8 |
5 |
0 |
11 |
6 |
3 |
2 |
4 |
10 |
1 |
7 |
9 |
7 |
9 |
8 |
5 |
0 |
11 |
6 |
3 |
2 |
4 |
10 |
1 |
10 |
1 |
7 |
9 |
8 |
5 |
0 |
11 |
6 |
3 |
2 |
4 |
2 |
4 |
10 |
1 |
7 |
9 |
8 |
5 |
0 |
11 |
6 |
3 |
6 |
3 |
2 |
4 |
10 |
1 |
7 |
9 |
8 |
5 |
0 |
11 |
0 |
11 |
6 |
3 |
2 |
4 |
10 |
1 |
7 |
9 |
8 |
5 |
8 |
5 |
0 |
11 |
6 |
3 |
2 |
4 |
10 |
1 |
7 |
9 |
7 |
9 |
8 |
5 |
0 |
11 |
6 |
3 |
2 |
4 |
10 |
1 |
10 |
1 |
7 |
9 |
8 |
5 |
0 |
11 |
6 |
3 |
2 |
4 |
2 |
4 |
10 |
1 |
7 |
9 |
8 |
5 |
0 |
11 |
6 |
3 |
6 |
3 |
2 |
4 |
10 |
1 |
7 |
9 |
8 |
5 |
0 |
11 |
Рис. 23
0 |
6 |
2 |
10 |
7 |
8 |
0 |
6 |
2 |
10 |
7 |
8 |
9 |
5 |
11 |
3 |
4 |
1 |
9 |
5 |
11 |
3 |
4 |
1 |
10 |
7 |
8 |
0 |
6 |
2 |
10 |
7 |
8 |
0 |
6 |
2 |
3 |
4 |
1 |
9 |
5 |
11 |
3 |
4 |
1 |
9 |
5 |
11 |
0 |
6 |
2 |
10 |
7 |
8 |
0 |
6 |
2 |
10 |
7 |
8 |
9 |
5 |
11 |
3 |
4 |
1 |
9 |
5 |
11 |
3 |
4 |
1 |
10 |
7 |
8 |
0 |
6 |
2 |
10 |
7 |
8 |
0 |
6 |
2 |
3 |
4 |
1 |
9 |
5 |
11 |
3 |
4 |
1 |
9 |
5 |
11 |
0 |
6 |
2 |
10 |
7 |
8 |
0 |
6 |
2 |
10 |
7 |
8 |
9 |
5 |
11 |
3 |
4 |
1 |
9 |
5 |
11 |
3 |
4 |
1 |
10 |
7 |
8 |
0 |
6 |
2 |
10 |
7 |
8 |
0 |
6 |
2 |
3 |
4 |
1 |
9 |
5 |
11 |
3 |
4 |
1 |
9 |
5 |
11 |
Рис. 24
Из этой пары ортогональных латинских квадратов можно построить два идеальных квадрата. На рис. 25 показан один из них.
1 |
139 |
75 |
47 |
32 |
57 |
121 |
19 |
87 |
119 |
104 |
69 |
106 |
66 |
12 |
136 |
77 |
38 |
34 |
54 |
132 |
16 |
89 |
110 |
95 |
116 |
105 |
61 |
7 |
135 |
83 |
44 |
33 |
49 |
127 |
15 |
124 |
17 |
86 |
118 |
102 |
72 |
4 |
137 |
74 |
46 |
30 |
60 |
25 |
55 |
123 |
23 |
92 |
117 |
97 |
67 |
3 |
143 |
80 |
45 |
82 |
42 |
36 |
52 |
125 |
14 |
94 |
114 |
108 |
64 |
5 |
134 |
11 |
140 |
81 |
37 |
31 |
51 |
131 |
20 |
93 |
109 |
103 |
63 |
100 |
65 |
2 |
142 |
78 |
48 |
28 |
53 |
122 |
22 |
90 |
120 |
85 |
115 |
99 |
71 |
8 |
141 |
73 |
43 |
27 |
59 |
128 |
21 |
130 |
18 |
96 |
112 |
101 |
62 |
10 |
138 |
84 |
40 |
29 |
50 |
35 |
56 |
129 |
13 |
91 |
111 |
107 |
68 |
9 |
133 |
79 |
39 |
76 |
41 |
26 |
58 |
126 |
24 |
88 |
113 |
98 |
70 |
6 |
144 |
Рис. 25
Пожалуй, на этом закончу представление методов построения классических пандиагональных квадратов. Перехожу к методам построения нетрадиционных пандиагональных квадратов.
Начнём с метода Россера, использующего примитивный квадрат. Этот метод вполне годится и для нетрадиционных пандиагональных квадратов. Если примитивный квадрат составить из произвольных натуральных чисел, но чтобы удовлетворялись условия (1), а затем применить преобразование Россера – то же самое, с помощью которого мы превращали примитивный квадрат с рис. 17 в пандиагональный классический квадрат, - получится нетрадиционный пандиагональный квадрат. Понятно, что простейший вариант – это арифметические прогрессии с одинаковой разностью. Приведу пример. Для простоты возьмём одну арифметическую прогрессию длины 144 с разностью 10 и первым членом 2. На рис. 25 показан примитивный квадрат, составленный из чисел этой прогрессии.
2 |
12 |
22 |
32 |
42 |
52 |
112 |
102 |
92 |
82 |
72 |
62 |
122 |
132 |
142 |
152 |
162 |
172 |
232 |
222 |
212 |
202 |
192 |
182 |
242 |
252 |
262 |
272 |
282 |
292 |
352 |
342 |
332 |
322 |
312 |
302 |
362 |
372 |
382 |
392 |
402 |
412 |
472 |
462 |
452 |
442 |
432 |
422 |
482 |
492 |
502 |
512 |
522 |
532 |
592 |
582 |
572 |
562 |
552 |
542 |
602 |
612 |
622 |
632 |
642 |
652 |
712 |
702 |
692 |
682 |
672 |
662 |
1322 |
1332 |
1342 |
1352 |
1362 |
1372 |
1432 |
1422 |
1412 |
1402 |
1392 |
1382 |
1202 |
1212 |
1222 |
1232 |
1242 |
1252 |
1312 |
1302 |
1292 |
1282 |
1272 |
1262 |
1082 |
1092 |
1102 |
1112 |
1122 |
1132 |
1192 |
1182 |
1172 |
1162 |
1152 |
1142 |
962 |
972 |
982 |
992 |
1002 |
1012 |
1072 |
1062 |
1052 |
1042 |
1032 |
1022 |
842 |
852 |
862 |
872 |
882 |
892 |
952 |
942 |
932 |
922 |
912 |
902 |
722 |
732 |
742 |
752 |
762 |
772 |
832 |
822 |
812 |
802 |
792 |
782 |
Рис. 25
Применим преобразование и получим следующий пандиагональный квадрат (рис. 26):
282 |
472 |
572 |
672 |
1322 |
1222 |
1122 |
1072 |
932 |
792 |
2 |
142 |
582 |
682 |
1382 |
1212 |
1112 |
1012 |
942 |
802 |
62 |
132 |
272 |
412 |
1392 |
1202 |
1102 |
1002 |
952 |
812 |
72 |
122 |
262 |
402 |
592 |
692 |
1092 |
992 |
892 |
822 |
82 |
182 |
252 |
392 |
532 |
702 |
1402 |
1262 |
882 |
832 |
92 |
192 |
242 |
382 |
522 |
712 |
1412 |
1272 |
1082 |
982 |
102 |
202 |
302 |
372 |
512 |
652 |
1422 |
1282 |
1142 |
972 |
872 |
772 |
312 |
362 |
502 |
642 |
1432 |
1292 |
1152 |
962 |
862 |
762 |
112 |
212 |
492 |
632 |
1372 |
1302 |
1162 |
1022 |
852 |
752 |
52 |
222 |
322 |
422 |
1362 |
1312 |
1172 |
1032 |
842 |
742 |
42 |
232 |
332 |
432 |
482 |
622 |
1182 |
1042 |
902 |
732 |
32 |
172 |
342 |
442 |
542 |
612 |
1352 |
1252 |
912 |
722 |
22 |
162 |
352 |
452 |
552 |
602 |
1342 |
1242 |
1192 |
1052 |
12 |
152 |
292 |
462 |
562 |
662 |
1332 |
1232 |
1132 |
1062 |
922 |
782 |
Рис. 26
Впрочем, из приведённой арифметической прогрессии можно построить пандиагональные (и идеальные) квадраты и другим способом, который уже хорошо известен читателям. Не буду повторять его.
Теперь рассмотрим построение пандиагональных квадратов из простых чисел. Здесь самый простой метод – построение по решёткам Россера. Можно построить пандиагональный квадрат 12-го порядка из девяти пандиагональных квадратов 4-го порядка или из четырёх пандиагональных квадратов 6-го порядка (с одинаковой магической константой). Мне удалось выполнить оба построения (см. [6]).
Сначала покажу пандиагональный квадрат, построенный из девяти пандиагональных квадратов 4-го порядка с магической константой 4620 (рис. 27). Магическая константа квадрата 12-го порядка равна 4620*3 = 13860.
37 |
97 |
73 |
863 |
1019 |
197 |
1423 |
1217 |
2083 |
2297 |
2287 |
2267 |
739 |
149 |
271 |
761 |
421 |
587 |
877 |
1847 |
1609 |
2243 |
2203 |
2153 |
293 |
613 |
523 |
487 |
647 |
827 |
1709 |
1249 |
1201 |
2131 |
2111 |
2069 |
1427 |
1223 |
2099 |
2293 |
2281 |
2251 |
41 |
103 |
89 |
859 |
1013 |
181 |
881 |
1871 |
1619 |
2239 |
2179 |
2143 |
743 |
173 |
281 |
757 |
397 |
577 |
1753 |
1279 |
1319 |
2087 |
2081 |
1951 |
337 |
643 |
641 |
443 |
617 |
709 |
887 |
1093 |
227 |
13 |
23 |
43 |
2273 |
2213 |
2237 |
1447 |
1291 |
2113 |
1433 |
463 |
701 |
67 |
107 |
157 |
1571 |
2161 |
2039 |
1549 |
1889 |
1723 |
601 |
1061 |
1109 |
179 |
199 |
241 |
2017 |
1697 |
1787 |
1823 |
1663 |
1483 |
2269 |
2207 |
2221 |
1451 |
1297 |
2129 |
883 |
1087 |
211 |
17 |
29 |
59 |
1567 |
2137 |
2029 |
1553 |
1913 |
1733 |
1429 |
439 |
691 |
71 |
131 |
167 |
1973 |
1667 |
1669 |
1867 |
1693 |
1601 |
557 |
1031 |
991 |
223 |
229 |
359 |
Рис. 27
На рисунке выделена белым цветом одна решётка. В каждой из девяти решёток находится один пандиагональный квадрат 4-го порядка. При этом пандиагональные квадраты 4-го порядка можно размещать в любом порядке, меняя произвольно их расположение в решётках.
Пандиагональные квадраты 4-го порядка строились из набора комплементарных пар простых чисел с константой комплементарности равной 2310, пар в наборе 114. Поскольку квадрат 12-го порядка составлен из комплементарных пар чисел, его можно превратить в ассоциативный квадрат преобразованием обратным преобразованию 3-х квадратов. На рис. 28 вы видите полученный ассоциативный квадрат.
37 |
97 |
73 |
863 |
1019 |
197 |
2267 |
2287 |
2297 |
2083 |
1217 |
1423 |
739 |
149 |
271 |
761 |
421 |
587 |
2153 |
2203 |
2243 |
1609 |
1847 |
877 |
293 |
613 |
523 |
487 |
647 |
827 |
2069 |
2111 |
2131 |
1201 |
1249 |
1709 |
1427 |
1223 |
2099 |
2293 |
2281 |
2251 |
181 |
1013 |
859 |
89 |
103 |
41 |
881 |
1871 |
1619 |
2239 |
2179 |
2143 |
577 |
397 |
757 |
281 |
173 |
743 |
1753 |
1279 |
1319 |
2087 |
2081 |
1951 |
709 |
617 |
443 |
641 |
643 |
337 |
1973 |
1667 |
1669 |
1867 |
1693 |
1601 |
359 |
229 |
223 |
991 |
1031 |
557 |
1567 |
2137 |
2029 |
1553 |
1913 |
1733 |
167 |
131 |
71 |
691 |
439 |
1429 |
2269 |
2207 |
2221 |
1451 |
1297 |
2129 |
59 |
29 |
17 |
211 |
1087 |
883 |
601 |
1061 |
1109 |
179 |
199 |
241 |
1483 |
1663 |
1823 |
1787 |
1697 |
2017 |
1433 |
463 |
701 |
67 |
107 |
157 |
1723 |
1889 |
1549 |
2039 |
2161 |
1571 |
887 |
1093 |
227 |
13 |
23 |
43 |
2113 |
1291 |
1447 |
2237 |
2213 |
2273 |
Рис. 28
Теперь покажу пандиагональный квадрат 12-го порядка, построенный из четырёх пандиагональных квадратов 6-го порядка с магической константой 4410 (рис. 29). Магическая константа этого квадрата равна 4410*2 = 8820.
11 |
71 |
17 |
103 |
1451 |
1361 |
1447 |
1321 |
1423 |
1297 |
61 |
257 |
181 |
347 |
191 |
353 |
1277 |
1097 |
1259 |
1049 |
829 |
701 |
673 |
863 |
1439 |
1319 |
1429 |
1303 |
43 |
179 |
37 |
163 |
89 |
499 |
1373 |
947 |
1237 |
1051 |
1229 |
457 |
269 |
809 |
239 |
479 |
727 |
787 |
709 |
827 |
1187 |
1163 |
659 |
839 |
379 |
277 |
1153 |
1069 |
593 |
449 |
439 |
613 |
1009 |
983 |
503 |
1087 |
719 |
431 |
929 |
853 |
367 |
409 |
883 |
647 |
23 |
149 |
47 |
173 |
1409 |
1213 |
1459 |
1399 |
1453 |
1367 |
19 |
109 |
211 |
421 |
641 |
769 |
797 |
607 |
1289 |
1123 |
1279 |
1117 |
193 |
373 |
1433 |
1307 |
1381 |
971 |
97 |
523 |
31 |
151 |
41 |
167 |
1427 |
1291 |
1231 |
991 |
743 |
683 |
761 |
643 |
233 |
419 |
241 |
1013 |
1201 |
661 |
317 |
401 |
877 |
1021 |
1031 |
857 |
283 |
307 |
811 |
631 |
1091 |
1193 |
541 |
617 |
1103 |
1061 |
587 |
823 |
461 |
487 |
967 |
383 |
751 |
1039 |
Рис. 29. Пандиагональный квадрат 12-го порядка из простых чисел (S = 8820)
В этом квадрате выделены все четыре решётки. Пандиагональные квадраты 6-го порядка тоже можно размещать, выбирая для каждого квадрата любую из четырёх решёток.
Важно отметить, что пандиагональные квадраты 6-го порядка построены из комплементарных пар чисел (в отличие от пандиагональных квадратов 4-го порядка пандиагональные квадраты 6-го порядка могут быть построены и не из комплементарных чисел).
Это даёт возможность превратить построенный пандиагональный квадрат 12-го порядка с рис. 29 в ассоциативный квадрат с помощью преобразования обратного преобразованию 3-х квадратов. На рис. 30 показан ассоциативный квадрат.
11 |
71 |
17 |
103 |
1451 |
1361 |
257 |
61 |
1297 |
1423 |
1321 |
1447 |
181 |
347 |
191 |
353 |
1277 |
1097 |
863 |
673 |
701 |
829 |
1049 |
1259 |
1439 |
1319 |
1429 |
1303 |
43 |
179 |
947 |
1373 |
499 |
89 |
163 |
37 |
1237 |
1051 |
1229 |
457 |
269 |
809 |
827 |
709 |
787 |
727 |
479 |
239 |
1187 |
1163 |
659 |
839 |
379 |
277 |
613 |
439 |
449 |
593 |
1069 |
1153 |
1009 |
983 |
503 |
1087 |
719 |
431 |
647 |
883 |
409 |
367 |
853 |
929 |
541 |
617 |
1103 |
1061 |
587 |
823 |
1039 |
751 |
383 |
967 |
487 |
461 |
317 |
401 |
877 |
1021 |
1031 |
857 |
1193 |
1091 |
631 |
811 |
307 |
283 |
1231 |
991 |
743 |
683 |
761 |
643 |
661 |
1201 |
1013 |
241 |
419 |
233 |
1433 |
1307 |
1381 |
971 |
97 |
523 |
1291 |
1427 |
167 |
41 |
151 |
31 |
211 |
421 |
641 |
769 |
797 |
607 |
373 |
193 |
1117 |
1279 |
1123 |
1289 |
23 |
149 |
47 |
173 |
1409 |
1213 |
109 |
19 |
1367 |
1453 |
1399 |
1459 |
Рис. 30. Ассоциативный квадрат 12-го порядка из простых чисел (S = 8820)
Удалось построить и пандиагональный квадрат 12-го порядка из чисел Смита данным методом (рис. 31) ([7]).
391 |
778 |
3694 |
677101 |
675058 |
659938 |
498514 |
637474 |
454873 |
184018 |
46714 |
241519 |
958 |
2578 |
4198 |
674914 |
663934 |
674194 |
629194 |
412078 |
405274 |
54958 |
281434 |
276358 |
8014 |
19678 |
26014 |
655618 |
650974 |
633838 |
402214 |
429214 |
409594 |
294178 |
260158 |
290578 |
514597 |
657274 |
521446 |
167935 |
26914 |
174946 |
16474 |
20578 |
70267 |
661018 |
655258 |
593365 |
633694 |
490558 |
459094 |
50458 |
202954 |
222538 |
5458 |
81058 |
58018 |
670414 |
585454 |
620374 |
519466 |
438934 |
457078 |
176926 |
250438 |
243094 |
125266 |
29398 |
73498 |
538366 |
641254 |
586354 |
181498 |
42538 |
225139 |
495994 |
633298 |
438493 |
679621 |
679234 |
676318 |
2911 |
4954 |
20074 |
50818 |
267934 |
274738 |
625054 |
398578 |
403654 |
679054 |
677434 |
675814 |
5098 |
16078 |
5818 |
277798 |
250798 |
270418 |
385834 |
419854 |
389434 |
671998 |
660334 |
653998 |
24394 |
29038 |
46174 |
663538 |
659434 |
609745 |
18994 |
24754 |
86647 |
165415 |
22738 |
158566 |
512077 |
653098 |
505066 |
674554 |
598954 |
621994 |
9598 |
94558 |
59638 |
46318 |
189454 |
220918 |
629554 |
477058 |
457474 |
554746 |
650614 |
606514 |
141646 |
38758 |
93658 |
160546 |
241078 |
222934 |
503086 |
429574 |
436918 |
Рис. 31. Пандиагональный квадрат 12-го порядка из чисел Смита (S = 4080072)
Для построения этого квадрата был использован замечательный набор из 556 комплементарных пар смитов, найденный М. Алексеевым (набор выложен на форуме dxdy.ru),
Магическая константа этого пандиагонального квадрата равна 4080072. Это пока единственный известный мне пандиагональный квадрат 12-го порядка, составленный из различных чисел Смита. Конечно, если разрешить повторение чисел, можно составить пандиагональные квадраты с меньшей магической константой.
Точно так же преобразованием обратным преобразованию 3-х квадратов этот пандиагональный квадрат превращается в ассоциативный (рис. 32).
391 |
778 |
3694 |
677101 |
675058 |
659938 |
241519 |
46714 |
184018 |
454873 |
637474 |
498514 |
958 |
2578 |
4198 |
674914 |
663934 |
674194 |
276358 |
281434 |
54958 |
405274 |
412078 |
629194 |
8014 |
19678 |
26014 |
655618 |
650974 |
633838 |
290578 |
260158 |
294178 |
409594 |
429214 |
402214 |
514597 |
657274 |
521446 |
167935 |
26914 |
174946 |
593365 |
655258 |
661018 |
70267 |
20578 |
16474 |
633694 |
490558 |
459094 |
50458 |
202954 |
222538 |
620374 |
585454 |
670414 |
58018 |
81058 |
5458 |
519466 |
438934 |
457078 |
176926 |
250438 |
243094 |
586354 |
641254 |
538366 |
73498 |
29398 |
125266 |
554746 |
650614 |
606514 |
141646 |
38758 |
93658 |
436918 |
429574 |
503086 |
222934 |
241078 |
160546 |
674554 |
598954 |
621994 |
9598 |
94558 |
59638 |
457474 |
477058 |
629554 |
220918 |
189454 |
46318 |
663538 |
659434 |
609745 |
18994 |
24754 |
86647 |
505066 |
653098 |
512077 |
158566 |
22738 |
165415 |
277798 |
250798 |
270418 |
385834 |
419854 |
389434 |
46174 |
29038 |
24394 |
653998 |
660334 |
671998 |
50818 |
267934 |
274738 |
625054 |
398578 |
403654 |
5818 |
16078 |
5098 |
675814 |
677434 |
679054 |
181498 |
42538 |
225139 |
495994 |
633298 |
438493 |
20074 |
4954 |
2911 |
676318 |
679234 |
679621 |
Рис. 32. Ассоциативный квадрат 12-го порядка из чисел Смита (S = 4080072)
Далее (рис. 33) показан идеальный квадрат 12-го порядка из простых чисел с повторениями. Квадрат построен на основе наименьшего идеального квадрата 6-го порядка (магическая константа квадрата равна 990; автор М. Алексеев) тоже по решёткам Россера.
103 |
263 |
59 |
313 |
163 |
47 |
233 |
61 |
139 |
149 |
293 |
157 |
263 |
103 |
313 |
59 |
47 |
163 |
61 |
233 |
149 |
139 |
157 |
293 |
229 |
23 |
257 |
73 |
307 |
101 |
131 |
277 |
13 |
317 |
53 |
199 |
23 |
229 |
73 |
257 |
101 |
307 |
277 |
131 |
317 |
13 |
199 |
53 |
283 |
167 |
17 |
271 |
67 |
227 |
173 |
37 |
181 |
191 |
269 |
97 |
167 |
283 |
271 |
17 |
227 |
67 |
37 |
173 |
191 |
181 |
97 |
269 |
61 |
233 |
149 |
139 |
157 |
293 |
263 |
103 |
313 |
59 |
47 |
163 |
233 |
61 |
139 |
149 |
293 |
157 |
103 |
263 |
59 |
313 |
163 |
47 |
277 |
131 |
317 |
13 |
199 |
53 |
23 |
229 |
73 |
257 |
101 |
307 |
131 |
277 |
13 |
317 |
53 |
199 |
229 |
23 |
257 |
73 |
307 |
101 |
37 |
173 |
191 |
181 |
97 |
269 |
167 |
283 |
271 |
17 |
227 |
67 |
173 |
37 |
181 |
191 |
269 |
97 |
283 |
167 |
17 |
271 |
67 |
227 |
Рис. 33
Аналогичный квадрат можно построить и из чисел Смита. Предлагаю читателям сделать это.
На этом завершаю рассказ о методе построения по решёткам Россера.
Следующее построение выполняется методом составных квадратов. Интересно, что этот универсальный метод, который я много раз демонстрировала для классических квадратов, работает и для нетрадиционных магических квадратов. Для порядка 12 этим методом можно построить только обычные или ассоциативные квадраты. Однако, построив ассоциативный квадрат, мы легко можем превратить его в пандиагональный преобразованием 3-х квадратов.
Итак, строим нетрадиционный ассоциативный квадрат 12-го порядка методом составных квадратов. На рис. 34 показаны выбранные базовый и основной квадраты. Базовый квадрат – это классический квадрат 3-го порядка, основной квадрат – это наименьший ассоциативный квадрат 4-го порядка из простых чисел. Если мы хотим получить ассоциативный составной квадрат, то базовый и основной квадраты должны быть ассоциативными.
|
|
7 |
47 |
89 |
97 |
||
2 |
7 |
6 |
103 |
83 |
41 |
13 |
|
9 |
5 |
1 |
107 |
79 |
37 |
17 |
|
4 |
3 |
8 |
23 |
31 |
73 |
113 |
Рис. 34
На рис. 35 вы видите нетрадиционный ассоциативный квадрат, построенный на основе изображённых на рис. 34 квадратов.
217 |
257 |
299 |
307 |
1267 |
1307 |
1349 |
1357 |
1057 |
1097 |
1139 |
1147 |
313 |
293 |
251 |
223 |
1363 |
1343 |
1301 |
1273 |
1153 |
1133 |
1091 |
1063 |
317 |
289 |
247 |
227 |
1367 |
1339 |
1297 |
1277 |
1157 |
1129 |
1087 |
1067 |
233 |
241 |
283 |
323 |
1283 |
1291 |
1333 |
1373 |
1073 |
1081 |
1123 |
1163 |
1687 |
1727 |
1769 |
1777 |
847 |
887 |
929 |
937 |
7 |
47 |
89 |
97 |
1783 |
1763 |
1721 |
1693 |
943 |
923 |
881 |
853 |
103 |
83 |
41 |
13 |
1787 |
1759 |
1717 |
1697 |
947 |
919 |
877 |
857 |
107 |
79 |
37 |
17 |
1703 |
1711 |
1753 |
1793 |
863 |
871 |
913 |
953 |
23 |
31 |
73 |
113 |
637 |
677 |
719 |
727 |
427 |
467 |
509 |
517 |
1477 |
1517 |
1559 |
1567 |
733 |
713 |
671 |
643 |
523 |
503 |
461 |
433 |
1573 |
1553 |
1511 |
1483 |
737 |
709 |
667 |
647 |
527 |
499 |
457 |
437 |
1577 |
1549 |
1507 |
1487 |
653 |
661 |
703 |
743 |
443 |
451 |
493 |
533 |
1493 |
1501 |
1543 |
1583 |
Рис. 35
В качестве множителя при построении квадрата я взяла 210, можно брать любой множитель. К сожалению, этот метод не обеспечивает получение всех простых чисел в составном квадрате. Тем не менее, метод очень интересный.
Примечание: здесь возникает интересная задача. Пусть (aij) некоторый ассоциативный магический квадрат 4-го порядка из различных простых чисел. Можно ли подобрать такой множитель m ≠ 0, что все числа aij + km, k = 1, 2, …, 8 будут простыми и различными?
Аналогично для чисел Смита.
Теперь применяем к построенному ассоциативному квадрату преобразование 3-х квадратов и получаем нетрадиционный пандиагональный квадрат (рис. 36).
217 |
257 |
299 |
307 |
1267 |
1307 |
1147 |
1139 |
1097 |
1057 |
1357 |
1349 |
313 |
293 |
251 |
223 |
1363 |
1343 |
1063 |
1091 |
1133 |
1153 |
1273 |
1301 |
317 |
289 |
247 |
227 |
1367 |
1339 |
1067 |
1087 |
1129 |
1157 |
1277 |
1297 |
233 |
241 |
283 |
323 |
1283 |
1291 |
1163 |
1123 |
1081 |
1073 |
1373 |
1333 |
1687 |
1727 |
1769 |
1777 |
847 |
887 |
97 |
89 |
47 |
7 |
937 |
929 |
1783 |
1763 |
1721 |
1693 |
943 |
923 |
13 |
41 |
83 |
103 |
853 |
881 |
653 |
661 |
703 |
743 |
443 |
451 |
1583 |
1543 |
1501 |
1493 |
533 |
493 |
737 |
709 |
667 |
647 |
527 |
499 |
1487 |
1507 |
1549 |
1577 |
437 |
457 |
733 |
713 |
671 |
643 |
523 |
503 |
1483 |
1511 |
1553 |
1573 |
433 |
461 |
637 |
677 |
719 |
727 |
427 |
467 |
1567 |
1559 |
1517 |
1477 |
517 |
509 |
1703 |
1711 |
1753 |
1793 |
863 |
871 |
113 |
73 |
31 |
23 |
953 |
913 |
1787 |
1759 |
1717 |
1697 |
947 |
919 |
17 |
37 |
79 |
107 |
857 |
877 |
Рис. 36
Отличный квадрат, только не все числа в нём простые.
Веб-страницы
1. Ещё раз об алгоритме Россера. http://www.natalimak1.narod.ru/algross.htm
2. Метод построения идеальных квадратов порядка n = 8k (часть II). http://www.klassikpoez.narod.ru/idealch2.htm
3. Метод качелей для пандиагональных квадратов чётно-чётного порядка. http://www.klassikpoez.narod.ru/pan4kach.htm
4. Построение идеальных квадратов порядка n = 4k из обратимых квадратов. http://www.klassikpoez.narod.ru/obratid1.htm
5. Об идеальных квадратах двенадцатого порядка с начальной цепочкой “ход конём”. http://www.natalimak1.narod.ru/latid12.htm
6. Построение пандиагональных квадратов по решёткам Россера. http://www.natalimak1.narod.ru/algross1.htm
7. Нетрадиционные пандиагональные квадраты порядков 8, 12, 16. http://www.natalimak1.narod.ru/kompl556.htm
8. THE ALGEBRAIC THEORY OF DIABOLIC MAGIG SQUARES. By Barkley Rosser and R. J. Walker
http://narod.ru/disk/23700701000/Rosser1939.rar.html
Примечание: статья переведена на русский язык С. В. Беляевым. Перевод здесь: http://svb.hut.ru/DOWN/Rosser_ru.pdf
Продолжение следует
19 - 20 июня 2011 г.
г. Саратов
На главную страницу сайта:
http://www.klassikpoez.narod.ru.index.htm
На главную страницу раздела «Волшебный мир магических квадратов»:
http://www.klassikpoez.narod.ru/glavnaja.htm
Контакты
QIP 571-379-327