Presentado y Elaborado por:

Lic. Jos Augusto Siles R.

Profesor de Matemticas
Centro Pblico de Educacin Secundaria Miguel
Larreynaga.


Tema: El canon de la belleza: Nmeros de Fibonacci.
i




Tema:
El canon de la belleza: Nmeros de Fibonacci.
Objetivo general:
Mostar las principales caractersticas aritmticas, algebraicas y geomtricas
de los nmeros de Fibonacci y su relacin con el arte y la armona de la
naturaleza.

Objetivo Especifico.
Aplicar la teora de divisibilidad a los nmeros de Fibonacci para
caracterizarlos aritmticamente.
Resumen:
En este trabajo se presenta una discusin formal sobre la sucesin de
Fibonacci. Ms especficamente abordaremos las propiedades de los
elementos de esta sucesin, es decir, los nmeros de Fibonacci.
Estudiaremos sus propiedades aritmticas en torno a la divisibilidad,
propiedades algebraicas en cuanto a solucin de una ecuacin, sus
propiedades geomtricas para construcciones particulares y proporciones y
finalmente las aplicaciones de estos.








ii




Introduccin

Diariamente nos admiramos al observar una flor en el jardn de nuestra casa,
disfrutamos de una meloda enternecedora o nos exaltamos al ver un cuadro de
Leonardo Da Vinci, pero no nos hemos preguntado (o s) en tanta belleza y armona,
hay nmeros? y cules nmeros?
Pues contra todo pronstico la respuesta es afirmativa. Desde la antigedad el hombre
ha estado interesado en la perfeccin de las cosas, su mejor inspiracin ha sido la
naturaleza con todas sus formas.
Cerca del ao 1220 apareci un obra titulada Liber abacci (Libro del baco) escrito
por el famoso matemtico Leonardo de Pisa mejor conocido como Fibonacci, o sea, hijo
de Bonacci. Este tratado contena casi todo el conocimiento algebraico, aritmtico y
geomtrico de la poca y fue muy influyente en Europa occidental.
Pero el problema de este libro que ms ha inspirado a los matemticos posteriores, es
sin duda, el siguiente:


Este famoso problema da lugar a la llamada sucesin de Fibonacci, 1,1,2,3,5, que es
lo que nos ocupa en las pginas de este trabajo.
Haremos un recorrido a travs de estos interesantes nmeros; estudiando sus
propiedades aritmticas, algebraicas y geomtricas, adems de establecer como estos
nmeros y su proporcin aparecen en formas armoniosas de la naturaleza, como el
artista los utiliza para crear belleza visual y auditiva.





Cuntas parejas de conejos nacen, en el transcurso de un ao, de una pareja
inicial?



ndice

Objetivos

... i
Introduccin

... ii
La sucesin de Fibonacci

... 1
Propiedades aritmticas de los nmeros de Fibonacci

... 6
Nmeros de Fibonacci y fracciones continuas

... 9
Propiedades geomtricas de los nmeros de Fibonacci

... 16
Dnde estn los nmeros de Fibonacci?

... 19
Ejercicios Propuestos

... 22
Conclusiones

...................................... 23
Recomendaciones

...................................... 24
Bibliografa ...................................... 25

1 La Sucesin de Fibonacci
Existe un conjunto de nmeros muy particular y con mucha belleza, estos
nmeros son conocidos como nmeros de Fibonacci en honor a su descubri-
dor Leonardo de Pisa, alias Fibonacci (hijo de Bonacci). Leonardo hizo muchos
aportes notables a las matemticas especialmente en la aritmtica, alrededor del
ao 1202 escribi el libro sobre el baco. Este era una inmensa obra compiladora
de los conocimientos matemticos de los pueblos que vivan en las costas del
Mediterrneo. En este libro se encuentra un problema que revel el canon de la
naturaleza:
Cuntas parejas de conejos nacen, en el transcurso de un ao, de una
pareja inicial?
Probablemete alguien observ la naturaleza reproductoria de los conejos y
obtuvo las siguientes premisas: Cada pareja produce otra al cabo de un mes y
una pareja inicial de conejos puede parir a los dos meses de haber nacido. De
esto y con el supuesto de un rea cercada, podemos deducir que:
A partir de una pareja de conejos bebs en el primer y segundo mes ten-
dramos un par de conejos, pues la hembra ser adulta hasta el segundo mes,
donde podr reproducirse; tendra un par de bebs en el tercer mes, as sern
dos pares de conejos, luego en el cuarto mes los bebs habrn crecido y repro-
ducido y tendremos tres parejas de conejos; los originales y sus dos cras y las
primeras cras de estos. Siguiendo este razonamiento encontramos que para el
duodcimo mes tendremos 377 parejas de conejos.
As encontramos un conjunto de nmeros enteros muy particulares estos son:
1, 1, 2, 3, 5, 8, 13, 21, 34 . . . esta se conoce como sucesin de Fibonacci donde cada
trmino es la suma de los dos anteriores, as esta es una sucesin recurrente.
Pasemos ahora de los conejos a los nmeros
1.1 Denicin. La sucesin (
n
) , llamada de Fibonacci, cuyos trminos son
1, 1, 2, 3, 5, 8, 13, 21, 34 . . . y en la cual cada trmino es la suma de los dos
inmediatos anteriores, est denida por

