Formule pour les nombres premiers

Formule pour les nombres premiers

Formules pour les nombres premiers

En mathématiques, la recherche de formules exactes donnant tous les nombres premiers (ou même donnant uniquement des nombres premiers) s'est généralement avérée vaine, ce qui a amené à se contenter de formules approchées. Cette page recense les différents résultats obtenus.

Sommaire

Formules exactes simples

Le rêve d'une formule exacte et simple donnant le n-ème nombre premier pn, ou le nombre de nombres premiers \le n, π(n), s'est très tôt heurté à l'extrême irrégularité de leur répartition, ce qui a amené à se contenter d'objectifs moins ambitieux. Mais même la recherche de formules ne donnant que des nombres premiers s'avère assez décevante ; ainsi, il est facile de montrer qu'il n'existe aucune fonction polynôme non constante P(n) qui ne prendrait que des valeurs premières pour tous les entiers n, ou même pour presque tous les n ; en fait, on ignore même s'il existe un polynôme de degré > 1 qui prenne une infinité de valeurs premières[1].

C'est ce qui explique l'intérêt de la remarque d'Euler : le polynôme quadratique P(n) = n^2 + n + 41\, est premier pour tous les nombres entiers positifs inférieurs à 40 (bien sûr, si n est un multiple de 41, P(n) sera lui aussi un multiple de 41, et donc non premier). D'ailleurs, 41 est le plus grand entier A pour lequel le polynôme n2 + n + A est premier pour tous les n inférieurs à A − 1, résultat difficile utilisant la théorie du corps de classes, et qui n'a été démontré qu'en 1967[2].

D'autres formules utilisant des fonctions plus générales, telle celle de Mersenne, avaient été envisagées, la plus célèbre étant celle conjecturée par Fermat : F_n=2^{2^n}+1 est premier pour tout n. Hélas, si ces nombres (appelés désormais nombres de Fermat) sont bien premiers pour 0\le n\le 4, Euler découvrit que le sixième, F5, est divisible par 641, ruinant la conjecture ; actuellement, on pense au contraire que Fn est toujours composé dès que n > 4, et, dans le même genre, on ne connait que la formule théorique de Mills pour ne donner que des nombres premiers... si ce n'est que, justement, elle est purement théorique, comme on le verra dans la dernière section.

Formules approchées

