To print higher-resolution math symbols, click the

Hi-Res Fonts for Printing button on the jsMath control panel.

E
Le nombre dor en mathmatique
Le 14 janvier 2009, par Pierre de la Harpe
Professeur l'Universit de Genve (page web)
Texte de vulgarisation mathmatique propos du nombre dor
61803. On y montre dabord lquivalence de plusieurs
dnitions de ce nombre. Puis on dcrit le rle du nombre dor dans
quelques problmes gomtriques (proportions dans un pentagone
rgulier), ainsi que dans diverses considrations arithmtiques
lmentaires et plus avances (approximation diophantienne, 10me problme de Hilbert). Les
prrequis mathmatiques sousentendus varient considrablement de place en place.
Chic
Jai
Compris
Lessentiel
Et cest pour demain
Si le diable est dans les dtails [1]
Un choix de dnitions
N mathmatiques, le nombre dor peut tre dni de plusieurs manires, diffrentes, mais toutes
quivalentes au sens o elles dnissent le mme nombre. Le choix des dnitions qui suivent, ainsi que
leur ordre, relve donc dune bonne dose darbitraire.
Dnition 1 : Le nombre dor est le nombre
La notation choisie, la lettre grecque , prononcer , est lun des usages courants (un autre est , prononcer
mi-chemin entre tau et tao ). Certains auteurs afrment que le choix de honore le sculpteur grec Phidias,
du Vme sicle avant Jsus-Christ.
Approximations dcimales.
Pour les emmards : de 4 , on dduit dabord , et par suite 1 . En poussant
les calculs un peu plus loin, dabord
puis
etc., par exemple jusqu ce quon trouve (comme dans au moins une page de Wikipedia)
180339887 ou encore un peu plus :
1803398 7498948 8204586 3436563 1177203 9179805 6286213
Voir par exemple ce lien pour les 15 00 premires dcimales de .
1
=
2
5 + 1
5 9 2 5 3 5 2
4 4 9 5 8 5 5 2 = 2 2 5 2 3 = 1 6 1 6
4 729 176 3 24 15 2 9 5 5 0 = 2 2 5 2 = 1 6 1 6
1 6
1 6 8 4 8 8 0 7
0
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
Manuscrit auteur, publi dans "Images des Mathmatiques (2009) http://images.math.cnrs.fr/Le-nombre-d-or-en-mathematique.
html"
Cest une consquence de la proposition 2 (voir plus bas) quil nest pas possible dcrire une valeur exacte en
notation dcimale avec un nombre ni de chiffres.
Dnition 2 : Le nombre dor est la solution positive de lquation x .
Equivalence avec la dnition 1.
Lquation x a deux solutions qui sont et , comme on le vrie par exemple en
crivant
Par ailleurs, il est (presqu) vident que le nombre est positif et que le nombre est ngatif.
CQFD
Remarques.
Ainsi, ; il est parfois avantageux dcrire cela sous la forme
Notons par ailleurs que
cest--dire que lautre racine de lquation de la dnition 2 est prcisment
Dnition 3 : Le nombre dor est la proportion telle que, tant donn deux nombres positifs L et tels que
L , le rapport de L L est gal au rapport de L .
quivalence avec la dnition 2.
Si , alors , donc , ou encore
de sorte que est bien le nombre de la dnition 2.
Rciproquement, soit le nombre de la dnition 2. Choisissons arbitrairement un nombre et posons
L . On vrie facilement que , de sorte que est bien le nombre de la dnition 3.
CQFD
Considrons sur une droite un segment dextrmits Q et S, de longueur L , avec un point U sur le segment
tel que la longueur de QU soit L et celle de US soit . Si , la terminologie classique consiste dire
que : le point U divise le segment QS en moyenne et extrme raison.
2
! x ! 1 = 0
2
! x ! 1 = 0
2
1+ 5

2
1! 5
x !
2
1 + 5
x !
2
1 ! 5
= x !
2
1
2
!
2
5
2
= x
2
! x +
4
1
!
4
5
= x
2
! x ! 1

2
1+ 5

