Vous êtes sur la page 1sur 27

MAT 2

MATerials MATem`
atics
Volum 2008, treball no. 5, 27 pp. ISSN: 1887-1097
Publicaci
o electr`
onica de divulgaci
o del Departament de Matem`
atiques
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre
Andr
e Joyal

R
esum
e
La valeur du nombre intrigua les mathematiciens depuis lantiquite. Dans son ouvrage sur la Mesure du cercle Archim`ede (287-212 avant JC) etablit
les inegalites suivantes
3+

10
1
< <3+ .
71
7

Le dolmen de
Poulnabrone

Sa methode consiste `a comparer la circonference dun


cercle `a celle de deux polygones reguliers de 96 cotes, lun etant inscrit et
lautre circonscrit au cercle.
Au 3e si`ecle, le mathematicien chinois Liu Hui utilise une methode semblable `a celle dArchim`ede mais avec des polygones de 192 cotes. Au 5e si`ecle,
Tsu Chung-Chih et son fils obtiennent la valeur approchee
'

355
113

correcte `a 6 decimales. La precision du resultat restera insurpassee durant


pr`es dun millenaire.
Au 15e si`ecle, Al-Kashi, un astronome de Samarkand au Turkestan, calcule avec 14 decimales exactes en utilisant des polygones de 3 228 cotes,
pr`es dun milliard de cotes.

Le calcul du nombre

En 1593, Francois Vi`ete donne la premi`ere expression exacte du nombre


sous forme dun produit infini :
2
2
2
2
s
.
=2 q
q
r
r
q

2+ 2
2+ 2+ 2
2+ 2+ 2+ 2
En 1665, John Wallis obtient le produit
22

=
2
13




44
35



66
.
57


En 1674 Gottfried Wilhelm Leibniz decouvre la serie

1 1 1 1
1
=1 + +
+ .
4
3 5 7 9 11
En 1676, Isaac Newton obtient la serie
1 1
1
13
1
135
1

= +
+

+
6
2 2 3 23 2 4 5 25 2 4 6 7 27
En 1706, John Machin decouvre la relation

1
1
= 4 tan1
tan1
,
4
5
239
 

ce qui lui permet de calculer 100 decimales de .


En 1736, Leonard Euler decouvre lidentite
1
1
1
1
2
= 1 + 2 + 2 + 2 + 2 + .
6
2
3
4
5
En 1995, Simon Plouffe decouvre la formule :

X
1

4
2
1
1

n
8n + 1 8n + 4 8n + 5 8n + 6
n=0 16
Elle permet de calculer individuellement des bits du developpement binaire
de .
On doit `a William Jones (1675-1749) lintroduction du symbole (= peripherie = perim`etre) pour designer le rapport entre le perim`etre dun cercle
et son diam`etre. Euler en repandit lusage en ladoptant dans son traite Introductio in anlysin infinitorum (Lausanne 1748).

Andre Joyal

Archim`
ede

Plus de deux millenaires nous separent dArchim`ede. Il ignorait la trigonometrie qui sera invente au deuxi`eme si`ecle par Ptoleme et lalg`ebre qui sera
inventee beaucoup plus tard par les musulmans. La methode quil invente
pour calculer le nombre est de nature geometrique. Suivant Archim`ede,
nous allons comparer le perim`etre dun polygone regulier de n cotes avec
ceux des cercles inscrit et circonscrit (Archim`ede compare plutot le perim`etre
dun cercle `a ceux des polygones inscrit et circonscrit, mais cest equivalent).
Nous avons limmense avantage de pouvoir utiliser les notations algebriques
modernes. Designons par L la longueur des cotes du polygone. Le perim`etre
du polygone est egal `a nL. Chaque cote du polygone est la base dun triangle
isoc`ele dont le sommet est situe au centre du cercle. Langle au sommet du
triangle vaut 2/n. Sa hauteur est egale au rayon r du cercle inscrit. Les deux
cotes egaux du triangle ont une longueur egale au rayon R du cercle circonscrit. On en tire que sin(/n) = L/2R et que cos(/n) = r/R. Par suite,
la longueur nL de la circonference du polygone vaut 2Rn sin(/n). Comme
cette longueur est superieure `a celle de la circonference du cercle inscrit et
inferieure `a celle du cercle circonscrit on obtient les inegalites
2r < 2Rn sin(/n) < 2R.
On en tire que
n sin(/n) < < n tan(/n).
Posons pn = n sin(/n) et Pn = n tan(/n). On
verifie que pn (resp. Pn ) est la longueur de la circonference du polygone regulier inscrit (resp. circonscrit) dans un cercle de diam`etre 1. Lidee dArchim`ede est dexprimer les quantites p2n et P2n en
fonction des quantites pn et Pn . Il montre que lon a


q
1 1
1
1
=
+
et p2n = pn P2n .
P2n
2 p n Pn
Sion part dun hexagone, pour lequel p6 = 3 et P6 =
2 3, on peut doubler successivement le nombre de
Archim`ede
cotes et obtenir le perim`etre des polygones de 12,
24, 48 et 96 cotes. La precision obtenue sur la valeur de augmente avec le
nombre de cotes.
p6 < p12 < p24 < p48 < p96 < < P96 < P48 < P24 < P12 < P6 .

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

Pour obtenir les formules dArchim`ede il suffit dutiliser les identites ei2 =
(ei )2 et cos2 + sin2 = 1. En effet, elles donnent
cos(2) = cos2 sin2 = 2 cos2 1 et
Par suite

