Professional Documents
Culture Documents
html"
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.
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 :
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.
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
!2 5+1
!2( 5 ! 1) ( 5 + 1)( 5 ! 1)
!2( 5 ! 1) 1! 5 = 4 2
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 .
, 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.
Dmonstration.
Considrons un pentagone rgulier de sommets P
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
PQUT est un losange (cts opposs parallles et donc de mme longueur) ; (QU ) = (PT ) = 1
Il en rsulte que
(QU ) (US ) =
. CQFD
= (QU ) et
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) =
2 cos2 (
5) = 1 + cos(2
5) =
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 =
ce qui implique S
z0 z1 z2 z3 z4
et S
= = = = =
Posons provisoirement x
= 2 cos 5 . Alors
2 cos
1 + x2 ! 2 + x4 ! 4x2 + 2 = x4 ! 3x2 + 1 = 0
A priori, on trouve les deux solutions x2
=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].
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
7 4
Un nombre rel est irrationnel sil nest pas rationnel. Par exemple, si primtre et le diamtre dun cercle,
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
2,
3,
5,
6,
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!
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
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=
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
=1+ =1+
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].
F1 F2 F3
dnie par
F0 = 0
F1 = 1
Fk+2 = Fk+1 + Fk
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
1 0
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
Alors
lim
gk gk+1
pour tout (x
= 0 1 1 1
0 1
1 1
gk!1 gk
possde un axe propre traversant le premier quadrant donc un axe propre dilatant, et un axe propre
0 y
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
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 :
t!
2t + 1 t+1 gk
k 0
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
= 1,
= 0 et
n!1
3 Nous crivons = 2 = 1 et
= 01 = 2.
(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
=
dont les Fn premires lettres sont
(0) = 010010100100101001010 1.
!1
n pour tout n
est
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
= x1 x2 x3
alors la proportion de 0 dans
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
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
2, on trouve :
1
pour
pour
on trouve
3
pour e on trouve
22 333 355 103993 104348 208341 312689 7 106 113 33102 33215 66317 99532
(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 .
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].
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 :
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
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 :
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
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
(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
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
[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
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