Ratio of sum of digits functions in two bases

당신이 숫자에 숨겨진 암호를 해독하려는 디지털 탐정이라고 상상해 보십시오. 수학의 세계에서 모든 숫자는 '진법'이라 불리는 서로 다른 '언어'로 쓰일 수 있습니다. 우리가 사용하는 0부터 9까지의 숫자인 10진법이 가장 흔하지만, 0과 1만을 사용하는 2진법이나 0, 1, 2를 사용하는 3진법으로도 숫자를 쓸 수 있습니다. 진법을 서로 다른 종류의 블록 세트라고 생각하십시오. 10진법에서 숫자는 각 층이 10의 거듭제곱을 나타내는 블록 탑인 반면, 2진법에서는 2의 거듭제곱을 나타내는 탑입니다.

이제, 그 숫자 탑에 있는 모든 블록의 총합을 계산하는 특별한 도구를 가지고 있다고 상상해 보십시오. 수학자들은 이를 '자릿수의 합'이라고 부릅니다. 만약 19라는 숫자를 가져온다면, 10진법으로는 $1 + 9 = 10$입니다. 하지만 19를 2진법으로 쓰면 $10011_2$가 되며, 이 자릿수의 합은 $1+0+0+1+1 = 3$입니다. 여기서 큰 질문은, 완전히 다른 두 언어를 비교할 때 이 자릿수의 합들이 어떻게 변하는가 하는 것입니다. 만약 당신이 서로 간단한 수학적 관계를 공유하지 않는(예를 들어 2와 3, 또는 5와 7처럼) 두 진법을 선택한다면, 그 자릿수의 합이 완벽하게 일치할 수 있을까요? 한쪽이 다른 쪽의 정확히 두 배가 되는 것과 같은 특정 비율을 가질 수 있을까요? 이것은 단순한 숫자 놀이가 아닙니다. 이는 무작위성과 질서가 수학에서 어떻게 공존하는지에 대한 깊은 미스터리를 다루며, 우주의 가장 기본적인 구성 요소들의 숨겨진 구조를 이해하는 데 도움을 줍니다.

파스칼 옐리네크(Pascal Jelinek)가 쓴 이 논문은 곧바로 그 미스터리로 뛰어듭니다. 저자는 두 '독립적인' 진법 사이에서 자릿수의 합이 어떻게 행동하는지에 대한 강력한 새로운 규칙을 증명합니다. 이전에는 이 비율이 임의의 양수에 아주 가까워질 수 있다는 것은 알고 있었지만, 그 비율이 실제로 모든 유리수(예를 들어 1/2, 3/4, 7/11 등)에 정확히 도달할 수 있는지에 대해서는 알지 못했습니다. 옐리네크는 그것이 가능하다는 것을 보여줍니다. 사실, 두 진법이 곱셈적으로 독립적이라면(즉, 2와 4처럼 하나가 다른 하나의 거듭제곱이 아닌 경우), 어떤 목표 비율을 제시하더라도 첫 번째 진법의 자릿수 합을 두 번째 진법의 자릿수 합으로 나눈 값이 그 비율과 정확히 일치하는 숫자가 무수히 많이 존재합니다.

이 논문은 단순히 "그렇게 일어난다"라고 말하는 데 그치지 않고, 이것이 무한히 자주 발생한다는 엄밀한 수학적 증명을 제공합니다. 심지어 특정 크기 아래에 그러한 숫자가 얼마나 존재하는지 추정하는 공식까지 제공하여, 비록 그 숫자들이 드물 수는 있지만 분명히 존재한다는 것을 보여줍니다. 저자는 또한 반대의 경우, 즉 진법들이 4와 16처럼 서로 연관되어 있다면 어떻게 되는지도 해결했습니다. 이 경우 비율은 특정하고 제한된 범위 내에만 머물게 되는데, 저자는 어떤 비율이 가능하고 어떤 비율이 불가능한지를 정확하게 설명합니다.

이를 시각화하기 위해, 서로 다른 두 종류의 주사위가 있다고 상상해 보십시오. 한 주사위는 0에서 9까지의 숫자가 적혀 있고(10진법), 다른 주사위는 0에서 2까지의 숫자가 적혀 있습니다(3진법). 당신은 숫자를 만들기 위해 주사위를 여러 번 던집니다. '자릿수의 합'은 당신이 얻은 총 점수와 같습니다. 옐리네크의 연구는 당신이 원하는 어떤 점수 비율을 설정하더라도(예를 들어 10진법 점수가 항상 3진법 점수의 1.5배가 되어야 함), 그 정확한 비율이 실현되게 만드는 무한한 주사위 던지기 시퀀스가 존재함을 증명하는 것과 같습니다. 또한 그는 만약 주사위들이 서로 연결되어 있다면(예를 들어 하나가 다른 하나의 재스킨 버전이라면), 아무 비율이나 가질 수 없으며, 특정된 결과값 안에 갇히게 된다는 것도 증명합니다.

이 증명은 '등차수열'을 활용한 명작입니다. 등차수열은 5, 10, 15, 20처럼 각 단계의 크기가 동일한 숫자들의 줄기라고 생각하십시오. 저자는 적절한 시작점과 단계 크기를 선택한다면, 그 수열을 따르는 자릿수의 합이 매우 예측 가능하고 거의 마법 같은 방식으로 행동한다는 것을 보여줍니다. 이들은 가능한 모든 나머지 값들에 걸쳐 고르게 분포하며, 이를 통해 저자는 비율이 목표치에 완벽하게 도달하도록 숫자를 "조율"할 수 있습니다. 이 방법은 특정 사례(예를 들어 2진법과 3진법)에 대해서만 해결했던 이전의 연구를 확장하여, 당신이 상상할 수 있는 거의 모든 진법 쌍에 적용되는 일반적인 규칙을 만들어냈습니다.

종속적인 진법(예를 들어 4와 16)의 경우, 이 논문은 엄격한 문지기 역할을 합니다. 저자는 어떤 비율도 달성할 수 없음을 증명합니다. 예를 들어, 진법 $b^k$와 $b^\ell$를 비교할 때, 자릿수 합의 비율은 $1/(b^\ell - 1)$과 $b^k - 1$ 사이의 특정 범위에 갇히게 됩니다. 저자는 이 범위 내의 모든 유리수가 무수히 많은 횟수로 도달 가능하다는 것을 입증하는 동시에, 그 범위를 벗어나는 것은 불가능하다는 것을 보여줍니다. 이는 우리에게 영역의 완전한 지도를 제공합니다. 즉, 우리는 이제 두 진법의 관계에 따라 어떤 비율이 가능하고 어떤 비율이 금지되는지 정확히 알게 되었습니다.

그렇다면 결론은 무엇일까요? 만약 당신이 수학적으로 서로 "낯선" 두 진법을 선택한다면, 숫자의 우주는 당신이 꿈꾸는 어떤 자릿수 합 비율도 만족시키는 무한한 공급원을 품고 있습니다. 만약 진법들이 "친척" 관계라면 가능성은 더 제한적이겠지만, 여전히 완벽하게 예측 가능합니다. 옐리네크의 연구는 "아마도 이런 비율이 존재할지도 모른다"라는 막연한 희망을 구체적이고 증명된 사실로 바꾸어 놓았으며, 수학자들이 수년간 풀고자 했던 퍼즐의 잃어잃은 조각들을 채워 넣었습니다. 이는 정수라는 엄격한 세계 속에서도, 발견되기를 기다리는 놀라운 유연성과 무한한 다양성이 존재한다는 것을 상기시켜 줍니다.