sin(2) = 2 cos sin .

sin(2)
= tan
1 + cos(2)

ce qui donne
1
1
1
=
+
.
tan
sin(2) tan(2)
Si on met = /(2n) dans cette relation et si lon divise par 2n on obtient
la premi`ere formule :
1
1
1 1
1
1
1
1
=
=
=
+
.

P2n
2n tan( 2n )
2 n sin( n ) n tan( n )
2 p n Pn


Pour obtenir le seconde formule, il suffit de multiplier lidentite sin(2) =


2 cos sin par tan . On obtient
2 sin2 = sin 2 tan .
Si on met = /(2n) dans cette relation et si lon multiplie par 2n2 on
obtient
2

(p2n ) = 4n sin

= n sin
2n tan
= pn P2n .
2n
n
2n


 

Cela montre que


p2n =

pn P2n .

Utilisons
ces formules pour calculer p12 et P12 . Comme on a p6 = 3 et P6 =

2 3 on obtient que



q
1
1 1
1
2+ 3

=
+
=
et p12 = 3P12 .
P12
2 3 2 3
12
Cela donne
p12 = 3.105828543 < < P12 = 3.21539030 . . .

Andre Joyal

Mais Archim`ede ne connat pas les fractions decimales qui furent inventees au
16e si`ecle par Simon Stevin. Pour calculer, il utilise des fractions rationnelles.
Pour borner superieurement il remplace certaines quantites irrationnelles
rencontrees en cours de calcul par des fractions rationnelles plus grandes
mais proches. Cela donne des nombres plus grands gi > pi et Gi > Pi . Il
obtient que G96 = 22/7. Pour borner inferieurement il applique la meme
procedure mais avec des fractions rationnelles plus petites. Cela donne des
nombres plus petits li < pi et Li < Pi . Il obtient que l96 = 223/71. Cela
donne lencadrement
1
10
< <3+ .
3+
71
7
Certaines des approximations rationnelles utilis
ees par Archim`ede sont remarquables. Par exemple, pour approximer 3, il utilise lencadrement
1351
265
< 3<
.
153
780
Lerreur est inferieure `a 104 :
1351 265
3
1

=
=
.
780
153
780 153
39780
Comment Archim`ede a-t-il trouve ces fractions ? La question a fait lobjet
de beaucoup de speculations chez les historiens des mathematiques. Certains pensent que les connaissances arithmetiques dArchim`ede etaient tr`es
en avance sur son epoque.
La valeur approchee ' 22/7 obtenue par Archim`ede etait bien meilleure
que celles que lon pouvait trouver `a son epoque. Elle se repandit rapidement
dans le monde antique, de lEgypte `a lInde jusquen Chine. Cest la valeur
que mes matres decole mont enseignees.
La methode dArchim`ede fournit un algorithme pour calculer `a un degre
de precision aussi eleve que lon veut. Lerreur commise est superieure `a la
difference Pn pn . On peut evaluer cette difference en calculant les quantites
pn = n sin(/n) et Pn = n tan(/n) directement avec un ordinateur. On
trouve que
P96 p96 = 0.001682648 . . .
P192 p192 = 0.000420578 . . .
P384 p384 = 0.000105139 . . .
P768 p768 = 0.000026284 . . .
On voit quil faudrait utiliser des polygones de plus de 384 cotes pour obtenir
une valeur approchee de exacte `a quatre decimales. Ces donnees montrent

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

aussi que la difference Pn pn est divisee par 4 environ si n est double. On


peut confirmer ces observations theoriquement. En effet, comme on a
sin x = x

x3 x5
+

3!
5!

et

tan x = x + 2

x3
x5
+ 16
+
3!
5!

on obtient que
1 3
1 5
Pn pn = n tan(/n) n sin(/n) = 2
+ 2
+ .
n 2
n 8


On voit que Pn pn est divise par 4 environ si n est double. On peut


essayer dameliorer la precision de lapproximation de en prenant une
moyenne ponderee entre les quantites pn et Pn . Pour cela, il faut prendre
un ponderation de (2/3, 1/3). En effet, cette ponderation permet de faire
disparatre le terme en x3 :
(2/3) sin x + (1/3) tan x = x +

x5
+
20

Si n = 96 on a p96 = 3.141031953 . . . , P96 = 3.142714601 . . . . On obtient


(2/3)p96 + (1/3)P96 = 3.141592836 . . . ,
alors que = 3.141592654 . . . Bien s
ur, Archim`ede ne pouvait connatre
cette ponderation.
Les techniques de calcul ont fait des progr`es immenses avec linvention du
syst`eme decimal. Dej`a au 2e si`ecle, lastronome Claude Ptolemee utilisait un
syst`eme de numeration sexagesimal. En construisant des polygones reguliers
de 20 et 24 cotes, il calcula le cote dun polygone regulier de 120 cotes.
Il publia des tables de trigonometrie avec la valeur de sin(1 ) avec quatre
decimales exactes. Il obtint la valeur approchee
'3+

30
8
+ 2 = 3.1416 . . .
60 60

