Mathématiques discrètes et théorie des nombres · Suite de Fibonacci

Suite de Fibonacci

La suite de Fibonacci 1, 1, 2, 3, 5, 8, … commence par deux 1 ; chaque terme suivant est la somme des deux précédents. Le rapport de termes consécutifs tend vers le nombre d’or φ = (1 + √5)/2 ≈ 1.618, comme pour toute suite suivant la même règle à partir de deux nombres positifs.

La suite de Fibonacci dans cette visualisation

La suite de Fibonacci 1, 1, 2, 3, 5, 8, 13, … commence par deux 1 ; chaque terme suivant est la somme des deux précédents. La même règle xk=xk−1+xk−2x_k = x_{k-1} + x_{k-2} peut partir de deux nombres positifs quelconques x1=ax_1 = a et x2=bx_2 = b ; le départ 2, 1 donne les nombres de Lucas (2, 1, 3, 4, 7, 11, …). Ici, construisez une telle suite en ajoutant des carrés à un rectangle, suivez le rapport de termes consécutifs rk=xk/xk−1r_k = x_k / x_{k-1} lorsqu’il approche le nombre d’or φ et observez, sur un diagramme en toile d’araignée, pourquoi il y parvient depuis tout départ positif.

Au départ, le rectangle a une largeur a et une hauteur b. Chaque nouveau terme s’obtient en ajoutant un carré sur le côté de longueur égale au dernier terme : un rectangle de côtés xk−1x_{k-1} et xk−2x_{k-2} reçoit un carré de côté xk−1x_{k-1} et devient un rectangle de xkx_k sur xk−1x_{k-1}. Dès le troisième terme, rkr_k est donc le grand côté divisé par le petit : la forme du rectangle. L’image garde le rectangle à la même taille pour montrer la stabilisation de sa forme plutôt que la croissance des nombres.

Un carré modifie le rapport selon une règle fixe, rk+1=(xk+xk−1)/xk=1+1/rkr_{k+1} = (x_k + x_{k-1})/x_k = 1 + 1/r_k. Pour qu’un carré laisse la forme inchangée, il faut r=1+1/rr = 1 + 1/r, soit r2=r+1r^2 = r + 1, dont la racine positive est le nombre d’or φ=(1+5)/2≈1.618\varphi = (1 + \sqrt5)/2 \approx 1.618. C’est le rectangle d’or : ajoutez un carré et retrouvez la même forme, agrandie d’un facteur φ. Le diagramme en toile d’araignée représente cette règle. Depuis un rapport r, montez jusqu’à la courbe y=1+1/ry = 1 + 1/r pour lire le rapport suivant, puis allez horizontalement à la diagonale y=ry = r pour repartir de cette valeur. La courbe et la diagonale se coupent en (φ, φ).

Pourquoi le rapport alterne-t-il, et pourquoi converge-t-il depuis tout départ positif ? Comme φ=1+1/φ\varphi = 1 + 1/\varphi, une étape transforme exactement l’écart à φ selon

L’écart après un carré supplémentaire
rk+1−φ=−rk−φφ rkr_{k+1} - \varphi = -\frac{r_k - \varphi}{\varphi\, r_k}

Le signe moins place chaque rapport de l’autre côté de φ par rapport au précédent, sauf si le départ est exactement doré. Dès r3r_3, chaque rapport dépasse 1 : chaque étape multiplie donc la taille de l’écart par moins de 1/φ≈0.6181/\varphi \approx 0.618, et l’écart tend vers 0. Seule la première étape peut éloigner : lorsque r2=b/ar_2 = b/a est inférieur à 1/φ, l’écart augmente. Près de φ, le facteur tend vers −1/φ2≈−0.382-1/\varphi^2 \approx -0.382, la pente de la courbe à son intersection avec la diagonale ; à terme, chaque étape laisse un écart environ 0.382 fois aussi grand.

Les termes eux-mêmes croissent presque géométriquement : chacun se rapproche toujours plus de φ fois le précédent. Pour les nombres de Fibonacci F1=F2=1F_1 = F_2 = 1, la formule de Binet donne une expression exacte :

Formule de Binet
Fn=φn−ψn5,ψ=1−52=−1φF_n = \frac{\varphi^n - \psi^n}{\sqrt5}, \qquad \psi = \frac{1 - \sqrt5}{2} = -\frac{1}{\varphi}

Puisque ∣ψ∣<1|\psi| < 1, FnF_n est l’entier le plus proche de φn/5\varphi^n/\sqrt5. Sur la page des vecteurs propres, ces deux mêmes nombres sont les valeurs propres de la matrice qui fait passer d’une paire de termes consécutifs à la suivante.

À remarquer

  • Un rapport n’est égal à φ que si le précédent l’était déjà, car 1+1/r=φ1 + 1/r = \varphi exactement lorsque r=φr = \varphi. Sans départ doré, le rapport n’atteint donc jamais φ : il s’en approche seulement. Deux rapports de Fibonacci consécutifs diffèrent d’exactement 1/(FkFk−1)1/(F_k F_{k-1}).

Commandes

  • Appuyez ou faites glisser sur l’axe r du diagramme pour modifier b et donc la forme initiale r2=b/ar_2 = b/a ; b s’accroche aux entiers.

À voir aussi