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.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0f/Gaussian_moat_15x15.svg/220px-Gaussian_moat_15x15.svg.png)
Description
modifierUne 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.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/85/Gaussian_primes.png/310px-Gaussian_primes.png)
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
modifierDes 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
modifier- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Gaussian moat » (voir la liste des auteurs).
- 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 ».
- 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, MR 1614871, zbMATH 0946.11002, lire en ligne)
- Richard K. Guy, Unsolved problems in number theory, Springer-Verlag, , 3e éd. (ISBN 978-0-387-20860-2, zbMATH 1058.11001), p. 55–57
- 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
modifier- Robin Whitty, « A Theorem about Gaussian Moats (a Theorem under Construction!) », Theorem of the day (consulté le ).
- Po-Ru Loh, « Stepping to Infinity Along Gaussian Primes », The American Mathematical Monthly, vol. 114, no 2, , p. 142-151 (DOI 10.1080/00029890.2007.11920399, présentation en ligne).
- Marc Lorenzi, « Entiers de Gauss II », Lycée Camille Guérin MPSI B - Année 2021/2022, (consulté le ).
- Hector Florez et Alejandro Cárdenas-Avendaño, « A Computer-Based Approach to Study the Gaussian Moat Problem », Communications in Computer and Information Science, vol. 1277 « Proceedings ICAI 2020 », , p. 481-492 (DOI 10.1007/978-3-030-61702-8_33).
- Madhuparna Das, « A Note on The Gaussian Moat Problem », Manuscrit, (arXiv 1908.10392).
- Madhuparna Das, « On the Extension of the Gaussian Moat Problem », Manuscrit, (arXiv 1901.10016).
- Madhuparna Das, « Walking through the Gaussian Primes », Manuscrit, (arXiv 1901.04549).
Articles liés
modifierLiens externes
modifier- (en) Eric W. Weisstein, « Moat-Crossing Problem », sur MathWorld