n
=
n1
+
n2
; con
1
=
2
= 1
Los nmeros de Fibonacci poseen una serie de propiedades interesantes e
importantes, las cuales veremos en este apartado.
Enpecemos calculando la suma de los : primeros nmeros de Fibonacci. As
podemos enunciar el teorema siguiente
1
1.1 Teorema. La suma de los primeros : nmeros de Fibonacci esta dada por
n
X
I=1

I
=
1
+
2
+ +
n
=
n+2
1
Demostracin. Claramente, tenemos de la denicin de la sucesin de
Fibonacci que

1
=
3

2
=
4

3
.
.
.
.
.
.
.
.
.

n1
=
n+1

n
=
n+2

n+1
Sumando miembro a miembro estas igualdades, encontramos

1
+
2
+ +
n
=
3

2
+
4

3
+
n+1

n
+
n+2

n+1

1
+
2
+ +
n
=
n+2
1 (recordando que
2
= 1)
Por tanto,
n
X
I=1

I
=
1
+
2
+ +
n
=
n+2
1
Hemos denido los nmeros de Fibonacci mediante la ecuacin recurrente,
es decir, empleando la induccin segn el ndice. Pero resulta que todo nmero
de Fibonacci puede denirse de un modo ms directo, esto es, como funcin de
su ndice.
Con este n, observemos el comportamiento de las distintas sucesiones
1
,
2
, . . . ,
n
, . . .
que satisfacen la ecuacin

n
=
n1
+
n2
(1)
Diremos que todas estas sucesiones son soluciones de la ecuacin (1) . De
aqu en adelante indicaremos por \, \
0
y \
00
las sucesiones

1
,
2
,
3,
. . .

0
1
,
0
2
,
0
3,
. . .

00
1
,
00
2
,
00
3,
. . .
1.1 Lema. Si \ es una solucin de la ecuacin (1) y c es una constante, tambin
la sucesin c\ (es decir, la sucesin c
1
, c
2
, c
3,
. . .) es una solucin de
esta ecuacin.
2
Demostracin. Multiplicando por c ambos miembros de la igualdad

n
=
n1
+
n2
obtenemos
c
n
= c
n1
+ c
n2
lo que prueba el lema.
1.2 Lema. Si las sucesiones \
0
y \
00
son soluciones de la ecuacin (1) , Tambin
la suma \
0
+\
00
(esto es,
0
1
+
00
1
,
0
2
+
00
2
,
0
3
+
00
3
. . .) es solucin de esta
ecuacin.
Demostracin. Por hiptesis, tenemos que

0
n
=
0
n1
+
0
n2
j
00
n
=
00
n1
+
00
n2
Sumando estas igualdades miembro a miembro, encontramos

0
n
+
00
n
=

0
n1
+
00
n1

0
n2
+
00
n2

la ltima igualdad prueba el lema.

Consideremos ahora \
0
y \
00
dos soluciones no proporcionales de la ecuacin
(1) ( es decir, dos soluciones de la ecuacin (1) tales que cualquiera que sea la
constante c habr un nmero : para el que
u
0
n
u
00
n
,= c).
1.1 Proposicion. Toda sucesin \, solucin de la ecuacin (1) , puede ser
representada as
\ = c
1
\
0
+ c
2
\
00
(2)
donde c
1
y c
2
son constantes. A la ecuacin (2) se estila llamar solucin
general de la ecuacin (1) .
Probaremos primero que siendo \
0
y \
00
dos soluciones no proporcionales
de la ecuacuacin (1) , se tiene

0
1

00
1
,=

0
2

00
2
(3)
(La no proporcionalidad es visible ya en los primeros trminos de las sucesiones \
0
j \
00
)
Demostracin (3). Supongamos que para dos soluciones no proporcionales
\
0
y \
00
de la ecuacin (1) se tiene
3

0
1

00
1
=

0
2

00
2
Formemos la siguiente proporcin

0
1
+
0
2

00
1
+
00
2
=

0
2

00
2
recordando que \
0
y \
00
son soluciones de la ecuacin (1) ,

0
3

00
3
=

0
2

00
2
Anlogamente comprobamos (haciendo induccin en : !) que

0
3

00
3
=

0
4

00
4
= =

0
n

00
n
=
Si esto ocurre, se tiene que \
0
y \
00
son proporcionales lo que es absurdo,
luego (3) es verdadera.
Tomemos ahora una sucesin \, solucin de la ecuacin (1) . Segn hemos
visto ya al inicio de este apartado, esta sucesin queda perfectamente determi-
nada si se indican sus dos primeros terminos
1
y
2
.
Busquemos los valores de c
1
y c
2
de modo que sea
c
1

0
1
+ c
2

00
2
=
1
c
1

0
1
+ c
2

00
2
=
2
(4)
La suma c
1
\
0
+c
2
\
00
coincidir con \ , esto lo garantiza los lemas 1.1 y 1.2.
El sistema de ecuaciones (4) tiene solucin respecto a c
1
y c
2
en virtud de la
proposicin (3), para cualesquiera que sean los nmeros
1
y
2
:
c
1
=

1

00
2

2

00
1

0
1

00
2

00
1

0
2
j c
2
=

0
1

0
2

0
1

00
2

00
1