Au 15e si`ecle, Al-Kashi, un astronome de Samarkand (Turkestan), calcula


avec 14 decimales exactes en utilisant des polygones de 3228 cotes. Il obtint
que
'3+

08
29
44
00
47
25
53
07
25
+ 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9.
60 60
60
60
60
60
60
60
60

Andre Joyal

Au 16e si`ecle, un Hollandais, Adrian van Romanus, utilisa le syst`eme decimal


pour calculer avec une precision de 15 decimales. Il fut surpasse quelques
annees plus tard par un autre Hollandais dorigine Allemande, Ludolph van
Ceulen (1539-1610). Dans un premier temps, Ceulen calcula avec une
precision de 20 decimales en utilisant des polygone de 233 60 > 500 milliards de cotes. Plus tard, dans des notes non publiees de son vivant, il calcula avec une precision de 35 decimales avec des polygones de 262 cotes.
Il les fit inscrire sur son epitaphe, croyant sassurer une gloire eternelle. En
Allemagne, on dit encore que est le nombre de Ludolph.

Francois Vi`
ete

On doit `a Francois Vi`ete (1540-1603) la premi`ere


expression exacte du nombre . La methode de Vi`ete
ressemble `a celle dArchim`ede sauf quil parvient `a
exprimer sous la forme dun produit infini. La longueur de la circonference dun polygone regulier de
n cotes inscrit dans un cercle de rayon 1 est donnee
par
 

.
Cn = 2n sin
n
Si on utilise la relation sin(2) = 2 cos sin , on voit
que


2n sin( n )
Cn

=
.
= cos

C2n
4n sin( 2n
2n
)
On en deduit que

F. Vi`ete

Cn

= cos
cos
cos
cos k
.
C2k n
2n
4n
8n
2 n


La circonference dun polygone regulier tend vers la circonference du cercle


lorsque le nombre de cotes saccrot indefiniment. Un passage `a la limite
lorsque k donne
Cn

= cos
cos
cos
cos
.
2
2n
4n
8n
16n
En posant n = 2 on obtient que


= cos
cos
cos
cos

4
8
16
32
 

 

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

Posons cn = cos( n ). Pour obtenir la formule de Vi`ete il suffit dexprimer c2n


en fonction de cn . Lidentite cos(2) = 2 cos2 () 1 entrane que
s

1 + cn
.
2

c2n =

Comme c4 =

2
2

on obtient successivement que


q

2+
c8 =
r 2
2+
c16 =

2+

2
s

2+
c32 =

2+

2+

Par suite,
s


2 + 2 + 2
2+
2
2 2 + 2

2
2
2

2+
2

2+

Malgre son elegance, la formule de Vi`ete ne permet pas de calculer dune


facon vraiment plus efficace que lalgorithme dArchim`ede.

John Wallis

Apr`es Vi`ete, il faut attendre le developpement du calcul differentiel et


integral pour assister `a de nouveaux progr`es dans le calcul du nombre .
La methode suivie par John Wallis (1616-1703) pour obtenir sa formule est
obscure mais originale. Dans son Arithmetica Infinitorum de 1665 il obtient
la valeur des integrales
Z
0

1
q
xp/q dx = p
=
p+q
+1
q

Andre Joyal

Il se propose de calculer en calculant laire dun quart de cercle de rayon


1 au moyen de lintegrale
Z 1
=
1 x2 dx.
4
0
Pour y arriver il commence par calculer les integrales
I(p, q) =

(1 x1/p )q dx.

pour p et q des entier positifs. Il dresse alors un tableau de A(p, q) = I(p, q)1
pour tous les entiers p, q 10.
p=0
p=1
p=2
p=3
p=4
p=5
p=6
p=7
p=8
p=9
p = 10

q=0
1
1
1
1
1
1
1
1
1
1
1

q=1
1
2
3
4
5
6
7
8
9
10
11

q=2
1
3
6
10
15
21
28
36
45
55
66

q=3
1
4
10
20
35
56
84
120
165
220
286

q=4
1
5
15
35
70
126
210
330
495
715
1001

q=5
1
6
21
56
126
252
462
792
1287
2002
3003

q=6
1
7
28
84
210
462
924
1716
3003
5005
8008

q=7
1
8
36
120
330
792
1716
3432
6435
11440
19448

q=8
1
9
45
165
495
1287
3003
6435
12870
24310
43758

q=9
1
10
55
220
715
2002
5005
11440
24310
48620
92378

q = 10
1
11
66
286
1001
3003
8008
19448
43758
92378
184756

Wallis reconnat le triangle de Pascal avec


A(p, q) =

(p + q)!
.
p!q!

Il observe aussi la symetrie A(p, q) = A(q, p) et les


p+q
relations A(p, q) =
A(p, q 1) et A(p, q) =
q
p+q
A(p 1, q).
p
J. Wallis
Wallis fait alors lhypoth`ese que ces relations sont
vraies meme pour des valeurs fractionnaires de p et
q. Par exemple, posons bn = A(1/2, n/2). On a b2 = 3/2. On obtient alors
que


b2n = A

n + 21
1
1
1
2n + 1
(2n + 1) 5 3
,n =
A ,n
=
b2n2 =
.
2
n
2
2
2n
(2n) 4 2


MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

10

De meme,
b2n+1 =

(2n + 2) 4 2
2n + 2
b2n1 =
b1 .
2n + 1
(2n + 1) 5 3

Wallis observe que la suite b1 , b2 , . . . est croissante car la suite


Z 1
1
=
(1 x2 )n/2 dx.
bn
0

est decroissante. Les inegalites b2n2 < b2n1 < b2n , impliquent que lon a
3 5
2n 1
4
2n
3 5
2n + 1

< b1
<
.
2 4
2n 2
3
2n 1
2 4
2n
On sait que b1 = A( 21 , 12 ) =

4
. On obtient par suite que

22 44
2n 2n

<
13 35
(2n 1)(2n + 1)
2


22 44
2n 2n
1
<

1+
.
13 35
(2n 1)(2n + 1)
2n
Ce qui prouve que
22

=
2
13




44
35



66
.
57


Les calculs de Wallis ont grandement inspires Newton dans sa decouverte


de la formule du binome. Ils ont donne naissance `a la theorie de linterpolation
dont Wallis est linitiateur. Ils ont inspire Euler dans sa decouverte de la
fonction (x).

