🔢 mathematics

On a problem on a generalization of Euler's totient function

이 논문은 모든 $n$ 에 대하여 $\varphi_1(n)$ 이 $\varphi_k(n)$ 을 나누는 정수 $k \geq 1$ 의 집합이 정확히 $\{1, 3, 15\}$ 라는 Büyükaşık 등의 추측을 GPT-5.5 Pro와의 광범위한 상호작용을 통해 개발된 증명 전략을 활용하여 증명한다.

원저자: John M. Campbell

게시일 2026-06-02

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: John M. Campbell

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

당신에게 1부터 $n$ 까지 번호가 매겨진 타일이 들어있는 거대하고 무한한 상자가 있다고 상상해 보십시오. 이 타일 중 일부는 $n$ 과 공약수(1 이외의)를 공유하지 않기 때문에 "특별한" 타일입니다. 수학자들은 이들을 "서로소"라고 부릅니다.

우리는 오랫동안 오일러 토션 함수(Euler's Totient Function, $\phi$ )라고 불리는 유명한 규칙을 가져왔습니다. 이것은 단순히 상자 안에 있는 특별한 타일의 개수를 세는 것입니다. 만약 10개의 타일이 있다면, 특별한 타일은 1, 3, 7, 9이므로 답은 4입니다.

새로운 게임: 거듭제곱의 합

이 논문에서 저자(존 캠벨)와 그의 동료들은 이 동일한 특별한 타일들을 가지고 더 복잡한 게임을 하고 있습니다. 단순히 그 숫자를 세는 대신, 그들은 이렇게 질문합니다: "만약 우리가 각 특별한 타일을 $k$ 제곱으로 올린 뒤 그것들을 모두 더한다면 어떻게 될까?"

만약 $k=0$ 이라면, 우리는 단순히 개수를 세는 것입니다 (원래의 규칙).
만약 $k=1$ 이라면, 우리는 숫자들을 더합니다: $1 + 3 + 7 + 9$ .
만약 $k=2$ 라면, 우리는 그것들을 제곱합니다: $1^2 + 3^2 + 7^2 + 9^2$ .

이 합을 $\phi_k(n)$ 이라고 부릅니다.

큰 질문: "나눗셈 클럽"

연구자들은 이 합에 대해 매우 구체적인 질문을 던졌습니다. 그들은 특별한 "클럽"의 숫자들(이 클럽을 $D_1$ 이라고 부릅시다)을 찾고 싶어 했습니다.

클럽의 규칙:
어떤 숫자 $k$ 가 다음 조건을 만족하면 클럽에 가입할 수 있습니다: 모든 가능한 상자 크기 $n$ 에 대하여, 특별한 타일들을 1제곱한 합( $\phi_1$ )이 특별한 타일들을 $k$ 제곱한 합( $\phi_k$ )을 항상 나누어 떨어지게 해야 합니다.

이렇게 생각해보세요: 만약 당신에게 쿠키 한 더미( $\phi_1$ )가 있다면, 원래의 상자에 쿠키가 몇 개가 들어있든 상관없이, 더 큰 쿠키 더미( $\phi_k$ )를 첫 번째 더미의 크기로 항상 딱 떨어지게 나눌 수 있습니까?

미스터리

이전의 수학자들(Büyükaşık 등)은 상당한 기초 작업을 수행했습니다. 그들은 이 클럽이 유한하다는 것을 증명했고, 컴퓨터 계산을 통해 이 클럽에 멤버가 1, 3, 15 세 개뿐임을 시사했습니다.

그들은 이렇게 말했습니다. "우리는 이것들이 유일하다고 99% 확신하지만, 이를 증명할 수는 없다."

해결책: 인간과 AI의 팀워크

존 캠벨은 이 미스터리를 해결하기 위해 나섰습니다. 그는 깊이 있는 수학적 도구들(숫자 패턴 속에 숨겨진 비밀 코드와 같은 베르누이 수 등)과 매우 독특한 파트너인 고급 AI, GPT-5.5 Pro를 함께 사용했습니다.

그들이 해결한 방법:

탐정 작업: 캠벨은 단순히 추측하지 않았습니다. 그는 논리적인 "함정"을 사용했습니다. 그는 만약 어떤 숫자 $k$ 가 클럽에 속한다면, 반드시 매우 엄격한 규칙을 따라야 함을 보여주었습니다.
"홀수" 요구 조건: 먼저, 그는 클럽에 속하는 모든 숫자는 반드시 홀수여야 함을 증명했습니다. 짝수들은 즉시 퇴출되었습니다.
"소수" 필터: 그런 다음, 그는 소수(1과 자기 자신으로만 나누어지는 수)와 관련된 일련의 논리적 테스트를 사용했습니다. 그는 만약 어떤 숫자가 너무 크거나 잘못된 "형태"를 가지고 있다면, 특정 상자 크기 $n$ 에 대해 나누기 테스트를 통과하지 못함을 보여주었습니다.
제거 단계:
- 그는 만약 $k$ 가 클럽에 있다면, $k+1$ 이 2의 거듭제곱(예: 2, 4, 8, 16, 32...)이어야 함을 증명했습니다.
- 이로 인해 목록은 3, 7, 15, 31, 63 등의 숫자로 좁혀졌습니다.
- 그 후, 그는 더 복잡한 패턴을 사용하여 7, 31, 63 및 더 큰 숫자들이 테스트에서 탈락함을 보여주었습니다.
- 오직 1, 3, 15만이 이 관문을 통과했습니다.

결과

논문은 "나눗셈 클럽"( $D_1$ )이 정확히 **{1, 3, 15}**라는 숫자들을 포함한다고 결론짓습니다. 그 이상도, 그 이하도 아닙니다.

"AI"에 관한 참고 사항

저자는 자신이 이 일을 어떻게 수행했는지 매우 투명하게 밝히고 있습니다. 그는 브레인스토밍 단계에서 증명 단계를 구상하기 위해 AI(GPT-5.5 Pro)와 광범위한 대화를 나누었음을 인정합니다. 그러나 그는 AI가 단지 도구였을 뿐임을 강조합니다. 모든 단계의 확인, 수정 및 검증의 막중한 작업은 저자가 수행했습니다. 그는 최종 증명이 견고하고 인간에 의해 검증되었음을 보장하며, 수학적 책임은 전적으로 본인이 집니다.

요약하자면: 이 논문은 특정 유형의 숫자 패턴에 대한 오랜 난제를 해결하며, 오직 세 개의 특정 숫자만이 독특한 "나눗셈 초능력"을 가지고 있음을 전통적인 수학과 현대적 AI의 결합을 통해 증명했습니다.

기술 요약: "오일러 피 함수 일반화에 관한 문제에 대하여"

문제 정의
본 논문은 B¨uy¨uka¸sik 등(2024)에 의해 도입된 오일러 피 함수 $\phi(n)$ 의 일반화된 가족에 관한 추측을 다룬다. 일반화된 함수는 다음과 같이 정의된다:
$\phi_k(n) = \sum_{\substack{1 \le a \le n \\ (a,n)=1}} a^k$
여기서 $\phi_0(n) = \phi(n)$ 이다. 저자들은 고정된 비음의 정수 $s$ 에 대하여 집합 $D_s$ 를 다음과 같이 정의한다:
$D_s = \{k \ge s : \forall n \ge 1, \phi_s(n) \mid \phi_k(n)\}$
B¨uy¨uka¸sik 등은 $s \ge 0$ 인 모든 $s$ 에 대해 $D_s$ 가 유한함을 증명하였으며, $D_1 = \{1, 3, 15\}$ 라고 추측하였다. 그들은 계산적 근거를 제시하였으나, 이 추측은 미해결 상태로 남아 있었다. 본 연구의 주요 목적은 $D_1 = \{1, 3, 15\}$ 임을 엄밀하게 증명하는 것이다.

방법론
증명은 $\{1, 3, 15\} \subseteq D_1$ 이 이미 B¨uy¨uka¸sik 등에 의해 확립되었으므로, 역방향 포함 관계인 $D_1 \subseteq \{1, 3, 15\}$ 를 확립하는 과정으로 진행된다. 방법론은 고전적 정수론 도구와 베르누이 수 및 다항식을 이용한 새로운 구조적 논증의 결합에 의존한다.

홀수 정수로의 축소: 저자들은 먼저 $k \in D_1$ 이고 $k > 1$ 이면 $k$ 가 반드시 홀수임을 입증한다. 이는 $\phi_1(3) \mid \phi_k(3)$ 조건으로부터 유도되며, 이는 $3 \mid (1 + 2^k)$ 를 의미하며, 따라서 $k$ 는 홀수여야 한다.
베르누이 합과 정수성: 핵심 논증은 베르누이 수 $B_{2j}$ 를 통해 정의된 수열 $C_k(v)$ 를 포함한다:
$C_k(v) = \frac{2}{k+1} \sum_{j=0}^{(k-1)/2} \binom{k+1}{2j} B_{2j} (1-2j)^v$
저자들은 핵심 보조정리를 증명한다: 만약 모든 $v \ge 1$ 에 대해 $C_k(v)$ 가 정수라면, 모든 짝수 정수 $h \in [2, k-1]$ 에 대하여 $\frac{2k!}{h!}B_h$ 는 반드시 정수여야 한다.
제곱 자유 정수의 구성: 모든 $v$ 에 대해 $C_k(v) \in \mathbb{Z}$ 임을 확립하기 위해, 저자들은 산술 급수 내의 소수에 관한 디리클레 정리(Dirichlet's theorem)를 활용한다. 저자들은 특정 베르누이 관련 항들의 분모의 최소공배수 $L$ 에 대해 $1 \pmod L$ 인 소수들로 구성된 제곱 자유 정수 $n$ 을 구성한다. 이러한 특정한 $n$ 들에 대해 $\phi_k(n)/\phi_1(n)$ 의 가분성을 분석함으로써, 저자들은 $C_k(\omega(n))$ 이 정수여야 함을 도출한다. 여기서 $\omega(n)$ 은 $n$ 의 서로 다른 소인수의 개수이다. $\omega(n)$ 은 임의의 정수 $v \ge 1$ 이 될 수 있으므로, $C_k(v)$ 는 모든 $v \ge 1$ 에 대해 정수이다.
폰 슈타우트-클라우젠 정리의 적용: 앞 단계에서 도출된 정수성 조건을 사용하여, 저자들은 베르누이 수의 분모를 특징짓는 폰 슈타우트-클라우젠(von Staudt–Clausen) 정리를 적용한다. 이는 다음과 같은 결정적인 성질로 이어진다: 임의의 짝수 $h \in [2, k-1]$ 와 $(p-1) \mid h$ 를 만족하는 홀수 소수 $p$ 에 대하여, 집합 $\{h+1, \dots, k\}$ 내에 $p$ 의 배수가 존재해야 한다.
모듈러 모순: 저자들은 이 성질을 다음과 같은 모듈러 잔여에 관한 엄격한 부등식으로 변환한다: 모든 홀수 소수 $p \le k$ $p \leq k$ 에 대하여,
$k \pmod p < k \pmod{p-1}$
저자들은 $k+1$ $k + 1$ 의 구조를 분석하고 특정 소수들을 테스트함으로써 $k$ $k$ 의 가능성을 체계적으로 제거한다:
- $k+1$ 은 어떠한 홀수 소인수도 가질 수 없음을 증명하며, 이는 $k+1 = 2^a$ 임을 의미한다.
- $a$ 는 반드시 짝수여야 하며, 이는 $k = 2^{2\lambda} - 1$ 로 이어진다.
- 소수 $p=7, 11, 29$ 를 이용한 모듈러 산술을 통해, $\lambda \ge 3$ 인 경우가 위에서 도출된 엄격한 부등식과 모순됨을 보여준다.

주요 기여 및 결과

추측의 증명: 본 논문은 $D_1 = \{1, 3, 15\}$ 임을 성공적으로 증명하였다.
베르누이 합에 관한 보조정리: 저자들은 특정 베르누이 합 $C_k(v)$ 의 정수성과 팩토리얼 및 베르누이 수의 가분성 사이의 새로운 연결 고리를 확립하였다.
구조적 특징 규명: 본 연구는 $\phi_1(n)$ 이 $\phi_k(n)$ 을 나누는 정수 $k$ 를 상세히 규명하며, 이를 유한한 모듈러 제약 조건의 집합으로 축소한다.

의의 및 주장
본 논문은 최근 문헌(B¨uy¨uka¸sik 등, 2024)의 미해결 추측을 해결했다고 주장한다. 저자들은 탐색 및 증명 개발 단계에서 "GPT-5.5 Pro와의 광범위한 상호작용"을 사용했음을 명시적으로 밝히고 있다. 저자는 AI의 제안이 사용되었으나, 모든 수학적 내용은 인간 저자에 의해 실질적으로 수정, 교정 및 독립적으로 검증되었으며, 저자가 이에 대한 모든 책임을 진다고 언급하였다.

본 논문은 $s > 1$ 인 경우 $D_s$ 를 평가하기 위해 이러한 기법을 확장하는 것이 자연스러운 향후 연구 방향임을 제시하며 겸손하게 결론을 맺으며, 이 산술적 문제의 범위를 벗어난 구체적인 실험적 응용이나 더 넓은 함의를 제안하지 않는다.