[논문 리뷰] Moser's mathemagical work on the equation 1^k+2^k+...+(m-1)^k=m^k

Pieter Moree|arXiv (Cornell University)|2010. 11. 12.

Analytic Number Theory Research참고 문헌 18인용 수 3

한 줄 요약

이 논문은 1953년 레오 모저의 결과를 재검토하며, 디오판틴 방정식 $1^k + 2^k + \cdots + (m-1)^k = m^k$ 가 $k \geq 2$ 이고 $m > 10^{10^6}$ 일 때 해가 없음을 보여주는 간소화되고 현대화된 증명을 제시한다. 이 증명은 바이어슈트-슈타우트-클로이젠 유형 정리와 수열 $\{2^{2e+1}+1\}$ 에 속한 수의 약수 성질을 활용한다. 논문은 모저의 기존 한계를 $m > 1.485 \times 10^{9,321,155}$ 로 강화하고, 임의의 해가 반드시 $k$ 가 짝수여야 하고, $m \equiv 3 \pmod{8}$ 이며, $m-1$, $(m+1)/2$, $2m-1$, $2m+1$ 가 모두 제곱-free여야 하며, 모든 소수 약수 $p$ 에 대해 $p-1 \mid k$ 를 만족해야 한다는 엄격한 산술 조건을 만족해야 한다는 것을 증명한다. 또한 논문은 무한히 많은 $a$ 에 대해 에르되시-모저 유형 방정식 $aS_k(m) = m^k$ 의 해를 완전히 구해내며, 특정 조건을 만족할 경우 $\mathcal{A}$ 가 공집합임을 보인다.

ABSTRACT

If the equation of the title has an integer solution with k>=2, then m>10^{10^6}. Leo Moser showed this in 1953 by amazingly elementary methods. With the hindsight of more than 50 years his proof can be somewhat simplified. We give a further proof showing that Moser's result can be derived from a von Staudt-Clausen type theorem. Based on more recent developments concerning this equation, we derive a new result using the divisibility properties of numbers in the sequence 2^{2e+1}+1, e=0,1,2,..... In the final section we show that certain Erdos-Moser type equations arising in a recent paper of Kellner can be solved completely.

연구 동기 및 목표

• 1953년 레오 모저의 증명을 현대 수론 도구를 사용하여 재구성하고 단순화하여, $k \geq 2$ 이고 $m > 10^{10^6}$ 일 때 $1^k + \cdots + (m-1)^k = m^k$ 가 해가 없음을 증명하는 것.
• 더 정교한 약수성과 합동 조건을 적용하여 모저의 $m$ 에 대한 하한을 개선하여 $m > 1.485 \times 10^{9,321,155}$ 를 증명하는 것.
• 모든 해가 반드시 강력한 산술적 제약 조건을 만족해야 한다는 것을 입증하는 것: $k$ 는 짝수여야 하며, $m \equiv 3 \pmod{8}$, $m \equiv \pm1 \pmod{3}$ 이며, $m$ 과 관련된 여러 표현이 제곱-free여야 한다.
• 고정된 $a$ 에 대해 특정한 합동 및 약수 조건을 만족할 경우, 에르되시-모저 유형 방정식 $aS_k(m) = m^k$ 가 완전히 해결될 수 있음을 보여주는 것.

제안 방법

• 바이어슈트-슈타우트-클로이젠 정리의 변형을 사용하여 모저의 원래 증명을 재구성함으로써, $p$-진 절댓값과 합동 분석을 통해 $m$ 에 대한 하한을 유도하는 것.
• 파스칼의 이항 항등식을 적용하여 레이마 1을 재증명함: 만약 $p-1 \mid k$ 이면 $S_k(p) \equiv -1 \pmod{p}$ 이고, 그렇지 않으면 $0$ 이다.
• 베르누이 수와 모듈로 산술의 성질을 활용하여 소수 거듭제곱 모듈로에서 방정식을 분석하고 $m$ 과 $k$ 에 대한 제약 조건을 도출하는 것.
• 형태 $2^{2e+1} + 1$ 의 수들의 약수 성질을 분석하여, $m+2$ 가 소수 $p \equiv 5,7 \pmod{8}$ 로만 구성되어 있을 조건 하에 $m \geq 10^{10^{16}}$ 의 새로운 하한을 도출하는 것.
• 소수 $q$ 가 $a$ 를 나누며 $q^2 \nmid a$ 이고 $q-1 \mid k$ 이면 $aS_k(m) \neq m^k$ 를 증명함으로써, 이러한 $a$ 가 해 집합에서 제외됨을 보이는 것.
• 연속 분수 근사법을 사용한 분석 기법을 결합하여, $m$ 의 하한을 $10^{10^7}$ 장벽을 넘어서는 데의 가능성을 탐색하는 것.

실험 결과

연구 질문

• RQ1 모저의 원래 증명을 현대 수론 도구를 사용하여 단순화하고 현대화할 수 있는가? 특히 $k \geq 2$ 일 때 $1^k + \cdots + (m-1)^k = m^k$ 가 해가 없음을 증명하는 데에.
• RQ2 해가 존재할 경우 $m$ 에 대한 가장 날카로운 알려진 하한은 무엇이며, $2^{2e+1}+1$ 의 약수 성질을 활용하여 이를 향상시킬 수 있는가?
• RQ3 고정된 $a$ 에 대해 일반화된 에르되시-모저 방정식 $aS_k(m) = m^k$ 가 완전히 해결될 수 있는 조건은 무엇인가?
• RQ4 해가 존재할 경우 $m$ 과 $k$ 가 만족해야 할 산술적 제약 조건은 무엇이며, 특히 제곱-free성과 합동 조건에 대해 어떤가?
• RQ5 로그 2 계산에 사용된 연속 분수 방법을 응용하여 원래 방정식에서 $m$ 의 하한을 향상시킬 수 있는가?

주요 결과

• 논문은 $k \geq 2$ 일 때 $1^k + \cdots + (m-1)^k = m^k$ 의 해가 존재할 경우 $m > 1.485 \times 10^{9,321,155}$ 라는 새로운 하한을 확립한다.
• 모든 해는 $k$ 가 짝수여야 하고, $m \equiv 3 \pmod{8}$ 이며, $m \equiv \pm1 \pmod{3}$ 이며, $m-1$, $(m+1)/2$, $2m-1$, $2m+1$ 가 모두 제곱-free여야 한다는 것을 증명한다.
• 해당 제곱-free 표현들 중 하나를 나누는 소수 $p$ 에 대해 $p-1$ 이 반드시 $k$ 를 나누어야 한다는 것이 입증된다.
• $(m^2 - 1)(4m^2 - 1)/12$ 가 제곱-free이며, 최소 $4,990,906$ 개의 서로 다른 소수 인수를 가진다는 것이 증명된다.
• $m+2$ 가 소수 $p \equiv 5,7 \pmod{8}$ 로만 구성되어 있을 조건 하에 $m$ 의 하한이 $m \geq 10^{10^{16}}$ 로 강화된다.
• 논문은 무한히 많은 $a$ 에 대해 일반화된 에르되시-모저 방정식 $aS_k(m) = m^k$ 를 완전히 해결하며, $q \mid a$, $q^2 \nmid a$, $q-1 \mid k$ 를 만족할 경우 $a \notin \mathcal{A}$ 라는 것을 보여, 이러한 $a$ 가 해를 가질 수 없음을 제외한다.