Théorème de Cesàro (théorie des nombres)

Modèle:HomonEn théorie des nombres, le théorème de Cesàro établit que la densité asymptotique des couples de nombres entiers premiers entre eux est égale à $6/{\pi }^2\simeq 0,607927102\simeq 61\mathrm{\%}$, c’est-à-dire que la proportion de tels couples dans un intervalle d’entiers Modèle:Math tend vers Modèle:Math lorsque Modèle:Mvar tend vers Modèle:Math.

Cette proportion peut être interprétée comme une probabilité avec une loi uniforme discrète sur le carré cartésien Modèle:Math, mais le passage à la limite n’aboutit pas à une loi de probabilité uniforme sur l’ensemble (infini) des couples d’entiers, ce qui invalide certaines démonstrations s’appuyant sur une telle loi.

La constante Modèle:Math est l’inverse du nombre Modèle:Math, où Modèle:Math est la fonction zêta de Riemann, s'exprimant sous forme de série, ou de produit eulérien :

$\zeta (2)=\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{n^2}=\prod _{p\text{premier}}\frac{1}{1-\frac{1}{p^2}}$.

L’expression de cette série comme fraction d’une puissance de [[Pi (nombre)|Modèle:Math]] provient de la résolution du problème de Bâle par Leonhard Euler en 1735.

Ce résultat peut se généraliser de plusieurs façons. Par exemple, la probabilité que Modèle:Mvar entiers choisis de façon équiprobable et indépendante dans un même intervalle Modèle:Math soient premiers entre eux dans leur ensemble tend vers Modèle:Math. Un autre exemple est la probabilité que ces mêmes Modèle:Mvar entiers soient premiers entre eux deux à deux, laquelle s’approche de

$A_k=\prod _{p\text{premier}}{(1-\frac{1}{p})}^{k-1}(1+\frac{k-1}{p})$.

On a $A_2=1/\zeta (2)$ et $A_k<1/\zeta (k)$ si $k⩾3$.

Historique

En 1881 Ernest Cesàro répond à une question posée dans la revue Mathesis en affirmant : Modèle:Citation, ce qu'il énonce aussi sous la forme : Modèle:Citation.

Démonstration de Cesàro

En termes modernisés, Cesàro écrit que si Modèle:Mvar est la probabilité que deux entiers strictement positifs aient un PGCD égal à Modèle:Mvar, on a $\sum _{d=1}^{+\mathrm{\infty }}{p}_d=1$, les événements correspondants formant un système complet. Or l'événement « Modèle:Math » est la conjonction des événements indépendants :

• Modèle:Mvar est multiple de Modèle:Mvar
• Modèle:Mvar est multiple de Modèle:Mvar
• Modèle:Math.

Donc $p_d=\frac{1}{d^2}\times p_1$. On en déduit que $\sum _{d=1}^{+\mathrm{\infty }}\frac{p_1}{d^2}=1$, soit $p_1=\frac{1}{\sum _{d=1}^{+\mathrm{\infty }}\frac{1}{d^2}}=\frac{6}{{\pi }^2}$.

Cette démonstration n'est pas correcte, car on applique des raisonnements de probabilités finies à l'ensemble infini ${\mathbb{N}}^{*}$sur lequel on ne peut définir d'équiprobabilité, vérifiant en particulier la propriété d'additivité dénombrable (voir Densité asymptotique).

Notons que si l'on remplace Modèle:Math par Modèle:Mvar, la même « démonstration » aboutirait à ce que la probabilité que Modèle:Mvar entiers soient premiers entre eux dans leur ensemble soit égale à $\frac{1}{\sum _{d=1}^{+\mathrm{\infty }}\frac{1}{d^k}}=\frac{1}{\zeta (k)}$.

Autre démonstration incorrecte

Comme ci-dessus, la probabilité que deux entiers tirés au hasard indépendamment soient tous les deux divisibles par le nombre premier Modèle:Mvar est Modèle:Math, et donc la probabilité qu'au moins l'un des deux ne le soit pas est Modèle:Math. Or deux entiers sont premiers entre eux si et seulement s'ils n'ont aucun diviseur premier en commun. Les événements liés à des nombres premiers entre eux étant indépendants, la probabilité que deux entiers soient premiers entre eux est donnée par le produit suivant, effectué sur tous les nombres premiers : $\prod _{p\text{ premier}}(1-\frac{1}{p^2})=\frac{1}{\zeta (2)}=\frac{6}{{\pi }^2}$.

