Н. Макарова
СОВЕРШЕННЫЕ ЛАТИНСКИЕ КВАДРАТЫ
Часть I
При написании данной статьи использованы материалы следующей статьи: “Perfect latin squares” (Discrete Applied Mathematics 37/38 (1192) 281 – 286).
Прежде всего, приведу определение совершенных латинских квадратов. Даю его в форме фрагмента из указанной статьи:
Если вы не знаете английский язык, посмотрите перевод этого определения на форуме dxdy.ru в теме “Магические квадраты”:
http://dxdy.ru/topic12959.html
Теперь покажу совершенный латинский квадрат 9-го порядка, который показан на фигуре 3 в статье (рис. 1).
Рис. 1
Покажу раскраской все подквадраты 3х3, о которых идёт речь в определении (рис. 2). Все эти подквадраты заполнены различными числами от 0 до 8.
0 |
3 |
6 |
1 |
4 |
7 |
2 |
5 |
8 |
2 |
5 |
8 |
0 |
3 |
6 |
1 |
4 |
7 |
1 |
4 |
7 |
2 |
5 |
8 |
0 |
3 |
6 |
3 |
6 |
0 |
4 |
7 |
1 |
5 |
8 |
2 |
5 |
8 |
2 |
3 |
6 |
0 |
4 |
7 |
1 |
4 |
7 |
1 |
5 |
8 |
2 |
3 |
6 |
0 |
6 |
0 |
3 |
7 |
1 |
4 |
8 |
2 |
5 |
8 |
2 |
5 |
6 |
0 |
3 |
7 |
1 |
4 |
7 |
1 |
4 |
8 |
2 |
5 |
6 |
0 |
3 |
Рис. 2
Итак, перед вами совершенный латинский квадрат 9-го порядка. В статье, наверное, рассказывается о методе построения совершенных латинских квадратов, но статью мне не удалось перевести, поэтому не знаю, что в ней написано. Далее выполняю собственные построения.
Прежде всего, построю ортогональный соквадрат к приведённому совершенному латинскому квадрату. Это очень просто сделать с помощью перестановки строк в исходном латинском квадрате. Вы видите ортогональный соквадрат на рис. 3.
0 |
3 |
6 |
1 |
4 |
7 |
2 |
5 |
8 |
1 |
4 |
7 |
2 |
5 |
8 |
0 |
3 |
6 |
2 |
5 |
8 |
0 |
3 |
6 |
1 |
4 |
7 |
6 |
0 |
3 |
7 |
1 |
4 |
8 |
2 |
5 |
7 |
1 |
4 |
8 |
2 |
5 |
6 |
0 |
3 |
8 |
2 |
5 |
6 |
0 |
3 |
7 |
1 |
4 |
3 |
6 |
0 |
4 |
7 |
1 |
5 |
8 |
2 |
4 |
7 |
1 |
5 |
8 |
2 |
3 |
6 |
0 |
5 |
8 |
2 |
3 |
6 |
0 |
4 |
7 |
1 |
Рис. 3
Этот латинский квадрат тоже совершенный. Таким образом, мы имеем пару ортогональных совершенных латинских квадратов. Отмечу, что оба совершенных квадрата обладают свойством пандиагональности, поэтому магические квадраты, построенные из данной пары ОЛК, пандиагональны. На рис. 4 – 5 показаны пандиагональные магические квадраты, построенные из этой пары ОЛК.
1 |
31 |
61 |
11 |
41 |
71 |
21 |
51 |
81 |
20 |
50 |
80 |
3 |
33 |
63 |
10 |
40 |
70 |
12 |
42 |
72 |
19 |
49 |
79 |
2 |
32 |
62 |
34 |
55 |
4 |
44 |
65 |
14 |
54 |
75 |
24 |
53 |
74 |
23 |
36 |
57 |
6 |
43 |
64 |
13 |
45 |
66 |
15 |
52 |
73 |
22 |
35 |
56 |
5 |
58 |
7 |
28 |
68 |
17 |
38 |
78 |
27 |
48 |
77 |
26 |
47 |
60 |
9 |
30 |
67 |
16 |
37 |
69 |
18 |
39 |
76 |
25 |
46 |
59 |
8 |
29 |
Рис. 4
1 |
31 |
61 |
11 |
41 |
71 |
21 |
51 |
81 |
12 |
42 |
72 |
19 |
49 |
79 |
2 |
32 |
62 |
20 |
50 |
80 |
3 |
33 |
63 |
10 |
40 |
70 |
58 |
7 |
28 |
68 |
17 |
38 |
78 |
27 |
48 |
69 |
18 |
39 |
76 |
25 |
46 |
59 |
8 |
29 |
77 |
26 |
47 |
60 |
9 |
30 |
67 |
16 |
37 |
34 |
55 |
4 |
44 |
65 |
14 |
54 |
75 |
24 |
45 |
66 |
15 |
52 |
73 |
22 |
35 |
56 |
5 |
53 |
74 |
23 |
36 |
57 |
6 |
43 |
64 |
13 |
Рис. 5
Понятно, что второй магический квадрат получается из первого точно такой же перестановкой строк, какой второй латинский квадрат получается из первого латинского квадрата.
Эти магические квадраты обладают интересным свойством: сумма чисел в любом квадрате 3х3, находящемся внутри этих квадратов, равна магической константе квадрата. Это свойство сохраняется при параллельном переносе на торе. Вот такие интересные магические квадраты получаются из пары ортогональных совершенных латинских квадратов.
Теперь начнём сначала. Как следует из определения, совершенные латинские квадраты могут быть только порядка n2. Минимальный порядок совершенного латинского квадрата равен 4. На рис. 6 вы видите пару ортогональных совершенных латинских квадратов 4-го порядка.
0 |
2 |
1 |
3 |
|
0 |
3 |
2 |
1 |
3 |
1 |
2 |
0 |
2 |
1 |
0 |
3 |
|
2 |
0 |
3 |
1 |
1 |
2 |
3 |
0 |
|
1 |
3 |
0 |
2 |
3 |
0 |
1 |
2 |
Рис. 6
Очевидно, что оба латинских квадрата пары обладают свойством пандиагональности. Из этой пары мы получаем совершенные магические квадраты 4-го порядка (как известно, все пандиагональные квадраты 4-го порядка являются совершенными). На рис. 7 – 8 показаны эти магические квадраты.
1 |
12 |
7 |
14 |
15 |
6 |
9 |
4 |
10 |
3 |
16 |
5 |
8 |
13 |
2 |
11 |
Рис. 7
1 |
15 |
10 |
8 |
12 |
6 |
3 |
13 |
7 |
9 |
16 |
2 |
14 |
4 |
5 |
11 |
Рис. 8
Эти магические квадраты эквивалентны, вследствие того, что второй латинский квадрат пары ОЛК получается из первого отражением относительно главной диагонали. Магические квадраты получаются друг из друга таким же преобразованием (это одно из основных преобразований).
В этих магических квадратах, конечно (так как эти квадраты совершенные), тоже выполняется свойство: в любом квадрате 2х2, находящемся внутри этих квадратов, сумма равна магической константе квадрата. Свойство сохраняется при параллельном переносе на торе.
Замечу, что первый совершенный квадрат пары ОЛК (на рис. 6 слева) построен по схеме Агриппы.
Теперь надо построить совершенный латинский квадрат 16-го порядка. Ещё раз подчеркну, что построения я выполняю по аналогии с совершенным квадратом 9-го порядка, приведённым на рис. 1 (это квадрат из указанной статьи). На рис. 9 вы видите совершенный латинский квадрат 16-го порядка.
0 |
4 |
8 |
12 |
1 |
5 |
9 |
13 |
2 |
6 |
10 |
14 |
3 |
7 |
11 |
15 |
2 |
6 |
10 |
14 |
3 |
7 |
11 |
15 |
0 |
4 |
8 |
12 |
1 |
5 |
9 |
13 |
3 |
7 |
11 |
15 |
2 |
6 |
10 |
14 |
1 |
5 |
9 |
13 |
0 |
4 |
8 |
12 |
1 |
5 |
9 |
13 |
0 |
4 |
8 |
12 |
3 |
7 |
11 |
15 |
2 |
6 |
10 |
14 |
8 |
12 |
0 |
4 |
9 |
13 |
1 |
5 |
10 |
14 |
2 |
6 |
11 |
15 |
3 |
7 |
10 |
14 |
2 |
6 |
11 |
15 |
3 |
7 |
8 |
12 |
0 |
4 |
9 |
13 |
1 |
5 |
11 |
15 |
3 |
7 |
10 |
14 |
2 |
6 |
9 |
13 |
1 |
5 |
8 |
12 |
0 |
4 |
9 |
13 |
1 |
5 |
8 |
12 |
0 |
4 |
11 |
15 |
3 |
7 |
10 |
14 |
2 |
6 |
12 |
8 |
4 |
0 |
13 |
9 |
5 |
1 |
14 |
10 |
6 |
2 |
15 |
11 |
7 |
3 |
14 |
10 |
6 |
2 |
15 |
11 |
7 |
3 |
12 |
8 |
4 |
0 |
13 |
9 |
5 |
1 |
15 |
11 |
7 |
3 |
14 |
10 |
6 |
2 |
13 |
9 |
5 |
1 |
12 |
8 |
4 |
0 |
13 |
9 |
5 |
1 |
12 |
8 |
4 |
0 |
15 |
11 |
7 |
3 |
14 |
10 |
6 |
2 |
4 |
0 |
12 |
8 |
5 |
1 |
13 |
9 |
6 |
2 |
14 |
10 |
7 |
3 |
15 |
11 |
6 |
2 |
14 |
10 |
7 |
3 |
15 |
11 |
4 |
0 |
12 |
8 |
5 |
1 |
13 |
9 |
7 |
3 |
15 |
11 |
6 |
2 |
14 |
10 |
5 |
1 |
13 |
9 |
4 |
0 |
12 |
8 |
5 |
1 |
13 |
9 |
4 |
0 |
12 |
8 |
7 |
3 |
15 |
11 |
6 |
2 |
14 |
10 |
Рис. 9
Все подквадраты 4х4, следующие в строгом порядке за угловым квадратом (он выделен жёлтым цветом) заполнены разными числами от 0 до 15. Квадрат диагональный и обладает свойством пандиагональности. Довольно просто строится ортогональный соквадрат к этому латинскому квадрату (рис. 10).
0 |
4 |
8 |
12 |
1 |
5 |
9 |
13 |
2 |
6 |
10 |
14 |
3 |
7 |
11 |
15 |
1 |
5 |
9 |
13 |
0 |
4 |
8 |
12 |
3 |
7 |
11 |
15 |
2 |
6 |
10 |
14 |
2 |
6 |
10 |
14 |
3 |
7 |
11 |
15 |
0 |
4 |
8 |
12 |
1 |
5 |
9 |
13 |
3 |
7 |
11 |
15 |
2 |
6 |
10 |
14 |
1 |
5 |
9 |
13 |
0 |
4 |
8 |
12 |
4 |
0 |
12 |
8 |
5 |
1 |
13 |
9 |
6 |
2 |
14 |
10 |
7 |
3 |
15 |
11 |
5 |
1 |
13 |
9 |
4 |
0 |
12 |
8 |
7 |
3 |
15 |
11 |
6 |
2 |
14 |
10 |
6 |
2 |
14 |
10 |
7 |
3 |
15 |
11 |
4 |
0 |
12 |
8 |
5 |
1 |
13 |
9 |
7 |
3 |
15 |
11 |
6 |
2 |
14 |
10 |
5 |
1 |
13 |
9 |
4 |
0 |
12 |
8 |
8 |
12 |
0 |
4 |
9 |
13 |
1 |
5 |
10 |
14 |
2 |
6 |
11 |
15 |
3 |
7 |
9 |
13 |
1 |
5 |
8 |
12 |
0 |
4 |
11 |
15 |
3 |
7 |
10 |
14 |
2 |
6 |
10 |
14 |
2 |
6 |
11 |
15 |
3 |
7 |
8 |
12 |
0 |
4 |
9 |
13 |
1 |
5 |
11 |
15 |
3 |
7 |
10 |
14 |
2 |
6 |
9 |
13 |
1 |
5 |
8 |
12 |
0 |
4 |
12 |
8 |
4 |
0 |
13 |
9 |
5 |
1 |
14 |
10 |
6 |
2 |
15 |
11 |
7 |
3 |
13 |
9 |
5 |
1 |
12 |
8 |
4 |
0 |
15 |
11 |
7 |
3 |
14 |
10 |
6 |
2 |
14 |
10 |
6 |
2 |
15 |
11 |
7 |
3 |
12 |
8 |
4 |
0 |
13 |
9 |
5 |
1 |
15 |
11 |
7 |
3 |
14 |
10 |
6 |
2 |
13 |
9 |
5 |
1 |
12 |
8 |
4 |
0 |
Рис. 10
Ортогональный соквадрат у меня не получился диагональным, однако он является нетрадиционным магическим квадратом с магической константой 120, поэтому полученная пара ОЛК сразу пригодна для построения магических квадратов. Этот латинский квадрат тоже обладает свойством пандиагональности. Магические квадраты, получаемые из данной пары ОЛК, пандиагональны. На рис. 11 – 12 вы видите эти магические квадраты.
1 |
69 |
137 |
205 |
18 |
86 |
154 |
222 |
35 |
103 |
171 |
239 |
52 |
120 |
188 |
256 |
19 |
87 |
155 |
223 |
4 |
72 |
140 |
208 |
49 |
117 |
185 |
253 |
34 |
102 |
170 |
238 |
36 |
104 |
172 |
240 |
51 |
119 |
187 |
255 |
2 |
70 |
138 |
206 |
17 |
85 |
153 |
221 |
50 |
118 |
186 |
254 |
33 |
101 |
169 |
237 |
20 |
88 |
156 |
224 |
3 |
71 |
139 |
207 |
73 |
13 |
193 |
133 |
90 |
30 |
210 |
150 |
107 |
47 |
227 |
167 |
124 |
64 |
244 |
184 |
91 |
31 |
211 |
151 |
76 |
16 |
196 |
136 |
121 |
61 |
241 |
181 |
106 |
46 |
226 |
166 |
108 |
48 |
228 |
168 |
123 |
63 |
243 |
183 |
74 |
14 |
194 |
134 |
89 |
29 |
209 |
149 |
122 |
62 |
242 |
182 |
105 |
45 |
225 |
165 |
92 |
32 |
212 |
152 |
75 |
15 |
195 |
135 |
141 |
201 |
5 |
65 |
158 |
218 |
22 |
82 |
175 |
235 |
39 |
99 |
192 |
252 |
56 |
116 |
159 |
219 |
23 |
83 |
144 |
204 |
8 |
68 |
189 |
249 |
53 |
113 |
174 |
234 |
38 |
98 |
176 |
236 |
40 |
100 |
191 |
251 |
55 |
115 |
142 |
202 |
6 |
66 |
157 |
217 |
21 |
81 |
190 |
250 |
54 |
114 |
173 |
233 |
37 |
97 |
160 |
220 |
24 |
84 |
143 |
203 |
7 |
67 |
197 |
129 |
77 |
9 |
214 |
146 |
94 |
26 |
231 |
163 |
111 |
43 |
248 |
180 |
128 |
60 |
215 |
147 |
95 |
27 |
200 |
132 |
80 |
12 |
245 |
177 |
125 |
57 |
230 |
162 |
110 |
42 |
232 |
164 |
112 |
44 |
247 |
179 |
127 |
59 |
198 |
130 |
78 |
10 |
213 |
145 |
93 |
25 |
246 |
178 |
126 |
58 |
229 |
161 |
109 |
41 |
216 |
148 |
96 |
28 |
199 |
131 |
79 |
11 |
Рис. 11
Посмотрите, какая интересная форма начальной цепочки в этом пандиагональном магическом квадрате: она тоже строится буквой Г, как ходит шахматный конь, только здесь буква Г имеет более длинную сторону, к тому же эта сторона не везде одинакова, при переходе через край квадрата сторона имеет другую длину, нежели внутри квадрата. Оригинальный квадрат! А вот и второй магический пандиагональный квадрат, построенный из этой же пары ОЛК:
1 |
69 |
137 |
205 |
18 |
86 |
154 |
222 |
35 |
103 |
171 |
239 |
52 |
120 |
188 |
256 |
34 |
102 |
170 |
238 |
49 |
117 |
185 |
253 |
4 |
72 |
140 |
208 |
19 |
87 |
155 |
223 |
51 |
119 |
187 |
255 |
36 |
104 |
172 |
240 |
17 |
85 |
153 |
221 |
2 |
70 |
138 |
206 |
20 |
88 |
156 |
224 |
3 |
71 |
139 |
207 |
50 |
118 |
186 |
254 |
33 |
101 |
169 |
237 |
133 |
193 |
13 |
73 |
150 |
210 |
30 |
90 |
167 |
227 |
47 |
107 |
184 |
244 |
64 |
124 |
166 |
226 |
46 |
106 |
181 |
241 |
61 |
121 |
136 |
196 |
16 |
76 |
151 |
211 |
31 |
91 |
183 |
243 |
63 |
123 |
168 |
228 |
48 |
108 |
149 |
209 |
29 |
89 |
134 |
194 |
14 |
74 |
152 |
212 |
32 |
92 |
135 |
195 |
15 |
75 |
182 |
242 |
62 |
122 |
165 |
225 |
45 |
105 |
201 |
141 |
65 |
5 |
218 |
158 |
82 |
22 |
235 |
175 |
99 |
39 |
252 |
192 |
116 |
56 |
234 |
174 |
98 |
38 |
249 |
189 |
113 |
53 |
204 |
144 |
68 |
8 |
219 |
159 |
83 |
23 |
251 |
191 |
115 |
55 |
236 |
176 |
100 |
40 |
217 |
157 |
81 |
21 |
202 |
142 |
66 |
6 |
220 |
160 |
84 |
24 |
203 |
143 |
67 |
7 |
250 |
190 |
114 |
54 |
233 |
173 |
97 |
37 |
77 |
9 |
197 |
129 |
94 |
26 |
214 |
146 |
111 |
43 |
231 |
163 |
128 |
60 |
248 |
180 |
110 |
42 |
230 |
162 |
125 |
57 |
245 |
177 |
80 |
12 |
200 |
132 |
95 |
27 |
215 |
147 |
127 |
59 |
247 |
179 |
112 |
44 |
232 |
164 |
93 |
25 |
213 |
145 |
78 |
10 |
198 |
130 |
96 |
28 |
216 |
148 |
79 |
11 |
199 |
131 |
126 |
58 |
246 |
178 |
109 |
41 |
229 |
161 |
Рис. 12
В этом квадрате совсем другая форма начальной цепочки и вроде никакой закономерности в её построении не наблюдается.
В данных магических квадратах имеется такое же свойство, как в построенных выше магических квадратах 4-го и 9-го порядка: в любом квадрате 4х4, находящемся внутри этих квадратов, сумма чисел равна магической константе квадрата. Свойство сохраняется при параллельном переносе на торе.
Эти магические квадраты обладают ещё одним интересным свойством: комплементарные числа в них расположены симметрично вертикальной оси симметрии. Данное свойство сразу навело меня на мысль, что можно получить из этих пандиагональных магических квадратов ассоциативные магические квадраты с помощью преобразования трёх квадратов. Покажу один ассоциативный магический квадрат, полученный из квадрата с рис. 11 (рис. 13).
1 |
69 |
137 |
205 |
18 |
86 |
154 |
222 |
175 |
235 |
39 |
99 |
192 |
252 |
56 |
116 |
19 |
87 |
155 |
223 |
4 |
72 |
140 |
208 |
189 |
249 |
53 |
113 |
174 |
234 |
38 |
98 |
36 |
104 |
172 |
240 |
51 |
119 |
187 |
255 |
142 |
202 |
6 |
66 |
157 |
217 |
21 |
81 |
50 |
118 |
186 |
254 |
33 |
101 |
169 |
237 |
160 |
220 |
24 |
84 |
143 |
203 |
7 |
67 |
73 |
13 |
193 |
133 |
90 |
30 |
210 |
150 |
231 |
163 |
111 |
43 |
248 |
180 |
128 |
60 |
91 |
31 |
211 |
151 |
76 |
16 |
196 |
136 |
245 |
177 |
125 |
57 |
230 |
162 |
110 |
42 |
108 |
48 |
228 |
168 |
123 |
63 |
243 |
183 |
198 |
130 |
78 |
10 |
213 |
145 |
93 |
25 |
122 |
62 |
242 |
182 |
105 |
45 |
225 |
165 |
216 |
148 |
96 |
28 |
199 |
131 |
79 |
11 |
246 |
178 |
126 |
58 |
229 |
161 |
109 |
41 |
92 |
32 |
212 |
152 |
75 |
15 |
195 |
135 |
232 |
164 |
112 |
44 |
247 |
179 |
127 |
59 |
74 |
14 |
194 |
134 |
89 |
29 |
209 |
149 |
215 |
147 |
95 |
27 |
200 |
132 |
80 |
12 |
121 |
61 |
241 |
181 |
106 |
46 |
226 |
166 |
197 |
129 |
77 |
9 |
214 |
146 |
94 |
26 |
107 |
47 |
227 |
167 |
124 |
64 |
244 |
184 |
190 |
250 |
54 |
114 |
173 |
233 |
37 |
97 |
20 |
88 |
156 |
224 |
3 |
71 |
139 |
207 |
176 |
236 |
40 |
100 |
191 |
251 |
55 |
115 |
2 |
70 |
138 |
206 |
17 |
85 |
153 |
221 |
159 |
219 |
23 |
83 |
144 |
204 |
8 |
68 |
49 |
117 |
185 |
253 |
34 |
102 |
170 |
238 |
141 |
201 |
5 |
65 |
158 |
218 |
22 |
82 |
35 |
103 |
171 |
239 |
52 |
120 |
188 |
256 |
Рис. 13
Таким образом, из данной пары ОЛК 16-го порядка, первый квадрат в которой является совершенным квадратом, мы построили пандиагональные и ассоциативные магические квадраты.
Продолжение будет здесь:
http://www.natalimak1.narod.ru/perfect2.htm
10 мая 2009 г.
г. Саратов
Читайте мою виртуальную книгу “Волшебный мир магических квадратов”:
http://www.klassikpoez.narod.ru/glavnaja.htm
Скачайте электронную версию этой книги:
http://narod.ru/disk/5834353000/Magic_squares.pdf.html
Заодно прихватите книгу “Позиционные системы счисления”, авось, пригодится:
http://narod.ru/disk/5936760000/pozic4.pdf.html