Un choix de définitions

En mathématiques, le nombre d’or
peut être défini de plusieurs manières,
différentes, mais toutes équivalentes
au sens où elles définissent le même nombre.
Le choix des définitions qui suivent, ainsi que leur ordre,
relève donc d’une bonne dose d’arbitraire.

La notation choisie, la lettre grecque $\varphi$,
prononcer « fi » , est l’un des usages courants
(un autre est $\tau$, prononcer
à mi-chemin entre « tau »
et « tao »).
Certains auteurs affirment que le choix de $\varphi$
honore le sculpteur grec Phidias,
du Vème siècle avant Jésus-Christ.

Approximations décimales.

Pour les flemmards :
de $4 < 5 < 9$, on déduit d’abord $2 < \sqrt{5} < 3$, et par suite
$1,5 < \varphi < 2$.
En poussant les calculs un peu plus loin, d’abord

\[ 4,84 < 5 < 5,29 \Longrightarrow 2,2 < \sqrt 5 < 2,3 \Longrightarrow 1,6 < \varphi < 1,65 , \]

puis

\[ 4,9729 < 5 < 5,0176 \Longrightarrow 2,23 < \sqrt 5 < 2.24 \Longrightarrow 1,615 < \varphi < 1,62 , \]

etc., par exemple jusqu’à ce qu’on trouve
(comme dans au moins une page de Wikipedia)

$ \varphi \approx 1,618 033 988 7 \cdots , $
ou encore un peu plus :

\[ \varphi \, \approx \, 1,61803398\, 87498948\, 48204586\, 83436563\, 81177203\, 09179805\, 76286213 \cdots . \]

Voir par exemple ce lien
pour les $15 \, 000$ premières décimales de $\varphi$.

C’est une conséquence de la proposition 2 (voir plus bas)
qu’il n’est pas possible d’écrire une valeur exacte en notation décimale
avec un nombre fini de chiffres.

Remarques.

Ainsi, $\varphi^2 - \varphi - 1 = 0$ ;
il est parfois avantageux d’écrire cela sous la forme
\[ \frac{1}{\varphi} \, = \, \varphi - 1 . \]
Notons par ailleurs que
\[ {}-\frac{1}{\varphi} = \, \frac{-2}{\sqrt 5 + 1} \, = \, \frac{-2(\sqrt 5 - 1)}{(\sqrt 5 + 1)(\sqrt 5 - 1)} \, = \, \frac{-2(\sqrt 5 - 1)}{4} \, = \, \frac{1 - \sqrt 5}{2} , \]
c’est-à-dire que l’autre racine de l’équation de la définition 2
est précisément
\[ {}-\frac{1}{\varphi} = \, \frac{1 - \sqrt{5}}{2} \, \approx \, - 0.618 \cdots . \]

Considérons sur une droite un segment d’extrémités $Q$ et $S$,
de longueur $L + \ell$, avec un point $U$ sur le segment
tel que la longueur de $QU$ soit $L$ et celle de $US$ soit $\ell$.
Si $\frac{L+\ell}{L} = \frac{L}{\ell}$,
la terminologie classique consiste à dire que :
le point $U$ divise le segment $QS$ en moyenne et extrême raison.

Faisons d’abord de la géométrie ...

Cette proposition montre donc l’équivalence
des définitions précédentes avec la définition suivante.

Remarque : Le nombre d’or apparaît ainsi de manière très simple
dans une figure, le pentagone régulier,
qui a exercé depuis la nuit des temps une très grande fascination.
La découverte du fait que ce nombre soit irrationnel (voir plus bas)
fut un choc considérable pour les géomètres de la Grèce ancienne ;
voir [OsWa].

Exercice. Si vous savez ce qu’est un cosinus, montrez que
\[ 2 \cos \frac{\pi}{5} \, = \, \varphi\]
et
\[ 2 \cos \frac{2\pi}{5} \, = \, \frac{1}{\varphi} . \]

Exercice. On considère 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 l’angle $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 symétrique $T$ de $Q$ par rapport à la droite portant le rayon $OP$.
Montrer que $\frac{(QT)}{(PQ)} = \varphi$,
c’est-à-dire que $P$, $Q$ et $T$ sont trois des cinq sommets
d’un pentagone régulier inscrit dans le cercle de départ.

(La construction est celle donnée à la page 27 de
[Cox—69] ;
c’est une variante de la construction d’Euclide.
Pour trouver la solution de l’exercice, il faut bien sûr commencer
par faire un dessin !)

Remarque.
Le nombre d’or se retrouve naturellement dans plusieurs
rapports de longueurs qui apparaissent dans un dodécaèdre régulier,
ce polyèdre de l’espace qui possède douze faces dont chacune
est un pentagone régulier, et vingt sommets en chacun desquels
se rejoignent trois faces.

On retrouve ces mêmes rapports dans le polyèdre cousin qui est
l’icosaèdre régulier ; il a $20$ faces qui sont des triangles équilatéraux
et $12$ sommets en chacun desquels se rejoignent $5$ faces.
Par exemple, les douze points de l’espace de coordonnées cartésiennes
\[ (0, \pm \varphi, \pm 1) ,\qquad (\pm 1, 0, \pm \varphi) , \qquad(\pm \varphi, \pm 1, 0 ) \]
sont les sommets d’un icosaèdre régulier.
Ces deux polyèdres, et les trois autres polyèdres réguliers
(tétraèdre, cube, octaèdre) fournissent la matière
du livre XIII (le dernier) des Éléments d’Euclide.

