Proposiciones relativas a las sucesiones de Fibonacci, Lucas, Pell y Pell-Lucas que se

demuestran por el mtodo de induccin

1) = + 1 para todo 1.
2) = 1 + +1 para todo 1.
= 2 + +2 para todo 2.
3) ( , ) es solucin de la ecuacin diofntica 2 2 2 = (1) . Adems, son
las nicas soluciones, pero la demostracin de este hecho queda fuera del nivel
de un curso elemental. Notar que esto resuelve por completo el problema de los
tringulos pitagricos cuasiissceles y el de los nmeros triangulares que tambin son cuadrados.
4) + = 1 + +1 para todos , 1.
5) Consecuencia de 4):
Los nmeros de Fibonacci que ocupan lugar par son diferencia de cuadrados de
2
2
otros nmeros de Fibonacci; ms precisamente: 2 = +1
1
para todo
1.
Los nmeros de Fibonacci que ocupan lugar impar son suma de cuadrados de
2
otros nmeros de Fibonacci; ms precisamente: 2+1 = 2 + +1
para todo
0.
6) < para todo 6.
7) Los nmeros 1, 2, , 1 se pueden escribir como suma de los nmeros de
Fibonacci del conjunto {1 , 2 , , 1 }.
8) Consecuencia de 6) y 7):
Todo nmero natural es suma de nmeros de Fibonacci, y sin repetir ningn
ndice.
Resultados sobre divisibilidad
Por otro lado, hay unos pocos resultados que aluden al comportamiento de los nmeros de Fibonacci con la aritmtica. Para probarlos, es necesario cierto conocimiento de la aritmtica de los nmeros enteros; enunciaremos por ello los siguientes resultados, de los cuales necesitaremos aqu sobre todo el primero, que se demuestran teniendo en cuenta la identidad de Bzout y el concepto de divisibilidad:
1) Lema de Euclides. Si | y mcd(, ) = 1, entonces | , con , , .
2) Si | , | y mcd(, ), entonces | .
3) Sea = mcd(, ). Entonces, mcd(/, /) = 1. Notar que esto proporciona
una manera de transformar dos nmeros cualesquiera en primos entre s.
4) Sea = mcd(, ). Entonces, todo divisor comn de y es tambin divisor de
. Notar que esto permite definir alternativamente el mximo comn divisor de
dos nmeros y como un nmero que verifica dos condiciones: una, que
| y | ; y otra, que si | y | , entonces | .

Recordar que en el conjunto la relacin de divisibilidad es una relacin de orden.

Sin embargo, en el elemento 0 no est relacionado consigo mismo, por lo que no
se cumple la reflexiva, y adems 2 | 2 y 2 | 2 pero 2 2, por lo que tampoco
se cumple la antisimtrica.
Proposiciones acerca del comportamiento de los nmeros de Fibonacci con la aritmtica
1) Si | , entonces | . Tambin puede probarse por induccin.
2) Tomando los ndices y de dos nmeros de Fibonacci y dividiendo entre
, tenemos por el algoritmo de la divisin que existen nicos , , con
0 < , que verifican = + . Entonces, si encontramos un nmero tal
que | y | , se cumple | (por la proposicin anterior) y |
(sese el lema de Euclides).
3) El mximo comn divisor de dos nmeros de Fibonacci es otro nmero de Fibonacci: el que ocupa el lugar mximo comn divisor de los lugares de los otros
dos nmeros de Fibonacci (sese el algoritmo de Euclides)
4) Corolario de 3):
Si | , entonces | , que es el recproco de 1). Reescribiendo 1) y 4):
| si, y slo si, | .
5) Corolario de 4):
es par si, y slo si, 3 | .
Usando 5) de este apartado y 5) del primer apartado, ver que se dan las siguientes
congruencias: 6 0 (mod 4), 6+1 1 (mod 4), 6+2 0 (mod 4) y, finalmente, 6+3 2 (mod 4),