Leibniz

En 1671, James Gregory (1638-1675) decouvre le developpement de Taylor de la fonction arctangente :


x3 x5 x7 x9
arctan(x) = 1
+

+
.
3
5
7
9
Leibniz (1646-1716) la decouvrira independamment quelques annees plus tard
en 1674. On ignore comment Gregory fit sa decouverte. On sait toutefois que

11

Andre Joyal

Leibniz utilisa le calcul differentiel et integral. Il a lidee de substituer x = 1


dans le developpement. Il obtient la serie de Leibniz :
1 1 1 1
1

= arctan(1) = 1 + +
+ .
4
3 5 7 9 11
La simplicite de cette formule pour est etonnante si on la compare `a
celle de Vi`ete. Mais sa convergence est lente. Rappelons quune serie de la
forme
S = a0 a1 + a2 a3 +
avec an 0 est une serie alternee. Supposons que an an+1 pour tout n 0
et que an 0 lorsque n croit. Dans ce cas, la serie alternee converge. En
effet, considerons les sommes partielles
Sn = a0 a1 + a2 + (1)n an .
On a
Sn Sn+2

(a a
n
n+1 ) 0
=
(an an+1 ) 0

si n est pair
si n est impair

Par suite,
S 1 S 3 S5 S4 S 2 S 0 .
Comme la difference S2n S2n+1 = a2n+1 tend vers 0, on voit que les sommes
partielles Sn sapprochent dune limite S :
S1 S3 S 5 S S 4 S2 S0 .
De plus, lerreur | Sn S | est inferieure `a la difference | Sn Sn+1 |= an+1 .
Cela montre que lerreur | Sn S | est toujours inferieure au premier terme
neglige en valeur absolu. Si Sn designe la somme des n premiers termes de la
serie de Leibnitz, alors on a
| 4Sn |

4
2n + 3

puisque lerreur est inferieure au premier terme neglige en valeur absolu. Pour
que cette erreur soit < 10N il faudrait prendre n 2 10N . Par exemple, il
faudrait additionner plus de 20 000 termes pour calculer avec 4 decimales
exactes, et plus de 2 000 000 pour avoir 6 decimales exactes.

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

12

Leibnitz

Newton

Newton

Cest en etudiant attentivement les travaux de Wallis en 1665 que Newton


decouvre la formule du binome :

(1 + x) =

X
n=0

xn
n X
( 1) ( n + 1) .
x =
n
n!
n=0

| x |< 1.

La formule est valable pour un exposant fractionnaire ou negatif si | x |< 1.


En changeant le signe de et de x on obtient la formule

X
xn
1
(
+
1)

(
+
n

1)
=
(1 x) n=0
n!

Cest par un raisonnement geometrique que Newton trouve en 1669 que


d
1
arcsin(x) =
.
dx
1 x2
Il utilise alors la formule du binome pour developper le membre de droite en
serie :

X
1
1

=
2
1x
n=0 2

 

1
+1
2



1
1
x2n
+ 2
+n1
2
2
n!

X
1 3 5 (2n 1)
n=0

2 4 6 2n

x2n .

13

Andre Joyal

En integrant cette serie terme `a terme il obtient que


arcsin(x) =

X
1 3 5 (2n 1)
n=0

2 4 6 2n

x2n+1

.
2n + 1

Il est important de noter que cest seulement ensuite que Newton trouve le
developpement
x3 x5
sin x = x
+

3!
5!
en inversant la serie de arcsin(x). En 1676( ?) Newton entretient une correspondance avec Leibniz. Il substitue x = 1/2 dans la serie de arcsin x pour
obtenir
1
1 1
1
13
1
135
1

= arcsin = +
+

+ .
3
5
6
2
2 2 32
24 52
2 4 6 7 27
Cette serie converge assez rapidement car son terme de rang n est < 4n .
Mais son terme general est complique. Newton calcula 15 decimales de
avant dabandonner.
En 1690, A. Sharp (1651-1742) utilise la serie


3
3
1
1
1
1

= arctan
=
1
+

+

6
3
3
3 3 5 32 7 33 9 34

pour calculer `a 72 decimales exactes.

John Machin
En 1706 John Machin (1680-1752) decouvre la relation

1
1
= 4 arctan arctan
.
4
5
239

Elle permet daccelerer grandement la convergence de la serie de GregoryLeibniz pour calculer . La relation est une consequence de lidentite
tan( + ) =

tan() + tan()
.
1 tan() tan()

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

14

Si on pose tan = 1/5 on obtient que


5
2 tan
=
tan(2) =
2
1 tan
12
120
2 tan(2)
=
2
1 tan (2)
119
Cette derni`ere quantite est leg`erement superieure `a 1. Cela signifie que 4 est
leg`erement superieur `a /4. On a
tan(4) =

tan 4

120
tan(4) tan( 4 )
1
1
119
=
.

120 =
1 + tan(4) tan( 4 )
239
1 + 119

Cela demontre la formule de Machin. Cette fois, il suffit dadditionner 70