Le nombre d’or entre également dans la description des
pavages de Penrose, ces fascinants recouvrements du plan
par des pavés découverts vers 1970.
Dans l’une des variantes de ces pavages,
chaque pavé est un triangle isocèle dont les angles sont
ou bien $\pi/5, \pi/5, 3\pi/5$, ou bien $\pi/5, 2\pi/5, 2\pi/5$
(rappel : pour un angle, $\pi/5 = 36 ^o$).
L’un des intérêts de ces pavages, il en existe d’innombrables,
est de ne posséder aucune symétrie de translation.
Mais ceci est toute une histoire, autre et superbe,
qui nécessiterait à elle seule tout une note,
et nous nous bornerons ici à signaler
un article de Martin Gardner [Gar—77]
ainsi que quelques sites ouèbes
où en trouver davantage
[Pen],
[Pen2], [Pen3].

... et ensuite de l’arithmétique

Rappelons qu’un nombre (ou « nombre réel ») $x$
est dit rationnel s’il existe deux entiers $a,b$,
avec $b > 0$,
tels que $x = \frac{a}{b}$.
Une telle écriture est dite réduite
si les entiers $a$ et $b$ sont premiers entre eux,
c’est-à-dire s’ils n’ont pas d’autre diviseur commun que $1$.
Ainsi, si $x = 1,75$, alors $x = \frac{7}{4}$ est une écriture réduite
et les entiers $7,4$ sont premiers entre eux,
alors que $x = \frac{14}{8}$ n’est pas une écriture réduite
puisque $14$ et $8$ ont $2$ comme diviseur commun.
Il est facile de vérifier que,
pour un nombre rationnel $x$ donné,
il existe exactement une paire réduite $a,b$
telle que $x = \frac{a}{b}$.

Un nombre réel est irrationnel s’il n’est pas rationnel.
Par exemple, si $\pi$ est défini
 [2]
comme le rapport
entre le périmètre et le diamètre d’un cercle,
\[ \pi \, \approx \, 3,14159 \, 26535 \, 89793 \, 23846 \cdots , \]
on sait que $\pi$ est un nombre irrationnel ;
la première démonstration de ce fait,
due à Lambert, date de 1761.
(On sait même que $\pi$ est un nombre transcendant,
ce qui fut démontré par Lindemann en 1882,
et ce qui apporte la « réponse moderne »
à une question célèbre
qui se posait depuis l’antiquité grecque,
à savoir la quadrature du cercle,
mais ceci aussi est une autre histoire.)
De même on sait que le nombre
\[ \begin{array}{rcl} e &=& 1 + \frac{1}{1!} + \frac{1}{2!} + \frac{1}{3!} + \frac{1}{4!} + \frac{1}{4!} + \frac{1}{5!} + \frac{1}{7!} + \frac{1}{8!} + \cdots\\ &\approx& 2,71828 \, 18284 \, 59045 \, 23536 \cdots \end{array} \]
est irrationnel (Euler, 1737 [Eul—37]),
et même transcendant (Hermite, 1873).
Autant que je sache, personne ne sait
 [3]
montrer que $\pi + e$ est irrationnel (a fortiori transcendant).
A titre de curiosité, voici néanmoins un résultat récent
qui impressionne les spécialistes :
les trois nombres $\pi$, $e^{\pi}$ et $\Gamma(\frac{1}{4})$
sont algébriquement indépendants sur Q
(Nesterenko, 1997, voir le chapitre 10 de [Rib—00]).

Remarque :
L’argument de la première démonstration
montre également que les nombres
$\sqrt{2}$, $\sqrt{3}$, $\sqrt{5}$, $\sqrt{6}$, $\sqrt{7}$,
$\sqrt{8}$, $\sqrt{10}$, $\sqrt{11}$,
... , $\sqrt{2009}$, ... sont irrationnels.
[Il faut parfois un tout petit peu plus de réflexion, par exemple pour $\sqrt{8}$.]

Les autres propriétés que nous voulons décrire sont plus difficiles à montrer,
et nous nous bornerons ici à les énoncer.
Soit $x$ un nombre réel irrationnel.
Il est facile de se convaincre du fait que, pour tout $\epsilon > 0$,
il existe une infinité de paires $(a,b)$ de nombres entiers premiers entre eux,
paires telles que
\[ \left\vert x - \frac{a}{b} \right\vert \, < \, \epsilon . \]
C’est un peu plus difficile de montrer un énoncé plus fort :
il existe une infinité de paires $(a,b)$ de nombres entiers premiers entre eux
telles que
$ \left\vert x - \frac{a}{b} \right\vert \, < \, \frac{1}{b^2} . $
En fait, on sait même montrer davantage.

