🔢 mathematics

$D(-1)$ -triples of triangular numbers

이 논문은 임의의 두 삼각수의 곱에서 1 을 뺀 값이 완전제곱수가 되는 조건을 연구하여, 특정 삼각수가 그러한 쌍의 원소가 되기 위한 필요조건을 제시하고, 그러한 삼각수가 무한히 많은 $D(-1)$ -삼중항의 원소가 됨을 증명합니다.

원저자: Marija Bliznac Trebješanin

게시일 2026-04-01

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Marija Bliznac Trebješanin

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

이 논문은 수학의 한 분야인 '수론 (Number Theory)'에서 매우 재미있는 퍼즐을 다루고 있습니다. 전문 용어인 '삼각수 (Triangular Numbers)'와 '디오판토스 쌍 (Diophantine pairs)'이라는 개념을 일상적인 비유로 쉽게 설명해 드리겠습니다.

1. 삼각수란 무엇일까요? (주인공 소개)

먼저 **'삼각수'**라는 친구들을 소개해 드릴게요.

1 번째 삼각수: 1
2 번째 삼각수: 1+2 = 3
3 번째 삼각수: 1+2+3 = 6
4 번째 삼각수: 1+2+3+4 = 10
이렇게 1 부터 n 까지의 숫자를 모두 더한 숫자들이 삼각수입니다. 마치 공을 쌓아 삼각형을 만들 때 필요한 공의 개수처럼 생겼다고 해서 붙은 이름이죠.

2. 이 논문이 다루는 퍼즐 (D(-1) 쌍)

이 논문은 이 삼각수들끼리 특별한 **'친구 관계'**를 맺는 경우를 연구합니다.
규칙은 아주 단순합니다:

"두 개의 서로 다른 삼각수를 곱한 뒤, 1 을 빼면 완전제곱수 (예: 4, 9, 16, 25...) 가 되어야 한다."

예를 들어, 1 과 3 을 곱하면 3 입니다. 여기서 1 을 빼면 2 가 되는데, 2 는 완전제곱수가 아니니까 친구가 될 수 없습니다. 하지만 어떤 두 삼각수가 이 규칙을 만족하면, 우리는 그들을 **'D(-1) 쌍'**이라고 부릅니다.

3. 연구의 핵심 내용 (세 가지 발견)

이 논문은 이 퍼즐을 풀면서 세 가지 중요한 사실을 발견했습니다.

① "누가 친구가 될 수 있을까?" (필요 조건)

모든 삼각수가 친구를 사귈 수 있는 것은 아닙니다. 마치 어떤 사람은 특정 성격의 사람과만 잘 지내는 것처럼, 삼각수도 특정 조건을 만족해야만 친구를 사귈 수 있습니다.

비유: 마치 파티에 초대받으려면 옷차림 (조건) 이 맞아야 하듯이, 이 삼각수 $T_n$ 이 친구를 사귀려면 $n$ 과 $n+1$ 이라는 숫자가 특정 소인수 (4 로 나눴을 때 1 이 남는 소수들) 로만 이루어져야 합니다.
중요한 점: 이 조건을 만족한다고 해서 무조건 친구가 되는 건 아닙니다. (조건은 필요조건이지 충분조건은 아닙니다.) 예를 들어, $n=100$ 은 조건을 만족하지만, 실제로는 어떤 삼각수와도 친구가 될 수 없는 '외톨이'입니다.

② "한 번 친구가 되면 영원한 친구?" (무한한 확장)

이게 이 논문의 가장 멋진 부분입니다.
만약 어떤 삼각수 $T_n$ 이 조건을 만족해서 한 명의 친구 ( $T_m$ ) 를 찾았다면, 놀라운 일이 일어납니다.

비유: 한 번 파티에 초대받으면, 그 친구를 통해 무한히 많은 새로운 친구를 소개받을 수 있다는 뜻입니다.
즉, $T_n$ 과 $T_m$ 이 친구가 되면, 이 둘과 또 다른 삼각수 $T_r$ 이 모여 **'D(-1) 삼인조 (Triple)'**를 이룰 수 있고, 이 과정이 끝없이 반복되어 무한히 많은 삼각수 그룹을 만들 수 있다는 것을 증명했습니다.

③ "친구 찾기 알고리즘" (실제 계산)

저자는 이 규칙을 이용해 컴퓨터 프로그램 같은 알고리즘을 만들었습니다.

1 부터 시작해서 조건을 만족하는 삼각수들을 찾아내고, 그 친구들을 다시 기반으로 새로운 친구를 찾아내는 과정을 반복합니다.
예를 들어, 1000 까지의 숫자 중에서는 1, 4, 25, 148, 457, 865 번째 삼각수들이 서로 친구 관계를 맺을 수 있다는 것을 찾아냈습니다.

