🔢 mathematics

Sums of three Fibonacci numbers as concatenations of three repdigits in base $b$

이 논문은 $b \ge 2$ 인 정수 $b$ 에 대해 세 피보나치 수의 합이 세 개의 반복 숫자 (repdigits) 의 연결로 표현될 수 있는 경우를 연구하여, $2 \le b \le 10$ 인 모든 기수에서 그러한 합이 유한하며 그 모든 해를 명시적으로 구하고, 그 중 가장 큰 해가 $b=4$ 일 때 $F_{42}+F_{29}+F_{20}=268435290$ 임을 증명합니다.

원저자: Passimzouwé Dagou, Pagdame Tiebekabe, Kouèssi Norbert Adédji, Kokou Tchariè

게시일 2026-02-25

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Passimzouwé Dagou, Pagdame Tiebekabe, Kouèssi Norbert Adédji, Kokou Tchariè

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

이 논문은 수학의 두 가지 흥미로운 세계, **'피보나치 수열'**과 **'숫자 패턴 (연속된 같은 숫자)'**이 만나는 지점을 탐구한 연구입니다. 전문적인 용어 대신 일상적인 비유를 들어 쉽게 설명해 드리겠습니다.

🍕 피보나치 피자 조각과 똑같은 숫자 타일

상상해 보세요.

피보나치 수열 (Fibonacci Numbers): 0, 1, 1, 2, 3, 5, 8, 13, 21... 처럼 앞의 두 숫자를 더하면 다음 숫자가 나오는 규칙적인 수열입니다. 마치 피자 조각이 하나, 하나, 두 개, 세 개, 다섯 개... 이렇게 점점 커지는 것처럼요.
리프디기트 (Repdigits): 111, 2222, 77777 처럼 모든 자릿수가 같은 숫자를 말합니다. 마치 똑같은 모양의 타일로 벽을 쌓은 것처럼요.
연결 (Concatenation): 이 똑같은 타일들을 서로 붙여서 새로운 숫자를 만드는 것입니다. 예를 들어 '111'과 '22'와 '333'을 붙이면 **'11122333'**이 됩니다.

🧩 이 연구가 해결한 퍼즐

이 논문은 다음과 같은 질문을 던집니다:

"세 개의 피보나치 피자 조각을 더했을 때, 그 합이 '똑같은 숫자 타일' 세 덩어리를 붙여서 만든 숫자와 정확히 같아질 수 있을까?"

예를 들어, $F_{42} + F_{29} + F_{20}$ 을 더하면 268,435,290이 나옵니다. 이 숫자를 4 진법 (base 4) 으로 표현하면 333333333311224가 되는데, 이는 '3'이 10 개, '1'이 2 개, '2'가 1 개, '4'가 1 개 붙어 있는 형태입니다. (논문에서는 이를 세 개의 리프디기트 덩어리로 봅니다).

🔍 연구의 핵심 내용

유한한 답 (Finite Solutions):
수학자들은 "어쩌면 무한히 많은 경우가 있을지도 모른다"고 걱정했지만, 이 논문은 **"아니요, 2 진법부터 10 진법까지 모든 경우를 다 찾아보면, 이런 숫자는 딱 정해진 개수 (총 2,665 개) 만 존재합니다"**라고 증명했습니다. 마치 바다에서 바늘을 찾는 것 같지만, "바다의 범위가 정해져 있으니 바늘은 결국 다 찾을 수 있다"는 것을 보여준 셈입니다.
거대한 수의 축소 (The Great Reduction):
처음에 이 문제를 풀 때, 피보나치 숫자가 얼마나 커질지 예측해 보니 100 자리 이상의 거대한 숫자까지 고려해야 했습니다. 이는 컴퓨터로도 계산하기엔 너무 방대한 영역입니다.
- 비유: 마치 "우주 전체를 뒤져서 특정 별을 찾아야 한다"고 했을 때, 연구자들은 "아니, 그 별은 우리 은하의 특정 구역에만 있을 거야"라고 범위를 좁혀나갔습니다.
- 방법: '로그 (Logarithm)'라는 수학적 나침반과 '연속 분수 (Continued Fraction)'라는 정교한 망치를 사용해서, 검색 범위를 우주 전체에서 우리 동네 골목길 수준까지 줄였습니다.
컴퓨터의 힘 (The Supercomputer Power):
범위를 좁혔다고 해도, 남은 경우의 수는 여전히 어마어마했습니다.
- 문제: 순차적으로 하나씩 계산하면, 10 진법 (base 10) 의 경우를 다 찾으려면 약 248 년이 걸린다고 예상되었습니다. (인생보다 훨씬 깁니다!)
- 해결: 연구진은 **NVIDIA RTX A2000 그래픽 카드 (GPU)**를 활용하여 수천 개의 프로세서가 동시에 계산을 하도록 만들었습니다.
- 결과: 248 년 걸릴 일을 몇 시간 만에 해결했습니다. 마치 248 명의 사람이 1 년 동안 일할 일을, 248 개의 로봇이 1 시간 만에 해치운 것과 같습니다.