Pour le théorème de Hurwitz, voir par exemple,
[HaWr—79], chapitre XI, section 11.8
ou [Niv—67], Theorems 6.1 et 6.2.
Pour le théorème suivant,
qui est une partie de résultats publiés par A. Markoff
(ou Markov) en 1879 et 1880,
voir [Lev—56], Theorem 9.10 et [Cas—65], Chapters I and II.

On pourrait continuer : $\sqrt 5$ et $\sqrt 8$ sont les deux premiers termes
d’une suite infinie
$\sqrt{5}$,
$\sqrt{8}$,
$\sqrt{221} / 5$,
$\sqrt{1517} / 13$,
$\sqrt{7565}/29$,
$\sqrt{2600}/17$,
$\sqrt{71 \, 285}/89$,
$\sqrt{257 \, 045} / 168$,
$\sqrt{84 \, 680}/97$,
$\sqrt{488 \, 597}/233$,
...
qui tend vers $3$. Ce sont tous des nombres de la forme $\sqrt{9m^2 - 4}/m$,
où $m$ est un entier strictement positif,
et plus précisément ceux pour lesquels il existe deux entiers $m_1,m_2$
tels que
\[ m^2 + m_1^2 + m_2^2 \, = \, 3mm_1m_2 . \]
Les premiers de ces nombres $m$ sont
\[ 1 , 2 , 5 , 13 , 29 , 34 , 89 , 169 , 194 , 233 , ... \]

Ces résultats sont dus à A. Markoff
(articles de 1879 et 1880) ;
le « théorème de Hurwitz » énoncé ci—dessus
remonte à un article postérieur [Hur—91],
mais dans lequel Hurwitz utilisait un argument plus direct.
Voir [CuFl—89] pour une présentation avec démonstrations
des résultats de Markoff, et en particulier [CuFl—89], page 2
pour quelques remarques historiques.
Les nombres de la forme $ \frac{p \varphi + q}{ r \varphi + s}$
avec $p,q,r,s$ entiers et $\vert ps-qr \vert = 1$
sont parfois appelés nombres nobles.

Cette théorie des approximations rationnelles des nombres irrationnels
est intimement liée à la théorie des fractions continues,
que nous n’évoquerons que via le très modeste exercice suivant.

Exercice (fractions continues). La relation
$\varphi = 1 + \frac{1}{\varphi}$ suggère l’écriture (infinie !)
\[ \varphi = 1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{1+...}}}}}} \]
à laquelle les mathématiciens savent donner un sens rigoureux.
Ecrire les fractions rationnelles
\[ 1+\frac{1}{1+1} \]
\[ 1+\frac{1}{1+\frac{1}{1+1}} \]
\[ 1+\frac{1}{1+\frac{1}{1+\frac{1}{1+1}}} \]
sous forme réduite.

Remarque géométrique importante :
Ces résultats de Markoff ont beau pouvoir apparaître
comme le fin du fin de l’arithmétique,
ils peuvent avec profit être vus sous un aspect
résolument géométrique,
en termes de géodésiques sur une surface munie d’une métrique riemannienne,
surface homéomorphe à un tore à un trou ou à une sphère à quatre trous
[Ser—85].

Le nombre d’or et la suite de Fibonacci

La suite de Fibonacci est la suite de nombres entiers
$F_0,F_1,F_2,F_3,...$ définie par
\[ F_0 = 0, \quad F_1 = 1, \quad F_{k+2} = F_{k+1} + F_k \]
pour tout $k \ge 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 réfère à Leonardo da Pisa (vers 1170—1250),
aussi dit Fibonacci (car fils de Guilielmo Bonacci).
La suite qui porte son nom apparaît dans son liber abaci
(livre des calculs), publié en 1202 ;
c’est ce livre qui a fait connaître en Occident
les chiffres indiens, dits aussi chiffres arabes,
d’un maniement considérablement plus simple
que les chiffres romains utilisés auparavant.
Il semble que les nombres de Fibonacci
étaient connus de certains savants indiens
bien avant l’époque de Fibonacci.

C’est sans doute Kepler (1571—1630)
qui a le premier explicitement noté que le rapport
$\frac{F_{k+1}}{F_k}$ « tend vers $\varphi$ quand $k$ tend vers l’infini » ,
ou en d’autres termes se rapproche de plus en plus de $\varphi$
quand $k$ devient de plus en plus grand. Par exemple :

$\frac{F_3}{F_2} \, = \, 2 $,
$\frac{F_4}{F_3} \, = \, 1,5 $,
$\frac{F_5}{F_4} \, = \, 1,666 $,
$\frac{F_6}{F_5} \, = \, 1,6 $,
$... ,$
$\frac{F_{10}}{F_9} \, \approx \, 1,6176$,
$\frac{F_{11}}{F_{10}} \, \approx \, 1,6182$,
$...$

Une manière de le montrer est d’établir d’abord
la « formule de Binet » ,
qui remonte à Euler [Eul—65],
et qu’on pourrait prendre pour une définition des nombres de Fibonacci :
\[\begin{equation} F_k\, = \, \frac{1}{\sqrt 5} \left( \varphi^k - (-\varphi)^{-k} \right) \, = \, \frac{1}{\sqrt 5} \left( \left( \frac{1 + \sqrt 5 }{2} \right)^k - \left( \frac{1 - \sqrt 5 }{2} \right)^k \right). \label{****} \end{equation}\]