0
2
Sustituyendo en (2) los valores obtenidos para c
1
y c
2
encontramos la repre-
sentacin requerida para la sucesin \.
Es decir, para describir todas las soluciones de la ecuacin (1) basta en-
contrar dos soluciones no proporcionales de la misma. Encontremos estas solu-
ciones entre las progresiones geomtricas. Basta considerar las progresiones
cuyos primeros trminos son 1.
4
Tomemos la progresin
1, r, r
2
, . . .
Para que sea una solucin de la ecuacin (1) , es suciente que para todo : se
cumpla la igualdad
r
n2
+ r
n1
= r
n
dividiendo por r
n2
,
1 + r = r
2
(5)
Las races de esta ecuacin, es decir, los nmeros
1+
p
5
2
y
1
p
5
2
, sern las razones
buscadas de las progresiones.
Llammoslas por c y ,, respectivamente. Los nmeros c y ,, como races
de la ecuacin (5) , satisfacen las relaciones 1 + c = c
2
, 1 + , = ,
2
y c, = 1.
As hemos encontrado dos progresiones geomtricas, soluciones ambas de
(1) . Por eso, toda sucesin del tipo
c
1
+ c
2
, c
1
c + c
2
,, c
1
c
2
+ c
2
,
2
, . . . (6)
Son soluciones de la ecuacin (1) . Adems la progresiones encontradas tienen
distintas razones y, por ende, no son proporcionales, esto es, la frmula (6) debe
coincidir con la sucesin de Fibonacci.
Para ello, como hemos explicado, hay que determinar c
1
y c
2
de las ecua-
ciones
c
1
+ c
2
=
1
y c
1
c + c
2
, =
2
,
Es decir, del sistema
c
1
+ c
2
= 1
c
1

1+
p
5
2

+ c
2

1
p
5
2

= 1
Resolvindolo, encontramos
c
1
=
1 +
_
5
2
_
5
y c
2
=

1
_
5
2
_
5
!
de manera que

n
= c
1
c
n1
+ c
2
,
n1
=

1+
p
5
2
p
5

1+
p
5
2

n1

1
p
5
2
p
5

1
p
5
2

n1
5
es decir,

n
=

1+
p
5
2

1
p
5
2

n
_
5
Esta ltima expresin lleva el nombre de frmula de Binet en memoria del
matemtico que la encontr (Jacques Philippe Marie Binet a mediados del siglo
XIX).
1.2 Teorema. El nmero de Fibonacci
n
es el entero ms prximo al nmero
o
n
p
5
, o sea, es el entero ms prximo al : c:i:o trmino a
n
de la progresin
geomtrica cuyo primer trmino es
o
p
5
y cuya razn es c.
Demostracin. Basta demostrar que el valor absoluto de la diferencia entre