4. 더 넓은 세상 (일반화)

마지막으로, 저자는 이 규칙을 '1 을 빼는 것'뿐만 아니라 '어떤 수 $a$ 를 더하거나 빼는 것'으로도 확장할 수 있음을 보였습니다.

비유: "1 을 빼면 제곱수가 된다"는 규칙이 아니라, "10 을 더하면 제곱수가 된다"거나 "5 를 빼면 제곱수가 된다"는 규칙으로도 같은 일이 일어날 수 있다는 거죠.
즉, 삼각수들이 어떤 규칙을 따르든, 한 번 친구 관계를 맺으면 무한히 많은 친구 그룹을 만들 수 있다는 보편적인 진리를 발견한 것입니다.

요약하자면

이 논문은 **"삼각수라는 숫자 친구들이 '곱해서 1 빼기'라는 규칙으로 친구를 사귈 때, 어떤 삼각수가 친구를 사귈 자격이 있는지, 그리고 한 번 친구가 되면 어떻게 무한히 많은 친구 그룹을 만들어낼 수 있는지"**에 대한 수학적 지도를 그려준 것입니다.

수학자들은 이 작은 퍼즐을 통해 숫자 세계의 숨겨진 질서와 아름다움을 발견해 내는 것입니다.

논문 개요

이 논문은 정수론, 특히 디오판토스 m-튜플 (Diophantine m-tuples) 과 삼각수 (Triangular numbers) 의 교차 영역을 다룹니다. 저자 Marija Bliznac Trebješanin 은 어떤 두 개의 서로 다른 삼각수의 곱에서 1 을 뺀 값이 완전제곱수가 되는 집합, 즉 D(−1)-m-튜플을 구성하는 삼각수들의 성질을 연구합니다. 특히, D(−1)-쌍 (pair) 을 이루는 삼각수가 존재할 때, 그 삼각수가 무한히 많은 D(−1)-세 쌍 (triple) 으로 확장될 수 있음을 증명하고, D(−1)-쌍을 구성하기 위한 필요 조건을 제시합니다.

1. 연구 문제 (Problem Statement)

정의: $n \neq 0$ 인 정수에 대해, 집합의 임의의 두 원소 $a, b$ 에 대해 $ab + n $이 완전제곱수가 되도록 하는$ m$개의 서로 다른 양의 정수 집합을 D(n)-m-튜플이라고 합니다.
목표: 이 논문은 $n = -1$ 인 경우, 즉 $T_i T_j - 1 = r^2$ (단, $T_k$ 는 $k$ 번째 삼각수) 를 만족하는 삼각수 집합을 연구합니다.
핵심 질문:
1. 어떤 $n$ 에 대해 삼각수 $T_n$ 이 D(−1)-쌍의 원소가 될 수 있는가? (필요 조건 도출)
2. D(−1)-쌍을 이루는 삼각수 $T_n$ 은 D(−1)-세 쌍으로 확장 가능한가?

2. 방법론 (Methodology)

논문은 대수적 정수론과 일반화된 펠 방정식 (Generalized Pellian equation) 이론을 기반으로 합니다.

방정식 변환:
$T_n T_m - 1 = r^2$ 조건을 대수적으로 변형하여 일반화된 펠 방정식으로 유도합니다.
$(4r)^2 - n(n+1)(2m+1)^2 = -(n(n+1) + 16)$
여기서 $x = 4r$ , $y = 2m+1$ 로 치환하면 다음 식을 얻습니다.
$x^2 - n(n+1)y^2 = -(n(n+1) + 16) \quad \text{(식 1)}$
해의 구조 분석:
- Lemma 1: 위 방정식의 해 $(x, y)$ 에 대해 $y$ 는 홀수이고 $x$ 는 4 의 배수임을 증명합니다. 이는 $y=2m+1$ 형태를 만족하여 $m$ 이 정수가 됨을 보장합니다.
- 모듈러 산술 분석: 식 (1) 을 $n$ 과 $n+1$ 에 대한 모듈로로 분석하여 $n$ 과 $n+1$ 이 가져야 할 소인수의 성질 (모든 홀수 소인수가 $4k+1$ 형태여야 함) 을 규명합니다.
- 재귀 수열 (Recurrence Sequences): 일반화된 펠 방정식의 해는 기본 해 (fundamental solution) 에서 생성된 선형 재귀 수열을 따릅니다. 이를 통해 $m$ 의 값들 $(m_k)$ 을 생성하는 재귀 관계를 유도합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

