On Arithmetic Progressions and a Proof of the Nonexistence of Magic Squares of Squares

이 논문은 홀수로 이루어진 등차수열의 성질을 분석하여 서로 다른 세제곱수로 구성된 $3\times3$ 마법 정사각형이 존재하지 않음을 증명합니다.

핵심

🎩 1. 마법 정사각형이란 무엇인가요?

먼저 마법 정사각형을 상상해 보세요. 3x3 칸으로 된 격자판이 있다고 칩시다.

• 가로줄, 세로줄, 그리고 두 대각선을 모두 더하면 반드시 같은 숫자가 나와야 합니다.
• 예전부터 사람들은 이 격자에 숫자를 채우는 놀이를 해왔는데, 가장 유명한 것은 1~9 까지의 숫자를 넣어서 모든 줄의 합을 15 로 만드는 것입니다.

질문: "그럼, 이 격자에 완전한 제곱수 (1, 4, 9, 16, 25...) 만을 넣어서 같은 조건을 만족시킬 수 있을까요?"
예를 들어, 1, 4, 9, 16, 25, 36, 49, 64, 81 같은 숫자들만 써서 3x3 격자를 만들 수 있을까요?

수학자들은 수백 년간 이 문제를 풀려고 노력해 왔습니다. 4x4 크기라면 가능하다는 건 증명되었지만, 3x3 크기에서는 아직 아무도 성공한 적이 없습니다. 이 논문은 "그게 불가능한 이유"를 증명합니다.

---

🧱 2. 핵심 도구: "숫자 블록"과 "계단"

저자가 이 문제를 풀기 위해 사용한 핵심 아이디어는 **등차수열 (Arithmetic Progression)**입니다. 이를 쉽게 비유하자면 **"숫자 블록"**과 **"계단"**이라고 생각할 수 있습니다.

• 제곱수의 비밀: 1, 4, 9, 16, 25... 같은 제곱수들은 서로의 차이가 3, 5, 7, 9... 로 홀수들이며, 이 홀수들은 일정한 간격 (2 씩) 으로 늘어납니다. 마치 계단을 오르는 것 같습니다.
• 저자의 접근법: 저자는 이 계단들 (등차수열) 을 두 개씩 짝을 지어 봅니다. 마치 두 개의 서로 다른 길이의 계단을 쌓았는데, 두 계단의 총 높이 (합) 가 정확히 같아야 한다는 조건을 붙입니다.

이 논문은 "합이 같은 두 개의 계단 (AP Pair)"이 서로 어떻게 겹치고, 어떻게 배치되어야 하는지 그 규칙을 찾아냅니다.

---

🕵️ 3. 증명 과정: "세 쌍의 계단"의 모순

이제 3x3 마법 정사각형이 제곱수로만 만들어지려면 어떤 일이 벌어져야 하는지 상상해 봅시다.

1. 세 쌍의 계단: 3x3 격자의 대각선과 가로/세로 줄을 분석하면, 마법 정사각형이 존재하려면 **세 쌍의 계단 (AP Pair)**이 반드시 존재해야 합니다.
2. 동일한 조건: 이 세 쌍의 계단들은 모두 **같은 높이 (합)**를 가져야 합니다. 마치 세 개의 다른 모양의 다리가 모두 같은 길이의 강을 건너야 하는 상황입니다.
3. 조금씩 다른 크기: 마법 정사각형의 숫자들은 모두 달라야 하므로, 이 세 쌍의 계단은 서로 다른 길이 (숫자의 개수) 와 시작점을 가져야 합니다.

여기서 저자의 결정적인 일격 (Proof) 이 나옵니다:

• 저자는 이 세 쌍의 계단이 "합이 같으면서도 서로 다른 구조"를 가질 수 있는지 수학적으로 계산해 봅니다.
• 마치 레고 블록을 쌓는 것처럼, 계단의 시작점과 길이를 변수로 두고 방정식을 푼 결과, 모순이 발견됩니다.
• 계산 결과, "합이 같으려면 세 쌍의 계단이 완전히 똑같은 모양이어야 한다"는 결론이 나옵니다.
• 하지만 마법 정사각형의 규칙상, 세 쌍의 계단은 서로 달라야 합니다 (숫자가 중복되면 안 되니까요).

결론: "서로 달라야 하는데, 수학적으로 계산하면 똑같아야 한다"는 모순이 발생하므로, 이런 마법 정사각형은 처음부터 존재할 수 없습니다.

---

🎭 4. 쉬운 비유로 정리하기

이 논문을 한 문장으로 요약하자면 다음과 같습니다.

"세 개의 서로 다른 모양의 사다리 (계단) 가 모두 같은 높이를 가질 수는 있지만, 그 사다리들이 마법 정사각형이라는 복잡한 구조를 이루려면 결국 세 사다리가 모두 똑같은 모양이 되어야 합니다. 하지만 마법 정사각형은 서로 다른 숫자를 요구하므로, 이는 불가능합니다."

💡 요약

1. 문제: 제곱수 (1, 4, 9...) 만으로 3x3 마법 정사각형을 만들 수 있을까?
2. 방법: 제곱수 사이의 차이 (홀수) 를 '계단'으로 보고, 합이 같은 계단 쌍들을 분석함.
3. 결과: 마법 정사각형이 존재하려면 세 쌍의 계단이 서로 달라야 하지만, 수학적으로 계산하면 세 쌍이 모두 똑같아야 한다는 모순이 발생함.
4. 결론: 따라서, 제곱수로만 이루어진 3x3 마법 정사각형은 절대 존재할 수 없다.

이 논문은 복잡한 수식과 논리 (등차수열의 성질, 대수적 조작) 를 통해, 우리가 오랫동안 궁금해했던 "불가능한 퍼즐"이 왜 불가능한지를 논리적으로 증명해 낸 것입니다.

기술 요약

논문 요약: 제곱수만으로 구성된 3x3 마법 정방행렬의 부존재 증명

1. 연구 배경 및 문제 제기 (Problem)

• 마법 정방행렬 (Magic Square): $n \times n$ 크기의 격자에 서로 다른 양의 정수를 배치하여, 모든 행, 열, 대각선의 합이 동일한 상수 (마법 상수) 가 되도록 하는 구조입니다.
• 제곱수 마법 정방행렬 (Magic Squares of Squares): 마법 정방행렬의 모든 요소가 정수의 제곱수 ($d=2$) 인 경우를 말합니다.
• 현재 상태:
  • 1770 년 오일러 (Euler) 는 $4 \times 4$ 크기의 제곱수 마법 정방행렬을 구성했습니다.
  • Rome 와 Yamagishi 는 $d \ge 2$인 경우, 충분히 큰 $n$에 대해서는 항상 존재함이 증명되었습니다.
  • 핵심 미해결 문제: $3 \times 3$ 크기의 제곱수 마법 정방행렬이 존재하는지 여부는 오랫동안 증명되지 않았습니다. 여러 '반-마법 정방행렬 (semi-magic squares, 대각선 합이 다름 또는 중복 요소 포함)'은 발견되었으나, 진정한 $3 \times 3$ 제곱수 마법 정방행렬은 아직 발견되지 않았습니다.
• 연구 목표: 이 논문은 $3 \times 3$ 크기의 서로 다른 정수 제곱수로만 구성된 마법 정방행렬이 존재하지 않음을 수학적으로 증명하는 것을 목표로 합니다.

2. 방법론 (Methodology)

저자는 연속된 제곱수 간의 차이를 형성하는 등차수열 (Arithmetic Progression, AP) 의 성질을 활용하여 문제를 접근합니다.

• 등차수열 (AP) 의 정의:
  • 연속된 제곱수 ($x^2, (x+1)^2, \dots$) 의 차이는 $2x+1$로, 이는 공차가 2 인 등차수열 (홀수들의 수열) 을 이룹니다.
  • 논문에서는 공차가 2 이고 시작점 (offset) 이 짝수인 등차수열 $p$를 정의하고, 그 합 $\Sigma_p$를 분석합니다.
• 등차수열 쌍 (AP Pair, $P$):
  • 서로 다른 두 등차수열 $p_1, p_2$가 동일한 합을 가질 때 이를 'AP 쌍'으로 정의합니다.
  • 두 수열의 길이 ($P_{n1}, P_{n2}$) 와 시작점 (offset, $P_1, P_2$) 사이의 관계를 유도합니다.
  • 합 $\Sigma_P$와 길이 비율 $\kappa = P_{n1}/P_{n2}$ 사이의 관계를 식 (6) 을 통해 도출합니다.