n
y a
n
es siempre menor que
1
2
. Esto es
[
n
a
n
[ =

c
n
,
n
_
5

c
n
_
5

c
n
,
n
c
n
_
5

=
[,[
n
_
5
Puesto que , = 0.618033 . . . , se tiene [,[ < 1, es decir [,[
n
< 1 para todo
:; con mayor razn
joj
n
p
5
<
1
2
ya que
_
5 2. lo que prueba el teorema.
Por ejemplo, calculemos para : = 13
c
13
_
5
=

1+
p
5
2

13
_
5
=
521.0019
2. 236 1
= 232.9957
El nmero entero ms prximo a 232.9957 es 233 que corresponde a
13
en
la sucesin de Fibonacci.
1.1 Propiedades Aritmticas de lo Nmeros de Fibonacci.
Estudiaremos algunas propiedades sobre la divisibilidad, mximo comn divisor
y otras caracterizaciones aritmticas de los nmeros de Fibonacci.
1.1.1 Lema. Probar la vlidez de la siguiente frmula para los nmero de
Fibonacci

n+n
=
n1

n
+
n

n+1
La demostracin del lema 1.1.1 queda a modo de ejercicio (ver ejercicio 2.)
6
1.1.1 Teorema. Si : es divisible por :, tambin
n
es divisible por
n
.
Demostracin. Supongamos que : es divisible por :, esto es, : = :/.
Haremos nuestra demostracin haciendo induccin en /.
Para / = 1, se tiene : = : y es evidente que
n
es divisible por
n
. Supong-
amos que
n=n|
es divisible por
n
y consideremos
n(|+1)
. Pero
n(|+1)
=

n|+n
, en virtud del lema 1.1.1

n(|+1)
=
n|+n
=
(n|)1

n
+
n|

n+1
Es claro que
n
divide el primer sumando del tercer miembro. El segundo
sumando es mltiplo de
n|
, esto es, tambin es divisible por
n
segn la
hiptesis inductiva. De aqu se deduce que la suma de estos dos sumando, o
sea,
n(|+1)
, es divisible por
n
. Que era lo que queriamos demostrar.
Por ejemplo, tomemos : = 5 y : = 15, es claro que :[:. Por otra parte los
nmeros
n
=
5
= 5 y
n
=
15
= 610, tambin es claro que
n
[
n
. Puesto
que
15
=
5
122.
1.1.2 Teorema. Los nmeros de Fibonacci consecutivos son coprimos.
Demostracin. Supongamos, en contra de la armacin que
n
y
n+1
tienen un divisor comn d 1. La diferencia
n+1

n
es divisible por d. Pero
como
n+1

n
=
n1
, resulta que d divide tambin
n1
. Anlogamente se
demuestra (haciendo induccin!) que d divide
n2
,
n3
, . . . , ctc. y nalmente
a
1
. Pero
1
= 1 y no puede ser divisible por d 1. Por tanto los nmero
n
y

n+1
son coprimos.
Observemos los siguientes ejemplos
(1, 2) = 1, (2, 8) = 2, (3, 21) = 3, (5, 55) = 5
Cabe hacernos la siguiente pregunta, El mximo comn divisor de dos
nmeros no consecutivos de Fibonacci, es otro nmero de Fibonacci?
1.1.3 Teorema. Para los nmeros de Fibonacci, tiene lugar la igualdad sigu-
iente
(
n
,
n
) =
(n,n)
Esto es, el mximo comn divisor de dos nmeros de Fibonacci es el nmero
de Fibonacci que corresponde al mcd de los ndices de los nmeros dados.
Demostracin. Supongamos que : : y apliquemos el algoritmo de
Euclides a los nmeros : y ::
7
: = :
0
+ r
1
do:dc 0 _ r
1
< :
: = r
1

1
+ r
2
do:dc 0 _ r
2
< r
1
r
1
= r
2

2
+ r
3
do:dc 0 _ r
3
< r
2
.
.
.
.
.
.
.
.
.
r
|2
= r
|1

|1
+ r
|
do:dc 0 _ r
|
< r
|1
r
|1
= r
|

|
Sabemos que el ltimo resto distinto de cero, r
|
, es el mximo comn divisor
de : y :. Puesto que : = :
0
+ r
1
, resulta que
(
n
,
n
) = (
nj0+:1
,
n
)
esto es, por el lema 1.2.1,
(
n
,
n
) = (
nj0:1

:1
+
nj1

:1+1
,
n
)
recordando que (a, /) = (a + c, /) , podemos escribir
(
n
,
n
) = (
nj0:1

:1
,
n
)
de igual forma teniendo presente que (a, /c) = (a, /) , se sigue
(
n
,
n
) = (
:1
,
n
)
Anlogamente podemos escribir que
(
:1
,
n
) = (
:2
,
:1
)
(
:2
,
:1
) = (
:3
,
:2
)
.
.
.
.
.
.
.
.
.

:t1
,
:t2

:t
,
:t1

Comparando estas igualdades, encontramos

(
n
,
n
) =

:t
,
:t1

Como r
|
divide a r
|1
, luego , debe ser que
:t
[
:t1
, por lo tanto

:t
,
:t1

:t
y recordando, nalmente, que r
|
= (:, :) , obtenemos (
n
,
n
) =
(n,n)

1.1.1 Proposicin. Un nmero de Fibonacci es par si, y slo si, su ndice es
divisible por 3, esto es
2[
n
==3[:
Demostracin. (==) Si 3[: == 2[
n
. Si 3[: entonces : = 3/, luego
haciendo induccin en /, resulta para / = 1, : = 3 y
3
= 2 es claro que 2[
3
.
Asumamos la validez de 2[
3|
para algn / y probemos la validez para /+1,
esto es, 2[
3(|+1)
. Si tenemos : = 3 (/ + 1) , entonces
n
=
3(|+1)
=
3|1

3
+

3|

4
8
recordando que
3
= 2, tenemos
n
=
3(|+1)
= 2
3|1
+
3|

4
, es claro que
el primer sumando es par, y el segundo es divisible por 2 por hiptesis induciva.
Luego 2[
3(|+1)
.
(==) Si 2[
n
== 3[:. Haremos esta prueba por contrarrecproco, esto es,
si 3 - : == 2 -
n
. Si 3 - :, entonces : = 3/ + r do:dc 0 < r < 3. Haciendo
induccin sobre /, tenemos para / = 1
: = 3 + r, pero r solo puede ser 1 o 2, lo cual nos da los casos
4
= 3 y

5
= 5 que en ningn caso es par. Suponemos la validez de 3 - : = 3/+r ==2 -

n=3|+:
para algn /. y probemos la validez para /+1. Luego si : = (3/ + 1)+r,
entonces podemos escribir

n
=
(3|+1)+:
=
(3|+:)+3
=
(3|+:)1

3
+
3|+:

4
recordemos que
3
= 2 y
4
= 3, as tenemos

n
= 2
(3|+:)1
+ 3
3|+:
como 2 - 3 y 2 -
3|+:
esto garantiza que2 -
n
.
Por ejemplo, si : = 9 tenemos
9
= 34 y 2[34.
Por otro lado, 2[
12
= 144 y 3[12.
1.2 Nmeros de Fibonacci y Las Fracciones Continuas
Consideremos la expresin

0
+
1

1
+
1
j2+
1
.
.
.+
1
qn
(1)
donde
1
,
2
, . . . ,
n
son enteros positivos y
0
es un entero no negativo, esto
es
0
puede se cero.
Las expresiones del tipo (1) se denominan fracciones continuas y el proceso
de conversin de un nmero en una fraccin continua se denomina desarrollo en
fraccin continua.
Aprendamos cmo obtener los cocientes incompletos de este desarrollo para
el caso de una fraccin ordinaria
o
b
.
Consideremos para este n el algoritmo de Euclides aplicado a los nmeros
a y /.
9
a = /
0
+ r
1
do:dc 0 _ r
1
< /
/ = r
1

1
+ r
2
do:dc 0 _ r
2
< r
1
r
1
= r
2

2
+ r
3
do:dc 0 _ r
3
< r
2
.
.
.
.
.
.
.
.
.
r
n2
= r
n1

n1
+ r
n
do:dc 0 _ r
n
< r
n1
r
n1
= r
n

n
(2)
De la primera igualdad es claro que
a
/
=
0
+
r
1
/
=
0
+
1
b
:1
Pero de la segunda igualdad del sistema (2) se deduce que
/
r
1
=
1
+
r
2
r
1
=
1
+
1
:1
:2
y Ahora teniendo presente la tercera igualdad del sistema (2)
r
1
r
2
=
2
+
r
3
r
2
=
2
+
1
:2
:3
Tomando en cuenta estas igualdades y haciendo las sustituciones adecuadas
obtenemos
a
/
=
0
+
1

1
+
1
j2+
1
r
2
r
3
continuando este preceso hasta el n resulta obvia la expresin

0
+
1

1
+
1
j2+
1
.
.
.+
1
qn
1.2.1 Teorema. Los concientes incompletos correspondientes de dos fracciones
continuas iguales, son iguales
Demostracin. Tomemos dos fracciones continuas c y c
0
. Sean
0
,
1
,
2
, . . .
y
0
0
,
0
1
,
0
2
, . . . sus cocientes incompletos respectivamente. Probemos que la
igualdad c = c
0
implica las igualdades
0
=
0
0
,
1
=
0
1
,
2
=
0
2
, etc. En
efecto,
0
es la parte entera del nmero c y
0
0
es la parte entera de c
0
; de aqu la
nica posibilidad es que
0
=
0
0
. Ahora bien, podemos representar las fracciones
continuas c y c
0
en la forma

0
+
1
c
1
y
0
0
+
1
c
0
1
10
donde c
1
y c
0
1
tambin son fracciones continuas. Puesto que c = c
0
y
0
=
0
0
,
debe ser c
1
= c
0
1
. Pero en tal caso son iguales las partes enteroas de los nmeros
c
1
y c
0
1
, o sea,
1
y
0
1
. Continuando este razonamiento encontramos que
2
=

0
2
,
3
=
0
3
, . . .
Sea
c =
0
+
1

1
+
1
j2+
1
.
.
.+
1
qn
una fraccin continua. Consideremos los nmeros

0
,
0
+
1

1
,
0
+
1

1
+
1
j2
, . . .
estos numeros expresados como fracciones irreducibles
10
Q0
=
j0
1
11
Q1
=
0
+
1
j1
12
Q2
=
0
+
1
j1+
1
q
2
.
.
.
.
.
.
.
.
.
1n
Qn
= c
se denominan reducidas de la fraccin continua c. De la secuencia anterior
se ve que
1
k+1
Q
k+1
se obtine de
1
k
Q
k
sustituyendo el nico cociente incompleto de
esta reducida, o sea,
|
, por
|+1
.
1.2.1 Lema. Para toda fraccin continua c se cumplen las relaciones siguientes
1
|+1
= 1
|

|+1
+ 1
|1
(1)
Q
|+1
= Q
|

|+1
+ Q
|1
(2)
1
|+1
Q
|
1
|
Q
|+1
= (1)
|
(3)
Haremos la demostracin del lema 1.2.1 probando simultneamente las tres
igualdades y aplicando induccin sobre /.
Para / = 1. Tenemos:
1
1
Q
1
=
0
+
1

1
=

0

1
+ 1

1
Puesto que los nmeros
0

1
+ 1 y
1
son coprimos, la fraccin
j0j1+1
j1
es
irreducible; al mismo, la fraccin
11
Q1
es irreducible. Pero los numeradorore y
los denominadores de dos fracciones irreducibles iguales son iguales. Esto es
1
1
= (
0

1
+ 1) y Q
1
=
1
.
11
Tenemos, luego,
1
2
Q
2
=
0
+
1

1
+
1
j2
=

0
(
1

2
+ 1) +
2

2
+ 1
recordando aqu que; (a, /c) = (a, /) = (a + c, /) tenemos
(
0
(
1

2
+ 1) +
2
,
1

2
+ 1) = ((
1

2
+ 1) +
2
,
1

2
+ 1) = (
2
,
1

2
+ 1)
y por la misma razn pasa que
(
2
,
1

2
+ 1) = (
2
, 1) = 1
de aqu se siguie que
11
Q1
=
j0j1+1
j1
sean irreducibles, de modo que
1
2
=
0
(
1

2
+ 1) +
2
= (
0

1
+ 1)
2
+
0
= 1
1

2
+ 1
0
y
Q
2
=
1

2
+ 1 = Q
1

2
+ Q
0
nalmente la igualdad
1
2
Q
1
1
1
Q
2
= (
0
(
1

2
+ 1) +
2
) (
1
) (
0

1
+ 1) (
1

2
+ 1) = (1)
1
Hasta aqu tenemos la validez para / = 1, y la base de la induccin para
algn entero /, bien ahora consideremos el caso para / + 1.
Consideremos la fraccin
1
|+1
Q
|+1
=
1
|

|+1
+ 1
|1
Q
|

|+1
+ Q
|1
Como hemos dicho ya
1
k+2
Q
k+2
se obtine de
1
k+1
Q
k+1
sustituyendo en sta
|+1
por
K+1
+
1
j
k+2
; puesto que
|+1
no gura en las frmulas para 1
|
, Q
|
, 1
|1
y
Q
|1
, tenemos
1
|+2
Q
|+2
=
1
|

K+1
+
1
j
k+2

+ 1
|1
Q
|

K+1
+
1
j
k+2

+ Q
|1
recordando las hiptesis inductivas (1) y (2)
1
|+2
Q
|+2
=
1
|+1

|+2
+ 1
|
Q
|+1

|+2
+ Q
|
(4)
Demostraremos que el segundo miembro de (4) es una fraccin irreducible,
para ello basta probar que su numerador y denominador son coprimos.
12
Supongamos que los nmeros 1
|+1

|+2
+ 1
|
y Q
|+1

|+2
+ Q
|
poseen un
divisor comn d 1. En este caso, la expresin
(1
|+1

|+2
+ 1
|
) Q
|+1
( Q
|+1

|+2
+ Q
|
) 1
|+1
tambin ser divisible por d. Pero, segn la hiptesis inductiva (3) , esta
expresin es igual a (1)
|+1
y d no puede dividirla.
Por lo tanto, el segundo miembro de (4) es irreducible de modo que (4) es
una igualdad entre dos fracciones irreducibles. Luego,
1
|+2
= 1
|+1

|+2
+ 1
|
y Q
|+2
= Q
|+1

|+2
+ Q
|
Para nalizar la demostracin falta demostrar que
1
|+2
Q
|+1
1
|+1
Q
|+2
= (1)
|+1
Pero de los resultados ya obtenidos
1
|+2
Q
|+1
1
|+1
Q
|+2
= (1
|+1

|+2
+ 1
|
) Q
|+1
(Q
|+1

|+2
+ Q
|
) 1
|+1
= Q
|+1
1
|+1

|+2
+ 1
|
Q
|+1
1
|+1
Q
|+1

|+2
Q
|
1
|+1
= (Q
|+1
1
|+1

|+2
) + (1
|
Q
|+1
Q
|
1
|+1
) (1
|+1
Q
|+1

|+2
)
= (Q
|
1
|+1
+ 1
|
Q
|+1
) (1)
= (1)
|+1
con lo cual queda demostrado el lema.
1.2.2 Teorema. Si una fraccin incompleta tiene : cocientes incompletos,
todos iguales a 1, esta fraccin es igual a
un+1
un
Demostracin. Sea c
n
la fraccin continua de : cocientes incompletos
iguales a 1. Podemos escribir entonces
c
1
, c
2
, c
3
, . . . , c
n
las fracciones reducidas de la fraccin c
n
.
Sea
c
|
=
1
|
Q
|
Puesto que
c
1
= 1 =
1
1
y c
2
= 1 +
1
1
= 2
debe ser 1
1
= 1 y 1
2
= 2. Adems 1
n+1
= 1
n

n+1
+ 1
n1
, por lo probado
en el lema 3.3.1; como todos los cocientes son iguales a 1, se tiene que
n+1
= 1.
Por tanto podemos escribir
1
n+1
= 1
n
+ 1
n1
13
de donde tenemos que
1
n
= 1
n1
+ 1
n2
sta ltima frmula coincide con la denicin para los nmeros de bonacci,
por tal razn
1
n
=
n+1
Anlogamente tenemos Q
1
= 1, Q
2
= 1 y Q
n+1
= Q
n

n+1
+ Q
n1
luego
Q
n+1
= Q
n
+ Q
n1
de modo que Q
n
=
n
. Por consiguiente
c
n
=

n+1

n
Toda la discusin sobre fraccines continuas nitas, es aplicable de forma
natural al caso de fraccines continuas innitas.
Determinemos el valor de la fraccin continua innita
1 +
1
1 +
1
1+
1
.
.
.+
1
.
.
.+1
sabemos ya que este valor es igual a lim
n1
c
n
, donde c
n
=
un+1
un
. Calculemos
este lmite
Por el teorema 1.2 sabemos que
n
es el entero ms prximo a
o
n
p
5
, es decir,
para todo : se tiene

n
=
c
n
_
5
+ c
n
donde [c
n
[ <
1
2
.
Luego tenemos
lim
n1
c
n
= lim
n1

n+1

n
= lim
n1
o
n+1
p
5
+ c
n+1
o
n
p
5
+ c
n
= lim
n1
c +
tn+1
p
5
o
n
1 +
tn
p
5
o
n
=
lim
n1

c +
tn+1
p
5
o
n

lim
n1

1 +
tn
p
5
o
n

Pero c
n+1
_
5 es una magnitud acotada (su valor absoluto es menor que 2) y
c
n
crece indenidamente cuando : tiende al innito (porque c 1). Por tanto
lim
n1

c +
c
n+1
_
5
c
n
!
= c + lim
n1
c
n+1
_
5
c
n
= c
14
y
lim
n1

1 +
c
n
_
5
c
n
!
= 1 + lim
n1
c
n
_
5
c
n
= 1
Finalmente
lim
n1
c
n
= c
recordemos que c =
1+
p
5
2
, tenemos, entonces
lim
n1
c
n
=
1 +
_
5
2
- 1. 6180
Por ejemplo, la razn
u5
u4
=
5
3
= 1. 666 7 y para
u14
u13
=
377
233
= 1. 618.
15
1.3 Ejercicios propuestos
1. Calclese los primeros 50 nmeros de Fibonacci.
2. Prubese el lema 3.2.1
3. Encuntrese una expresin que de la suma para los nmeros de Fibonacci de
ndices impares y prubese su validez para todo :.
3. Prubese que para los nmeros de Fibonacci es valida la igualdad siguiente

2
1
+
2
2
+
2
3
=
n

n+1
4. Prubese el siguiente teorema.
Teorema. Cualquiera que sea el nmero entero :, entre los :
2
1 primeros
nmeros de Fibonacci habr al menos uno divisible por :.
5. Calcule el mcd para los siguientes conjunto de nmeros
(
7
,
9
) , (
5
,
15
) , (
4
, (
7
,
9
)) , ((
21,

12
) , (
7
,
9
))
6. Demustrese los siguientes criterios de divisibilidad para nmeros de Fi-
bonacci
6.1 Un nmero de Fibonacci es divisible por 3 si, y slo si, su ndice es divisible
por 4.
6.2 Un nmero de Fibonacci es divisible por 4 si, y slo si, su ndice es divisible
por 6
6.3 Un nmero de Fibonacci es divisible por 5 si, y slo si, su ndice es divisible
por 5
6.4 Un nmero de Fibonacci es divisible por 7 si, y slo si, su ndice es divisible
por 8
7. Considrese los nmeros primos de Fibonacci, con ndices mayor a 3, qu
puede decirse de los ndices?
8. Desarrllese en fracciones continuas los siguientes nmeros racionales
22
7
355
113
102595
32657
103993
33102
1461
4
9. Calclese las primeros 5 trminos de la sucesin de Fibonacci usando la
frmula de Binet y prubese que sta es valida para todo :.
10. Un saltador puede desplazarse en una sla direccin a lo largo de una franja
cuadriculada saltando cada vez a la casilla inmediata o por encima de ella
a la siguiente. cuntos modos de desplazarse en : 1 casillas y, en
particular, de la primera a la : c:i:a tiene el saltador? (dos modos son
idnticos si en cada uno de ellos el saltador se posa en la misma casilla?
16
16

1.3 Propiedades geomtricas de los Nmeros de Fibonacci

I. Tomemos el segmento

de longitud 1 y dividamos en dos partes de

modo que la mayor sea la media geomtrica entre la menor y todo el
segmento.


Sea la longitud de la parte mayor del segmento. La longitud de la parte menor
ser, naturalmente, 1 y nuestro problema se reduce a la proporcin

1

1
, 1

De donde

1 , 2

La raz positiva de 2 es
1 5
2


De modo que cada una de las razones de la proporcin 1 es igual a

1

2
1 5

21 5
1 51 5

1 5
2


Esta divisin del segmento en dos partes

se denomina
justa proporcin.

II. Consideremos ahora el pentgono regular. Sus diagonales forman un
pentagrama.









17

De mediciones con transportador podemos encontrar que los ngulos y
son iguales a 108

y 36

, respectivamente, aplicando el teorema de los

senos, resulta

108

36

72

36

236

2
1 5
4


Pero como , debe ser

Y es el punto de la justa proporcin en el segmento .
Por definicin de justa proporcin tenemos

Observando con detalle, resulta que , encontramos

Es decir, cada uno de los segmentos
, ,
Es veces mayor que el anterior.


III. Supongamos ahora que la razn de las dimensiones de un rectngulo es
. Inscribamos en un rectngulo de esta proporcin el cuadrado de
mayor dimensin posible y demostremos que de esta forma se obtiene
de nuevo un rectngulo de la misma proporcin.








E B
C F D
A
18

En efecto,

Por hiptesis ya que es un cuadrado. Luego,

1
Pero

1 de modo que

Adems con la construccin anterior es posible trazar la siguiente espiral



Y la encontramos en

19

1.4 Dnde estn los Nmeros de Fibonacci?

En la naturaleza encontramos numerosos ejemplos de ordenaciones de
elementos homogneos relacionados con los nmeros de Fibonacci.

Fibonacci y los vegetales: El ejemplo que quizs sea el ms sencillo es el
caso de la orientacin de las espirales en una pia, si contamos las espirales
en un sentido y luego en el otro encontramos los nmeros 8 y 13 en otras
especies aparecen 5 y 8, en ambas nmeros Fibonacci consecutivos.



Fibonacci y las flores: Si por curiosidad contamos los ptalos de una flor
cualquiera que esta sea, en un 95% encontraremos nmeros de Fibonacci para
estos, as por ejemplo, las margaritas tienen en general 21 o 34 ptalos y
algunas tienen 55 e incluso alcanzan 89 todos nmeros Fibonacci.



Fibonacci y los animales: Adems del ya mencionado problema de los
conejos, tambin encontramos nmeros de Fibonacci en el rbol genealgico
de las abejas machos. En toda colmena existe una abeja hembra
llamada reina, que es la nica capaz de producir huevos. Las
abejas obreras tambin son hembras, pero no producen huevos,
solo trabajan. En la colmena tambin existen abejas machos, que
no trabajan y su nica funcin es aparear a la reina (znganos).
Estos provienen de huevos de la abeja reina no fertilizados, y por lo
tanto tienen madre, pero no tienen padre, por lo que l (1) tiene una
madre (1, 1), dos abuelos los padres de la reina (1,1,2), tres
bisabuelos -por que el padre de la reina no tuvo padre-(1, 1 ,2, 3),
cinco tatarabuelos, (1,1,2,3,5) y ocho tataratatarabuelos, (1,1,2,3,5,8), en
definitiva sigue estrictamente la sucesin de nmeros de Fibonacci.



20


Fibonacci Musicalizado.
Bela Bartok, cerca de 1915 desarroll un mtodo para
integrar todos los elementos musicales (escalas, estructura
de acordes, proporciones de longitud, etc.) basndose en
la proporcin aurea. Ya los caldeos haban propuesto
utilizar la razn urea como principio esttico 3000 aos
A.C., los griegos la utilizaron 2000 aos despus y fue
reutilizada en el renacimiento pero nunca en la Msica.

En cuanto a la Forma y la Armona, Bartok utiliza el
principio de la razn urea. Por ejemplo, en el primer
movimiento de la Sonata para dos pianos y percusiones,
que consta de 443 compases, si se multiplica este nmero
por .618... (.618es el inverso de la razn aurea) Se
obtiene el comps 274, el cual ser el centro de gravedad del movimiento. As la re-
exposicin o recapitulacin ocurre en el comps 274. Anlogamente sucede con el
primer movimiento de Contrastes, el cual consta de 93 compases, nmero que si se
multiplica por .618... Da el comps 57 justo donde comienza la re-exposicin.

Si comparamos la sucesin de Fibonacci con la fuga (primer movimiento) de la Msica
para Cuerdas, Percusiones y Celesta observamos que los 89 compases del movimiento
estn divididos en secciones de 55 y 34 compases. Estas secciones se subdividen en
secciones de 34 y 21 compases y 13 y 21 compases respectivamente. El clmax ocurre
en el comps 55. No es una casualidad que la exposicin finalice en el comps 21 y que
los ltimos 21 compases estn divididos en secciones de 13 + 8 compases.

El Allegro Brbaro es otra composicin para piano solo en la cual Bartok utiliza los
nmeros de Fibonacci 2, 3, 5, 8, y 13 en diversas ocasiones, a diferencia de la msica
tradicional la cual utiliza 8 compases en casi todos los temas y mltiplos de 2 en los
motivos y frases. Tambin utiliza su crculo de tonalidades y la duracin de la pieza es
de 3 minutos.

Bartok escribi que segua a la naturaleza en la composicin y que fue guiado
indirectamente por fenmenos naturales para descubrir estas regularidades.
Constantemente aumentaba su coleccin de plantas, insectos y especmenes minerales.
El girasol era su planta favorita y se pona muy feliz cuando encontraba pias de abeto
en su escritorio. Consideraba que la msica folclrica tambin era un fenmeno de la
naturaleza y que sus formaciones se desarrollaban tan espontneamente como otros
organismos vivientes: las flores, los animales, etc. Por esto su msica le recuerda al
oyente de escenas naturales. Por ejemplo, el girasol tiene 34 ptalos y sus espirales
tienen los valores 21, 34, 55, 89,144.




21

En la pintura

LEDA ATMICA

En la que el pintor espaol Salvador Dal emplea
un esquema compositivo, basado en la divina
proporcin; toda la composicin se enmarca en un
crculo en el que un pentagrama organiza el
espacio.
23





Conclusiones

Este trabajo es un estudio y una recopilacin de las principales definiciones,
propiedades, y teoremas que corresponden a la sucesin de Fibonacci, desarrolladas
bien como una curiosidad numrica o como una teora propiamente dicha.
Abordamos por completo la naturaleza misma de este conjunto de nmeros, sus
propiedades aritmticas, donde hicimos mayor nfasis, sin dejar por un lado el algebra y
la geometra.
Adems de presentar la parte formal de la teora dimos un vistazo a las aplicaciones,
por lo cual podemos ubicar este trabajo tambin como divulgacin de las matemticas,
que sirva como inspiracin para ver ms detenidamente los nmero y cmo estos se
relacionan con nuestra vida.
Hemos incluido una seccin de ejercicios propuestos donde el lector podr ponerse a
prueba despus de la lectura y verificar cuan fructfera fue.











24




Recomendaciones

Si bien es cierto que caracterizamos por completo los nmeros de Fibonacci, no hay que
olvidar que las matemticas es una ciencia dinmica, esto es, en nuevas ramas de
estudio tambin se encuentran relaciones con esta sucesin, como casos particulares
tenemos la variable compleja y la geometra fractal, adems de engendrar problemas
muy interesantes como el hecho de cuantos nmeros primos contiene dicha sucesin.

Por tales razones recomendamos a todo aquel que contine con este estudio, abordar
estos nuevos e interesantes aspectos.














25




Bibliografa

Augusto Csar Morgado, Eduardo Wagner, Elon Lages Lima, Paulo Cezar Pinto. Las
matemticas en la enseanza media. Volumen 2. Coleccin IMCA. Brasil.
Carl B. Boyer. Historia de las matemticas. Alianza Editorial. Madrid-Espaa 1986
Clifford A. Pickover. La maravilla de los Nmeros. Ediciones Robinbook, s.l.
Barcelona-2001.
Enzo. R Gentil. Aritmtica Elemental. Secretara general de la OEA. Washington, D.C-
1985.
N. N. Vorobiov. Lecciones Populares Nmeros de Fibonacci. Editorial Mir Mosc.