Il en résulte que
\[\begin{equation} \lim_{k \to \infty} \frac{ F_{k+1} }{ F_k } = \varphi , \label{*****} \end{equation}\]
ce qui signifie que le défaut d’approximation
$\vert \varphi - \frac{ F_{k+1} }{ F_k } \vert$
est aussi petit que l’on veut,
pour autant que l’on choisisse pour $k$ un entier assez grand.

Notons d’abord que les approximations de $\varphi$
par les quotients successifs de nombres de Fibonacci sont alternativement
par en—dessus et par en—dessous :
\[ 1 = \frac{1}{1} \, < \, \frac{3}{2} \, < \, \frac{8}{5} \, < \, \frac{21}{13} \, < \, ... \, < \, \varphi \, < \, ... \, < \, \frac{13}{8} \, < \, \frac{5}{3} \, < \, \frac{2}{1} \, < \, \frac{1}{0} = \infty \]
(où il faut bien sûr prendre « $ < \frac{1}{0} = \infty$ »
avec le grain de sel qui convient).

Notons aussi que la relation $\ref{*****}$ n’est pas propre
aux seuls nombres de Fibonacci, mais s’applique à toute une famille
de suites numériques apparentées. Plus précisément :

Exemple. Les nombres de Lucas sont définis par
$L_0 = 2$, $L_1 = 1$ et $L_{k+2} = L_{k+1} + L_k$ pour $k \ge 0$.
On montre par récurrence que
$L_k = \varphi ^k + (-\varphi)^{-k}$ pour tout $k \ge 0$ et
$L_k = F_{k+1} + F_{k-1}$ pour tout $k \ge 1$.

Exercice, pour une autre manière de voir certaines notions
apparues dans la démonstration de la proposition 5.
Vérifier que la transformation homographique
\[ {\bf R} \cup \{\infty\} \longrightarrow {\bf R} \cup \{\infty\} \]
\[ t \longmapsto \frac{t+1}{t} \]
possède exactement deux points fixes,
$\varphi$ qui est attractif et $-\varphi^{-1}$ qui est répulsif.
Idem pour les itérés de cette transformation,
par exemple pour le second itéré :
\[ t \longmapsto \frac{2t+1}{t+1} . \]

Remarque.
La proposition précédente montre qu’il existe de nombreuses suites
$\left( g_k \right)_{k \ge 0}$ dont les quotients successifs $\frac{g_{k+1}}{g_k}$
tendent vers $\varphi$, suites qu’on pourrait appeler
suite fibonacoïdes (la terminologie n’est pas standard).
Toutefois, il est possible de « retrouver »
la suite de Fibonacci proprement dite à partir de $\varphi$,
comme nous l’expliquons plus bas (voir la proposition 8).

Montrons une interprétation des nombres de Fibonacci
en termes de longueurs de certains « mots ».
Pour cela, notons $A$ l’alphabet $\{0,1\}$ de taille deux et
$A^*$ l’ensemble des mots finis sur $A$, incluant le mot vide,
autrement dit le monoïde libre sur $A$.
Le morphisme de Fibonacci est défini par
les règles de substitution
\[ \sigma \, : \, 0 \longmapsto 01 \quad \mathrm{et} \quad 1 \longmapsto 0 \]
ainsi que par la règle $\sigma(w_1w_2) = \sigma(w_1)\sigma(w_2)$
pour deux mots $w_1,w_2 \in A^*$.

Par ailleurs, soit $\left( \Phi_n \right)_{n \ge 1}$ la suite
de mots dans $A^*$ définie par
$\Phi_1 = 1$, $\Phi_2 = 0$ et
\[ \Phi_n \, = \, \Phi_{n-1}\Phi_{n-2} \]
pour tout
$ n \ge 3 . $
Nous écrivons $\vert \Phi_n \vert$ pour la longueur du mot $\Phi_n$,
c’est-à-dire pour le nombre de ses lettres.
Par exemple, $\vert \Phi_1 \vert = \vert \Phi_2 \vert = 1$
et $\vert \Phi_3 \vert = \vert 01 \vert = 2$.

Le mot infini de Fibonacci est le mot infini
\[ \Phi_{\infty} \, = \, \sigma^{\omega} (0) \, = \, 010010100100101001010 \cdots \]
dont les $F_n$ premières lettres sont $\Phi_n$ pour tout $n \ge 1$.

Remarques

(1)
Si on veut choisir une extension de $\Phi_{\infty}$ « vers la gauche » ,
c’est-à-dire si on cherche une suite $\left( x_n \right)_{n \in \bf Z}$
avec $x_n \in \{0,1\}$ pour tout $n \in \bf Z$ et $x_n$ la $n$—ième lettre
de $\Phi_{\infty}$ pour tout $n \ge 0$,
une exigence naturelle est de demander que la suite obtenue
soit encore invariante par $\sigma^2$ (on ne peut pas avec $\sigma$).
Il y a alors deux solutions, obtenues en écrivant
de droite à gauche et à gauche de $\Phi_{\infty}$
ou bien les chiffres de $\lim_{n \to \infty} \sigma^{2n}(0)$,
ce qui donne
$ \cdots 1001001010010\Phi_{\infty}$,
ou bien ceux de $\lim_{n \to \infty} \sigma^{2n}(1)$,
ce qui donne $\cdots 0100101001001\Phi_{\infty}$.

