Midy's Theorem in non-integer bases and divisibility of Fibonacci numbers

이 논문은 레니 (Rényi) 가 제안한 비정수 기수 체계에서 미디 (Midy) 의 정리를 일반화하여 실수 기수 $\beta$에 대한 미디 성질의 필요 조건을 유도하고, 특히 황금비 $\beta=\frac{1+\sqrt{5}}{2}$인 경우에 해당 성질을 만족하는 소수 분모를 특징짓는 결과를 제시합니다.

핵심

1. 원래의 놀이: 10 진법에서의 미디의 마법

먼저 우리가 아는 **10 진법 (소수점 아래)**에서 일어나는 기적부터 살펴봅시다.

• 상황: 분수 $\frac{3}{7}$을 소수로 나타내면 $0.428571428571...$이 됩니다. 여기서 '428571'이 반복되죠.
• 마법: 이 반복되는 숫자 (주기) 를 반으로 잘라보세요.
  • 앞쪽: 428
  • 뒤쪽: 571
  • 합치면: $428 + 571 = \mathbf{999}$!
• 의미: 두 반쪽을 더하면 9 로만 이루어진 숫자가 나옵니다. 이는 10 진법에서 '완벽한 9 의 세계'를 뜻합니다.

이 현상은 분모가 소수일 때 주로 일어나며, 수학자들은 이를 '미디의 정리'라고 부릅니다.

2. 새로운 세계: 황금비 (Golden Ratio) 의 마법

이제 이 논문은 **"만약 우리가 10 진법이 아니라, 황금비 ($\tau \approx 1.618...$) 라는 이상한 숫자를 기준으로 세수를 쓴다면 어떨까?"**라고 질문합니다.

• 황금비 ($\tau$) 란? 건축물이나 자연에서 자주 보이는, 아주 아름다운 비율입니다. 이 숫자를 '기준 (베이스)'으로 삼으면, 숫자를 표현하는 방식이 10 진법과는 완전히 다릅니다.
• 새로운 규칙: 황금비 세계에서는 숫자 '2'나 '3'을 쓸 수 없고, 오직 0 과 1만 쓸 수 있습니다. (마치 이진법처럼 보이지만, 계산 규칙이 다릅니다.)

논문의 저자들은 이 황금비 세계에서 같은 마법이 일어날지 확인했습니다.

• 실험: $\frac{3}{7}$을 황금비로 표현해 보니 $0.0100001001010010...$이 반복됩니다.
• 반으로 나누기:
  • 앞쪽: $01000010$
  • 뒤쪽: $01010010$
• 결과: 이 두 가지를 황금비 규칙에 따라 더하면, $\tau^8 - 1$이라는 값이 나옵니다.
• 해석: 10 진법에서는 '999'가 나왔다면, 황금비 세계에서는 **'10101010'**이라는 패턴이 나옵니다. 이는 황금비 세계의 '999'와 같은, 완벽한 숫자를 의미합니다.

즉, **"10 진법에서도 반으로 나누어 더하면 9 가 되듯, 황금비 세계에서도 반으로 나누어 더하면 황금비 세계의 '완벽한 숫자'가 된다"**는 놀라운 사실을 발견한 것입니다.

3. 왜 이 연구가 중요할까? (핵심 통찰)

이 논문은 단순히 "재미있는 숫자 놀이"를 넘어, 수학의 깊은 연결고리를 보여줍니다.

1. 조건을 찾다: 어떤 분수 (예: $\frac{1}{7}, \frac{1}{13}$ 등) 가 황금비 세계에서 이 마법 (미디의 성질) 을 발휘할지, 그리고 어떤 분수는 발휘하지 못할지 판단하는 필요충분조건을 찾아냈습니다.
2. 피보나치 수열의 비밀: 황금비와 가장 친한 친구는 바로 **피보나치 수열 (1, 1, 2, 3, 5, 8, 13...)**입니다. 이 논문은 "어떤 소수 (Prime number) 가 피보나치 수열의 특정 규칙을 만족하면, 그 소수는 황금비 세계에서 미디의 마법을 부릴 수 있다"는 것을 증명했습니다.
   • 예를 들어, 7 은 피보나치 규칙을 만족해서 마법을 부리지만, 2 는 부리지 못합니다.
3. 예측 가능한 세계: 이 규칙을 알면, 우리가 아직 계산해 보지 않은 큰 숫자들도 "이 숫자는 마법을 부릴 것이다"라고 미리 예측할 수 있게 됩니다.

