Ratio of sum of digits functions in two bases

Imagine que você é um detetive digital tentando decifrar um código escondido dentro de números. No mundo da matemática, cada número pode ser escrito em diferentes "linguagens" chamadas bases. A mais comum é a base 10, onde usamos dígitos de 0 a 9. Mas você poderia tão facilmente escrever números na base 2 (usando apenas 0s e 1s) ou na base 3 (usando 0, 1 e 2). Pense em uma base como um conjunto diferente de blocos de construção: na base 10, um número é uma torre de blocos onde cada nível representa uma potência de 10; na base 2, é uma torre de potências de 2.

Agora, imagine que você tem uma ferramenta especial que conta o valor total de todos os blocos na torre de um número. Matemáticos chamam isso de "soma dos dígitos". Se você pegar o número 19, na base 10 ele é $1 + 9 = 10$. Mas se você escrever 19 na base 2, ele fica como $10011_2$, e a soma desses dígitos é $1+0+0+1+1 = 3$. A grande questão que intrigou matemáticos por décadas é: o que acontece se compararmos essas somas de dígitos entre duas linguagens completamente diferentes? Se você escolher duas bases que não compartilham uma relação matemática simples (como 2 e 3, ou 5 e 7), as somas de seus dígitos algum dia se alinham perfeitamente? Elas algum dia atingem uma proporção específica, como uma ser exatamente o dobro da outra? Isso não é apenas um jogo de números; toca em mistérios profundos sobre como a aleatoriedade e a ordem coexistem na matemática, ajudando-nos a entender a estrutura oculta dos blocos de construção mais básicos do universo.

Este artigo, escrito por Pascal Jelinek, mergulha direto nesse mistério. O autor prova uma nova regra poderosa sobre como essas somas de dígitos se comportam quando você alterna entre duas bases "independentes". Antes disso, sabíamos que a razão dessas somas poderia chegar arbitrariamente perto de qualquer número positivo, mas não sabíamos se elas poderiam realmente atingir cada número racional (como 1/2, 3/4 ou 7/11) exatamente. Jelinek mostra que elas o fazem. Na verdade, para quaisquer duas bases que sejam multiplicativamente independentes (significando que uma não é apenas uma potência da outra, como 2 e 4), e para qualquer razão alvo que você possa nomear, existem infinitos números onde a soma dos dígitos na primeira base dividida pela soma dos dígitos na segunda base é igual àquela razão exatamente.

O artigo não diz apenas "isso acontece"; ele fornece uma prova matemática rigorosa de que isso acontece infinitamente muitas vezes. Ele até fornece uma fórmula para estimar quantos desses números você pode encontrar abaixo de um certo tamanho, mostrando que, embora possam ser raros, eles estão definitivamente lá. O autor também resolve o outro lado da moeda: e se as bases forem relacionadas, como base 4 e base 16? Nesse caso, o artigo prova que a razão pode cair apenas dentro de um intervalo específico e limitado, e descreve exatamente quais razões são possíveis e quais são impossíveis.

Para visualizar isso, imagine dois tipos diferentes de dados. Um dado tem faces numeradas de 0 a 9 (base 10), e outro tem faces de 0 a 2 (base 3). Você joga um número de vezes para construir um número. A "soma dos dígitos" é apenas a pontuação total que você obtém. O trabalho de Jelinek é como provar que, não importa qual proporção de pontuação você queira alcançar entre os dois dados (digamos, a pontuação da base 10 é sempre 1,5 vezes a pontuação da base 3), existe uma sequência infinita de jogadas que fará com que essa razão exata aconteça. Ele também prova que, se os dados estiverem de alguma forma ligados (como se um fosse apenas uma versão reestilizada do outro), você não pode obter qualquer razão; você está preso a um conjunto específico de resultados.

A prova é uma aula magistral no uso de "progressões aritméticas". Pense nisso como uma linha de números onde cada passo é do mesmo tamanho, como 5, 10, 15, 20. O autor mostra que, se você escolher o ponto de partida e o tamanho do passo certos, as somas dos dígitos ao longo dessa linha se comportam de uma maneira muito previsível, quase mágica. Elas se distribuem uniformemente através de todos os restos possíveis, permitindo que o autor "ajuste" os números até que a razão atinja o alvo perfeitamente. Este método estende trabalhos anteriores que resolviam o problema apenas para casos específicos (como base 2 e base 3) para uma regra geral que funciona para quase qualquer par de bases que você possa imaginar.

No caso de bases dependentes (como base 4 e base 16), o artigo atua como um rigoroso guardião. Ele prova que você não pode alcançar qualquer razão. Por exemplo, se você estiver comparando base $b^k$ e base $b^\ell$, a razão das somas dos dígitos está presa entre $1/(b^\ell - 1)$ e $b^k - 1$. O autor demonstra que cada número racional dentro deste limite é alcançável infinitas vezes, mas nada fora dele é possível. Isso nos dá um mapa completo do território: agora sabemos exatamente quais razões são possíveis e quais são proibidas, dependendo da relação entre as duas bases.

Então, qual é a conclusão? Se você escolher duas bases que são "estranhas" matemáticas uma à outra, o universo dos números é rico o suficiente para conter um suprimento infinito de números que satisfaçam qualquer razão de soma de dígitos que você possa imaginar. Se as bases são "parentes", as possibilidades são mais limitadas, mas ainda perfeitamente previsíveis. O trabalho de Jelinek transforma uma esperança vaga de que "talvez essas razões existam" em um fato concreto e provado, preenchendo as peças que faltavam de um quebra-cabeça que matemáticos tentam resolver há anos. É um lembrete de que, mesmo no mundo rígido dos inteiros, há uma quantidade surpreendente de flexibilidade e variedade infinita esperando para ser descoberta.