🏆 주요 발견

2 진법 (Binary) 에서 10 진법 (Decimal) 까지 모든 경우를 조사했습니다.
가장 큰 해답은 4 진법에서 나왔으며, 피보나치 숫자 $F_{42}, F_{29}, F_{20}$ 의 합이 해당 패턴을 만들었습니다.
총 2,665 개의 서로 다른 숫자 조합이 이 조건을 만족한다는 것을 찾아냈습니다.

💡 요약

이 논문은 **"세 개의 피보나치 숫자를 더하면, '똑같은 숫자'로 이루어진 타일 세 덩어리를 붙인 숫자가 될 수 있을까?"**라는 호기심에서 시작되었습니다. 수학자들은 복잡한 이론으로 답의 범위를 좁히고, 최신 슈퍼컴퓨터 기술을 동원하여 그 범위를 모두 뒤져 정답이 유한하며, 그 모든 답을 찾아냈다는 것을 증명했습니다.

이는 수학적 이론의 힘과 현대 컴퓨팅 기술의 위력이 만나서 불가능해 보였던 문제를 해결한 훌륭한 사례입니다.

1. 연구 문제 (Problem Statement)

이 논문은 정수론과 조합론적 수 체계의 교차점에 있는 디오판토스 방정식을 다룹니다. 구체적인 문제는 다음과 같습니다:

주제: 세 개의 피보나치 수 ( $F_{n_1}, F_{n_2}, F_{n_3}$ ) 의 합이 특정 기수 (base) $b$ 에서 세 개의 반복 숫자 (repdigits) 가 연결된 형태로 표현될 수 있는지 연구합니다.
수학적 정의:
- 피보나치 수열: $F_0=0, F_1=1, F_{n+2}=F_{n_1}+F_n$ .
- $b$ 진법 반복 숫자 (Repdigit): $R = d \frac{b^m - 1}{b - 1}$ (여기서 $1 \le d \le b-1$ , $m \ge 1$ ).
- 세 반복 숫자의 연결 (Concatenation): $d_1 \dots d_1 (\ell_1 \text{ 번}) d_2 \dots d_2 (\ell_2 \text{ 번}) d_3 \dots d_3 (\ell_3 \text{ 번})$ .
해결하려는 방정식:
$F_{n_1} + F_{n_2} + F_{n_3} = \text{Concatenation}(d_1, \ell_1, d_2, \ell_2, d_3, \ell_3)_b$
여기서 $n_1 \ge n_2 \ge n_3 \ge 0$ , $\ell_3 \ge \ell_2 \ge \ell_1 \ge 1$ , $d_1 > 0$ 입니다.
목표: 기수 $2 \le b \le 10$ 에 대해 이러한 해가 유한한지 증명하고, 모든 해를 명시적으로 찾아내는 것입니다.

2. 방법론 (Methodology)

논문은 다음과 같은 강력한 수학적 도구와 계산적 접근법을 결합하여 문제를 해결했습니다.

A. 대수적 수론 (Algebraic Number Theory)

