[論文レビュー] On magic squares

Leonhard Euler|arXiv (Cornell University)|Aug 18, 2004

Advanced Mathematical Theories and Applications被引用数 5

ひとこと要約

この論文は、ギリシャ文字とラテン文字が重なり合う数値体系を表すグレーコ=ラテン平方を用いた、制約付き変数割り当てを用いて、9次、16次、25次、36次の魔方陣を体系的に構築する方法を提示している。オイラーは、奇数次および偶数次の魔方陣の両方の基本的ルールを確立し、その構築技法を通じて「ラテン平方」と「グレーコ=ラテン平方」という用語を導入した。これは組合せデザイン理論における重要な貢献である。

ABSTRACT

This is a translation of Leonhard Euler's ``De quadratis magicis'' . It is E795 in the Enestrom index. This paper studies how to construct magic squares with certain numbers of cells, in particular 9, 16, 25 and 36. It considers some general rules for making squares of even and odd orders. Euler uses Graeco-Latin squares and constrains the values that the variables can take to make magic squares. I think this is where the terms ``Latin'' and ``Graeco-Latin'' square comes from, since he uses Latin letters in one square and Greek (i.e. ``Graeco'') letters in another for each construction. (This paper was published before Euler's only other paper ``Recherches sur une nouvelle espece de quarres magiques'' E530 about Latin squares was, in 1782.)

研究の動機と目的

• 奇数次および偶数次の魔方陣を構築する一般規則を開発すること。
• ラテン文字とギリシャ文字を変数体系として用いて、有効な魔方陣を生成する方法を検討すること。
• 9、16、25、36マスという特定のマス数を持つ魔方陣の構築を形式化すること。
• グレーコ=ラテン平方を魔方陣生成のツールとして導入し、体系化すること。
• のちの直交ラテン平方に関する研究の基盤を築くこと、現在に至るまで使われ続ける用語の定着を図ること。

提案手法

• オイラーは、一方のグリッドにラテン文字、もう一方にギリシャ文字を用いて、数値割り当てを表す二重グリッド枠組みを採用している。
• ラテン平方およびギリシャ平方の変数の値を制約し、魔方陣の条件（各行、各列、各対角線の和が等しい）を満たすようにしている。
• 奇数次（例：9、25）および偶数次（例：16、36）の両方の魔方陣に、適宜調整された割り当てルールを適用している。
• 二つの平方の直交性に依存することで、一意な組み合わせとバランスの取れた和が保証される。
• 各行、各列、各対角線の和が所定の魔方陣定数に一致するように、代数的制約を用いている。
• このアプローチは、特に完全平方であるようなさまざまな正方形サイズに一般化可能で、体系的である。

実験結果

リサーチクエスチョン

• RQ1 9次、16次、25次、36次の魔方陣は、どのように体系的に構築できるか？
• RQ2 奇数次および偶数次の魔方陣の構築を支配する一般規則は何か？
• RQ3 ラテン文字とギリシャ文字をどのように用いて、有効な魔方陣を生成する数値割り当てを表現できるか？
• RQ4 二つの連結した正方形の変数にどのような制約を課すことで、魔方陣の和の一貫性を達成できるか？
• RQ5 グレーコ=ラテン平方の使用は、魔方陣の構築をどのように容易にするか？

主な発見

• オイラーは、ラテン文字とギリシャ文字を用いた二重正方形法により、9次、16次、25次、36次の魔方陣を成功裏に構築した。
• この方法は、奇数次および偶数次の魔方陣の両方に適用可能な一般規則を提供している。
• この論文は、構築フレームワークを通じて「ラテン平方」と「グレーコ=ラテン平方」という用語を導入した。
• 直交する文字体系の使用により、値のバランスの取れた分布と一貫した魔方陣和が保証される。
• このアプローチは、後にオイラー自身が直交ラテン平方について行った研究（E530）に影響を与え、基礎的枠組みを築いた。
• この構築法は体系的かつ一般化可能であり、特に完全平方の正方形サイズに適している。