termes de la premi`ere serie et 20 termes de la seconde pour calculer avec
100 decimales exactes. Cest ce que fit John Machin en 1706 :
1
16 arctan = 3.1583289575980921339207962431166446951613616
5
6060563362428302304385654351965190057172316
524859660870580205 . . .
1
4 arctan
= 0.0167363040082988954581528598371418109641922
239
6123052780330807845154872711336569157309513
042325449163781990 . . .
= 3.1415926535897932384626433832795028841971693
9937510582097494459230781640628620899862803
482534211706798215 . . .
La course aux decimales de etait bien lancee. En 1719, F. de Lagny calcule
127 decimales de en utilisant la serie de Gregory-Leibniz. La course ne
connatra pas de repos avant le milieu du 19e si`ecle. Avant de parler de
ces developpements, nous allons discuter dune contribution dEuler dont la
valeur est surtout de nature theorique.

Euler

Cest en 1736 quEuler (1707-1783) parvint `a sommer les inverses des


carres :
2
1
1
1
= 1 + 2 + 2 + 2 + .
6
2
3
4

15

Andre Joyal

Sa methode est nouvelle. Il commence par noter que si x1 , . . . , xn sont les


racines dun polynome
p(x) = a0 + a1 x + a2 x2 + + an xn
avec a0 6= 0 alors on a


p(x) = a0

x
1
x1



x
x
1
1
.
x2
xn


En effet, pour le voir il suffit de diviser le produit


p(x) = an (x x1 )(x x2 ) (x xn )
par a0 = p(0) = an (x1 )(x2 ) (xn ). On obtient que
x
an (x x1 )(x x2 ) (x xn )
p(x)
= 1
=
a0
an (x1 ) (x2 ) (xn )
x1




x
x
1
.
x2
xn


La formule nest valable qui si a0 6= 0. Toutefois,


si a0 = 0 et a1 = p0 (0) 6= 0 on obtient que
x
p(x) = a1 x 1
x1




x
x
1
1
.
x2
xn1


o`
u x1 , . . . , xn1 sont les racines non nulles de p(x).
Rappelons quun polynome p(x) est dit pair sil verifie p(x) = p(x), et quil est dit impair si p(x) =
p(x). Un polynome p(x) est pair si, et seulement
si, il ne contient que des monomes de degre pair,
L. Euler
et il est impair si et seulement si il ne contient que
des monomes de degre impair. Si a est racine dun
polynome p(x) pair (resp. impair) alors a est aussi racine de p(x). Dans ce
cas on peut regrouper les facteurs


x
a



x
x2
= 1 2 .
a
a


1+

Si x1 , x1 , . . . , xn , xn sont les racines dun polynome pair p(x) de degre 2n


avec a0 = p(0) 6= 0 alors obtient une factorisation


p(x) = a0 1

x2
x21



x2
x2

.
x22
x2n


MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

16

Si 0, x1 , x1 , . . . , xn , xn sont les racines dun polynome impair p(x) de degre


2n + 1 avec a1 = p0 (0) 6= 0, alors on obtient une factorisation
x2
p(x) = a1 x 1 2
x1



x2
x2
1 2 1 2 .
x2
xn


Lidee dEuler est de traiter les fonctions cos(x) et sin(x) comme des polynomes (de degre infini) ! La fonction sin(x) sannule en x = n (n 0).
Cest un fonction impaire et a1 = 1 comme le montre le developpement de
Taylor
x3
+ .
sin(x) = x
3!
Euler en deduit que lon a


sin(x) = x 1

x2
2



x2
22 2



x2
.
32 2


De meme, la fonction cos(x) sannule pour x = (2n + 1)/2 (n 0). Cest


une fonction paire et a0 = cos(0) = 1. Euler en deduit que lon a


cos(x) = 1

4x2
2



4x2
32 2



4x2
.
52 2


La justesse du raisonnement dEuler fut contestee `a son epoque. Euler repond


`a ses critiques en fournissant une preuve plus rigoureuse dans son Introductio
analysin infinitorium de 1748. Nous en verrons une demonstration. Mais
auparavant, tirons-en quelques consequences. Il est souvent commode decrire
les formules dEuler comme suit :
sin(x)
x2
= 1 2
x
1




x2
1 2
2



x2
1 2 .
3


x
x2
x2
x2
cos
= 1 2 1 2 1 2 .
2
1
3
5
Si on substitue x = 1/2 dans la premi`ere, on obtient


2
1
= 1 2

2






1
1 2
4





1
1 2 .
6


Cest la formule de Wallis ! Si on egalise les coefficients de x2 de chaque


membre de legalite
2 x2 4 x4 6 x6
x2
1
+

= 1 2
3!
5!
7!
1




x2
1 2
2



x2
1 2
3


17

Andre Joyal

on obtient la somme des inverses des carres :


2
1
1
1
= 2 + 2 + 2 + .
3!
1
2
3
En comparant les coefficients de x2n pour chaque n, Euler obtient une infinite
didentites semblables. Pour y voir clair, il est bon de transformer le produit
en somme en prenant le logarithme. Il est plus simple de prendre la derivee
du logarithme. Si f (x) est une fonction, on dit que la fonction
f 0 (x)
d
ln f (x) =
dx
f (x)
est la derivee logarithmique de f (x) ; nous la denoterons Df (x). On verifie
que la derivee logarithmique du produit de deux fonctions est egale `a la
somme de leur derivee logarithmique :
D(f (x)g(x)) = Df (x) + Dg(x).
Cest vrai plus generalement pour un produit de n fonctions :
D(f1 (x) fn (x)) = Df1 (x) + + Dfn (x).
Supposons que cest egalement vrai pour le produit (infini)
x2
sin(x)
= 1 2
x
1




