Manuscrit auteur, publi dans "Images des Mathmatiques (2009) http://images.math.cnrs.fr/Le-nombre-d-or-en-mathematique.

html"

Le nombre dor en mathmatique

To print higher-resolution math symbols, click the Hi-Res Fonts for Printing button on the jsMath control panel.

Le 14 janvier 2009, par Pierre de la Harpe

Professeur l'Universit de Genve (page web) Texte de vulgarisation mathmatique propos du nombre dor 1 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]

hal-00583463, version 1 - 5 Apr 2011

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

5+1 2

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 5 9, on dduit dabord 2 les calculs un peu plus loin, dabord

5 2 3=

3 , et par suite 1 5 1 6 1 65

2. En poussant

4 84
puis

5 29 =

2 2

4 9729

5 0176 =

2 23

2 24 =

1 615

1 62

etc., par exemple jusqu ce quon trouve (comme dans au moins une page de Wikipedia) 1 6180339887 ou encore un peu plus :

1 61803398 87498948 48204586 83436563 81177203 09179805 76286213

Voir par exemple ce lien pour les 15 000 premires dcimales de .

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 x2

! x ! 1 = 0.

Equivalence avec la dnition 1.

Lquation crivant

x2 ! x ! 1 = 0 a deux solutions qui sont

1+ 5 et 1!2 5, comme on le vrie par exemple en 2

x!

1+ 5 2

x!

1! 5 2

x!

1 2

5 2

x2 ! x +

1 4

5 = x2 ! x ! 1 4

Par ailleurs, il est (presqu) vident que le nombre 1+2 5 est positif et que le nombre 1!2 5 est ngatif. CQFD

Remarques. Ainsi,
2

! 1 = 0 ; il est parfois avantageux dcrire cela sous la forme 1 = !1

hal-00583463, version 1 - 5 Apr 2011

Notons par ailleurs que

!2 5+1

!2( 5 ! 1) ( 5 + 1)( 5 ! 1)

!2( 5 ! 1) 1! 5 = 4 2

cest--dire que lautre racine de lquation de la dnition 2 est prcisment

1! 5 2

! 0 618 L et
tels que

Dnition 3 : Le nombre dor est la proportion telle que, tant donn deux nombres positifs L 0, le rapport de L + L est gal au rapport de L .

quivalence avec la dnition 2.

+ Si LL

, alors

, donc

+1

, ou encore
2

+1 =
de sorte que est bien le nombre de la dnition 2.

Rciproquement, soit

L=

le nombre de la dnition 2. Choisissons arbitrairement un nombre 0 et posons + . On vrie facilement que LL = L = , 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 LL = L , la terminologie classique consiste dire que : le point U divise le segment QS en moyenne et extrme raison.

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

Q R S T , dont les cts ont longueur

(PQ) = (QR) = (RS ) = (ST ) = (TP ) = 1

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 parallles deux deux ; ils sont donc semblables, et on a

RT . Les triangles UTQ et URS ont leurs cts

hal-00583463, version 1 - 5 Apr 2011

(QU ) (QT ) = = (US ) (RS )

Deuximement, le quadrilatre par suite :

PQUT est un losange (cts opposs parallles et donc de mme longueur) ; (QU ) = (PT ) = 1

Il en rsulte que

(QS ) (QS ) = = (QU ) (PT )

Vu la dnition 3 (o on peut lire L

(QU ) (US ) =
. CQFD

= (QU ) et

= (US )), on a bien

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 cos
et

2 cos

2 1 = 5

Indication.

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 2 , alors z 4 + z 3 + z 2 + z + 1 = 0 et + !1=0 = z + 1 = 2 cos(2 5)
z

z = e2i
et par

et suite

cos(2 2 cos(

5) = 5) =

5!1 On en dduit dabord que 4 3+ 5 2

2 cos2 (

5) = 1 + cos(2

5) =

3+ ,5et nalement que 4

1+ 5 2

=.

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 : z0 z1 z2 z3 z4 . Montrons dabord que la somme S = z0 + z1 + z2 + z3 + z4 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 1 (z + z1 ) = ! z3 , o dsigne la distance entre lorigine et le milieu dun ct. Par suite 2 0

S =

1 1 1 1 1 (z0 + z1 ) + (z1 + z2 ) + (z2 + z3 ) + (z3 + z4 ) + (z4 + z0 ) = ! z3 ! z4 ! z0 ! z1 ! z1 = ! S 2 2 2 2 2 = 0.

