Documente Academic
Documente Profesional
Documente Cultură
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
355
113
Le calcul du nombre
2+ 2
2+ 2+ 2
2+ 2+ 2+ 2
En 1665, John Wallis obtient le produit
22
=
2
13
44
35
66
.
57
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
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)
= 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
(p2n ) = 4n sin
= n sin
2n tan
= pn P2n .
2n
n
2n
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
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
x5
+
20
30
8
+ 2 = 3.1416 . . .
60 60
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
Francois Vi`
ete
.
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
= 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
1 + cn
.
2
c2n =
Comme c4 =
2
2
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+
John Wallis
1
q
xp/q dx = p
=
p+q
+1
q
Andre Joyal
(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
(p + q)!
.
p!q!
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
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
Leibniz
+
.
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
= 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
(1 + x) =
X
n=0
xn
n X
( 1) ( n + 1) .
x =
n
n!
n=0
| x |< 1.
X
xn
1
(
+
1)
(
+
n
1)
=
(1 x) n=0
n!
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
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
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
tan 4
120
tan(4) tan( 4 )
1
1
119
=
.
120 =
1 + tan(4) tan( 4 )
239
1 + 119
Euler
15
Andre Joyal
p(x) = a0
x
1
x1
x
x
1
1
.
x2
xn
x
x
1
.
x2
xn
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+
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
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
cos(x) = 1
4x2
2
4x2
32 2
4x2
.
52 2
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
= 1 2
3!
5!
7!
1
x2
1 2
2
x2
1 2
3
17
Andre Joyal
x2
22
x2
.
32
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
1
1
1
+
+
+ .
1n 2n 3n
x2 x4 x6
1 + + .
3! 5! 7!
19
Andre Joyal
on tire que
(2n) =
2n
c2n .
2
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
(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
Tn (x) =
X
k=0
n
(x2 1)k xn2k .
2k
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
(1)k cos(n) si n = 2k
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
x2
1 2
x1
x2
x2
1 2 1 2 .
x2
xn
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
!
))
2n + 1
n
Y
sin2 ( 2n+1
)
1
sin = (2n + 1) sin(
)
k
2n + 1 k=1
sin2 2n+1
(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
= 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
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
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
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