Le nombre π Grand Oral · mathématiques, histoire-géographie-géopolitique, numérique Un support de connaissances pour construire sa propre question

← Tous les textes du Grand Oral

MathsHGGSPNSI

Aucun nombre n'a une histoire aussi longue que $\pi$. Les scribes de Babylone l'approchaient déjà, Archimède l'a encadré, les astronomes chinois et persans en ont calculé des décimales, et aujourd'hui des ordinateurs en alignent des milliers de milliards. On le rencontre dans le cercle, mais aussi dans des sommes infinies où aucun cercle n'apparaît, et même en jetant des aiguilles sur un parquet.

Ce texte suit quatre chemins vers $\pi$ : la géométrie, les suites et les séries, le hasard, puis la nature même du nombre. Chaque fois, on part d'un calcul à la main. Il rassemble des connaissances ; à chacun d'y choisir une direction et d'y construire sa question.

Sommaire
  1. Qu'est-ce que π ?
  2. Les premières valeurs
  3. Une somme infinie : la série de Leibniz
  4. Un produit infini : Wallis
  5. Aller vite : Machin et la course aux décimales
  6. L'aiguille de Buffon
  7. π par le hasard : précision et fraude
  8. La nature de π : la quadrature du cercle
  9. π aujourd'hui
  10. Des directions pour construire sa question
Qu'est-ce que π ?

Tous les cercles se ressemblent : un cercle deux fois plus grand qu'un autre en est un agrandissement, et toutes ses longueurs sont doublées. Le rapport entre le périmètre $P$ d'un cercle et son diamètre $D$ est donc le même pour tous les cercles. C'est ce rapport qu'on appelle $\pi$ :

$$\pi = \frac{P}{D}, \qquad \text{donc} \qquad P = 2\pi r.$$

Le même nombre donne l'aire du disque, $\mathcal{A} = \pi r^2$. Ce n'est pas évident : c'est Archimède qui a montré que l'aire d'un disque est celle d'un triangle de base le périmètre et de hauteur le rayon, soit $\dfrac{1}{2} \times 2\pi r \times r = \pi r^2$.

Animation : un cercle de diamètre 1 roule sur une droite graduée ; après un tour complet, le point de contact initial arrive à l'abscisse π, un peu après 3. Un cercle de diamètre $1$ qui roule sans glisser parcourt, en un tour, une longueur égale à $\pi$, un peu plus de $3$. Animation : John Reid, Wikimedia Commons, licence CC BY-SA 3.0.

La lettre $\pi$, initiale du grec periphereia (la circonférence), n'est utilisée dans ce sens que depuis 1706, par l'Anglais William Jones. Elle s'impose après qu'Euler l'a adoptée, dans les années 1730-1740. Avant, on parlait du « rapport de la circonférence au diamètre ».

Les premières valeurs Babylone, l'Égypte et la Bible

Les plus anciennes valeurs connues viennent de calculs pratiques, pour des champs, des greniers ou des cuves.

  • Babylone. Une tablette trouvée à Suse, datée du début du IIe millénaire avant notre ère, compare le périmètre d'un hexagone et celui du cercle, et conduit à la valeur $3 + \dfrac{1}{8} = 3{,}125$.
  • L'Égypte. Le papyrus Rhind (vers 1650 avant notre ère) calcule l'aire d'un champ rond de diamètre $9$ comme celle d'un carré de côté $8$. Cela revient à prendre $\pi \times 4{,}5^2 = 8^2$, soit $\pi = \dfrac{256}{81} \approx 3{,}1605$.
  • La Bible. Le Premier livre des Rois (7, 23) décrit dans le temple de Salomon une cuve de bronze ronde de dix coudées « d'un bord à l'autre » et dont « un cordon de trente coudées » fait le tour : cela revient à $\pi = 3$. Il s'agit d'une description, pas d'un calcul.
Un encadrement à la main avec des hexagones

Prenons un cercle de rayon $1$, donc de périmètre $2\pi$.

L'hexagone inscrit. Un hexagone régulier inscrit se découpe en six triangles équilatéraux de côté $1$ : son périmètre vaut $6$. Le plus court chemin entre deux points étant la ligne droite, chaque côté est plus court que l'arc qu'il sous-tend. Donc $6 < 2\pi$, c'est-à-dire $\pi > 3$.

L'hexagone circonscrit. Ses côtés sont tangents au cercle. Depuis le centre, chaque côté est vu sous un angle de $60°$ et se trouve à la distance $1$ du centre : un demi-côté vaut $\tan 30° = \dfrac{1}{\sqrt{3}}$. Le périmètre vaut donc $12 \times \dfrac{1}{\sqrt 3} = 4\sqrt{3}$, et il est plus long que le cercle : $2\pi < 4\sqrt 3$, soit $\pi < 2\sqrt{3} \approx 3{,}46$.

On a donc $3 < \pi < 3{,}47$. En doublant le nombre de côtés, on resserre l'encadrement : avec $n$ côtés, les mêmes calculs donnent

$$n\sin\frac{\pi}{n} \;<\; \pi \;<\; n\tan\frac{\pi}{n}.$$

Ces formules contiennent $\pi$ et ne servent donc pas à le calculer : elles montrent seulement que l'encadrement se resserre. Pour calculer vraiment, Archimède passe de $n$ à $2n$ côtés par des racines carrées, sans connaître $\pi$. Avec $96$ côtés, il obtient $\dfrac{223}{71} < \pi < \dfrac{22}{7}$, soit $3{,}1408 < \pi < 3{,}1429$. Ce calcul est détaillé, avec un programme Python, dans le texte Archimède.