x2
22



x2
.
32


En prenant la derive logarithmique de chaque membre on obtient que


cot(x)

1
2x
2x
2x
= 2
+
+
+ .
x
1 x2 22 x2 32 x2

Par suite,

x2
x2
x2
x cot(x) = 1 2 2
+
+
+
1 x2 22 x2 32 x2
Remarquer que
x2
x2
1
x2 x4 x6
=

=
+
+
+ .
2
n2 x2
n2 1 nx2
n2 n4 n6

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

18

Par suite,


  2

x
x4 x6
2
4
6

x cot(x) = 1 2 x + x + x + + 2 + 4 + 6 +


x
x
x
+ 4 + 6 +
2
3
3
3


 

x2 x2
x4 x4
2
4

= 1 2 x + 2 + 2 + + x + 4 + 4 +

x6 x6
+ x6 + 6 + 6 +
2
3






x2
1
1
1
= 1 2 1 + 2 + 2 + x2 + 1 + 4 + 4 + x4

1
1
+ 1 + 6 + 6 + x6 +
2
3


Pour tout n 2, posons


(n) =

1
1
1
+
+
+ .
1n 2n 3n

Nous avons montre que




x cot(x) = 1 2 (2)x + (4)x + (6)x + .


Pour obtenir la valeur de (2n) il suffit de calculer les coefficients du developpement en serie de la fonction g(x) = x cot(x). Comme g(x) est une
fonction paire on peut poser
g(x) = 1 c2 x2 c4 x4 c6 x5 .
La relation cos x = cot(x) sin(x) entrane que
x2 x4 x6
1 + + = 1c2 x2 c4 x4 c6 x6
2! 4! 6!




x2 x4 x6
1 + + .
3! 5! 7!


19

Andre Joyal

En egalant les coefficients de x2n de chaque membre, on obtient les equations


suivantes :
1
1
= c2 +
2!
3!
1
c2
1
= c4 + +
4!
3! 5!
1
c4 c2
1
= c6 + +
6!
3! 5! 7!
1
c6 c4 c2
1
= c8 + + +
8!
3! 5! 7! 9!

On peut resoudre ces equations successivement pour obtenir les valeurs de


c2 , c4 , . . . On obtient,
1
2
1
2
1382
1
c6 =
, c8 =
, c10 =
, c12 =
.
c2 = , c4 =
3
45
945
4725
93555
638512875
De la relation


g(x) = x cot(x) = 1 2 (2)x + (4)x + (6)x +

on tire que
(2n) =

2n
c2n .
2

Admirons les resultats dEuler :


2
=
23
4
=
2 32 5
6
=
33 5 7
8
=
2 33 52 7
10
=
33 5 7 11
691 12
=
36 53 72 11 13

1
1
1
+ 2+ 2+
2
1
2
3
1
1
1
+ 4+ 4+
4
1
2
3
1
1
1
+ 6+ 6+
6
1
2
3
1
1
1
+ 8+ 8+
8
1
2
3
1
1
1
+
+
110 210 310
1
1
1
+ 12 + 12
12
1
2
3

1
42
1
44
1
46
1
48

+
+
+
+

1
+
410
1
+ 12 +
4
+

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

20

On peut demontrer que les coefficients du developpement en serie de la