(2)
Le mot infini de Fibonacci $\Phi_{\infty}$
et les mots de la remarque ci—dessus
sont des exemples (parmi beaucoup d’autres)
de mot parfaitement ordonnés
(leurs définitions tiennent en peu de lignes)
qui ne sont pas périodiques.
En cristallographie mathématique,
il existe de même des modèles ordonnés non périodiques
de systèmes de points dans l’espace,
dont les célèbres pavages de Penrose,
et leurs « analogues » en dimension trois.
Ces modèles sont d’une étude relativement récente,
au moins en comparaison avec celle des réseaux,
ou orbites dans le plan [respectivement dans l’espace à trois dimensions]
de sous—groupes de translations de $\bf R^2$ [resp. $\bf R^3$],
qui sont des sujets d’étude obligés
en cristallographie classique.
Les arrangements ordonnés non périodiques
sont des modèles pour les quasi—cristaux,
qui sont des formes particulières d’alliages métalliques
dont la découverte expérimentale date du début des années 1980.

Revenons à la manière, promise, de « retrouver »
la suite de Fibonacci à partir du $\varphi$.
Soit $x$ un nombre réel ; supposons—le irrationnel et positif
pour simplifier la discussion.
Un nombre rationnel $\frac{a}{b}$ (écriture réduite) est dit une
approximation optimale de $x$ si
\[ \left\vert x - \frac{a}{b} \right\vert \, < \, \left\vert x - \frac{c}{d} \right\vert \]
pour tout nombre rationnel $\frac{c}{d}$ tel que $1 \le d \le b$
et $\frac{c}{d} \ne \frac{a}{b}$.
Si on fait la liste de toutes les approximations optimales de $x$,
par ordre croissant des dénominateurs, on obtient une suite
de nombres rationnels qui se rapprochent de plus en plus de $x$.
Par exemple pour $\sqrt 2$, on trouve :
\[ 1, \frac{3}{2}, \frac{7}{5}, \frac{17}{12}, \frac{41}{29} , \frac{99}{70}, \frac{239}{169}, \frac{577}{408}, \cdots \]
pour $\sqrt 7$ on trouve
\[ 3, \frac{5}{2}, \frac{8}{3}, \frac{37}{14}, \frac{45}{17}, \frac{82}{31}, \frac{127}{48}, \frac{590}{223}, \cdots \]
pour $\pi$ on trouve
\[ 3, \frac{22}{7}, \frac{333}{106}, \frac{355}{113}, \frac{103993}{33102}, \frac{104348}{33215}, \frac{208341}{66317}, \frac{312689}{99532}, \cdots \]
pour $e$ on trouve
\[ 3, \frac{8}{3}, \frac{11}{4}, \frac{19}{7}, \frac{87}{32}, \frac{106}{39}, \frac{193}{71}, \frac{1264}{465}, \cdots \]

(Les conventions concernant le premier terme de ces suites
peuvent varier suivant le point de vue adopté
(ou même les deux premiers termes si on permettait
à $x$ d’être rationnel, et alors aux suites approximantes d’être finies).
Par exemple, le début de la suite pour le nombre $e$
est souvent $2, 3, \frac{8}{3}, \frac{11}{4}, ...$.
De même, la suite de la proposition 8
commence avec $\frac{F_3}{F_2}$,
et les quotients $\frac{F_{2}}{F_1}$, $\frac{F_{1}}{F_0}$
n’y jouent aucun rôle.)

Remarque :
On pourrait utiliser la proposition 8 pour donner encore
une autre définition des nombres de Fibonacci :
$F_0 = 0$, $F_1 = 1$, $F_2 = 1$, et les nombres suivants définis
à partir des approximations optimales successives de $\varphi$.
Une telle définition serait peut-être défendable du strict point de vue
de la logique, mais on admet qu’elle serait bien compliquée,
voire tordue ...

Mentionnons encore un problème, lui aussi célèbre,
dans l’histoire duquel les nombres de Fibonacci ont joué un rôle historique.
En août 1900, au cours du
Deuxième Congrès International des Mathématiciens
de Paris, David Hilbert
énonca une liste de $23$ problèmes qu’il jugeait importants,
et qui ont effectivement influencé de manière profonde
les mathématiques du XXème siècle.
Le dixième de ces problèmes concerne
les polynômes à coefficients entiers
et leurs solutions en nombres strictement positifs.
Pour un tel polynôme $P \in \mathbb Z [X_1,...,X_n]$,
posons $V_+(P) = \{ (a_1,...,a_n) \in \mathbb Z_+^n \vert P(a_1,...,a_n) = 0 \}$, où
$\mathbb Z_+ = \{ a \in \mathbb Z \vert a \ge 1 \}$.
Le dixième problème demande s’il existe
un algorithme général qui, étant donné $P$ comme ci—dessus,
permet de décider en un temps fini si l’ensemble des solutions
$V_+(P)$ est vide ou non.

