Douve de Gauss

En théorie des nombres, le problème des douves gaussiennes est de déterminer s'il existe une suite infinie de nombres premiers gaussiens distincts tels que la différence entre deux entiers consécutifs de la suite soit bornée.

Les nombres premiers gaussiens de parties réelle et imaginaire au plus sept, montrant des portions d'une douve gaussienne de largeur deux.

Description

Une façon imagée de présenter le problème est de considérer les entiers premiers gaussiens comme des pieux dans une « mer de nombres complexes » ; la question est de savoir si l'on peut marcher de l'origine à l'infini sur ces pieux, avec des pas de longueur bornée, sans se mouiller. Le problème a été posé pour la première fois en 1962 par Basil Gordon (et parfois été attribué à tort à Paul Erdős[1]) et il n'est toujours pas résolu[2],[3].

Avec les nombres premiers usuels, une telle suite n'existe pas : le théorème des nombres premiers implique qu'il y a des écarts entre nombres premiers arbitrairement grands dans la suite des nombres premiers, et de façon plus élémentaire, il y a preuve directe élémentaire : pour tout , les entiers consécutifs sont tous des entiers composés.

Entiers de Gauss de norme au plus 500. Les carrés noirs sont autant de pieux permettant de traverser la mer des nombres complexes sans se mouiller, à condition de faire des pas assez grands.

Le problème de trouver un chemin entre deux nombres premiers gaussiens qui minimise la taille maximale du saut est une instance du problème du chemin minimax (en), et la taille du pas dans un chemin optimal est égale à la largeur de la plus large douve entre les deux nombres premiers ; une douve est définie comme une partition des nombres premiers en deux sous-ensembles et sa largeur est la distance de la paire la plus proche qui a un élément dans chaque sous-ensemble. Ainsi, le problème des douves gaussiennes peut être formulé sous la forme équivalente suivante : existe-t-il une borne finie sur les largeurs des douves qui ont un nombre fini de nombres premiers du côté de l'origine ?

Résultats

Des calculs numériques ont montré que l'origine est séparée de l'infini par une douve de largeur 6[4], ce qui améliore la borne précédente de Gethner, Wagon et Wick[2] qui était de . On sait aussi que, pour tout nombre k positif, il existe des nombres premiers gaussiens dont le plus proche voisin est à distance k ou plus. Ces nombres peuvent même être pris sur l'axe réel. Par exemple, le nombre 20785207 est entouré d'une douve de largeur 17. Ainsi, il existe bien des douves de largeur arbitrairement grande, mais ces douves ne séparent pas nécessairement l'origine de l'infini[2].

Notes et références

  1. Par exemple dans : James H. Jordan et John R. Rabung, « A conjecture of Paul Erdős concerning Gaussian primes », Math. Comp., vol. 24, , p. 221–223. Une discussion détaillée est dans les « Notes du Theorem of the day ».
  2. Ellen Gethner, Stan Wagon et Brian Wick, « A stroll through the Gaussian primes », The American Mathematical Monthly, vol. 105, no 4, , p. 327–337 (DOI 10.2307/2589708, JSTOR 2589708, Math Reviews 1614871, zbMATH 0946.11002, lire en ligne)
  3. Richard K. Guy, Unsolved problems in number theory, Springer-Verlag, , 3e éd. (ISBN 978-0-387-20860-2, zbMATH 1058.11001), p. 55–57
  4. Nobuyuki Tsuchimura, « Computational results for Gaussian moat problem », IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science, vol. 88, no 5, , p. 1267–1273 (DOI 10.1093/ietfec/e88-a.5.1267, lire en ligne).

Bibliographie

Articles liés

Liens externes

  • Arithmétique et théorie des nombres
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.