Suite de Fibonacci

La suite de Fibonacci est une suite d'entiers trs connue. Elle doit son nom au mathmaticien italien Leonardo Pisano, plus connu sous le pseudonyme de Fibonacci (1175 - 125 !. "ans un pro#lme rcrati$ pos dans un de ses ou%ra&es, le Liber Abaci, 'i#onacci dcrit la croissance d'une population de lapins ( ) Possdant initialement un couple de lapins, com#ien de couples o#tient-on en dou*e mois si cha+ue couple en&endre tous les mois un nou%eau couple , compter du second mois de son e-istence . / 0e pro#lme est , l'ori&ine de la suite dont le -me terme correspond au nom#re de paires de lapins au "ans cette population (idale!, on suppose +ue (

-me mois.

le premier mois, il y a 1uste une paire de lapereau- 2 les lapereau- ne sont pu#res +u', partir du deu-ime mois 2 cha+ue mois, toute paire suscepti#le de procrer en&endre e$$ecti%ement une nou%elle paire de lapereau- 2 les lapins ne meurent 1amais (donc la suite de 'i#onacci est strictement croissante!.

Prsentation mathmatique
Formule de rcurrence
3otons le nom#re de couples de lapins au mois . 4us+u5, la $in du deu-ime mois, la population se limite , un couple (ce +u'on note ( !. "s le d#ut du troisime mois, le couple de lapins a deu- mois et il en&endre un autre couple de lapins. 6n note alors . Pla7ons-nous maintenant au mois et cherchons , e-primer ce +u'il en sera deu- mois plus tard ( dsi&ne la somme des couples de lapins au mois +ue les couples pu#res, c'est-,-dire et des couples nou%ellement en&endrs. 6r, n'en&endrent au mois ceu- +ui e-istent deu- mois aupara%ant. 6n a donc ( . 3ous o#tenons ainsi la forme rcurrente de la suite de 'i#onacci ( cha+ue terme de cette suite est la somme des deutermes prcdents 2 pour o#tenir chacun de ces deu- termes, il $aut $aire la somme de leurs termes prcdents8 et ainsi de suite, 1us+u', ce +ue ces deu- termes soient les deu- termes initiau-, et , +ui sont connus.