4. 쉬운 비유로 정리하기

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

"우리가 평소에 쓰는 10 진법이라는 '고장'에서 발견된 숫자 놀이 (반으로 나누어 더하면 9 가 됨) 가, 황금비라는 '새로운 고장'에서도 똑같은 규칙으로 작동한다는 것을 증명했다. 그리고 이 규칙을 따르는 숫자들은 피보나치 수열이라는 '친구 관계'를 통해 미리 알 수 있다."

결론: 왜 이걸 알아야 할까?

이 연구는 수학이 단순히 계산하는 학문이 아니라, 세상의 다양한 규칙 (10 진법, 황금비 등) 사이에도 숨겨진 공통된 아름다움과 구조가 존재함을 보여줍니다.

• 일반인에게는: 수학이 얼마나 신비롭고 재미있는지 보여주는 좋은 예시입니다.
• 수학자에게는: 정수론 (수학의 왕관) 과 동역학 시스템 (숫자 변환) 이 어떻게 연결되는지에 대한 새로운 통찰을 줍니다.

마치 레고 블록을 10 진법이라는 규칙으로 조립했을 때 특별한 모양이 나온다면, 황금비라는 다른 규칙으로 조립했을 때도 비슷한 마법 같은 모양이 나온다는 것을 발견한 것과 같습니다.

기술 요약

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

• 기존의 Midy 정리: 고전적인 10 진법 (정수 기수 $b=10$) 에서 분모가 소수 $q$인 분수 $p/q$의 소수점 이하 주기 길이가 짝수 ($2n$) 일 때, 주기를 두 등분한 두 부분의 합이$10^n - 1$(즉,$n$개의 9 로 이루어진 수) 이 된다는 현상을 Midy 정리라고 합니다.
• 연구 목표: 이 현상을 정수 기수뿐만 아니라 실수 기수 $\beta > 1$ (비정수 기수) 로 확장하여 연구하는 것입니다. 특히, 1957 년 Rényi 가 도입한 $\beta$-전개 ($\beta$-expansion) 체계에서 유사한 성질이 성립하는지, 그리고 어떤 조건에서 성립하는지 규명하는 것이 목적입니다.
• 주요 초점: 황금비 $\tau = \frac{1+\sqrt{5}}{2} \approx 1.618$를 기수로 사용하는 시스템을 중점적으로 분석합니다. 이 시스템의 자릿수는 0 과 1 만 사용되며, 피보나치 수열과 밀접한 관련이 있습니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구와 논리 구조를 사용하여 문제를 접근했습니다.

• $\beta$-전개 및 $\beta$-정수:
  • 그레디 알고리즘 (greedy algorithm) 을 사용하여 실수 $x$를 $\beta$ 기수로 표현합니다.
  • $\beta$-정수 ($\mathbb{Z}_\beta$) 를 정의하고, 주기의 두 반쪽을 각각 $\beta$-정수 $x, y$로 간주하여 $x+y = \beta^n - 1$이 되는지 확인합니다.
• 필요 조건 도출 (Theorem 3.2):
  • 분모 $q$가 기수 $\beta$에서 Midy 성질을 가지기 위한 필요 조건으로, $\beta$의 동반 행렬 (companion matrix) $C$에 대해 $C^N \equiv -I \pmod q$를 만족하는 정수 $N$이 존재해야 함을 증명했습니다.
  • 이는 $\beta$가 대수적 정수 (algebraic integer) 여야 함을 시사하며, 특정 조건 (예: Tribonacci 기수) 에서는 Midy 성질을 가질 수 없음을 보였습니다.
• 충분 조건 및 황금비 ($\tau$) 분석:
  • $\beta = \tau$인 경우, 동반 행렬 $C$의 거듭제곱이 피보나치 수열 ($F_n$) 로 표현됨을 이용합니다 ($C^N = \begin{pmatrix} F_{N-1} & F_N \\ F_N & F_{N+1} \end{pmatrix}$).
  • $C^N \equiv -I \pmod q$ 조건이 실제로 Midy 성질을 보장하는 충분 조건임을 증명했습니다 (Theorem 4.1).
• 유한체 (Finite Field) 및 이차 잉여:
  • 소수 $q$에 대해 Midy 성질이 성립하는지 판별하기 위해 유한체 $\mathbb{Z}_q$에서의 행렬 분석과 이차 잉여 (quadratic residue), 르장드르 기호 (Legendre symbol) 를 활용했습니다.
  • 피보나치 수의 나눗셈 성질 (피보나치 수 $F_n$이 $q$로 나누어지는지 여부) 을 통해 $q$의 성질을 분류했습니다.

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