On utilise cette fois la probabilité d'une suite infinie d'événements indépendants, ce qui est incorrect.

Démonstration rigoureuse

Des démonstrations rigoureuses figurent dans plusieurs traités de théorie des nombres, comme dans celui de Hardy et WrightModèle:,.

Soit $\mathrm{\Phi }(n)=\sum _{k⩽n}\phi (k)$, où $\phi$ désigne l'indicatrice d'Euler. Comme $\phi (b)$ est le nombre de couples Modèle:Math d'entiers premiers entre eux avec $1⩽a⩽b$, et comme, excepté le couple Modèle:Math, ces couples sont formés d'entiers distincts, le nombre de couples Modèle:Mvar d'entiers premiers entre eux de Modèle:Math est égal à $2\mathrm{\Phi }(n)-1$. On vérifie ensuite que $2\mathrm{\Phi }(n)-1=\sum _{d=1}^n\mu (d){\lfloor \frac{n}{d}\rfloor }^2$ où Modèle:Mvar est la fonction de Möbius, et on en déduit que la densité cherchée $D=\underset{n\to +\mathrm{\infty }}{\lim }\frac{N_n}{n^2}$ est égale à $\sum _{d=1}^{\mathrm{\infty }}\frac{\mu (d)}{d^2}$. On montre finalement que le produit de Cauchy des deux séries $\sum _{d=1}^{\mathrm{\infty }}\frac{\mu (d)}{d^2}$ et $\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{n^2}$ est égal à Modèle:Math, d'où $D=\frac{1}{\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{n^2}}=\frac{6}{{\pi }^2}$.

Pour les k-uplets d'entiers premiers entre eux dans leur ensemble, on obtient $N_n=\sum _{d=1}^n\mu (d){\lfloor \frac{n}{d}\rfloor }^k$, qui aboutit bien à une densité $D=\sum _{d=1}^{\mathrm{\infty }}\frac{\mu (d)}{d^k}=\frac{1}{\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{n^k}}=\frac{1}{\zeta (k)}$.

La suite $(N_n)$ est la Modèle:OEIS pour Modèle:Formule, et la Modèle:OEIS pour Modèle:Formule.

Lien avec la densité des nombres sans facteur carré

La densité des couples d'entiers premiers entre eux est la même que celle des entiers sans facteur carré. Cela vient de ce que la probabilité qu'un entier de Modèle:Math soit sans facteur carré est égale à $\frac{1}{n}\sum _{d=1}^n\mu (d)\lfloor \frac{n}{d^2}\rfloor$ et a donc la même limite $D=\sum _{d=1}^{+\mathrm{\infty }}\frac{\mu (d)}{d^2}=\frac{6}{{\pi }^2}$.

En bleu, courbe de $\phi (n)$ ; en vert, courbe de $2\frac{\sum _{k=1}^n\phi (k)}{n}$ ; en cyan, courbe de $\sum _{k=1}^n\frac{\phi (k)}{k}$ ; en rouge, courbe de $\frac{6}{{\pi }^2}n$.

Lien avec la moyenne de Cesàro de l'indicatrice d'Euler

Comme déjà remarqué dans la démonstration rigoureuse, le nombre Modèle:Mvar est égal à $2\mathrm{\Phi }(n)-1$, et le théorème de Cesàro est donc équivalent à la relation $\frac{\mathrm{\Phi }(n)}{n}\sim \frac{3}{{\pi }^2}n$, c'est-à-dire au fait qu'un ordre moyen pour $\phi (n)$ est $\frac{6}{{\pi }^2}n$. Ce dernier résultat est dû à Dirichlet (1849), et a été précisé par Mertens en 1874.

Une simple sommation d’Abel permet aussi de montrer que $\sum _{k=1}^n\frac{\phi (k)}{k}\sim \frac{6}{{\pi }^2}n$, ce qui revient à dire que la suite $\left(\frac{\phi (n)}{n}\right)$ converge au sens de Cesàro vers Modèle:Sfrac.

Voir aussi

Article connexe

Constante de Hafner-Sarnak-McCurley