La réponse est négative, comme l’ont montré
Martin Davis, Julia Robinson, Hilary Putnam et Yuri Matiyasevich
dans une série de travaux dont le dernier
(de Matiyasevich) fut publié en 1970.
Le point technique crucial du coup de grâce
fut de trouver une fonction $k \longmapsto f(k)$
qui soit à la fois à croissance exponentielle
et diophantienne, cette seconde exigence
signifiant qu’il existe un polynôme
$P \in \mathbf{Z} [A_1,A_2,X_1,...,X_n]$ en $n+2$ variables
tel que, pour des entiers $k$ et $f$,
l’équation en $n$ variables $P(k,f,X_1,...,X_n) = 0$
possède une solution en entiers positifs
si et seulement si $f = f(k)$.
Matiyasevich a montré que la fonction
$k \longmapsto F_{2k}$
(= $(2k)$ième nombre de Fibonacci) convient.
Depuis, on a trouvé beaucoup d’autres
fonctions diophantiennes à croissance exponentielle,
dont la fonction $(k,\ell) \longmapsto k^{\ell}$.

Pour les amateurs d’exercices

La mathématique des nombres de Fibonacci est inépuisable,
au moins pour certains chercheurs.
Ils apparaissent dans de nombreux livres de mathématiques
plus ou moins vulgarisées, par exemple dans [Rib—00].
Il existe un journal expressément intitulé
The Fibonacci Quarterly,
avec environ 400 pages annuelles,
publication officielle de The Fibonacci Association.

A titre d’échantillon, voici pour les amateurs
quelques exercices concernant ces nombres.
Les éditions successives d’un livre de Vorobiev [Vor—02]
en fournissent de très nombreux autres, variés et intéressants.
Voir aussi le très recommandable livre
Concrete mathematics, [GrKP—89], dès la page 285 ;
son titre, « mathématiques concrètes » ,
est entre autres un jeu de mot tout à fait opportun
sur le fait qu’il s’agit
d’un subtil mélange entre mathématiques CONtinues et disCRÈTES.

Exercice. Montrer par récurrence sur $k$ les identités suivantes :
\[ F_{2k+2} = 3 F_{2k} - F_{2k-2} \]
\[ \varphi^k = F_k \varphi + F_{k-1}, \]
\[ F_{k+1}\quad \mathrm{et} \quad F_k \quad \mathrm{sont~premiers~entre~eux.} \]
[Attention :
il faut bien distinguer la notion de nombre premier de la notion
d’entiers premiers entre eux. Dans le cas présent,
il n’y a pas beaucoup de nombres de Fibonacci qui soient premiers !
Plus précisément, parmi les entiers $k$ tels que $3 \le k < 1000$,
il y a exactement $21$ valeurs telles que $F_k$ soient un nombre premier :
$F_3 = 2$, $F_4 = 3$, $F_5 = 5$, $F_7 = 13$, $F_{11} = 89$, $F_{17} = 1597$,
$\cdots$, $F_{569}$, $F_{571}$. Voir [Rib—89], page 286.]

Exercice. Vérifier que
\[ \frac{z}{1 - z - z^2} \, = \, \sum_{n=0}^{\infty} F_n z^n , \]
formule qui suggère encore une autre définition possible des nombres de Fibonacci.
[Pour une solution de cet exercice, voir si nécessaire
[GrKP—89], formule (6.117).]

Exercice. Montrer que tout entier $n \ge 1$ s’écrit de manière unique sous la forme
\[ n \, = \, F_{k_1} + F_{k_2} + \cdots + F_{k_r} \]
\[ k_1 \ge k_2 + 2, k_2 \ge k_3 + 2, ..., k_{r-1} \ge k_r + 2 . \]
[C’est le théorème de Zeckendorf ;
pour en lire un peu plus à ce sujet,
voir par exemple le no 6.6 de [GrKP—89].]

Exercice (suggéré par le début de [Kau—04]).
Il s’agit de considérer des rectangles plans qui sont réunions de carrés particuliers,
ou en d’autres termes de puzzles dont toutes les pièces sont carrées, de tailles distinctes deux à deux (à une exception près, voir plus bas),
et qu’il s’agit d’assembler en un rectangle.

(i) Vérifier la relation
\[ \sum_{k=1}^n F_k^2 \, = \, F_n F_{n+1} . \]
En un premier temps, on pourra par exemple vérifier numériquement quelques termes de plus dans la suite d’égalités
\[ 1^2 + 1^2 \, = \, 1 \times 2 \]
\[ 1^2 + 1^2 + 2^2 \, = \, 2 \times 3 \]
\[ 1^2 + 1^2 + 2^2 + 3^2 \, = \, 3 \times 5 \]
\[ 1^2 + 1^2 + 2^2 + 3^2 + 5^2 \,= \, 5 \times 8 \]
etc.

(ii) Dessiner des puzzles, successivement :

• deux carrés de côté $1$
  formant un rectangle de côtés $1$ et $2$,
• trois carrés de côtés respectivement $1, 1, 2$
  formant un rectangle de côtés $2$ et $3$,
• quatre carrés de côtés respectivement $1, 1, 2, 3$
  formant un rectangle de côtés $3$ et $5$,
