Série des inverses des nombres premiers

Série des inverses des nombres premiers

En mathématiques, la série des inverses des nombres premiers est la série de terme général 1⁄pi où pi désigne le i-ème nombre premier. Le terme général de la série tend vers zéro, cependant, la suite (croissante) des sommes partielles n'est pas convergente pour autant ; elle diverge vers l'infini :

\sum_{i=1}^\infty\frac1{p_i}=\frac12+\frac13+\frac15+\frac17+\frac1{11}+\frac1{13}+\ldots=+\infty.


Sommaire

Preuve par l'analyse

La preuve suivante est due à Paul Erdős[1].

Supposons par l'absurde que la série des inverses des nombres premiers soit convergente. Il existe donc un nombre entier suffisamment grand m tel que :

\sum_{i=m+1}^\infty\frac1{p_i}<\frac12.

Définissons N(x) comme le nombre d'entiers strictement positifs inférieurs à x et qui ne sont pas divisibles par un nombre premier autre que les m premiers. Un tel entier peut être écrit sous la forme kr2 où k est entier sans facteur carré.

Puisque seulement les m premiers nombres premiers pourraient diviser k, il y a au plus 2m choix pour k. Conjointement avec le fait qu'il y a au plus √x valeurs possibles pour r, cela nous donne :

N(x)\le2^m\sqrt x.

Le nombre d'entiers strictement positifs inférieurs à x et divisibles par un nombre premier différent des m premiers est égal à x − N(x).

Puisque le nombre d'entiers inférieurs à x et divisibles par p est au plus x / p, nous obtenons :

x-N(x)\le\sum_{i=m+1}^\infty{x\over p_i}<{x\over2},

ou encore

{x\over2}<N(x)\le2^m\sqrt x.

Mais cela est impossible pour tout x supérieur à 22m + 2, d'où une contradiction.

Preuve par un produit eulérien

Comme on a l'équivalence

\ln\left(\frac1{1-\frac1{p_i}}\right)\sim\frac1{p_i},

il suffit de montrer que la série de terme général \ln\left(\frac1{1-\frac1{p_i}}\right) diverge. Or cette série est à termes positifs, donc sa somme est égale à la borne supérieure de ses sommes partielles :

\sum_{i=1}^\infty\ln\left(\frac1{1-\frac1{p_i}}\right)=\sup_{m\in\N}\ln(S_m), où
S_m=\prod_{i=1}^m\left(\frac1{1-\frac1{p_i}}\right)=\prod_{i=1}^m\sum_{k=0}^\infty\frac1{{p_i}^k}=\sum_{k_1,\ldots,k_m\in\N}\frac1{p_1^{k_1}\ldots p_m^{k_m}}

est la somme des inverses de tous les entiers naturels n'admettant pas d'autres diviseurs premiers que les m premiers, donc

\sup_{m\in\N}S_m=\sum_{n=1}^\infty\frac1n=+\infty,

si bien que finalement,

\sum_{i=1}^\infty\ln\left(\frac1{1-\frac1{p_i}}\right)=\sup_{m\in\N}\ln(S_m)=+\infty.

Une variante plus savante de cette démonstration consiste à utiliser (voir l'article Produit eulérien) que

\forall s>1,\quad\zeta(s)\ =\ \sum_{n=1}^\infin\ \frac1{n^s} \ = \ \prod_{i = 1}^{\infty}\frac 1{1-p_i^{-s}}\ \le\ \prod_{i=1}^{\infty}\frac 1{1-p_i^{-1}}

et que (par comparaison série-intégrale) quand s tend vers 1 par valeurs strictement supérieures,

\zeta(s)\sim\frac1{s-1}\to+\infty.

Annexes

Note

  1. ↑ (de) Paul Erdős, « Über die Reihe Σ 1⁄p », dans Mathematica (Zutphen B), no 7, 1938, p. 1-2 [texte intégral] 

Articles connexexes

Lien externe

(en) There are infinitely many primes, but, how big of an infinity?, sur le site Prime Pages de Chris Caldwell


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Série des inverses des nombres premiers de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Serie des inverses des nombres premiers — Série des inverses des nombres premiers En mathématiques, la série des inverses des nombres premiers est définie par où pi désigne le i ème nombre premier. Étant donné qu il existe une infinité de nombres premiers, cette suite n est pas constante …   Wikipédia en Français

  • Démonstration que la série des inverses des nombres premiers diverge — Série des inverses des nombres premiers En mathématiques, la série des inverses des nombres premiers est définie par où pi désigne le i ème nombre premier. Étant donné qu il existe une infinité de nombres premiers, cette suite n est pas constante …   Wikipédia en Français

  • Conjecture Des Nombres Premiers Jumeaux — Nombres premiers jumeaux En mathématiques, deux nombres premiers jumeaux sont deux nombres premiers qui ne diffèrent que de deux. Hormis pour la paire (2, 3), cette distance de deux est la plus petite distance possible entre deux nombres premiers …   Wikipédia en Français

  • Conjecture des nombres premiers jumeaux — Nombres premiers jumeaux En mathématiques, deux nombres premiers jumeaux sont deux nombres premiers qui ne diffèrent que de deux. Hormis pour la paire (2, 3), cette distance de deux est la plus petite distance possible entre deux nombres premiers …   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

  • Nombres Premiers Jumeaux — En mathématiques, deux nombres premiers jumeaux sont deux nombres premiers qui ne diffèrent que de deux. Hormis pour la paire (2, 3), cette distance de deux est la plus petite distance possible entre deux nombres premiers. Les plus petits nombres …   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 jumeaux — En mathématiques, deux nombres premiers jumeaux sont deux nombres premiers qui ne diffèrent que de 2. Hormis pour la paire (2, 3), cette distance de 2 est la plus petite distance possible entre deux nombres premiers. Les plus petits nombres… …   Wikipédia en Français

  • Conjecture des jumeaux premiers — Nombres premiers jumeaux En mathématiques, deux nombres premiers jumeaux sont deux nombres premiers qui ne diffèrent que de deux. Hormis pour la paire (2, 3), cette distance de deux est la plus petite distance possible entre deux nombres premiers …   Wikipédia en Français

  • 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”