完全方陣

完全方陣（かんぜんほうじん）または汎魔方陣（はんまほうじん）[1]・汎対角線方陣（はんたいかくせんほうじん）・超魔方陣（ちょうまほうじん）[2]とは、条件を追加した魔方陣の一種である。

概要
「魔方陣#完全方陣」も参照

通常の魔方陣は、縦列・横列及び対角線上の数の和が一定の値（定和）となる。完全方陣はそれに加え、対角線を平行移動させた列（以下「汎対角線」と呼ぶ）の和も定和になる。

上の魔方陣は完全方陣の一例である。

  • 左上から右下へ向かう対角線とそれに平行な汎対角線の和: 1+11+16+6 = 8+2+9+15 = 13+7+4+10 = 12+14+5+3 = 34
  • 左下から右上へ向かう対角線とそれに平行な汎対角線の和: 12+2+5+15 = 1+7+16+10 = 8+14+9+3 = 13+11+4+6 = 34

完全方陣はその性質より、端の列を反対側に移しても完全方陣となる。例えば上の図で、最上段の 1 14 4 15 を最下段に移動させても対角線及び汎対角線の和は定和に等しい。

n×n の完全方陣では、縦横の列・対角線・汎対角線で最低 4n組の n個の数字の和が定和になるが、他にも定和となる組み合わせが存在する。4×4の完全方陣では、任意の小正方形の4隅の和が定和になるなど、52組の4数の和が定和となる。5×5の完全方陣では、ある数字とそれに接する4個の数字の和が定和になる。

完全方陣の数

上述の通り、完全方陣は1つ存在すれば列の移動によって他の完全方陣を作ることができる。このため、n×nの完全方陣の数は n2 の倍数となる。

4×4の完全方陣は48個あり[3][4]、3つのグループに分けられる。

5×5の完全方陣は3600個であり、144のグループに分けられる。

7×7以上の完全方陣の総数は分かっていないが、後述のラテン方陣を組み合わせる方法で 777600×72個を作ることができる[5]。

(4n+2)×(4n+2)の完全方陣は存在しないことが証明されている[6][7]。

作り方

完全方陣の作成には、2つの補助方陣を使用するのが一般的である。

n×n のマスに 1–n（または 0–(n-1)）を n個ずつ入れ、各列と対角線の和が同じ数になるようにしたものを補助方陣という。完全方陣の作成の時には、汎対角線の和も同じ値になっている必要がある。

2つの方陣を重ねたとき、同じ組み合わせが存在しなければ、片方の数字を n 倍して和をとることで完全方陣を作ることができる。

n が3の倍数でない奇数の時には、このような性質を持つラテン方陣の組が存在するため容易に完全方陣を作ることができる。nがそれ以外（3か4の倍数）の時にはこのようなラテン方陣がないので、他の補助方陣を作成する必要がある。

6×6の完全方陣が存在しないことの証明

6×6の完全方陣が存在しないことは以下のように証明できる。10以上の(4n+2)×(4n+2)の完全方陣においても同様の方法で証明ができる。[8]

6×6の完全方陣が存在したとする。定和を C とおく。C=111であり、この数は奇数である。

○ ○ ○ 
○○○
○○○
○○○
○○○
○○○
○○○○○○
 
○○○○○○
 
○○○○○○
 
◎○◎○◎○
○○○
◎○◎○◎○
○○○
◎○◎○◎○
○○○

上の左側2つの図の○の場所の合計はそれぞれ 3C である。よって、右の（○の数の合計）+（◎の数の合計の2倍）=6C である。右の図の○は3本の独立した汎対角線でもあるため、○の合計は3C である。整理すると、（◎の数の合計）×2=3C だが、3C=333=奇数なので矛盾する。

よって6×6の完全方陣は存在しない。

この証明には、「入っている数字が連続数→定和が奇数」ということを前提にしている。入る数字が連続数でなければ定和が偶数になることもあるのでこの場合には完全方陣を作ることができる[9]。

4×4の完全方陣

3つのグループ

本質的には3つのグループに分けられる。回転や鏡像（裏返し）を同一とした場合、48通りがある[10]。