Nombres de Fibonacci
Les termes de cette suite sont appels nombres de Fibonacci (suite 9 :5 de l56E;<! (

> 1= 21 =: 55 >? 1:: 2== =77 @1 ?>7

15? 25> :1> @7@ 1 ?: 1771 2>@5 :@=@ 75 2 ... 7 : 1 5 @ 1 7 > 5

Expression fonctionnelle
6n souhaite ta#lir une e-pression fonctionnelle de la suite de 'i#onacci, c'est-,-dire une e-pression telle +ue le calcul du nom#re de couples pour une %aleur de donne ne prsuppose la connaissance d5aucun nom#re de couples pour une +uelcon+ue autre %aleur de , ce +ue ne permet pas la $ormule de rcurrence. 0omme la suite de 'i#onacci

est rcurrente d5ordre deu-, on peut crire son +uation caractristi+ue. 6n o#tient une +uation du second de&r (

. Le calcul du discriminant de cette +uation donne les deu- solutions du polynAme (

et Les suites et

.(

est le nom#re d'or!.

en&endrent alors l'espace %ectoriel des suites %ri$iant un B 2 ( et et sont des constantes , dterminer , partir de conduisent au systme sui%ant (

C un B 1 B un. ;l en rsulte +ue (

et .!

Les conditions initiales

0e +ui donne le rsultat sui%ant (

et

3ous o#tenons $inalement l'e-pression $onctionnelle recherche, +ui porte le nom de formule de Binet (

. ;l e-iste d'autres dmonstrations telles +ue la trans$ormation en D et la techni+ue des $onctions &nratrices. Eemar+uons +u'une $ois dcou%erte cette $ormule se dmontre aussi par rcurrence.

La suite pour les nombres ngatifs

En &nral, on n'tudie pas les nom#res de 'i#onacci pour des %aleurs n&ati%es de n, #ien +u'ils e-istent et soient $acilement dtermina#les a%ec la $ormule rcurrente. ;l e-iste ainsi une r&le trs simple pour calculer ces nom#res +uand n F (

si n est pair alors si n est impair alors

9insi, autour de , la s+uence est (

Limite des quotients

0omme l'a remar+u 4ohannes Gepler, le tau- de croissance des nom#res de 'i#onacci, c'est-,-dire %ers le nom#re d'or, not . Hathmati+uement, le rsultat s'o#tient ainsi ( , con%er&e

(en simpli$iant par (comme Plus prcisment, +uand

! , ! , ainsi les nom#res de , soit .

tend %ers l'in$ini, le second terme tend %ers *ro car

'i#onacci se comportent comme une e-ponentielle multiplie par le $acteur

En $ait, ds le ran& , le deu-ime terme est asse* petit pour +ue les nom#res de 'i#onacci puissent Itre o#tenus uni+uement , partir du premier terme, en arrondissant , l'entier le plus proche.

Bases et espaces vectoriels

La dnomination de ) suite de 'i#onacci &nralise / est attri#ue plus &nralement , toute $onction d$inie sur %ri$iant pour tout entier naturel , . 0es $onctions sont prcisment celles pour les+uelles il e-iste des nom#res a et b, tels +ue pour tout entier naturel n, . 9insi, l'ensem#le des suites de 'i#onacci est un espace %ectoriel, et les suites et en $orment une #ase. , ainsi , donc la $onction et , possde les mImes , $orment une autre . est une

Le nom#re d'or est la racine positi%e de l'+uation du second de&r <i on multiplie les deu- cAts par , on o#tient suite de 'i#onacci. La racine n&ati%e de l'+uation du second de&r, proprits, et les deu- $onctions linairement indpendantes #ase de l'espace %ectoriel.

Algorithmes de calcul des nombres de Fibonacci

Avec la formule de Binet
0alculer les nom#res de 'i#onacci , partir du nom#re d'or est une possi#ilit trs prati+ue. 3anmoins, la prcision de calcul de la racine carre &nre des erreurs d'arrondis pour des %aleurs asse* &randes dpendant du systme utilis. En &nral, on o#tient les #onnes %aleurs 1us+u5, , sur ordinateur ou sur calculatrice. 3otons +u5au-del, de , les calculs dpassent les possi#ilits de calcul en notation entire, et sont alors reprsents en notation scienti$i+ue. Les premiers chi$$res si&ni$icati$s sont alors de nou%eau #ien reprsents par cette $ormule. "tail d5un e-emple d'application $aisa#le , partir d'une calculatrice ( 0alcul de .

Le nom#re d5or %aut ( 9ppli+uons la $ormule de Jinet, (en ne retenant +ue le terme si&ni$icati$! soit (

9rrondissons , l5entier le plus proche soit (

Algorithme rcursif na f
L'implmentation rcursi%e naK%e +ui suit la d$inition de la suite de 'i#onacci est immdiate. En Python, cela donne (
def fibo(n): if (n <= 1): # cas de base return n # si n=0 return 0, si n=1 return 1 else: # rcurrence return fibo(n - 1) + fibo(n - 2)

0e n'est cependant pas une $a7on 1udicieuse de calculer la suite de 'i#onacci, car on calcule de nom#reuses $ois les mImes %aleurs (, moins d'employer une techni+ue de mmoi*ation!. Le temps de calcul s'a%re e-ponentiel.

Algorithme linaire Lmodi$ierM

Nn moyen #ien plus e$$icace de calculer la suite de 'i#onacci consiste , calculer simultanment deu- %aleurs conscuti%es de la suite, c'est-,-dire en commen7ant a%ec les deu- premires %aleurs et 1, et en rempla7ant rptiti%ement le premier nom#re par le second, et le second nom#re par la somme des deu-. En Python, un tel al&orithme itrati$ donne (
def fibo(n): f_n_1 = 1 # F_{-1 = 1 f_n = 0 # F_0 = 0 for i in ran!e(n): # n fois f_n_1, f_n = (f_n, f_n + f_n_1) return f_n

"e manire +ui%alente, on peut crire une $onction rcursi%e terminale (

def fibo(n, f_n_1 = 1, f_n = 0): # (n, F_{n-1 , F_n) if (n == 0): # cas de base return f_n else: # rcurrence return fibo(n - 1, f_n, f_n + f_n_1)

Le temps de calcul est , cha+ue $ois proportionnel , n et l'espace mmoire occup constant.

Algorithme logarithmique
En utilisant la relation matricielle sui%ante, +ue l'on montre par rcurrence (

ou a%ec les OProprits de la suite de 'i#onacci, on o#tient (

En prenant #ien soin de ne pas calculer deu- $ois les mImes lments, on o#tient alors un al&orithme dont le temps de calcul est proportionnel au lo&arithme de n. Poici un e-emple de pro&ramme en Python (
def fibo2(n): """#en$oie F_{n-1 , F_n"""

if (n == 0): # cas de base return 1, 0 # F_{-1 , F_0 else: # rcurrence f_%_1, f_% = fibo2(n&&2) # F_{%-1 , F_% a$ec % = n&2 f2_% = f_%''2 # F_%(2 if n)2 == 0: # n *air return f2_% + f_%_1''2, f_%'f_%_1'2 + f2_% # F_{2%-1 , F_{2% else: # n i+*air return f_%'f_%_1'2 + f2_%, (f_% + f_%_1)''2 + f2_% # F_{2% , F_{2%+1 def fibo(n): """#en$oie F_n""" return fibo2(n),1-

En retra%aillant les relations de rcurrence pour le cas pair on o#tient (

Et donc (

!uriosit algorithmique
Nne $a7on particulirement curieuse d'o#tenir la suite de 'i#onacci est la sui%ante. 6n considre la liste de $ractions L2=Q?5, 57Q2=, 17Q=?, 1= Q17, 11Q1:, =5Q11, 1?Q1=, 1Q1?, =5Q2, 1=Q7, 7M. <i on part d'un entier de la $orme 2F(n R 1!=F(n! et si on le multiplie itrati%ement par la premire $raction +ui redonne un rsultat entier, alors le premier nom#re entier de la suite ainsi o#tenue +ui n'aura +ue 2 et = comme $acteurs premiers sera le nom#re 2F(n!=F(n B 1!. Par e-emple, si on part de 1>

C 21=2, on o#tient successi%ement (

1> =5Q2 C =15 =15 1=Q7 C 5>5 5>5 17Q=? C 255 255 1= Q17 C 1?5 1?5 17Q=? C >5 >5 1= Q17 C @5 @5 1?Q1= C ?5 ?5 2=Q?5 C 2= 2= 57Q2= C 57 57 2=Q?5 C 1=> 1=> 57Q2= C =:2 =:2 2=Q?5 C >2> >2> 57Q2= C 2 52 2 52 1Q1? C 1 > C 22== <i on itre le procd, on %erra d$iler les nom#res de 'i#onacci dans les e-posants des puissances de 2 et = dcomposant les nom#res ainsi o#tenus.

Proprits de la suite de Fibonacci

La suite de 'i#onacci, ainsi d$inie, prsente de remar+ua#les proprits. En %oici +uel+ues-unes, donnes a%ec leur dmonstration (celles-ci $ont en &nral appel au raisonnement par rcurrence!. 3ous donnons &alement +uel+ues proprits liant la suite de 'i#onacci et les nom#res de Lucas. Proprit " (

#monstration

Proprit $ (
#monstration

Corollaire ( si et est premier, est premier. En e$$et, supposons compos. <i est un di%iseur propre de , on a d'aprs la proprit 2 ( contrairement , l'hypothse +ue est premier. "onc est premier. 6n peut crire le corollaire comme suit, en dsi&nant par l'ensem#le des nom#res premiers ( La rcipro+ue est $ausse, car .

Proprit % (
#monstration

Proprit & (
#monstration En particulier,

c.-,-d. +ue

Proprit ' ( (Prcision ( les nom#res de Lucas !

#monstration

ont mIme relation de rcurrence mais ont pour initialisation

et

Proprit ( (
#monstration

Proprit ) (
#monstration

Proprit * ( par application directe de la proprit 1 pour p = n et q = n -1

Proprit + (
#monstration

(identit de 0assini!

Proprit ", (
#monstration

Proprit "" (
#monstration

Proprit "$ (

oS les

sont des coe$$icients #inomiau-.

#monstration 0ela si&ni$ie +ue, dans un trian&le de Pascal, les nom#res de 'i#onacci s'o#tiennent en sommant les termes situs sur une dia&onale (du #as %ers la droite!

Proprit "% (
#monstration

Proprit "& (
#monstration

Formules closes Lmodi$ierM

La $ormule sui%ante permet de retrou%er tous les nom#res de 'i#onacci ($ormule de Jinet!(

La $ormule sui%ante permet de retrou%er tous les nom#res de Lucas ($ormule de Haillet!(

Bestiaire de formules

Primalit des nombres de Fibonacci

6n i&nore s'il e-iste une in$init de nom#res de 'i#onacci premiers. 6n sait +ue di%ise (%oir Proprits, Proprit 2!, et donc +ue, pour tout , si est premier, alors est premier, mais la rcipro+ue est $ausse. Le plus &rand nom#re de 'i#onacci premier connu , ce 1our (a%ril 2 ?! est +ui possde =:1? 5 chi$$res. "epuis 1?@:, on connait des suites

%ri$iant en mIme temps les trois conditions sui%antes (

et

sont premiers entre eu- (ils n'ont aucun di%iseur commun!. n'est pas premier.

Par e-emple(

suite 9 >2:11 de l56E;< (4ohn 3icol, 1???! dtermine par (

o o

suite 9 >=21@ de l56E;< (Ter#ert Uil$, 1?? ! dtermine par (

o o

et suite 9 >=1 = de l56E;< (Eo#ert Vraham, 1?@:2 non %ri$ie, selon l'6E;<! dtermine par(

Applications

En posie, un $i# est un petit pome, sorte de haKWu, dont le nom#re de pieds des premiers %ers correspond aupremiers nom#res de la suite (1, 1, 2, =, 5, >!. La suite de 'i#onacci apparaXt dans de nom#reu- pro#lmes de dnom#rement. Par e-emple, le terme d'indice n (pour n suprieur ou &al , 2! de la suite de 'i#onacci permet de dnom#rer le nom#re de $a7ons de parcourir un chemin de lon&ueur n-1 en $aisant des pas de 1 ou 2. 0e pro#lme apparaXt d'aillleurs trs tAt en ;nde, sous le nom maatraameru (monta&ne de cadence!, dans le tra%ail du &rammairien de <ansWrit Pin&ala, le Chhandah-shastra, (l'art de la Prosodie!, :5 ou 2 a%. 4.-0.!. Le mathmaticien ;ndien PirahanWa en a donn des r&les e-plicites au P;;;e sicle. Le philosophe ;ndien Temachandra (c.115 ! (et aussi Vopala! ont re%isit le pro#lme de manire asse* dtaille. En <ansWrit en e$$et, les %oyelles peu%ent Itre lon&ues (L! ou courtes (0!, et Temachandra a souhait calculer com#ien on peut $ormer de cadences di$$rentes d'une lon&ueur donne, cha+ue cadence tant d$inie par les lon&ueurs des %oyelles +ui la constituent. <i la %oyelle lon&ue est deu- $ois plus lon&ue +ue la courte, les solutions sont, en $onction de la lon&ueur totale de la cadence ( 10Y1

2 00,L Y 2 = 000, 0L, L0 Y = : 0000, 00L, 0L0, ,L00, LL Y 5 5 00000, 000L, 00L0, 0L00, L000, 0LL, L0L, LL0 Y > Le nom#re de cadences $ait apparaXtre les termes de la suite de 'i#onacci. En e$$et, une cadence de lon&ueur n peut Itre constitue en a1outant 0 , une cadence de lon&ueur n-1, ou L , une cadence de lon&ueur n-2. 9insi le nom#re de cadences de lon&ueur n est la somme des deu- nom#res prcdents de la srie. 0e pro#lme est &alement +ui%alent au dnom#rement des em#alla&es de lon&ueur n donne, constitu d'articles de lon&ueur 1 ou 2, tel +u'on le trou%e par e-emple dans The Art of Computer Pro rammin de "onald Gnuth. Les nom#res de 'i#onacci inter%iennent dans l'tude de l'e-cution de l'al&orithme d'Euclide +ui dtermine le plus &rand commun di%iseur de deu- entiers. Hatiyase%ich a montr +ue les nom#res de 'i#onacci pou%aient Itre d$inis par une +uation diophantienne, ce +ui a conduit , la rsolution du di-ime pro#lme d'Til#ert. En 1?75, 4ones en a dduit +ue, pour des %aleurs de ! et " entires positi%es ou nulles, les %aleurs positi%es du polynAme 2!": B !2"= R 2!="2 R "5 R !:" B 2" taient e-actement les nom#res de 'i#onacci. 0es %aleurs positi%es s'o#tiennent d'ailleurs en attri#uant pour %aleurs , ! et " deu- nom#res de 'i#onacci successi$s. Les nom#res de 'i#onacci apparaissent dans la $ormule des dia&onales du trian&le de Pascal (%oir Proprits, Proprit 11!. Nne utilisation intressante des suites de 'i#onacci est la con%ersion des miles en Wilomtres. Par e-emple, pour sa%oir com#ien de Wilomtres $ont 5 miles, il su$$it de considrer le et le sui%ant .5 miles $ont en%iron > Wilomtres. 0ela $onctionne parce +ue le $acteur de con%ersion des miles au- Wilomtres, en%iron 1,@ ?, est &rossirement &al , ,

0arrs de 'i#onacci en spirale. Nne #onne appro-imation d'un rectan&le d'or peut Itre construite , l'aide de carrs dont les cAts sont &auau- nom#res de 'i#onacci.

Nne spirale lo&arithmi+ue peut Itre approche de la manire sui%ante ( on commence , l'ori&ine d'un repre cartsien, on se dplace de units %ers la droite, puis de units %ers le haut, on se dplace de units %ers la &auche, ensuite de units %ers le #as, puis de units %ers la droite, etc. 0ela ressem#le , la construction mentionne dans l'article sur le nom#re d'or. Les nom#res de 'i#onacci apparaissent sou%ent dans la nature lors+ue des spirales lo&arithmi+ues sont construites , partir d'une unit discrte, telles +ue dans les tournesols ou dans les pommes de pin. La plupart des Itres %i%ants se-us sont issus de deu- parents, de sorte +ue leurs ancItres , la ne &nration, supposs distincts, sont au nom#re de 2n. Hais les hymnoptres sont tels +ue les $emelles sont issues de deuparents, et les mZles sont issus d'une mre seulement. ;l en rsulte +ue leurs ancItres , la ne &nration sont constitus ( pour les $emelles, de mZles et $emelles, pour les mZles, de mZles et $emelles. Le nom#re de $a7ons di$$rentes de pa%er un rectan&le 2[3 au moyen de dominos 2[1 est

#monstration

-nralisations
;l e-iste plusieurs %oies pour &nraliser la suite de 'i#onacci ( on peut modi$ier les %aleurs initiales, modi$ier les coe$$icients de la relation de rcurrence ou modi$ier le nom#re de termes (ou ordre! de la relation de rcurrence.

Suites de Fibonacci gnralises

0e sont des suites +ui conser%ent la mIme relation de rcurrence mais dont les termes initiau- ont chan&. 0omme l'a dmontr la premire partie, ces suites sont des com#inaisons linaires des deu- suites &omtri+ues oS \ est le nom#re d'or. Le +uotient de deu- termes conscuti$s tend tou1ours %ers \. Parmi ces suites de nom#res, il $aut si&naler les nom#res de Lucas o#tenus en choisissant comme initialisation ( et . 0ela donne la suite 2, 1, =, :, 7, 11, 1>, 2?, 8 6n trou%e par$ois une initialisation et +ui ne consiste +u', dcaler la suite d'un ran&. 0es nom#res inter%iennent dans la rsolution d'+uations diophantiennes. ;ls sont trs lis , la suite de 'i#onacci, en particulier par la relation sui%ante ( pour tout entier n strictement positi$ (%oir Proprits, Proprit #!. et

Suites de Lucas
0e sont les suites oS la relation de rcurrence a chan& ( elle est de%enue

Elles sont de deu- types selon +ue l'initialisation est de u

C et u1 C 1 ou +u'elle est $ C 2 et $1 C P.

La suite de 'i#onacci est alors une suite u de Lucas de paramtres P C 1 et ] C 1. La suite des nom#res de Lucas est alors une suite $ de Lucas de paramtres P C 1 et % C 1.
9rticles dtaills ( <uite de Lucas et 3om#re de Lucas.

Suites de ./bonacci
0e sont des suites dont la relation de rcurrence est d'ordre &. Nn terme est la somme des & termes +ui le prcdent

Parmi ces suites, on distin&ue la suite de ^ri#onacci (rcurrence d'ordre =! et la suite de ^etranacci (rcurrence d'ordre :!. <elon ce nou%eau classement de suites, la suite de 'i#onacci est une suite de 2-#onacci. <i on modi$ie tout , la $ois (initialisation, rcurrence, ordre! on arri%e , l'ensem#le trs &nral des suites , rcurrence linaire.