🔢 mathematics

Seven squares from three numbers

이 논문은 서로 다른 0 이 아닌 유리수 세 쌍 {a, b, c} 에 대해 a+1, b+1, c+1, ab+1, ac+1, bc+1, abc+1 이 모두 완전제곱수가 되는 무한히 많은 세 쌍이 존재함을 증명하는 반면, 양의 정수 세 쌍에서는 그러한 성질을 가진 경우가 전혀 없음을 보여줍니다.

원저자: Andrej Dujella, Matija Kazalicki, Vinko Petričević

게시일 2026-04-13

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Andrej Dujella, Matija Kazalicki, Vinko Petričević

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

🎩 마법사의 숫자 파티: "일곱 개의 완벽한 제곱수"

상상해 보세요. 세 명의 숫자 친구 (a, b, c) 가 파티에 모였습니다. 이 친구들은 특별한 규칙을 가지고 있습니다. 바로 **"서로 만나면 (곱하면) 1 을 더했을 때, 그리고 혼자 있을 때 (각각에 1 을 더했을 때) 모두 '완벽한 제곱수'가 되어야 한다"**는 것입니다.

여기서 '완벽한 제곱수'란 $1, 4, 9, 16, 25$처럼 어떤 정수를 두 번 곱해서 나오는 숫자를 말합니다.

이 논문은 이 세 친구가 세 가지 조건을 모두 만족하는지, 그리고 무한히 많은 조합이 가능한지, 혹은 정수 (1, 2, 3...) 만으로는 불가능한지를 증명합니다.

1. 어떤 조건을 만족해야 할까요? (일곱 가지의 마법)

세 숫자 $a, b, c$ 가 모여야 하는 마법 같은 조건은 총 7 가지입니다.

각자 혼자일 때: $a+1$ , $b+1$ , $c+1$ 이 모두 제곱수여야 합니다.
두 명이 만나면: $ab+1$, $ac+1$, $bc+1$이 모두 제곱수여야 합니다.
세 명이 모두 만나면: $abc+1$도 제곱수여야 합니다.

이 7 가지 조건을 모두 만족하는 세 숫자의 조합을 저자들은 **"이국적인 (Exotic) 디오판토스 세 쌍"**이라고 부릅니다.

2. 첫 번째 발견: "분수"라면 무한히 가능하다! (Theorem 1)

저자들은 먼저 **"분수 (소수나 1/2 같은 숫자)"**를 사용해 볼 수 있는지 실험했습니다.

비유: 마치 레고 블록을 아주 작은 조각으로 쪼개어 맞추는 것처럼, 분수를 사용하면 규칙을 맞추기가 훨씬 수월합니다.
결과: 놀랍게도, 이 조건을 만족하는 세 숫자의 조합은 무한히 많습니다!
어떻게 찾았나요?
- 저자들은 컴퓨터로 수많은 숫자를 검색하다가 우연히 발견한 두 가지 예시에서 힌트를 얻었습니다.
- 그들은 이 숫자들이 '정규적인 (Regular)'이라는 특별한 수학적 구조를 따르고 있다는 것을 깨달았습니다.
- 이를 **타원곡선 (Elliptic Curve)**이라는 복잡한 도형의 그림 위에 점을 찍는 문제로 바꿨습니다. 이 도형 위에는 무한히 많은 점들이 존재하므로, 그 점들을 숫자로 바꾸면 무한히 많은 해답을 얻을 수 있었습니다.

3. 두 번째 발견: "정수"라면 불가능하다! (Theorem 2)

그렇다면, **자연수 (1, 2, 3, 4...)**만으로는 이런 조합을 만들 수 있을까요?