hal-00583463, version 1 - 5 Apr 2011

ce qui implique S

Les coordonnes des sommets scrivent

z0 z1 z2 z3 z4
et S

= = = = =

(1 0) (cos 25 (cos 45 (cos 45 (cos 25

sin 25 ) sin 45 ) ! sin 45 ) ! sin 25 )

= 0 implique 1 + 2 cos 2 4 + 2 cos = 0 5 5

Posons provisoirement x

= 2 cos 5 . Alors

2 cos

2 4 = x2 ! 2 et 2 cos = (x2 ! 2)2 ! 2 = x4 ! 4x2 + 2 5 5

de sorte que la relation prcdente scrit

1 + x2 ! 2 + x4 ! 4x2 + 2 = x4 ! 3x2 + 1 = 0
A priori, on trouve les deux solutions x2

cos 5 cos 3 = 1 2 cos 5 1 x = 2 (1 + 5) = , comme promis.

=1 (3 2 1 x2

5.) Or le signe ! ne convient pas, car 5 3 1. On trouve donc bien x2 = 1 (3 + 5) , et donc aussi 2

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 (PQ) = , 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
(QT )

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 0

1 0)

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 3 5, ou bien 5 2 5 2 5 (rappel : pour un angle, 5 = 36o ). 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

hal-00583463, version 1 - 5 Apr 2011

Rappelons quun nombre (ou nombre rel ) x est dit rationnel sil existe deux entiers a b, avec b 0, tels que x = a . Une telle criture est dite rduite si les entiers a et b sont premiers entre eux, cest--dire sils nont b pas dautre diviseur commun que 1. Ainsi, si

x = 1 75, alors x =

sont premiers entre eux, alors que x = commun. Il est facile de vrier que, pour un nombre rationnel a b telle que x = a . b

14 nest pas une criture rduite puisque 8

7 est une criture rduite et les entiers 4

7 4

14 et 8 ont 2 comme diviseur

x donn, il existe exactement une paire rduite

est dni [2] comme le rapport entre le

Un nombre rel est irrationnel sil nest pas rationnel. Par exemple, si primtre et le diamtre dun cercle,

3 14159 26535 89793 23846

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

1 1 1 1 1 1 1 + 1! + 2! + 3! + 4! + 4! + 5! + 2 71828 18284 59045 23536

1 7!

1 8!

est irrationnel (Euler, 1737 [Eul37]), et mme transcendant (Hermite, 1873). Autant que je sache, personne ne sait [3] montrer que + e est irrationnel (a fortiori transcendant). A titre de curiosit, voici nanmoins un rsultat rcent qui impressionne les spcialistes : les trois nombres indpendants sur Q (Nesterenko, 1997, voir le chapitre 10 de [Rib00]). Proposition 2 : Le nombre est irrationnel. ,

e et

(1 ) sont algbriquement 4

Premire dmonstration.
Pour le montrer, on suppose que est rationnel, =a avec a et b premiers entre eux, et on va arriver une b contradiction. Posons c = 2a ! b ; on verie que le plus grand commun diviseur de c et b est 1 ou 2. Si
5+1 2

=a , alors b

5=

2a!b b

c =b , cest--dire

5b2 = c2

(1)

Il en rsulte que c2 est divisible par 5. Par suite (attention, cest le point-cl de la dmonstration !), c est divisibie par 5 (de sorte que c2 est en fait divisible par 25). Il existe donc un entier f tel que c = 5f ; on peut re-crire (1) sous la forme 5b2 = 25f 2 , de sorte que

b2 = 5f 2
En rptant le mme raisonnement, on voit quil existe un entier g tel que b

(2)

= 5g .

En comparant les galits c = 5f , b = 5g 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 b avec =a qui est absurde. b CQFD

Seconde dmonstration, esquisse.

=a , avec a et b premiers entre eux. Notons dabord que les entiers a et b satisfont a b. b b En utilisant la dnition 3, on obtient aussi = a!b , et il est facile de vrier que les entiers b et a ! b sont
Supposons que galement premiers entre eux. Ceci est en contradiction avec le fait quun nombre rationnel (comme lhypothse faite au dbut de cette dmonstration) na quune criture rduite. selon CQFD

hal-00583463, version 1 - 5 Apr 2011

Remarque : Largument de la premire dmonstration montre galement que les nombres

2,

3,

5,

6,

10, 11, ... , exemple pour 8.]

7,

8,