• cinq carrés de côtés respectivement $1, 1, 2, 3, 5$
  formant un rectangle de côtés $5$ et $8$,
  etc.

Exercice (sur une relation notée par Lucas).
Observer que les nombres de Fibonacci se retrouvent comme sommes
de nombres situés sur des droites parallèles de pente convenable
passant par les points du triangle de Pascal :
\[ \begin{array}{lllllllllllll} &&&&&& 1 &&&&&& \\ &&&&& 1 && 1 &&&&& \\ &&&& 1 && 2 && 1 &&&& \\ &&& 1 && 3 && 3 && 1 &&& \\ && 1 && 4 && 6 && 4 && 1 && \\ & 1 && 5 && 10 && 10 && 5 && 1 & \\ ... && ... && ... && ... && ... && ... && ... \end{array} \]
Plus généralement (et plus « techniquement » ) :
\[ F_{k+1} \, = \, {{k}\choose{0}} + {{k-1}\choose{1}} + {{k-2}\choose{2}} + ... ; \]
par exemple :
\[ F_6 \, = \, 8 \, = \, 1 + 4 + 3 \, = \, {{5}\choose{0}} + {{4}\choose{1}} + {{3}\choose{2}} . \]

Exercice, inspiré de [S—EIS].
Vérifier que

• $F_{n+2}$ est le nombre de suites de zéros et de uns, de longueur $n$,
  sans paire de zéros consécutifs
  (par exemple, $F_5 = 5$ puisque ces suites pour $n=3$ sont
  $111$, $110$, $101$, $011$, $010$) ;
• $F_{n+2}$ est le nombre de sous—ensembles de $\{1,2,...,n\}$
  qui ne contiennent pas d’entiers consécutifs
  (par exemple $F_4 = 3$ puisque ces sous—ensembles pour $n=2$ sont
  $\emptyset$, $\{1\}$, $\{2\}$) ;
• $F_{n+1}$ est le nombre de pavages d’un rectangle de côtés $n$ et $2$
  par des dominos de côtés $1$ et $2$.

[Pour en savoir davantage sur les pavages de rectangles par des dominos,
voir [GrKP—89], en particulier les paragraphes 6.6 et 7.1.
Nous ne résistons pas à l’envie de recommander également le paragraphe 7.3,
où les auteurs calculent le nombre $u_n$
de pavages par dominos d’un rectangle de côtés $n$ et $3$
(nombre qui est nul si $n$ est impair) ;
pour tout $n \ge 1$, le nombre $u_{2n}$ est le plus petit entier supérieur à
$\frac{(2 + \sqrt 3)^n}{3 - \sqrt 3}$.]

Au delà des mathématiques

Le nombre d’or apparaît traditionnellement en phyllotaxie,
cette branche de la botanique qui étudie
l’ordre dans lequel sont implantées
les feuilles le long de la tige d’une plante,
ou l’agencement des fleurons et écailles
dans diverses fleurs et fruits
(pomme de pin, tournesol, ananas, choux—fleur, ...).
Certains auteurs font remonter l’étude théorique de ces arrangements
à un article de 1837 des frères Bravais,
l’un étant physicien et l’autre botaniste ;
voir par exemple :
le chapitre XIV de [Tho—42] (pages 912—933),
[AGH], [DoCo—96]
(et les quelques pages d’introduction à cet article,
pages 135—143 de [Ste—95]), [JeBa—98]
et [Phy].

Plus récemment, on trouve aussi
le nombre d’or jouant un rôle crucial dans des travaux de physiciens
concernant les quasicristaux (voir par exemple [Riv—86])
ou ... de cardiologues [GGM—03].

Le nombre d’or a également nourri les analyses, l’imagination et les fantasmes
de divers auteurs intéressés par (l’histoire de) l’art, l’architecture,
ou les proportions du corps humain (statues et individus vivants).
Il en est résulté une immense littérature foisonnante à profusion.
Ce qu’on y trouve va de la remarque éclairante
aux rumeurs aussi coriaces que fantaisistes ;
il semble par exemple que toute « découverte » du nombre d’or
dans les proportions du Parthénon nécessite un aveuglement intellectuel,
voire une tromperie militante.
Détails, par exemple, dans [Del—04].

Il y a une notion de nombre d’or en astronomie,
qui n’a « rien à voir » avec la notion discutée ci—dessus.
Chaque année possède son nombre d’or,
qui est un entier entre $1$ et $19$,
et qui permet de situer les mois lunaires par rapport au calendrier usuel.
Il se trouve qu’une période de $19$ années
est en bonne approximation un nombre entier de mois lunaires,
plus précisément
19 années =235 mois lunaires = 6940 jours
selon le calendrier du cylce métonique introduit à Athènes
en 432 avant J.-C. et connu en Babylonie vers 490 avant J.-C.
Le nombre d’or de l’année 2008 était $14$,
et celui de 2009 est $15$
[Wik].

Mais il est bien sûr toujours dangereux de prétendre que deux
choses « n’ont rien à voir » l’une avec l’autre,
puisque la relation (1) apparaît dans un article (déjà cité) [Ser—85]
qui plaide pour un point de vue géométrique sur l’approximation
des nombres irrationnels par des rationnels.

Bibliographie