A. 일반적 기수 $\beta$에 대한 Midy 성질의 필요 조건

• 분모 $q$가 기수 $\beta$에서 Midy 성질을 가지려면, $\beta$의 최소 다항식의 동반 행렬 $C$에 대해 $C^N \equiv -I \pmod q$를 만족하는 $N$이 존재해야 합니다.
• 부정적 결과: $\beta$가 홀수 차수의 Pisot 수이고 노름 (norm) 이 1 인 경우 (예: Tribonacci 기수), 어떤 $q$도 Midy 성질을 가질 수 없습니다.

B. 황금비 ($\tau$) 기수에서의 충분 조건

• Theorem 4.1: $\beta = \tau$인 경우, $C^N \equiv -I \pmod q$를 만족하는 $N$이 존재하면 $q$는 Midy 성질을 가집니다. 이때 $0 < p < q$인 모든$p$가 이 성질을 증명합니다.
• Corollary 4.5: 피보나치 수열과 관련된 $q$에 대한 판별 기준:
  • $q$가 $F_{2n-1}$ ($n \ge 3$) 의 약수이면 Midy 성질을 가집니다.
  • $q$가 $F_{2n}$ ($n \ge 3$) 의 배수이면 Midy 성질을 가지지 않습니다.

C. 소수 분모 $q$에 대한 완전한 분류 (Theorem 5.3, 5.4)

황금비 기수에서 소수 $q$가 Midy 성질을 가지는지 여부는 $q$를 5 로 나눈 나머지에 따라 결정됩니다.

1. $q \equiv \pm 2 \pmod 5$인 경우:
   • 모든 소수 $q$가 Midy 성질을 가집니다 (Theorem 5.3).
   • 예: $q=7, 13, 17, 23, \dots$
2. $q \equiv \pm 1 \pmod 5$인 경우:
   • 조건이 더 복잡합니다. $q-1 = 2^k \ell$ ($\ell$은 홀수) 로 쓸 때, 행렬 리스트 $\{C^{2\ell}, C^{4\ell}, \dots, C^{2^{k-1}\ell}\}$ 중 하나라도 $-I \pmod q$와 같아야 합니다 (Theorem 5.4).
   • Corollary 5.5: $q \equiv -1 \pmod{20}$ 또는 $q \equiv 11 \pmod{20}$인 소수는 Midy 성질을 가지지 않습니다.
   • Remark 5.7: 메르센 소수 ($2^s-1$) 의 경우,$s \equiv 3 \pmod 4$이면 성질을 가지지만,$s \equiv 1 \pmod 4$이면 성질을 가지지 않습니다. 페르마 소수는 모두 성질을 가집니다.

D. 구체적인 예시

• $q=7$: $\tau$ 기수에서 $3/7$의 주기는 길이 16 입니다. 두 반쪽을 더하면$\tau^8 - 1$이 되며, 이는$\tau$-전개에서$10101010$(즉,$d^*_\tau(1)$의 접두사) 이 됩니다.
• $q=3, 5$: 모두 Midy 성질을 만족합니다.

4. 의의 및 결론 (Significance)

• 이론적 확장: Midy 정리가 정수 기수뿐만 아니라 비정수 기수 (특히 Pisot 수) 에서도 유효한 수학적 구조임을 최초로 체계적으로 증명했습니다.
• 수론적 연결: $\beta$-전개의 주기적 성질과 피보나치 수열의 나눗셈 성질, 그리고 유한체 위의 행렬 이론을 깊이 있게 연결했습니다.
• 계산적 활용: 주어진 소수 $q$가 황금비 기수에서 Midy 성질을 가지는지 여부를 $q \pmod 5$와 간단한 행렬 조건을 통해 판별할 수 있는 알고리즘적 기준을 제시했습니다.
• 미래 연구 방향: 이 결과는 2 차 Pisot 단위 (norm = -1) 인 다른 기수들로의 일반화 가능성을 시사하며, Tribonacci 기수와 같이 Midy 성질이 성립하지 않는 경우의 원인을 명확히 했습니다.

요약하자면, 이 논문은 고전적인 수론의 재미있는 현상인 Midy 정리를 비정수 기수 체계로 확장하여, 황금비 기수에서의 성립 조건을 피보나치 수열과 행렬 이론을 통해 완벽하게 규명한 중요한 연구입니다.