2009 , ... sont irrationnels. [Il faut parfois un tout petit peu plus de rexion, par

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 0, il existe une innit de paires (a b) de nombres entiers premiers entre eux, paires telles que

x!
a b

a b (a b) de nombres (a b) dentiers

Cest un peu plus difcile de montrer un nonc plus fort : il existe une innit de paires entiers premiers entre eux telles que

x!

1 En fait, on sait mme montrer davantage. b2

Thorme 3 (Hurwitz) : Pour tout nombre rel irrationnel x, il existe une innit de paires premiers entre eux telles que

x!

a b

1 5b2

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) :

5 est la meilleure possible dans lingalit du thorme de Hurwitz. En dautres termes, lafrmation de ce thorme cesse dtre vraie si on y remplace 5 par une constante C 5.
(i) La constante (ii) Soit x un nombre rel irrationnel. Les deux proprits suivantes sont quivalentes :

il est impossible de trouver une constante premiers entre eux telles que

C a b

5 et une innit de paires (a b) dentiers 1 ; Cb2 p +q r +s

x!
il existe des entiers p

q r s tels que ps ! qr = 1 ou ps ! qr = !1 et x =
(3)

(iii) Si x est irrationnel et nest pas de la forme (3), alors il existe une innit de paires premiers entre eux telles que

(a b) dentiers

x!
De plus, pour certains nombres (par exemple constante plus grande. On pourrait continuer :

a b x=

1 8b2 2), il nest pas possible de remplacer 8 par une

hal-00583463, version 1 - 5 Apr 2011

5 et 8 sont les deux premiers termes dune suite innie 5, 8, 221 5 , 1517 13, 7565 29, 2600 17, 71 285 89, 257 045 168 , 84 680 97, 488 597 233 , ... qui tend vers 3. Ce sont tous des nombres de la forme 9m2 ! 4 m , o m est un entier strictement positif, et plus prcisment ceux pour lesquels il existe deux entiers m1 m2 tels que
2 2 m2 + m1 + m2 = 3mm1 m2

Les premiers de ces nombres m sont

1 2 5 13 29 34 89 169 194 233

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], p +q page 2 pour quelques remarques historiques. Les nombres de la forme r +s avec p q r s entiers et

ps ! qr = 1 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

=1+ =1+

suggre lcriture (innie !)

1 1 + 1+
1
1+ 1 1 1+ 1 1+ 1 1+

laquelle les mathmaticiens savent donner un sens rigoureux. Ecrire les fractions rationnelles

1+ 1+

1 1+1 1

1 1 + 1+1

1+
sous forme rduite.

1 1+
1 1 1+ 1+1

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 F0

F1 F2 F3

dnie par

F0 = 0

F1 = 1

Fk+2 = Fk+1 + Fk

hal-00583463, version 1 - 5 Apr 2011

pour tout k 0. 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.
k+1 Cest sans doute Kepler (15711630) qui a le premier explicitement not que le rapport F tend vers k 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 :

F3 F2

= 2,

F4 F3

= 1 5,

F5 F4

= 1 666,

F6 F5

= 1 6,

F10 F9

1 6176,

F11 F10

1 6182,

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 :

Fk =
Il en rsulte que

1 5

! (! )

!k

1 5

1+ 5 2

1! 5 2

(4)

lim !

Fk+1 = Fk
Fk+1 Fk

(5)

ce qui signie que le dfaut dapproximation choisisse pour k un entier assez grand.

est aussi petit que lon veut, pour autant que lon

Notons dabord que les approximations de par les quotients successifs de nombres de Fibonacci sont alternativement par endessus et par endessous :

1=

1 1

3 2

8 5

21 13

13 8

5 3

2 1

1 = 0

(o il faut bien sr prendre

1 0

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 b deux nombres rels positifs, lun dentre eux au moins tant strictement positif. On dnit une suite de nombres positifs g0 g1 g2 g3 par

g0 = a
pour tout k

g1 = b

gk+2 = gk+1 + gk

0 ; par exemple : g0 = a g1 = b g2 = a + b gk+1 = gk g3 = a + 2b

Alors

lim

Sur la dmonstration, indication pour les lectrices mathmaticiennes.

hal-00583463, version 1 - 5 Apr 2011

On remarque dabord que

gk gk+1
pour tout (x

= 0 1 1 1

0 1

1 1

gk!1 gk

1 puis que la matrice M =

possde un axe propre traversant le premier quadrant donc un axe propre dilatant, et un axe propre

0 y

0), qui est un axe propre de valeur propre

contractant disjoint de ce premier quadrant, qui est un axe propre de valeur propre ! !1 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 b), fournit une orbite M k P k 1dont 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 nest pas sur laxe propre contractant de la matrice M .]

