Vés al contingut

Període de Pisano

De la Viquipèdia, l'enciclopèdia lliure
Gràfic de punts dels primers 10000 períodes de Pisano. L'eix horitzontal correspon al mòdul (n) i l'eix vertical a la llargada del període corresponent ().[1]

En teoria de nombres, el període de Pisano essent n qualsevol nombre enter, és la funció periòdica resultant d'aplicar un mòdul n a la successió de Fibonacci. Rep el nom de Leonardo Pisano, més conegut com a Fibonacci, i va ser descrit per Joseph Louis Lagrange l'any 1774.[2][3]

Definició

[modifica]

La successió de Fibonacci és la seqüència d'enters resultant d'aplicar la següent relació de recurrència:

Per tot nombre enter n, s'obté una seqüència periòdica després d'aplicar el mòdul n a tots els valors de la successió de Fibonacci. El període en aquesta seqüència s'anomena període de Pisano. Per exemple, la seqüència resultant d'aplicar el mòdul 3 comença:

0, 1, 1, 2, 0, 2, 2, 1, 0, 1, 1, 2, 0, 2, 2, 1, 0, 1, 1, 2, 0, 2, 2, 1, 0, ... (successió A082115 a l'OEIS)

Aquesta seqüència té període 8, per tant .

La seqüència amb els valors de es pot trobar a l'OEIS A001175.

No es coneix cap fórmula generalitzada que permeti obtenir la llargada del període a partir de n, tot i que se sap que aquesta depèn estretament de la factorització del divisor.[4]

Propietats

[modifica]

A excepció de , el període de Pisano sempre és parell. Una prova senzilla d'això es pot donar observant que és igual a l'ordre de la matriu de Fibonacci

en el grup lineal general GL₂(ℤn) de les matrius de 2x2 invertibles en l'anell finitn dels enters del mòdul n. Com que el determinant de Q és -1, el determinant de Qπ(n) és (-1)π(n), i com que aquest ha d'equivaldre a 1 en ℤn, llavors és parell per tot n major de 2.[5]

Si m divideix n, que es representa , llavors .[6] Per aquest motiu, si m i n són coprimers, llavors és el mínim comú múltiple de i , segons el teorema xinès del residu. Per exemple, i impliquen que . Per tant, l'estudi dels períodes de Pisano es pot reduir al dels períodes de Pisano de potències de primers per k majors o iguals que 1.

Si p és primer, divideix .[a][7] Això implica que l'estudi dels períodes de Pisano es pot reduir encara més a l'estudi dels períodes de Pisano primers, amb dos primers anòmals; pel fet d'obtenir un període senar,[b] i perquè té un període relativament més llarg que el de qualsevol altre primer.[c][d] La resta de primers es troben en residus de classe o bé . Si p és un primer diferent de 2 ó 5, llavors el mòdul p anàleg a la fórmula de Binet implica que és l'ordre multiplicatiu d'una arrel de . Si , aquestes arrels formen part de per reciprocitat quadràtica. Per tant el seu ordre, és un divisor de p - 1.[e] En canvi, si les arrels del mòdul p de l'equació quadràtica no formen part de , sinó del cos finit .

Com que l'endomorfisme de Frobenius intercanvia aquestes arrels, denotant-les r i s, es dedueix que , i per tant . S'obté , i el període de Pisano, que és l'ordre de r, és el quocient de 2(p+1) per un divisor senar.[f] Aquest quocient és sempre múltiple de 4. Seguint aquests resultats, obtenim que si és una potència senar de primers tal que és major que n, llavors és un nombre enter que no és major que n. La propietat multiplicativa dels períodes del Pisano implica que és més petit o igual que 6n, essent exactament 6n si i només si per r major o igual que 1.[d][8][9]

S'anomenen punts fixos aquells valors de n on . Concretament, això passa quan .[10]

Patrons dins del cicle

[modifica]
Representació cíclica del període n = 10 (4 zeros) amb els punts de 0 a n-1 units amb línies seguint la seqüència. Amb els períodes amb 4 zeros s'obté un graf simètric verticalment, amb 1 zero és asimètric, i amb 2 zeros es donen els dos casos.[g] En verd una única connexió, en blau dues.

Si es defineix un bloc com un subperíode que comença amb zero, tots els períodes de Pisano es divideixen en 1, 2 o 4 blocs de la mateixa llargada.[9]

Es poden veure a l'OEIS les seqüències amb els valors on el període té 1 (A053031), 2 (A053030) i 4 (A053029) zeros respectivament.

Sigui el nombre de vegades que apareix el valor i a la seqüència, s'anomenen seqüències simètriques aquelles on per tot i major que 0 i menor que n, es compleix . Tots els períodes amb 4 zeros són simètrics, tots els períodes amb 1 zero són asimètrics, i els períodes amb 2 zeros poden ser dels dos tipus.[g][11]

Per exemple, quan n = 30 s'obté una seqüència de 120 i amb 2 zeros, per tant dos blocs de 60. Si es fa un recompte de tot valor i de 0 fins a n-1, es pot observar que aquesta seqüència és simètrica (s'ha subratllat el 4, corresponent al punt central):