2
1! 5
2
! ! 1 = 0
1
= ! 1
!
1
=
!2
5 + 1
=
!2( ) 5 ! 1
( )( ) 5 + 1 5 ! 1
=
4
!2( ) 5 ! 1
=
2
1 ! 5
618 !
1
=
2
1 ! 5
! 0
0 +
L
L+
=
L
=
+
=
+1
=
+ 1 =
2
0
=
L
L+
=
L
=
+
L
L+
=
L
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
Faisons dabord de la gomtrie ...
Proposition 1 : Dans un pentagone rgulier dont les cts ont longueur 1, les diagonales ont longueur .
Dmonstration.
Considrons un pentagone rgulier de sommets P , dont les cts ont longueur
(PQ) QR) RS) ST) TP)
Les cinq diagonales ont aussi mme longueur, que nous notons :
(PR) QS) RT) SP) TQ)
Il sagit de montrer que .
INDISPENSABLE : dessiner une gure en lisant la suite !
Premirement, notons U lintersection des diagonales QS et RT. Les triangles UTQ et URS ont leurs cts
parallles deux deux ; ils sont donc semblables, et on a
Deuximement, le quadrilatre PQUT est un losange (cts opposs parallles et donc de mme longueur) ;
par suite :
(QU) PT)
Il en rsulte que
Vu la dnition 3 (o on peut lire L QU) et US)), on a bien .
CQFD
Cette proposition montre donc lquivalence des dnitions prcdentes avec la dnition suivante.
Dnition 4 : Le nombre dor est le rapport entre la longueur des diagonales et la longueur des cts dans un
pentagone rgulier.
Remarque : Le nombre dor apparat ainsi de manire trs simple dans une gure, le pentagone rgulier, qui a
exerc depuis la nuit des temps une trs grande fascination. La dcouverte du fait que ce nombre soit irrationnel
(voir plus bas) fut un choc considrable pour les gomtres de la Grce ancienne ; voir [OsWa].
Exercice. Si vous savez ce quest un cosinus, montrez que
2
et
2
Indication.
Q R S T
= ( = ( = ( = ( = 1
= ( = ( = ( = ( =
=
(US)
(QU)
=
(RS)
(QT)
=
= ( = 1
(QS)
(QU)
=
(PT)
(QS)
= =
(US)
(QU)
= ( = ( =
cos
5
=
cos
5
2
=
1
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
Dans un pentagone rgulier dont les cts ont longueur 1, on trouve un triangle rectangle dont lhypothnuse est
de longueur 1 et un ct de langle droit de longueur 2.
Remarque, pour les lecteurs qui savent manipuler lexponentielle dun nombre complexe.
Voici une autre manire de dmontrer la relation de lexercice prcdent : si z et
, alors z et et par suite
On en dduit dabord que , et nalement que
.
Voici une traduction trigonomtrique des quatre lignes qui prcdent, sans nombre complexe. Choisissons
lorigine du plan au centre du pentagone, et notons ses sommets dans lordre cyclique : z .
Montrons dabord que la somme S de ces quatre vecteurs est nulle.
En effet, la moiti de la somme de deux sommets conscutifs est le milieu du ct qui les joint, de sorte que, par
exemple (z ) z , o dsigne la distance entre lorigine et le milieu dun ct. Par suite
S (z ) (z ) (z ) (z ) (z ) z z z z z S
ce qui implique S .
Les coordonnes des sommets scrivent
et S implique
1
Posons provisoirement x . Alors
2 x ) x
de sorte que la relation prcdente scrit
1 x x
A priori, on trouve les deux solutions . Or le signe ! ne convient pas, car
cos 2 x . On trouve donc bien , et donc aussi
, comme promis.
Exercice. On considre dans le plan un cercle centr en un point O, deux rayons OP et OB perpendiculaires de
ce cercle, le milieu D du rayon OB, la bissectrice de langle ODP qui coupe le rayon OP en un point N, la
perpendiculaire OP en N qui coupe le cercle en un point Q, et le point symtrique T de Q par rapport la
droite portant le rayon OP. Montrer que , cest--dire que P, Q et T sont trois des cinq sommets dun
pentagone rgulier inscrit dans le cercle de dpart.
(La construction est celle donne la page 27 de [Cox69] ; cest une variante de la construction dEuclide.
Pour trouver la solution de lexercice, il faut bien sr commencer par faire un dessin !)
Remarque. Le nombre dor se retrouve naturellement dans plusieurs rapports de longueurs qui apparaissent dans
= e
2i 5
(2 5) = z +
z
1
= 2 cos
4
+ z
3
+ z
2
+ z + 1 = 0
2
+ ! 1 = 0
cos(2 5) =
4
!1 5
2 ( 5) (2 5) cos
2
= 1 + cos =
4
3+ 5
2 ( 5) cos =
2
3+ 5
=
2
1+ 5
=
0
z
1
z
2
z
3
z
4
= z
0
+ z
1
+ z
2
+ z
3
+ z
4
2
1
0
+ z
1
= !
3
=
2
1
0
+ z
1
+
2
1
1
+ z
2
+
2
1
2
+ z
3
+
2
1
3
+ z
4
+
2
1
4
+ z
0
=!
3
!
4
!
0
!
1
!
1
=!
= 0

z
0
z
1
z
2
z
3
z
4
=
=
=
=
=
(1 ) 0
(cos )
5
2
sin
5
2
(cos )
5
4
sin
5
4
(cos )
5
4
!sin
5
4
(cos )
5
2
!sin
5
2
= 0
+ 2 cos
5
2
+ 2 cos
5
4
= 0
= 2 cos
5
cos
5
2
= x
2
! 2 et 2 cos
5
4
= (
2
! 2
2
! 2 = x
4
! 4
2
+ 2
+ x
2
! 2 + x
4
! 4
2
+ 2 = x
4
! 3
2
+ 1 = 0
x (3 )
2
=
2
1
5
5 3
5
cos
3
= 1 cos
5
1
2
1 x (3 )
2
=
2
1
+ 5
x (1 ) =
2
1
+ 5 =
(PQ)
(QT)
=
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
un dodcadre rgulier, ce polydre de lespace qui possde douze faces dont chacune est un pentagone rgulier,
et vingt sommets en chacun desquels se rejoignent trois faces.
On retrouve ces mmes rapports dans le polydre cousin qui est licosadre rgulier ; il a 20 faces qui sont des
triangles quilatraux et 12 sommets en chacun desquels se rejoignent 5 faces. Par exemple, les douze points de
lespace de coordonnes cartsiennes
(0 1) 1 ) 1 )
sont les sommets dun icosadre rgulier. Ces deux polydres, et les trois autres polydres rguliers (ttradre,
cube, octadre) fournissent la matire du livre XIII (le dernier) des lments dEuclide.
Le nombre dor entre galement dans la description des pavages de Penrose, ces fascinants recouvrements du
plan par des pavs dcouverts vers 1970. Dans lune des variantes de ces pavages, chaque pav est un triangle
isocle dont les angles sont ou bien 5 5 5, ou bien 5 5 5 (rappel : pour un angle,
5 6 ). Lun des intrts de ces pavages, il en existe dinnombrables, est de ne possder aucune symtrie de
translation. Mais ceci est toute une histoire, autre et superbe, qui ncessiterait elle seule tout une note, et nous
nous bornerons ici signaler un article de Martin Gardner [Gar77] ainsi que quelques sites oubes o en
trouver davantage [Pen], [Pen2], [Pen3].
... et ensuite de larithmtique
Rappelons quun nombre (ou nombre rel ) x est dit rationnel sil existe deux entiers a , avec b , tels
que x . Une telle criture est dite rduite si les entiers a et b sont premiers entre eux, cest--dire sils nont
pas dautre diviseur commun que 1. Ainsi, si x 5, alors x est une criture rduite et les entiers 7
sont premiers entre eux, alors que x nest pas une criture rduite puisque 14 et 8 ont 2 comme diviseur
commun. Il est facile de vrier que, pour un nombre rationnel x donn, il existe exactement une paire rduite
a telle que x .
Un nombre rel est irrationnel sil nest pas rationnel. Par exemple, si est dni [2] comme le rapport entre le
primtre et le diamtre dun cercle,
4159 6535 9793 3846
on sait que est un nombre irrationnel ; la premire dmonstration de ce fait, due Lambert, date de 1761. (On
sait mme que est un nombre transcendant, ce qui fut dmontr par Lindemann en 1882, et ce qui apporte la
rponse moderne une question clbre qui se posait depuis lantiquit grecque, savoir la quadrature du
cercle, mais ceci aussi est une autre histoire.) De mme on sait que le nombre
est irrationnel (Euler, 1737 [Eul37]), et mme transcendant (Hermite, 1873). Autant que je sache, personne ne
sait [3] montrer que est irrationnel (a fortiori transcendant). A titre de curiosit, voici nanmoins un
rsultat rcent qui impressionne les spcialistes : les trois nombres , e et ( ) sont algbriquement
indpendants sur Q (Nesterenko, 1997, voir le chapitre 10 de [Rib00]).
Proposition 2 : Le nombre est irrationnel.
Premire dmonstration.
Pour le montrer, on suppose que est rationnel, avec a et b premiers entre eux, et on va arriver une
contradiction. Posons c a ; on verie que le plus grand commun diviseur de c et b est 1 ou 2. Si
, alors , cest--dire
( 0 ( 0
3 2 2
= 3
o
b 0
=
b
a
= 1 7 =
4
7
4
=
8
14
b =
b
a
3 1 2 8 2

e =

1 +
1
1!
+
1
2!
+
1
3!
+
1
4!
+
1
4!
+
1
5!
+
1
7!
+
1
8!
+
2 1828 8284 9045 3536 7 1 5 2
+ e
4
1
=
b
a
= 2 ! b

2
+1 5
=
b
a
5 =
b
2a!b
=
c
b
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
Il en rsulte que c est divisible par 5. Par suite (attention, cest le point-cl de la dmonstration !), c est
divisibie par 5 (de sorte que c est en fait divisible par 25). Il existe donc un entier f tel que c f ; on peut
re-crire (1) sous la forme 5b 5f , de sorte que
En rptant le mme raisonnement, on voit quil existe un entier g tel que b g.
En comparant les galits c f , b g avec lhypothse impliquant que b et c nont pas de diviseur commun
autre que 1 ou 2, on voit bien quil y a une contradiction ; cest donc lhypothse de lexistence dune paire a
avec qui est absurde.
CQFD
Seconde dmonstration, esquisse.
Supposons que , avec a et b premiers entre eux. Notons dabord que les entiers a et b satisfont a .
En utilisant la dnition 3, on obtient aussi , et il est facile de vrier que les entiers b et a sont
galement premiers entre eux. Ceci est en contradiction avec le fait quun nombre rationnel (comme selon
lhypothse faite au dbut de cette dmonstration) na quune criture rduite.
CQFD
Remarque : Largument de la premire dmonstration montre galement que les nombres , , , ,
, , , , ... , , ... sont irrationnels. [Il faut parfois un tout petit peu plus de rexion, par
exemple pour .]
Les autres proprits que nous voulons dcrire sont plus difciles montrer, et nous nous bornerons ici les
noncer. Soit x un nombre rel irrationnel. Il est facile de se convaincre du fait que, pour tout , il existe une
innit de paires (a ) de nombres entiers premiers entre eux, paires telles que
x
Cest un peu plus difcile de montrer un nonc plus fort : il existe une innit de paires (a ) de nombres
entiers premiers entre eux telles que x En fait, on sait mme montrer davantage.
Thorme 3 (Hurwitz) : Pour tout nombre rel irrationnel x, il existe une innit de paires (a ) dentiers
premiers entre eux telles que
x
Pour le thorme de Hurwitz, voir par exemple, [HaWr79], chapitre XI, section 11.8 ou [Niv67], Theorems
6.1 et 6.2. Pour le thorme suivant, qui est une partie de rsultats publis par A. Markoff (ou Markov) en 1879 et
1880, voir [Lev56], Theorem 9.10 et [Cas65], Chapters I and II.
Thorme 4 (Markoff) :
(i) La constante est la meilleure possible dans lingalit du thorme de Hurwitz. En dautres termes,
lafrmation de ce thorme cesse dtre vraie si on y remplace par une constante .
(ii) Soit x un nombre rel irrationnel. Les deux proprits suivantes sont quivalentes :
5b (1)
2
= c
2
2
2
= 5
2
= 2
2
b f (2)
2
= 5
2
= 5
= 5 = 5
b
=
b
a
=
b
a
b
=
b
a!b
! b
2 3 5 6
7 8 10 11 2009
8
0
b


!
b
a



b
!
b
a 1
b
2
b


!
b
a



1
b 5
2
5
5 C 5
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
il est impossible de trouver une constante et une innit de paires (a ) dentiers
premiers entre eux telles que
x ;
il existe des entiers p tels que ps r ou ps r 1 et
(iii) Si x est irrationnel et nest pas de la forme (3), alors il existe une innit de paires (a ) dentiers
premiers entre eux telles que
x
De plus, pour certains nombres (par exemple ), il nest pas possible de remplacer par une
constante plus grande.
On pourrait continuer : et sont les deux premiers termes dune suite innie , , ,
, , , , , , ,
... qui tend vers 3. Ce sont tous des nombres de la forme , o m est un entier strictement positif, et
plus prcisment ceux pour lesquels il existe deux entiers m tels que
m mm m
Les premiers de ces nombres m sont
1 3 9 4 9 69 94 33
Ces rsultats sont dus A. Markoff (articles de 1879 et 1880) ; le thorme de Hurwitz nonc cidessus
remonte un article postrieur [Hur91], mais dans lequel Hurwitz utilisait un argument plus direct. Voir
[CuFl89] pour une prsentation avec dmonstrations des rsultats de Markoff, et en particulier [CuFl89],
page 2 pour quelques remarques historiques. Les nombres de la forme avec p entiers et
ps r sont parfois appels nombres nobles.
Cette thorie des approximations rationnelles des nombres irrationnels est intimement lie la thorie des
fractions continues, que nous nvoquerons que via le trs modeste exercice suivant.
Exercice (fractions continues). La relation suggre lcriture (innie !)
laquelle les mathmaticiens savent donner un sens rigoureux. Ecrire les fractions rationnelles
1
1
C 5 b


!
b
a



1
Cb
2
q r s ! q = 1 ! q = !
x
(3)
=
r + s
p + q
b


!
b
a



1
b 8
2
x = 2 8
5 8 5 8 5 221
13 1517 29 7565 17 2600 89 71 85 2 168 257 45 0 97 84 80 6 233 488 97 5
m 9m
2
! 4
1
m
2
2
+ m
2
1
+ m
2
2
= 3
1 2
2 5 1 2 3 8 1 1 2
r +s
p +q
q r s
! q = 1
= 1 +
1
= 1 +
1
1 +
1
1+
1
1+
1
1+
1
1+
1
1+
+
1
1 + 1
+
1
1 +
1
1+1
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
1
sous forme rduite.
Remarque gomtrique importante : Ces rsultats de Markoff ont beau pouvoir apparatre comme le n du n
de larithmtique, ils peuvent avec prot tre vus sous un aspect rsolument gomtrique, en termes de
godsiques sur une surface munie dune mtrique riemannienne, surface homomorphe un tore un trou ou
une sphre quatre trous [Ser85].
Le nombre dor et la suite de Fibonacci
La suite de Fibonacci est la suite de nombres entiers F dnie par
F
pour tout k . Ses premiers termes sont donc 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610,
987, 1597, 2584, 4181, 6765, 10946, 17711, 28657, 46368, 75025, 121393, 196418, 317811,
514229, 832040, 1346269, 2178309, 3524578, 5702887, 9227465, 14930352, 24157817,
39088169, ...
La terminologie se rfre Leonardo da Pisa (vers 11701250), aussi dit Fibonacci (car ls de Guilielmo
Bonacci). La suite qui porte son nom apparat dans son liber abaci (livre des calculs), publi en 1202 ; cest ce
livre qui a fait connatre en Occident les chiffres indiens, dits aussi chiffres arabes, dun maniement
considrablement plus simple que les chiffres romains utiliss auparavant. Il semble que les nombres de Fibonacci
taient connus de certains savants indiens bien avant lpoque de Fibonacci.
Cest sans doute Kepler (15711630) qui a le premier explicitement not que le rapport tend vers
quand k tend vers linni , ou en dautres termes se rapproche de plus en plus de quand k devient de plus en
plus grand. Par exemple :
, , 66, , 176, 182,
Une manire de le montrer est dtablir dabord la formule de Binet , qui remonte Euler [Eul65], et quon
pourrait prendre pour une dnition des nombres de Fibonacci :
Il en rsulte que
ce qui signie que le dfaut dapproximation est aussi petit que lon veut, pour autant que lon
choisisse pour k un entier assez grand.
Notons dabord que les approximations de par les quotients successifs de nombres de Fibonacci sont
alternativement par endessus et par endessous :
1
+
1
1 +
1
1+
1
1+1
0
F
1
F
2
F
3
0
= 0 F
1
= 1 F
k+2
= F
k+1
+ F
k
0
F
k
F
k+1
F
2
F
3
= 2
F
3
F
4
= 1 5
F
4
F
5
= 1 6
F
5
F
6
= 1 6
F
9
F
10
1 6
F
10
F
11
1 6
(4) F
k
=
1
5
! )
k
! (
!k
=
1
5


2
1 + 5
k
!
2
1 ! 5
k


(5) lim
k F
k
F
k+1
=
!
F
k
F
k+1
=
1
1
2
3
5
8
13
21
8
13
3
5
1
2
0
1
=
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
(o il faut bien sr prendre avec le grain de sel qui convient).
Notons aussi que la relation (5) nest pas propre aux seuls nombres de Fibonacci, mais sapplique toute une
famille de suites numriques apparentes. Plus prcisment :
Proposition 5 : Soient a deux nombres rels positifs, lun dentre eux au moins tant strictement positif. On
dnit une suite de nombres positifs g par
g
pour tout k ; par exemple :
g b
Alors
Sur la dmonstration, indication pour les lectrices mathmaticiennes.
On remarque dabord que
pour tout k puis que la matrice possde un axe propre traversant le premier quadrant
(x ), qui est un axe propre de valeur propre donc un axe propre dilatant, et un axe propre
contractant disjoint de ce premier quadrant, qui est un axe propre de valeur propre ! donc un axe propre
contractant. Ainsi, tout point du plan qui nest pas sur laxe propre contractant, en particulier le point P de
coordonnes (a ), fournit une orbite dont les points se rapprochent dautant plus de laxe propre
dilatant que k est grand. Il reste observer que la pente de laxe propre dilatant est .
[La condition pour a et b dtre positifs nest pas essentielle ; il suft de supposer que le point (a ) du plan
nest pas sur laxe propre contractant de la matrice M.]
CQFD
Exemple. Les nombres de Lucas sont dnis par L , L et L pour k . On montre
par rcurrence que L ! ) pour tout k et L pour tout k .
Exercice, pour une autre manire de voir certaines notions apparues dans la dmonstration de la
proposition 5. Vrier que la transformation homographique
R
t
possde exactement deux points xes, qui est attractif et ! qui est rpulsif. Idem pour les itrs de cette
transformation, par exemple pour le second itr :
t
Remarque. La proposition prcdente montre quil existe de nombreuses suites dont les quotients
0
1
=
b
0
g
1
g
2
g
3
0
= a g
1
= b g
k+2
= g
k+1
+ g
k
0
0
= a g
1
= b g
2
= a + b g
3
= a + 2
lim
k g
k
g
k+1
=

g
k
g
k+1
=
0
1
1
1

g
k!1
g
k
1 M =
0
1
1
1
0 y 0
!1
b M P
k
k 1
b
0
= 2
1
= 1
k+2
= L
k+1
+ L
k
0
k
=
k
+ (
!k
0
k
= F
k+1
+ F
k!1
1
! R
!
t
t + 1
!1
!
t + 1
2t + 1
g
k
k 0
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
successifs tendent vers , suites quon pourrait appeler suite bonacodes (la terminologie nest pas
standard). Toutefois, il est possible de retrouver la suite de Fibonacci proprement dite partir de , comme
nous lexpliquons plus bas (voir la proposition 8).
Montrons une interprtation des nombres de Fibonacci en termes de longueurs de certains mots . Pour cela,
notons A lalphabet 0 de taille deux et A lensemble des mots nis sur A, incluant le mot vide, autrement
dit le monode libre sur A. Le morphisme de Fibonacci est dni par les rgles de substitution
1
ainsi que par la rgle (w w ) (w ) (w ) pour deux mots w .
Par ailleurs, soit la suite de mots dans A dnie par , et
pour tout n Nous crivons pour la longueur du mot , cest--dire pour le nombre de ses lettres. Par
exemple, et 01 .
Proposition 6 : Les notations tant comme cidessus,
(1) (0)
et
pour tout n .
Dmonstration, par rcurrence sur .
(Elle est reprise de [AlSh03], Theorem 7.1.2.)
Les assertions sont de vrication immdiate pour n et n ; on suppose dsormais n , et la
proposition dmontre jusqu n . Alors
(1) (0)
et
(0) (01) (0) (1)
do la proposition.
CQFD
Le mot inni de Fibonacci est le mot inni
(0) 10010100100101001010
dont les F premires lettres sont pour tout n .
Corollaire 7 : (i) La proportion des 0 dans est .
(ii) Le mot inni de Fibonacci nest invariant par aucun dcalage.
Dmonstration.
Lassertion (i) est une consquence immdiate de la proposition (on laisse la lectrice le soin de dnir le terme
g
k
g
k+1
1
: 0 ! 0 et 1 ! 0
1 2
=
1 2 1
w
2
A

n
n 1
1
= 1
2
= 0
n
=
n!1 n!2
3
n n
1
=
2
= 1
3
= = 2
n
=
n+1
et
n
=
n+2
n
= F
n
1
n
= 1 = 2 3
! 1
n
=
n!1
=
n+1
n
=
n!1
=
n!1 n!1
=
n+1
n
=
n+2
= = 0
n n
1
!1
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
de proportion ...). Lassertion (ii) rsulte du fait que, sil existait un entier k tel que x pour
tout n , o x dsigne la nime lettre du mot
x x x x x x
alors la proportion de 0 dans serait rationnelle.
CQFD
Remarques
(1) Si on veut choisir une extension de vers la gauche , cest--dire si on cherche une suite avec
x 0 pour tout n et x la nime lettre de pour tout n , une exigence naturelle est de
demander que la suite obtenue soit encore invariante par (on ne peut pas avec ). Il y a alors deux solutions,
obtenues en crivant de droite gauche et gauche de ou bien les chiffres de lim (0), ce qui
donne 001001010010 , ou bien ceux de lim (1), ce qui donne 100101001001 .
(2) Le mot inni de Fibonacci et les mots de la remarque cidessus sont des exemples (parmi beaucoup
dautres) de mot parfaitement ordonns (leurs dnitions tiennent en peu de lignes) qui ne sont pas priodiques.
En cristallographie mathmatique, il existe de mme des modles ordonns non priodiques de systmes de points
dans lespace, dont les clbres pavages de Penrose, et leurs analogues en dimension trois. Ces modles sont
dune tude relativement rcente, au moins en comparaison avec celle des rseaux, ou orbites dans le plan
[respectivement dans lespace trois dimensions] de sousgroupes de translations de R [resp. R ], qui sont
des sujets dtude obligs en cristallographie classique. Les arrangements ordonns non priodiques sont des
modles pour les quasicristaux, qui sont des formes particulires dalliages mtalliques dont la dcouverte
exprimentale date du dbut des annes 1980.
Revenons la manire, promise, de retrouver la suite de Fibonacci partir du . Soit x un nombre rel ;
supposonsle irrationnel et positif pour simplier la discussion. Un nombre rationnel (criture rduite) est dit
une approximation optimale de x si
pour tout nombre rationnel tel que 1 et = . Si on fait la liste de toutes les approximations
optimales de x, par ordre croissant des dnominateurs, on obtient une suite de nombres rationnels qui se
rapprochent de plus en plus de x. Par exemple pour , on trouve :
1
pour on trouve
3
pour on trouve
3
pour e on trouve
3
(Les conventions concernant le premier terme de ces suites peuvent varier suivant le point de vue adopt (ou
1
k+n
= x
n
1
n
= x
1 2 3
= x
k+1 k+2 k+3
= x
2k+1 2k+2 2k+3
x
n
n Z
n
1 Z
n
0
2
n
2n
1
n
2n
0
2 3
b
a
x


!
b
a


x


!
c
d



c
d
d b
c
d b
a
2
2
3
5
7
12
17
29
41
70
99
169
239
408
577
7
2
5
3
8
14
37
17
45
31
82
48
127
223
590
7
22
106
333
113
355
33102
103993
33215
104348
66317
208341
99532
312689
3
8
4
11
7
19
32
87
39
106
71
193
465
1264
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
mme les deux premiers termes si on permettait x dtre rationnel, et alors aux suites approximantes dtre
nies). Par exemple, le dbut de la suite pour le nombre e est souvent 2 . De mme, la suite de la
proposition 8 commence avec , et les quotients , ny jouent aucun rle.)
Proposition 8 : Pour le nombre dor , la suite des approximations optimales au sens prcdent est la
suite des quotients de nombres de Fibonacci successifs, suite dont les premiers termes sont
2
Remarque : On pourrait utiliser la proposition 8 pour donner encore une autre dnition des nombres de
Fibonacci : F , F , F , et les nombres suivants dnis partir des approximations optimales
successives de . Une telle dnition serait peut-tre dfendable du strict point de vue de la logique, mais on
admet quelle serait bien complique, voire tordue ...
Mentionnons encore un problme, lui aussi clbre, dans lhistoire duquel les nombres de Fibonacci ont jou un
rle historique. En aot 1900, au cours du Deuxime Congrs International des Mathmaticiens de Paris, David
Hilbert nonca une liste de 23 problmes quil jugeait importants, et qui ont effectivement inuenc de manire
profonde les mathmatiques du XXme sicle. Le dixime de ces problmes concerne les polynmes
coefcients entiers et leurs solutions en nombres strictement positifs. Pour un tel polynme P [X ],
posons V (P) (a ) P(a ) , o a a . Le dixime problme
demande sil existe un algorithme gnral qui, tant donn P comme cidessus, permet de dcider en un temps
ni si lensemble des solutions V (P) est vide ou non.
La rponse est ngative, comme lont montr Martin Davis, Julia Robinson, Hilary Putnam et Yuri Matiyasevich
dans une srie de travaux dont le dernier (de Matiyasevich) fut publi en 1970. Le point technique crucial du coup
de grce fut de trouver une fonction k (k) qui soit la fois croissance exponentielle et diophantienne,
cette seconde exigence signiant quil existe un polynme P [A ] en n variables tel
que, pour des entiers k et f , lquation en n variables P(k ) possde une solution en entiers
positifs si et seulement si f (k). Matiyasevich a montr que la fonction k (= (2k)ime nombre de
Fibonacci) convient. Depuis, on a trouv beaucoup dautres fonctions diophantiennes croissance exponentielle,
dont la fonction (k ) .
Dmonstration au thorme 3.3 de Dav73.
Lun des ingrdients principaux est une analyse ne des solutions x de lquation de Pell
x y
o d et a , solutions dont on montre que ce sont les paires x dnies par
, avec n , de sorte que ces solutions sont en particulier croissance
exponentielle.
Pour en apprendre davantage sur ce beau sujet, voir [Dav73], [Mat93] et [Mat00].
Pour les amateurs dexercices
La mathmatique des nombres de Fibonacci est inpuisable, au moins pour certains chercheurs. Ils apparaissent
dans de nombreux livres de mathmatiques plus ou moins vulgarises, par exemple dans [Rib00]. Il existe un
journal expressment intitul The Fibonacci Quarterly, avec environ 400 pages annuelles, publication ofcielle
de The Fibonacci Association.
A titre dchantillon, voici pour les amateurs quelques exercices concernant ces nombres. Les ditions successives
dun livre de Vorobiev [Vor02] en fournissent de trs nombreux autres, varis et intressants. Voir aussi le trs
3
3
8
4
11
F
2
F
3
F
1
F
2
F
0
F
1
=
2
1+ 5
2
3
3
5
3
8
8
13
13
21
21
34
34
55
0
= 0
1
= 1
2
= 1
1
X
n
+
=
1
a
n
n
+ 1
a
n
= 0
+
= 1
+
! f
Z
1
A
2
X
1
X
n
+ 2
f X
1
X
n
= 0
= f ! F
2k
! k
y Z
+
2
! d
2
= 1
= a
2
! 1 1
n
y
n
x a )
n
+ y
n
d = ( + d
n
Z
+
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
recommandable livre Concrete mathematics, [GrKP89], ds la page 285 ; son titre, mathmatiques
concrtes , est entre autres un jeu de mot tout fait opportun sur le fait quil sagit dun subtil mlange entre
mathmatiques CONtinues et disCRTES.
Exercice. Montrer par rcurrence sur k les identits suivantes :
F F
F
[Attention : il faut bien distinguer la notion de nombre premier de la notion dentiers premiers entre eux. Dans le
cas prsent, il ny a pas beaucoup de nombres de Fibonacci qui soient premiers ! Plus prcisment, parmi les
entiers k tels que 3 000, il y a exactement 21 valeurs telles que F soient un nombre premier :
F , F , F , F 3, F 9, F 597, , F , F . Voir [Rib89], page 286.]
Exercice. Vrier que
formule qui suggre encore une autre dnition possible des nombres de Fibonacci. [Pour une solution de cet
exercice, voir si ncessaire [GrKP89], formule (6.117).]
Exercice. Montrer que tout entier n scrit de manire unique sous la forme
n
k
[Cest le thorme de Zeckendorf ; pour en lire un peu plus ce sujet, voir par exemple le no 6.6 de
[GrKP89].]
Exercice (suggr par le dbut de [Kau04]). Il sagit de considrer des rectangles plans qui sont runions de
carrs particuliers, ou en dautres termes de puzzles dont toutes les pices sont carres, de tailles distinctes deux
deux ( une exception prs, voir plus bas), et quil sagit dassembler en un rectangle.
(i) Vrier la relation
En un premier temps, on pourra par exemple vrier numriquement quelques termes de plus dans la suite
dgalits
1
1
1
1
etc.
(ii) Dessiner des puzzles, successivement :
2k+2
= 3
2k
! F
2k!2
k
= F
k
+ F
k!1
k+1
et F
k
sont premiers entre eux
k 1
k
3
= 2
4
= 3
5
= 5
7
= 1
11
= 8
17
= 1
569 571
z
z
1 ! z ! z
2
=
n=0
F
n
n
1
= F
k
1
+ F
k
2
+ + F
k
r
1
k
2
+ 2 k
2
k
3
+ 2 k
r!1
k
r
+ 2
F
n
k=1
F
k
2
= F
n
n+1
2
+ 1
2
= 1 2
2
+ 1
2
+ 2
2
= 2 3
2
+ 1
2
+ 2
2
+ 3
2
= 3 5
2
+ 1
2
+ 2
2
+ 3
2
+ 5
2
= 5 8
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
deux carrs de ct 1 formant un rectangle de cts 1 et 2,
trois carrs de cts respectivement 1 formant un rectangle de cts 2 et 3,
quatre carrs de cts respectivement 1 formant un rectangle de cts 3 et 5,
cinq carrs de cts respectivement 1 formant un rectangle de cts 5 et 8, etc.
Exercice (sur une relation note par Lucas). Observer que les nombres de Fibonacci se retrouvent comme
sommes de nombres situs sur des droites parallles de pente convenable passant par les points du triangle de
Pascal :
Plus gnralement (et plus techniquement ) :
par exemple :
Exercice, inspir de [SEIS]. Vrier que
F est le nombre de suites de zros et de uns, de longueur n, sans paire de zros conscutifs (par
exemple, F puisque ces suites pour n sont 111, 110, 101, 011, 010) ;
F est le nombre de sousensembles de 1 qui ne contiennent pas dentiers conscutifs (par
exemple F puisque ces sousensembles pour n sont , 1 , 2 ) ;
F est le nombre de pavages dun rectangle de cts n et 2 par des dominos de cts 1 et 2.
[Pour en savoir davantage sur les pavages de rectangles par des dominos, voir [GrKP89], en particulier les
paragraphes 6.6 et 7.1. Nous ne rsistons pas lenvie de recommander galement le paragraphe 7.3, o les
auteurs calculent le nombre u de pavages par dominos dun rectangle de cts n et 3 (nombre qui est nul si n est
impair) ; pour tout n , le nombre u est le plus petit entier suprieur .]
Au del des mathmatiques
Le nombre dor apparat traditionnellement en phyllotaxie, cette branche de la botanique qui tudie lordre dans
lequel sont implantes les feuilles le long de la tige dune plante, ou lagencement des eurons et cailles dans
diverses eurs et fruits (pomme de pin, tournesol, ananas, chouxeur, ...). Certains auteurs font remonter
ltude thorique de ces arrangements un article de 1837 des frres Bravais, lun tant physicien et lautre
botaniste ; voir par exemple : le chapitre XIV de [Tho42] (pages 912933), [AGH], [DoCo96] (et les
quelques pages dintroduction cet article, pages 135143 de [Ste95]), [JeBa98] et [Phy].
Plus rcemment, on trouve aussi le nombre dor jouant un rle crucial dans des travaux de physiciens concernant
les quasicristaux (voir par exemple [Riv86]) ou ... de cardiologues [GGM03].
1 2
1 2 3
1 2 3 5


1
1

1
5
1
4

1
3
10
1
2
6

1
3
10
1
4

1
5
1

1

F ;
k+1
=
k
0
+
1
k ! 1
+
2
k ! 2
+
F
6
= 8 = 1 + 4 + 3 =
0
5
+
1
4
+
2
3
n+2
5
= 5 = 3
n+2
2 n
4
= 3 = 2
n+1
n
1
2n

3! 3
(2+ ) 3
n
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
Le nombre dor a galement nourri les analyses, limagination et les fantasmes de divers auteurs intresss par
(lhistoire de) lart, larchitecture, ou les proportions du corps humain (statues et individus vivants). Il en est
rsult une immense littrature foisonnante profusion. Ce quon y trouve va de la remarque clairante aux
rumeurs aussi coriaces que fantaisistes ; il semble par exemple que toute dcouverte du nombre dor dans les
proportions du Parthnon ncessite un aveuglement intellectuel, voire une tromperie militante. Dtails, par
exemple, dans [Del04].
Il y a une notion de nombre dor en astronomie, qui na rien voir avec la notion discute cidessus. Chaque
anne possde son nombre dor, qui est un entier entre 1 et 19, et qui permet de situer les mois lunaires par
rapport au calendrier usuel. Il se trouve quune priode de 19 annes est en bonne approximation un nombre
entier de mois lunaires, plus prcisment 19 annes =235 mois lunaires = 6940 jours selon le calendrier du cylce
mtonique introduit Athnes en 432 avant J.-C. et connu en Babylonie vers 490 avant J.-C. Le nombre dor de
lanne 2008 tait 14, et celui de 2009 est 15 [Wik].
Mais il est bien sr toujours dangereux de prtendre que deux choses nont rien voir lune avec lautre,
puisque la relation (1) apparat dans un article (dj cit) [Ser85] qui plaide pour un point de vue gomtrique
sur lapproximation des nombres irrationnels par des rationnels.
Bibliographie
Certaines des rfrences cidessous sont des textes de vulgarisation : [CoGu98], [Del04], [Gar77
[Penx], [Phy], [Ste95] et [Wik]. Les autres rfrences sont de niveau plus avanc.
[AGH] P. Atela, C. God et S. Hotton : A dynamical system for plant pattern formation : a rigorous analysis, J.
Nonlinear Sci., 12, 2002, 641676
[AlSh03] J.-P. Allouche et J. Shallit : Automatic sequences, Cambridge University Press
[ArGS] P. Arnoux, S. Giabicani et A. Siegel : Dynamique du nombre dor, en prparation
[Cas65] J.W.S. Cassels : Introduction to Diophantine approximation, Cambridge University Press, 1965
[CoGu98] J.H. Conway et R.K. Guy : Le livre des nombres, Eyrolles, 1998
[Cox69] H.S.M. Coxeter : Introduction to geometry, second edition, John Wiley, 1969 (chap. 11, pages
160-172)
[CuFl89] T.W. Cusick et M.E. Flahive : The Markoff and Lagrange spectra, Mathematical Surveys and
Monographs 30, Amer. Math. Soc., 1989
[Dav73] M. Davis : Hilberts tenth problem is unsolvable, The American Mathematical Monthly, 80:3, March
1973, 233-269
[Del04] J.-P. Delahaye : Les inattendus des mathmatiques, Belin / Pour la Science, 2004
[DoCo96] R. Douady et Y. Couder : Phyllotaxis as a self organizing iterative process, Parts I & II, J. Theor.
Biol., 178, 1996, 255294
[Eul37] L. Euler : De fractionibus continuis dissertatio, Commentarii academiae scientiarum Petropolitanae,
9, 1737, 98-137 (Opera omnia, series 1, volume 14, pages 187215)
[Eul65] L. Euler : Observationes analyticae, Novi commentarii academiae scientiarum Petropolitanae, 11,
1765, 124143 (Opera omnia, series 1, volume 15, pages 5069)
[GGM03] C.M. Gibson, W.J. Gibson, S.A. Murphy et autre auteurs : Association of the Fibonacci cascade
with the distribution of coronary artery lesions responsible for ST-segement elevation myocardial infarction, The
American Journal of Cardiology, 92, September 1, 2003, 595597
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
[Gar77] M. Gardner : Extraordinary nonperiodic tiling that enriches the theory of tiles, Scientic American,
December 1977, 110121 (rimpression sous le titre Penrose tiles, in The colossal book of mathematics,
classic puzzles, paradoxes, and problems , W.W. Norton & Company (2001) pages 7393)
[GrKP89] R.L. Graham, D.E. Knuth et O. Patashnik : Concrete mathematics, AddisonWesley, 1989
[HaWr79] G.H. Hardy et E.M. Wright : An introduction to the theory of numbers, Fifth Edition, Oxford,
Clarendon Press, 1979
[Hur91] A. Hurwitz : ber die angenherte Darstellung der Irrationalzahlen durch rationale Brche, 1991,
Mathematische Werke, Band II, Birkhuser, 1963, pages 122128
[JeBa98] R.V. Jean et D. Barab (diteurs) : Symmetry in plants, World Scientic, 1998
[Kau04] L. Kauffman : Fibonacci form and beyond, Forma, 19:4, 2004, 315334. Voir aussi
arXiv:math/0405048v1
[Lev56] W.J. LeVeque : Topics in number theory, Volume I, AddisonWesley, 1956
[Mat00] Yu. Matiyasevich : Hilberts tenth problem : What was done and what is to be done, in Hilberts
tenth problem : Relations with arithmetic and algebraic geometry , Ghent University, 1999, Contemporary
Mathematics, 270, 2000, 147
[Mat93] Yu. Matiyasevich : Hilberts tenth problem, The MIT Press, 1993
[Niv47] I. Niven : A simple proof that is irrational, Bull. Amer. Math. Soc., 53, 1947, 509
[Niv67] I. Niven : Irrational numbers, Carus Mathematical Monographs 11, 1967
[OsWa] A. Ostermann et G. Wanner : Geometry by its history, Springer, paratre
[Pen] Pavage de Penrose
[Pen2] Penrose tilings
[Pen3] E. Hwang Penrose tilings and quasicrystals
[Phy] Phyllotaxis
[Rib89] P. Ribenboim : The book of prime number records, Second Edition, Springer, 1989
[Rib00] P. Ribenboim : My numbers, my friends, popular lectures on number theory, Springer, 2000
[Riv86] N. Rivier : A botanical quasicrystal, Journal de Physique, Colloque C3, supplment au no 7, 47, juillet
1986, C3-299C3-309
[SEIS] N.J.A. Sloane : The OnLine Encyclopedia of Integer Sequences, published electronically,
http://www.research.att.com/~njas/s...
[Ser85] C. Series : The geometry of Markoff numbers, The Mathematical Intelligencer, 7:3, 1985, 2029
[Ste95] I. Stewart : Natures numbers, the unreal reality of mathematics, BasicBooks, 1995
[Tho42] DArcy W. Thompson : Growth and form, Second Edition reprinted, Cambridge University Press,
1942
[Vor02] N. Vorobiev : Fibonacci numbers, Birkhaser, 2002 [voir aussi, par exemple, la seconde partie de
Caractres de divisibilit. Suite de Fibonacci, Traduction franaise, Editions Mir (1973)]
[Wik] Wikipedia : Nombre dor (astronomie)
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1
P.S. :
Je remercie Jean-Paul Allouche de plusieurs rfrences et remarques utiles.
Juste aprs la rdaction de ce texte, jai dcouvert [ArGS], qui contient (entre autres) des dveloppements substantiels
de plusieurs points abords ci-dessus.
Notes
[ 1] Un b est un pome de 6 vers comptant 20 syllabes, les 6 vers ayant dans lordre 1, 1, 2, 3, 5 et 8 syllabes.
Wikipdia mentionne lexistence de bs en sanscrit remontant plus de 2000 ans. Pour un site sur les bs la
Fibonacci, voir celui de Marc Lebel.
[ 2] Il y a bien sr dautres dnitions possibles, par exemple est le rapport entre laire dun disque et le carr de
son rayon.
[ 3] Personne ne sait non plus montrer si, parmi les chiffres apparaissant comme dcimales de (ou de e), la
proportion de 0 (ou de 1, ..., ou de 9) est bien 10%. Il serait facile de multiplier des questions de thorie des nombres
qui sont trs simples formuler et dont personne ne connat la rponse ; il est autrement difcile de formuler les
bonnes questions .
Crdits images
Pour citer cet article : Pierre de la Harpe, Le nombre dor en mathmatique. Images des Mathmatiques, CNRS,
2009. En ligne, URL : http://images.math.cnrs.fr/Le-nombre-d-or-en-mathematique.html
h
a
l
-
0
0
5
8
3
4
6
3
,

v
e
r
s
i
o
n

1

-

5

A
p
r

2
0
1
1