(a b) du plan
CQFD

Exemple. Les nombres de Lucas sont dnis par L0 par rcurrence que Lk = k + (! )!k pour tout k

= 2, L1 = 1 et Lk+2 = Lk+1 + Lk pour k 0 et Lk = Fk+1 + Fk!1 pour tout k 1.

0. On montre

Exercice, pour une autre manire de voir certaines notions apparues dans la dmonstration de la proposition 5. Vrier que la transformation homographique

R t!

R t+1 t !
!1

possde exactement deux points xes, qui est attractif et transformation, par exemple pour le second itr :

qui est rpulsif. Idem pour les itrs de cette

t!

2t + 1 t+1 gk
k 0

Remarque. La proposition prcdente montre quil existe de nombreuses suites

dont les quotients

k+1 successifs g tendent vers , suites quon pourrait appeler suite bonacodes (la terminologie nest pas k 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 1 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

: 0!
ainsi que par la rgle Par ailleurs, soit

01 et 1 !

0 A.
2

(w1 w2 ) = (w1 ) (w2 ) pour deux mots w1 w2

1 n!2

n n 1 la suite de mots dans A dnie par n

= 1,

= 0 et

n!1

pour tout n exemple, 1

3 Nous crivons = 2 = 1 et

n pour la longueur du mot 3

= 01 = 2.

n , cest--dire pour le nombre de ses lettres. Par

Proposition 6 : Les notations tant comme cidessus,

n

hal-00583463, version 1 - 5 Apr 2011

(1) =

n+1

et

(0) =

n+2

et
n

= Fn

pour tout n

1.
Dmonstration, par rcurrence sur n.

(Elle est reprise de [AlSh03], Theorem 7.1.2.) Les assertions sont de vrication immdiate pour proposition dmontre jusqu n ! 1. Alors
n

n = 1 et n = 2 ; on suppose dsormais n
n!1

3, et la

(1) =

(0) =

n+1

et
n

(0) =

n!1

(01) =

n!1

(0)

n!1

(1) =

n+1

n+2

do la proposition. CQFD

Le mot inni de Fibonacci est le mot inni

=
dont les Fn premires lettres sont

(0) = 010010100100101001010 1.
!1

n 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

de proportion ...). Lassertion (ii) rsulte du fait que, sil existait un entier tout n 1, o xn dsigne la nime lettre du mot

1 tel que xk+n = xn pour

= x1 x2 x3
alors la proportion de 0 dans

= xk+1 xk+2 xk+3

= x2k+1 x2k+2 x2k+3

serait rationnelle. CQFD