Certaines des références ci—dessous sont des textes
de vulgarisation : [CoGu—98], [Del—04], [Gar—77
[Penx], [Phy], [Ste—95] et [Wik].
Les autres références 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, 641—676

[AlSh—03] J.-P. Allouche et J. Shallit : Automatic sequences, Cambridge University Press

[ArGS] P. Arnoux, S. Giabicani et A. Siegel : Dynamique du nombre d’or, en préparation

[Cas—65] J.W.S. Cassels : Introduction to Diophantine approximation, Cambridge University Press, 1965

[CoGu—98] J.H. Conway et R.K. Guy : Le livre des nombres, Eyrolles, 1998

[Cox—69] H.S.M. Coxeter : Introduction to geometry, second edition, John Wiley, 1969 (chap. 11, pages 160-172)

[CuFl—89] T.W. Cusick et M.E. Flahive : The Markoff and Lagrange spectra, Mathematical Surveys and Monographs 30, Amer. Math. Soc., 1989

[Dav—73] M. Davis : Hilbert’s tenth problem is unsolvable, The American Mathematical Monthly, 80:3, March 1973, 233-269

[Del—04] J.-P. Delahaye : Les inattendus des mathématiques, Belin / Pour la Science, 2004

[DoCo—96] R. Douady et Y. Couder : Phyllotaxis as a self organizing iterative process, Parts I & II, J. Theor. Biol., 178, 1996, 255—294

[Eul—37] L. Euler : De fractionibus continuis dissertatio, Commentarii academiae scientiarum Petropolitanae, 9, 1737, 98-137 (Opera omnia, series 1, volume 14, pages 187—215)

[Eul—65] L. Euler : Observationes analyticae, Novi commentarii academiae scientiarum Petropolitanae, 11, 1765, 124—143 (Opera omnia, series 1, volume 15, pages 50—69)

[GGM—03] 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, 595—597

[Gar—77] M. Gardner : Extraordinary nonperiodic tiling that enriches the theory of tiles, Scientific American, December 1977, 110—121 (réimpression sous le titre Penrose tiles, in « The colossal book of mathematics, classic puzzles, paradoxes, and problems » , W.W. Norton & Company (2001) pages 73—93)

[GrKP—89] R.L. Graham, D.E. Knuth et O. Patashnik : Concrete mathematics, Addison—Wesley, 1989

[HaWr—79] G.H. Hardy et E.M. Wright : An introduction to the theory of numbers, Fifth Edition, Oxford, Clarendon Press, 1979

[Hur—91] A. Hurwitz : Über die angenäherte Darstellung der Irrationalzahlen durch rationale Brüche, 1991, Mathematische Werke, Band II, Birkhäuser, 1963, pages 122—128

[JeBa—98] R.V. Jean et D. Barabé (éditeurs) : Symmetry in plants, World Scientific, 1998

[Kau—04] L. Kauffman : Fibonacci form and beyond, Forma, 19:4, 2004, 315—334. Voir aussi arXiv:math/0405048v1

[Lev—56] W.J. LeVeque : Topics in number theory, Volume I, Addison—Wesley, 1956

[Mat—00] Yu. Matiyasevich : Hilbert’s tenth problem : What was done and what is to be done, in « Hilbert’s tenth problem : Relations with arithmetic and algebraic geometry » , Ghent University, 1999, Contemporary Mathematics, 270, 2000, 1—47

[Mat—93] Yu. Matiyasevich : Hilbert’s tenth problem, The MIT Press, 1993

[Niv—47] I. Niven : A simple proof that $\pi$ is irrational, Bull. Amer. Math. Soc., 53, 1947, 509

[Niv—67] I. Niven : Irrational numbers, Carus Mathematical Monographs 11, 1967

[OsWa] A. Ostermann et G. Wanner : Geometry by its history, Springer, à paraître

[Pen] Pavage de Penrose

[Pen2] Penrose tilings

[Pen3] E. Hwang Penrose tilings and quasicrystals

[Phy] Phyllotaxis

[Rib—89] P. Ribenboim : The book of prime number records, Second Edition, Springer, 1989

[Rib—00] P. Ribenboim : My numbers, my friends, popular lectures on number theory, Springer, 2000

[Riv—86] N. Rivier : A botanical quasicrystal, Journal de Physique, Colloque C3, supplément au no 7, 47, juillet 1986, C3-299—C3-309

[S—EIS] N.J.A. Sloane : The On—Line Encyclopedia of Integer Sequences, published electronically, http://www.research.att.com/~njas/s...

[Ser—85] C. Series : The geometry of Markoff numbers, The Mathematical Intelligencer, 7:3, 1985, 20—29

[Ste—95] I. Stewart : Nature’s numbers, the unreal reality of mathematics, BasicBooks, 1995

[Tho—42] D’Arcy W. Thompson : Growth and form, Second Edition reprinted, Cambridge University Press, 1942

[Vor—02] N. Vorobiev : Fibonacci numbers, Birkhaüser, 2002 [voir aussi, par exemple, la seconde partie de Caractères de divisibilité. Suite de Fibonacci, Traduction française, Editions Mir (1973)]

[Wik] Wikipedia : Nombre d’or (astronomie)