(2), { 5, 3, 4, 3, 5, 2, 5, 3, 4, 3, 5, 2, 5, 3, 4, 3, 5, 2, 5, 3, 4, 3, 5, 2, 5, 3, 4, 3, 5 }

Es postula que si un període n és asimètric, tots els períodes kn també ho són. També s'ha observat que en períodes de la forma 5k, el resultat d'aquest recompte es pot dividir en 5 grups iguals.[10]

Tornant a mirar l'exemple per n = 30, els grups resultants són:

[ 2, 5, 3, 4, 3, 5 ], [ 2, 5, 3, 4, 3, 5 ], [ 2, 5, 3, 4, 3, 5 ], [ 2, 5, 3, 4, 3, 5 ], [ 2, 5, 3, 4, 3, 5 ]

Notes

[modifica]
  1. De fet, es desconeix si per tot primer p i per tot k major que 1. Tot primer que servís de contraexemple hauria de ser un primer de Wall-Sun-Sun, i alhora tot primer de Wall-Sun-Sun seria un contraexemple, però encara no se'n coneix cap.
  2. Si , llavors .
  3. Si , llavors . De fet, tots els valors de 0 a n-1 apareixen exactament 4 vegades al període.
  4. 4,0 4,1 Noti's que per la propietat multiplicativa dels dos casos anteriors, si , . Aquí, tots els parells de 0 a n-1 apareixen 4 cops, i tots els senars 8 cops.
  5. Per exemple, , i .
  6. Els primers exemples als quals és menor que 2(p+1) són , , i .
  7. 7,0 7,1 No en tots els casos de 2 zeros i amb seqüència simètrica s'obté una representació cíclica amb simetria vertical.

Referències

[modifica]
  1. Sloane, N. J. A. (ed.). "Sequence A001175: graph". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
  2. Weisstein, Eric W., «Pisano Period» a MathWorld (en anglès).
  3. On Arithmetical functions related to the Fibonacci numbers. Acta Arithmetica XVI (1969). Retrieved 22 September 2011.
  4. Vella, D.; Vella, A. «Notes 88.52: Some Properties of finite Fibonacci Sequences». Mathematical Gazette, 88, 2004, pàg. 494-499.
  5. A Theorem on Modular Fibonacci Periodicity. Theorem of the Day (2015). Retrieved 7 January 2016.
  6. Renault, Mark. «The Fibonacci Sequence Modulo m». [Consulta: 28 setembre 2021].
  7. Wall, D. D. «Fibonacci series modulo m». Amer. Math. Montly, 67, 6, 1960, pàg. 525-532. DOI: 10.2307/2309169. JSTOR: 2309169.
  8. Freyd, Peter; Brown, Kevin S. «Problems and Solutions: Solutions: E3410». Amer. Math. Monthly, 99, 3, 1992, pàg. 278–279. DOI: 10.2307/2325076. JSTOR: 2325076.
  9. 9,0 9,1 Rae, Emily. «Number-Theoretic Properties of the Fibonacci Numbers and Related Sequences» (PDF). [Consulta: 28 setembre 2021].
  10. 10,0 10,1 Fulton, J. D.; Morris, W. L. «On arithmetical functions related to the Fibonacci numbers». Acta Arithmetica, 16, 1969, pàg. 105-110.
  11. Flanagan P., Renault M., Updike J. «Symmetries of Fibonacci points, mod m» (PDF). Fibonacci Quarterly, 2014. [Consulta: 28 setembre 2021].

Enllaços externs

[modifica]