Remarques (1) Si on veut choisir une extension de vers la gauche , cest--dire si on cherche une suite xn n Z avec xn 0 1 pour tout n Z et xn la nime lettre de pour tout n 0, une exigence naturelle est de demander que la suite obtenue soit encore invariante par 2 (on ne peut pas avec ). Il y a alors deux solutions, 2n obtenues en crivant de droite gauche et gauche de ou bien les chiffres de limn (0), ce qui 2n donne 1001001010010 , ou bien ceux de limn (1), ce qui donne 0100101001001 . (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 R2 [resp. R3 ], 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 a (criture rduite) est dit b une approximation optimale de x si

hal-00583463, version 1 - 5 Apr 2011

x!

a b

x!

c d

c c pour tout nombre rationnel d tel que 1 d b et d =a . Si on fait la liste de toutes les approximations b 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

2, on trouve :

1
pour

3 7 17 41 99 239 577 2 5 12 29 70 169 408

7 on trouve 3 5 8 37 45 82 127 590 2 3 14 17 31 48 223

pour

on trouve

3
pour e on trouve

22 333 355 103993 104348 208341 312689 7 106 113 33102 33215 66317 99532

8 11 19 87 106 193 1264 3 4 7 32 39 71 465

(Les conventions concernant le premier terme de ces suites peuvent varier suivant le point de vue adopt (ou

x dtre rationnel, et alors aux suites approximantes dtre 11 nies). Par exemple, le dbut de la suite pour le nombre e est souvent 2 3 8 . De mme, la suite de la 3 4
mme les deux premiers termes si on permettait
F

proposition 8 commence avec F3 , et les quotients F2 , F1 ny jouent aucun rle.) 2 1 0 Proposition 8 : Pour le nombre dor = 1+2 5 , la suite des approximations optimales au sens prcdent est la suite des quotients de nombres de Fibonacci successifs, suite dont les premiers termes sont

3 5 8 13 21 34 55 2 3 3 8 13 21 34

Remarque : On pourrait utiliser la proposition 8 pour donner encore une autre dnition des nombres de Fibonacci : F0 = 0, F1 = 1, F2 = 1, 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 [X1 Xn ], n posons V+ (P ) = (a1 an ) P ( a a ) = 0 , o = a a 1 . Le dixime problme n + + 1 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 ! f (k ) qui soit la fois croissance exponentielle et diophantienne, cette seconde exigence signiant quil existe un polynme P Z[A1 A2 X1 Xn ] en n + 2 variables tel que, pour des entiers k et f , lquation en n variables P (k f X1 Xn ) = 0 possde une solution en entiers positifs si et seulement si f = f (k ). Matiyasevich a montr que la fonction k ! F2k (= (2k )ime nombre de Fibonacci) convient. Depuis, on a trouv beaucoup dautres fonctions diophantiennes croissance exponentielle, dont la fonction (k ) ! k .

hal-00583463, version 1 - 5 Apr 2011

Dmonstration au thorme 3.3 de Dav73.

Lun des ingrdients principaux est une analyse ne des solutions x

Z+ de lquation de Pell

x2 ! dy 2 = 1 d = a2 ! 1 et a 1, solutions dont on montre que ce sont les paires xn yn dnies par n xn + yn d = (a + d), avec n Z+ , de sorte que ces solutions sont en particulier croissance
o 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

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 :

F2k+2 = 3F2k ! F2k!2

k

= Fk + Fk!1 sont premiers entre eux

Fk+1

et Fk

[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 k 1000, il y a exactement 21 valeurs telles que Fk soient un nombre premier : F3 = 2, F4 = 3, F5 = 5, F7 = 13, F11 = 89, F17 = 1597, , F569 , F571 . Voir [Rib89], page 286.] Exercice. Vrier que

z = 1 ! z ! z2
hal-00583463, version 1 - 5 Apr 2011

Fn z n
n=0

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

1 scrit de manire unique sous la forme n = Fk1 + Fk2 + + Fkr kr!1 kr + 2

k1

k2 + 2 k2

k3 + 2

[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
n

Fk2 = Fn Fn+1
k=1

En un premier temps, on pourra par exemple vrier numriquement quelques termes de plus dans la suite dgalits

12 + 12 = 1 12 + 12 + 22 = 2

2 3 5 8

12 + 12 + 22 + 32 = 3 12 + 12 + 22 + 32 + 52 = 5
etc. (ii) Dessiner des puzzles, successivement :

deux carrs de ct 1 formant un rectangle de cts 1 et 2, trois carrs de cts respectivement 1

1 2 formant un rectangle de cts 2 et 3, quatre carrs de cts respectivement 1 1 2 3 formant un rectangle de cts 3 et 5, cinq carrs de cts respectivement 1 1 2 3 5 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 :

1 1 1 1 1 1 5 4 10 3 6 10 2 3 4 5 1 1 1 1 1

Plus gnralement (et plus techniquement ) :

hal-00583463, version 1 - 5 Apr 2011

Fk+1 =
par exemple :

k k!1 k!2 + + + 0 1 2

F6 = 8 = 1 + 4 + 3 =
Exercice, inspir de [SEIS]. Vrier que

5 4 3 + + 0 1 2

Fn+2 est le nombre de suites de zros et de uns, de longueur n, sans paire de zros conscutifs (par exemple, F5 = 5 puisque ces suites pour n = 3 sont 111, 110, 101, 011, 010) ; Fn+2 est le nombre de sousensembles de 1 2 n qui ne contiennent pas dentiers conscutifs (par exemple F4 = 3 puisque ces sousensembles pour n = 2 sont , 1 , 2 ) ; Fn+1 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 un de pavages par dominos dun rectangle de cts n et 3 (nombre qui est nul si n est impair) ; pour tout n

1, le nombre u2n est le plus petit entier suprieur

Au del des mathmatiques

(2+ 3)n .] 3! 3

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].

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

hal-00583463, version 1 - 5 Apr 2011

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

[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

hal-00583463, version 1 - 5 Apr 2011

[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)

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 son rayon. est le rapport entre laire dun disque et le carr de

[ 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

hal-00583463, version 1 - 5 Apr 2011

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