Jeudi 12 Décembre 2024
Rechercher 🔍

Problème de Bâle - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.
- Introduction - Euler attaque le problème - Une démonstration rigoureuse - La fonction zêta de Riemann

Introduction

En mathématiques, le problème de Bâle (connu parfois aussi sous le nom de « problème de Mengoli ») est un problème célèbre dans la théorie des nombres, posé en premier par Pietro Mengoli en 1644, et résolu par le mathématicien suisse Leonhard Euler en 1735, dont Bâle était la ville natale. Le problème résistait aux attaques des mathématiciens éminents de l'époque, ainsi, la solution d'Euler lui apporta une notoriété immédiate à l'âge de 28 ans. Il a considérablement généralisé le problème et ses idées furent reprises par le mathématicien allemand Bernhard Riemann dans son article de 1859, dans lequel il a défini sa fonction ζ et a démontré ses propriétés de base.

Le problème demande la valeur exacte de la somme de la série :

\sum_{n=1}^\infin \frac{1}{n^2} = \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \frac{1}{4^2} + \cdots

Celle-ci est approximativement égale à 1,64493406684822643. Vue la lente convergence de la série, une telle valeur approchée n'a pu être trouvée qu'en mettant en œuvre des méthodes d'accélération de convergence, ce qui est fait notamment par Stirling en 1730 et Euler en 1731. Euler trouva finalement la somme exacte

\sum_{n=1}^\infin \frac{1}{n^2} =\frac{\pi^2}{6}

Il annonça cette découverte en 1735. Ses arguments étaient basés sur des manipulations qui ne furent pas justifiées, et ce n'est que dix ans plus tard qu'il fut capable de produire une démonstration rigoureuse.

Euler attaque le problème

La déduction d'Euler de la valeur π2 / 6 est intelligente et originale. Il développa essentiellement des observations sur les polynômes finis et assura que ces mêmes propriétés sont toujours vraies pour les séries infinies. Le raisonnement original d'Euler requiert une justification, mais même sans justification, en obtenant la valeur correcte, il fut capable de la vérifier numériquement par rapport aux sommes partielles de la série. La concordance qu'il observa lui inspira suffisamment confiance pour annoncer son résultat à la communauté mathématique.

Pour suivre l'argument d'Euler, rappelons le développement en série de Taylor de la fonction sinus

\forall x \in \R,\ \sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1}=x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots

En divisant par x \in \R^* , nous avons

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

Maintenant, les racines de sin(x) / x apparaissent précisément pour x = \pm n\pi\,\! , où n = 1, 2, 3, \ldots . Supposons audacieusement que nous puissions exprimer cette série infinie comme un produit de facteurs linéaires donnés par ses racines, comme nous le faisons pour les polynômes finis :

\begin{align}\frac{\sin(x)}{x} &=\left(1 - \frac{x}{\pi}\right)\left(1 + \frac{x}{\pi}\right)\left(1 - \frac{x}{2\pi}\right)\left(1 + \frac{x}{2\pi}\right)\left(1 - \frac{x}{3\pi}\right)\left(1 + \frac{x}{3\pi}\right) \cdots\\ &= \left(1 - \frac{x^2}{\pi^2}\right)\left(1 - \frac{x^2}{4\pi^2}\right)\left(1 - \frac{x^2}{9\pi^2}\right) \cdots\end{align}

Si nous multiplions formellement ce produit et factorisons tous les termes x^2\, , nous voyons que le coefficient de x2 de sin(x) / x est

-\left(\frac{1}{\pi^2} + \frac{1}{4\pi^2} + \frac{1}{9\pi^2} + \cdots \right) = -\frac{1}{\pi^2}\sum_{n=1}^{\infty}\frac{1}{n^2}

Mais, à partir du développement de la série infinie originale de sin(x) / x, le coefficient de x2 est

-\frac{1}{3!} = -\frac{1}{6}

Ces deux coefficients doivent être égaux ; ainsi,

