О доказательствах. Сейчас речь идёт только о традиционных магических квадратах. Как я поняла, Россером доказано несуществование пандиагональных квадратов порядка n=4k+2. А несуществование ассоциативных квадратов таких порядков кем-нибудь доказано? Я упоминала здесь, что составила примитивную схему доказательства несуществования ассоциативного квадрата 6-го порядка. Хотелось бы посмотреть на профессиональное доказательство этого утверждения для любого порядка указанной серии порядков. Ведь ассоциативность и пандиагональность совершенно разные свойства, квадрат может быть ассоциативным, но не пандиагональным, и наоборот.
Ещё одно утверждение (цитирую по книге: М. Гарднер. Путешествие во времени. – М.: Мир, 1990):
“Магический квадрат порядка 4 может быть либо пандиагональным, либо ассоциативным, но не может быть пандиагональным и ассоциативным одновременно”. Тоже общеизвестное утверждение. Доказано здесь:
http://www.klassikpoez.narod.ru/assoc.htm
Хотелось бы посмотреть на другие доказательства, может быть, более изящные.
Кстати, нетрадиционные идеальные квадраты 4-го порядка тоже есть. Например:
Код:
3 14 9 8
14 3 8 9
8 9 14 3
9 8 3 14
А вот нетрадиционный идеальный (или пандиагональный) квадрат 3-го порядка мне построить не удалось. Несуществование такого квадрата доказано?
***
Небольшой курьёз о магических квадратах 5-го порядка. Набрела как-то на сайт (жаль, не записала ссылку), где автор рассказывает следующее (очень похоже на анекдот): многие, несколько лет занимаясь квадратами 5-го порядка, совершенно уверены в том, что в таких квадратах в центральной ячейке обязательно должно стоять число 13. Далее автор говорит, что это совсем не так и предлагает несколько программ для построения магических квадратов 5-го порядка с другими числами в центральной ячейке. Но зачем же здесь нужны какие-то программы? Достаточно взять любой пандиагональный квадрат 5-го порядка, замостить им всю плоскость, и на этой плоскости можно очертить пандиагональный квадрат с любым числом в центральной ячейке. В указанной книге Гарднера приводится такой пример магической плоскости.
Перехожу от курьёза к серьёзной цитате из той же книги Гарднера: “Если каждое число в магическом квадрате вычесть из
(в случае квадратов порядка 5 – из 26), то получится квадрат, который называется дополнением к исходному. Он также магический.
Если в центральной клетке квадрата порядка 5 стоит число 13, то дополнение изоморфно исходному квадрату. Если в центральной клетке стоит число, отличное от 13, то в результате перехода к дополнению возникает новый магический квадрат. Если изоморфизм понимать в расширенном смысле, относя к числу операций, не нарушающих изоморфизм, операцию взятия дополнения, то общее число различных магических квадратов порядка 5 понизится примерно до 35 млн.”.
Очень странной является выделенная фраза. В результате операции взятия дополнения, применённой к
ассоциативному магическому квадрату, действительно получается изоморфный квадрат, так как в этом случае преобразование равносильно повороту квадрата на 180 градусов. Однако не всякий квадрат 5-го порядка, в центральной ячейке которого стоит число 13, является ассоциативным. Число 13 в центральной ячейке является необходимым условием ассоциативности, но не достаточным. Вот пример квадрата с числом 13 в центральной ячейке, который не является ассоциативным:
Код:
1 8 17 14 25
22 24 10 6 3
15 16 13 2 19
18 12 4 20 11
9 5 21 23 7
Применение операции взятия дополнения к данному квадрату приводит отнюдь не к изоморфному квадрату:
Код:
25 18 9 12 1
4 2 16 20 23
11 10 13 24 7
8 14 22 6 15
17 21 5 3 19
Подробно об операции взятия дополнения можно посмотреть в статье
“Преобразования магических квадратов”.
Электронная версия указанной книги М. Гарднера:
http://publ.lib.ru/ARCHIVES/G/GARDNER_M ... djv%5D.zip
Рядом с приведённой цитатой в книге приводятся интересные данные о количестве квадратов 5-го порядка с различными числами в центральной ячейке.