Libre comme Euler

Pietro Mengoli (1626-1686), professeur à l'université de Bologne, savait démontrer que la somme des inverses d'entiers est infinie. En 1650, il avait posé le problème de la détermination de la somme exacte des inverses de carrés d'entiers, qu'il savait majorer avec l'argument suivant.

$\displaystyle \sum_{n=1}^{+\infty} \frac{1}{n^2} \leqslant
1+ \sum_{n=2}^{+\infty}\frac{1}{n(n-1)}
=1+ \sum_{n=2}^{+\infty}\frac{1}{n-1}
-\frac{1}{n}
=1+1=2\;.
$

Repris par Jacques Bernouilli dans « Positiones arithmeticae de seriebus infinitis» publié à Bâle en 1689, le «problème de Bâle» résiste aux tentatives des mathématiciens de toute l'Europe pendant plusieurs décennies3. En 1730, Stirling publie la valeur approchée $ 1.644934065$, obtenue par une méthode d'accélération de convergence. Mais ce n'était pas le résultat exact. En 1735, Euler, alors âgé de 28 ans, donne la réponse :

$\displaystyle \sum_{n=1}^{+\infty} \frac{1}{n^2} = \frac{\pi^2}{6}\;.
$

La méthode qui le conduit à cette découverte est typique d'Euler : inventive, élégante, puissante. Elle lui permet de calculer bien d'autres sommes, comme :

$\displaystyle \sum_{n=1}^{+\infty} \frac{(-1)^n}{(2n+1)^3} = \frac{\pi^3}{32}
\...
...c{\pi^4}{96}
\;;\quad
\sum_{n=1}^{+\infty} \frac{1}{n^4} = \frac{\pi^4}{90}\;.
$

Alors, même si la justification rigoureuse laisse à désirer, pourquoi bouder notre plaisir devant tant de virtuosité ? Nous allons donner une version simplifiée de l'argument, qui ne suit pas à la lettre l'article original, mais en respecte les idées principales. Euler part du développement en série entière de $ \sin(x)$ :

$\displaystyle \sin(x) = x-\frac{1}{3!}x^3+\frac{1}{5!}x^5-\frac{1}{7!}x^7+\cdots
$

Les zéros de $ \sin(x)$ sont les mutiples de $ \pi$ : $ k\pi$, où $ k\in\mathbb{Z}$. Si on divise par $ x$ pour se débarrasser de la racine nulle, les nombres de la forme $ k\pi$, pour $ k\neq 0$ sont les racines du «polynôme infini» :

$\displaystyle \frac{\sin(x)}{x}
= 1-\frac{1}{3!}x^2+\frac{1}{5!}x^4-\frac{1}{7!}x^6+\cdots
$

Comme il n'y a que des termes pairs, les nombres de la forme $ k^2\pi^2$, pour $ k\in\mathbb{N}$ sont les racines du «polynôme infini»

$\displaystyle 1-\frac{1}{3!}y+\frac{1}{5!}y^2-\frac{1}{7!}y^3+\cdots
$

Considérons maintenant un polynôme (fini) à $ n$ racines $ r_1,\ldots,r_n$ :

$\displaystyle P(X)=a_0+a_1X+\cdots+a_nX^n=(-1)^na_n\prod_{i=1}^n(r_i-X)\;.
$

Son terme constant est $ a_0=(-1)^na_n \prod r_i$, tandis que le coefficient du terme en $ X$ est :

$\displaystyle a_1=(-1)^{n-1}a_n\sum_{i=1}^n \prod_{j\neq i} r_j\;.
$

L'opposé du rapport du terme en $ X$ au terme constant est donc la somme des inverses des racines :

$\displaystyle -\frac{a_1}{a_0}=\sum_{i=1}^n \frac{1}{r_i}\;.
$

Mettons que ça marche aussi pour les polynômes infinis, c'est-à-dire pour les séries :

$\displaystyle \frac{1}{6} = \frac{1}{\pi^2}+\frac{1}{2^2\pi^2}+\frac{1}{3^2\pi^2}+ \cdots
$

Il n'y a plus qu'à multiplier par $ \pi^2$ et le tour est joué. Ah, si seulement les mathématiques pouvaient être aussi faciles pour vous que pour Euler... !

         © UJF Grenoble, 2011                              Mentions légales