fonction cotangente sexpriment en terme des nombres de Bernoulli. La valeur
de la serie (n) pour n impair demeure inconnue. Euler a calcule (3) jusqu`a
plus de 15 decimales sans pouvoir lexprimer avec des constantes connues.
Toutefois, Apery a demontre recemment que (3) est un nombre irrationnel.
Dans ce qui suit, nous allons etablir le developpements en produit dEuler
des fonctions sin x et cos x. Pour cela, nous utiliserons les polyn
omes de Chebyshev Tn (x). Par definition, Tn (x) est un polynome de degre n pour lequel
on a identiquement
cos(n) = Tn (cos ).
Par exemple, on a cos(2) = 2 cos2 1, ce qui signifie que T2 (x) = 2x2 1. Il
est facile dobtenir une expression pour Tn (x). En effet, cos(n) est la partie
reelle de
n

(cos + i sin ) =

n
X

k=0

n
sink cosnk
k

Par suite,
[n/2]

cos(n) =

(1)

n
sin2k cosn2k
2k

(1)k

n
(1 cos2 )k cosn2k .
2k

X
k=0
[n/2]

k=0

Cela montre que


[n/2]

Tn (x) =

X
k=0

n
(x2 1)k xn2k .
2k

Le coefficient de xn dans Tn (x) est


[n/2]

X
k=0

n
= 2n1
2k

si n > 0

21

Andre Joyal

On trouve que
T0 (x) = 1
T1 (x) = x
T2 (x) = 2x2 1
T3 (x) = 4x3 3x
T4 (x) = 8x4 8x2 + 1
T5 (x) = 16x5 20x3 + 5x
T6 (x) = 32x6 48x4 + 18x2 1
T7 (x) = 64x7 112x5 + 56x3 7x
T8 (x) = 128x8 256x6 + 160x4 32x2 + 1
T9 (x) = 256x9 576x7 + 432x5 120x3 + 9x
T10 (x) = 512x10 1280x8 + 1120x6 400x4 + 50x2 1.
Lemme 1 On a Tn (x) = (1)n Tn (x).
Preuve : Si on substitue cos = cos( + ) dans Tn (x) on obtient
Tn ( cos ) = Tn (cos( + )) = cos(n + n) = (1)n cos(n)
= (1)n Tn (cos ).
Le polynome Tn (x) est donc pair si n est pair, et impair si n est impair.
Lemme 2 Pour tout n 1, on a
Tn (sin ) =

(1)k cos(n)
k

(1) sin(n)

si n = 2k
si n = 2k + 1

Preuve : Si on substitue sin = cos( 2 ) dans Tn (x) on obtient

(1)k cos(n) si n = 2k

Tn (sin ) = Tn (cos( )) = cos(n n) =


(1)k sin(n) si n = 2k + 1
2
2

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

22

k
et yk = sin 2n+1
. Alors
Lemme 3 Pour tout entier k posons xk = sin (2k1)
4n
on a
n
Y

x2
1
(1)n T2n (x) =
x2k
k=1

n
Y
T2n+1 (x)
x2
1
=x
(1)n
2n + 1
yk2
k=1

et

Preuve : Le polynome T2n (x) est pair de degre 2n. Les 2n nombres
x1 , , xn , x1 , , xn
sont des racines de T2n (x) car on a

T2n (xk ) = (1)n cos((2k 1) ) = 0.


2
dapr`es le lemme 2. Le polynome T2n (x) ne peut avoir dautres racines car il
est de degre 2n. Le terme constant de T2n (x) est egal `a (1)n car
T2n (0) = T2n (sin(0)) = (1)n cos 0 = (1)n .
Par suite,
n

T2n (x) = (1)

x2
1 2
x1



x2
x2
1 2 1 2 .
x2
xn


Le polynome T2n+1 (x) est impair de degre 2n + 1. Les 2n + 1 nombres


0, y1 , , yn , y1 , , yn
sont des racines de T2n+1 (x) car on a
T2n+1 (yk ) = (1)n sin(k) = 0.
dapr`es le lemme 2. Le polynome T2n+1 (x) ne peut avoir dautres racines car
0
il est de degre 2n + 1. Le coefficient de x dans T2n+1 (x) est egal `a T2n+1
(0).
Mais on a


d
0
T2n+1 (sin ) = T2n+1
(sin ) cos = (1)n (2n + 1) cos (2n + 1)
d
dapr`es le lemme 2. Si on pose = 0 dans cette identite, on obtient que
0
T2n+1
(0) = (1)n (2n + 1). Par suite,
(1)n

x2
T2n+1 (x)
=x 1 2
2n + 1
y1




x2
x2

.
y22
yn2


23

Andre Joyal

Th
eor`
eme 4 (Euler) On a
cos =

Y
n=1

42
1
(2n 1)2 2

sin =

n=1

2
1 2 2 .
n
!

Preuve : Demontrons la seconde formule. Pour tout n 0 on a


sin = (1)n T2n+1 (sin(

))
2n + 1

dapr`es le lemme 2. Par suite, le lemme 3 donne

n
Y
sin2 ( 2n+1
)

1


sin = (2n + 1) sin(
)
k
2n + 1 k=1
sin2 2n+1

Nous allons prendre la limite de lexpression de droite lorsque n . Il est


facile de voir en utilisant le theor`eme de Rolle que
lim

(2n + 1) sin(

) = .
2n + 1

Par suite,
lim

sin( 2n+1
)

sin

k
2n+1

 =

.
k

Remarque : Notre demonstration du theor`eme nest pas compl`etement rigoureuse car la limite dun produit infini (ou illimite) nest pas forcement egale
au produit des limites des facteurs. On peut la rendre tout `a fait rigoureuse
en utilisant le theor`eme de convergence bornee.
Revenons `a la course aux decimales de . En 1789, G. von Vega en calcula
136 decimales en utilisant une formule dEuler

1
3
= 5 arctan 2 arctan .
4
7
79
En 1844 le calculateur prodige Z. Dashe obtint 200 decimales avec une formule de Strassnitzky :

1
1
1
= arctan + arctan + arctan .
4
2
5
8

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

24

En 1847, lastronome T. Clausen obtint 248 decimales avec la formule de


Machin. En 1853, W. Rutheford en obtint 400 avec une formule dEuler.
` partir du milieu du 19e si`ecle la course
En 1855 Richter en calcule 500. A
aux decimales de entre dans une periode de tranquillite qui durera environ
un si`ecle. Comme si les decouvertes mathematiques des si`ecles precedents
avaient dej`a ete exploitees aux maximum. La course reprendra au milieu du
20e si`ecle avec lapparition des ordinateurs. En 1962, D. Shanks and J. W.
Wrench obtiennent 100 000 decimales en utilisant une formule de Stormer :
1
1
1

= 6 arctan + 2 arctan
+ arctan
.
4
8
57
239
En 1974, J. Guilloud et M. Bouyer obtiennent 1 million de decimales en
utilisant une formule de Gauss

3
1
1
1
5
1
= arctan
+ arctan

arctan
.
64
4
18 2
57 16
239
En 1976, Eugene Salamin et Richard Brent redecouvrent independamment
une formule non publiee de Gauss :
1
M 1,
2

!2

1
2n (an an1 )2 .

2 2 n=1

Elle permet de calculer en calculant une moyenne arithmetico-geometrique


