🔢 mathematics

Arithmetic progressions of integers that are relatively prime to their digital sums

이 논문은 정수 $b \geq 2$ 에 대하여, 어떤 양의 정수가 그 $b$ 진법 표기법의 자릿수 합과 서로소인 경우를 ' $b$ -anti-Niven'이라 정의하고, 이러한 수들로 이루어진 등차수열의 최대 길이를 연구합니다.

원저자: Ryan Blau, Joshua Harrington, Sarah Lohrey, Eliel Sosis, Tony W. H. Wong

게시일 2026-02-10

📖 2 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Ryan Blau, Joshua Harrington, Sarah Lohrey, Eliel Sosis, Tony W. H. Wong

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

1. 배경 설명: "겉과 속이 다른 숫자들"

우리가 쓰는 숫자에는 두 가지 면이 있습니다.

겉모습 (The Number): 숫자 그 자체 (예: 12)
속마음 (The Digital Sum): 그 숫자를 이루는 각 자릿수를 다 더한 값 (예: 1 + 2 = 3)

수학자들은 이 둘 사이의 관계를 연구해 왔습니다. 어떤 숫자들은 겉모습이 속마음으로 딱 나누어떨어지기도 합니다(이걸 논문에서는 **'Niven(니븐) 수'**라고 불러요). 예를 들어, 12는 속마음인 3으로 나누어떨어지죠.

하지만 이 논문이 주인공으로 삼은 숫자는 정반대입니다. 바로 **'안티-니븐(anti-Niven) 수'**입니다. 이들은 겉모습과 속마음이 서로 아무런 공통점(약수)이 없는, 아주 독립적이고 개성 넘치는 숫자들입니다. 12와 3처럼 서로 엮이지 않고, "우리는 서로 상관없는 사이야!"라고 외치는 숫자들인 셈이죠.

2. 이 논문의 핵심 질문: "개성 강한 숫자들의 행진"

논문 저자들은 이런 질문을 던집니다.

"이렇게 개성 강한(안티-니븐) 숫자들만 모여서, 일정한 간격으로 줄을 서서 행진(등차수열)을 할 수 있을까? 만약 그렇다면, 그 줄은 최대 몇 명까지 길게 늘어설 수 있을까?"

여기서 '등차수열'이란, 2, 4, 6, 8처럼 일정한 간격(여기서는 2)을 두고 서 있는 상태를 말합니다.

3. 논문의 주요 발견 (비유로 풀기)

① "영원한 행진은 없다" (Theorem 2.3)

아무리 개성 넘치는 숫자(안티-니븐)들이라도, 일정한 간격으로 무한히 계속 줄을 서서 행진할 수는 없습니다. 결국 중간에 겉모습과 속마음이 서로 엮여버리는(나누어떨어지는) 숫자가 반드시 나타나기 때문입니다. 즉, **"모두가 개성적인 모임은 결국 끝이 난다"**는 뜻입니다.

② "길이는 정해져 있다" (Theorem 2.5 & 3.2)

행진의 길이는 숫자의 진법(예: 10진법, 2진법 등)에 따라 제한됩니다. 논문은 특정 조건에서 이 행진의 최대 길이가 얼마인지 수학적으로 계산해냈습니다. 마치 **"이 운동장에서는 아무리 줄을 길게 세워도 10명 이상은 못 세운다"**라고 규칙을 정해준 것과 같습니다.

③ "하지만 아주 긴 줄도 만들 수 있다" (Theorem 2.4)

비록 무한할 수는 없지만, 우리가 원하는 만큼 아주 긴 줄(예: 100명, 1000명)을 만드는 것은 가능합니다. 다만, 그 줄을 만들기 위해서는 숫자들 사이의 간격( $d$ )을 아주 아주 넓게 잡아야 합니다. 마치 **"사람들이 서로 안 겹치게 하려면, 아주 넓은 간격을 두고 서야 한다"**는 원리와 같습니다.

4. 요약하자면

이 논문은 **"숫자의 값과 자릿수의 합이 서로 '남남'인 상태를 유지하면서, 일정한 간격으로 늘어설 수 있는 최대 길이는 얼마인가?"**라는 문제를 아주 정교하게 풀어낸 연구입니다.

Niven 수: 겉과 속이 잘 어울리는 '화합형' 숫자
Anti-Niven 수: 겉과 속이 철저히 독립적인 '개성파' 숫자
논문의 결론: 개성파 숫자들끼리 줄을 세울 수는 있지만, 그 줄은 반드시 끝이 있으며, 그 길이는 숫자의 규칙(진법)에 의해 엄격히 제한된다!

