Another inequality inspired by Erdős

당신은 정수론이라는 거대한, 고요한 도서관에서 일하는 탐정이라고 상상해 보십시오. 정수론은 정수의 숨겨진 비밀에 헌신하는 수학의 한 분야입니다. 이 세계에서 숫자는 단순히 사과의 개수를 세는 도구가 아닙니다. 숫자들은 각자의 성격과 관계, 그리고 엄격한 규칙을 가진 캐릭터들입니다. 이 도서관의 가장 유명한 규칙 중 하나는 '베르트랑 공준(Bertrand Postulate)'입니다. 이는 수 세기 전의 관찰로, 만약 당신이 6보다 큰 어떤 수를 선택한다면, 그 숫자 바로 아래의 특정 이웃 구역에 적어도 하나의 소수(1과 자기 자신으로만 나누어지는 수)가 항상 숨어 있다는 법칙입니다. 폴 에르되시(Paul Erdős)와 같은 전설적인 수학자들은 이 규칙들을 증명하기 위해 이항 계수(조합의 수를 세는 것과 같은 방식)를 이용한 영리한 기술들을 사용해 왔습니다. 하지만 때때로 가장 흥미로운 미스터리는 크고 요란한 정리(theorem)가 아니라, 그 증명을 단순화하려고 할 때 나타나는 조용하고 기묘한 부등식들입니다. 이것들은 수학자들로 하여금 "이것이 항상 참인가, 아니면 숫자 속에 교활한 예외가 숨어 있는 것인가?"라며 머리를 긁적이게 만드는 '이상한 현상(oddities)'들입니다.

"Erdős로부터 영감을 받은 또 다른 부등식(Another Inequality Inspired by Erdős)"이라는 제목의 이 논문은 이러한 교활한 부등식 중 하나를 깊이 있게 파고듭니다. 저자인 바로라 바티코바(Barora Batíková), 토마시 J. 케프카(Tomáš J. Kepka), 페트르 C. 네메츠(Petr C. Němec)는 양의 정수와 관련된 특정한 수학적 관계를 조사하고 있습니다. 그들은 모든 수 $n$에 대해 다음과 같은 몇 가지 특별한 '캐릭터'들을 정의합니다: $2n$ 안에 3이 몇 번 들어가는지와 관련된 값 $z(n)$, $\sqrt{2n}$과 관련된 값 $m(n)$, 그리고 2의 거듭제곱과 관련된 값 $r(n)$. 그 후 이들을 결합하여 복잡한 식 $y(n)$을 만들고, 다음과 같은 단순한 질문을 던집니다: 이 식은 항상 음수인가, 항상 양수인가, 아니면 왔다 갔다 하는가? 이 논문은 이 식이 결코 정확히 0이 되지 않음을(결코 선 위에 완벽하게 안착하지 않음을) 증명하며, 어떤 숫자들이 이를 음수로 만들고 어떤 숫자들이 이를 양수로 만드는지 정확하게 그려냅니다. 이것은 마치 아주 긴 거리의 모든 집을 돌며 불이 켜져 있는지 꺼져 있는지 확인하는 것과 같습니다. 대부분의 집은 어떤 패턴을 따르지만, 몇몇 특정 주소에서는 불빛이 다르게 행동한다는 것을 발견하는 과정입니다.

위대한 숫자 찾기

이야기는 과거를 돌아보는 것으로 시작됩니다. 1845년, J. 베르트랑이라는 수학자는 대담한 추측을 했습니다: 6보다 큰 임의의 수 $n$에 대하여, $n-2$와 $n^2$ 사이에는 항상 소수가 존재한다는 것입니다. 이후, 우아하고 단순한 증명으로 유명한 천재 폴 에르되시는 이 아이디어의 약간 변형된 버전을 증명하기 위해 새로운 방법을 고안해 냈습니다. 그 과정에서 그는 몇 가지 특이한 부등식들을 발견했습니다. $x(n)$이라 불리는 값을 포함하는 이 중 하나는 이 저자들의 이전 논문에서 이미 연구되었습니다. 그들은 $x(n)$이 대개 음수이지만, 436, 451, 529, 545, 546이라는 아주 적은 수의 숫자에서 정확히 0이 된다는 것을 발견했습니다.

이제 저자들은 자신들의 첫 번째 부딩식의 형제 격인, $y(n)$이라 불리는 '친족' 부등식에 주의를 돌립니다. 이 새로운 식은 2의 거듭제곱과 $n$의 거듭제곱을 혼합하여 더욱 복잡합니다. 이 논문의 목표는 퍼즐을 푸는 것입니다: 어떤 양의 정수 $n$에 대해 $y(n)$이 0보다 작습니까? 그리고 결정적으로, $y(n)$이 정확히 0이 되는 경우가 있습니까?