de Gauss. Je rappelle que la moyenne arithmetico-geometrique M (a, b) de
deux nombres a, b > 0 est la limite commune des suites (an ) et (bn ) obtenues
en posant
a0 = a
b0 = b
q
an + b n
bn+1 = an bn
an+1 =
2
La convergence est quadratique, ce qui signifie que le nombre de decimales
exactes est double `a chaque iteration. Avec 40 iterations on peut obtenir
theoriquement 240 ' 1012 = mille milliards de decimales exactes de M (a, b).
Bien s
ur, il faut pouvoir multiplier des nombres de plusieurs milliards de
decimales. Cest devenu possible avec lusage de la transformee de Fourier
rapide en analyse numerique. La formule de Brent-Salamin-Gauss permet
de calculer en calculant M (1, 12 ). En 1982, elle sera utilisee par Tamura
pour calculer plus de 2 millions de decimales de , et par Tamura et Kanada
en 1989 pour en calculer plus de 1 milliard. En 1999, Takahashi et Kanada
parviennent `a calculer plus de 200 milliards de decimales de .

25

Andre Joyal

Simon Plouffe

En 1995, Simon Plouffe et les fr`eres Peter et Jonathan Borwein font une
annonce surprenante. Ils affirment pouvoir calculer les bits de individuel` lepoque, les chercheurs
lement, sans devoir calculer les bits qui prec`edent. A
savaient dej`a calculer individuellement les bits de log 2 grace `a la serie

X
1

1
.
n
n=1 n 2

log 2 =

Voici comment. Le bit de rang l + 1 dun nombre 0 < x < 1 est le premier
bit de la partie fractionnaire du produit 2l x. Pour calculer le bit de rang
l + 1 de log 2 on calcule 2l log 2 modulo 1 avec la serie
l
X
1

2l log 2 =

n=1

2ln +

X
1
n=l+1

l
X
2ln mod n

n=1

1
2nl

X
1
n=l+1

1
2nl

modulo 1

Leconomie de calcul provient de la reduction modulo n. Il existe des algorithmes permettant de calculer efficacement une exponentielle modulo n.
Pour le cas de , il faut disposer dune serie appropriee. Cest la formule que
trouve Simon Plouffe en utilisant un ordinateur :

X
1

2
1
1
4

.
=
n
8n + 1 8n + 4 8n + 5 8n + 6
n=0 16
Cest une formule remarquable qui semble avoir echappe `a Euler, Gauss et
Ramanujan ! Sa demonstration est elementaire. Remarquons dabord que

X
16
1
x8n
=
.
8 =
n
16 x8
1 x16
n=0 16

Par suite,
Z
0

X
16xk
1
dx
=
8
n
16 x
n=0 16 (8n + k + 1)

et
16

Z
0

X
x5 + x4 + 2x3 4
1 4
2
1
1
dx
=

.
8
n
x 16
8n + 1 8n + 4 8n + 5 8n + 6
n=0 16

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Le calcul du nombre

26

Pour calculer lintegrale, on utilise les fractions partielles. Remarquer les


factorisations
x8 16 = (x2 2)(x2 + 2)(x2 2x + 2)(x2 + 2x + 2),
x5 + x4 + 2x3 4 = (x 1)(x2 + 2)(x2 + 2x + 2).
Par suite,

x1
1
x2
x
x5 + x4 + 2x3 4
= 2
= 2
2
.
8
2
x 16
(x 2)(x 2x + 2)
4 x 2 x 2x + 2
Il vient
8

Z
0

Z 1
Z 1
x5 + x4 + 2x3 4
2x dx
2x 4
dx
=

dx
x8 16
0 x2 2
0 x2 2x + 2
Z 1
Z 1
Z 1
2x dx
(2x 2) dx
dx
=

+
2
2
2
0 x 2
0 x 2x + 2
0 (x 1)2 + 1

2 x2
= log 2
x 2x + 2

= .
2

#1

1

+ 2 arctan(x 1)
0

Epilogue

Le calcul du nombre est-il aujourdhui plus quun amusement ? On peut


le soutenir, car tout nouveau progr`es dans le calcul de depend dune avancee
dans nos connaissances. On aurait detecte des erreurs dans la construction
physique de certains ordinateurs en faisant tourner des programmes pour
calculer . Mais le propre de la science est de chercher `a connaitre sans trop se
soucier des applications. Lhistoire des sciences a montre que les applications
suivront bien un jour, peut-etre beaucoup plus tard. Il parait raisonnable de
penser que les intelligences extra-terrestres connaissent , sous une forme ou
une autre. Le nombre sera-t-il toujours un myst`ere ?

27

Andre Joyal

`a Seattle

R
ef
erences
[AH] J. Arndt, C. Haenel. unleashed, Springer-Verlag, New York, Berlin.
[BBB] L. Berggren, J. Borwein et P. Borwein. a source book. SpringerVerlag, New York, Berlin.
[D]
J. Delahaye. Le fascinant nombre . Biblioth`eque pour la science,
Diffusion Belin, 1997.
[EL]
P. Eymard, J. P. Lafon. Autour du nombre . Actualites Scientifiques et Industrielles [Current Scientific and Industrial Topics], 1443.
Hermann, Paris, 1999.
[O]
T.J. Osler. The union of Vieta and Wallis products for , Amer.
Math. Monthly Vol 106, 1999.

Departement de mathematiques
Universite du Quebec `a Montreal
joyal.andre@uqam.ca
Publicat el 23 de juliol de 2008

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departament
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat