La différence entière positive g_n = p_{n+1} − p_n entre deux nombres premiers successifs p_n et p_{n+1} ; une mesure locale de l’espacement entre nombres premiers adjacents.

Principe

Les écarts reflètent la distribution des premiers : l’écart moyen croît comme log p d’après le théorème des nombres premiers, tandis que le comportement local est dicté par les contraintes de criblage, modèles probabilistes et structures arithmétiques qui autorisent à la fois de petits écarts (nombres premiers jumeaux) et des écarts arbitrairement grands.

Démonstration

Exemples : entre 7 et 11 l’écart vaut 4 ; entre 89 et 97 l’écart vaut 8. L’écart moyen près de x est environ log x ; par exemple autour de x≈100, log x≈4,6, cohérent avec les écarts observés localement.

Mauvaise application

Prendre les écarts entre premiers pour une fonction monotone croissante en p, ou supposer qu’un petit écart moyen exclut l’existence de grands écarts ; utiliser des modèles probabilistes comme prédictions exactes plutôt que comme heuristiques.

Conséquence

Comprendre les écarts éclaire des conjectures (jumeaux, bornitude des écarts), des démonstrations sur la distribution des premiers et des estimations pratiques pour localiser des nombres premiers et générer des premiers en cryptographie ; des résultats sur grands ou petits écarts ont d’importantes conséquences théoriques.

Inversion

Contrastez en étudiant les amas ou constellations de premiers (motifs d’écarts petits) qui mettent l’accent sur la proximité locale plutôt que la séparation ; l’inverse considère aussi les écarts maximaux sur des intervalles plutôt que minimaux.

Limite

Défini uniquement pour paires de premiers consécutifs dans la suite des premiers (en incluant l’écart après 2) ; exclut indices non premiers et différences entre premiers non consécutifs ; les affirmations asymptotiques supposent des premiers suffisamment grands pour que le théorème des nombres premiers s’applique.

Tension sémantique

Tension entre la croissance moyenne globale (logarithmique) et les fortes fluctuations locales (écarts arbitrairement grands vs fréquemment petits), et entre modèles probabilistes décrivant le comportement typique et constructions déterministes produisant extrêmes.

Synthèse

Un écart entre premiers est la différence locale entre deux premiers consécutifs qui combine une croissance moyenne logarithmique et des variations locales irrégulières ; il constitue à la fois une statistique mesurable de la distribution des nombres premiers et un objet central de conjectures profondes et d’exemples constructifs.