🔢 mathematics

On pairs of triangular numbers whose product is a perfect square and pairs of intervals of successive integers with equal sums of squares

이 논문은 두 삼각수의 곱이 완전제곱수가 되는 경우를 다항식을 통해 무한히 구성하고, 연속된 정수 구간 간의 제곱합이 같아지는 쌍을 규명하며, 이러한 결과들이 제곱수인 이차수를 모두 포괄할 것이라는 가설을 제시합니다.

원저자: Vladimir Gurvich, Mariya Naumova

게시일 2026-02-20

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Vladimir Gurvich, Mariya Naumova

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

1. 이야기의 주인공: "삼각수"와 "제곱수"의 결혼

먼저, 두 가지 숫자 개념을 알아야 합니다.

삼각수 (Triangular Numbers): 공을 쌓아 삼각형을 만들 때 필요한 공의 개수입니다. (1, 3, 6, 10, 15...)
제곱수 (Perfect Squares): 어떤 수를 자기 자신과 곱했을 때 나오는 수입니다. (1, 4, 9, 16, 25...)

핵심 질문:
"어떤 삼각수 두 개를 곱했을 때, 그 결과가 다시 '완벽한 제곱수'가 되는 경우가 있을까?"

예를 들어, 1 과 1 을 곱하면 1(제곱수) 이 되고, 36(삼각수) 과 1225(삼각수) 를 곱하면 44,100(제곱수) 이 됩니다. 하지만 연구자들은 단순히 "두 삼각수 모두 제곱수인 경우"뿐만 아니라, 그렇지 않은 다른 특별한 쌍들도 존재한다는 것을 발견했습니다.

2. 마법의 공식: "숫자 놀이"의 규칙 찾기

저자들은 이 숫자들이 무작위로 섞인 것이 아니라, 아주 정교한 **공식 (Polynomials)**에 따라 움직인다는 것을 증명했습니다.

비유: 마치 레고 블록을 쌓는 것과 같습니다.
- 보통은 레고 블록을 무작위로 쌓으면 탑이 무너집니다.
- 하지만 이 논문은 "이 특정 모양의 블록 (k) 과 저 특정 모양의 블록 (j) 을 이렇게 쌓으면, 탑이 절대 무너지지 않고 완벽하게 정사각형 모양이 된다"는 설계도를 찾아냈습니다.
- 이 설계도 (공식) 에 따라 숫자를 대입하면, 두 삼각수의 곱이 항상 제곱수가 되는 '완벽한 쌍'들이 무한히 만들어집니다.

연구자들은 이 설계도가 유일한 것일 것이라고 추측합니다. 즉, 이 공식 밖에는 다른 비밀스러운 쌍은 없을 것이라고 믿고 있습니다.

3. 두 번째 이야기: "제곱합의 저울"

이제 이 발견이 실제로 어떤 문제를 해결하는지 볼까요? 바로 **"연속된 정수들의 제곱을 더했을 때, 두 개의 구간이 같은 합을 갖는 경우"**를 찾는 문제입니다.

상황:
- 왼쪽 저울: $10^2 + 11^2 + 12^2 + 13^2$ (4 개 숫자)
- 오른쪽 저울: $14^2 + 15^2 + 16^2$ (3 개 숫자)
- 이 두 저울의 무게 (합) 가 같다면?

이런 경우는 드뭅니다. 하지만 연구자들은 앞선 '삼각수 곱하기' 공식을 이용하면, 길이가 1 만큼 다른 두 구간 (예: 4 개 vs 3 개) 이 서로 제곱합을 맞출 수 있는 무한한 경우를 찾을 수 있음을 보였습니다.

비유:
- 두 개의 긴 줄이 있습니다. 한 줄은 다른 줄보다 1 칸 더 깁니다.
- 이 줄 위에 '무게 (제곱수)'를 싣습니다.
- 보통은 긴 줄이 더 무겁지만, 연구자들은 **"어떤 특정 숫자부터 시작해서 쌓으면, 짧은 줄도 긴 줄과 똑같은 무게가 된다"**는 놀라운 배치를 찾아냈습니다.
- 마치 저울을 맞추기 위해 무게를 아주 정교하게 조절하는 마술사와 같습니다.

4. 두 이야기가 하나인 이유

이 논문에서 가장 멋진 점은, **"삼각수 곱하기 문제"**와 **"제곱합 저울 문제"**가 사실은 동일한 문제의 두 얼굴이라는 것을 증명했다는 것입니다.