各、4つずつの縦横の位置が重ならない、特徴を持つ。

  • B（計16通り） - 【1,5,9,13】 【2,6,10,14】 【3,7,11,15】 【4,8,12,16】
  • BとC（計32通り） - 【1-4】 【5-8】 【9-12】 【13-16】
  • CとA（計32通り） - 【1,3,5,7】 【2,4,6,8】 【9,11,13,15】 【10,12,14,16】
A（計 十六）
1127141127
516945169
1036151036
81312181312
1127141127
516945169
1036151036
01 00 00 00
7
5
3
01 00 00 00
2
4
3
00 08 00 00
2
4
6
00 08 00 00
7
5
6
00 00 13 00
11
9
15
00 00 00 12
11
9
10
00 00 00 12
14
16
10
00 00 13 00
14
16
15
B （計 十六）
1336121336
216972169
1154141154
81015181015
1336121336
216972169
1154141154
01 00 00 00
13
9
5
01 00 00 00
3
2
4
00 00 10 00
6
2
14
00 08 00 00
6
7
5
00 00 00 15
3
7
11
00 00 10 00
12
9
11
00 08 00 00
12
16
4
00 00 00 15
13
16
14
C（計 十六）
1327121327
316963169
1054151054
81114181114
1327121327
316963169
1054151054
01 00 00 00
2
3
4
01 00 00 00
7
3
5
00 08 00 00
7
6
5
00 08 00 00
2
6
4
00 00 11 00
12
9
10
00 00 11 00
13
9
15
00 00 00 14
13
16
15
00 00 00 14
12
16
10

1 - 16の位置関係
  • 通常の4×4の方陣とは異なり、位置関係は限られる。例えば1の縦横の隣には8、12、14、15のみ。
  • + 縦横の隣、/ 斜め隣or縦横の2つ先、@ 斜めの2つ先（和が17）、s skew position。
  • 各マスから1を引いた図（0から15）も併記[8]。
  • 全体を4ブロックに区分すると、★☆同士が対応。
  • 縦横の隣で連数になるのは、4と5、12と13のみ。
01020304050607080910111213141516
 
9 s//+/++@ - ss/s//+
10 /s+/+/@+s - /s/s+/
11 /+s/+@/+s/ - s/+s/
12 +//s@++//ss - +//s
13 /++@s//+s//+ - ss/
14 +/@+/s+//s+/s - /s
15 +@/+/+s//+s/s/ - s
16 @++/+//s+//s/ss -
8.5
1 - ss/s//+s//+/++@
2 s - /s/s+//s+/+/@+
3 s/ - s/+s//+s/+@/+
4 /ss - +//s+//s@++/
5 s//+ - ss//++@s//+
6 /s+/s - /s+/@+/s+/
7 /+s/s/ - s+@/+/+s/
8 +//s/ss - @++/+//s
1
から
8		9
から
16
★☆
☆★
0 （15-c） a+c （15-a）
（15-d） c+d b a+d
b+d a 15 c
（15-b） b+c d a+b
  
1 00 00
00 b
a 16 c
00 d
2 00 00
00 b
a 15 c
00 d
3 00 00
00 b
a 14 c
00 d
0 a+b+d a+c b+c+d
a+b+c c+d b a+d
b+d a 15 c
a+c+d b+c d a+b
  
4 00 00
00 b
a 13 c
00 d
5 00 00
00 b
a 12 c
00 d
6 00 00
00 b
a 11 c
00 d

全48通り
  • 以下の表は、四隅の数の組合せ一覧（それぞれ一番左上にあるものが、先に挙げた3つの形）。
足して9足して25
足して25足して9
足して9足して25
足して25足して9
00足して2500
00足して900
00足して2500
00足して900
 