Des formules approchées donnant le n-ème nombre premier pn, ou le nombre de nombres premiers\le n, π(n), ont été imaginées au 18ème siècle, culminant avec les conjectures de Legendre et Gauss. Si leur hypothèse la plus simple, \lim_{n\to+\infty}\pi(n)\ln n/n=1 a été démontré par Hadamard et de la Vallée Poussin un siècle plus tard (c'est le théorème des nombres premiers), la difficulté du problème est bien montrée par le fait qu'une des conjectures de Gauss, plus précise, et majorant π(n) par {\rm Li}(n)=\int_2^n\frac{dx}{\ln x}, qui paraissait fort plausible au vu des tables de ces deux fonctions, s'est cependant avérée fausse, mais seulement pour des valeurs de n gigantesques [3].

Des résultats plus précis, et en particulier une bonne estimation du terme d'erreur h(n) dans la formule pn = nlnn + h(n), font encore l'objet de conjectures (dépendant souvent de l'hypothèse de Riemann) ; parmi les meilleurs résultats vraiment démontrés, on peut citer l'encadrement suivant, déterminé par Dusart en 1999[4] :

n\Big(\ln n + \ln \ln n -1\Big) < p_n<n\Big(\ln n + \ln \ln n -1/2\Big) .

Ces méthodes sont loin de donner des formules exactes ; par exemple, cet encadrement affirme seulement que le millième nombre premier, 7919, est compris entre 7840 et 8341.

Des formules exactes... mais sans intérêt pratique

Malgré les remarques précédentes, il est cependant possible d'obtenir des formules exactes d'apparence simple. Ainsi, le théorème de Wilson permet facilement de montrer que la fonction f(n) = 2 +(2(n!) \mod (n+1)) produit tous les nombres premiers, et seulement eux, quand n parcourt tous les entiers positifs : f(n) = 2 si n + 1 est composé, et f(n) = n + 1 si n + 1 est premier[5]. Le recours à la fonction mod n'est pas gênant, car on sait la calculer rapidement ; en revanche, la factorielle de n prend rapidement des valeurs bien trop grandes pour être utilisables en pratique ; de plus, cette fonction ne donne pas réellement π(n), mais teste seulement si n est premier ou non, et comme elle demande environ n opérations élémentaires pour être calculée, elle est à cette fin beaucoup plus inefficace que la simple méthode de division par tous les entiers \le\sqrt n, elle-même bien moins rapide que les meilleurs tests de primalité actuellement connus.

D'autres formules donnant directement pn ou π(n) peuvent été construites à partir de f ; ainsi, on a, en utilisant la fonction partie entière :

 \pi(m) = \sum_{j=2}^m \left[ {(j-1)! + 1 \over j} - \left[{(j-1)! \over j}\right] \right];

mais ces formules sont, bien évidemment, encore moins utilisables que celle donnant f.

Une autre approche, plus prometteuse et n'utilisant pas le théorème de Wilson, consiste essentiellement à "simuler" le crible d'Ératosthène, ou les formules qu'on peut en déduire, comme la formule d'inclusion-exclusion de Legendre[6] ; c'est le terrain de prédilection de nombreux amateurs, ainsi, les formules suivantes ont été déterminées en 2000 par un enseignant espagnol, S.M.Ruiz[7]  :

\pi(k) = k - 1 + \sum_{j=2}^k \left[ {2 \over j} \left(1 +  \sum_{s=1}^{\left[\sqrt{j}\right]} \left(\left[{ j-1 \over s}\right] - \left[{j \over s}\right]\right) \right)\right]

et

p_n = 1 + \sum_{k=1}^{2([ n \ln(n)]+1)} \left(1 - \left[{\pi(k) \over n} \right]\right).

on remarquera le nombre important de sommations dans ces formules, qui fait qu'elles seraient, elles aussi, peu utilisables en pratique ; de bien meilleures méthodes de calcul exact de π(n) et pn, qu'on trouvera détaillées dans l'article consacré à ces fonctions, restent d'ailleurs relativement inefficaces[8].

Compte tenu des remarques de la première section, l'existence de polynômes à plusieurs variables ne prenant que des valeurs premières paraissait peu vraisemblable, aussi les travaux de Matiyasevich (en 1970), montrant que toute relation diophantienne pouvait être "codée" par un tel polynôme, provoquèrent une véritable surprise. Il est même possible de donner des exemples explicites de ce résultat ; ainsi, le monstrueux polynôme suivant (comportant 26 variables, et de degré 25):

(k+2)[1 – (wz+h+j–q)2 – [(gk+2g+k+1)(h+j) + h – z]2– (2n+p+q+z–e)2 – [16(k+1)3(k+2)(n+1)2 + 1 – f2]2– [e3(e+2)(a+1)2 + 1 – o2]2 – [(a2–1)y2 + 1 –x2]2– [16r2y4(a2–1) + 1 – u2]2

– [((a+u2(u2–a))2–1)(n+4dy)2 + 1 – (x+cu)2]2 –[n+l+v–y]2– [(a2–1)l2 + 1 – m2]2 – [ai+k+1–l–i]2 – [p + l(a–n–1) + b(2an+2a–n2–2n–2) – m]2 – [q+ y(a–p–1) + s(2ap + 2a – p2 – 2p – 2) – x]2

– [z + pl(a–p) + t(2ap – p2 – 1) – pm]2]

a, pour ensemble de valeurs positives, exactement l'ensemble des nombres premiers[9]. Mais on peut commencer à se demander s'il s'agit bien encore là de "formules" ; dans un ordre d'idées assez proche, Conway a défini une généralisation du problème de Syracuse, qui le transforme en un langage de programmation, FRACTRAN[10] ; le texte suivant :

\frac{17}{91}, \frac{78}{85}, \frac{19}{51}, \frac{23}{38}, \frac{29}{33}, \frac{77}{29}, \frac{95}{23}, \frac{77}{19}, \frac{1}{17}, \frac{11}{13}, \frac{13}{11}, \frac{15}{14}, \frac{15}{2}, \frac{55}{1}.

correspond, pour ce langage, à un programme qui produit, dans l'ordre, la suite des nombres premiers, ce qui peut être considéré comme une formule au moins aussi élégante que celles qui précédent.

Enfin, Mills a montré qu'il existe des nombres réels M tels que pour tout entier n, la partie entière de M^{3^n} soit un nombre premier. Le plus petit M ayant cette propriété, la constante de Mills, est d'ailleurs connu avec une bonne précision ... qui s'avèrerait tout aussi illusoire pour calculer réellement de grands nombres premiers, ne serait-ce que parce que la taille de p(n)=\left[M^{3^n}\right] devient rapidement bien supérieure à tout ce qu'un ordinateur peut contenir (pour stocker p(25), on a déjà besoin d'un téraoctet).

Notes et références

  1. Conférence de Andrew Granville à la MAA, décembre 2008 (en), d'où sont tirées beaucoup des remarques informelles de cet article ; en voici l'enregistrement (audio) (en)
  2. Stark, H. M. A Complete Determination of the Complex Quadratic Fields of Class Number One. Michigan Math. J. 14, 1-27, 1967.
  3. Voir Nombre de Skewes, où l'on trouvera aussi les meilleures valeurs de ces n actuellement connues
  4. Pierre Dusart, « The kth prime is greater than k(ln k + ln ln k-1) for k>=2 », dans Mathematics of Computation, vol. 68, 1999, p. 411–415 [texte intégral]  ; en fait, cet article donne des bornes un peu plus précises, mais valables seulement pour n assez grand : on a (pour n>40000) n(lnn + lnlnn − 1) < pn < n(lnn + lnlnn − 0.95).
  5. En effet, si n + 1 est composé, n! est divisible par n + 1 et f(n) = 2 + 0 = 2 dans ce cas ; sinon, d'après le théorème de Wilson, on a n! congru à -1 modulo n + 1, donc la division de 2(n!) par n + 1 laisse un reste de n-1 et f(n) = 2 + (n − 1) = n + 1.
  6. Cette formule (connue aussi sous le nom de formule du crible) a été déterminée par Legendre pour calculer rapidement π(n) sans avoir besoin de chercher explicitement tous les nombres premiers <n ; on la trouvera, ainsi que ses améliorations plus récentes, dans l'article consacré à π(n).
  7. Ces formules figurent sur la page personnelle de leur auteur, Sebastian Martin Ruiz(es); il en a publié une démonstration en 2002(en), en collaboration avec S.Sondow
  8. Ainsi, on n'est actuellement capable de déterminer exactement que π(1023), alors qu'on sait tester si un nombre de l'ordre de 10200 est premier en quelques minutes.
  9. Jones, 1976
  10. FRACTRAN sur en.wikipedia(en)

Voir aussi

Articles connexes

Liens externes


  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Formules pour les nombres premiers ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Formule pour les nombres premiers de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Formule Pour Les Nombres Premiers — Formules pour les nombres premiers En mathématiques, la recherche de formules exactes donnant tous les nombres premiers (ou même donnant uniquement des nombres premiers) s est généralement avérée vaine, ce qui a amené à se contenter de formules… …   Wikipédia en Français

  • Formules pour les nombres premiers — En mathématiques, la recherche de formules exactes donnant tous les nombres premiers (ou même donnant uniquement des nombres premiers) s est généralement avérée vaine, ce qui a amené à se contenter de formules approchées. Cette page recense les… …   Wikipédia en Français

  • Nombres premiers — Nombre premier 7 est un nombre premier car il admet exactement deux diviseurs positifs …   Wikipédia en Français

  • Nombres premiers somme de 2 carrés — Théorème des deux carrés de Fermat Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de… …   Wikipédia en Français

  • Caractérisation des nombres premiers — Nombre premier 7 est un nombre premier car il admet exactement deux diviseurs positifs …   Wikipédia en Français

  • Fonction De Compte Des Nombres Premiers — En mathématiques, la fonction de compte des nombres premiers est la fonction comptant le nombre de nombres premiers inférieurs ou égaux à un nombre réel x. Elle est notée (à ne pas confondre avec la constante π). Les 60 premièr …   Wikipédia en Français

  • Fonction de compte des nombres premiers — En mathématiques, la fonction de compte des nombres premiers est la fonction comptant le nombre de nombres premiers inférieurs ou égaux à un nombre réel x. Elle est notée (à ne pas confondre avec la constante π). Les 60 premières valeurs de π(n) …   Wikipédia en Français

  • NOMBRES (THÉORIE DES) - Théorie analytique — Ce qu’on appelle la «théorie analytique des nombres» ne peut pas être considéré comme une théorie mathématique au sens usuel qu’on donne à ces mots, c’est à dire un système organisé de définitions et de théorèmes généraux accompagné… …   Encyclopédie Universelle

  • NOMBRES (THÉORIE DES) - Nombres algébriques — Les mathématiciens grecs avaient découvert que certains rapports de grandeurs ne sont pas rationnels, c’est à dire qu’ils ne sont pas égaux au rapport de deux entiers: il en est ainsi du rapport de la diagonale d’un carré à son côté, puisque… …   Encyclopédie Universelle

  • Liste Des Matières De La Théorie Des Nombres — Article détaillé : cryptologie. . Sommaire 1 Facteur (mathématiques) 2 Fractions 3 Arithmétique modulaire 4 …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”