Solution of Erd\H{o}s problem $\# 443$

Imaginez un monde où les nombres ne sont pas de simples chiffres froids et durs, mais plutôt des joueurs dans une immense partie de cache-cache invisible. C'est le royaume de la théorie des nombres, une branche des mathématiques qui traite les entiers comme des personnages uniques dotés d'identités secrètes. Dans ce jeu, nous regardons souvent des « ensembles » — qui sont simplement des mots sophistiqués pour désigner des collections de nombres — créés en suivant une règle spécifique. Par exemple, si vous prenez un nombre, que vous le multipliez par son partenaire (le nombre qui complète un certain total), et que vous listez tous les résultats, vous obtenez un motif unique. Les mathématiciens adorent se demander : « Si je crée deux motifs différents en utilisant des règles différentes, combien de nombres auront en commun ? » C'est comme demander combien de mots apparaissent à la fois dans un dictionnaire de poésie ancienne et dans un dictionnaire d'argot moderne. La question peut sembler être un casse-tête pour un club de mathématiques, mais elle nous aide à comprendre l'architecture cachée des nombres, révélant si les motifs sont rares, communs ou totalement imprévisibles.

Le document dont vous allez entendre parler s'attaque à une énigme spécifique posée par le légendaire mathématicien Paul Erdős. Il s'interrogeait sur deux collections spéciales de nombres. La première collection est constituée en prenant un nombre $m$, en choisissant un nombre plus petit $k$ (de 1 jusqu'à la moitié de $m$), et en calculant le produit $k(m-k)$. La seconde collection fait exactement la même chose, mais avec un nombre $n$ différent. La grande question était : à mesure que ces nombres deviennent énormes, combien d'« amis communs » (des nombres qui apparaissent dans les deux listes) peuvent-ils partager ? Erdős supposait que, bien que le nombre d'amis partagés puisse croître, il croîtrait très lentement — si lentement que, pour n'importe quelle infime marge d'erreur que vous choisissez, le compte serait finalement inférieur à une formule mathématique spécifique impliquant la taille des nombres. Il demandait également si ce nombre d'amis partagés pouvait croître sans jamais s'arrêter, ou s'il finirait par heurter un plafond.

L'auteur de ce document, Stijn Cambie, agit comme un détective résolvant ce mystère vieux de plusieurs décennies. Il confirme que le nombre d'amis partagés est effectivement non borné, ce qui signifie qu'il peut devenir aussi grand que vous le souhaitez si vous choisissez les bons nombres $m$ et $n$. Pour prouver cela, il utilise une astuce ingénieuse : il montre que trouver un nombre partagé revient à trouver un moyen de décomposer une différence de carrés spécifique en deux morceaux plus petits. Cela transforme le problème en un comptage de « diviseurs » (les blocs de construction) d'un nombre. Puisque nous savons que certains nombres possèdent un nombre énorme de diviseurs, Cambie prouve que nous pouvons toujours trouver des paires de $m$ et $n$ qui créent un nombre massif d'amis partagés.

Cependant, le document impose également une limite de vitesse stricte à cette croissance. Cambie démontre que, bien que le nombre d'amis partagés puisse devenir énorme, il croît incroyablement lentement — si lentement qu'il correspond à la supposition de la « marge infime » faite par Erdős. Il montre que le compte est limité par une fonction qui est essentiellement « presque constante » par rapport à la taille des nombres impliqués. En termes simples, même si vous choisissez les meilleurs nombres possibles pour maximiser le chevauchement, le nombre d'amis partagés n'explosera jamais ; il restera toujours une infime fraction du total des nombres impliqués.

Il est intéressant de noter que le document révèle un rebondissement dans l'histoire : ce problème n'était pas réellement une nouvelle découverte. L'auteur note qu'un mathématicien nommé Norbert Hegyvári a résolu ce problème exact 40 ans plus tôt, mais que sa preuve n'a été publiée que récemment. Ainsi, bien que ce document apporte une explication fraîche et claire et confirme la réponse, le statut de problème « résolu » appartient en réalité à ce travail antérieur longtemps caché. Le document ne se contente pas de deviner ; il fournit une preuve mathématique, montrant exactement comment le nombre d'amis partagés se comporte et confirmant qu'il est à la fois non borné et étonnamment petit par rapport à la taille des nombres utilisés.