1-4-14-151-6-12-151-7-12-141-8-10-151-8-11-141-8-12-13
A
1 8 13 12
14 11 2 7
4 5 16 9
15 10 3 6
1 8 13 12
15 10 3 6
4 5 16 9
14 11 2 7
1 12 13 8
14 7 2 11
4 9 16 5
15 6 3 10
1 12 13 8
15 6 3 10
4 9 16 5
14 7 2 11
B
1 8 10 15
12 13 3 6
7 2 16 9
14 11 5 4
1 8 10 15
14 11 5 4
7 2 16 9
12 13 3 6
1 15 10 8
12 6 3 13
7 9 16 2
14 4 5 11
1 15 10 8
14 4 5 11
7 9 16 2
12 6 3 13
C
1 8 11 14
12 13 2 7
6 3 16 9
15 10 5 4
1 8 11 14
15 10 5 4
6 3 16 9
12 13 2 7
1 14 11 8
12 7 2 13
6 9 16 3
15 4 5 10
1 14 11 8
15 4 5 10
6 9 16 3
12 7 2 13
2-3-13-162-5-11-162-8-11-132-7-9-162-7-12-132-7-11-14
A
2 7 14 11
13 12 1 8
3 6 15 10
16 9 4 5
2 7 14 11
16 9 4 5
3 6 15 10
13 12 1 8
2 11 14 7
13 8 1 12
3 10 15 6
16 5 4 9
2 11 14 7
16 5 4 9
3 10 15 6
13 8 1 12
B
2 7 9 16
11 14 4 5
8 1 15 10
13 12 6 3
2 7 9 16
13 12 6 3
8 1 15 10
11 14 4 5
2 16 9 7
11 5 4 14
8 10 15 1
13 3 6 12
2 16 9 7
13 3 6 12
8 10 15 1
11 5 4 14
C
2 7 12 13
11 14 1 8
5 4 15 10
16 9 6 3
2 7 12 13
16 9 6 3
5 4 15 10
11 14 1 8
2 13 12 7
11 8 1 14
5 10 15 4
16 3 6 9
2 13 12 7
16 3 6 9
5 10 15 4
11 8 1 14
6-7-9-123-8-10-133-5-10-163-6-12-133-6-9-163-6-10-15
A
3 6 15 10
16 9 4 5
2 7 14 11
13 12 1 8
3 6 15 10
13 12 1 8
2 7 14 11
16 9 4 5
3 10 15 6
16 5 4 9
2 11 14 7
13 8 1 12
3 10 15 6
13 8 1 12
2 11 14 7
16 5 4 9
B
6 3 13 12
15 10 8 1
4 5 11 14
9 16 2 7
3 6 12 13
16 9 7 2
5 4 14 11
10 15 1 8
3 13 12 6
10 8 1 15
5 11 14 4
16 2 7 9
3 13 12 6
16 2 7 9
5 11 14 4
10 8 1 15
C
6 3 16 9
15 10 5 4
1 8 11 14
12 13 2 7
3 6 9 16
13 12 7 2
8 1 14 11
10 15 4 5
3 16 9 6
10 5 4 15
8 11 14 1
13 2 7 12
3 16 9 6
13 2 7 12
8 11 14 1
10 5 4 15
5-8-10-114-7-9-144-6-9-154-5-11-144-5-10-154-5-9-16
A
4 5 16 9
15 10 3 6
1 8 13 12
14 11 2 7
4 5 16 9
14 11 2 7
1 8 13 12
15 10 3 6
4 9 16 5
15 6 3 10
1 12 13 8
14 7 2 11
4 9 16 5
14 7 2 11
1 12 13 8
15 6 3 10
B
5 4 14 11
16 9 7 2
3 6 12 13
10 15 1 8
4 5 11 14
15 10 8 1
6 3 13 12
9 16 2 7
4 14 11 5
9 7 2 16
6 12 13 3
15 1 8 10
4 14 11 5
15 1 8 10
6 12 13 3
9 7 2 16
C
5 4 15 10
16 9 6 3
2 7 12 13
11 14 1 8
4 5 10 15
14 11 8 1
7 2 13 12
9 16 3 6
4 15 10 5
9 6 3 16
7 12 13 2
14 1 8 11
4 15 10 5
14 1 8 11
7 12 13 2
9 6 3 16