비유: 마치 1000 조각 퍼즐을 10 조각짜리 조각으로만 맞추려고 하는 것과 같습니다. 너무 딱딱하고 제한적이어서 불가능해 보입니다.
결과: 절대 불가능합니다. 양의 정수 세 개로는 이 7 가지 조건을 동시에 만족할 수 없습니다.
증명 방법 (간단히):
- 저자들은 "만약 정수 세 개가 이 조건을 만족한다고 가정해 보자"라고 시작했습니다.
- 그리고 수학적인 논리 (부등식) 를 통해, 그 숫자들이 가질 수 있는 크기를 계산했습니다.
- 그 결과, "이 숫자는 A 보다 커야 하는데, 동시에 A+0.5 보다 작아야 한다"는 모순이 발생했습니다.
- 마치 "너는 10 살보다 커야 하지만, 10 살 반보다도 작아야 한다"고 말하는 것과 같아서, 정수라는 조건 하에서는 이런 숫자가 존재할 수 없다는 결론에 도달했습니다.

📝 요약 및 결론

이 논문은 수학의 한 가지 놀라운 대조를 보여줍니다.

유리수 (분수) 세계: 규칙을 맞추는 데는 자유로움이 있어, 무한히 많은 해결책이 존재합니다. (마치 물처럼 유연함)
정수 (자연수) 세계: 규칙이 너무 엄격해서, 단 하나도 해결책이 존재하지 않습니다. (마치 바위처럼 단단함)

저자들은 이 문제를 해결하기 위해 컴퓨터 검색, 대수학, 그리고 타원곡선이라는 고급 수학 도구를 사용했습니다. 특히 정수 해가 없다는 것을 증명할 때는 AI 도구의 도움을 받아 새로운 논리를 찾아냈다고 밝히기도 했습니다.

한 줄 요약:

"세 숫자가 서로 만나서 모두 제곱수가 되게 하려면, 분수를 써야 무한히 많은 조합이 가능하지만, 정수만으로는 그 어떤 조합도 불가능하다."

논문 요약: 세 수로부터 일곱 개의 제곱수

저자: Andrej Dujella, Matija Kazalicki, Vinko Petričević
주제: 유리수 및 정수 집합에서 특정 조건을 만족하는 3-튜플 (triples) 의 존재성 연구

1. 연구 문제 (Problem Statement)

이 논문은 서로 다른 0 이 아닌 유리수 $a, b, c$ 로 이루어진 집합 $\{a, b, c\}$ 를 연구합니다. 이 집합은 다음 7 개의 식이 모두 완전제곱수가 되는 조건을 만족해야 합니다:

$a + 1$
$b + 1$
$c + 1$
$ab + 1$
$ac + 1$
$bc + 1$
$abc + 1$

이러한 조건을 만족하는 3-튜플을 저자들은 **"이국적인 디오판토스 3-튜플 (exotic Diophantine triples)"**이라고 명명합니다. 이는 $\{1, a, b, c\}$ 가 디오판토스 4-튜플이면서 동시에 $abc+1$도 완전제곱수가 되는 경우와 동치입니다.

2. 주요 결과 (Key Results)

저자들은 두 가지 주요 정리를 증명했습니다.

정리 1 (유리수 경우): 이국적인 유리수 디오판토스 3-튜플은 무한히 많이 존재합니다.
정리 2 (정수 경우): 양의 정수로 이루어진 이국적인 디오판토스 3-튜플은 단 하나도 존재하지 않습니다.

3. 방법론 (Methodology)

가. 유리수 경우 (Theorem 1 증명)

