- 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 à partir d'un certain rang. Cependant, elle n'est pas convergente pour autant. Et comme elle est strictement croissante, cette suite diverge vers l'infini.
Sommaire
Preuve par l'analyse
Supposons par l'absurde que la série des inverses des nombres premiers soit convergente. Il existe donc un nombre entier suffisamment grand i0 tel que:
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 i0 premiers. Un tel entier peut être écrit sous la forme km2 où k est entier sans facteur carré.
Puisque seulement les i0 premiers nombres premiers pourraient diviser k, il y a au plus choix pour k. Conjointement avec le fait qu'il y a au plus valeurs possibles pour m, cela nous donne:
Le nombre d'entiers strictement positifs inférieurs à x et divisibles par un nombre premier différent des i0 premiers est égal à x − N(x).
Puisque le nombre d'entiers inférieurs à x et divisible par p est au plus x / p, nous obtenons:
ou encore
Mais cela est impossible pour tout x supérieur à . D'où une contradiction.
Preuve par un produit eulérien
Article détaillé : produit eulérien.Supposons par l'absurde que la série des inverses des nombres premiers soit convergente. Comme on a l'équivalence
on en déduit que
converge vers un réel . D'après le produit eulérien, on a
Une comparaison série-intégrale montre que lorsque , on a l'équivalence
donc
ce qui est absurde.
Voir aussi
- Nombre premier
- Le théorème de Brun : la série des inverses des nombres premiers jumeaux converge
Lien externe
- (en) Chris K. Caldwell: «Il existe une infinité de nombres premiers, mais, quelle est la grandeur de cet infini ?», [1]
- Portail des mathématiques
Catégories : Série | Théorie analytique des nombres
Wikimedia Foundation. 2010.