두 갈래의 공격

이를 해결하기 위해 저자들은 돋보기와 첨단 스캐너를 모두 사용하는 탐정처럼 두 가지 다른 전략을 사용합니다.

전략 1: 순수 산술적 접근법
먼저, 그들은 미분적분학의 매끄러운 곡선을 사용하지 않고 오직 정수의 규칙만을 엄격히 따르는 '순수 산술'을 사용합니다. 그들은 무한한 수직선을 관리 가능한 덩어리들로 나눕니다. 그들은 특정 범위의 숫자들에 대해 $m(n)$과 $r(n)$의 값이 동일하게 유지된다는 점을 깨닫습니다. 이를 통해 숫자들을 구간(interval)으로 그룹화할 수 있습니다.

그들은 이 구간들의 거대한 지도를 만듭니다. 예를 들어, 1부터 403까지의 숫자들을 살펴보고 각 블록에서 $y(n)$의 부호를 확인합니다. 그들은 작은 숫자들(예: 1, 2, 3, 4)의 경우 $y(n)$이 양수라는 것을 발견합니다. 하지만 $n=5$부터는 음수로 바뀝니다. 한동안 음수로 유지되지만, 마치 롤러코스터처럼 특정 구간에서 내려갔다 올라가기도 합니다.

거듭제곱에 대한 신중한 계산과 비교(예를 들어 $2^{20}$이 $3^{15}$보다 큰지 확인하는 것)를 통해, 그들은 $y(n)$이 음수인 특정 범위들을 증명합니다:

• 5부터 335까지.
• 338부터 350까지.
• 365부터 368까지.

또한 그들은 $y(n)$이 결코 0이 되지 않음을 증명합니다. 이것은 엄격한 "이것 아니면 저것"의 상황입니다. 숫자는 양수이거나 음수일 뿐, 결코 울타리 위에 앉아 있지 않습니다. 1부터 4까지, 그리고 336, 337, 351부터 364까지, 그리고 369 이상의 모든 숫자에 대해서는 $y(n)$이 양수입니다.

전략 2: 미적분 접근법
자신들의 작업이 연속적인 수학의 관점으로 보았을 때도 유효함을 보여주기 위해, 저자들은 기초 미적분학을 사용합니다. 그들은 이 이산적인 정수 문제를 모방하는 매끄럽고 물결치는 함수 $F(x)$를 만들어 냅니다.

그들은 이 곡선의 형태를 분석합니다. 그들은 곡선이 결국 영원히 위를 향해 올라가기 시작한다는 것을 보여줍니다. 곡선이 "제로 라인"(x축)을 통과하는 지점을 찾아냄으로써, 그들은 정수 값인 $y(n)$이 어디서 양수이고 어디서 음수여나 될지를 예측할 수 있습니다.

• 그들은 $n$이 매우 클 때(구체적으로 $n \ge 404$일 때), 그 값이 확실히 양수임을 증명합니다.
• 곡선을 사용하여 탐색 영역을 좁히고, "음수"의 거동이 반드시 특정 창(대략 5에서 379 사이) 내에서 발생해야 함을 확인합니다.
• 이 창 안의 구체적인 정수 지점들을 확인함으로써, 첫 번째 전략에서 찾은 정확한 경계들을 확증합니다.

최종 판결

논문은 영역의 확정적인 지도를 제시하며 마무리됩니다. 부등식 $y(n) < 0$ (즉, 식이 음수인 경우)은 다음 세 그룹 중 하나에 속할 때만 성립합니다:

1. $5 \le n \le 335$
2. $338 \le n \le 350$
3. $365 \le n \le 368$

반대로, $n$이 1과 4 사이이거나, 음수 구역 사이의 간격에 있거나, 혹은 $n$이 369 이상일 때 $y(n) > 0$ (즉, 식이 양수인 경우)입니다.

가장 중요한 점은, 저자들이 어떤 양의 정수에 대해서도 $y(n)$이 결코 0과 같지 않음을 절대적으로 확신하며 증명했다는 것입니다. 식이 완벽하게 사라지는 "마법의 숫자"는 존재하지 않습니다. 그것은 중립적인 지대가 없는, 엄격한 이진법의 세계입니다.

이 연구는 전통적인 숫자 계산과 현대적인 분석 도구를 결합하는 힘을 보여주는 증거입니다. 비전문가에게는 이 결과가 지엽적인 퍼즐처럼 보일 수도 있지만, 이는 수학의 토대를 견고하게 유지하는 세심하고 단계적인 검증의 종류를 나타냅니다. 이는 추상적인 숫자의 세계에서도 모든 단일 사례가 중요하며, 때로는 예외가 존재하지 않는 곳을 정확히 아는 것이 가장 흥미로운 발견이 될 수 있음을 보여줍니다.