수치 탐색 및 정규성 (Regularity) 도입:
- 저자들은 먼저 수치 계산을 통해 예시 $\{8, 312/529, 495/529\}$ 등을 발견했습니다.
- 발견된 튜플의 약 50% 가 "정규 (regular)" 디오판토스 4-튜플 $\{1, a, b, c\}$ 임을 확인했습니다.
- 정규성은 다항식 $r_3(a, b, c) = (a+b-c)^2 - 4(ab+1) = 0$ 또는 $r_4(a, b, c, d) = 0$ 조건으로 정의됩니다.
대수적 조건 도출:
- $\{1, ab, c\}$ 가 정규 디오판토스 3-튜플이 되도록 설정하면, $abc+1$이 자동으로 완전제곱수가 되는 대수적 조건이 유도됩니다.
- $a = r^2 - 1$ , $b = s^2 - 1$ 로 치환하여 연립방정식 $r_3(1, ab, c) = 0$ 과 $r_4(1, a, b, c) = 0$ 을 풉니다.
타원 곡선 (Elliptic Curves) 활용:
- 두 다항식의 차를 인수분해하여 두 가지 경우를 나누어 분석했습니다.
- 첫 번째 경우 ( $rs = \pm 1$ ) 는 종수 (genus) 1 곡선으로 이어지지만, 해당 타원 곡선 $E_1: y^2 = x^3 - 7x - 6$ 의 Mordell-Weil 군의 순위가 0 이라 무한한 해를 주지 못합니다.
- 두 번째 경우 ( $c$ 에 대한 식 대입) 는 타원 곡선 $E_2: y^2 = x^3 - 111x + 450$ 으로 귀결됩니다.
- $E_2$ 의 Mordell-Weil 군은 무한한 위상의 점 (예: $[3, -12]$ ) 을 포함하므로, 이 점들을 통해 무한히 많은 이국적인 3-튜플을 생성할 수 있음을 증명했습니다.

나. 정수 경우 (Theorem 2 증명)

모순 증명 (Proof by Contradiction):
- 양의 정수 $3 \le a < b < c$ 가 조건을 만족한다고 가정합니다.
- $ab+1=r^2, ac+1=s^2, bc+1=t^2, c+1=z^2, abc+1=u^2$ 로 둡니다.
- 기존 연구 (Lemma 14 from [3]) 를 인용하여 $c > 4ab$임을 이용합니다.
부등식 추정:
- 정수 $M := 2r(zu - st) $를 정의하고, 항등식$ (zu)^2 - (st)^2 = c(a-1)(b-1)$을 유도합니다.
- $zu+st $에 대한 상한과 하한을 추정하여$ M$의 범위를 좁힙니다.
- 구체적으로 $(a-1)(b-1) < M < (a-1)(b-1) + 1/2$ 임을 보입니다.
결론:
- $M$ 은 정수여야 하지만, 위 부등식은 $M$ 이 두 연속된 정수 사이에 위치하도록 강제하여 모순을 일으킵니다. 따라서 그러한 양의 정수는 존재할 수 없습니다.

4. 기여 및 의의 (Significance)

새로운 디오판토스 구조의 발견: 기존에 알려진 디오판토스 $m$ -튜플 (곱하기 1 이 제곱수) 연구에 더해, 3-튜플의 원소 자체에 1 을 더한 값 ( $a+1, b+1, c+1$ ) 과 세 원소의 곱에 1 을 더한 값 ($abc+1$) 까지 모두 제곱수가 되는 매우 강력한 조건을 만족하는 집합의 존재성을 규명했습니다.
유리수와 정수의 대조적 결과: 디오판토스 문제에서 유리수 영역과 정수 영역의 해의 존재성이 극명하게 다를 수 있음을 보여주는 또 다른 사례를 제시했습니다. (유리수에서는 무한히 많지만, 정수에서는 전혀 없음)
대수기하학적 접근의 활용: 타원 곡선의 Mordell-Weil 군 이론을 활용하여 유리수 해의 무한성을 증명하고, 정수 해의 부존재성을 정수론적 부등식 기법으로 엄밀하게 증명하여 두 가지 다른 수학적 도구를 효과적으로 결합했습니다.
AI 의 역할: 저자는 Theorem 2 의 증명 과정에서 Cantab Pi AI 수학 연구 조수 (Cantab Pi AI Math Research Assistant) 의 도움을 받았다고 명시하며, 현대 수학 연구에서 AI 도구의 보조적 역할을 언급했습니다.

5. 결론

이 논문은 "세 수로부터 일곱 개의 제곱수"라는 구체적인 조건 하에 유리수 3-튜플이 무한히 존재함을 증명하고, 정수 3-튜플은 존재하지 않음을 보여줌으로써 디오판토스 방정식 이론에 중요한 새로운 결과를 추가했습니다. 특히, 정규 디오판토스 튜플의 개념을 확장하고 타원 곡선 이론을 적용한 체계적인 접근 방식이 주목할 만합니다.