수학이라는 렌즈를 통해 숫자들이 가진 '관계의 규칙'을 찾아낸 흥미로운 탐험기라고 할 수 있습니다.

1. 연구 문제 (Problem Statement)

본 논문은 정수의 **진법 기반 자릿수 합(digital sum)**과 해당 정수 사이의 **상대성(relativity)**을 다룹니다.

정의: 임의의 진법 $b \ge 2$ 에 대하여, 정수 $n$ 이 $b$ -진법 자릿수 합 $s_b(n)$ 과 서로소( $\gcd(n, s_b(n)) = 1$ )일 때, 이를 $b$ -anti-Niven 수라고 정의합니다. (참고: $s_b(n)$ 이 $n$ 을 나누면 $b$ -Niven 수라고 함)
핵심 질문: $b$ -anti-Niven 수들로만 구성된 **등차수열(Arithmetic Progression, AP)**의 최대 길이는 얼마인가? 또한, 특정 조건 하에서 이러한 수열이 무한히 존재하는가?

2. 연구 방법론 (Methodology)

저자들은 수론적 접근법을 사용하여 다음과 같은 단계로 연구를 진행했습니다.

필요충분조건 도출: 특정 등차수열이 $b$ -anti-Niven 수를 포함할 조건( $\gcd(n, d, b-1) = 1$ )을 증명했습니다.
상한(Upper Bound) 설정: 진법 $b-1$ 의 소인수와 등차수열의 공차 $d$ 사이의 관계를 이용하여, 특정 조건에서 AP의 길이가 제한됨을 보였습니다.
하한(Lower Bound) 및 존재성 증명: 오일러 정리(Euler's Theorem)와 잉여류(residue classes) 개념을 활용하여, 특정 길이를 가진 $b$ -anti-Niven AP가 무한히 많이 존재함을 수학적으로 입증했습니다.

3. 주요 연구 결과 (Key Results)

A. 일반적 성질 (General Properties)

무한 길이의 불가능성: 어떤 $d$ 에 대해서도 무한한 길이의 $b$ -anti-Niven $d$ -AP는 존재할 수 없습니다 (Theorem 2.3).
임의 길이의 존재성: 하지만 임의의 정수 $t$ 에 대하여, 길이가 $t$ 인 $b$ -anti-Niven $d$ -AP는 항상 존재합니다 (Theorem 2.4).

B. 특정 AP에 대한 최대 길이 (Maximum Lengths)

연속된 수열 (1-AP): $b > 2$ 일 때, $b-1$ 을 나누는 가장 작은 소수를 $p$ 라고 하면, 연속된 $b$ -anti-Niven 수의 최대 길이는 $p-1$ 입니다 (Theorem 3.2).
공차가 2인 수열 (2-AP): $b$ 가 $2r+1$ 형태가 아닐 때, $b-1$ 을 나누는 가장 작은 홀수 소수 $p$ 에 대해 최대 길이는 $p-1$ 입니다 (Theorem 3.3).
공차가 $b-1$ 인 수열: $b$ 가 짝수일 때, 최대 길이는 $2b+1$ 이며, 이러한 수열은 무한히 존재합니다 (Theorem 3.5). 특히 $b=2$ 인 경우 연속된 2-anti-Niven 수의 최대 길이는 5입니다 (Corollary 3.6).

C. 상한과 하한의 차이

$b$ 가 짝수이고 $d$ 가 홀수인 특정 경우, 최대 길이는 $\lceil 2b/d \rceil + 2$ 로 제한될 수 있음을 보였습니다 (Theorem 3.4).

4. 연구의 의의 (Significance)

Niven 수 연구의 확장: 기존 연구들이 $s_b(n)$ 이 $n$ 을 나누는 경우( $b$ -Niven)에 집중했다면, 본 논문은 그 반대 조건인 상대성(coprimality) 조건에 대한 체계적인 분석을 제공했습니다.
진법과 수론적 성질의 연결: 정수의 자릿수 합이라는 '진법적 성질'과 서로소라는 '수론적 성질'이 등차수열 내에서 어떻게 상호작용하는지를 엄밀하게 규명했습니다.
새로운 추측 제시: 연구 결과를 바탕으로, $b$ 가 홀수이거나 $d$ 가 짝수인 경우에 대한 새로운 수학적 추측(Conjecture 4.3, 4.4)을 제시함으로써 후속 연구의 방향성을 열어주었습니다.

요약 키워드: $b$ -anti-Niven numbers, Arithmetic Progressions, Digital Sum, Coprimality, Number Theory.