가. D(−1)-쌍 존재에 대한 필요 조건 (Theorem 1)

삼각수 $T_n$ 이 D(−1)-쌍의 원소가 되려면 $n$ 과 $n+1$ 은 특정 형태를 가져야 합니다.

조건: $n$ 과 $n+1$ 은 모두 $2^a \cdot p_1^{l_1} \cdots p_k^{l_k}$ 형태여야 하며, 여기서 모든 $p_i \equiv 1 \pmod 4$ 입니다.
2 의 지수 제한:
- $n$ 의 경우 $a \in \{0, 2\}$ (즉, $n \equiv 0, 1 \pmod 4$ ).
- $n+1$ 의 경우 $a \in \{0, 1\}$ (즉, $n+1 \equiv 0, 1 \pmod 4$ ).
의미: 이 조건은 $n$ 과 $n+1$ 이 모두 두 개의 제곱수의 합으로 표현될 수 있음을 의미합니다.
반례: 이 조건은 필요 조건이지 충분 조건은 아닙니다. 예를 들어 $n=100$ 은 위 조건을 만족하지만, $T_{100}$ 을 포함하는 D(−1)-쌍은 존재하지 않습니다 (계산적 검증을 통해 증명됨).

나. 무한한 D(−1)-세 쌍 확장 (Theorem 2)

주장: 만약 $T_n$ 이 D(−1)-쌍 $\{T_n, T_m\}$ 의 원소라면, $T_n$ 은 삼각수만으로 구성된 무한히 많은 D(−1)-세 쌍의 원소가 됩니다.
구축 방법:
- 펠 방정식의 해 수열 $(y_k)$ 을 이용하여 인접한 두 해 $y_k, y_{k+1}$ 에 대응하는 삼각수 인덱스 $m_k, m_{k+1}$ 을 구합니다.
- Proposition 1: 임의의 $k \ge 1$ 에 대해 $\{T_{m_k}, T_{m_{k+1}}\}$ 는 D(−1)-쌍을 이룹니다.
- 이를 통해 $\{T_n, T_{m_k}, T_{m_{k+1}}\}$ 가 D(−1)-세 쌍이 됨을 증명합니다.

다. 알고리즘 및 계산적 결과

알고리즘: 주어진 상한 $C$ $C$ 까지 D(−1)-쌍을 이루는 모든 $n$ $n$ 을 찾는 알고리즘을 제시했습니다.
- 기본 해를 찾아 재귀 관계를 통해 새로운 $m$ 을 생성하고, 이를 다시 시드 (seed) 로 사용하여 반복합니다.
결과 ( $C=1000$ ): $T_n$ 이 D(−1)-쌍을 이루는 $n$ 의 집합은 $\{1, 4, 25, 148, 457, 865\}$ 임을 확인했습니다.

라. 일반화 (Theorem 3)

연구 결과를 임의의 $a \neq 0$ 에 대한 D(a)-세 쌍으로 일반화했습니다.
$T_n T_m + a = r^2$ 조건 하에서도, D(a)-쌍이 존재하면 무한히 많은 D(a)-세 쌍으로 확장 가능함을 보였습니다.

4. 의의 및 중요성 (Significance)

디오판토스 문제의 심화: 기존의 정수 집합에 대한 D(n)-튜플 연구에 삼각수라는 구체적인 수열을 적용하여 새로운 제약 조건과 확장 가능성을 제시했습니다.
구조적 통찰: D(−1) 조건 하에서 삼각수 쌍이 존재할 경우, 그것이 단순한 쌍이 아니라 무한한 트리플 구조로 자연스럽게 확장됨을 증명하여, 이 영역에서의 해의 풍부함을 보여줍니다.
필요 조건의 명확화: $n$ 과 $n+1$ 의 소인수 분해에 대한 엄격한 조건을 제시함으로써, 어떤 삼각수가 후보가 될 수 있는지 효율적으로 필터링할 수 있는 기준을 마련했습니다.
미래 연구 방향: D(a) 일반화에 대한 필요 조건이 $a$ 의 값에 따라 달라질 수 있음을 지적하며, 다양한 $a$ 에 대한 패턴 연구의 중요성을 강조했습니다.

결론

이 논문은 삼각수 집합에서 D(−1) 성질을 만족하는 쌍의 존재 조건을 엄밀하게 규명하고, 그러한 쌍이 무한한 세 쌍으로 확장될 수 있음을 체계적으로 증명했습니다. 이는 펠 방정식 이론을 삼각수라는 특수한 수열에 적용한 성공적인 사례로, 디오판토스 m-튜플 이론의 중요한 발전에 기여합니다.