• 3x3 마법 정방행렬로의 연결:
  • $3 \times 3$ 마법 정방행렬의 대칭성과 합 조건을 분석하여, 마법 상수 $K$를 구성하는 요소들이 서로 다른 3 개의 'AP 쌍' ($P_1, P_2, P_3$) 과 이를 연결하는 추가적인 등차수열 ($p_X, p_Y$) 로 분해될 수 있음을 보입니다.
  • 모든 행, 열, 대각선의 합이 같아야 한다는 조건은, 이 3 개의 AP 쌍이 동일한 합 ($D_1$) 을 가져야 함을 의미합니다.

3. 주요 기여 및 증명 과정 (Key Contributions & Proof)

논문의 핵심은 Theorem 3.1을 통해 $3 \times 3$ 제곱수 마법 정방행렬의 부존재를 증명하는 것입니다.

1. 가정 (Assumption): 서로 다른 정수 제곱수로만 구성된 $3 \times 3$ 마법 정방행렬이 존재한다고 가정합니다.
2. 구조적 유도:
   • 이 가정 하에서, 마법 상수 $D_1$을 공유하는 3 개의 서로 다른 AP 쌍 ($P_1, P_2, P_3$) 이 존재해야 합니다.
   • 각 쌍의 합은 식 (17)-(19) 와 같이 $\Sigma_{Pi} = \alpha_i (P_{n2}^i)^2$ 형태로 표현됩니다.
   • 또한, AP 쌍들을 연결하는 중간 등차수열 $p_A, p_B$의 합이 서로 같아야 함을 Lemma 3.2를 통해 증명합니다.
3. 대수적 모순 도출:
   • AP 쌍의 합 조건과 연결 수열의 합 조건을 결합하여 복잡한 대수 방정식 (식 29) 을 유도합니다.
   • 이 방정식의 좌변 (LHS) 과 우변 (RHS) 을 비교 분석합니다.
   • 우변을 분석할 때, 식 (12) 를 활용하여 계수들을 정리하면, $\beta_1$ (두 AP 쌍의 길이 비율) 에 대한 조건이 도출됩니다.
   • 결론: 대수적 분석을 통해 $\beta_1 = 1$이어야 함이 도출됩니다. 이는 $P_{n2}^1 = P_{n2}^2$를 의미하며, 결국 시작점과 길이가 모두 동일한 $P_1 = P_2 = P_3$를 의미합니다.
4. 모순:
   • 초기 가정은 3 개의 서로 다른 (distinct) AP 쌍이 존재해야 한다는 것이었습니다.
   • 그러나 증명 과정은 이 AP 쌍들이 모두 동일해야 함을 보여줍니다.
   • 이는 "서로 다른 제곱수"로 구성된 마법 정방행렬이라는 초기 가정을 위배하므로, 가정이 거짓임을 의미합니다.

4. 결과 (Results)

• 주요 결과: $3 \times 3$ 크기의 마법 정방행렬을 구성하는 모든 요소가 서로 다른 정수의 제곱수일 수 없음이 증명되었습니다.
• 수학적 의미: 이는 1770 년 오일러의 $4 \times 4$ 구성 이후, $3 \times 3$ 크기에 대한 오랜 미해결 문제를 해결한 것입니다. Parker Square 와 같은 반-마법 정방행렬은 존재하지만, 완전한 마법 정방행렬은 불가능함을 보여줍니다.

5. 의의 (Significance)

• 이론적 기여: 마법 정방행렬 이론과 정수론 (등차수열 및 제곱수의 성질) 을 결합하여 새로운 증명 기법을 제시했습니다. 특히, "동일한 합을 가진 연속된 등차수열 쌍"이라는 개념을 도입하여 문제를 단순화하고 대수적으로 접근한 점이 혁신적입니다.
• 수학적 확실성: 컴퓨터 탐색이나 반례 찾기에 의존하지 않고, 순수한 대수적 논증으로 $3 \times 3$ 제곱수 마법 정방행렬의 부존재를 확정지었습니다.
• 미래 연구: 이 논문에서 제시된 AP 쌍의 성질 분석은 고차원 마법 정방행렬이나 다른 거듭제곱수 ($d > 2$) 에 대한 마법 정방행렬 연구에도 적용 가능한 방법론을 제공할 수 있습니다.

---

결론적으로, Oscar Hill 의 논문은 등차수열의 합과 오프셋 관계를 정교하게 분석하여, $3 \times 3$ 제곱수 마법 정방행렬이 수학적으로 불가능함을 엄밀하게 증명했습니다.