その他の特徴
  • 四隅の数字の組合せが同じものは、計8つの数字が一致する。裏返しの回転のものとは、対角線と中央の、同様に計8つの数字が一致する。以下は、「4-5-11-14」の例。
49165
156310
112138
147211
 00
00000000
000000
0000
00000000
 00
49714
156121
103138
516211
↓回転（同一扱い）↓回転（同一扱い）
415114
96127
163132
510811
 00
000000
0000
000000
0000
 00
415105
96316
712132
141811
  • 8つずつの塊ごとの、移動
→  
1 8 13 12
14 11 2 7
4 5 16 9
15 10 3 6
    
13 12 1 8
2 7 14 11
16 9 4 5
3 6 15 10
↓  
4 5 16 9
15 10 3 6
1 8 13 12
14 11 2 7
    
16 9 4 5
3 6 15 10
13 12 1 8
2 7 14 11
  • 足して17になる数同士の、全置換。四隅の数差が同じ同士の計24組がある。
四隅 4-5-11-14四隅 13-12-6-3
4 9 16 5
15 6 3 10
1 12 13 8
14 7 2 11
 ⇔
13 8 1 12
2 11 14 7
16 5 4 9
3 10 15 6
↓回転（同一扱い）
3 10 15 6
16 5 4 9
2 11 14 7
13 8 1 12
四隅差四隅
BC（15, 14, 4, 1）1, 4, 14, 15 3101 16, 13, 3, 2（2, 3, 13, 16）
BC（12,  9, 7, 6）6, 7,  9, 12 123 11, 10, 8, 5（5, 8, 10, 11）
AB（15, 12, 6, 1）1, 6, 12, 15 563 16, 11, 5, 2（2, 5, 11, 16）
AB（13, 10, 8, 3）3, 8, 10, 13 523 14,  9, 7, 4（4, 7,  9, 14）
AC（14, 12, 7, 1）1, 7, 12, 14 652 16, 10, 5, 3（3, 5, 10, 16）
AC（13, 11, 8, 2）2, 8, 11, 13 632 15,  9, 6, 4（4, 6,  9, 15）
AC（15, 10, 8, 1）1, 8, 10, 15 725 16,  9, 7, 2（2, 7,  9, 16）
AC（13, 12, 6, 3）3, 6, 12, 13 361 14, 11, 5, 4（4, 5, 11, 14）
AB（14, 11, 8, 1）1, 8, 11, 14 733 16,  9, 6, 3（3, 6,  9, 16）
AB（13, 12, 7, 2）2, 7, 12, 13 551 15, 10, 5, 4（4, 5, 10, 15）
BC（13, 12, 8, 1）1, 8, 12, 13 741 16,  9, 5, 4（4, 5,  9, 16）
BC（14, 11, 7, 2）2, 7, 11, 14 543 15, 10, 6, 3（3, 6, 10, 15）

脚注
  1. 4 x 4 Complete magic square
  2. 植野義明「教養の数学と魔方陣 : 4次の超魔方陣の解明」『東京工芸大学工学部紀要』第21巻第1号、1998年、86-92頁、ISSN 0387-6055、NAID 110001038406。
  3. Panmagic Square -- from Wolfram MathWorld
  4. 4次完全魔方陣のすべて
  5. 内田伏一 2004, p. 53.
  6. 山本行雄 2000, p. 124.
  7. 大森清美 2013, p. 153.
  8. 魔方陣について 埼玉大学理学部 櫻井力 2014年11月13日
  9. 一例として『魔方陣の世界』P.207 に素数で作られた6×6の完全方陣が掲載されている。
  10. 完全魔方陣 埼玉大学 櫻井力

参考文献
  • 山本行雄『数のふしぎ・数のたのしみ 虫食い算と完全方陣』ナカニシヤ出版、2000年1月。ISBN 4-88848-506-2。
  • 内田伏一『魔方陣にみる数のしくみ 汎魔方陣への誘い』日本評論社、2004年12月。ISBN 4-535-78421-3。
  • 大森清美『方陣の世界』日本評論社、2013年8月。ISBN 978-4-535-78656-1。

外部リンク
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.