로그의 선형형 (Linear Forms in Logarithms): Baker 와 Wüstholz 의 정리를 사용하여 변수 ( $n_1, \ell_i$ $n_{1}, ℓ_{i}$ 등) 에 대한 매우 큰 상한 (upper bound) 을 유도했습니다.
- 피보나치 수의 비네 공식 (Binet's formula) 과 반복 숫자의 대수적 표현을 결합하여 선형형 $\Gamma$ 를 구성했습니다.
- 이를 통해 $n_1 < 3.09 \times 10^{82} \log^{11} b$ 와 같은 거대한 상한을 얻었습니다.
감소 방법 (Reduction Method): Baker 의 이론에서 유도된 상한은 계산적으로 검증하기엔 너무 큽니다. 따라서 Dujella 와 Pethő, Bravo 등 개발한 **연분수 (continued fraction) 기반의 감소 방법 (Lemma 2)**을 적용하여 상한을 현실적인 수준 ( $n_1 \le 74$ ) 으로 축소했습니다.

B. 계산적 접근 및 병렬 처리 (Computational Approach)

문제 복잡성: 최종 상한 ( $n_1 \le 74$ ) 으로 축소된 후에도, 7 개의 중첩 루프 (nested loops) 를 가진 조합 탐색 문제가 발생하여 $b=10$ 의 경우 순차적 실행 시 약 248 년이 소요될 것으로 추정되었습니다.
GPU 가속화: 이 계산적 병목을 해결하기 위해 NVIDIA RTX A2000 GPU와 CUDA 프레임워크를 활용한 병렬 컴퓨팅 아키텍처를 도입했습니다.
- 독립적인 반복 작업을 수천 개의 코어에 분산시켜 처리했습니다.
- 결과적으로 순차 실행 대비 20,000 배 이상의 속도 향상을 달성하여, $b=10$ 까지의 모든 경우를 수 시간 내에 완료했습니다.

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

A. 이론적 증명 (Theorems)

유한성 증명 (Theorem 1): 기수 $b \ge 2$ 에 대해 방정식의 해가 존재한다면 $n_1$ 은 명시적인 상한을 가진다는 것을 증명했습니다.
해의 완전 분류 (Theorem 2): 기수 $2 \le b \le 10$ 에 대해, 세 피보나치 수의 합이 세 반복 숫자의 연결로 표현되는 경우의 수가 유한하며, 총 2,665 개의 서로 다른 합이 존재함을 증명했습니다.

B. 구체적 결과 (Specific Findings)

최대 해 (Largest Solution): 모든 기수 중 가장 큰 합은 $b=4$ 에서 발생하며, 그 값은 다음과 같습니다.
$F_{42} + F_{29} + F_{20} = 268,435,290$
이를 4 진법으로 표현하면 $33333333331122_4$ 가 됩니다.
통계적 데이터: 각 기수 ( $b=2$ 부터 $10 $까지) 에 따른 해의 개수와 최대 합을 표로 정리했습니다 (예:$ b=10$일 때 465 개의 해 존재).
파생 결과 (Corollaries):
- $n_3=0$ 인 경우: 두 피보나치 수의 합이 세 반복 숫자 연결인 경우 (2 피보나치 수 문제).
- $n_2=n_3=0$ 인 경우: 단일 피보나치 수가 세 반복 숫자 연결인 경우.
  이 경우들에 대해서도 모든 해를 명시적으로 제시했습니다.

4. 의의 및 중요성 (Significance)

수론적 통찰: 피보나치 수열과 디지털 표현 (특히 반복 숫자와 연결) 사이의 관계를 규명하여, 재귀 수열과 수 체계의 디지털 성질 간의 상호작용에 대한 이해를 심화시켰습니다.
방법론적 혁신: 거대한 디오판토스 방정식 문제를 해결하기 위해 고전적인 대수적 수론 (Baker 의 방법) 과 최신 고성능 컴퓨팅 (GPU 병렬 처리) 을 성공적으로 결합한 사례입니다. 이는 계산적 수론 분야에서 복잡한 조합 탐색 문제를 해결하는 새로운 패러다임을 제시합니다.
기술적 기여: Togo Data Lab 의 고성능 컴퓨팅 인프라를 활용하여 이론적 한계를 넘어선 수치적 검증을 수행함으로써, 대규모 계산이 필요한 수학 연구의 실현 가능성을 보여주었습니다.

요약

이 논문은 "세 피보나치 수의 합이 세 개의 반복 숫자로 연결된 형태가 되는가?"라는 질문에 대해, 기수 2 부터 10 까지의 모든 경우에 대해 유한한 해만 존재하며 그 모든 해를 찾아냈다는 결론을 내렸습니다. 이를 위해 로그의 선형형 이론으로 상한을 유도하고, GPU 병렬 컴퓨팅을 통해 방대한 조합 탐색을 수행하는 정교한 방법론을 사용했습니다.