Ratio of sum of digits functions in two bases

Imaginez que vous soyez un détective numérique tentant de percer un code caché à l'intérieur des nombres. Dans le monde des mathématiques, chaque nombre peut être écrit dans différentes « langues » appelées bases. La plus courante est la base 10, où nous utilisons les chiffres de 0 à 9. Mais vous pourriez tout aussi bien écrire en base 2 (en utilisant uniquement des 0 et des 1) ou en base 3 (en utilisant 0, 1 et 2). Considérez une base comme un ensemble différent de blocs de construction : en base 10, un nombre est une tour de blocs où chaque niveau représente une puissance de 10 ; en base 2, c'est une tour de puissances de 2.

Imaginez maintenant que vous avez un outil spécial qui compte la valeur totale de tous les blocs de la tour d'un nombre. Les mathématiciens appellent cela la « somme des chiffres ». Si vous prenez le nombre 19, en base 10, c'est $1 + 9 = 10$. Mais si vous écrivez 19 en base 2, cela ressemble à $10011_2$, et la somme de ses chiffres est $1+0+0+1+1 = 3$. La grande question qui intrigue les mathématiciens depuis des décennies est la suivante : qu'arrive-t-il si vous comparez ces sommes à travers deux langues complètement différentes ? Si vous choisissez deux bases qui ne partagent pas une relation mathématique simple (comme 2 et 3, ou 5 et 7), les sommes de leurs chiffres s'alignent-elles parfaitement ? Peuvent-elles atteindre un ratio spécifique, comme l'un étant exactement le double de l'autre ? Ce n'est pas seulement un jeu de nombres ; cela touche aux mystères profonds de la façon dont le hasard et l'ordre coexistent dans les mathématiques, nous aidant à comprendre la structure cachée des blocs de construction les plus basiques de l'univers.

Cet article, écrit par Pascal Jelinek, plonge directement dans ce mystère. L'auteur prouve une nouvelle règle puissante sur la façon dont ces sommes de chiffres se comportent lorsqu'on passe d'une base à une autre « indépendante ». Avant cela, nous savions que le ratio de ces sommes pouvait s'approcher arbitrairement de n'importe quel nombre positif, mais nous ne savions pas si elles pouvaient réellement atteindre exactement chaque nombre rationnel (comme 1/2, 3/4 ou 7/11). Jelinek montre qu'elles le font. En fait, pour deux bases quelconques qui sont multiplicativement indépendantes (ce qui signifie que l'une n'est pas simplement une puissance de l'autre, comme 2 et 4), et pour tout ratio cible que vous pouvez nommer, il existe une infinité de nombres où la somme des chiffres de la première base divisée par la somme des chiffres de la seconde base est égale exactement à ce ratio.

L'article ne se contente pas de dire « cela arrive » ; il fournit une preuve mathématique rigoureuse que cela arrive infiniment souvent. Il donne même une formule pour estimer combien de ces nombres on peut trouver en dessous d'une certaine taille, montant que, bien qu'ils puissent être rares, ils sont bel et bien présents. L'auteur résout également l'autre côté de la pièce : que se passe-t-il si les bases sont liées, comme la base 4 et la base 16 ? Dans ce cas, l'article prouve que le ratio ne peut tomber que dans une plage spécifique et limitée, et il décrit exactement quels ratios sont possibles et lesquels sont impossibles.

Pour visualiser cela, imaginez deux types de dés différents. Un dé possède des faces numérotées de 0 à 9 (base 10), et un autre possède des faces de 0 à 2 (base 3). Vous lancez un nombre de fois pour construire un nombre. La « somme des chiffres » est simplement le score total que vous obtenez. Le travail de Jelinek est comparable à prouver que, quel que soit le ratio de score que vous souhaitez obtenir entre les deux dés (disons, le score en base 10 est toujours 1,5 fois le score en base 3), il existe une séquence infinie de lancers qui fera que ce ratio exact se produise. Il prouve également que si les dés sont d'une certaine manière liés (comme si l'un était simplement une version révisée de l'autre), vous ne pouvez pas obtenir n'importe quel ratio ; vous êtes coincé avec un ensemble spécifique de résultats.

La preuve est un chef-d'œuvre d'utilisation des « progressions arithmétiques ». Considérez cela comme une ligne de nombres où chaque étape est de la même taille, comme 5, 10, 15, 20. L'auteur montre que si vous choisissez le bon point de départ et la bonne taille d'étape, les sommes de chiffres le long de cette ligne se comportent d'une manière très prévisible, presque magique. Elles se distribuent uniformément à travers tous les restes possibles, permettant à l'auteur de « régler » les nombres jusqu'à ce que le ratio atteigne la cible parfaitement. Cette méthode étend les travaux précédents qui ne résolvaient le problème que pour des cas spécifiques (comme la base 2 et la base 3) à une règle générale qui fonctionne pour presque toutes les paires de bases que vous pouvez imaginer.

Dans le cas des bases dépendantes (comme la base 4 et la base 16), l'article agit comme un gardien strict. Il prouve que vous ne pouvez pas atteindre n'importe quel ratio. Par exemple, si vous comparez la base $b^k$ et la base $b^\ell$, le ratio des sommes de chiffres est piégé entre $1/(b^\ell - 1)$ et $b^k - 1$. L'auteur démontre que chaque nombre rationnel à l'intérieur de ce piège est atteignable une infinité de fois, mais rien en dehors de celui-ci n'est possible. Cela donne une carte complète du territoire : nous savons désormais exactement quels ratios sont possibles et lesquels sont interdits, selon la relation entre les deux bases.

Alors, quelle est la conclusion ? Si vous choisissez deux bases qui sont mathématiquement des « étrangères » l'une pour l'autre, l'univers des nombres est assez riche pour contenir une réserve infinie de nombres qui satisfont n'importe quel ratio de somme de chiffres dont vous pouvez rêver. Si les bases sont des « parentes », les possibilités sont plus limitées, mais restent parfaitement prévisibles. Le travail de Jelinek transforme un espoir vague selon lequel « peut-être que ces ratios existent » en un fait concret et prouvé, complétant les pièces manquantes d'un puzzle que les mathématiciens tentent de résoudre depuis des années. C'est un rappel que même dans le monde rigide des entiers, il existe une flexibilité surprenante et une variété infinie attendant d'être découvertes.