var opt = {fontSize: 12, useKatex: false, useMathJax: false, parse: false, fixed: true, highlight: false}; board.create('circle', [[0, 0], 1], {strokeColor: '#c62828', strokeWidth: 2, fixed: true, highlight: false}); var sn = board.create('slider', [[-1.1, -1.85], [0.6, -1.85], [3, 6, 48]], {withLabel: false, snapWidth: 1}); function nombre(x, d) { return x.toFixed(d).replace('.', ','); } function poly(rayon, couleur) { var c = board.create('curve', [[0], [0]], {strokeColor: couleur, strokeWidth: 1.5, highlight: false}); c.updateDataArray = function () { var n = Math.round(sn.Value()), X = [], Y = [], k, r = rayon(n); for (k = 0; k <= n; k++) { X.push(r * Math.cos(Math.PI / 2 + 2 * Math.PI * k / n)); Y.push(r * Math.sin(Math.PI / 2 + 2 * Math.PI * k / n)); } this.dataX = X; this.dataY = Y; }; } poly(function (n) { return 1; }, '#1565c0'); poly(function (n) { return 1 / Math.cos(Math.PI / n); }, '#2e7d32'); board.create('text', [0.75, -1.85, function () { return 'n = ' + Math.round(sn.Value()); }], opt); board.create('text', [-1.3, -1.35, function () { var n = Math.round(sn.Value()); return 'inscrit : ' + nombre(n * Math.sin(Math.PI / n), 5); }], {fontSize: 12, useKatex: false, parse: false, fixed: true, highlight: false, color: '#1565c0'}); board.create('text', [-1.3, -1.58, function () { var n = Math.round(sn.Value()); return 'circonscrit : ' + nombre(n * Math.tan(Math.PI / n), 5); }], {fontSize: 12, useKatex: false, parse: false, fixed: true, highlight: false, color: '#2e7d32'}); Les polygones réguliers inscrit (bleu) et circonscrit (vert) à $n$ côtés, et les demi-périmètres qui encadrent $\pi$. Le curseur va de $6$ à $48$ côtés : avec $48$ côtés, $\pi$ est encadré entre $3{,}139$ et $3{,}146$.
Liu Hui, Zu Chongzhi, al-Kashi, van Ceulen

La méthode des polygones a été reprise ailleurs, et poussée très loin.

  • En Chine, Liu Hui commente en 263 un classique de calcul, les Neuf chapitres. Avec un polygone de $192$ côtés, il obtient $3{,}14$, puis $3{,}1416$ avec $3\,072$ côtés. Deux siècles plus tard, Zu Chongzhi encadre $\pi$ entre $3{,}1415926$ et $3{,}1415927$, et propose la fraction $\dfrac{355}{113} \approx 3{,}14159292$, juste à six décimales. Il faudra près de mille ans pour faire mieux.
  • À Samarcande, en 1424, l'astronome persan al-Kashi calcule $2\pi$ avec seize décimales exactes, à l'aide d'un polygone de $3 \times 2^{28}$ côtés, soit plus de 800 millions. Il choisit ce nombre pour que l'erreur soit plus petite que l'épaisseur d'un cheveu sur un cercle de la taille de l'univers connu de son temps, explique-t-il.
  • À Leyde, Ludolph van Ceulen consacre une grande partie de sa vie au calcul de $\pi$ par les polygones et atteint $35$ décimales, publiées après sa mort en 1615. En Allemagne, on a longtemps appelé $\pi$ le « nombre de Ludolph ».
Une stèle claire fixée à un pilier d'église : un texte en néerlandais ancien, puis un cercle dont le pourtour est formé des chiffres de π. La reconstitution de la pierre tombale de Ludolph van Ceulen dans la Pieterskerk de Leyde (l'originale était perdue) : le texte encadre le périmètre d'un cercle de diamètre $1$ entre deux nombres de $35$ décimales. Photo : A.L. Boon, Wikimedia Commons, licence CC BY-SA 3.0.

En 1593, le Français François Viète écrit la première formule exacte qui donne $\pi$ par une infinité d'opérations : un produit infini de racines carrées imbriquées, tiré lui aussi des polygones. Elle fait l'objet d'un texte à part, Le premier produit infini.

Une somme infinie : la série de Leibniz Le résultat

À la fin du XVIIe siècle, avec le calcul différentiel et intégral, une idée nouvelle apparaît : obtenir $\pi$ par une somme infinie de fractions toutes simples. Leibniz publie en 1682 la formule suivante, déjà connue en Écosse par James Gregory et, bien avant, en Inde, dans l'école du Kerala (Madhava, vers 1400) :

$$1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \frac{1}{9} - \cdots = \frac{\pi}{4}.$$

Plus précisément, si l'on note $S_n = \displaystyle\sum_{k=0}^{n} \frac{(-1)^k}{2k+1}$ la somme des $n+1$ premiers termes, alors la suite $(S_n)$ converge vers $\dfrac{\pi}{4}$.

À la main. $S_0 = 1$, $S_1 = 1 - \dfrac13 = \dfrac23 \approx 0{,}667$, $S_2 = \dfrac23 + \dfrac15 = \dfrac{13}{15} \approx 0{,}867$, $S_3 = \dfrac{13}{15} - \dfrac17 = \dfrac{76}{105} \approx 0{,}724$. Les sommes oscillent autour de $\dfrac{\pi}{4} \approx 0{,}785$, en s'en rapprochant lentement.

Une primitive qui donne π/4

La fonction $t \mapsto \dfrac{1}{1+t^2}$ est continue sur $\mathbb{R}$ ; elle admet donc une primitive $F$ qui s'annule en $0$ : $F(x) = \displaystyle\int_0^x \frac{\mathrm{d}t}{1+t^2}$. On l'appelle « arc tangente », mais on n'a besoin que de sa définition.