비유:
- 한 사람은 "두 개의 삼각형 모양을 합쳐서 정사각형을 만들자"고 말합니다.
- 다른 사람은 "두 줄의 무게를 맞춰보자"고 말합니다.
- 하지만 알고 보니, 이 두 사람은 같은 마법 지팡이를 들고 있는 것입니다. 한쪽의 해답을 찾으면, 자동으로 다른 쪽의 해답도 따라옵니다.

5. 결론: 수학의 우아함

이 논문은 다음과 같은 메시지를 전달합니다.

규칙의 발견: 숫자 세계에는 우리가 상상하지 못했던 숨겨진 패턴 (공식) 이 존재하며, 연구자들은 그 패턴을 찾아냈습니다.
완벽함: 이 패턴은 우연이 아니라, 수학적으로 유일하고 완벽한 구조를 가지고 있습니다.
연결: 서로 다른 것처럼 보이는 두 가지 수학 문제 (삼각수와 제곱합) 는 사실 깊은 곳에서 서로 연결되어 있습니다.

한 줄 요약:

"수학자들은 숫자 블록을 쌓아 완벽한 정사각형을 만드는 비법을 찾아냈고, 그 비법을 이용하면 길이가 다른 두 줄의 무게도 완벽하게 맞출 수 있다는 놀라운 사실을 증명했습니다."

이 연구는 1778 년 레온하르트 오일러가 시작한 오래된 수수께끼를 현대적인 관점에서 해결하고, 새로운 추측을 제시하여 수학자들의 다음 도전을 위한 길을 열어주었습니다.

논문 개요

이 논문은 두 가지 주요 수학적 문제를 연결하여 연구합니다:

완전제곱수가 되는 삼각수 쌍: 두 삼각수 $T_a = a(a+1)/2$ 와 $T_b = b(b+1)/2$ 의 곱이 완전제곱수가 되는 조건을 규명합니다. 이는 $a(a+1)b(b+1)$ 이 완전제곱수가 되는 문제와 동치입니다.
제곱수의 합이 같은 연속 정수 구간 쌍: 길이가 서로 다른 두 연속 정수 구간이 존재하여, 각 구간에 포함된 정수들의 제곱의 합이 서로 같아지는 경우를 찾습니다.

저자들은 이 두 문제가 밀접하게 연관되어 있으며, 특정 다항식 가족을 통해 무한히 많은 해를 찾을 수 있음을 증명하고, 이것이 유일한 해 가족일 것이라고 추측합니다.

1. 연구 문제 및 배경

삼각수와 제곱수: 1778 년 레온하르트 오일러는 삼각수 중 완전제곱수인 것들을 특징지었습니다. 두 삼각수 모두 완전제곱수이면 그 곱도 당연히 완전제곱수이지만, 두 삼각수 각각은 완전제곱수가 아니더라도 곱이 완전제곱수가 되는 경우 (비제곱 삼각수 쌍) 가 존재합니다.
연속 정수 구간의 제곱수 합: 두 구간 $[n-m, n+k]$ 와 $[n+k+j+1, n+2k+j]$ 의 제곱수 합이 같아지는 정수 $n, m, k, j$ 를 찾는 문제입니다. 여기서 $m$ 은 왼쪽 구간의 길이가 오른쪽 구간보다 긴 정도를, $j$ 는 두 구간 사이의 간격을 나타냅니다.
연결성: 이 두 문제는 $m=0$ 인 경우 (구간 길이의 차이가 1 인 경우) 에 서로 동치임이 밝혀졌습니다. 즉, 제곱수 합이 같은 구간 쌍을 찾는 문제는 특정 형태의 이차수 (quadratic number) 가 완전제곱수가 되는 문제와 동일해집니다.

2. 방법론

저자들은 다음과 같은 체계적인 접근법을 사용했습니다:

다항식 가족의 구성:
- $j$ 를 $k$ 의 다항식 $j_i(k)$ 로 표현하는 가족을 정의했습니다. 여기서 $i$ 는 정수 지수입니다.
- $k + j_i(k) + 1$ $k + j_{i} (k) + 1$ 이 $k$ $k$ 와 $k+1$ $k + 1$ 에 대한 특정 다항식의 제곱으로 표현될 수 있는 조건을 설정했습니다.
  - 짝수 $i=2\ell$ 인 경우: $k + j_{2\ell}(k) + 1 = k A^2 + 1 = (k+1) B^2$
  - 홀수 $i=2\ell+1$ 인 경우: $k + j_{2\ell+1}(k) + 1 = k(k+1) A^2 + 1 = B^2$
- 여기서 $A, B$ 는 정수 계수를 갖는 다항식입니다. 이 조건을 만족하면 곱 $\Pi(k, j_i(k)) = k(k+1)(k+j_i(k))(k+j_i(k)+1)$ 은 항상 완전제곱수가 됩니다.
점화식과 명시적 해:
- 오일러의 삼각수 - 제곱수 해법과 페르마 - 펠 방정식 (Pell's equation) $x^2 - 2y^2 = 1$ 의 해를 기반으로 한 점화식을 활용했습니다.
- "거의 이등변" 피타고라스 세 쌍 $(k, k+1, l)$ 을 생성하는 수열 $x_i$ 를 정의하고, 이를 통해 $j_i(k)$ 의 계수를 명시적으로 유도했습니다.
대수적 변환:
- 연속 정수 구간의 제곱수 합 등식을 $n$ 에 대한 2 차 방정식으로 변환했습니다.
- 이 방정식의 판별식 $D$ 가 완전제곱수가 되어야 정수 해 $n$ 이 존재함을 보였습니다. $m=0$ 일 때 $D = 4\Pi(k, j)$ 가 되므로, $\Pi(k, j)$ 가 완전제곱수이면 해가 존재함을 증명했습니다.

3. 주요 결과

완전제곱수 이차수 쌍의 무한한 가족 발견:
- 모든 정수 $i \ge 1$ 에 대해, 곱 $\Pi(k, j_i(k))$ 가 완전제곱수가 되는 유일한 다항식 쌍 $(k, j_i(k))$ 가 존재함을 증명했습니다.
- Table 2 에 $k \le 8, i \le 8$ 에 대한 구체적인 값들을 제시했습니다.
- Conjecture 1 & 2 (추측): 이 논문에서 발견된 가족 ( $j_i(k)$ ) 과 두 삼각수가 모두 완전제곱수인 경우 (Bi-Pythagorean pairs) 를 제외하고는 다른 해가 존재하지 않을 것이라고 추측합니다. 즉, 이 가족이 모든 해를 포괄한다고 주장합니다.
구간 길이가 1 차이나는 제곱수 합 등식:
- $m=0$ 인 경우 (두 구간의 길이가 $k+1$ 과 $k$ 로 1 차이남), 위에서 발견된 $j_i(k)$ 를 사용하여 무한히 많은 정수 해 $n$ 을 생성할 수 있음을 보였습니다.
- 예시: $k=1, j=7$ 일 때, $20^2 + 21^2 = 29^2$ 와 같은 피타고라스 세 쌍이 생성되며, 이는 $m=0$ 인 제곱수 합 등식의 특수한 경우입니다.
- $k=8, j=41$ (Bi-Pythagorean case) 과 같은 다른 가족에 대한 등식도 제시했습니다.
계산적 검증:
- $m \le 100, k \le 100, j \le 18$ 범위에 대한 판별식 $D(j, m, k)$ 가 완전제곱수가 되는 모든 경우를 계산하여 Table 4 와 Table 5 에 정리했습니다.
- $j=0$ 인 경우 (구간이 인접함) 에는 $m=0$ 을 제외하고는 정수 해가 매우 드물거나 존재하지 않음을 확인했습니다.

4. 의의 및 기여

이론적 통합: 삼각수의 곱이 제곱수가 되는 문제와 연속 정수 구간의 제곱수 합 등식 문제를 하나의 체계 (페르마 - 펠 방정식과 다항식 가족) 로 통합하여 설명했습니다.
새로운 무한 가족 제시: 기존에 알려진 삼각수 - 제곱수 쌍뿐만 아니라, 두 삼각수가 모두 제곱수가 아니더라도 곱이 제곱수가 되는 새로운 무한한 다항식 가족을 발견하고 그 구조를 명시적으로 제시했습니다.
추측의 제시: 발견된 가족이 유일한 해 가족임을 강력히 시사하는 추측을 제시하여, 향후 수론 연구의 방향을 제시했습니다.
응용 가능성: 피타고라스 세 쌍, 이차수, 그리고 제곱수 합 등식 간의 깊은 관계를 규명함으로써, 디오판토스 방정식 (Diophantine equations) 연구에 새로운 통찰을 제공합니다.

결론

이 논문은 오일러의 고전적인 문제를 현대적인 다항식 기법과 계산적 탐색을 결합하여 확장했습니다. 저자들은 "구간 길이가 1 차이 나는 연속 정수 구간들의 제곱수 합이 같아지는 경우"와 "두 삼각수의 곱이 완전제곱수가 되는 경우"가 본질적으로 동일한 문제이며, 이를 해결하는 무한한 가족을 발견했다고 주장합니다. 이는 수론의 고전적인 난제들에 대한 새로운 관점과 체계적인 해법 체계를 제시한다는 점에서 중요한 의의를 가집니다.