범마방진

범마방진(汎魔方陣, 영어: Pandiagonal magic square, Panmagic square) 또는 범대각선 마방진(汎對角線 魔方陣)은 범대각선(Broken diagonal)에 있는 수들의 합도 마법 상수로 일정한 마방진이다. 여기서 범대각선이란 평행한 두 대각선으로 구성된 n개의 수들의 집합을 말한다. 범마방진은 마방진의 최상위 등급으로 생각되어, 완전방진(完全方陣), 완전대각방진(完全對角方陣)이라고도 한다. 예를 들어 아래 범마방진에서 빨간색은 대각선이고, 나머지 파란색, 노란색, 초록색은 각각 범대각선이다. 범대각선 마방진에서는 대각선뿐 아니라 범대각선에서도 합이 마방진 합으로 같아야 한다. 이 마방진에서 마방진 합은 34이다. 비자명한 3차 범마방진은 존재하지 않는다. 다음과 같은 범마방진에서 a 11 a 12 a 13 a 21 a 22 a 23 a 31 a 32 a 33 {\displaystyle {\begin{array}{|c|c|c|}\hline \!\!a_{11}\!\!\!&\!\!a_{12}\!\!\!&\!\!a_{13}\!\!\!\\\hline \!\!a_{21}\!\!\!&\!\!a_{22}\!\!\!&\!\!a_{23}\!\!\!\\\hline \!\!a_{31}\!\!\!&\!\!a_{32}\!\!\!&\!\!a_{33}\!\!\!\\\hline \end{array}}} 마방진 상수가 s {\displaystyle s} 라 하자. a 11 + a 22 + a 33 , {\displaystyle a_{11}+a_{22}+a_{33},} a 12 + a 22 + a 32 , {\displaystyle a_{12}+a_{22}+a_{32},} a 13 + a 22 + a 31 {\displaystyle a_{13}+a_{22}+a_{31}} 을 모두 더하면 3 s {\displaystyle 3s} 가 된다. 그런데 그 중에서 a 11 + a 12 + a 13 {\displaystyle a_{11}+a_{12}+a_{13}} 과 a 31 + a 32 + a 33 {\displaystyle a_{31}+a_{32}+a_{33}} 을 더하면 3 a 22 = s {\displaystyle 3a_{22}=s} 임을 알 수 있다. 하지만 3번째 세로줄을 맨 왼쪽으로 옮기고 같은 방법을 적용하면, 3 a 21 = s {\displaystyle 3a_{21}=s} 이어야 한다. 따라서 수의 값은 모두 1 3 s {\displaystyle {\tfrac {1}{3}}s} 으로 같아야 한다. 그런데 마방진의 개념에서 수들 대신 기하학적인 모양으로 일반화시킬 때, 도형 마방진(geometric magic square)에서 3×3 범마방진은 존재한다. 가장 작은 비자명한 범마방진은 4×4 마방진이다. 모든 4×4 범마방진은 다음 예시에서 한 가로/세로줄을 반대편으로 평행 이동했을 때 대칭이어야 한다. 모든 2×2 부분사각형의 합이 마법 상수이기 때문에, 4×4 범마방진은 가장 완벽한 마방진(most-perfect magic square)이다. 게다가 모든 3×3 사각형에서 반대쪽 꼭짓점에 있는 두 쌍의 수들의 합은 마법 상수의 절반이다. 따라서 모든 결합 마방진(associative)인 4×4 범마방진은 똑같은 수들이 있어야 한다. 1부터 16까지의 수를 중복하지 않고 사용한 모든 4×4 범마방진은 a를 1로 해야 하고, b, c, d, e를 1, 2, 4, 8 (순서는 상관없음)로 해야 얻을 수 있다. 그리고 평행 이동을 사용할 수 있다. 예를 들어 b = 1, c = 2, d = 4, e = 8로 하면, 다음과 같은 마방진을 얻을 수 있다. 1부터 16까지의 수를 중복하지 않고 사용한 모든 4×4 범마방진의 경우의 수는 384(=16×24)가지이다. 평행 이동으로 16개가 가능하고 1, 2, 4, 8을 b, c, d, e에 배정할 때 4!(24)가지 방법이 있기 때문이다. 5×5 범마방진은 많이 있다. 4×4 범마방진과는 달리, 결합 마방진이 가능하다. 다음은 5×5 결합 범마방진이다. 게다가 5×5 범마방진의 가로줄, 세로줄, 대각선에서는 오점형(quincunx)에 위치한 수의 합도 마법 합으로 같다. 예를 들어 17+25+13+1+9 = 65 (중앙의 수 + 닿아 있는 가로·세로줄에서 옆에 있는 수) 21+7+13+19+5 = 65 (중앙의 수 + 닿아 있는 가로·세로줄에서 나머지 수) 4+10+13+16+22 = 65 (중앙의 수 + 닿아 있는 대각선에서 옆에 있는 수) 20+2+13+24+6 = 65 (중앙의 수 + 닿아 있는 대각선에서 나머지 수) 각 오점형은 둘러싸고 있는 가로줄과 세로줄의 원형 순열을 통해 사각형에 있는 다른 위치로 평행 이동시킬 수 있다. 범마방진은 마법 상수의 등식(equality)에 영향을 받지 않기 때문이다. 그래서 깨진 대각선과 비슷한 깨진 오점형을 포함하면, 합이 같은 오점형이 100개가 만들어진다. 합이 같은 오점형은 가로줄, 세로줄, 대각선 합의 선형 조합을 통해 증명할 수 있다. 범마방진이 다음과 같다고 하자. 마법 상수는 s이다. a 11 a 12 a 13 a 14 a 15 a 21 a 22 a 23 a 24 a 25 a 31 a 32 a 33 a 34 a 35 a 41 a 42 a 43 a 44 a 45 a 51 a 52 a 53 a 54 a 55 {\displaystyle {\begin{array}{|c|c|c|c|c|}\hline \!\!a_{11}\!\!\!&\!\!a_{12}\!\!\!&\!\!a_{13}\!\!\!&\!\!a_{14}\!\!\!&\!\!a_{15}\!\!\!\\\hline \!\!a_{21}\!\!\!&\!\!a_{22}\!\!\!&\!\!a_{23}\!\!\!&\!\!a_{24}\!\!\!&\!\!a_{25}\!\!\!\\\hline \!\!a_{31}\!\!\!&\!\!a_{32}\!\!\!&\!\!a_{33}\!\!\!&\!\!a_{34}\!\!\!&\!\!a_{35}\!\!\!\\\hline \!\!a_{41}\!\!\!&\!\!a_{42}\!\!\!&\!\!a_{43}\!\!\!&\!\!a_{44}\!\!\!&\!\!a_{45}\!\!\!\\\hline \!\!a_{51}\!\!\!&\!\!a_{52}\!\!\!&\!\!a_{53}\!\!\!&\!\!a_{54}\!\!\!&\!\!a_{55}\!\!\!\\\hline \end{array}}} 오점형의 합이 a 11 + a 15 + a 33 + a 51 + a 55 = s {\displaystyle a_{11}+a_{15}+a_{33}+a_{51}+a_{55}=s} 임을 증명하려면, (숫자로 된 예시에서는 20+2+13+24+6 = 65에 해당됨) 다음의 수를 더하면 된다. a 11 + a 22 + a 33 + a 44 + a 55 {\displaystyle a_{11}+a_{22}+a_{33}+a_{44}+a_{55}} , a 15 + a 24 + a 33 + a 42 + a 51 {\displaystyle a_{15}+a_{24}+a_{33}+a_{42}+a_{51}} 대각선 합의 각 3배 a 11 + a 25 + a 34 + a 43 + a 52 {\displaystyle a_{11}+a_{25}+a_{34}+a_{43}+a_{52}} , a 12 + a 23 + a 34 + a 45 + a 51 {\displaystyle a_{12}+a_{23}+a_{34}+a_{45}+a_{51}} , a 14 + a 23 + a 32 + a 41 + a 55 {\displaystyle a_{14}+a_{23}+a_{32}+a_{41}+a_{55}} , a 15 + a 21 + a 32 + a 43 + a 54 {\displaystyle a_{15}+a_{21}+a_{32}+a_{43}+a_{54}} 깨진 대각선의 합 a 11 + a 12 + a 13 + a 14 + a 15 {\displaystyle a_{11}+a_{12}+a_{13}+a_{14}+a_{15}} , a 51 + a 52 + a 53 + a 54 + a 55 {\displaystyle a_{51}+a_{52}+a_{53}+a_{54}+a_{55}} 가로줄의 합 이 합에서 다음의 수를 빼면 된다. a 21 + a 22 + a 23 + a 24 + a 25 {\displaystyle a_{21}+a_{22}+a_{23}+a_{24}+a_{25}} , a 41 + a 42 + a 43 + a 44 + a 45 {\displaystyle a_{41}+a_{42}+a_{43}+a_{44}+a_{45}} 가로줄의 합 a 13 + a 23 + a 33 + a 43 + a 53 {\displaystyle a_{13}+a_{23}+a_{33}+a_{43}+a_{53}} 세로줄의 합 a 12 + a 22 + a 32 + a 42 + a 52 {\displaystyle a_{12}+a_{22}+a_{32}+a_{42}+a_{52}} , a 14 + a 24 + a 34 + a 44 + a 54 {\displaystyle a_{14}+a_{24}+a_{34}+a_{44}+a_{54}} 세로줄의 합의 각 2배 이 결과는 5 a 11 + 5 a 15 + 5 a 33 + 5 a 51 + 5 a 55 = 5 s {\displaystyle 5a_{11}+5a_{15}+5a_{33}+5a_{51}+5a_{55}=5s} 이고, 5로 나누면 이 오점형의 합이 마법 합(magic sum)과 같다는 걸 알 수 있다. 수로 된 마방진 예시와 같이, 다음 오점형의 합도 마법 합과 같게 된다. a 23 + a 32 + a 33 + a 34 + a 43 {\displaystyle a_{23}+a_{32}+a_{33}+a_{34}+a_{43}} , a 13 + a 31 + a 33 + a 35 + a 53 {\displaystyle a_{13}+a_{31}+a_{33}+a_{35}+a_{53}} , a 22 + a 24 + a 33 + a 42 + a 44 {\displaystyle a_{22}+a_{24}+a_{33}+a_{42}+a_{44}} 연속적인 정수(예를 들어 1, 2, 3, 4, 5)가 사용되면 4 n + 2 {\displaystyle 4n+2} 차 범마방진은 존재하지 않는다. 하지만 특정한 순서의 연속하지 않은 정수가 있으면 가능하다. 범대각선 마방진 “The Order-5 Magic Square”. 《magic-squares.net》. 2020년 7월 6일에 원본 문서에서 보존된 문서. 2020년 11월 3일에 확인함. To be pandiagonal, the broken diagonal pairs must also sum to the magic constant. This is considered the top class of magic squares.  “5 x 5 Complete magic square (일본어)”. 《www.pse.che.tohoku.ac.jp》. 2000년 8월 19일에 원본 문서에서 보존된 문서. 2020년 11월 3일에 확인함. (일본어) 主対角だけでなく汎対角の和も一定なので汎魔方陣と呼ばれます。または完全魔方陣とも呼ばれます。(한국어) 주(主)대각선뿐만 아니라 범(汎)대각선의 합도 일정하므로 범마방진 또는 완전마방진이라고 부르기도 합니다.  Ng, Louis (2018년 5월 13일). “Magic Counting with Inside-Out Polytopes” (PDF). 2020년 10월 4일에 원본 문서 (PDF)에서 보존된 문서. 2020년 10월 20일에 확인함.  “5 x 5 Complete magic square (일본어)”. 《www.pse.che.tohoku.ac.jp》. 2000년 8월 19일에 원본 문서에서 보존된 문서. 2020년 11월 3일에 확인함. (일본어) ５次の完全魔方陣には更に次のような性質があります。 魔方陣の中から５個の数値を選び出す方法は沢山ありますが、それらが 正方形状とその中心となっているときに、それらのすべて について総和が６５になるのです。(한국어) 5차 완전마방진에는 다음과 같은 성질이 있습니다. 마방진 중에서 5개의 수를 골라내는 방법은 많은데, 정사각형 모양과 그 중심(오점형)을 골라내면 모두 합이 65가 되는 것입니다.  Wolfram Math World의 범마방진 문서