$\displaystyle\int_0^1 \frac{\mathrm{d}t}{1+t^2} = \frac{\pi}{4}$

Étape 1 : la dérivée de la tangente. Sur $\left[0\,;\dfrac{\pi}{2}\right[$, on pose $\tan x = \dfrac{\sin x}{\cos x}$. Par la formule de dérivation d'un quotient, le numérateur de la dérivée vaut $\cos x \times \cos x - \sin x \times (-\sin x)$, donc

$$\tan'(x) = \frac{\cos^2 x + \sin^2 x}{\cos^2 x}.$$

En séparant la fraction, on obtient $\tan'(x) = 1 + \tan^2 x$.

Étape 2 : une fonction composée. On pose $G(x) = F(\tan x)$ sur $\left[0\,;\dfrac{\pi}{2}\right[$. Par la dérivée d'une composée, et puisque $F'(u) = \dfrac{1}{1+u^2}$,

$$G'(x) = \tan'(x) \times F'(\tan x),$$

donc

$$G'(x) = \left(1+\tan^2 x\right) \times \frac{1}{1+\tan^2 x},$$

c'est-à-dire $G'(x) = 1$.

Étape 3 : conclusion. $G$ a pour dérivée $1$, donc $G(x) = x + c$. Or $G(0) = F(0) = 0$, donc $c = 0$ et $G(x) = x$. En $x = \dfrac{\pi}{4}$, où $\tan \dfrac{\pi}{4} = 1$ : $F(1) = G\!\left(\dfrac{\pi}{4}\right) = \dfrac{\pi}{4}$.

La démonstration de la formule de Leibniz La suite $(S_n)$ converge vers $\dfrac{\pi}{4}$, et $\left|S_n - \dfrac{\pi}{4}\right| \leqslant \dfrac{1}{2n+3}$

Étape 1 : une somme géométrique. Pour $t$ réel, les nombres $1, -t^2, t^4, \dots$ forment une suite géométrique de raison $q = -t^2$, différente de $1$. La formule de la somme donne

$$\sum_{k=0}^{n} (-t^2)^k = \frac{1 - (-t^2)^{n+1}}{1 + t^2}.$$

En séparant la fraction et en isolant $\dfrac{1}{1+t^2}$ :

$$\frac{1}{1+t^2} = \sum_{k=0}^{n} (-1)^k t^{2k} + r_n(t),$$

où le reste vaut

$$r_n(t) = (-1)^{n+1}\,\frac{t^{2n+2}}{1+t^2}.$$

Étape 2 : on intègre entre $0$ et $1$. Par linéarité, et puisque $\displaystyle\int_0^1 t^{2k}\,\mathrm{d}t = \frac{1}{2k+1}$ :

$$\frac{\pi}{4} = S_n + R_n,$$

avec

$$R_n = (-1)^{n+1}\int_0^1 \frac{t^{2n+2}}{1+t^2}\,\mathrm{d}t.$$

Étape 3 : on majore le reste. Pour $t \in [0\,;1]$, on a $1 + t^2 \geqslant 1$, donc $0 \leqslant \dfrac{t^{2n+2}}{1+t^2} \leqslant t^{2n+2}$. Par positivité de l'intégrale,

$$|R_n| \leqslant \int_0^1 t^{2n+2}\,\mathrm{d}t = \frac{1}{2n+3}.$$

Étape 4 : conclusion. Comme $\dfrac{1}{2n+3}$ tend vers $0$, le théorème des gendarmes donne $R_n \to 0$, donc $S_n \to \dfrac{\pi}{4}$.

Une formule très lente. La majoration explique la lenteur : l'erreur sur $\pi$, c'est-à-dire sur $4S_n$, est de l'ordre de $\dfrac{2}{n}$. Avec $100$ termes, $4S_n$ vaut environ $3{,}1316$ : une seule décimale juste. Pour chaque décimale de plus, il faut dix fois plus de termes : personne n'a jamais calculé $\pi$ sérieusement ainsi.

var opt = {fontSize: 12, useKatex: false, useMathJax: false, parse: false, fixed: true, highlight: false}; var petit = {fontSize: 11, useKatex: false, parse: false, fixed: true, highlight: false}; var ax = {strokeColor: '#455a64', strokeWidth: 1, fixed: true, highlight: false, lastArrow: true}; board.create('segment', [[0, 2.4], [31.5, 2.4]], ax); board.create('segment', [[0, 2.4], [0, 4.25]], ax); var k; for (k = 5; k <= 30; k += 5) { board.create('segment', [[k, 2.4], [k, 2.36]], {strokeColor: '#455a64', fixed: true, highlight: false}); board.create('text', [k - 0.8, 2.25, String(k)], petit); } var gr = [2.5, 3, 3.5, 4]; for (k = 0; k < gr.length; k++) { board.create('segment', [[0, gr[k]], [-0.5, gr[k]]], {strokeColor: '#455a64', fixed: true, highlight: false}); board.create('text', [-3.3, gr[k], String(gr[k]).replace('.', ',')], petit); } board.create('segment', [[0, Math.PI], [31, Math.PI]], {strokeColor: '#c62828', strokeWidth: 1.5, dash: 2, fixed: true, highlight: false}); board.create('text', [23, 3.6, 'droite y = π'], {fontSize: 12, useKatex: false, parse: false, fixed: true, highlight: false, color: '#c62828'}); var s = 0; for (k = 0; k < 30; k++) { s += (k % 2 === 0 ? 1 : -1) / (2 * k + 1); board.create('point', [k + 1, 4 * s], {name: '', size: 2, color: '#1565c0', fixed: true, highlight: false, showInfobox: false}); } board.create('text', [8, 4.15, 'nombre de termes →'], petit); Les valeurs $4S_n$ pour les $30$ premiers termes de la série de Leibniz. Elles passent alternativement au-dessus et au-dessous de $\pi$, et l'écart diminue très lentement.
Un produit infini : Wallis

En 1655, l'Anglais John Wallis obtient $\pi$ par un produit infini de fractions :

$$\frac{\pi}{2} = \frac{2}{1} \times \frac{2}{3} \times \frac{4}{3} \times \frac{4}{5} \times \frac{6}{5} \times \frac{6}{7} \times \cdots$$

Regroupés deux par deux, les facteurs sont $\dfrac{2k}{2k-1} \times \dfrac{2k}{2k+1} = \dfrac{4k^2}{4k^2-1}$. On note $W_n = \displaystyle\prod_{k=1}^{n} \frac{4k^2}{4k^2-1}$ le produit des $n$ premiers. À la main : $W_1 = \dfrac{4}{3}$, $W_2 = \dfrac43 \times \dfrac{16}{15} = \dfrac{64}{45} \approx 1{,}422$, à comparer à $\dfrac{\pi}{2} \approx 1{,}571$.

La démonstration actuelle passe par les intégrales de Wallis, un grand classique des sujets de bac.

La suite $(W_n)$ converge vers $\dfrac{\pi}{2}$

Étape 1 : les intégrales. Pour tout entier naturel $n$, on pose $I_n = \displaystyle\int_0^{\pi/2} \sin^n t \,\mathrm{d}t$. On a $I_0 = \dfrac{\pi}{2}$ et $I_1 = \big[-\cos t\big]_0^{\pi/2} = 1$. Les $I_n$ sont strictement positifs.

Étape 2 : une relation de récurrence par intégration par parties. On écrit $\sin^{n+2} t = \sin^{n+1} t \times \sin t$ et on pose $u(t) = \sin^{n+1} t$, $v(t) = -\cos t$. Alors $u'(t) = (n+1)\cos t \sin^n t$ et le crochet $\big[-\cos t \sin^{n+1} t\big]_0^{\pi/2}$ est nul. Il reste

$$I_{n+2} = (n+1)\int_0^{\pi/2} \cos^2 t \,\sin^n t \,\mathrm{d}t.$$

Avec $\cos^2 t = 1 - \sin^2 t$, cela donne $I_{n+2} = (n+1)\left(I_n - I_{n+2}\right)$, d'où

$$I_{n+2} = \frac{n+1}{n+2}\, I_n.$$

Étape 3 : les valeurs paires et impaires. En appliquant la relation de proche en proche (une récurrence) :

$$I_{2n} = \frac{\pi}{2}\prod_{k=1}^{n} \frac{2k-1}{2k},$$ $$I_{2n+1} = \prod_{k=1}^{n} \frac{2k}{2k+1}.$$

En divisant, les facteurs se regroupent exactement comme dans le produit de Wallis : $\dfrac{I_{2n+1}}{I_{2n}} = \dfrac{2}{\pi}\, W_n$.

Étape 4 : un encadrement. Sur $\left[0\,;\dfrac{\pi}{2}\right]$, on a $0 \leqslant \sin t \leqslant 1$, donc $\sin^{2n+2} t \leqslant \sin^{2n+1} t \leqslant \sin^{2n} t$. Par croissance de l'intégrale, $I_{2n+2} \leqslant I_{2n+1} \leqslant I_{2n}$. On divise par $I_{2n}$ et on utilise l'étape 2 :

$$\frac{2n+1}{2n+2} \leqslant \frac{2}{\pi}\,W_n \leqslant 1.$$

Étape 5 : conclusion. Le membre de gauche tend vers $1$ : par le théorème des gendarmes, $\dfrac{2}{\pi}W_n \to 1$, donc $W_n \to \dfrac{\pi}{2}$.

Le produit de Wallis est aussi lent que la série de Leibniz : avec $100$ facteurs, $2W_n$ vaut environ $3{,}1338$. Mais il a une grande descendance : c'est lui qui donne, au XVIIIe siècle, la constante $\sqrt{2\pi}$ de la formule de Stirling, et donc celle de la loi normale, la « courbe en cloche » des statistiques.

Une autre somme infinie, découverte par Euler en 1735, fait apparaître $\pi^2$ : $1 + \dfrac14 + \dfrac19 + \dfrac1{16} + \cdots = \dfrac{\pi^2}{6}$. C'est le problème de Bâle, qui a son propre texte.

Aller vite : Machin et la course aux décimales La formule de Machin

La série de Leibniz est lente parce qu'on y remplace $t$ par $1$ : les puissances $1^{2k}$ ne diminuent pas. La même démonstration, menée entre $0$ et un nombre $x$ de $[0\,;1]$, donne

$$F(x) = \sum_{k=0}^{n} \frac{(-1)^k x^{2k+1}}{2k+1} + R_n(x),$$

avec un reste qui vérifie

$$|R_n(x)| \leqslant \frac{x^{2n+3}}{2n+3}.$$

Pour $x = \dfrac15$, chaque terme est environ $25$ fois plus petit que le précédent : on gagne presque une décimale et demie par terme. En 1706, l'astronome anglais John Machin trouve une égalité qui permet d'en profiter :

$$\frac{\pi}{4} = 4F\!\left(\frac15\right) - F\!\left(\frac{1}{239}\right).$$

Il calcule ainsi $100$ décimales de $\pi$, à la main. Avec seulement trois termes de chaque somme, on a déjà $3{,}14162$, et avec cinq termes, sept décimales justes.

Pour ceux qui suivent maths expertes : vérifier la formule de Machin

Le nombre $F(x)$ est l'angle dont la tangente vaut $x$ : c'est un argument du nombre complexe $1 + \mathrm{i}x$, ou de $5 + \mathrm{i}$ pour $x = \dfrac15$. Or un argument d'un produit est la somme des arguments. On calcule à la main $(5+\mathrm{i})^2 = 24 + 10\mathrm{i}$ puis $(5+\mathrm{i})^4 = 476 + 480\mathrm{i}$, et enfin le produit $(5+\mathrm{i})^4\,(239 - \mathrm{i})$, qui vaut

$$114\,244 + 114\,244\,\mathrm{i}.$$

Partie réelle et partie imaginaire sont égales et positives : l'argument vaut $\dfrac{\pi}{4}$. Il est aussi égal à $4F\!\left(\dfrac15\right) - F\!\left(\dfrac{1}{239}\right)$, d'où la formule (les angles en jeu étant petits, il n'y a pas de multiple de $2\pi$ à ajouter).

Comparer en Python

Le programme suivant affiche, pour quelques nombres de termes, la valeur obtenue par chacune des trois méthodes et l'écart avec la valeur de $\pi$ connue de Python. On peut changer la liste des nombres de termes.

from math import pi def leibniz(n): s = 0 for k in range(n): s = s + (-1)**k / (2*k + 1) return 4 * s def wallis(n): p = 1 for k in range(1, n + 1): p = p * 4*k*k / (4*k*k - 1) return 2 * p def F(x, n): # n termes de la somme pour l'arc tangente s = 0 for k in range(n): s = s + (-1)**k * x**(2*k + 1) / (2*k + 1) return s def machin(n): return 4 * (4 * F(1/5, n) - F(1/239, n)) for n in [1, 2, 5, 10, 100]: print("n =", n) print(" Leibniz :", leibniz(n), " écart :", abs(leibniz(n) - pi)) print(" Wallis :", wallis(n), " écart :", abs(wallis(n) - pi)) print(" Machin :", machin(n), " écart :", abs(machin(n) - pi))

Avec $10$ termes, la formule de Machin atteint déjà la précision maximale des nombres à virgule de l'ordinateur (une quinzaine de chiffres), alors que Leibniz et Wallis ne donnent même pas la première décimale. Pour aller au-delà, les programmes de records travaillent avec des entiers immenses plutôt qu'avec des nombres à virgule.

Erreurs et records

Pendant deux siècles, des calculateurs appliquent ce type de formules à la main. L'Anglais William Shanks publie en 1873 un calcul de $707$ décimales, fruit de longues années de travail. En 1946, D. F. Ferguson, qui refait le calcul avec une machine de bureau, découvre que Shanks s'est trompé à partir de la $528^\text{e}$ décimale : tout ce qui suit est faux.

En 1949, l'ordinateur ENIAC, l'un des tout premiers, calcule $2\,037$ décimales en environ $70$ heures, avec la formule de Machin. C'est un test autant qu'un calcul : on vérifie qu'une machine fonctionne en lui faisant calculer un nombre connu. Depuis, la course continue avec des formules bien plus rapides (Ramanujan, les frères Chudnovsky) : au milieu des années 2020, les records dépassent la centaine de milliers de milliards de décimales. L'animation les dix millions premières décimales de π permet d'en parcourir une petite partie.

Ces décimales ne servent pas aux calculs pratiques : une quarantaine suffit pour calculer le périmètre de l'univers observable à la taille d'un atome près. Elles servent à tester les ordinateurs (une seule erreur de calcul se voit), à éprouver de nouveaux algorithmes, et à étudier une question encore ouverte : les chiffres de $\pi$ se comportent-ils comme s'ils étaient tirés au hasard ?

L'aiguille de Buffon Un pari sur un parquet

Georges-Louis Leclerc, futur comte de Buffon, est surtout connu comme naturaliste, auteur de l'Histoire naturelle et intendant du Jardin du roi, l'actuel Jardin des plantes. Jeune, il fait des mathématiques : en 1733, il présente à l'Académie des sciences un mémoire sur le jeu du « franc-carreau », où l'on parie sur la position d'une pièce jetée sur un carrelage. C'est l'une des premières fois que des probabilités sont calculées avec des aires, donc avec le calcul intégral, et non en comptant des cas.

Le mémoire est perdu, mais Buffon le reprend en 1777 dans son Essai d'arithmétique morale, avec un problème devenu célèbre : on jette une aiguille sur un parquet dont les lames sont parallèles et de même largeur. Quelle est la probabilité que l'aiguille tombe à cheval sur deux lames ?

Page imprimée ancienne, en caractères du XVIIIe siècle, avec le texte du problème de la baguette jetée sur un parquet, et en bas une figure : deux bandes parallèles et des arcs de cercle. La page de l'Essai d'arithmétique morale où Buffon pose le problème : « Je suppose que dans une chambre, dont le parquet est simplement divisé par des joints parallèles, on jette en l'air une baguette… ». Image : Wikimedia Commons, domaine public.

Contrairement à ce qu'on lit souvent, Buffon ne s'est jamais servi des aiguilles pour estimer $\pi$ : il cherchait la longueur d'aiguille qui rend le pari équitable. C'est Laplace, en 1812, dans sa Théorie analytique des probabilités, qui propose de jeter des aiguilles pour retrouver $\pi$, tout en précisant que les géomètres n'emploieront sans doute pas ce moyen.

Le calcul par une intégrale

Les lames ont une largeur $d$ et l'aiguille une longueur $\ell \leqslant d$ (elle ne peut alors couper qu'un seul joint). Une position de l'aiguille est décrite par deux nombres :

  • $y$, la distance de son milieu au joint le plus proche, comprise entre $0$ et $\dfrac{d}{2}$ ;
  • $\theta$, l'angle aigu qu'elle fait avec les joints, compris entre $0$ et $\dfrac{\pi}{2}$.

Chaque moitié de l'aiguille s'écarte du milieu, perpendiculairement aux joints, de $\dfrac{\ell}{2}\sin\theta$ (trigonométrie dans le triangle rectangle). L'aiguille coupe donc le joint exactement quand

$$y \leqslant \frac{\ell}{2}\sin\theta.$$

Lancer « au hasard » signifie ici que le point $(\theta\,;y)$ tombe uniformément dans le rectangle $\left[0\,;\dfrac{\pi}{2}\right] \times \left[0\,;\dfrac{d}{2}\right]$ : la probabilité d'une région est son aire divisée par celle du rectangle. C'est le même principe que dans la méthode de Monte-Carlo.

La probabilité que l'aiguille coupe un joint vaut $p = \dfrac{2\ell}{\pi d}$

Étape 1 : l'aire du rectangle. Elle vaut $\dfrac{\pi}{2} \times \dfrac{d}{2} = \dfrac{\pi d}{4}$.

Étape 2 : l'aire favorable. C'est l'aire sous la courbe de $\theta \mapsto \dfrac{\ell}{2}\sin\theta$, qui est positive et reste sous $\dfrac{d}{2}$ puisque $\ell \leqslant d$ :

$$\int_0^{\pi/2} \frac{\ell}{2}\sin\theta \,\mathrm{d}\theta = \frac{\ell}{2}\Big[-\cos\theta\Big]_0^{\pi/2},$$

soit

$$\int_0^{\pi/2} \frac{\ell}{2}\sin\theta \,\mathrm{d}\theta = \frac{\ell}{2}\,(0 + 1) = \frac{\ell}{2}.$$

Étape 3 : le quotient. $p = \dfrac{\ell}{2} \times \dfrac{4}{\pi d} = \dfrac{2\ell}{\pi d}$.

Exemple. Pour une aiguille de la largeur d'une lame ($\ell = d$), $p = \dfrac{2}{\pi} \approx 0{,}637$ : près de deux aiguilles sur trois coupent un joint. Le pari est équitable quand $p = \dfrac12$, c'est-à-dire $\ell = \dfrac{\pi}{4}d \approx 0{,}785\,d$ : c'est la réponse de Buffon, « à peu près les trois quarts » de la largeur d'une lame.

var opt = {fontSize: 12, useKatex: false, useMathJax: false, parse: false, fixed: true, highlight: false}; var petit = {fontSize: 11, useKatex: false, parse: false, fixed: true, highlight: false}; var ax = {strokeColor: '#455a64', strokeWidth: 1, fixed: true, highlight: false, lastArrow: true}; board.create('segment', [[0, 0], [1.72, 0]], ax); board.create('segment', [[0, 0], [0, 0.6]], ax); board.create('polygon', [[0, 0], [Math.PI / 2, 0], [Math.PI / 2, 0.5], [0, 0.5]], {fillColor: '#eceff1', fillOpacity: 0.6, borders: {strokeColor: '#455a64', strokeWidth: 1, dash: 2, fixed: true, highlight: false}, vertices: {visible: false}, fixed: true, highlight: false}); var sl = board.create('slider', [[0.1, -0.22], [0.85, -0.22], [0.1, 1, 1]], {withLabel: false, snapWidth: 0.05}); board.create('curve', [function (t) { return t; }, function (t) { return sl.Value() / 2 * Math.sin(t); }, 0, Math.PI / 2], {strokeColor: '#c62828', strokeWidth: 2, highlight: false}); var zone = board.create('curve', [[0], [0]], {strokeColor: 'none', fillColor: '#c62828', fillOpacity: 0.25, highlight: false}); zone.updateDataArray = function () { var X = [0], Y = [0], i, t; for (i = 0; i <= 40; i++) { t = Math.PI / 2 * i / 40; X.push(t); Y.push(sl.Value() / 2 * Math.sin(t)); } X.push(Math.PI / 2); Y.push(0); this.dataX = X; this.dataY = Y; }; board.create('text', [Math.PI / 2 - 0.08, -0.06, 'π/2'], petit); board.create('text', [1.66, 0.05, 'θ'], opt); board.create('text', [-0.27, 0.5, 'd/2'], petit); board.create('text', [0.05, 0.58, 'y'], opt); function nombre(x, d) { return x.toFixed(d).replace('.', ','); } board.create('text', [1.02, -0.22, function () { return 'ℓ/d = ' + nombre(sl.Value(), 2); }], opt); board.create('text', [0.15, -0.12, function () { return 'p = 2ℓ/(πd) ≈ ' + nombre(2 * sl.Value() / Math.PI, 3); }], opt); Le rectangle des positions possibles (ici $d = 1$) et, en rouge, la région où l'aiguille coupe un joint, sous la courbe $y = \dfrac{\ell}{2}\sin\theta$. Le curseur règle la longueur de l'aiguille.
π par le hasard : précision et fraude Retourner la formule

Avec $\ell = d$, on a $p = \dfrac{2}{\pi}$, donc $\pi = \dfrac{2}{p}$. On jette $n$ aiguilles et on compte les $c$ qui coupent un joint. La fréquence $f = \dfrac{c}{n}$ est une estimation de $p$, et $\dfrac{2}{f} = \dfrac{2n}{c}$ une estimation de $\pi$. Par la loi des grands nombres, plus $n$ est grand, plus il est probable que la fréquence $f$ soit proche de $p$, donc que $\dfrac{2n}{c}$ soit proche de $\pi$.

Exemple à la main. Sur $100$ aiguilles, $66$ coupent un joint : l'estimation vaut $\dfrac{200}{66} \approx 3{,}03$. Avec $63$, elle vaudrait $3{,}17$. Une seule aiguille de plus ou de moins change la deuxième décimale.

var opt = {fontSize: 12, useKatex: false, useMathJax: false, parse: false, fixed: true, highlight: false}; var j; for (j = 0; j <= 4; j++) { board.create('segment', [[0, j], [6, j]], {strokeColor: '#8d6e63', strokeWidth: 1.5, fixed: true, highlight: false}); } var sn = board.create('slider', [[0.3, -0.75], [3.6, -0.75], [10, 100, 3000]], {withLabel: false, snapWidth: 10}); var sg = board.create('slider', [[0.3, -1.5], [3.6, -1.5], [1, 1, 20]], {withLabel: false, snapWidth: 1}); var res = {n: 0, c: 0}; function tirages() { var n = Math.round(sn.Value()), g = 7919 * Math.round(sg.Value()) + 12345, i, u, v, r, x, y, s, c = 0, A = [], B = []; function alea() { g = (g * 16807) % 2147483647; return g / 2147483647; } for (i = 0; i < 20; i++) { alea(); } for (i = 0; i < n; i++) { do { u = alea(); v = alea(); r = u * u + v * v; } while (r > 1 || r === 0); r = Math.sqrt(r); u = u / r; v = v / r; if (alea() < 0.5) { u = -u; } x = 0.5 + 5 * alea(); y = 0.5 + 3 * alea(); s = 0.5 * v; var coupe = Math.floor(y - s) !== Math.floor(y + s); if (coupe) { c++; } if (i < 150) { var L = coupe ? A : B; L.push([x - 0.5 * u, y - s], [x + 0.5 * u, y + s], [NaN, NaN]); } } res.n = n; res.c = c; res.A = A; res.B = B; } function trace(nom, couleur) { var cv = board.create('curve', [[0], [0]], {strokeColor: couleur, strokeWidth: 1.5, highlight: false}); cv.updateDataArray = function () { if (nom === 'A') { tirages(); } var L = res[nom], X = [], Y = []; for (var k = 0; k < L.length; k++) { X.push(L[k][0]); Y.push(L[k][1]); } this.dataX = X; this.dataY = Y; }; } trace('A', '#c62828'); trace('B', '#1565c0'); function nombre(x, d) { return x.toFixed(d).replace('.', ','); } board.create('text', [3.8, -0.75, function () { return 'n = ' + res.n; }], opt); board.create('text', [3.8, -1.5, function () { return 'série ' + Math.round(sg.Value()); }], opt); board.create('text', [0.3, -0.25, function () { return 'coupent : ' + res.c + ' 2n/c ≈ ' + (res.c ? nombre(2 * res.n / res.c, 4) : '—'); }], opt); Simulation de $n$ lancers d'aiguilles de longueur égale à la largeur des lames. Les $150$ premières sont dessinées : en rouge celles qui coupent un joint, en bleu les autres. Le second curseur change de série de lancers. Même avec $3\,000$ aiguilles, la deuxième décimale reste incertaine.
Quelle précision ? L'inégalité de Bienaymé-Tchebychev

Le nombre $X$ d'aiguilles qui coupent un joint suit la loi binomiale de paramètres $n$ et $p$ (lancers indépendants, deux issues). La fréquence $F = \dfrac{X}{n}$ a pour espérance $p$ et pour variance $\dfrac{p(1-p)}{n}$. L'inégalité de Bienaymé-Tchebychev donne, pour tout $\delta > 0$,

$$P\big(|F - p| \geqslant \delta\big) \leqslant \frac{p(1-p)}{n\delta^2} \leqslant \frac{1}{4n\delta^2},$$

car $p(1-p) \leqslant \dfrac14$ (le maximum de $x(1-x)$ est atteint en $\dfrac12$). Pour que ce risque soit au plus de $5\,\%$, il suffit de prendre $\dfrac{1}{4n\delta^2} = 0{,}05$, soit $\delta = \dfrac{1}{\sqrt{0{,}2\,n}} \approx \dfrac{2{,}24}{\sqrt n}$.

$n$$\delta$$\pi$ est alors entre
$1\,000$$0{,}071$$2{,}83$ et $3{,}53$
$10\,000$$0{,}022$$3{,}03$ et $3{,}26$
$1\,000\,000$$0{,}002$$3{,}131$ et $3{,}153$

(Le tableau suppose que la fréquence obtenue est exactement $\dfrac{2}{\pi}$, pour montrer la largeur de l'intervalle.) La précision progresse comme $\dfrac{1}{\sqrt n}$ : pour gagner une décimale, il faut cent fois plus de lancers. L'inégalité de Bienaymé-Tchebychev est prudente ; un calcul plus fin (avec la loi normale) divise la largeur par un peu plus de deux, mais ne change pas cette règle. Le cours complet sur l'intervalle de confiance se trouve dans le texte La méthode de Monte-Carlo, qui calcule aussi $\pi$ en jetant des points dans un carré.

Simuler sans tricher

Pour simuler une aiguille, il faut tirer un angle au hasard. Mais tirer un angle entre $0$ et $\dfrac{\pi}{2}$ suppose de connaître $\pi$ ! Le programme ci-dessous contourne le problème : il tire un point au hasard dans un quart de disque et prend la direction de ce point. Le sinus s'obtient alors sans jamais utiliser $\pi$.

from random import random from math import sqrt def direction(): # un point au hasard dans le quart de disque de rayon 1 while True: u = random() v = random() r = sqrt(u*u + v*v) if 0 < r <= 1: return v / r # le sinus de l'angle, sans utiliser pi n = 10000 c = 0 for i in range(n): y = random() / 2 # distance du milieu au joint (d = 1) if y <= direction() / 2: # aiguille de longueur l = 1 c = c + 1 f = c / n delta = 1 / sqrt(0.2 * n) print("fréquence :", f) print("estimation de pi :", 2 / f) print("intervalle au moins à 95 % :", 2 / (f + delta), 2 / (f - delta))
La « fraude » de Lazzarini

En 1901, l'Italien Mario Lazzarini annonce avoir lancé $3\,408$ aiguilles, avec un rapport $\dfrac{\ell}{d} = \dfrac56$, et obtenu $1\,808$ intersections. Son estimation vaut alors

$$\pi \approx \frac{2\ell}{d} \times \frac{n}{c} = \frac{5}{3} \times \frac{3\,408}{1\,808},$$

c'est-à-dire

$$\pi \approx \frac{355}{113} \approx 3{,}1415929,$$

avec six décimales justes : un résultat bien trop beau. D'après le calcul de précision ci-dessus, $3\,408$ lancers ne garantissent même pas la première décimale. Plusieurs indices font douter :

  • $3\,408 = 16 \times 213$ et $1\,808 = 16 \times 113$ : les nombres sont exactement ceux qu'il faut pour tomber sur la fraction $\dfrac{355}{113}$ de Zu Chongzhi, connue depuis longtemps.
  • Avec ces réglages, la probabilité d'obtenir exactement $1\,808$ intersections sur $3\,408$ lancers est d'environ $1{,}4\,\%$. Ce n'est pas impossible, mais il suffit de s'arrêter au « bon » moment, ou de choisir le nombre de lancers après coup, pour fabriquer un tel résultat.

En 1994, le mathématicien Lee Badger a analysé ce compte rendu et conclu qu'il était très probablement arrangé. Cette histoire est une belle leçon de statistique : une estimation trop précise, compte tenu du nombre d'essais, est aussi suspecte qu'une estimation fausse.

La nature de π : la quadrature du cercle Irrationnel, puis transcendant

Toutes les valeurs historiques sont des fractions : $\dfrac{22}{7}$, $\dfrac{355}{113}$, $\dfrac{256}{81}$… La question se pose donc : $\pi$ est-il lui-même une fraction ?

  • En 1761, Jean-Henri Lambert, savant alsacien de l'Académie de Berlin, démontre que $\pi$ est irrationnel : ce n'est pas un quotient de deux entiers. Ses décimales ne deviennent donc jamais périodiques. Sa preuve utilise un développement de la tangente en « fraction continue », au-delà du programme de terminale.
  • En 1882, l'Allemand Ferdinand von Lindemann démontre davantage : $\pi$ est transcendant. Il n'est solution d'aucune équation polynomiale à coefficients entiers, comme $x^2 - 2 = 0$ (dont $\sqrt2$ est solution, ce qui en fait un nombre irrationnel mais pas transcendant).

Pour comparer : démontrer que $\sqrt 2$ est irrationnel tient en quelques lignes, par l'absurde et la parité. Pour $\pi$, il a fallu deux mille ans après Euclide, et les outils de l'analyse.

La quadrature du cercle est impossible

Depuis l'Antiquité grecque, un problème célèbre résiste : construire, à la règle et au compas seulement, un carré de même aire qu'un disque donné. Pour un disque de rayon $1$, il faut un carré de côté $\sqrt{\pi}$.

En 1837, Pierre-Laurent Wantzel montre que toutes les longueurs constructibles à la règle et au compas (à partir d'une longueur $1$) sont solutions d'équations polynomiales à coefficients entiers : elles s'obtiennent par additions, multiplications, divisions et racines carrées. Si $\sqrt\pi$ était constructible, $\pi$ le serait aussi, en le multipliant par lui-même, et il ne serait pas transcendant. Le théorème de Lindemann ferme donc la question : la quadrature du cercle est impossible.

L'expression « chercher la quadrature du cercle » est restée dans la langue pour désigner une entreprise vouée à l'échec. Elle n'a pas découragé tout le monde : en 1897, aux États-Unis, un projet de loi de l'Indiana, inspiré par un médecin persuadé d'avoir résolu le problème, imposait une méthode qui revenait à donner à $\pi$ une valeur fausse. Voté par la Chambre des représentants de l'État, il fut ajourné par le Sénat après l'intervention d'un professeur de mathématiques de passage.

π aujourd'hui Des directions pour construire sa question

Ce texte n'est pas un Grand Oral. Il rassemble des connaissances dans lesquelles chacun peut choisir une direction, la creuser et formuler sa propre question. Quelques directions possibles :

Pour l'échange avec le jury : les notions du cours à maîtriser

Le jury peut interroger sur les chapitres de spécialité mobilisés. Avec ce thème, il est utile de connaître parfaitement : les suites, leur limite et le théorème des gendarmes ; les suites géométriques et la somme de leurs termes ; la dérivation (quotient, fonction composée) et les fonctions trigonométriques ; les primitives, l'intégrale, sa positivité et l'intégration par parties ; la loi binomiale, l'espérance, la variance et l'inégalité de Bienaymé-Tchebychev ; la loi des grands nombres. En maths expertes : la forme trigonométrique des nombres complexes et l'argument d'un produit.

Pour réviser ces chapitres, l'application Maths FlashBac reprend tout le cours de spécialité en cartes.

Pour aller plus loin