Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoria de Numeros
Teoria de Numeros
1),en donde j y 2
1
son primos. Dos
mil aos ms tarde Euler demostr el recproco del teorema diciendo que todo
nmero par perfecto debe ser del tipo descrito por Euclides.
Por ejemplo. Para 6 tenemos:
6 = 2
21
_
2
2
1
_
= 2 3
Todo nmero de la forma 2
1
, en donde j es primo se conocen como nmeros
de Mersenne, que los estudi en 1644. An hoy no se conoce si existen nmeros
perfectos impares.
La Aritmtica De Diofanto
Los 250 aos que siguieron a la desaparicin de Euclides la teora de nmeros
entr en un periodo de oscuridad hasta la llegada de Diofanto de Alejandra,
quin public 13 libros, de los cuales se han conservado 6.
5
La aritmtica de Diofanto en lo que ha llegado hasta nosotros, est dedicada
casi completamente a la resolucin exacta de ecuaciones determinadas e inde-
terminadas. Una de los principales aportes de Diofanto a las matemticas fue
haber introducido la notacin algebraica que precedi a lo que hoy utilizamos.
La arithmetica no consiste en exposicin sistemtica sobre las operaciones o
funciones algebraicas, sino en una coleccin de 150 problemas, resueltos todos
en trminos de ejemplos numricos completos y especcos.
Diofanto fue hbil para resolver ecuaciones algebraicas con dos o tres incg-
nitas. Muchos de estos problemas se originaron en la teora de nmeros y a l le
pareci natural encontrar soluciones enteras. Las ecuaciones que deben ser re-
sueltas por medio de valores enteros reciben el nombre de ecuaciones difnticas
y el estudio de tales ecuaciones anlisis diofntico.
Pierre de Fermat y La Teora De Nmeros
El trabajo de Diofanto encuentra en el siglo diecisiete a su mejor intrprete,
Pierre de Fermat quien se convertira en el creador de la moderna teora de
nmeros.
Dentro de los resultados obtenidos por Fermat tenemos que armaba que
los nmeros de la forma )
n
= 2
2
n
+ 1 es un nmero primo \: N, pero esta
conjetura resulto errnea, Euler demostrara que para : = 5 es compuesto.
El conocido teorema de Pitgoras, inspir el resultado ms famoso y quizs
el ms difcil planteado por Fermat. El llamado ltimo teorema de Fermat, la
ecuacin diofntica r
2
+ j
2
= .
2
; \: 2 , no tiene solucin en los nmeros
enteros. Este fue un problema que se resisti 350 aos a las mejores mentes
matemticas hasta que un joven matemtico ingls, Andrew Wiles, en mayo
de 1995 publicar un artculo de 130 pginas en Annals of Mathematics con la
solucin al problema.
Aunque tal vez menos impresionante, pero otra gran paso en la teora de
nmeros debido a Fermat es el pequeo teorema que lleva su nombre: si j es
primo positivo y a es un entero coprimo de j, entonces j divide a, a
1
1
a
1
= 1 modj , cuya demostracin se la debemos a Euler.
Fermat logr verdaderos y muy profundos avances en esta rama de las
matemticas, a pesar que su forma de razonar era muy intuitiva y casi nunca
daba una demostracin general, sin embargo dio algunas muy interesantes para
los siguientes teoremas:
Todo nmero entero o es un nmero triangular o una suma de 2 3 nmeros
triangulares; todo entero o es cuadrtico o suma de 2, 3, 4 cuadrticos; todo
nmero o es pentagonal o es suma de 2, 3, 4 5 pentagonales, y as sucesiva-
mente.
6
Tambin se le debe el resultado de que todo nmero primo de la forma 4:+1,
es suma de dos cuadrados.
Por ejemplo.
5 = 1
2
+ 2
2
, 13 = 2
2
+ 3
2
, 17 = 1
2
+ 4
2
Un nuevo rumbo para La Aritmtica
Posterior al trabajo de Fermat, resuenan los nombres de las que quizs sean
las guras ms representativas de la moderna teora de nmeros: Leonard Euler
(1707-1783), Lagrange (1763-1813), K.F Gauss ( 1777-1855) y Dirichlet (1805-
1859).
Gracias a Euler se vericaron o refutaron algunos de los ya mencionados
problemas planteados por Fermat. Dictada por Euler, ya ciego, alrededor del
ao 1767, la Aritmtica Universal apareci, obra monogrca que consta de dos
partes; en los tres pargrafos de la primera parte dirigi una atencin especial
a las reglas de resolucin de problemas aritmticos y al desarrollo del aparato
simblico-lingstico del lgebra. El ltimo pargrafo incluye preferentemente
los mtodos para buscar soluciones enteras de las ecuaciones indeterminadas
de primer grado y grados superiores. Aqu se le agrega la resolucin del gran
teorema de Fermat para : = 3 j : = 4.
Todo hace indicar que la motivacin especial por la teora de nmeros,
provino de la correspondencia mantenida entre Euler y Goldbach otro brillante
matemtico. En una de estas cartas, fechada de 1 de diciembre de 1729, Gold-
bach pregunta a Euler si conoce el resultado donde Fermat arma que todo
nmero de la forma )
n
= 2
2
n
+ 1 es primo, Euler contesta con un contra ejem-
plo, )
5
= 2
2
5
+ 1 = 4294967297, el cual es divisible por 641 refutando as el
resultado de Fermat.
Adems de este hecho demostr el pequeo teorema de Fermat, introdujo
la funcin ,(:), cuyos valores son iguales a la cantidad de nmeros menores
que : y que son coprimos con l, en 1722 cre la ley de reciprocidad cuadrtica
y todo lo concerniente al problema de la representacin de nmeros en formas
cuadrticas.
Los trabajos de Euler determinaron la problemtica, la estructura, y los
mtodos de la teora algebraica de los nmeros.
7
Despus de Euler, la ley de reciprocidad cuadrtica la demostr Legendre
(dio una demostracin incompleta). Gauss, hasta el ao 1801 dio ocho demostra-
ciones de esta ley. No obstante Legendre en 1880 encontr la forma ms cmoda
de escribir esta ley:
_
j
__
j
_
= (1)
p1
2
,
q1
2
Entre los problemas aditivos de la teora de nmeros, propuestos en el siglo
XVIII, se encuentra tambin el problema de Waring (1770), cualquier nmero
natural : _ 2 es representable como la suma de : c:i:a: potencias de nmeros
naturales, adems el nmero r de trminos de la suma depende solo de n. Waring
no dio su demostracin. Como en la mayora de los problemas de la teora de
nmeros, el xito se logr con mucha dicultad. As, Lagrange demostr que
si : = 2, entonces r = 4. Posterior a esto se encontraron otros resultados
particulares hasta que en 1909, Hilbert dio la primera demostracin general.
En los trabajos de Euler, Lagrange, Legendre, Lambert y otros matemticos,
fueron elaborados y renados numerosos e ingeniosos mtodos de la teora de
nmeros, tanto algebraicos como analticos. Todas estas investigaciones, natu-
ralmente, necesitaban sistematizacin, reduccin a una estructura lgica y bien
estructurada de manera original. Esta dura tarea fue iniciada por Legendre en
los aos de 1797-1798 que titul Experiencia de la teora de nmeros, teniendo
como objetivo construir un sistema de resultados sobre las propiedades de los
nmeros enteros. En posteriores ediciones fue completado con el trabajo de
Gauss, Abel y otros brillantes matemticos del siglo XIX. En esta presentacin
est contenida el enorme cmulo de conocimiento sobre teora de nmeros, lo
que le da un signicado histrico y un signicado intelectual invaluable como
gua para iniciar el camino de los nmeros.
8
1 Nmeros Enteros Naturales
"Dios hizo los nmeros naturales; el resto es obra del hombre"
Leopold Kronecker.
En este captulo abordaremos los principios fundamentales que rigen a los
nmeros naturales, El principio del buen orden y el Principio de Induccin
matemtica. Adems de estudiar el sistema de los naturales desde la ptica
axiomtica de Peano.
1.1 Principio del Buen Orden (PBO)
1.1.1 Denicin. Decimos que a es mayor que / (simbolizado a /), si la
ecuacin / + r = a es soluble para algn nmero natural r.(para el caso
r = 0, se obtiene la igualdad / = a)
La relacin a es mayor que /, puede expresarse equivalentemente as: / < a
La relacin "mayor que" antes denida tiene las siguientes propiedades:
1. Tricotoma. Una y solamente una de las relaciones siguientes debe cumplirse:
a /, a = /, a < /
Demostracin.
Supongamos que se cumplen a / y a = /. De la denicin de mayor,
tenemos la existencia de algn r natural, tal que a = / + r, por hiptesis
y transitividad se sigue que / = / + r, lo cual es absurdo. Ahora supongamos
como cierto que a < / y a = /, anlogamente, se tiene un r tal que / = a+r, por
hiptesis y transitividad de la igualdad pasa que a = a + r, lo que nuevamente
es absurdo. As, puede concluirse que solo una de las relaciones puede cumplirse
2. Propiedad transitiva.
Si a / y / c, entonces a c
Demostracin. Si a / y / c, esto implica la existencia de naturales
r y j tales que a = / + r y / = c + j. Podemos entonces reemplazar / por
c + j en la primera ecuacin as: a = (c + j) + r = c + (j + r) , por propiedad
asociativa. Sin embargo (j + r) = . es un nmero natural por cerradura de la
adicin. Esto prueba que a = c + . y por tanto a c
9
3. Si a /, entonces a + c / + c
Demostracin.
Para realizar esta demostracin empezaremos por escribirla en la forma sim-
blica:
Si a / == a + c / + c
Tomando su contrarrecproco
~ (a + c / + c ) == ~ (a /)
que equivalentemente es
a + c _ / + c == a _ /
Aqu el smbolo _ lo utilizamos a n de simplicar la escritura de " < = "
i.
a + c < / + c == a + c + r = / + c def. mayor que
== a + r = / prop. cancelativa
== a < / def. mayor que
ii. Si a + c = / + c, entonces a = / por la propiedad cancelativa.
La demostracin de la propiedad nmero 3 se realiz en la base de la ley
cancelativa, de la cual se dar una demostracin ms adelante.
Principio de Buen Orden (PBO): Cualquier conjunto de nmeros nat-
urales que contenga al menos un elemento, contiene un elemento mnimo.
1.1.1 Teorema. No hay ningn natural entre 0 y 1.
Demostracin.
Supongamos que existe un nmero a, con la siguiente propiedad, 0 < a < 1.
Entonces, existe un conjunto no vaco de elementos menores que 1. Luego,
por PBO, tiene elemento mnimo, llammosle :, ser tal que 0 < : < 1.
Mutiplicando toda la desigualdad por :, 0 < :
2
< :. Entonces :
2
es otro
natural del conjunto , menor que el supuesto elemento mnimo de . Esta
contradiccin demuestra el teorema.
1.1.2 Teorema : Un conjunto H de enteros naturales que incluya al 1 y que
incluya al :+1 siempre que incluya al :, incluye tambin a cualquier
entero natural.
10
Demostracin.
La prueba consiste en demostrar que el conjunto H
0
de los naturales que
no estn en H es vaco, esto es H
0
= r N : r , H = c. Supongamos lo
contrario, esto es H
0
contiene al menos un elemento; luego por PBO, H
0
tiene
elemento mnimo :. Pero : ,= 1, por hiptesis 1 H; luego por el teorema
anterior : 1, y : 1 1. Adems 1 < : 1 < :, resulta que, como :
es elemento mnimo de H
0
, : 1 debe estar en H. Segn la hiptesis puede
deducirse que (:1) + 1 = : H. Lo que contradice nuestro supuesto.
1.2 Principio de Induccin Matemtica (PIM)
1.2.1 Teorema. Principio de induccin Completa. Asociemos a cada
nmero natural : una proposicin 1 (:), la cual puede ser verdadera o
falsa. Si, primero, 1 (1) es verdadera y, segundo, para cualquier / la
verdad de 1 (/) implica la de 1 (/ + 1) , entonces 1 (:) es verdadera para
todo natural :.
Demostracin.
Una proposicin 1 (:) , es vlida para todo nmero natural : si:
1. Es vlida para : = 1
2. De su validez para un nmero natural cualquiera : = / se deduce su
validez para : = / + 1
Supongamos lo contrario, es decir, que la proposicin no es vlida para
cualquier nmero natural :. Entonces, existe un nmero natural :
0
tal que,
la proposicin es falsa; por la condicin 1. :
0
,= 1. Luego, existe un nmero
natural :
1
tal que :
0
= :
1
+ 1. Armamos que
:
0
:
1
y 1
n1
es falsa.
Porque :
1
< :
1
+1 = :
0
y si 1
n1
es verdadera, entonces por la condicin 2
la proposicin 1
n1+1
= 1
n0
sera verdadera, lo cual contradice nuestro supuesto.
(existe un nmero natural :
0
tal que, la proposicin es falsa). Aplicando a :
1
el
mismo razonamiento que a :
0
, encontramos que existe un nmero natural :
2
,
tal que
:
0
:
1
:
2
y 1
n2
es falsa
continuando de esta manera obtenemos una sucesin innita decreciente de
nmeros naturales
:
0
:
1
:
2
:
3
:
I
11
Lo cual es imposible puesto que cualquier subconjunto de nmeros naturales
tiene elemento mnimo (PBO).
La demostracin se ha podido completar en la base del PBO, as mismo,
tomando como fundamento el PIM puede probarse el PBO.
Ejemplos de algunas demostraciones usando PIM
1. Demustrese que para todo natural :, la suma de los primeros : trminos es
:(: + 1)
2
Demostracin.
1 + 2 + 3 + + : =
:(: + 1)
2
Primeramente vericamos el caso particular : = 1, esto es
1 =
1 (1 + 1)
2
=
2
2
= 1
Por tanto, 1
1
es vlida.
Ahora, supongamos que 1
|
es vlida. Entonces la hiptesis de induccin es:
1 + 2 + 3 + + / =
/ (/ + 1)
2
Nuestro objetivo es demostrar la validez de 1
|+1
; esto es
1 + 2 + 3 + + (/ + 1) =
(/ + 1) [(/ + 1) + 1]
2
Reescribiendo el primer trmino de la igualdad y aplicando la hiptesis induc-
tiva; como sigue:
(1 + 2 + 3 + + /) + / + 1 Agrupamos los primeros / trminos
(1 + 2 + 3 + + /) + (/ + 1) =
|(|+1)
2
+ (/ + 1) hiptesis de induccin
(1 + 2 + 3 + + /) + (/ + 1) =
|(|+1)+2(|+1)
2
Suma de naturales
(1 + +3 + + /) + (/ + 1) =
(1+1)(|+2)
2
P. Distributiva
(1 + 2 + 3 + + /) + (/ + 1) =
(|+1)[(|+1)+1]
2
/ + 2 = (/ + 1) + 1
Con lo que se demuestra que 1
|+1
es cierta.
12
2. Demustre la validez de la siguiente armacin:
2 + 4 + 6 + + 2: = :(: + 1)
Demostracin.
Para el caso particular : = 1
2 = 1(1 + 1) = 2
por tanto la proposicin es verdadera para : = 1
Suponiendo la validez de la expresin para algn / N. La hiptesis resulta
2 + 4 + 6 + + 2/ = /(/ + 1)
As, la tesis a probar es
2 + 4 + 6 + + 2 (/ + 1) = (/ + 1) [(/ + 1) + 1]
Luego
(2 + 4 + 6 + + 2/) + 2 (/ + 1) Agrupamos los primeros / trminos
(2 + 4 + 6 + + 2/) + 2 (/ + 1) = /(/ + 1) + 2 (/ + 1) hiptesis de induccin
(2 + 4 + 6 + + 2/) + 2 (/ + 1) = (/ + 1) (/ + 2) P. Distributiva
(2 + 4 + 6 + + 2/) + 2 (/ + 1) = (/ + 1) [(/ + 1) + 1] / + 2 = (/ + 1) + 1
Con lo que se demuestra que 1
|+1
es cierta.
1.3 Nmeros Naturales y Axiomas de Peano
Se dene el conjunto N de los nmeros naturales como un conjunto que verica
los cinco axiomas siguientes:
1. Existe un elemento de N al que llamaremos cero (0), esto es,
0 N
2. Existe la aplicacin siguiente, :iq : N N :
:iq : N N, \: N, :iq (:) N
3. El cero no es imagen por la aplicacin siguiente:
\: N, :iq (:) ,= 0
13
4. La aplicacin siguiente es inyectiva:
\:, : N, :i :iq (:) = :iq (:) == : = :
5. Se verica la induccin completa: Si o N y satisface
0 o
\: o == :iq (:) o
_
== o = N
A partir de estos cinco axiomas, y usando sistemticamente la induccin
completa, podemos probar todas las propiedades del conjunto N.
1.3.1 Denicin. Denimos la suma de nmeros naturales como una apli-
cacin + : N N N; de forma tal que (:, :) : + : y se
cumple que:
1. 0 + : = :
2. :iq(:) + : = :iq (: + :)
Tomemos por ejemplo: : = 1 j : = 3 e ilustremos las dos condiciones
anteriores.
0 + 3 = 3
:iq (1) + 3 = 2 + 3 = 5 = :iq (1 + 3) = :iq (4)
1.3.2 Denicin. Denimos la multiplicacin de nmeros naturales como una
aplicacin : NN N; de forma tal que (:, :) : : y se cumple
que:
1. 0 : = 0
2. : :iq(:) = : : + :
Tomemos por ejemplo: : = 2 y : = 3 e ilustremos las dos condiciones.
0 3 = 0
3 :iq (2) = 3 2 + 3 = 6 + 3 = 9
1.3.1 Teorema.
Se verican las propiedades asociativa, conmutativa y cancelativa para la
suma de nmeros naturales:
1. Propiedad asociativa: \a, /, c N, (a + /) + c = a + (/ + c)
14
2. Propiedad conmutativa: \a, / N, a + / = / + a
3. Propiedad cancelativa: \a, /, c N, a + c = / + c == a = /
Demostracin:
1. Propiedad Asociativa. \a, /, c N, (a + /) + c = a + (/ + c)
Haremos induccin sobre a.
Si a = 0, entonces
(0 + /) + c = / + c = 0 + (/ + c)
podemos asumir, la hiptesis de induccin
(a + /) + c = a + (/ + c)
Ahora debemos probar para :iq(a) = a + 1, esto es
[:iq (a) + /] + c = :iq (a) + (/ + c)
[:iq (a) + /] + c == :iq (a + /) + c def. de sig
== :iq [(a + /) + c] def. de sig
== :iq [a + (/ + c)] hip. inductiva
== :iq (a) + (/ + c) def. de sig
2. Propiedad Conmutativa: \a, / N, a + / = / + a
Haremos induccin sobre a.
Si a = 0, entonces
0 + / = / = 0 + /
podemos asumir, la hiptesis de induccin
a + / = / + a
Ahora debemos probar para :iq(a) = a + 1, esto es
:iq (a) + / = / + :iq (a)
:iq (a) + / == :iq(a + /) def. sig
== :iq (/ + a) hip. inductiva
== (/ + a) + 1 def. sig
== / + (a + 1) prop. asociativa
== / + :iq(a) def. sig
15
3. Propiedad Cancelativa: \a, /, c N, a + c = / + c == a = /
Haremos esta demostracin haciendo induccin sobre c.
Si c = 0, entonces
a + 0 = / + 0 == a = /
Asumimos la hiptesis inductiva
a + c = / + c == a = /
Ahora debemos probar para :iq(c) = c + 1, esto es
a + (c + 1) = / + (c + 1) == a = /
a + (c + 1) = / + (c + 1) == (a + c) + 1 = (/ + c) + 1 prop. asociativa
== :iq (a + c) = :iq (/ + c) def. siguiente
== a + c = / + c inyectividad de la aplicacin sig
== a = c hiptesis inductiva
1.3.2 Teorema.
Se verican las propiedades asociativa, conmutativa, cancelativa y distribu-
tiva (respecto a la suma) para el producto de nmeros naturales:
1. Propiedad asociativa: \a, /, c N, (a/)c = a(/c)
2. Propiedad conmutativa: \a, / N, a/ = /a
3. Propiedad cancelativa: \a, /, c N, ac = /c == a = /
4. Propiedad didtributiva: \a, /, c N, a (/ + c) = a/ + ac
1.4 Exponenciacin en N
1.4.1 Denicin. Para cualesquiera nmeros naturales a j : se tiene que:
i.
a
n
: = a a a a a
. .
: ccc:
ii.
a
0
= 1
16
iii.
a
sI(n)
= a
n
a
1.4.1 Teorema. \a, / N y para cualquier :, : N :
1.
a
n
a
n
= a
n+n
2.
(a
n
)
n
= a
nn
3.
(a/)
n
= a
n
/
n
Demostracin:
1. Vamos a probar la primera parte del teorema 1.4.1, esto es: a
n
a
n
= a
n+n
i) Para : = 0, la propiedad es vlida puesto que: a
n+0
= a
n
= a
n
1 = a
n
a
0
.
ii) Ahora vamos a suponer que existen nmeros a, :, : tales que no cumplen
la propiedad, es decir: a
n
a
n
,= a
n+n
Por lo dicho en i) : ,= 0 y por lo tanto debe existir :
1
de forma que :
1
+1 = :.
Se sigue entonces que
: :
1
y a
n
a
n1
,= a
n+n1
Esto ltimo porque :
1
< :
1
+ 1 = : y si a
n
a
n1
= a
n+n1
, entonces a
n
a
n
=
a
n
a
n1+1
= (a
n
a
n1
) a
1
= (a
n+n1
) a
1
= a
n+(n1+1)
= a
n+n
, que contradice
nuestro supuesto inicial.
Aplicando el mismo razonamiento a :
1
encontramos otro nmero natural :
2
tal que
: :
1
:
2
y a
n
a
n1
,= a
n+n1
Continuamos de este modo para cada :
I
, encontramos que existe una suce-
sin innita decreciente : :
1
:
2
:
3
... :
I
... de nmeros naturales.
Lo cual es imposible puesto que cualquier subconjunto de nmeros naturales
tiene elemento mnimo (PBO). Por lo tanto, a
n
a
n
= a
n+n
para cualesquiera
nmeros naturales :, : y a.
17
2. Continuaremos con la segunda parte del teorema: (a
n
)
n
= a
nn
Particularmente, : = 0 tenemos la clara igualdad; (a
n
)
0
= 1 = a
0
= a
n0
en el caso : = 1, tambin vericamos que; (a
n
)
1
= a
n
= a
n1
As, asumimos que esto es cierto para algn nmero natural /, nuestra
hiptesis inductiva es entonces; (a
n
)
|
= a
n|
debemos probar que es cierta para :iq (/) = / + 1, i.e, (a
n
)
|+1
= a
n(|+1)
Procedemos como sigue:
(a
n
)
|+1
= a
n
a
n
a
n
a
n
a
n
. .
= (a
n
a
n
a
n
a
n
)
. .
a
n
= (a
n
)
|
a
n
= a
n|
a
n
(/ + 1) ccc: / ccc:
esto por denicin de potencia e hiptesis inductiva. Luego por la parte 1)
del teorema, tenemos lo siguiente:
a
n|
a
n
= a
|n+n
= a
n(|+1)
que es lo que queriamos demostrar, por tanto (a
n
)
n
= a
nn
es vlido,
\a, :, : N.
La tercera parte, para completar el teorema, queda como ejercicio.
18
1.5 Ejercicios resueltos sobre axiomas de Peano e Induc-
cin.
1. Denimos la relacin "menor o igual que" (_) de modo siguiente: \a, /
N, a _ / == r N : a + r = /.
Probar que (_) es relacin de orden, es decir, es reexiva, antisimtrica y
transitiva.
Demostracin.
i. Es reexiva: \a N, 0 N : a + 0 = 0 + a = a == a _ a
ii. Antisimtrica: \a, / N; a _ / . / _ a == a = /
Si a _ / == r N : a + r = /, luego, Si / _ a == j N : / + j = a,
Escribamos ahora: a + r = / = / + (j + r) == j = r = 0 y de aqu a = /
iii. Transitiva: Si a _ / . / _ c == a _ c.
Si a _ / == r N : a +r = / . si / _ c == j N : / +j = c, entonces
c = / +j = (a + r) +j = a+(r + j) , es decir existe el nmero (r + j) = . N,
tal que c = a + . == a _ c.
2. Ningn nmero natural coincide con su siguiente: \: N, : ,= :iq (:)
Demostracin.
Sea = : N : : ,= :iq (:) . Veamos que tal conjunto coincide con N.
0 , puesto que por axioma 3 0 ,= :iq (0)
\: , : ,= :iq(:) == :iq(:) ,= :iq(:iq(:)) , por axioma 4 (inyectividad
de la funcin siguiente). Luego :iq(:)
Y del axioma quinto, se sigue que = N.
3. Todo nmero natural es estrictamente menor que su siguiente: \a N, a <
:iq (a)
Demostracin.
:iq (a) = :iq (0 + a) = :iq (0)+a == :iq (0) N : a+:iq (0) = :iq (a) ==
a _ :iq (a) , por el ejercicio anterior tenemos que : ,= :iq(:), por tanto:
a _ :iq (a) . a ,= :iq(a) == a < :iq (a)
19
4. Demustrese en N,
a ,= / == a + : ,= / + :
Hacemos induccin sobre : y tenemos:
a. : = 1 == a+1 = :iq (a) ,= a ,= / ,= :iq (/) = /+1, de aqu que a+1 ,= /+1.
Luego nuestra hiptesis de induccin a ,= / == a + / ,= / + /, \/ N
b. a +/ ,= / +/ == a +:iq (/) ,= / +:iq (/) . Procedemos como sigue: a +/ ,=
/ + / == :iq (a + /) ,= :iq (/ + /) == a + :iq (/) ,= / + :iq (/) .
Demostraciones por induccin.
1. Prubese la validez de la siguiente suma:
o
n
=
1
1 2
+
1
2 3
+
1
3 4
+ ... +
1
:(: + 1)
=
:
: + 1
Casos particulares : = 1, : = 2
o
1
=
1
2
(evidente)
o
2
=
1
1 2
+
1
2 3
=
1
2
+
1
6
=
3 + 1
6
=
4
6
=
2
3
por otro lado tenemos;
:
: + 1
=
2
2 + 1
=
2
3
Hiptesis inductiva, para : = /,
o
|
=
1
1 2
+
1
2 3
+
1
3 4
+ +
1
/ (/ + 1)
=
/
/ + 1
donde / es un nmero natural.
Demostremos que, tambin es vlida para : = / + 1, i.c
o
|+1
=
/ + 1
/ + 2
En efecto,
o
|+1
=
_
1
1 2
+
1
2 3
+
1
3 4
+ +
1
/ (/ + 1)
_
+
1
(/ + 1) (/ + 2)
por consiguiente podemos escribir
o
|+1
= o
|
+
1
(/ + 1) (/ + 2)
20
que por hiptesis de induccin reescribimos como
o
|+1
=
/
/ + 1
+
1
(/ + 1) (/ + 2)
=
/
2
+ 2/ + 1
(/ + 1) (/ + 2)
=
/ + 1
/ + 2
hemos demostrados ambas condiciones, ahora en virtud del PIM podemos
armar que la proposicin anterior es verdadera.
2. Prubese que todo nmero natural impar es de la forma
1
n
= 2: 1
Caso particular : = 1, : = 2
1
1
= 2 (1) 1 = 1
1
2
= 2 (2) 1 = 3
lo que verica la primera parte de la induccin.
Hiptesis inductiva, para : = /,
1
|
= 2/ 1
Demostremos, entonces que, la frmula debe ser vlida para (/ + 1) , esto es
1
|+1
= 2 (/ + 1) 1 es impar.
1
|+1
= 2 (/ + 1) 1 = 2/ + 1
Para obtener el (/ + 1)-simo nmero impar basta agregar 2 al / c:i:o
nmero impar:
1
|+1
= 1
|
+ 2
pero, por hiptesis, 1
|
= 2/ 1 de modo que
1
|+1
= (2/ 1) + 2 = 2/ + 1
como queramos demostrar.
3. Calclese la suma de los : primeros nmeros impares.
21
Llamemos o
n
a la suma buscada:
o
n
= 1 + 3 + 5 + + (2: 1)
Tomenos sucesivos valores para :, hasta obtener informacin suciente para
poder enunciar una hiptesis acertada, para posteriormente demostrarla por
induccin.
o
1
= 1; o
2
= 1 + 3 = 4; o
3
= 1 + 3 + 5 = 9; o
4
= 1 + 3 + 5 + 7 = 16;
o
5
= 1 + 3 + 5 + 7 + 9 = 25; o
6
= 1 + 3 + 5 + 7 + 9 + 11 = 36;
o
7
= 1 + 3 + 5 + 7 + 9 + 11 + 13 = 49
Resulta de manera casi natural que
o
1
= 1
2
; o
2
= 2
2
= 4; o
3
= 3
2
= 9; o
4
= 4
2
= 16;
o
5
= 5
2
= 25; o
6
= 6
2
= 36 y o
7
= 7
2
= 49
Sobre esta base podemos suponer que
o
n
= :
2
Demostremos que esta hiptesis es verdadera
De los clculos anteriores resulta que la hiptesis es vlida para : = 1.
Hiptesis inductiva, para : = /,
o
|+1
= (/ + 1)
2
Probaremos que tambin debe ser vlida para : = / + 1,
En efecto,
o
|+1
= o
|
+ (2/ + 1)
pero o
|
= /
2
, de modo que
o
|+1
= /
2
+ (2/ + 1) = (/ + 1)
2
como queriamos demostrar.
22
4. Demustrese la desigualdad de Bernoulli
(1 + c)
n
1 + :c
donde c 0 y : es un nmero natural mayor que 1.
Demostracin.
La desigualdad es vlida para : = 2 puesto que:
(1 + c)
2
= 1 + 2c + c
2
y c
2
0 de aqu se deduce que
(1 + c)
2
1 + 2c
Hiptesis inductiva, para : = /,
(1 + c)
|
1 + /c (+)
Demostremos entonces que la desigualdad tambin se cumple para : = /+1,
o sea, que
(1 + c)
|+1
1 + (/ + 1) c
En efecto, por hiptesis, se tiene
1 + c 0
de modo que es vlida la desigualdad
(1 + c)
|+1
(1 + /c) (1 + c)
que se obtiene multiplicando por (1 + c) ambos miembros de la igualdad (+)
luego reescribiendo la ltima desigualdad tenemos
(1 + c)
|+1
1 + (/ + 1) c + /c
2
descartando el sumando /c
2
de la derecha de la ltima desigualdad, obten-
emos
(1 + c)
|+1
1 + (/ + 1) c
que es lo queramos probar.
23
1.6 Misterios de los Nmeros Naturales.
Observe la siguiente relacin numrica
100 = 1
3
+ 2
3
+ 3
3
+ 4
3
Cien como la suma de los primero cuatro naturales elevados al cubo. Otra
relacin interesante es la del nmero de das del ao, es decir, 365
10
2
+ 11
2
+ 12
2
= 365
Resulta ser la suma de los cuadrados de tres nmeros consecutivos em-
pezando con 10.
Pero tambin es
13
2
+ 14
2
= 365
la suma de los cuadrados de los siguentes nmeros.
En otra forma
10
2
+ 11
2
+ 12
2
+ 13
2
+ 14
2
2
= 365
Ahora, observe si elevamos a la quinta potencia todas las cifras 54748 y
sumamos el resultado
5
5
+ 4
5
+ 7
5
+ 4
5
+ 8
5
= 54 748
Y, no menos curiosa la siguiente relacin
1
3
+ 2
3
+ 3
3
+ 4
3
+ 5
3
+ 6
3
+ 5
3
+ 4
3
+ 3
3
+ 2
3
+ 1
3
= 666
1.7 Ejercicios Propuestos Sobre Nmeros Enteros
1. Prubese que, si a /, entonces ac /c
2. Demustre el principio de buen orden (PBO)
3. Demustre el teorema 1.4.1 parte 3
4. Demustrese que la suma de los cuadrados de los : primeros nmeros
naturales es igual a:
1
2
+ 2
2
+ 3
2
+ + :
2
=
:(: + 1) (2: + 1)
6
, i.c
n
I=1
i
2
=
:(: + 1) (2: + 1)
6
24
5. El producto 1 2 3 : se indica por :! (se lee ene factorial) . Donde
1! = 1, 2! = 2, 3! = 6, 4! = 24. Calclese
o
n
= 1 1! + 2 2! + 3 3! + + : :!
y prubese por induccin.
6. Para qu valores naturales de : se cumple la desigualdad 2
n
2: + 1?
Pruebe la desigualdad a partir del : encontrado
7. Demestrese que
1
2
_
1
+
1
2
_
2
+ +
1
2
_
:
2
_
:
para todo natural : 1.
8. Demustrese el teorema: La media geomtrica de varios nmeros naturales
no pasa de la media aritmtica de los mismos, es decir, siendo a
1
, a
2
, . . . , a
n
unos nmero naturales, se tiene
n
_
a
1
, a
2
, . . . , a
n
_
a
1
+ a
2
+ . . . + a
n
:
9. Demustrese: : planos que pasan por un mismo punto, sin que contengan
nunca tres una recta comn, dividen el espacio en
n
= :(: 1) + 2
partes.
10. Demustrese que
(1 + i)
n
= 2
n
2
_
cos
:
4
+ i sin
:
4
_
donde i =
_
1.
11. Demustrese el Binomio de Newton.
(a + /)
n
=
n
|=0
_
:
/
_
a
n|
/
|
25
2 Nmeros Enteros y Los nmeros Primos
"Dios puede que no juega a los dados con el universo, pero algo extrao est
pasando con los nmeros primos"
Paul Erds.
Desarrollaremos aqu las ideas ms fundamentales de la aritmtica: la di-
visibilidad, el mximo comn divisor, mnimo comn mltiplo y la denicin
de nmero primo, entre otros. Adems de tratar el teorema fundamental de la
aritmtica y algunas de sus aplicaciones en la matemtica.
2.1 Divisibilidad de Nmeros Enteros
El conjunto
Z = 3, 2, 1, 0, 1, 2, 3
es llamado el conjunto de nmeros enteros; los nmeros
Z
+
' 0 = 0, 1, 2, 3,
enteros no negativos; y los nmeros
Z
+
= 1, 2, 3,
enteros positivos.
Usualmente denotamos a los nmeros enteros con letras latinas mnusculas
a, /, , : , r, j, .
algunas veces para referirnos a una subclase de los enteros usamos la misma
notacin, as que, basta con indicar a cual hacemos referencia. (positivos, neg-
ativos, etc.)
2.1.1 Denicin de divisibilidad. Diremos que d divide a : y escribiremos
d[:, si : = cd para un c Z. Diremos tambin que : es un mltiplo
de d, que d es un divisor de :, o que d es un factor de :. Si d no
divide a : escribiremos d - :.
2.1.1 Teorema. La divisibilidad verica las siguientes propiedades:
a. :[: (propiedad reexiva)
b. d[: . :[:, entonces d[: (propiedad transitiva)
26
c. d[: . d[:, entonces d[ (a: + /:) (propiedad lineal)
d. d[: == ad[a: y a ,= 0 (propiedad de multiplicacin)
e. 1[: (1 divide a todos los enteros)
f. d[: . d[: == d[: + :
g. d[: + :. d[: == d[:
Demostracin.
a. :[: (propiedad reexiva)
: = : == reexividad de la igualdad
== : = 1 : identidad multiplicativa en Z
== :[: por denicin de divisibilidad
b. d[: . :[:, entonces d[: (propiedad transitiva)
d[: == : = d c def. divisibilidad
:[: == : = : c
,
def. divisibilidad
: = (d c) c
,
sustituyendo : = d c
: = d (c c
,
) Prop. asociativa de la multiplicacin
: = d c
,,
es ley de composicin interna
) d[: def. divisibilidad
c. d[: . d[:, entonces d[ (a: + /:) (propiedad lineal)
d[: == : = d c def. divisibilidad
d[: == : = d c
,
def. divisibilidad
a: = d c a multiplicando por a ambos lados
/: = d c
,
/ multiplicando por / ambos lados
a: + /: = d (c a) + d (c
,
/) Sumando miembro a miembro
a: + /: = d r + d j + j son leyes de composicin interna
a: + /: = d (r + j) Prop. distributiva
) d[ (a: + /:) def. divisibilidad
d. d[: == ad[a: y a ,= 0 (propiedad de multiplicacin)
d[: == : = d c def. divisibilidad
== a: = (ad) c multiplicado ambos lados por a
== ad[a: def. divisibilidad
e. 1[:, es evidente, puesto que : = 1 :
27
f. d[: . d[: == d[: + :
d[: == : = d c def. divisibilidad
d[: == : = d c
0
def. divisibilidad
== : + : = d (c + c
0
) sumando ambas igualdades
== : + : = d. c + c
0
= .
== d[: + : def. divisibilidad
g. d[: + :. d[: == d[:
d[: + : == : + : = d c def. divisibilidad
d[: == : = d c
00
def. divisibilidad
== (: + :) : = d (c c
00
) restando ambas igualdades
== : = d.
0
c + c
00
= .
0
== d[: def. divisibilidad
2.2 Mximo Comn Divisor
2.2.1 Teorema. El algoritmo de la divisin. Dados dos enteros cua-
lesquiera : j :, con : 0, existen los enteros nicos j r tales que
: = : + r, 0 _ r < :
Demostracin.
Sea el conjunto de enteros no negativos dado por
= r : r = : :j, j Z, r _ 0
Es un conjunto no vaco de enteros no negativos, en virtud del PBO admite
mnimo, que designaremos : :. Entonces : = : + r y r _ 0. Ahora
demostraremos que r < :. Supongamos r _ :. Entonces 0 _ r : < r. Pero
r : ya que r : = : :( + 1). Por lo tanto r : es un elemento de
menor que su elemento mnimo r. Esta contradiccin demuestra que r < :.
Los nmeros , r son nicos, ya que si existiesen otros con estas condiciones
,
, r
,
, entonces : + r = :
,
+ r
,
, de donde :[
,
[ = [r
,
r[ . Luego si
[
,
[ 0, entonces [
,
[ _ 1, por lo que [r
,
r[ = :[
,
[ _ : (+) .
Ahora tenemos que r _ 0, implica r _ 0 y as r
,
r _ r
,
< : luego
r < : _ : + r
,
== : < r
,
r. Entonces : < r
,
r < :, es decir
[r
,
r[ < :, lo que constituye una contradiccin para (+) , lo cual completa la
demostracin.
28
2.2.1 Denicin. Un nmero entero positivo d se denomina divisor comn
de los nmeros enteros positivos :
1
, :
2
, :
3
, , :
I
si y solo si d es
divisor de :
1
, :
2
, :
3
, , :
I
. Puesto que solamente existe un nmero
nito de divisores de cualquier entero diferente de cero, solamente
existen un nmero nito de divisores comunes de :
1
, :
2
, :
3
, , :
I
,
luego el mayor de los divisores comunes se llama mximo comn di-
visor (:cd) de :
1
, :
2
, :
3
, , :
I
, y se denota :cd (:
1
, :
2
, :
3
, , :
I
)
o simplemente (:
1
, :
2
, :
3
, , :
I
) . Si el mximo comn divisor es 1
decimos que los nmeros son coprimos.
2.2.2 Teorema. Algoritmo de Euclides. Se dan dos enteros positivos
: j :, tales que : - . Se escribre r
0
= :, r
1
= :, y aplicando
repetidamente el algoritmo de la divisin obteniendo un conjunto de
restos r
2
, r
3,
, r
n
, r
n+1
denidos sucesivamente por las relaciones
r
0
= r
1
1
+ r
2
0 < r
2
< r
1
,
r
1
= r
2
2
+ r
3
0 < r
3
< r
2
,
.
.
.
.
.
.
r
n2
= r
n1
n1
+ r
n
0 < r
n
< r
n1
,
r
n1
= r
n
n
+ r
n+1
r
n+1
= 0
Entonces r
n
, es el ltimo resto no nulo de este proceso, es :cd (:, :) , el
mximo comn divisor de : j :.
Demostracin.
Existe un momento en que r
n+1
= 0 puesto que los r
I
son decreciente y no
negativos. La ltima relacin, r
n1
= r
n
n
demuestra que r
n
[r
n1
. La anterior
a la ltima prueba que r
n
[r
n2
. Por induccin vemos que r
n
divide a cada r
I
.
En particular r
n
[r
1
= : y r
n
[r
0
= :, luego r
n
es un divisor comn de : j :.
Ahora sea d otro divisor comn de : j :. La denicin de r
2
prueba que d[r
2
.
La relacin que le sigue prueba que d[r
3
. Por induccin, d divide a cada r
I
luego
d[r
n
. Por lo tanto r
n
es el mcd requerido.
2.2.3 Teorema. Si d es el mximo comn divisor de : j :, entonces existen
los enteros a j / tales que d = :cd (:, :) = a: + /:
Demostracin.
Partiendo del teorema 2.2.2 tenemos
: = :
1
+ r
2
0 < r
2
< r
1
,
: = r
2
2
+ r
3
0 < r
3
< r
2
,
.
.
.
.
.
.
r
n2
= r
n1
n1
+ r
n
0 < r
n
< r
n1
,
r
n1
= r
n
n
+ r
n+1
r
n+1
= 0
29
Al considerar las ecuaciones en el orden propuesto, se obtiene r
2
como com-
binacin lineal de : j : :
r
2
= : :
1
sustituyendo en la segunda ecuacin se obtiene r
3
como combinacin lineal
de : j : :
r
3
= :r
2
2
r
3
= :
2
(: :
1
)
Si reiteramos este procedimiento, entonces en la penltima ecuacin obten-
emos r
n
, que es el mcd de : j :, como combinacin lineal de estos nmeros.
,
n
_
= 1.
Demostracin.
a. Si d = (:, :), es claro que (:, :) = (:, :) . puesto que independientemente
del orden d dividir a :, : y podr expresarse como combinacin lineal
de ellos.
b. Si d = (:, (:, :)) , llamemos d
0
= (:, :) , por el teorema 2.2.3 se tiene que
d
0
= :r + :j luego d = a: + (:r + :j) /. De aqu se sigue que d =
[a: + :(r/)] + : (j/) , eligiendo a = /r, se tiene d = [:(/r) + :(r/)] +
: (j/) = [:/ + :/] r+: (j/) . Finalmente tomando d
1
= (:, :) = :/+:/,
se obtiene d = d
1
(r) + : (j/) , por lo tanto d = (d
1
, :) = ((:, :) , :)
c. Sea d = (:, :) y sea c = (c:, c:) . Queremos demostrar que c = [c[ d.
Escribimos d = :r + :j, por el teorema 2.2.3. Entonces tenemos cd =
:cr+:cj (+) . Por lo tanto cd[c puesto que cd divide a :c y :c. Adems,
la ecuacin (+) prueba que c[cd puesto que c[:c y c[:c. Por lo tanto
[c[ = [cd[ , c = [c[ d
30
2.2.5 Teorema. Lema de Euclides. Si :[:c y si (:, :) = 1, entonces :[c
Demostracin. Puesto que (:, :) = 1 podemos escribir 1 = :a +:/ (por
el teorema 2.2.3). Por consiguiente c = :ac + :/c. Pero :[:ac y :[:/c, luego
:[c (por teorema 2.1.1.f)
2.2.1 Ecuaciones Lineales Diofnticas.
Una ecuacin lineal diofntica es una ecuacin de la forma
:a + :/ = c
donde :, : y c son nmeros enteros y a, / variables que recorren todo Z.
2.2.6 Teorema. Si (:, :) [c entonces la ecuacin lineal diofntica :a+:/ = c
siempre tiene solucin entera.
Demostracin. Supongamos que la ecuacin :a + :/ = c tiene como
solucin a
1
y /
1
y que d = (:, :) no divide a c y sean a
0
y /
0
una solucin para
:a + :/ = c.
De esta manera tenemos
:a
1
+ :/
1
= c
:a
0
+ :/
0
= d
Por el algoritmo de la divisin tenemos c = d +r con 0 < r < d puesto que
d no divide a c.
Entonces
:a
1
+ :/
1
= d + r
= (:a
0
+ :/
0
) + r
= :(a
0
) + :(/
0
) + r
y por tanto
:(a
1
a
0
) + :(/
1
/
0
) = r
Lo anterior es una contradiccin, puesto que hemos obtenido una combi-
nacin lineal de : y : y 0 < r < d, esto contradice que d era la combinacin
lineal mnima (es decir, d no era el mximo comn divisor). La contradiccin
suirgi de suponer que :a + :/ = c poda tener solucin aunque d - c, por lo
que hemos demostrado el teorema.
31
2.2.7 Teorema. La ecuacin :a+:/ = c tiene solucin si y slo si d = (:, :)
divide a c. Adems, las soluciones son los nmeros de la forma.
a = a
0
+
:t
d
, / = /
0
:t
d
donde a
0
y /
0
son soluciones particulares y t es cualquier entero.
Ejemplo. Encontrar los valores r y j que satisfaga
243r + 198j = 9 (+)
Primeramente vericamos que tenga solucin, esto es que (243, 198) divida
a 9. Como (243, 198) = 9 (+) tiene solucin.
243r + 198j = 9 dividiendo por 9 obtenemos
27r + 22j = 1 (++) que es equivalente a (+)
Una solucin particular para (++) es r = 9 y j = 11, puesto que, 27 (9) +
22 (11) = 1. As la soluciones para (+) son
r = 9 + 22t, j = 11 27t
En particular para t = 1 tenemos; r = 31, j = 38 que verican 243 (31) +
198 (38) = 9.
2.3 Mnimo Comn Mtiplo
2.3.1 Denicin. Los nmeros enteros positivos :
1
, :
2
, :
3
, , :
I
, tienen un
mltiplo comn / si :
=
[n,n]
J
32
2.3.1 Teorema. Si / es cualquier mltiplo comn de :
1
, :
2
, :
3
, , :
I
, en-
tonces [:
1
, :
2
, :
3
, , :
I
] [/. Esto equivale a decir que si / denota a
[:
1
, :
2
, :
3
, , :
I
] , entonces 0, /, 2/ 3/, ... incluyen todos los
mltiplos comunes de :
1
, :
2
, :
3
, , :
I
.
Demostracin. Sea / cualquier mltiplo comn, divdase / entre /. Por el
teorema 2.2.1, existen un cociente y un residuo r, tales que, / = / + r, 0 _
r < /. Debe probarse que r = 0. Si r ,= 0 se argumenta del modo siguiente.
Para cada i = 1, 2, ..., , se sabe que :
I
[/ y :
I
[/, de modo que :
I
[r. As que, r es
un mltiplo comn positivo de :
1
, :
2
, :
3
, , :
I
contrario al hecho de que / es
el menor positivo de todos los mltiplos comunes. Por tanto debe ser r = 0 y
/[/.
2.3.2 Teorema. Si c 0, [c:, c:] = c [:, :] . Tambin [:, :](:, :) = [: :[
Demostracin. Recordemos que, si a[/ . /[a == a = /. Ya que [c:, c:] es
un mltiplo de c:, con mayor razn es mltiplo de c y por tanto, puede escribirse
en la forma c/
1
. Denotando [:, :] por /
2
, se observa que :[/
2
, :[/
2
, c:[c/
2
y
c:[c/
2
,entonces, c/
1
[c/
2
. De donde /
1
[/
2
. Por otra parte, c:[c/
1
, c:[c/
1
, :[/
1
, :[/
1
y as /
2
[/
1
. Se concluye que /
1
= /
2
y as se establece la primera parte del teo-
rema.
Empecemos con el caso especial donde (:, :) = 1. Ahora bien, [:, :] es
un mltiplo de :, digamos c:. Entonces :[c: y (:, :) = 1, as por el teorema
2.2.5, :[:. De aqu que : _ c, :: _ c:. Pero ::, siendo un mltiplo comn
positivo de : y :, no puede ser menor que el mnimo comn mltiplo y, por
tanto, :: = :: = [:, :] .
Regresemos al caso general, donde (:, :) = q 1, se tiene
_
n
,
n
_
= 1. Al
aplicar el resultado del prrafo precedente, se obtiene
_
:
q
,
:
q
_ _
:
q
,
:
q
_
=
:
q
:
q
Al multiplicarse por q
2
y usando el teorema 2.2.4.e y la proposicin 2.3.1,
as como la primera parte del presente teorema, se obtiene [:, :] (:, :) = ::
2.4 Nmeros Primos
2.4.1 Denicin. Un entero : se llama primo si : 1 y si los nicos divisores
positivos de : son 1 y :. Si : 1 y no es primo, entonces : se llama
compuesto.
Ejemplos: Los nmeros primos menores que 100 son:
33
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89 j 97.
2.4.1 Teorema. Cada entero : 1 es primo o es producto de primos.
Demostracin. Sea : 1. Supongamos que no es divisible por ningn
primo. En particular, : mismo no puede ser primo pues sera divisible por si
mismo. Como : no es primo, tiene algn divisor positivo d
1
distinto de 1 y :,
es decir 1 < d
1
< :. Pero d
1
no puede ser primo por que dividira a :. Entonces
existe un d
2
que divide a d
1
tal que 1 < d
2
< d
1
< :. Como d
2
no puede ser
primo porque divide a :, repetimos el argumento con d
2
para obtener d
3
tal que
1 < d
3
< d
2
< d
1
< :. Como d
3
no puede ser primo existe un d
4
que divide a d
3
y as sucesivamente. Esto lleva a una contradiccin pues no es posible continuar
indenidamente este proceso ya que entre 1 y : slo hay un nmero nito de
trminos. Por tanto, : debe ser divisible entre algn primo.
2.4.2 Teorema. (Euclides)Existen innitos nmeros primos.
Demostracin. Sea : un nmero natural arbitrario. Sabemos que : y
:+1 son nmeros enteros positivos consecutivos, deben ser coprimos. Entonces
el nmero
2
= :(:+1) debe tener, como mnimo, dos factores primos distintos.
Anlogamente, los nmeros enteros :(: +1) y :(: +1) +1, son consecutivos y,
por tanto, coprimos . En consecuencia, el nmero
3
= :(:+1) [:(: + 1) + 1]
debe tener, como mnimo, tres factores primos diferentes. Este proceso puede
ser continuado indenidamente, as que el conjunto de los nmeros primos es
innito.
2.4.3 Si un primo j no divide a :, entonces (j, :) = 1
Demostracin. Sea d = (j, :) . Entonces d[j, como j es primo se tiene que
d = 1 d = j. Pero d[: luego por hiptesis debe ser d ,= j. En consecuencia
d = 1.
2.4.4 Teorema. Si un primo j divide a ::, entonces j[: j[:. En general,
si un primo j divide a un producto :
1
:
2
:
3
:
I
, entonces j divide a uno,
por lo menos, de los factores.
Demostracin. Supongamos que j[:: y j - :. Veremos que j[:. Por el
teorema 2.4.3, (j, :) = 1, luego por el lema de Euclides (teorema 2.2.5), j[:.
La generalizacin para el producto :
1
:
2
:
3
:
I
queda a modo de ejercicio.
34
2.4.5 Teorema. Existen arbitrariamente grandes vacos en la serie de los
primos. Dicho de otra manera, dado cualquier entero /, existen / enteros
compuestos consecutivos.
Demostracin. Recordemos el factorial de un nmero. Sea / un entero el
factorial de / /! es: /! = 1 2 3 /
Considrense los enteros
(/ + 1)! + 2, (/ + 1)! + 3, , (/ + 1)! + /, (/ + 1)! + / + 1.
Cada uno de estos es compuesto porque , divide a (/ + 1)!+, si 2 _ , _ /+1.
Los nmeros primos estn espaciados irregularmente, tal y como lo sugiere
el ltimo teorema. Si denotamos el nmero de primos que no excede a r por
(r) , podra preguntarse acerca de la naturaleza de esta funcin. Uno de los
resultados ms impresionantes de la teora avanzada de nmeros, es
lim
r!1
(r) log r
r
= 1
Este resultado notable se llama el teorema del nmero primo, y su
demostracin se la debemos a J. Hadamard y C.J de la Valle Poussin quienes
independientemente lo demostraron en 1896.
2.5 El teorema Fundamental de la Aritmtica.
2.5.1 Teorema fundamental de la aritmtica. Cada entero : 1 se puede
representar como producto de factores primos en forma nica, salvo el
orden de los factores.
Demostracin. Usaremos la induccin sobre :. El teorema es verdadero
para : = 2. Suponemos, entonces, que es verdadero para todo entero mayor que
1 y menor que :. Probaremos que es verdadero tambin para :. Si : es primo
no hay nada que probar. Por lo tanto suponemos que : es compuesto y que
admite dos descomposiciones, que son
: = j
1
j
2
j
I
=
1
(+)
Queremos demostrar que i = , y que cada j es igual a algn . Dado que j
1
divide al producto
1
de forma que j
1
[
1
. Entonces j
1
=
1
ya que j
1
y
1
son primos. En (+) podemos dividir por j
1
obteniendo
:
j
1
= j
2
j
I
=
2
35
Si i 1 , 1, entonces 1 <
n
1
< :. La hiptesis de induccin nos dice
que las dos descomposiciones de
n
1
son idnticas, prescindiendo del orden de los
factores. Por consiguiente i = , las descomposiciones de (+) son tambin idn-
ticas, si prescindimos del orden de los factores. Esto completa la demostracin.
o ms compactamente
: =
I=1
j
oi
I
Si la descomposicin en factores primos de : es j
o1
1
j
oj
, entonces todos
los divisores de : son los nmeros de la forma
d = j
o
1
1
j
o
2
2
j
o
j
; 0 _ ,
1
_ c
1
, 0 _ ,
2
_ c
2
, . . . , 0 _ ,
_ c
Por ejemplo.
15925 = 5
2
7
2
13
1800 = 2
3
3
2
5
2
2.5.1 Denicin. Por [r] denotamos la funcin parte entera de r. Se dene
para todos los valores reales de r y representa el entero mayor, no
superior a r.
[r] : R Z
Ejemplos.
[5] = 5; [2.3] = 2; [3.25] = 4
2.5.2 Teorema. El exponente, con el que un nmero primo j gura en el
producto :!, es igual a
_
:
j
_
+
_
:
j
2
_
+
_
:
j
3
_
+ +
_
:
j
I
_
36
Demostracin. En efecto, el nmero de factores en el producto :! que son
mltiplos de j, es igual a
_
n
_
, entre ellos, mltiplos de j
2
hay
_
n
2
_
; entre estos
ltimos, mltiplos de j
3
hay
_
n
3
_
, etc. La suma de los nmeros indicados da
precisamente el exponente buscado, puesto que cada factor en el producto :!
que sea mltiplo de j
n
, pero no de j
n+1
, se cuenta del modo indicado : veces,
como mltiplo de j, j
2
, j
3
, . . . y, nalmente, de j
n
.
Ejemplo. El exponente con el que el nmero 5 gura en el producto 35! es
igual a
_
35
5
_
+
_
35
25
_
= 7 + 1 = 8
2.6 Ejercicios Resueltos sobre divisibilidad y factores pri-
mos.
1. Probar que cualquiera que sea : N 11[3
2n+2
+ 2
6n+1
Solucin. Procederemos haciendo induccin en :.
Para : = 1; 3
2(1)+2
+ 2
6(1)+1
= 209 = 19 11
Hiptesis inductiva 11[3
2|+2
+2
6|+1
Tsis de induccin 11[3
2(|+1)+2
+2
6(|+1)+1
3
2(|+1)+2
+2
6(|+1)+1
3
2|+2
3
2
+2
6|+1
2
6
reescribiendo la tsis
3
2|+2
3
2
+2
6|+1
2
6
+0 elemento neutro de (Z, +)
3
2|+2
3
2
+2
6|+1
2
6
+3
2
2
6|+1
3
2
2
6|+1
0 =
_
3
2
2
6|+1
_
_
3
2
2
6|+1
_
_
3
2|+2
3
2
+3
2
2
6|+1
_
+
_
2
6|+1
2
6
3
2
2
6|+1
_
Asociatividad
3
2
_
3
2|+2
+ 2
6|+1
_
+2
6|+1
_
2
6
3
2
_
Prop. distributiva
3
2
_
3
2|+2
+2
6|+1
_
+2
6|+1
55 11[3
2
_
3
2|+2
+ 2
6|+1
_
hiptesis y 55 = 11 5
) 11[3
2(|+1)+2
+2
6(|+1)+1
11[3
2
_
3
2|+2
+ 2
6|+1
_
.11[2
6|+1
55
luego divide a suma
2. Probar que 3
4n+2
+2 4
3n+1
es mltiplo de 17
Solucin. Procederemos haciendo induccin en :.
Para : = 1; 3
4(1)+2
+ 2 4
3(1)+1
= 1241 = 73 17 Mltiplo de 17
Hiptesis inductiva 17[ 3
4|+2
+ 2 4
3|+1
Tesis de induccin 17[ 3
4(|+1)+2
+ 2 4
3(|+1)+1
37
3
4(|+1)+2
+2 4
3(|+1)+1
= 3
4|+2
3
4
+2 4
3|+1
4
3
(reescribiendo la tesis)
3
4|+2
3
4
+2 4
3|+1
4
3
+0
_
elemento neutro de (Z, +) ; 0 =
_
2 3
4
4
3|+1
_
_
2 3
4
4
3|+1
__
_
3
4|+2
3
4
_
+
_
2 3
4
4
3|+1
_
+
_
2 4
3|+1
4
3
_
_
2 3
4
4
3|+1
_
3
4
_
3
4|+2
+2 4
3|+1
_
+ 2 4
3|+1
_
4
3
3
4
_
(Prop. asociativa y distributiva)
3
4
_
3
4|+2
+2 4
3|+1
_
+2 4
3|+1
(17) (17 divide a ambos sumandos, luego 17 divide a la suma.)
) 17[ 3
4(|+1)+2
+ 2 4
3(|+1)+1
3. Probar que, si 2
n
1 es primo, entonces : es primo.
Demostracin.
Procederemos por contrarrecproco, esto es:
Si : es compuesto, entonces 2
n
1 es compuesto.
Como : es compuesto entonces : = :
0
j, adems 2
n
1 = 2
n
1
n
, luego
podemos factorizar como sigue:
2
n
1
n
= 2
(n0)
1
(n0)
= (2
)
n0
(1
)
n0
= (2
)
n0
(1
)
n0
y apartir de
esto ltimo tenemos
(2
)
n0
(1
)
n0
= (2
)
_
(2
)
n01
+ (2
)
n01
(1
) + (2
)
n02
(1
)
2
+ + (2
) + (1
)
n01
_
luego el factor (2
2
_
2rj
_
Entonces, si : = 2/ +1, 4
n
= 4
2|+1
= 4
2|
4 =
_
2
_
2 2
|
_
4
, as que podemos
escribir
4
n
+ :
4
=
_
2
_
2 2
|
_
4
+ :
4
=
_
2
n
+ :
2
+ 2
|+1
:
_ _
2
n
+ :
2
2
|+1
:
_
Comprobemos nalmente que el menor de los dos factores anteriores no es
igual a 1.
_
2
n
+ :
2
2
|+1
:
_
= 2
2|+1
+ (2/ + 1)
2
2
|+1
(2/ + 1) = 2 2
2|
2
2
2|
(2/ + 1) + (2/ + 1)
2
=
_
2
|
(2/ + 1)
2
+ 2
2|
_ 5 pues / 0.
10. Hallar todos los nmeros naturales : tales que
:
2
+ 1, :
2
+ 3, :
2
+ 7, :
2
+ 9, :
2
+ 15
sean todos primos.
Solucin.
1
= :
2
+1
2
= :
2
+3
3
= :
2
+7
4
= :
2
+9
5
= :
2
+15
Veamos que el nico natural vlido es : = 2
Claramente : = 1 no es solucin, pues slo sera primo
1
.
Si : = 2,
1
= 5,
2
= 7,
3
= 11,
4
= 13,
5
= 19 que son todos primos.
Evidentemente, si los cinco nmeros primos han de ser primos : ha de ser
par, pues todos los primos mayores que dos son impares.
Examinemos los nmeros pares : 2 elevados al cuadrado:
Si : acaba en 2, :
2
acaba en 4 con lo que
1
acaba en 5, siendo mltiplo
de 5.
1
no es primo.
Si n acaba en 4, :
2
acaba en 6 con lo que
4
acaba en 5, siendo mltiplo
de 5.
4
no es primo
Si : acaba en 6, :
2
acaba en 6 con lo
4
acaba en 5, siendo mltiplo de
5.
4
no es primo.
40
Si : acaba en 8, :
2
acaba en 4 con lo que
1
acaba en 5, siendo mltiplo
de 5.
1
no es primo
Si : acaba en 0, :
2
acaba en 0 con lo que
5
acaba en 5, siendo mltiplo
de 5.
5
no es primo.
Por tanto, sea cual sea el valor par de : 2 siempre encontraremos al menos
uno de los 5 nmeros mltiplo de 5.
11. (divisibilidad por 2) El entero es divisible por 2 si el dgito de las unidades
es par.
Dicho en otras palabras para un entero de cuatro cifras = a/cd es
divisible por 2 si d es divisible por 2,es decir
2[d == 2[
Solucin.
Aunque la prueba la haremos para nmeros de 4 cifras, tiene validez general.
Escribamos el nmero = a/cd en la forma:
= 1000a + 100/ + 10c + d
Es claro que 2 es divisor de 10, 100 y 1000, por teorema 2.1.1.c se tiene que
2[ (1000a + 100/ + 10c) y por hiptesis 2[d, entonces por el mismo resultado se
sigue que, 2[ (1000a + 100/ + 10c + d) , es decir 2[
12. Encontrar todos los divisores de 756.
Solucin. Del teorema 2.5.1 tenemos que 756 = 2
2
3
3
7, de aqu tenemos
que los divisores sean:
2
0
3
0
7
0
= 1 2
0
3
2
7 = 63 2
1
3
1
7
0
= 6 2
1
3
3
7 = 378 2
2
3
2
7
0
= 36
2
0
3
0
7
1
= 7 2
0
3
3
7
0
= 27 2
1
3
1
7
1
= 42 2
2
3
0
7
0
= 4 2
2
3
2
7 = 252
2
0
3
1
7
0
= 3 2
0
3
3
7 = 189 2
1
3
2
7
0
= 18 2
2
3
0
7 = 28 2
2
3
3
7
0
= 108
2
0
3
1
7 = 21 2
1
3
0
7
0
= 2 2
1
3
2
7 = 126 2
2
3
1
7
0
= 12 2
2
3
3
7 = 756
2
0
3
2
7
0
= 9 2
1
3
0
7 = 14 2
1
3
3
7
0
= 54 2
2
3
1
7 = 84
41
2.7 Dnde estn los enteros y los primos?
Los nmeros primos y la naturaleza.
No solo los seres humanos utilizamos los nmeros primos para protegernos,
existe una especie de cigarra que se vio obligada a protegerse de un cierto
parsito, y para ello no encontr mejor herramienta que los nmeros primos.
El siguiente ejemplo nos lo presenta Simon Singh en su libro El enigma de
Fermat
Las cigarras peridicas, muy especialmente la Magicicada septendecim, tiene
el ciclo vital ms largo de todos los insectos. Su nico ciclo vital empieza bajo
tierra, donde las ninfas absorben pacientemente los zumos de las races de los
rboles. Entonces, despus de 17 aos de esperar, las cigarras adultas emergen
de la tierra en gran nmero e invaden temporalmente nuestro paisaje. Unas
semanas despus se aparean, ponen los huevos y se mueren. La cuestin que
inquietaba a los zologos era: por qu el ciclo vital de las cigarras es tan largo?
Qu quiere decir que el ciclo vital sea un nmero primo de aos? Otra especie,
la Magicicada tredecim, aparece cada 13 aos, lo que indica que los ciclos vitales
que son nmeros primos dan algn tipo de ventaja para la conservacin de la
vida.
Segn una teora, la cigarra tiene un parsito que tambin recorre un ciclo
vital, y que la cigarra est intentando evitar. Si el parsito tiene un ciclo vital,
pongamos de 2 aos, entonces la cigarra quiere evitar un ciclo de vital que sea
divisible por 2, si no el parsito y la cigarra coincidirn regularmente. De esta
manera parecida, si el parsito tiene un ciclo vital de tres aos, entonces la
cigarra querr evitar un ciclo vital que sea divisible por 3, si no el parsito y la
cigarra volvern a coincidir. Al n, si quiere evitar encontrarse con su parsito,
la mejor estrategia de la cigarra es darse un ciclo de vida largo, que dure un
nmero primo de aos. Como nada dividir al 17, la Magicicada septendecim
42
raramente se encontrar con su parsito. Si el parsito tiene un ciclo de 2 aos
solo se encontrara cada 34, y si tiene un ciclo vital ms largo, de 16 aos por
ejemplo, solo se encontrarn cada 272 aos.
El parsito, en su lucha por sobrevivir, solo tiene dos ciclos vitales que in-
crementan las frecuencias de las coincidencias: El ciclo anual o el mismo de 17
aos que la cigarra. Ahora bien, es poco probable que el parsito pueda sobre-
vivir y reaparecer 17 aos seguidos, porque durante las primeras 16 apariciones
no habr cigarras a las cuales parasitar. De otro modo, si quieren conseguir el
ciclo de 17 aos, las generaciones de parsitos tendrn que evolucionar primero
durante un ciclo vital de 16 aos. Esto signicara que, en algn estadio evolu-
tivo de su vida, el parsito y la cigarra no coincidiran durante 272 aos! En
cualquier caso el largo ciclo vital de las cigarras y el nmero primo de aos, las
protege.
Esto podra explicar por qu el supuesto parsito no ha sido encontrado
nunca! En la lucha por coincidir con la cigarra, el parsito probablemente ha
continuado alargando su ciclo vital hasta conseguir traspasar la barrera de los
16 aos. Entonces dejar de coincidir durante 272 aos; mientras tanto, su falta
de coincidencia con la cigarra lo habr llevado a la extincin. El resultado es
una cigarra con el ciclo vital de 17 aos; ciclo que ya no le hace falta porque su
parsito ya no existe.
Algo sobre la distribucin de los primos.
Cuenta la leyenda que el matemtico y fsico polaco Stanislaw Marcin Ulam
(1909-1981) (quien trabaj en el proyecto Manhattan), asista a una aburrida
conferencia en 1963, entonces garabateando en una hoja de papel, dispuso la
serie de nmeros naturales en forma de una espiral; empezando con el 1, a la
derecha el 2, hacia arriba el 3, a la izquierda de este el 4, ms a la izquierda el
5, luego hacia abajo el 6, etc. Como se muestra en la gura.
43
Posteriormente destac en este arreglo a los nmeros primos y observ cierto
patrn, que cumplan los primos en la espiral, estos tienden a aparecer en diag-
onales alternas y en las que no hay primos estn los nmeros pares.
44
2.8 Ejercicios Propuestos
1. Determnese cules de las siguientes armaciones son verdaderas y cules
falsa.
a. Si un nmero es divisible entre 6, es divisible entre 3___
b. Si un nmero es divisible entre 3, es divisible entre 6___
c. Si un nmero es divisible entre 2 y divisible entre 3, es divisible entre 6___
d. Si un entero no es divisible entre entre 6, no es divisible entre 9___
e. Si un nmero es divisible entre 6, no es divisible entre 9___
2. Demustrese que la suma de los cubos de tres nmeros naturales sucesivos
es divisible por 9.
3. Prubese que la suma 11
n+2
+12
2n+1
es divisible por 133 cualquiera que sea
el nmero entero : _ 0
4. Prubese las siguientes armaciones
i. 6[2:
3
+ 3:
2
+ :
ii. 169[3
3n+3
26: 27
iii. 7
2n+1
48: 7 es divisible por 288
iv. 3 5
2n+1
2
3n+1
es divisible por 17
5. Demustrese la regla de divisibilidad por 3. El entero N es divisible por 3 si
la suma de sus dgitos es divisible por 3. Dicho de otra manera para un
entero de cuatro cifras
= a/cd es divisible por 3, si a + / + c + d es divisible por 3, es decir
3[(a + / + c + d) = 3[
6. Establzcase una demostracin o un contraejemplo para cada una de las
armaciones siguientes.
i. Si a
n
[/
n
== a[/
ii. Si :
n
[:
n
== :[:
iii. Si a
n
[2/
n
y : 1 == a[/
7. Prubese los incisos d y e del teorema 2.2.4.
8. Prubese la proposicin 2.3.1
45
9. Prubese el teorema 2.2.7
10. Encuntrese el mcd de 576 y 73 y nmeros r y j tales que 576r + 73j =
(576, 73)
11. Hllese dos nmeros sabiendo que su mximo comn divisor es 120 y la
diferencia de sus cuadrados 345600
12. Hllese dos nmeros naturales sabiendo que su producto es 3024 y su mn-
imo comn mltiplo 504.
13. Determnese dos nmeros naturales cuyo mximo comn divisor es 18, sa-
biendo que uno de ellos tiene 21 divisores y el otro tiene 10.
14. Si dos nmeros son coprimos y su mnimo comn mltiplo es 22829, hllese
dichos nmeros.
15. Prubese que no existen los nmeros r y j que satisfagan r + j = 100 y
(r, j) = 3
16. Encuntrese los valores de r y j (si existen) que satisfagan.
i. 71r 50j = 1
ii. 43r + 64j = 1
iii. 93r 81j = 3
17. Dados dos nmeros primos distintos j y , encuntrese el nmero de difer-
entes divisores positivos de:
a. j b. j
2
c. j
2
2
d. j
n
n
18. Encuntrese el menor nmero natural : tal que :! es divisible por 990
19. Prubese que si un nmero tiene un nmero impar de divisores, entonces
este es un cuadrado perfecto.
20. Probar que si : es compuesto tiene un divisor primo que satisface j _
_
:
46
3 Nmeros de Fibonacci
Es como preguntar por qu la novena sinfona de Beethoven es bella. Si no ve
que es as, nadie se lo puede explicar. Yo s que los nmeros son bellos. Si no
lo son nada lo es.
Paul Erds.
El conjunto de los nmeros de Fibonacci es muy particular por encontrarse
vinculado a muchas de las actividades del hombre, sobre todo aquellas que
implican armona. En este captulo estudiaremos las principales caratersticas
aritmticas de estos nmeros como: la divisibilidad, mximo comn divisor,
paridad entre otras. Tambin mostraremos algunas de sus aplicaciones.
3.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.
47
Pasemos ahora de los conejos a los nmeros y consideremos la sucesin
numrica
3.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 captulo.
Enpecemos calculando la suma de los : primeros nmeros de Fibonacci. As
podemos enunciar el teorema siguiente
3.1.1 Teorema. La suma de los primeros : nmeros de Fibonacci esta dada
por
n
I=1
I
=
1
+
2
+ +
n
=
n+2
1
Demostracin. Claramente, tenemos de la denicin de la sucesin de
Fibonacci que
1
=
3
2
2
=
4
3
.
.
.
.
.
.
.
.
.
n1
=
n+1
n
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
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.
48
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,
. . .
3.1.1 Lema. Si \ es una solucin de la ecuacin (1) y c es una constante, tam-
bin la sucesin c\ (es decir, la sucesin c
1
, c
2
, c
3,
. . .) es una solucin
de esta ecuacin.
Demostracin. Multiplicando por c ambos miembros de la igualdad
n
=
n1
+
n2
obtenemos
c
n
= c
n1
+ c
n2
lo que prueba el lema.
3.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).
49
3.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 ecuacin (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
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 trminos
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)
50
La suma c
1
\
0
+ c
2
\
00
coincidir con \ , esto lo garantiza los lemas 3.1.1 y
3.1.2. El sistema de ecuaciones (4) tiene solucin respecto a c
1
y c
2
en virtud de
la proposicin 3.1.1, 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
2
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 encon-
trar dos soluciones no proporcionales de la misma. Encontremos estas soluciones
entre las progresiones geomtricas. De acuerdo al lema 3.1.1, basta considerar
las progresiones cuyos primeros trminos son 1. 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 las 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+
2
p
5
2
_
+ c
2
_
1
2
p
5
2
_
= 1
51
Resolvindolo, encontramos
c
1
=
1 +
2
_
5
2
2
_
5
y c
2
=
_
1
2
_
5
2
2
_
5
_
de manera que
n
= c
1
c
n1
+ c
2
,
n1
=
_
1+
2
p
5
2
2
p
5
__
1+
2
p
5
2
_
n1
_
1
2
p
5
2
2
p
5
__
1
2
p
5
2
_
n1
es decir,
n
=
_
1+
2
p
5
2
_
n
_
1
2
p
5
2
_
n
2
_
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).
3.1.2 Teorema. El nmero de Fibonacci
n
es el entero ms prximo al
nmero
o
n
2
p
5
, o sea, es el entero ms prximo al n-simo trmino a
n
de la
progresin geomtrica cuyo primer trmino es
o
2
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
2
_
5
c
n
2
_
5
c
n
,
n
c
n
2
_
5
=
[,[
n
2
_
5
Puesto que , = 0.618033 . . . , se tiene [,[ < 1, es decir [,[
n
< 1 para todo
:; con mayor razn
joj
n
2
p
5
<
1
2
ya que
2
_
5 2. lo que prueba el teorema.
Por ejemplo, calculemos para : = 13
c
13
2
_
5
=
_
1+
2
p
5
2
_
13
2
_
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.
52
3.2 Propiedades Aritmticas de los Nmeros de Fibonacci.
Estudiaremos algunas propiedades sobre la divisibilidad, mximo comn divisor
y otras caracterizaciones aritmticas de los nmeros de Fibonacci.
3.2.1 Lema. Probar la vlidez de la siguiente frmula para los nmero de
Fibonacci
n+n
=
n1
n
+
n
n+1
3.2.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 3.2.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.
3.2.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.
Ejemplos
:cd (144, 233) = 1
:cd (21, 34) = 1
Observemos los siguientes casos
53
(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?
3.2.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 ::
: = :
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
|
|
Luego por teorema 2.2.2 resulta que 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 3.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
_
54
Comparando estas igualdades, encontramos
(
n
,
n
) =
_
:t
,
:t1
_
Como r
|
divide a r
|1
, luego por el teorema 3.2.1, debe ser que
:t
[
:t1
, debe
ser por lo tanto
_
:t
,
:t1
_
=
:t
y recordando, nalmente, que r
|
= (:, :) ,
obtenemos (
n
,
n
) =
(n,n)
3.2.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
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 inductiva.
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 que 2 -
n
.
Por ejemplo, si : = 9 tenemos
9
= 34 y 2[34.
Por otro lado, 2[
12
= 144 y 3[12.
55
3.3 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 /.
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
56
a
/
=
0
+
1
1
+
1
j2+
1
r
2
r
3
continuando este proceso hasta el n resulta obvia la expresin
0
+
1
1
+
1
j2+
1
.
.
.+
1
qn
3.3.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
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 enteras 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 nmeros expresados como fracciones irreducibles
10
Q0
=
j0
1
11
Q1
=
0
+
1
j1
12
Q2
=
0
+
1
j1+
1
q
2
.
.
.
.
.
.
.
.
.
1n
Qn
= c
57
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
.
3.3.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 3.3.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 numeradores y
los denominadores de dos fracciones irreducibles iguales son iguales. Esto es
1
1
= (
0
1
+ 1) y Q
1
=
1
.
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 aqui 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
58
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.
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.
59
3.3.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
de donde tenemos que
1
n
= 1
n1
+ 1
n2
esta 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 fracciones continuas nitas, es aplicable de forma
natural al caso de fracciones continuas innitas.
Determinemos el valor de la fraccin continua innita
1 +
1
1 +
1
1+
1
.
.
.+
1
.
.
.+1
60
sabemos ya que este valor es igual a lim
n1
c
n
, donde c
n
=
un+1
un
. Calculemos
este lmite
Por el teorema 3.1.2 sabemos que
n
es el entero ms prximo a
o
n
2
p
5
, es decir,
para todo : se tiene
n
=
c
n
2
_
5
+ c
n
donde [c
n
[ <
1
2
.
Luego tenemos
lim
n1
c
n
= lim
n1
n+1
n
= lim
n1
o
n+1
2
p
5
+ c
n+1
o
n
2
p
5
+ c
n
= lim
n1
c +
tn+1
2
p
5
o
n
1 +
tn
2
p
5
o
n
=
lim
n1
_
c +
tn+1
2
p
5
o
n
_
lim
n1
_
1 +
tn
2
p
5
o
n
_
Pero c
n+1
2
_
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
2
_
5
c
n
_
= c + lim
n1
c
n+1
2
_
5
c
n
= c
y
lim
n1
_
1 +
c
n
2
_
5
c
n
_
= 1 + lim
n1
c
n
2
_
5
c
n
= 1
Finalmente
lim
n1
c
n
= c
recordemos que c =
1+
2
p
5
2
, tenemos, entonces
lim
n1
c
n
=
1 +
2
_
5
2
- 1. 6180
Por ejemplo, la razn
u5
u4
=
5
3
= 1. 666 7 y para
u14
u13
=
377
233
= 1. 618.
61
3.4 Dnde estn los nmeros de Fibonacci?
Fibonacci en la Naturaleza.
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 (sentido) encontramos los nmeros 8 y 13 en otras
especies aparecen 5 y 8, en ambos casos nmeros de Fibonacci consecutivos.
Fibonacci y las ores: Si por curiosidad contamos los ptalos de una or
cualquiera que esta sea, en un 95% encontraremos nmeros de Fibonacci para
estos, as por ejemplo, las margaritas tienen en general 21 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 exis-
ten 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)
62
y ocho tataratatarabuelos, (1, 1, 2, 3, 5, 8), en denitiva sigue estrictamente la
sucesin de nmeros de Fibonacci.
En las dimensiones del hombre.
La relacin entre la altura de un ser humano y la altura de su ombligo.
La relacin entre la distancia del hombro a los dedos y la distancia del
codo a los dedos.
La relacin entre la altura de la cadera y la altura de la rodilla.
La relacin entre el primer hueso de los dedos (metacarpiano) y la primera
falange, o entre la primera y la segunda, o entre la segunda y la tercera,
si dividimos todo es
1+
p
5
2
.
63
3.5 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 vlida 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. Calclese 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 vlida 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?
64
4 Funciones Aritmticas
Con nmeros se puede demostrar cualquier cosa.
Thomas Carlyle
En este apartado estudiaremos las funciones ms importantes de la teora
de nmero; daremos sus deniciones, algunas aplicaciones y su importancia en
la aritmtica.
4.1.1 Denicin. Una funcin real o compleja denida sobre los enteros posi-
tivos se llama una funcin aritmtica o una funcin de teora de nmeros.
Empezaremos con la funcin parte entera que ya antes habamos mencionado
en el captulo 2.
4.1.1 Teorema. Sea r y j nmeros reales. Entonces se tiene que
a. [r + :] = [r] + :; si : Z
b. [r] + [j] _ [r + j] _ [r + j] + 1
c. [r] + [r] =
_
0 si r es entero,
1 en cualquier otro caso
d.
_
[r]
n
_
=
_
r
n
; si : es un entero positivo
e.
_
r +
1
2
_
:
j
I
_
_
_
a
1
j
I
_
+
_
a
2
j
I
_
+ +
_
a
:
j
I
_
aplicando repetidamente el teorema 4.1.1b, resulta
_
a
1
j
I
_
+
_
a
2
j
I
_
+ +
_
a
:
j
I
_
_
_
a
1
+ a
2
+ a
3
+ + a
:
j
I
_
=
_
:
j
I
_
Sumando esta expresin sobre i se tiene el resultado deseado.
Veamos este resultado particularmente
8 + 6 + 7 + 12 = 33, Luego
33!
8!6!7!12!
; debe ser entero
Por el teorema 2.5.2 tenemos las siguientes descomposiciones en factores
primos
33!
8!6!7!12!
=
2
31
3
15
5
7
7
4
11
3
13
2
1719232931
(2
7
3
2
57)(2
4
3
2
5)(2
4
3
2
57)(2
10
3
5
5
2
711)
=
2
31
3
15
5
7
7
4
11
3
13
2
1719232931
2
25
3
11
5
5
7
3
11
= 2
6
3
4
5
2
7 11
2
13
2
17 19 23 29 31
que resulta ser entero, ntese que tal como lo predijo el resultado anterior el
exponente que gura en el numerador es mayor o igual al del denominador por
cada factor primo.
66
4.1.2 Denicin. La funcin de Mbius j(:) se dene como sigue:
j(1) = 1;
Si : 1, escribimos : = j
o1
1
j
o
k
|
. Entonces
j(:) = (1)
|
si c
1
= c
2
= = c
|
= 1,
j(:) = 0 en otro caso.
Observemos algunos ejemplos;
j(2) = j
_
2
1
_
; como c
1
= 1, se tiene (1)
1
= 1
j(3) = j
_
3
1
_
; como c
1
= 1, se tiene (1)
1
= 1
j(4) = j
_
2
2
_
; como c
1
= 2 ,= 1; por denicin j(4) = 0
Luego
: : 1 2 3 4 5 6 7 8 9 10
j(:) : 1 1 1 0 1 1 1 0 0 1
4.1.2 Teorema. Si : _ 1 tenemos
Jjn
j(d) =
_
1
:
_
=
_
1 si : = 1
0 si : 1
Demostracin. La expresin es claramente cierta para : = 1, puesto que
si : = 1, d debe ser tambin 1 y por denicin de j se sigue que j(1) = 1.
Suponemos, entonces, que : 1 y escribimos : = j
o1
1
j
o
k
|
. En la expresin
Jjn
j(d) los nicos trminos no nulos proceden de d = 1 y de los divisores de :
que son productos de primos distintos. Entonces
Jjn
j(d) = j(1)+j(j
1
)+ +j(j
|
)+j(j
1
j
2
)+ +j(j
|1
j
|
)+ +j(j
1
j
2
j
|
) (+)
Ahora observemos con cuidado
j(j
1
) + + j(j
|
) =
_
/
1
_
(1)
j(j
1
j
2
) + + j(j
|1
j
|
) =
_
/
2
_
(1)
2
j(j
1
j
2
j
3
) + + j(j
|2
j
|1
j
|
) =
_
/
3
_
(1)
3
67
podemos seguir con estos arreglos hasta nalizar con j(j
1
j
2
j
|
) , susti-
tuyendo en la expresin (+), nos resulta
Jjn
j(d) = 1 +
_
/
1
_
(1) +
_
/
2
_
(1)
2
+ +
_
/
/
_
(1)
|
Si recordamos el binomio de Newton,
n
|=o
_
:
/
_
a
n|
/
|
= (a + /)
n
, tenemos
que
Jjn
j(d) = (1 1)
|
= 0.
Particularizando el teorema 4.1.2.
Por ejemplo, si : = 24, luego todos los divisores positivos de 24 seran
1, 2, 3, 4, 6, 8, 12, 24, entonces
j(1) = 1
j(2) = 1
j(3) = 1
j
_
2
2
_
= 0
j(2 3) = 1
j
_
2
3
_
= 0
j
_
2
2
3
_
= 0
j
_
2
3
3
_
= 0
Finalmente,
Jj24
j(d) = j(1) + j(2) + j(3) + j
_
2
2
_
+ j(2 3) + j
_
2
3
_
+ j
_
2
2
3
_
+ j
_
2
3
3
_
= 1 1 1 + 0 + 1 + 0 + 0 + 0
= 0
4.1.3 Denicin. La funcin indicatriz de Euler ,(:) . Si : _ 1 la indi-
catriz de Euler es el nmero de enteros positivos menores que : que son
coprimos con :, as
,(:) =
n
|=1
1; donde (/, :) = 1
68
Por ejemplo; si : = 12, entonces, se tiene que: (1, 12) = 1, (5, 12) = 1,
(7, 12) = 1, (11, 12) = 1 y luego,
,(12) = 1 + 1 + 1 + 1 = 4
En la siguiente tabla se muestran algunos valores para ,(:) ;
: : 1 2 3 4 5 6 7 8 9 10
,(:) : 1 1 2 2 4 2 6 2 6 4
4.1.3 Teorema. Para : _ 1 tenemos
,(:) =
Jjn
j(d)
:
d
Demostracin. La suma que dene a ,(:) se puede escribir en la forma
,(:) =
n
|=1
1 = ,(:) =
n
|=1
_
1
(:, /)
_
,
en donde / recorre todos los enteros / _ :. Ahora utilizaremos el teorema
4.1.2 sustituyendo : por (:, /) y obtenemos
,(:) =
n
|=1
_
_
Jj(n,|)
j(d)
_
_
=
n
|=1
Jjn
Jj|
j(d)
Para un divisor d de : jo podemos sumar respecto de todos los / tales que
1 _ / _ : son mltiplos de d. Si escribimos / = d entonces 1 _ / _ : si, y
slo si, 1 _ d _ d[:. Por lo tanto la ltima suma que da ,(:) se puede escribir
,(:) =
n
|=1
n/J
j=1
j(d) =
Jjn
j(d)
n/J
j=1
1 =
Jjn
j(d)
:
d
.
Lo que demuestra el teorema.
Acontinuacin tenemos una expresin que conecta a ,(:) y a los divisores
primos de :.
4.1.4 Teorema. Para : _ 1 tenemos
,(:) = :
jn
_
1
1
j
_
69
Demostracin. Para el caso : = 1 el producto es vaco puesto que no
existe ningn primo que divida a 1, en este caso podemos indicar ,(1) = 1.
Suponemos, entonces, que : 1 y que j
1
, j
2
, . . . , j
:
son los divisores primos
distintos de :. El producto se puede escribir
jn
_
1
1
j
_
=
:
I=1
_
1
1
j
I
_
Observemos con ms detalle este producto, considrese los primeros tres
productos, esto es
3
I=1
_
1
1
i
_
=
_
1
1
1
__
1
1
2
__
1
1
3
_
=
_
11
1
__
21
2
__
31
3
_
=
1+2+3121323+1231
123
=
1
123
+
2
123
+
3
123
12
123
13
123
23
123
+
123
123
1
123
=
1
12
1
2
1
3
1
1
+
1
13
+
1
23
1
123
+1
= 1
1
1
1
2
1
3
+
1
12
+
1
13
+
1
23
1
123
= 1
1
i
+
1
ij
1
123
Si extendemos este producto hasta i = r encontramos que
:
I=1
_
1
1
j
I
_
= 1
1
j
I
+
1
j
I
j
1
j
I
j
j
|
+ +
(1)
:
j
1
j
2
j
:
(++)
En la parte derecha de sta ltima expresin vemos que un trmino como
1
ij
se consideran todos los posibles productos j
I
j
j
|
, j
I
j
j
|
j
l,
Obsrvese que cada uno de los trminos de la derecha en (++) es de la forma
1
J
, en donde d es un divisor de : que es 1 o producto de primos distintos. El
numerador 1 es claramente j(d) . As podemos escribir entonces
:
I=1
_
1
1
j
I
_
= 1
1
j
I
+
1
j
I
j
1
j
I
j
j
|
+ +
(1)
:
j
1
j
2
j
:
=
j(d)
1
+
j(d)
d
I
+ +
j(d)
d
:
70
lo cual nos conduce exactamente a
Jjn
(J)
J
, Finalmente incluyendo : en el pro-
ducto y considerando el teorema 4.1.3 resulta
:
:
I=1
_
1
1
j
I
_
=
Jjn
j(d)
:
d
= ,(:)
que es lo que queriamos demostrar.
A manera de ejemplo, consideremos : = 60 y encontremos el nmero de
coprimos que posee.
Esto se reduce a calcular ,(60) , el teorema nos da un buen algoritmo para
hacerlo, adems 60 = 2
2
3 5
,(60) = 60
3
I=1
_
1
1
j
I
_
= 60
_
1
1
2
__
1
1
3
__
1
1
5
_
= 16
La indicatriz de Euler, es una de las funciones ms importantes en teora de
nmeros por su alcance en muchos resultados notables, esto en gran medida por
sus propiedades; resumimos algunas en el siguiente teorema.
4.1.5 Teorema. La indicartiz de Euler cumple con las propiedades siguientes:
a. ,(j
o
) = j
o
j
o1
para j primo y c 1
b. ,(::) = ,(:) ,(:)
_
J
,(J)
_
, donde d = (:, :)
c. Si :[: entonces ,(:) [,(:)
d. ,(:) es par para : _ 3. Adems, si : posee r factores primos impares
distintos, entonces 2
:
[,(:)
Demostracin. La parte (a) se obtiene si en (+) hacemos : = j
o
, as
,(j
o
) = j
o
j
_
1
1
j
_
Luego, el nico primo j que divide a j
o
es el mismo j, de donde
,(j
o
) = j
o
_
1
1
j
_
= j
o
j
o1
71
Por ejemplo;
,
_
7
3
_
= 7
3
7
2
= 343 49 = 294
y por otro lado, 7
3
= 343
,(343) = 343
j343
_
1
1
j
_
= 343
_
1
1
7
_
= 294.
Para probar la parte (/) escribimos
,(:)
:
=
jn
_
1
1
j
_
Teniendo presente que cada divisor primo de :: es un divisor primo de : o
:, y aquellos divisores primos que dividen tanto a : como a : dividen tambin
a (:, :) . De aqu que
,(::)
::
=
jnn
_
1
1
j
_
=
jn
_
1
1
jn
_
1
1
j(n,n)
_
1
1
_ =
,(n)
n
,(n)
n
,(J)
J
y nalmente
,(::) = ::
,(:)
:
,(:)
:
d
,(d)
= ,(:) ,(:)
_
d
,(d)
_
Por ejemplo;
,(9 12) = ,(9) ,(12)
_
3
,(3)
_
= 9
j9
_
1
1
j
_
12
j12
_
1
1
j
_
3
3
j3
_
1
1
_
= 6 4
1
2
3
= 36
y por otro lado, 9 12 = 108
,(108) = 108
j108
_
1
1
j
_
= 108
_
1
1
2
__
1
1
3
_
= 36.
A partir de lo probado en (/) deducimos (c) . Si :[: tenemos : = :/ en
donde 1 _ / _ :.Si / = :, entonces : = 1 y la parte (c) se verica trivialmente.
Por consiguiente, suponemos que c < /. De la parte (/) tenemos
,(:) = ,(:/) = ,(:) ,(/)
d
,(d)
= d,(:)
,(/)
,(d)
(,)
72
en donde d = (:, /) . Ahora el resultado se obtiene por induccin sobre :.
Para : = 1 se sigue trivialmente. Suponemos, pues, que (c) se verica para todo
entero menor que :.
Entonces se verica para / luego, puesto que d[c, ,(d) [,(c) . Por lo que el
segundo miembro de (,) es un mltiplo de ,(:) , es decir, ,(:) [,(:) . Lo que
prueba (c) .
Por ejemplo, 4[36 y ,(4) = 2, ,(36) = 12; de donde es claro que ,(4) [,(36) .
Ahora probaremos la parte (d) . Si : = 2
o
,c _ 2 la parte (a) prueba
que ,(:) es par. Para el caso : = 3 obtenemos, ,(3) = 3
_
1
1
3
_
= 2; par.
As podemos establecer que ,(:) es par, para algn : _ 3, y probaremos que
tambin es cierto para :+1; es decir que ,(: + 1) es par. Escribamos, entonces
,(: + 1) = (: + 1)
j(n+1)
_
1
1
j
_
= (: + 1)
j(n+1)
(j 1)
j(n+1)
j
=
(: + 1)
j(n+1)
j
j(n+1)
(j 1)
observando el factor (j 1) , notamos que debe ser par, puesto que el nico
primo par es 2 y todo nmero impar es de la forma 2/+1, de aqu que ,(: + 1)
sea par. Adems, cada primo impar proporciona una factor 2 a este producto,
por lo tanto 2
:
[,(:) , si : tiene r factores primos impares distintos.
Por ejemplo,
,(30) = 30
_
1
1
2
_ _
1
1
3
_ _
1
1
5
_
= 8 = 2
3
; es decir 2
3
[,(30)
73
4.1 Ejercicios Resueltos sobre Funciones Aritmticas
1. Cul es la mayor potencia de 2 que divide a 533!? La mayor potencia de
3?
Solucin.
_
533
2
= 266,
_
266
2
= 133,
_
133
2
= 66,
_
66
2
= 33,
_
33
2
= 16,
_
16
2
= 8,
_
8
2
= 4,
_
4
2
= 2,
_
2
2
= 177,
_
177
3
= 59,
_
59
3
= 19,
_
19
3
= 6,
_
6
3
= 2,
_
2
3
= 0.
Sumando estos resultados, encontramos 3
263
[533!.
2. Si se escribe 100! en la notacin decimal ordinaria, sin el signo factorial,
cuntos ceros se escribiran en lnea en el extremo derecho?
Solucin. Es suciente con calcular la mayor potencia de 10 que divide a
100. Puesto que 10 = 2 5, tendremos que calcular la mayor potencia de 2 y
la mayor potencia de 5 que dividen a 100. De estos habr que tomar el menor
(porqu?), as
_
100
2
_
+
_
100
4
_
+
_
100
8
_
+
_
100
16
_
+
_
100
32
_
+
_
100
64
_
= 97
y
_
100
5
_
+
_
100
25
_
= 24
As, 100! tiene 24 ceros.
3. Para cualquier nmero real r probar que [r] +
_
r +
1
2
= [2r]
Solucin. Escribamos r = : + -; con : Z, luego [r] = :.
[: + -] +
_
: + - +
1
2
= : + [-] + : +
_
- +
1
2
= 2: + [-] +
_
- +
1
2
. Con-
sideremos 0 _ - <
1
2
, entonces, [-] = 0 y
_
- +
1
2
= 1.
Escribamos
[: + -] +
_
: + - +
1
2
_
= 2: + - +
_
- +
1
2
_
= 2: + 1
74
y
[2r] = [2 (: + -)] = 2: + [2-] = 2: + 1
por lo tanto
[r] +
_
r +
1
2
_
= 2: + 1 = [2r]
4. Para nmeros reales positivos cualesquiera r y j probar que [r] [j] _ [rj]
Solucin. Escribamos r = :+-, j = : +c; con :, : Z, luego [r] = : y
[j] = :.
[: + -] [: + c] = (: + [-]) (: + [c]) = :: + :[c] + :[-] + [-] [c] _ :: +
:c + :- + -c = [rj] .
5. Encontrar un entero positivo : tal que j(:) + j(: + 1) + j(: + 2) = 3.
Solucin. : = 33.
j(33) +j(34) +j(35) = j(3 11) +j(2 17) +j(5 7) = (1)
2
+ (1)
2
+
(1)
2
= 3
6. Probar que j(:) j(: + 1) j(: + 2) j(: + 3) = 0, si : es un entero positivo.
Solucin. Para : = 1, tenemos
j(1) j(2) j(3) j(4) = (1) (1) (1) (0) = 0
Puesto que los nmeros :, : + 1, : + 2 y : + 3 son cuatro nmeros enteros
consecutivos, siempre uno de ellos es de la forma 2
:
/, con r _ 2. Por lo tanto,
uno de estos nmeros admite siempre una descomposicin del tipo 2
:
j
o2
2
j
o
k
|
,
luego j(2
:
j
o2
2
j
o
k
|
) = 0, y de aqu que, j(:) j(: + 1) j(: + 2) j(: + 3) =
0.
7. Buscar todos los enteros : tales que ,(:) =
n
2
Solucin. Todos los nmeros de la forma 2
:
con r _ 1. Escribamos : = 2
:
y r = 1, tenemos
,(2) = 1 =
2
2
as aceptamos la verdad de
,(2
:
) =
2
:
2
Probaremos que es cierto para r + 1
,
_
2
:+1
_
= ,(2
:
2) = ,(2
:
) ,(2) (2) =
2
:
2
1 2 =
2
:+1
2
.
75
8. Calcular ,(:) para : = 64, 128
Solucin. 64 = 2
6
y 128 = 2
7
, as por el ejercicio anterior tenemos
,(64) =
64
2
= 32
,(128) =
128
2
= 64
9. Demostrar que ,(::) = :,(:) si todo primo que divide a : tambin divide
a :.
Solucin. Observe que todos los primos que guran en el producto ::,
tambin aparecen en la descomposicin cannica de : y :.
,(::) = ::
jnn
_
1
1
_
= :
_
:
jnn
_
1
1
_
_
= :
_
:
jn
_
1
1
_
_
=
:,(:) .
10. Supongamos : 1. Probar que ,(:) = :1 s y solo si : es primo.
Solucin. Lo anterior se traduce como
,(:) = :1 == : es primo
(==) Si ,(:) = :1, entonces signica que los nmeros 1, 2, 3, . . . , :1
son todos coprimos con :, de donde se deduce que el nico divisor menor que
: es 1 y por lo tanto : es primo.
(==) Si : es primo, entonces ,(:) = :
jn
_
1
1
_
= :
_
1
1
n
_
= :1.
76
4.2 Ejercicios Propuestos sobre Funciones Aritmticas.
1. Para qu nmeros reales r es verdad que
a. [r] + [r] = [2r] ;
b. [r + 3] = 3 + [r] ;
c. [r + 3] = 3 + r;
d.
_
r +
1
2
+
_
r
1
2
= [2r] ;
e. [9r] = 9 ?
2. Si : es cualquier entero positivo y cualquier nmero real, prubese que
[] +
_
+
1
:
_
+ +
_
+
: 1
:
_
= [:]
3. Encuntrese la mayor potencia de 13 que gura en 1729!
4. Calclese ,(666) , ,(153) , ,(16 384)
5. Demustrese que ,(::) = ,(:) ,(:) , si (:, :) = 1
6. Encuntrese todos los enteros : tales que
,(:) = ,(2:) , ,(:) = 24
7. Caractercese el conjunto de enteros positivos que satisfacen ,(2:) ,(:)
8. Calclese
Jj1729
,(d)
9. Para cada proposicin establzcase una demostracin o presentar un con-
traejemplo
9.1 Si (:, :) = 1 entonces (,(:) , ,(:)) = 1
9.2 Si n es compuesto, entonces (:, ,(:)) 1.
77
5 El Anillo de los Enteros Mdulo n
Los encantos de esta ciencia sublime, las matemticas, slo se le revelan a
aquellos que tienen el valor de profundizar en ella.
Carl Friedrich Gauss
De aqu en adelante trataremos la aritmtica desde una nueva perspectiva,
la aritmtica modular. Introduciremos la congruencia mdulo n, las ecuaciones
de congruencias, los sistems de congruencias y dems. Estudiaremos tambin
en este captulo los resultados sobre congruencias ms importantes, el teorema
chino del resto y el pequeo teorema de Fermat y sus aplicaciones prcticas.
5.1 Generalidades sobre Congruencias mdulo n
Consideremos cuatro cajas y repartamos los nmeros enteros en cada una de
ellas de manera ordenada como sigue:
.
.
.
.
.
.
.
.
.
.
.
.
8 7 6 5
4 3 2 1
0 1 2 3
4 5 6 7
8 9 10 11
16 17 18 19
.
.
.
.
.
.
.
.
.
.
.
.
0 1 2 3
Las cajas las rotularemos as: 0 por contener al 0, ( o bien 0 + 4Z, esto es
lo mltiplos de 4), 1 por contener al 1( o bien 1 + 4Z, esto es lo mltiplos de
4 ms 1), 2 por contener al 2 ( o bien 2 + 4Z, esto es lo mltiplos de 4 ms
2), y la caja 3 por contener al 3 ( o bien 3 + 4Z, esto es lo mltiplos de 4 ms
3). Consideremos el conjunto Z
4
=
_
0, 1, 2, 3
_
llamado conjunto completo de
residuos mdulo 4, pues al dividir cualquier entero entre 4 da residuos 0, 1, 2,
3.
5.1.1 Denicin. Dos enteros son congruentes mdulo :, lo que escribimos
a = / mod:.
a = / mod: == :[a /
a = / mod: == [a]
n
= [/]
n
a = / mod: == r
o
= r
b
78
En caso contrario, decimos que a y / son incongruentes mdulo n.
Hemos dado en realidad tres deniciones sobre congruencia mdulo :, la
ventaja radica en el contexto de su uso, segn convenga podemos usar una
u otra denicin. En la primera lo hacemos en virtud de la divisibilidad, en
la segunda decimos que dos nmeros son congruentes, si las clases a las que
pertenecen son iguales, y nalmente decimos que dos nmeros son congruentes
si dejan el mismo resto en la divisin por :.
5.1.2 Denicin. Una relacin ~ en un conjunto o se llama relacin de
equivalencia si satisface
a. a ~ a (reexividad)
b. a ~ / implica que / ~ a (simetra)
c. a ~ / . / ~ c implica que a ~ c (transitividad); \a, /, c o
5.1.1 Teorema. La congruencia mdulo : es una relacin de equivalencia.
Demostracin.
Sabemos que :[0, entonces :[a a, luego a = a mod: (rc)|criidad) .
Si a = / mod:, tenemos que :[a/, entonces :[ (a /) , luego :[/ a que
es equivalente a, / = a mod: (:i:ctria) .
Si a = / mod:, entonces :[a /; si / = c mod:, entonces :[/ c; luego
:[ (a /) + (/ c) de aqu que :[a c que es equivalente a, a = c mod: (tran-
sitividad).
5.1.3 Denicin. Clase de equivalencia del elemento a o es el conjunto de
todos los elementos de o equivalentes a a.
/
o
= r o : r ~ a
Ntese que de la denicin anterior tenemos que: la unin de todas las clases
de equivalencias coincide con todo o y dadas dos clases distintas stas siempre
son disjuntas.
El conjunto formado por las clases de equivqlencias se llama conjunto co-
ciente de o por la relacin de equivalencia y lo escribimos as
o
~
= /
I
: i 1
79
Dado que la relacin de equivalencia que nos ocupa es la congruencia, vamos
a caracterizar las clases de equivalencia que esta forma.
A la clase /
o
pertenecen todos los enteros del tipo a = / + :/, donde / y :
estn dados, y / recorre todo Z. Luego decimos que Z queda particionado en
clases de equivalencias.
Por ejemplo
/
0
= . . . , 2:, :, 0, :, 2:, . . .
/
1
= . . . , 1 2:, 1 :, 1, 1 + :, 1 + 2:, . . .
/
2
= . . . , 2 2:, 2 :, 2, 2 + :, 2 + 2:, . . .
Como los subndices de cada clase son los posibles restos de la divisin por
:, las llamamos clases de restos mdulo : y se estila escribirlas as
0, 1, 2, 3, 4 . . .
y el conjunto cociente
Z
n
=
_
0, 1, 2, 3, 4 . . . , : 1
_
5.1.4 Denicin. ~ es compatible con == a ~ a
0
. / ~ /
0
== a/ ~ a
0
/
0
cualesquiera que se a, /, a
0
, /
0
o.
5.1.1 Proposicin. La congruencia mdulo : es compatible con la adicin y
la multiplicacin en Z. Es decir
a. a = a
0
mod: . / = /
0
mod: == a + / = a
0
+ /
0
mod:
b. a = a
0
mod: . / = /
0
mod: == a / = a
0
/
0
mod:
Demostracin.
a. a = a
0
mod: == a a
0
= :/ def. congruencia y divisibilidad
/ = /
0
mod: == / /
0
= :/
0
def. congruencia y divisibilidad
== (a + /) (a
0
+ /
0
) = :/
00
sumando ambas igualdades
== :[ (a + /) (a
0
+ /
0
) def. divisibilidad
== (a + /) = (a
0
+ /
0
) mod: def. congruencia
b. a = a
0
mod: == a a
0
= :/ (1) def. congruencia y divisibilidad
/ = /
0
mod: == / /
0
= :/
0
(2) def. congruencia y divisibilidad
== a/ a
0
/ = :(//) multiplicando por / (1)
== a
0
/ a
0
/
0
= :(a
0
/
0
) multiplicando por a
0
(2)
== a/ a
0
/
0
= :/
"
sumando las dos ltimas igualdades
== a/ = a
0
/
0
mod:. def. de congruencias.
80
Este resultado es de notable importancia, que una relacin de equivalencia
sea compatible con una ley de composicin interna denida en un conjunto,
nos induce una ley de composicin interna en el conjunto cociente, esto es, nos
permite operar con clases de equivalencias.
Vamos a denir en Z
n
la suma y el producto de clases en la forma siguiente:
a + / = a + /
a / = a /
Tambin se estila la notacin
[a]
n
+ [/]
n
= [a + /]
n
[a]
n
[/]
n
= [a /]
n
Para nes prcticos, dadas dos clases, se suman o se multiplican (segn sea
el caso) sus representantes y la suma obtenida (o producto) se divide por el
mdulo propuesto y se admite como resultado de la operacin el resto de la
divisin.
As, con estas operaciones la tripleta (Z
n
, +, ) forma un anillo, el anillo de
enteros mdulo :.
Construiremos la tabla para Z
4
de la suma y el producto.
Z
4
=
_
0, 1, 2, 3
_
+ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
0 1 2 3
0 0 0 0 0
1 0 1 2 3
2 0 2 0 2
3 0 3 2 1
Un resultado importante es el hecho que (Z
n
, +, ) es campo cuando : es
primo, lo cual expresamos con mayor formalidad en el siguiente enunciado.
5.1.2 Proposicin. Z
es cuerpo == j es primo
Demostracin.
i. (==) Z
[t]
= [ t]
= [j]
= [0]
y siendo []
y [t]
es un cuerpo.
Z
es cuerpo.
Ejemplo.
Construiremos las tablas para la suma y el producto de Z
5
, con el n de
evidenciar que todo elemento no nulo es inversible.
Z
5
=
_
0, 1, 2, 3, 4
_
+ 0 1 2 3 4
0 0 1 2 3 4
1 1 2 3 4 0
2 2 3 4 0 1
3 3 4 0 1 2
4 4 0 1 2 3
0 1 2 3 4
0 0 0 0 0 0
1 0 1 2 3 4
2 0 2 4 1 3
3 0 3 1 4 2
4 0 4 3 2 1
Observando con detenimiento resulta claro que
1 1 = 1
2 3 = 1
3 2 = 1
4 4 = 1
Todo elemento no nulo de Z
5
es inversible, luego Z
5
es cuerpo.
82
5.1.2 Teorema. Si a = / mod: y c = , mod:, entonces tenemos;
a. ar + cj = /r + ,j mod:
b. ac = /, mod:
c. a
n
= /
n
mod:; \a, /, r, j Z
Demostracin. Si a = / mod:, entonces, :[a /; adems c = , mod:
entonces :[c ,, eventualmente :[r(a /) . :[j (c ,) luego : dividir la
suma, esto es :[r(a /) +j (c ,) , reescribiendo este trmino :[ (ar + cj)
(/r + ,j) , que por denicin de congruencia podemos escribir ar + cj = /r +
,j mod: y queda probada la parte (a) .
Para la parte (/) tenemos, si a = / mod:, entonces, :[a /; adems c =
, mod: entonces :[c ,,eventualmente :[c(a /) . :[/ (c ,) luego : di-
vidir la suma, esto es :[c(a /) +/ (c ,) , de donde es claro que :[ac/,,
que por denicin de congruencia es ac = /, mod:.
Finalmente para la parte (c) tenemos que a
n
= /
n
mod:, es verdadero
para : = 1. Luego por la parte (/) podemos escribir a
n
a = /
n
/ mod: o
equivalentemente a
n+1
= /
n+1
mod: con lo que queda probada la parte (c) y
el teorema.
Criterios de divisibilidad y la congruencia mdulo n.
Ejemplo 1. Divisibilidad por 9.
Un entero : 0 es divisible por 9 si, y slo si, la suma de los dgitos
de su expresin decimal es divisible por 9. Probaremos este hecho usando la
congruencia y sus propiedades ya enunciadas. Escribiendo : en su expresin
decimal tenemos
: = a
0
+ 10a
1
+ 10
2
a
2
+ + 10
|
a
|
Por el teorema anterior tenemos que
1 = 1 == a
0
= a
0
10 = 1 == 10a
1
= a
1
10
2
= 1 == 10
2
a
2
= a
2
.
.
.
.
.
.
.
.
.
10
|
= 1 == 10
|
a
|
= a
|
_
_
mod9
luego tenemos que
a
0
+ 10a
1
+ 10
2
a
2
+ + 10
|
a
|
= (a
0
+ a
1
+ a
2
+ + a
|
) mod9
lo que equivale a escribir
: = a
0
+ a
1
+ a
2
+ + a
|
mod9
83
Particularmente, tenemos : = 1305; luego 1+3+0+5 = 9 por tanto 9[1305.
Ejemplo 2. Divisibilidad por 17.
Un entero : 0 es divisible por 17 si, y slo si, al quitar sus dos ltimas
cifras y restarlas del duplo de lo que queda, el resultado es mltiplo de 17.
Sin prdida de generalidad, consideremos un nmero : de 4 cifras.
Escribamos : = 1000a
3
+ 100a
2
+ 10a
1
+ a
0
, luego : = 100 (10a
3
+ a
2
) +
(10a
1
+ a
0
) .
Hagamos,
:
0
= (10a
3
+ a
2
) j a = (10a
1
+ a
0
)
.
Podemos escribir : en la forma : = 100:
0
+ a, :
0
sern la cifras que queda
al retirar las dos ltimas, esto es al quitar a.
As, lo que debemos probar es
17[: == 2:
0
a = 0 mod17
Si 17[:, entonces 100:
0
+a = 0 mod17, luego 100:
0
+a = 15:
0
+a mod17 y
15:
0
+ a = 2:
0
+ a mod17.
A partir de esto podemos plantear que, 100:
0
+a = 0 mod17 y 100:
0
+a =
2:
0
+ a mod17.
De donde resulta (transitividad de la congruencia) 0 = 2:
0
+ a mod17
equivalentemente 2:
0
a = 0 mod17, que es el resultado que buscabamos.
Ejemplo.
Particularmente, tenemos : = 4267, hacemos :
0
= 42 y a = 67; luego
2 (42) 67 = 17 por tanto 17[4267.
5.1.3 Teorema. Si c 0 entonces
a = / mod: si, y slo si, ac = /c mod:c
Demostracin. Tenemos :[ (a /) si, y slo si (a /) = :/, multiplicando
por c ambos lados de esta igualdad resulta (a /) c = :c/, que podemos traducir
en :c[ (a /) c y nalmente ac = /c mod:c.
84
5.1.4 Teorema. Ley de simplicacin. Si ac = /c mod: y si d = (:, c) ,
entonces
a = / mod
:
d
Demostracin. Dado que ac = /c mod:, tenemos :[ (a /) c esto es
(a /) c = :/; luego como d = (:, c) es posible escribir (a /)
c
J
=
n
J
/, lo
que traducimos en
n
J
[ (a /)
c
J
, pero
n
J
-
c
J
puesto que
_
n
J
,
c
J
_
= 1, luego debe
ser que
n
J
[ (a /) o equivalentemente a = / mod
n
J
.
5.1.5 Teorema. Suponemos que a = / mod:. Si d[: y d[a, entonces d[/.
Demostracin. Suponiendo d 0.
a = / mod: == :[a /
d[: == d[a /
de las implicaciones anteriores se deduce que
a = / modd
Por hiptesis sabemos que d[a, luego 0 = a modd . a = / modd (transi-
tividad de la congruencia ) se deduce que 0 = / modd, equivalentemente d[/.
tal que
j = r
mod:.
Ejemplo.
Todo conjunto formado de : enteros, incongruentes mod:, es un sistema
completo de restos mod:.
As, 8, 9, 10, 11 es un sistema completo de resto mod4; puesto que 8
0, 9 1, 10 2 y 11 3.
85
5.1.6 Denicin. Un sistema reducido de restos mdulo : es todo conjunto de
enteros r
1
, r
2
, . . . , r
n
, incongruentes mdulo :, cada uno de ellos primos
con :.
Nota: ,(:) es el valor para : de la indicatriz de Euler, introducida en el
captulo 4.
Por ejemplo. ,(4) = 2 y 8, 9, 10, 11 es un sistema completo de resto
mod4; luego 9, 11 es un sistema reducido de restos, note que 9, 11 son coprimos
con 4.
5.1.7 Teorema. Suponemos que (/, :) = 1. Si a
1
, a
2
, a
3
, . . . , a
n
es un sis-
tema completo de restos mdulo :, tambin lo es /a
1
, /a
2
, /a
3
, . . . , /a
n
mod: entonces a
I
= a
mod:
por el teorema 5.1.4 ya que (/, :) = 1, y esto contradice el hecho que a
1
, a
2
, a
3
, . . . , a
n
sea un sistema completo de restos. Por tanto ningn par de elementos del con-
junto /a
1
, /a
2
, /a
3
, . . . , /a
n
es congruente mod:. Puesto que en este conjunto
existen : elementos incongruentes, constituye un sistema completo de resto.
5.1.8 Teorema. Si
_
a
1
, a
2
, a
3
, . . . , a
,(n)
_
es un sistema residual reducido m-
dulo : y si (/, :) = 1, entonces
_
/a
1
, /a
2
, /a
3
, . . . , /a
,(n)
_
es tambin un
sistema residual reducido mdulo :.
Demostracin. Por lo dicho en el teorema anterior, sabemos que ningn
par de nmeros /a
I
es congruente mdulo :. Adems, puesto que (a
I
, :) =
(/, :) = 1, tenemos que (/a
I
, :) = 1; luego cada /a
I
es primo con :.
Toda la discusin anterior ha sido necesaria para llegar a uno de los resulta-
dos ms importantes de la teora de congruencias. Los teoremas de Euler-Fermat
5.1.9 Teorema. Terorema de Euler. Suponemos que (a, :) = 1. Entonces
tenemos que
a
,(n)
= 1 mod:
Demostracin. Sea
_
/
1
, /
2
, /
3
, . . . , /
,(n)
_
un sistema residual reducido m-
dulo :. Entonces
_
a/
1
, a/
2
, a/
3
, . . . , a/
,(n)
_
es tambin un sistema residual re-
ducido. Consideremos el producto /
1
/
2
/
3
/
,(n)
y ms precisamente su
resto al dividir por :, note que coincide con el resto de a/
1
a/
2
a/
3
a/
,(n)
.
86
Por lo tanto el producto de todos los enteros del primer conjunto es congruente
con el producto de los del segundo conjunto mod:. Por consiguiente
/
1
/
2
/
,(n)
= a/
1
a/
2
a/
,(n)
mod:
/
1
/
2
/
,(n)
= a
,(n)
/
1
/
2
/
,(n)
mod:
Cada /
I
es coprimo con :, por lo tanto se pueden simplicar de ambos lados
y obtener nalmente
a
,(n)
= 1 mod:.
5.1.10 Teorema. Pequeo Teorema de Fermat. Considrese que j
denota un primo. Si j - a, entonces
a
1
= 1 modj
Demostracin. Si j - a entonces (a, j) = 1 y a
,()
= 1 modj por el teorema
de Euler. Por el ejercicio 10 del captulo anterior tenemos que ,(j) = j 1 y
se tiene que
a
1
= 1 modj.
5.2 Congruencias Lineales
Nuestro objetivo en esta seccin es el estudio de las congruencias de la forma
) (r) = 0 mod: (1)
Resolver la congruencia, signica hallar todos los valores de r que la satis-
facen. Dos congruencias, a las que satisfacen un mismo valor de r, se llaman
congruencias equivalentes.
Advirtase que si r es solucin de la ecuacin (1) tambin r +/: ser solu-
cin, as esta ecuacin tiene innitas soluciones. Por tanto convendremos en
considerar las soluciones tales que 0 _ r < :, que llamaremos soluciones prin-
cipales.
El caso de las congruencias lineales quedar totalmente descrita mediante
los tres teoremas siguientes.
5.2.1 Teorema. Si (a, :) = 1. Entonces la congruencia lineal
ar = / mod: (2)
87
tienen exactamente una solucin.
Demostracin. Para la solucin principal debe considerarse nicamente
los nmeros 1, 2, 3, . . . , :, adems estos nmeros forman un sistema completo
de restos. Por consiguiente formamos los productos a, 2a, . . . , :a. Puesto que
(a, :) = 1 estos nmeros constituyen un sistema residual completo. Por lo tanto,
slo uno de estos productos es congruente con / mdulo :.
Es decir, existe un nico r que satisface (2) .
5.2.2 Teorema. Suponemos que (a, :) = d. Entonces la congruencia lineal
ar = / mod: (3)
tiene solucin si, y slo si, d[/.
Demostracin. (==) Si ar = / mod: tiene solucin, entonces d[/.
Si r es la solucin de la ecuacin (3) , entonces /: = ar /; de donde
/ = /:+ar. Si (a, :) = d, se tiene que d[a, d[: y eventualmente dividir a d[ar,
d[/:. Por consiguiente tambin divide a la suma, esto es d[/: + ar, por tanto
d[/.
(==) Si d[/ entonces ar = / mod: tiene solucin.
Si d[/ la congruencia
a
d
r =
/
d
mod
:
d
(4)
tiene una solucin por el teorema 5.2.1, puesto que
_
o
J
,
n
J
_
= 1, y esta solucin
es tambin una solucin de (3) .
5.2.3 Teorema. Suponemos que (a, :) = d y que d[/. La congruencia lineal
ar = / mod:
tiene exactamente d soluciones mdulo :. Vienen dadas por
t, t +
:
d
, t + 2
:
d
, . . . , t + (d 1)
:
d
, (5)
donde t es la solucin nica mdulo
n
J
, de la congruencia lineal
a
d
r =
/
d
mod
:
d
(6)
Demostracin. Cada solucin de (6) es tambin solucin de (3) , recpro-
camente cada solucin de (6) satisfase (3) . Basta considerar que
a
d
r =
/
d
mod
:
d
==
a
d
r
/
d
= /
:
d
== ar / = /: == ar = / mod:
88
Los d nmeros escritos en (5) son soluciones de (6) y, por lo tanto, de (5) .
Falta probar que (3) no tiene ms soluciones que las descritas en (5) . Si j es
una solucin de (3) entonces aj = at mod: luego j = t mod
n
J
. Por lo tanto
j = t + /
n
J
para cierto /. Pero / = r mod: para un r que verica 0 _ r < d.
Por consiguiente
/
:
d
= r
:
d
mod:; luego j = t + r
:
d
mod:
Por consiguiente j es congruente mdulo : con uno de los nmeros descritos
en (5) . Esto termina la demostracin.
Por ejemplo. Encontrar las soluciones a la ecuacin
3r = 5 mod11
Inspeccionando el conjunto 0 _ r < 11, encontramos como solucin princi-
pal r = 9, puesto que 11[27 5. Luego el resto de soluciones tendrn la forma
r = 9 + 11/.
Ya hemos notado que la congruencia tiene mucha similitud con la igual-
dad, as que parece natural preguntarnos por los sistemas de ecuaciones de
congruencias y sus soluciones, esto es, dadas las ecuaciones a
0
r = /
0
mod: y
a
1
r = /
1
mod:; existen valores de r que las satisfacen a ambas? A este hecho
responde el siguiente teorema
5.2.3 Teorema. Teorema Chino del Resto. Supongamos que :
1
, :
2
, , :
:
son enteros positivos coprimos dos a dos:
(:
I
, :
|
) = 1 si i ,= /
Sean /
1
, /
2
, . . . , /
:
enteros arbitrarios. Entonces el sistema de congruencias
r = /
1
mod:
1
r = /
2
mod:
2
.
.
.
.
.
.
.
.
.
r = /
:
mod:
:
posee exactamente una solucin mdulo el producto :
1
:
2
:
:
Demostracin. Escribiendo = :
1
:
2
:
:
y
|
=
n
k
. Entonces
(
|
, :
|
) = 1, por lo tanto cada
|
admite un inverso nico
0
|
mdulo :
|
,
esto es
|
0
|
= 1 mod:
|
. Sea ahora
r = /
1
0
1
+ /
1
0
2
+ + /
:
0
:
Dado que
I
= 0 mod:
|
si i ,= / tenemos
r = /
|
0
|
= /
|
mod:
|
89
Por lo tanto r satisface cada una de las congruencias del sistema. Adems el
sistema posee una nica solucin mdulo . En efecto, si r y j son dos soluciones
del sistema tenemos r = j mod:
|
para cada / y, puesto que los :
|
son dos a
dos coprimos, tendremos tambin r = j mod. Esto termina la demostracin.
I=1
ir
I
mod11
Entonces para el caso de la gura tenemos
r
10
= (1 8) + (2 4) + (3 6) + (4 0) + (5 4) + (6 8) + (7 9) + (8 5) + (9 8) mod11
r
10
= 8 + 8 + 7 + 0 + 9 + 4 + 8 + 7 + 6 mod11
r
10
= 57 mod11
Esto nos obliga a escoger a r
10
= 2 como se muestra en la gura.
El cdigo ISBN detectar todos los errores simples y de transposicin, ac-
tualmente cualquier programa profesional que trabaje con el ISBN utiliza las
congruencias para determinarlo. El ordenador comprueba si el nmero intro-
ducido por el usuario con el escner coincide con el calculado por el [ordenador]
mismo, si esto no es as entonces existe algn error.
95
5.5 Ejercicios Propuestos
1. Escrbase las tablas de adicin y mltiplicacain para Z
7
y Z
8
.
2. Encuntrese y ennciese un crterio de divisibilidad para 3, 5 y 7 (para cada
uno)
3. Escrbase una sola congruencia que sea equivalente al par de congruencias
r = 1 mod4, r = 2 mod3
4. Prubese que si j es un primo y a
2
= /
2
modj, entonces j[ (a + /) o bien
j[ (a /) .
5. Demustrese la igualdad del estudiante. Si j es primo, entonces (a + /)
=
(a
+ /
) modj.
6. Hllese las ltimas dos cifras del nmero 7
7
7
7
7. Calclese el residuo que se obtiene al dividir 7077
377
entre 11.
8. Mustrese un sistema reducido de residuos mdulo 7 compuestos enteramente
por potencias de 3.
9. Prubese que :
6
1 es divisible entre 7 si (:, 7) = 1
10. Prubese que :
7
1 es divisible entre 42, para cualquier entero :.
11. Encuntrese el menor residuo positivo de :
11.a 3
500
Mdulo 13
11.b 12! Mdulo 13
11.c 5
16
Mdulo 17
11.d 5
500
Mdulo 17
12. Encuntrese todas las soluciones de
12.a 87r = 57 mod105
12.b 64r = 897 mod 1001
12.c 3
6
r = 1 mod 8180
13. Prubese. Teorema de Wilson. Si j es un primo, entonces (j 1)! =
1 modj
14. Encuntrese todas las soluciones del par de congruencias 3r 7j = 4 mod
15, 7r 3j = 1 mod 15
15. Encuntrese el menor entero positivo tal que r = 5 mod12, r = 17 mod20,
y r = 23 mod 42
96
16. sese el teorema de Fermat para resolver la congruencia r
35
+5r
19
+11r
3
=
0 mod17
17. Para cualquier primo j, si a
= /
= /
modj
2
18. Demustrese que la suma de los cuadrados de cinco nmeros enteros con-
secutivos, no puede ser nunca un cuadrado perfecto.
19. La suma de las cifras de un nmero es 20. Si de ese nmero se resta 205 y se
divide la diferencia por 2 se optiene por resultado el nmero formado por
las cifras del primero escritas en orden inverso. Encuntrese el nmero.
20. Prubese que la ecuacin 3r
2
+ 2 = j
2
no tiene solucin entera.
97
6 El ltimo Teorema De Fermat
Es dudoso que el ingenio humano pueda llegar a construir un enigma que el
propio ingenio humano no sea capaz de resolver.
Edgar Allan Poe.
En esta seccin nos ocuparemos del conocido ltimo teorema de Fermat. El
ltimo teorema de Fermat arma que la ecuacin r
n
+ j
n
= .
n
, donde : es un
entero mayor que 2, no tiene soluciones enteras, con la excepcin, las soluciones
triviales en las que una de las variables es 0. Aqu abordaremos este caso slo
en su aspecto ms elemental y para exponentes _ 4.
6.1 Nmeros Complejos C
No existe un nmero real r que satisfaga la ecuacin polinmica r
2
+1 = 0. Para
resolver este tipo de ecuaciones, es necesario introducir los nmeros complejos.
7.1.1 Denicin. Un nmero complejo . es un nmero que se expresa en la
forma
. = a + /i
donde a y / son nmeros reales e i =
_
1. Decimos que a es la parte real
de . y que / es la parte imaginaria, lo cual escribimos como
Re (.) = a y Im(.) = /
7.1.2 Denicin. Dos nmeros complejos son iguales si y slo si sus partes
reales son iguales y sus partes imaginarias son iguales.
Es decir, si
. = a + /i y n = c + di
y
. = n
entonces
a = c y / = d
7.1.3 Denicin. Operaciones en C. Sean . = (a + /i) y n = (c + di) , en-
tonces
98
. + n = (a + /i) + (c + di) = (a + c) + (/ + d) i (adicin)
. n = (a + /i) (c + di) = (ac /d) + (ad + /c) i (multiplicacin)
A partir de la denicin 7.1.3 es fcil vericar que la terna (C, +, ) es un
cuerpo.
7.1.4 Denicin. Complejo Conjugado. Conjugado de . = a+/i es el nmero
complejo . = a /i. El smbolo . se lee conjugado de ..
7.1.1 Teorema. Si . y n son nmeros complejos, entonces:
i. . + n = . + n
ii. . n = . n
iii. Si n ,= 0,
_
:
u
_
=
:
u
iv. Si . es real, . = .
v. . + . = 2 Re (.)
Demostracin.
i. Si . = a + /i y n = c + di, con a, /, c y d reales, tenemos . + n = (a + c) +
(/ + d) i, luego . + n = (a + c) (/ + d) i = a /i + c di = . + n.
ii. Si . = a +/i y n = c +di, con a, /, c y d reales, tenemos . n = (ac /d) +
(ad + /c) i, . n = (ac /d) (ad + /c) i = (a /i) (c di) = . n.
iii. Si n = c + di, con c y d reales no nulos simultneamente, tenemos
1
n
=
1
c + di
=
c di
c
2
+ d
2
,
1
n
=
1
c + di
=
c + di
c
2
+ d
2
=
_
1
n
_
De ah,
_
.
n
_
= .
1
n
= .
_
1
n
_
= .
1
n
=
.
n
iv. Si . = a + 0i, . es real, . = a 0i = ..
v. Si . = a+/i y . = a/i, entonces . +. = (a + a) +(/ /) i = 2a+0i = 2a.
Como a = Re (.) , se tiene que, . + . = 2a = 2 Re (.) .
99
7.1.5 Denicin. Mdulo de un complejo es la raz cuadrada no negativa de
la suma de los cuadrados de las partes real e imaginaria.
Esto es
[.[ =
_
a
2
+ /
2
7.1.2 Teorema. Sea ., .
0
C, entonces
i. Re (.) _ [.[
ii. Im(.) _ [.[
iii. . . = [.[
2
iv. [..
0
[ = [.[ [.
0
[
v. [. + .
0
[ _ [.[ +[.
0
[
6.2 Enteros de Gauss
Nos detendremos en esta seccin para adquirir algunas herramientas algebraicas
que nos permitan tratar nuestro problema principal con mucha ms facilidad.
Denotemos por Z[i] el conjunto de todos los nmeros complejos de la forma
a + /i, donde a y / son enteros.
Es decir, el conjunto
Z[i] = a + /i : a, / Z
Bajo la adicin y multiplicacin habituales de los nmeros complejos, Z[i]
forma un dominio de integridad, llamado el dominio de los enteros gaussianos
o enteros de Gauss.
7.2.1 Denicin. Se llama anillo unitario a un anillo cuyo producto tiene
elemento neutro en
_
0, 0
_ _
0, 1
_ _
0, 2
_ _
1, 0
_ _
1, 1
_ _
1, 2
_
_
0, 0
_ _
0, 0
_ _
0, 0
_ _
0, 0
_ _
0, 0
_ _
0, 0
_ _
0, 0
_
_
0, 1
_ _
0, 0
_ _
0, 1
_ _
0, 2
_ _
0, 0
_ _
0, 1
_ _
0, 2
_
_
0, 2
_ _
0, 0
_ _
0, 2
_ _
0, 1
_ _
0, 0
_ _
0, 2
_ _
0, 1
_
_
1, 0
_ _
0, 0
_ _
0, 0
_ _
0, 0
_ _
1, 0
_ _
1, 0
_ _
1, 0
_
_
1, 1
_ _
0, 0
_ _
0, 1
_ _
0, 2
_ _
1, 0
_ _
1, 1
_ _
1, 2
_
_
1, 2
_ _
0, 0
_ _
0, 2
_ _
0, 1
_ _
0, 0
_ _
0, 2
_ _
0, 3
_
Luego l (Z
2
Z
3
) =
__
1, 1
__
Por otro lado, las tablas correspondientes para Z
2
y Z
3
0 1
0 0 0
1 0 1
0 1 2
0 0 0 0
1 0 1 2
2 0 2 0
Luego, l (Z
2
) =
_
1
_
y l (Z
3
) =
_
1
_
.
As, resulta claro que l (Z
2
) l (Z
3
) =
__
1, 1
__
= l (Z
2
Z
3
)
7.2.3 Denicin. Sea un anillo. Se llama divisor de cero a un elemento
r
tal que rj = 0
.
para algn j
.
Ejemplo.
Considere la multiplicacin en Z
4
0 1 2 3
0 0 0 0 0
1 0 1 2 3
2 0 2 0 2
3 0 3 2 1
Podemos observar que
2 2 = 0
luego 2 es un divisor de cero en Z
4
.
7.2.4 Denicin. Se llama dominio de integridad a un anillo unitario y con-
mutativo sin divisores de cero.
7.2.1 Teorema. El conjunto Z[i] , bajo la adicin y multiplicacin habituales
de C forma un dominio de integridad.
102
Demostracin. La terna (Z[i] , +, ) resulta efectivamente ser un anillo con
las operaciones heredadas del anillo C, adems se tiene que 1
.
= 1+0i Z[i] y
verica que \. Z[i] ; 1
.
. = .. Finalmente es claro que Z[i] no tiene divisores
de cero, puesto que si hubiese tendriamos que . n = 0 con . y n ,= 0, luego
si . = a + /i y n = c + di con / y d no simultneamente nulos; su producto es
(ac d/) + (c/ + ad) i = 0 de aqu que (ac d/) = (c/ + ad) i; pero esto pasa
solo si consideramos la parte imaginaria igual a cero.
7.2.5 Denicin. Se dice que es un dominio eucldeo (11) si existe una
aplicacin
|| :
tal que:
i. |r| = 0 si y slo si r = 0
ii. |rj| = |r| |j|
iii. Si r, j
3
n
=
0
1
0
2
0
3
0
n
donde los
I
y los
0
, 1 _ i _ : y recprocamente, cada
0
es un asociado de algn
I
.
Demostracin. Fijmonos en la relacin . =
1
3
n
=
0
1
0
2
0
3
n
1
[
1
3
n
, de donde
1
[
0
1
0
2
0
3
0
n
. Por la proposicin 7.2.1
1
debe
dividir a algn
0
; como
1
y
0
,
ambos elementos deben de ser asociados y
0
= n
1
1
donde n
1
es unidad de
Z[i] .Tenemos, pues,
1
3
n
=
0
1
0
2
0
3
0
n
= n
1
0
2
0
I1
0
2
0
n
.
Repitiendo el razonomiento sobre esta relacin
2
, y as sucesivamente, despus
de : pasos el primer miembro se hace 1, y el segundo un producto de un cierto
nmero de
0
(el exeso de : sobre :). Esto obligara a que : _ : ya que las
0
no son unidades. Anlogamente, : _ :, de modo que : = :. Y a lo largo
del proceso demostrativo hemos probado tambin que cada uno de los
I
tiene
algn
0
pero no
discutiremos su naturaleza, pero usaremos algunas de sus caratersticas, as el
lector podr caracterizar a Z
__
3
2
+
4
j
4
+ 2j
2
4
= (2j)
2
,
luego r = 2j. En consecuencia la terna original queda de la forma
(r, j, .) =
_
2j, j
2
2
, j
2
+
2
_
,
donde j, son nmeros naturales primos entre s, < j y de paridad opuesta.
Por lo tanto ya sabemos enumerarlas todas.
En la siguiente tabla mostraremos las ternas para los valores de j _ 7
j r j .
2 1 4 3 5
3 2 12 5 13
4 1 8 15 17
4 3 24 7 25
5 2 20 21 29
5 4 40 9 41
6 1 12 35 37
6 5 60 11 61
7 2 28 45 53
7 4 56 33 65
7 6 84 13 85
107
7.3.1 Teorema. La ecuacin, r
4
+ j
4
= .
2
no tiene soluciones enteras posi-
tivas.
Demostracin. Si existen soluciones a la ecuacin r
4
+ j
4
= .
2
, entonces
_
r
4
, j
4
, .
2
_
es una terna pitagrica. Si dividimos r, j, . por su mcd obten-
emos coprimos que siguen cumpliendo la ecuacin, luego podemos suponer que
(r, j, .) = 1, y claramente esto implica que en realidad son coprimos dos a dos
y que la terna
_
r
2
, j
2
, .
_
es primitiva.
Segn los resultados de la seccin anterior, r
2
= 2j, j
2
= j
2
2
, . = j
2
+
2
donde j y son nmeros enteros coprimos, de distinta paridad y j 0
(intercambiamos r con j si es necesario para que r
2
sea el par)
Ahora, j
2
= j
2
+
2
, luego (, j, j) es otra terna pitagrica, lo que obliga a
que j sea impar, luego q ha de ser par, y as = 2a/, j = a
2
/
2
, j = a
2
+ /
2
,
para ciertos enteros a y / coprimos, de paridad opuesta, a / 0 (ntese que
se trata de una terna primitiva porque (j, ) = 1).
Por lo tanto r
2
= 4a/
_
a
2
+ /
2
_
y en consecuencia a/
_
a
2
+ /
2
_
=
_
r
2
_
2
. Por
otra parte (a, /) = 1 implica fcilmente que
_
a/, a
2
+ /
2
_
= 1. Si el producto de
dos nmeros naturales coprimos es un cuadrado, entonces ambos son cuadrados,
pues cada uno de ellos debe tener cada factor primo con exponente par.
Concluimos que a/ y a
2
+ /
2
son cuadrados y, por el mismo argumento,
tambin lo son a y /. Digamos a = n
2
, / =
2
, a
2
+ /
2
= n
2
.
Entonces n
4
+
4
= a
2
+ /
2
= n
2
= j < j
2
+
2
= . < .
2
.
En resumen, si existe una terna de nmeros positivos (r, j, .) de manera que
r
4
+ j
4
= .
2
, existe otra (n, , n) que cumple lo mismo pero con n
2
< .
2
. Si
existieran tales ternas debera haber una con . mnimo, lo cual es falso segn
lo visto, por lo que la ecuacin no tiene solucin.
En particular el teorema anterior implica que la ecuacin r
4
+ j
4
= .
4
no
tiene soluciones enteras positivas.
7.3.2 Teorema. La ecuacin, r
4
+ j
4
= .
4
no tiene soluciones enteras posi-
tivas.
Demostracin. Si fuese cierto r
4
+ j
4
= .
4
, para ciertos enteros positivos
r, j, ., entonces, deniendo = .
2
, tendramos que r
4
+j
4
=
2
, lo cual por el
teorema 7.3.1 sabemos que no puede ser, as la ecuacin r
4
+ j
4
= .
4
no tiene
solucin.
108
7.3.3 Teorema. No exiten enteros positivos r, j, . tales que
r
3
+ j
3
= .
3
Demostracin. Supongamos que existen nmeros (r, j, .) que cumplen
r
3
+ j
3
= .
3
. Dividindolos entre su mcd podemos suponer que son primos
entre s y, al cumplir la ecuacin deben ser primos dos a dos. Es claro que a lo
sumo uno de los tres puede ser par, pero si r e j son impares . es par, luego
exactamente uno de ellos es par.
Por simetra podemos suponer que r e j son impares. Entonces r +j, r j
son pares, digamos r + j = 2j, r j = 2. As r = j + , j = j .
Consideremos la factorizacin
r
3
+ j
3
= (r + j)
_
r
2
rj + j
2
_
Sustituyendo obtenemos
r
3
+ j
3
= 2j
_
(j + )
2
(j + ) (j ) + (j )
2
_
= 2j
_
j
2
+ 3
2
_
Podemos armar que j y son coprimos (un factor comn lo sera tambin
de r, j) y tienen paridad opuesta (porque r = j + es impar) . Cambiando el
signo de r, j, . si es necesario podemos suponer que r + j 0, luego j 0 e
intercambiando r con j si es necesario, tambin 0 (no puede ser que r = j,
pues sera 0, y como (r, j) = 1 habra de ser r = j = 1, y entonce .
3
= 2, lo
cual es imposible).
Resumiendo, si existe una solucin (r, j, .) con r e j impares, entonces
existen nmeros naturales no nulos j y de paridad opuesta, coprimos tales
que el nmero 2j
_
j
2
+ 3
2
_
es un cubo.
Debemos de justicar que los nmeros 2j y j
2
+ 3
2
son coprimos, con lo
que cada uno ser un cubo. Notemos primero que, como j y tienen paridad
opuesta, j
2
+ 3
2
es impar, de donde se sigue claramente que
_
2j, j
2
+ 3
2
_
=
_
j, j
2
+ 3
2
_
=
_
j, 3
2
_
y como (j, ) = 1 el nico factor comn de j y 3
2
es 3.
En otras palabras, si 3 - j, entonces
_
2j, j
2
+ 3
2
_
= 1. Supongamos que es as.
Entonces, segn lo dicho, 2j y j
2
+ 3
2
son cubos. Ahora usaremos un
resultado que posteriormente probaremos.
7.3.1 Proposicin. Si los enteros j, , r cumplen j
2
+ 3
2
= r
3
, (j, ) = 1
y r es impar, entonces existen enteros a y / tales que j = a
3
9a/
2
,
= 3a
2
/ 3/
3
, r = a
2
+ 3/
2
.
109
La prueba de esta proposicin se dar ms adelante.
Admitiendo esto, j = a (a 3/) (a + 3/) , = 3/ (a /) (a + /) .Claramente
a y / son coprimos y tienen paridad opuesta (de lo contrario j y seran pares) .
Por otra parte 2j = 2a (a 3/) (a + 3/) es un cubo. Veamos de nuevo que
los factores 2a, a 3/ y a +3/ son coprimos dos a dos, con lo que los tres sern
cubos.
Como a y / tiene paridad opuesta, a 3/ y a + 3/ son impares, luego un
factor comn de 2a y a 3/ es un factor de a y a 3/, y por tanto un factor
comn de a y 3/. Igualmente un factor comn de a +3/ y a 3/ lo es de a y 3/,
luego basta probar que (a, 3/) = 1. Puesto que (a, /) = 1, lo contrario obligara
a que 3[a, pero entonces 3[j y estamos suponiendo lo contrario.
As pues, 2a = n
3
, a 3/ =
3
, a + 3/ = n
3
, luego
3
+ n
3
= 2a = n
3
.
Nuestro objetivo es encontrar una solucin de la ecuacin de Fermat con .
3
par y menor que el valor del que hemos partido. As podremos concluir que no
pueden existir tales soluciones ya que no puede haber una mnima. Hemos de
reordenar la terna (n, , n) para dejar en tercer lugar la componente par. Como
n
3
3
n
3
= 2a (a 3/) (a + 3/) = 2j[.
3
, lo cierto es que la componente par, sea
cual sea, es menor en mdulo que .
3
.
Falta llegar a la misma conclusin si 3[j. Supongamos que j = 3: y que
3 - . Entonces nuestro cubo es 2j
_
j
2
+ 3
2
_
= 3
2
2:
_
3:
2
+
2
_
y los nmeros
3
2
2: y 3:
2
+
2
son coprimos, pues (:, ) = 1 obliga a que los nicos divisores
comunes posibles sean 2 y 3, pero 3:
2
+
2
es impar (luego 2 no sirve) y 3-
, (luego tampoco sirve) .
Consecuentemente 3
2
2: = n
3
y 3:
2
+
2
=
3
. Por la proposicin 7.3.1
llegamos a que = a (a 3/) (a + 3/) , : = 3/ (a /) (a + /) . Por otro lado
3
2
2: = 3
3
2/ (a /) (a + /) es un cubo, luego 2/ (a /) (a + /) tambin lo es.
Luego hemos encontrado una terna menor que (r, j, .) que satisface la ecuacin
lo cual no es posible puesto que (r, j, .) es primitiva.
Para nalizar probaremos la proposicin 7.3.1
Demostracin. Consideraremos la factorizacin en Z
__
3
2
se separa y
1
[j+
_
3, entonces
2
- j+
_
3. Por lo tanto la descomposicin en primos
es
j +
_
3 =
n1
1
n:
:
,
110
donde (
I
) = j
I
son primos distintos dos a dos. Tomando normas queda
que
r
3
= j
2n1
1
j
2nr
:
,
luego 3[:
I
para todo i, lo que implica que j+
_
3 es un cubo en Z
__
3
.
Por consiguiente
j +
_
3 =
_
a + /
_
3
_
3
= a
3
9a/
2
+
_
3a
2
/ 3/
3
_ _
3,
y esto prueba la proposicin.
6.4 Ejercicios propuestos
1. Prubese el teorema 7.1.1
2. Prubese el teorema 7.1.2
3. Prubese que Z
__
2
es un anillo
4. Prubese que el anillo Z
__
2
es un dominio eucldeo.
5. Demustrese que las nicas soluciones enteras de la ecuacin j
2
+2 = r
3
son
j = 5, r = 3.
_
sugerencia. Considere la factorizacin en Z
__
2
_
6. Defnase y disctase todas las propiedades de Z
__
3
, +, )
Elementos distinguidos de un conjunto ordenado.
Sea un conjunto ordenado por una relacin de orden <
i. Primer elemento. El elemento a se llama primer elemento si y slo si
precede a todos los dems.
a es primer elemento == r == a < r
ii. ltimo elemento. El elemento / se llama ltimo elemento si y slo si
todo elemento de precede a /.
/ es ltimo elemento == r == r < /
115
iii. Elemento mnimo. El objeto : de es elemento mnimo si y slo si no
existe un elemento distinto que lo preceda
: es elemento mnimo == \r : r < : == : = r
iv. Elemento mximo. El objeto : de es elemento mximo si y slo si no
existe un elemento distinto que lo siga
: es elemento mximo == \r : : < r == r = :
La funcin factorial y los nmeros combinatorios
7.1.7 Denicin. La funcin factorial es la aplicacin
) : N
0
N
denida por
_
_
_
) (0) = 1
) (1) = 1
) (/ + 1) = (/ + 1) ) (/) si / 1
La notacin ms usual para esta aplicacin es /!. De este modo lo anterior
se traduce en
_
_
_
0! = 1
1! = 1
(/ + 1)! = (/ + 1) /!
La expresin /! se lee "/ factorial"
Propiedades del factorial
i. :! = 1 2 3 :
ii.
n
(n+1)!
=
1
n!
1
(n+1)!
7.1.8 Denicin. Sean los enteros no negativos : y /, tales que : _ /. Lla-
mamos nmero combinatorio ": sobre /" , al smbolo
_
:
/
_
denido por
_
:
/
_
=
:!
/! (: /)!
116
Propiedades de los nmeros combinatorios.
i. Dos nmeros combinatorios de rdenes complementarios son iguales
_
:
/
_
=
:!
/! (: /)!
=
:!
(: /)!/!
=
_
:
: /
_
ii. La suma de dos nmeros combinatorios no es, en general, un nmero com-
binatorio; pero si tiene igual numerador y denominador consecutivos vale
la frmula
_
: 1
/ 1
_
+
_
: 1
/
_
=
_
:
/
_
117
Respuestas a ejercicios de tipo numrico
Captulo 2.
1.
a. verdadero
b. falso
c. verdadero
d. falso
e. falso
10. :cd (576, 73) = 1; r = 2, j = 71
11. 600 y 120
12. 168, 18
13. 576, 162
16. a) 31, 44 b) 3, 2 c) 7, 8
17. para j es 4, la de j
2
es 6, la de j
2
2
es 9, y la de j
n
n
es (: + 1) (: + 1)
Captulo 3.
1. 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765, 10946.
3. n
1
+ n
3
+ n
5
+ + n
2n1
= n
2n
4. :cd (13, 34) = 1, :cd (5, 610) = 5, :cd (3, 1) = 1, :cd (:cd (10946, 144) , :cd (13, 34)) =
2
8.
35
157
= 0 +
1
4+
1
2+
1
17
;
237
101
= 2 +
1
2+
1
1+
1
7+
1
1+
1
3
;
285
126
= 2 +
1
3+
1
1+
1
4+
1
2
547
232
= 2 +
1
2+
1
1+
1
3+
1
1+
1
7+
1
2
;
15
131
=
1
8+
1
1+
1
2+
1
1+
1
3
Captulo 4.
1. a) Todo r tal que r [r] <
1
2
, b) Todo r, c) Todos los enteros, d) Todo
r tal que r [r] _
1
2
, e) Todo r tal que 1 _ r <
10
9
3. 143
4. ,(666) = 216, ,(153) = 96, ,(16384) = 8192
6. : impar; 35, 39, 45, 52, 56, 70, 72, 78, 84, 90
118
7. : par
8.
Jj1729
,(d) = 6 + 12 + 18 = 36
Captulo 5.
1. Z
7
+ 0 1 2 3 4 5 6
0 0 1 2 3 4 5 6
1 1 2 3 4 5 6 0
2 2 3 4 5 6 0 1
3 3 4 5 6 0 1 2
4 4 5 6 0 1 2 3
5 5 6 0 1 2 3 4
6 6 0 1 2 3 4 5
0 1 2 3 4 5 6
0 0 0 0 0 0 0 0
1 0 1 2 3 4 5 6
2 0 2 4 6 1 3 5
3 0 3 6 2 5 1 4
4 0 4 1 5 2 6 3
5 0 5 3 1 6 4 2
6 0 6 5 4 3 2 1
Z
8
+ 0 1 2 3 4 5 6 7
0 0 1 2 3 4 5 6 7
1 1 2 3 4 5 6 7 0
2 2 3 4 5 6 7 0 1
3 3 4 5 6 7 0 1 2
4 4 5 6 7 0 1 2 3
5 5 6 7 0 1 2 3 4
6 6 7 0 1 2 3 4 5
7 7 0 1 2 3 4 5 6
0 1 2 3 4 5 6 7
0 0 0 0 0 0 0 0 0
1 0 1 2 3 4 5 6 7
2 0 2 4 6 0 2 4 6
3 0 3 6 1 4 7 2 5
4 0 4 0 4 0 4 0 4
5 0 5 2 7 4 1 6 3
6 0 6 4 2 0 6 4 2
7 0 7 6 5 4 3 2 1
3. r = 5 mod12
6. 43
8. 1, 9, 3, 81, 243, 27
11. a) 9, b) 12, c) 1, d) 13
12. a) 26, 61, 96. b) 624 c) 1829
14. 1, 13, 10, 7, 4
15. 317
16. 17r
3
= 0 mod17
19. 983
119
Conclusiones.
Este trabajo es un estudio y una recopilacin de las principales deni-
ciones, propiedades y teoremas que corresponden a un curso clsico de teora de
nmeros, desarrollados en nivel universitario de nuestro pas.
A lo largo de la construccin de este trabajo, abordamos los nmeros enteros
naturales y sus propiedades de divisibilidad que bsicamente es lo fundamental
en la teora de nmeros, sin embargo tambin tratamos la solucin de un tipo
particular de ecuacin, a saber las ecuaciones diofnticas y adems vimos la
divisibilidad desde la perspectiva de la congruencia; intentando mostrar todo
esto desde una ptica ms amigable en cuanto a contenido y tratamiento didc-
tico de la teora. Adems, hemos incluido algunas secciones atractivas donde se
muestran algunas aplicaciones para los resultados mostrados.
Todo esto lo hemos hecho con el objetivo de contribuir a la formacin de
estudiantes universitarios que tienen que enfrentar este tipo de cursos, puesto
que el n de este tratado es ser usado como un dispositivo didctico que facilite
la comprensin de la teora, como medio de consulta y ejercitacin y como
material de divulgacin en general.
Sin embargo las matemticas crecen a un nivel acelerado y la teora de
nmeros no es la excepcin, por tal razn la contribucin de este material es
muy modesta, as teniendo esto presente instamos a estudiantes a profundizar
en el estudio e investigacin de esta rama de las matemticas, y a instituciones
universitarias y tcnicas a modernizar sus programas de estudios para abordar
dichos aspectos.
120
Bibliografa
Apostol. Tom M.. Introduccin a la teora analtica de nmeros. Editorial
Revert, S.A, 1980. Espaa.
Boyer. Carl B. Historia de la matemticas. Tercera reimpresin, 1994.
Alianza Universidad Textos. Madrid
Burton W. Jones. Teora de los nmeros. Primera edicin en espaol, marzo
1969. Editorial Trillas, S.A. Mxico, D.F.
Gentile Enzo R. Aritmtica Elemental. Programa regional de desarrollo
cientco y tecnolgico. Washington, D.C. 1985
Herstein. I.N. lgebra Abstracta. Edicin Original 1986. Grupo Editorial
Iberoamricana, S.A. Estados Unidos.
Niven y Zuckerman. Introduccin a la teora de los nmeros. Editorial
Limusa,1976. Mxico.
Rbnikov K. Historia de las matemticas. Traduccin al espaol, editorial
Mir, 1987. Mosc
Richman Fred. Number Theory: An introduction to algebra. 1971 by
Wadsworth Publishing Company. Belmont, California.
Rojo Armando O. Algebra I. Sptima edicin. Editorial El ateneo, Ar-
gentina.
Sominski I.S. Lecciones populares de matemticas, Mtodo de Induccin
matemtica. Segunda edicin 1985. Editorial Mir, Mosc.
Suse Marx / Ehard Krinke/ Wolfram Turke. Teora elemental de los nmeros:
Ecuaciones y Combinatoria. Editorial pueblo y educacin. La Habana, 1974.
Vinogrdov I. Fundamentos de la teora de los nmeros. Segunda reimpre-
sin 1987. Editorial Mir, Mosc.
Vorobiov N.N. Lecciones populares de matemticas, Nmeros de Fibonacci.
Editorial Mir, Mosc, 1974.
121
Webgrafa
References
[1] http://www.sectormatematica.cl/libros.htm
[2] http://www.google.com/images?hl=es&q=bonacci&wrapid
122