-\frac{1}{6} = -\frac{1}{\pi^2}\sum_{n=1}^{\infty}\frac{1}{n^2}

En multipliant les deux côtés de cette équation par − π2, nous obtenons la somme des inverses des carrés d'entiers positifs.

Une démonstration rigoureuse

L'argument suivant prouve l'identité ζ(2) = π2 / 6, où ζ(s) est la fonction zêta de Riemann. C'est de loin, la démonstration la plus simple disponible ; car la plupart des démonstrations utilisent des résultats de mathématiques avancées, telle que les séries de Fourier, l'analyse complexe, et le calcul à plusieurs variables ; celle qui suit ne requiert même pas le calcul à une variable (bien qu'une limite soit prise à la fin).

Historique de la démonstration

L'origine de cette démonstration n'est pas claire. Elle apparaît dans le journal Eureka en 1982, attribuée à John Scholes, mais Scholes déclara qu'il avait appris la démonstration de Peter Swinnerton-Dyer, et dans tous les cas il maintient que la démonstration était un « savoir commun de Cambridge à la fin des années 1960 ».

Ce que vous avez besoin de connaître

Pour comprendre la démonstration, vous aurez besoin de comprendre les énoncés suivants :

La formule de De Moivre

Elle énonce que pour tout nombre réel x et tout entier n on a

(cosx + isinx)n = cos(nx) + isin(nx)

Voir l'article formule d'Euler pour une démonstration.

La formule du binôme de Newton

Elle énonce que pour tout nombre réel x et y et tout entier positif n,

(x+y)^n=\sum_{k=0}^n C_n^k x^k. y^{n-k}=\sum_{k=0}^n{n \choose k}x^ky^{n-k}

où nous avons les coefficients binomiaux

{C_n^k} = {n \choose k}=\frac{n!}{k!(n-k)!}

Elle se démontre par récurrence, voir l'article sur la formule du binôme.

Injectivité de la fonction cotangente carrée

La fonction réelle x \longmapsto \cot^2(x) (où cot désigne la fonction cotangente) est injective dans l'intervalle [0,π / 2].

Démonstration : Supposons cot2(x) = cot2(y) pour des certains x et y dans l'intervalle [0,π / 2]. En utilisant la définition de la cotangente pour x \in [0,\pi/2] on a

\cot^2 x = \frac{\cos^2(x)}{\sin^2(x)}

puis l'identité trigonométrique cos2(x) = 1 − sin2(x), nous voyons que sin2(x)(1 − sin2(y)) = sin2(y)(1 − sin2(x)). En soustrayant sin2(x)sin2(y) de chaque côté, nous avons sin2(x) = sin2(y). Comme la fonction sinus est toujours positive sur l'intervalle [0,π / 2], ceci veut dire que sin(x) = sin(y), mais cela est géométriquement évident (en regardant le cercle unité) que la fonction sinus est injective sur l'intervalle [0,π / 2]et donc que x = y.

Nombre de racines d'un polynôme

Si P est un polynôme de degré m, alors P n'a pas plus que m racines distinctes.

Démonstration : ceci est une conséquence de ce que, si r est racine de P, on peut écrire P sous la forme P(X) = (X − r)Q(X) avec Q un polynôme de degré m − 1.

Somme des racines d'un polynôme

Si P(X)=a_mX^m+\ldots+a_1X+a_0 , alors la somme des racines de P (comptées avec leurs multiplicités) est − am − 1 / am.

Démonstration : si am = 1, alors P(X) est égal au produit de tous les X − s, où s l'ensemble des racines de P. En développant ce produit, nous voyons que le coefficient de Xm + 1 est l'opposé de la somme de toutes les racines. Si a_m\neq 1 , alors nous pouvons diviser chaque terme par lui (comme P est de degré m, on a bien a_m\neq 0 ), et l'on obtient un nouveau polynôme avec les mêmes racines, dont le premier coefficient est maintenant égal à 1; en appliquant l'argument précédent, on montre que la somme des racines de P est égale à la somme des racines de ce nouveau polynôme, c'est-à-dire − am − 1 / am

Une identité trigonométrique

L'identité trigonométrique cosec2(x) = 1 + cot2(x)

Démonstration : Ceci découle de l'identité fondamentale cos2(x) + sin2(x) = 1 après avoir été divisé par sin2(x).

Des inégalités

Pour tout nombre réel x \in ]0,\pi/2[ , nous avons les inégalités cot2(x) < 1 / x2 < cosec2(x).

Démonstration : Premièrement, nous avons 0 < sin(x) < x < tan(x). Ceci peut être vu en examinant la figure suivante :

Circle-trig6.svg

Maintenant, inversons tout cela et élevons au carré. Souvenons-nous que l'inégalité change de sens.

Une limite

Soit a, b, et c des nombres réels, avec a et c tous deux différents de zéro; alors la limite de la fonction (am + b) / (am + c) quand m tend vers l'infini est 1.

Démonstration : Divisons chaque terme par m, nous obtenons

\frac{a+\frac{b}{m}}{a+\frac{c}{m}}

Si nous divisons un nombre fixé par un grand nombre, le quotient tend vers zéro ; ainsi, le numérateur et le dénominateur du dessous tend vers a, et ainsi leur quotient tend vers 1.

Le théorème d'encadrement

Il énonce que si une fonction est « encadrée » entre deux autres fonctions, et que chacune de ces deux fonctions tendent vers une limite commune, alors la fonction « encadrée » tend aussi vers la même limite.

Pour une démonstration, voir Théorème d'encadrement.

La démonstration

L'idée principale derrière la démonstration est de borner les sommes partielles

\sum_{k=1}^m \frac{1}{k^2} = \frac{1}{1^2} + \frac{1}{2^2} + \cdots + \frac{1}{m^2}

entre deux expressions, chacune tendra vers π2 / 6 quand m tend vers l'infini. Les deux expressions sont issues des identités impliquant la fonction cotangente et la fonction cosécante. Ces identités découlent à leur tour de la formule de De Moivre, et nous servent à établir ces identités.

Soit x\in ]0,\pi/2[ , et soit n un entier positif. Alors, à partir de la formule de De Moivre et de la définition de la fonction cotangente, nous avons

\frac{\cos (nx) + i \sin (nx)}{(\sin x)^n} = \frac{(\cos x + i\sin x)^n}{(\sin x)^n} = \left(\frac{\cos x + i \sin x}{\sin x}\right)^n = (\cot x + i)^n

A partir du théorème du binôme, nous avons

\begin{align}(\cot x + i)^n &= {n \choose 0} \cot^n x + {n \choose 1} (\cot^{n-1} x)i + \cdots + {n \choose {n-1}} (\cot x)i^{n-1} + {n \choose n} i^n\\&= \left[ {n \choose 0} \cot^n x - {n \choose 2} \cot^{n-2} x \pm \cdots \right] \; + \; i\left[ {n \choose 1} \cot^{n-1} x - {n \choose 3} \cot^{n-3} x \mp \cdots \right]\end{align}

En combinant les deux équations et en égalisant les parties imaginaires, nous avons l'identité

\frac{\sin (nx)}{(\sin x)^n} = \left[ {n \choose 1} \cot^{n-1} x - {n \choose 3} \cot^{n-3} x \mp \cdots \right]

Nous prenons cette identité et nous fixons n = 2m + 1, où m est un entier positif, et x = rπ / (2m + 1), où r \in \{1,\ldots,m\} . Alors nx = rπ, donc sin(nx) = 0 , ainsi

0 = {{2m+1} \choose 1} \cot^{2m} x - {{2m+1} \choose 3} \cot^{2m-2} x \mp \cdots + (-1)^m{{2m+1} \choose {2m+1}}

Cette équation est valable pour chacune des valeurs x = rπ / (2m + 1), où r \in \{1,\ldots,m\} . Ces valeurs de x sont des nombres distincts strictement compris entre 0 et π / 2. Puisque la fonction cot2 est injective sur l'intervalle [0,π / 2], les nombres cot2(x) = cot2(rπ / (2m + 1)) sont par conséquent distincts pour r \in \{1,\ldots,m\} . Mais par l'équation précédente, chacun de ces m nombres distincts est une racine du polynôme de degré m suivant

P(t) := {{2m+1} \choose 1}t^m - {{2m+1} \choose 3}t^{m-1} \mp + (-1)^m{{2m+1} \choose {2m+1}}

Ce qui veut dire que les nombres cot2(rπ / (2m + 1)), pour r \in \{1,\ldots,m\} sont précisément les racines du polynôme P. Mais nous pouvons calculer la somme de ces racines directement en examinant les coefficients, et la comparaison montre que

\cot ^2 \left(\frac{\pi}{2m+1}\right) + \cot ^2 \left(\frac{2 \pi}{2m+1}\right) + \cdots + \cot ^2 \left(\frac{m \pi}{2m+1}\right)
= {{2m+1} \choose 3} / {{2m+1} \choose 1} = \frac{(2m)(2m-1)}{6}

En substituant l'identité cosec2(x) = cot2(x) + 1, nous avons

\csc ^2 \left(\frac{\pi}{2m+1}\right) + \csc ^2 \left(\frac{2 \pi}{2m+1}\right) + \cdots + \csc ^2 \left(\frac{m \pi}{2m+1}\right)
= {{2m+1} \choose 3} / {{2m+1} \choose 1} + m = \frac{(2m)(2m+2)}{6}

Maintenant, considérons l'inégalité cot2(x) < 1 / x2 < cosec2(x). Si nous additionnons toutes ces inégalités pour chaque nombre x = rπ / (2m + 1), et si nous utilisons les deux identités ci-dessus, nous obtenons

\frac{(2m)(2m-1)}{6} < \left( \frac{2m+1}{\pi} \right) ^2 + \left( \frac{2m+1}{2 \pi} \right) ^2 + \cdots + \left( \frac{2m+1}{m \pi} \right) ^2 < \frac{(2m)(2m+2)}{6}

En les multipliant par [π / (2m + 1)]2, cela devient

\frac{\pi ^2}{6}\left(\frac{2m}{2m+1}\right)\left(\frac{2m-1}{2m+1}\right) < \frac{1}{1^2} + \frac{1}{2^2} + \cdots + \frac{1}{m^2} < \frac{\pi ^2}{6}\left(\frac{2m}{2m+1}\right)\left(\frac{2m+2}{2m+1}\right)

Lorsque m tend vers l'infini, la partie gauche et droite tendent chacune vers π2 / 6, donc, par le théorème des gendarmes,

\zeta(2) = \sum_{k=1}^\infin \frac{1}{k^2} = \lim_{m \to \infty}\left(\frac{1}{1^2} + \frac{1}{2^2} + \cdots + \frac{1}{m^2}\right) = \frac{\pi ^2}{6}
La fonction zêta de Riemann
- Introduction - Euler attaque le problème - Une démonstration rigoureuse - La fonction zêta de Riemann
miniature
Le télescope James Webb, poussé à ses limites, découvre ces structures incroyablement anciennes 🔭
miniature
Le rôle surprenant de la grossesse contre la grippe A 🦠
miniature
Découverte d'une nouvelle espèce éteinte grâce à... un accélérateur de particules ⚛️
miniature
Une avancée prometteuse pour le déploiement des batteries sodium-ion 🔋
miniature
Voici comment et pourquoi le risque de cancer augmente... puis diminue avec l'âge 🧬
miniature
Le Soleil bientôt en "zone de combat": une période de turbulences extrêmes ☀️
miniature
1
Les rhumatismes plus douloureux par temps humide: vrai ou faux ? 🌧️
miniature
Ce nouveau type de moteur repousse les limites du vol supersonique ✈️
miniature
Poster sur les réseaux sociaux peut nuire à votre santé mentale 🧠
miniature
Une super-Terre entre Mars et Jupiter ? 🌎
miniature
Découverte impressionnante d'un fossile de crocodile géant 🐊
miniature
1
Cet accident en laboratoire pourrait transformer drastiquement la mémoire numérique ⚡
miniature
1
Un virage technologique révèle l'impact du diabète gestationnel 🩺
miniature
Insolite: ces loups butinent des fleurs ! Des grands carnivores pollinisateurs ? 🌼
miniature
1
Ce fin gilet robotisé soulage les tâches répétitives 🦾
miniature
Les équations d'Einstein invalidées ? 👀
miniature
Ce tatouage électronique se connecte à votre cerveau 🧠
miniature
Cette IA de Google prédit la météo mieux que jamais, et sur 15 jours ! 🌦️
miniature
Des plats au bœuf... sans bœuf ? 🥩
miniature
2
Ce moteur de recherche d'un nouveau genre bouscule nos habitudes 🔍
miniature
Pourquoi les cheveux bouclent-ils en fonction de la météo ? 🌦️
miniature
Découverte: d'autres univers plus propices à la vie que le notre 👽
miniature
Ces sons urbains qui minent notre santé mentale 🚗
miniature
La testostérone impacte-t-elle vraiment le désir sexuel des hommes ? 🔥
miniature
Des microalgues éliminent les métaux lourds: voici comment 🧪
miniature
1
Et voici un qubit mécanique ! 🖥️
miniature
Les lentilles de contact sont-elles vraiment sans danger ? 👁️
miniature
Dans la course à l'IA générative, Google lance son générateur de vidéos 🎥
miniature
4
Une zone oubliée du cerveau permet aux paralysés de marcher à nouveau 🧠
miniature
Cette astuce quotidienne ajoute 11 ans à votre vie 🕒
miniature
Révolutions, migrations des européens... les éruptions volcaniques ont influencé l'histoire 🌋
miniature
Soit l'énergie noire n'est pas constante, soit une seconde force inconnue est à l'œuvre... 🌀
miniature
Voici pourquoi l'alcool peut rendre agressif 🥂
miniature
Expérience inédite: ce laser projette une ombre visible 💥
miniature
Ce plat millénaire réduit significativement la graisse corporelle 🍽️
miniature
Les scientifiques trompés ? La Voie Lactée n'est PAS comme les autres galaxies 🔭
miniature
Pourquoi ce que pensent les autres de nous nous fait tant ruminer ? 🧠
miniature
De la vie découverte sur un échantillon de l'astéroïde Ryugu (oups) 👽
miniature
2
Des anomalies incompréhensibles de températures détectées simultanément presque partout sur Terre 🌡️
miniature
Cette planète, trop jeune pour exister, bouscule les lois de l'astronomie 🪐
miniature
Une montagne d'or découverte en Chine ⛏️
miniature
Cette simulation de l'Univers est totalement vertigineuse 🌀
miniature
1
Une pilule pourrait-elle imiter les bienfaits du yoga ? 🧘
miniature
Nous serions-nous trompés sur l'origine de l'écriture alphabétique ? ✍️
miniature
Voici pourquoi votre enfant triche et ce que cela révèle 🧠
miniature
Le Sahara verdit, et cela pourrait bien (re)changer notre climat 🌱
miniature
1
Neuralink: un bras robotique contrôlé par la pensée 🦾
miniature
Ces fossiles humains à grands crânes seraient-ils une espèce jusqu'alors inconnue ? 💀
miniature
1
L'étonnant impact du froid sur notre sommeil ❄️
miniature
Une base cachée de missiles nucléaires repérée par erreur sous la calotte glacière ☢️
Page générée en 0.248 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise