Objetivo General.

1. Compilar la teoría básica en un único documento destinado al estudiante de
física, matemática o ciencias en general; como apoyo bibliográ…co para
cursos sobre teoría de números.
Objetivos Especí…cos.
1. Reunir en un único tratado los tópicos fundamentales y recurrentes en los
programas de teoría de números, con la …nalidad de dirigirlo a estudiantes
como material bibliográ…co, para apoyo de la asignatura y consulta.
2. Mostrar en un lenguaje sencillo los principales resultados de la teoría de
números, acompañado de buena ejercitación, además de algunas aplica-
ciones y actualizaciones en este campo.
1
Introducción
La teoría de números o aritmética como también es llamada es quizás junto
con la geometría la rama de la matemática más antigua, pero a diferencia de esta
en la cual pueden recrearse formas y cuerpos para ser estudiados, la aritmética
suele ser árida, abstracta y desprovista de atractivo para casi cualquier lector,
muchos matemáticos han llamado a la teoría de números como la rama más
difícil de esta ciencia, otros le han dado el título de Reina de las matemáticas,
sea cual sea el cali…cativo la aritmética siempre ha estado rodeada de un aura de
misticismo y escepticismo para el lector. A pesar de que esta rama cuenta con
un gran campo de aplicación en disciplinas como la computación, criptografía,
…nanzas, biología, física y las matemáticas mismas. Sin mencionar que ha en-
gendrado los problemas más famosos y difíciles de las matemáticas, algunos aun
sin solución en la actualidad; así también ha dado lugar a la creación de nuevas y
modernas ramas de las matemáticas tales como: la teoría analítica de números,
la teoría algebraica de números, teoría de curvas elípticas, entre otras.
La teoría de números no es propia de un nivel particular de educación,
podemos encontrar tópicos de ésta desde la escuela primaria hasta la univer-
sidad. Propiamente dicho, en nuestro país se forman profesionales en educación
con mención en matemáticas donde deben estudiar teoría de números. Es pre-
cisamente por estos últimos que escribimos este trabajo.
Por las características socioculturales y económicas de nuestro país, es difícil
acceder a bibliografía actualizada y adecuada para ciertos niveles educativos y
para determinados …nes académicos, motivados por esta causa hemos decidido
escribir este trabajo compilatorio en su gran medida, pero con las particulari-
dades de: mostrar la teoría expuesta con una claridad de lenguaje y explicación
paso a paso, presentar una variedad de ejercicios resueltos y otra gama de ejer-
cicios propuestos con su respuesta o sugerencias para su solución, un material
autosu…ciente en el sentido que cada capítulo dota de lo necesario para el sigu-
iente sin la necesidad de recurrir a otros medios y …nalmente las aplicaciones a
otras ciencias o dentro de las matemáticas mismas y los resultados más recientes
en esta rama.
La intención de este documento es crear, no un recetario sino, un medio
didáctico-técnico, dirigido a estudiantes de nivel universitario que tengan que
enfrentarse a un curso de teoría de números, pues aquí podrán adquirir una
formación teórica-práctica en cuanto a conocimiento teórico y estrategia para
la solución de problemas.
2
Reseña Histórica De La Teoría De Números.
Construyendo el número
Hoy en día encontramos números en casi cualquier disciplina cientí…ca, tec-
nología o incluso en el ambiente ordinario, pero este conjunto de grafos son el
resultado de mucho tiempo de evolución y complejas relaciones culturales que
datan desde tiempos del origen de la humanidad misma.
El concepto de número surgió como consecuencia de la necesidad práctica
de contar los objetos. Inicialmente se contaba con ayuda de los medios que
se disponía: dedos, piedras, conos de abetos, etc. Huellas de estos se han
conservado en las denominaciones de los cálculos matemáticos: Por ejemplo,
calculus en su traducción del latín signi…ca cuenta con piedras. Debido a los
medios utilizados para contar, la serie natural se concebía …nita y se contaba de
5 en 5 (para el caso de los dedos de las manos) y luego se iniciaba nuevamente
la cuenta formando paquetes de 5. Presumiblemente esta sea la razón de tener
un sistema decimal por poseer 10 dedos en las manos utilizados como medios
de cálculo.
Junto a la utilización de más y más números surgieron y se desarrollaron sus
símbolos, y los propios números formaron sistemas. Para los primeros períodos
de la historia de la humanidad es característico encontrarse con una diversidad
de sistemas numéricos. Que paulatinamente se perfeccionaron y uni…caron como
consecuencia de las interacciones culturales entre las distintas razas.
Algunos ejemplos se muestran en las …guras siguientes:
Numeración Egipcia
3
Numeración Eslava
Nuestros numerales (0, 1, 2, 3, 4, 5, 6, 7 ,8 ,9) se suelen llamar árabes o
arábigos a pesar que se parecen muy poco a los utilizados en los países de la
región árabe como Egipto, Irak, Siria, Arabia, etc. Pero esta denominación
de números arábigos se debe a que los principios en los que se basan los dos
sistemas es el mismo y a que los signos usados pueden haberse derivado de los
árabes.
Con esta universalización del sistema numérico, la conciencia del número se
volvió lo su…cientemente extendida y clara como para llegar al punto de sentir
la necesidad de expresar esta propiedad de alguna manera, al inicio presumible-
mente solo en un lenguaje simbólico.
4
Nacimiento De La Aritmética
La aritmética de la traducción griega arihtmos o número tiene su origen en el
misticismo numerológico de los griegos o más especí…camente de la escuela de los
pitagóricos. Los pitagóricos fueron con mucha seguridad los primeros en estudiar
algunas de las propiedades de los números y a dar las primeras clasi…caciones
como pares, impares, primos, compuestos, números …gurados, entre otros.
En la época moderna la Aritmética o Teoría de números como también es
llamada se concibe como la rama de las matemáticas encargada de estudiar las
propiedades de los números naturales (0, 1, 2,. . . ) o enteros (. . . ,-2, -1, 0, 1,
2,. . . ). Entre las propiedades de mayor interés se cuentan: la divisibilidad y
cuando un número es primo o compuesto.
La época de Euclides
Cercano al 300 a .c ocurrió uno de los principales sucesos para la historia de
las matemáticas, la aparición de los Elementos de Euclides obra monumental de
13 libros que recoge el conocimiento matemático alcanzado hasta la época, que
sacaría a la aritmética de la numerología y del misticismo, para convertirla en
una ciencia estricta y deductiva. Existe la concepción errónea que los elementos
es una obra enteramente dedicada a la geometría, los libros VII, VIII y IX están
dedicados enteramente a la teoría de números.
El libro VII comienza con dos proposiciones que constituyen lo que hoy
conocemos como el algoritmo de Euclides para obtener el máximo común divisor
de dos números dados. El libro VIII trata las propiedades de los cuadrados y los
cubos. Y por último y el que posee un interés especial el libro IX, que contiene el
teorema y la demostración del mismo sobre la in…nitud de los primos. También
atacó el problema de los números perfectos, dando la demostración de que todo
número perfecto es de la forma 2
¡1
(2
¡
÷1),en donde j y 2
¡1
son primos. Dos
mil años más tarde Euler demostró el recíproco del teorema diciendo que todo
número par perfecto debe ser del tipo descrito por Euclides.
Por ejemplo. Para 6 tenemos:
6 = 2
21
_
2
2
÷1
_
= 2 3
Todo número de la forma 2
¡1
, en donde j es primo se conocen como números
de Mersenne, que los estudió en 1644. Aún hoy no se conoce si existen números
perfectos impares.
La Aritmética De Diofanto
Los 250 años que siguieron a la desaparición de Euclides la teoría de números
entró en un periodo de oscuridad hasta la llegada de Diofanto de Alejandría,
quién publicó 13 libros, de los cuales se han conservado 6.
5
La aritmética de Diofanto en lo que ha llegado hasta nosotros, está dedicada
casi completamente a la resolución exacta de ecuaciones determinadas e inde-
terminadas. Una de los principales aportes de Diofanto a las matemáticas fue
haber introducido la notación algebraica que precedió a lo que hoy utilizamos.
La arithmetica no consiste en exposición sistemática sobre las operaciones o
funciones algebraicas, sino en una colección de 150 problemas, resueltos todos
en términos de ejemplos numéricos completos y especí…cos.
Diofanto fue hábil para resolver ecuaciones algebraicas con dos o tres incóg-
nitas. Muchos de estos problemas se originaron en la teoría de números 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 difánticas
y el estudio de tales ecuaciones análisis diofántico.
Pierre de Fermat y La Teoría De Números
El trabajo de Diofanto encuentra en el siglo diecisiete a su mejor intérprete,
Pierre de Fermat quien se convertiría en el creador de la moderna teoría de
números.
Dentro de los resultados obtenidos por Fermat tenemos que a…rmaba que
los números de la forma )
n
= 2
2
n
+ 1 es un número primo \: ¸ N, pero esta
conjetura resulto errónea, Euler demostraría que para : = 5 es compuesto.
El conocido teorema de Pitágoras, inspiró el resultado más famoso y quizás
el más difícil planteado por Fermat. El llamado último teorema de Fermat, la
ecuación diofántica r
2
+ j
2
= .
2
; \: 2 , no tiene solución en los números
enteros. Este fue un problema que se resistió 350 años a las mejores mentes
matemáticas hasta que un joven matemático inglés, Andrew Wiles, en mayo
de 1995 publicará un artículo de 130 páginas en Annals of Mathematics con la
solución al problema.
Aunque tal vez menos impresionante, pero otra gran paso en la teoría de
números debido a Fermat es el pequeño 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 demostración se la debemos a Euler.
Fermat logró verdaderos y muy profundos avances en esta rama de las
matemáticas, a pesar que su forma de razonar era muy intuitiva y casi nunca
daba una demostración general, sin embargo dio algunas muy interesantes para
los siguientes teoremas:
Todo número entero o es un número triangular o una suma de 2 ó 3 números
triangulares; todo entero o es cuadrático o suma de 2, 3, ó 4 cuadráticos; todo
número o es pentagonal o es suma de 2, 3, 4 ó 5 pentagonales, y así sucesiva-
mente.
6
También se le debe el resultado de que todo número 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 Aritmética
Posterior al trabajo de Fermat, resuenan los nombres de las que quizás sean
las …guras más representativas de la moderna teoría de números: Leonard Euler
(1707-1783), Lagrange (1763-1813), K.F Gauss ( 1777-1855) y Dirichlet (1805-
1859).
Gracias a Euler se veri…caron o refutaron algunos de los ya mencionados
problemas planteados por Fermat. Dictada por Euler, ya ciego, alrededor del
año 1767, la Aritmética Universal apareció, obra monográ…ca que consta de dos
partes; en los tres parágrafos de la primera parte dirigió una atención especial
a las reglas de resolución de problemas aritméticos y al desarrollo del aparato
simbólico-lingüístico del álgebra. El último parágrafo incluye preferentemente
los métodos para buscar soluciones enteras de las ecuaciones indeterminadas
de primer grado y grados superiores. Aquí se le agrega la resolución del gran
teorema de Fermat para : = 3 j : = 4.
Todo hace indicar que la motivación especial por la teoría de números,
provino de la correspondencia mantenida entre Euler y Goldbach otro brillante
matemático. En una de estas cartas, fechada de 1 de diciembre de 1729, Gold-
bach pregunta a Euler si conoce el resultado donde Fermat a…rma que todo
número 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.
Además de este hecho demostró el pequeño teorema de Fermat, introdujo
la función ,(:), cuyos valores son iguales a la cantidad de números menores
que : y que son coprimos con él, en 1722 creó la ley de reciprocidad cuadrática
y todo lo concerniente al problema de la representación de números en formas
cuadráticas.
Los trabajos de Euler determinaron la problemática, la estructura, y los
métodos de la teoría algebraica de los números.
7
Después de Euler, la ley de reciprocidad cuadrática la demostró Legendre
(dio una demostración incompleta). Gauss, hasta el año 1801 dio ocho demostra-
ciones de esta ley. No obstante Legendre en 1880 encontró la forma más cómoda
de escribir esta ley:
_
j
¡
__
¡
j
_
= (÷1)
p1
2
,
q1
2
Entre los problemas aditivos de la teoría de números, propuestos en el siglo
XVIII, se encuentra también el problema de Waring (1770), cualquier número
natural : _ 2 es representable como la suma de :÷ c:i:a: potencias de números
naturales, además el número r de términos de la suma depende solo de n. Waring
no dio su demostración. Como en la mayoría de los problemas de la teoría de
números, el éxito se logró con mucha di…cultad. 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 demostración general.
En los trabajos de Euler, Lagrange, Legendre, Lambert y otros matemáticos,
fueron elaborados y re…nados numerosos e ingeniosos métodos de la teoría de
números, tanto algebraicos como analíticos. Todas estas investigaciones, natu-
ralmente, necesitaban sistematización, reducción a una estructura lógica y bien
estructurada de manera original. Esta dura tarea fue iniciada por Legendre en
los años de 1797-1798 que tituló “Experiencia de la teoría de números”, teniendo
como objetivo construir un sistema de resultados sobre las propiedades de los
números enteros. En posteriores ediciones fue completado con el trabajo de
Gauss, Abel y otros brillantes matemáticos del siglo XIX. En esta presentación
está contenida el enorme cúmulo de conocimiento sobre teoría de números, lo
que le da un signi…cado histórico y un signi…cado intelectual invaluable como
guía para iniciar el camino de los números.
8
1 Números Enteros Naturales
"Dios hizo los números naturales; el resto es obra del hombre"
Leopold Kronecker.
En este capítulo abordaremos los principios fundamentales que rigen a los
números naturales, El principio del buen orden y el Principio de Inducción
matemática. Además de estudiar el sistema de los naturales desde la óptica
axiomática de Peano.
1.1 Principio del Buen Orden (PBO)
1.1.1 De…nición. Decimos que a es mayor que / (simbolizado a /), si la
ecuación / + r = a es soluble para algún número natural r.(para el caso
r = 0, se obtiene la igualdad / = a)
La relación a es mayor que /, puede expresarse equivalentemente así: / < a
La relación "mayor que" antes de…nida tiene las siguientes propiedades:
1. Tricotomía. Una y solamente una de las relaciones siguientes debe cumplirse:
a /, a = /, a < /
Demostración.
Supongamos que se cumplen a / y a = /. De la de…nición de mayor,
tenemos la existencia de algún r natural, tal que a = / + r, por hipótesis
y transitividad se sigue que / = / + r, lo cual es absurdo. Ahora supongamos
como cierto que a < / y a = /, análogamente, se tiene un r tal que / = a+r, por
hipótesis 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
Demostración. 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 ecuación así: a = (c + j) + r = c + (j + r) , por propiedad
asociativa. Sin embargo (j + r) = . es un número natural por cerradura de la
adición. Esto prueba que a = c + . y por tanto a c
9
3. Si a /, entonces a + c / + c
Demostración.
Para realizar esta demostración empezaremos por escribirla en la forma sim-
bólica:
Si a / == a + c / + c
Tomando su contrarrecíproco
~ (a + c / + c ) == ~ (a /)
que equivalentemente es
a + c _ / + c == a _ /
Aquí el símbolo _ lo utilizamos a …n de simpli…car 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 demostración de la propiedad número 3 se realizó en la base de la ley
cancelativa, de la cual se dará una demostración más adelante.
Principio de Buen Orden (PBO): Cualquier conjunto de números nat-
urales que contenga al menos un elemento, contiene un elemento mínimo.
1.1.1 Teorema. No hay ningún natural entre 0 y 1.
Demostración.
Supongamos que existe un número a, con la siguiente propiedad, 0 < a < 1.
Entonces, existe un conjunto ¹ no vacío de elementos menores que 1. Luego,
por PBO, ¹ tiene elemento mínimo, llamémosle :, será tal que 0 < : < 1.
Mutiplicando toda la desigualdad por :, 0 < :
2
< :. Entonces :
2
es otro
natural del conjunto ¹, menor que el supuesto elemento mínimo de ¹. Esta
contradicción 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 también a cualquier
entero natural.
10
Demostración.
La prueba consiste en demostrar que el conjunto H
0
de los naturales que
no están en H es vacío, 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 mínimo :. Pero : ,= 1, por hipótesis 1 ¸ H; luego por el teorema
anterior : 1, y :÷ 1 1. Además 1 < :÷ 1 < :, resulta que, como :
es elemento mínimo de H
0
, :÷ 1 debe estar en H. Según la hipótesis puede
deducirse que (:÷1) + 1 = : ¸ H. Lo que contradice nuestro supuesto.
1.2 Principio de Inducción Matemática (PIM)
1.2.1 Teorema. Principio de inducción Completa. Asociemos a cada
número natural : una proposición 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 :.
Demostración.
Una proposición 1 (:) , es válida para todo número natural : si:
1. Es válida para : = 1
2. De su validez para un número natural cualquiera : = / se deduce su
validez para : = / + 1
Supongamos lo contrario, es decir, que la proposición no es válida para
cualquier número natural :. Entonces, existe un número natural :
0
tal que,
la proposición es falsa; por la condición 1. :
0
,= 1. Luego, existe un número
natural :
1
tal que :
0
= :
1
+ 1. A…rmamos que
:
0
:
1
y 1
n1
es falsa.
Porque :
1
< :
1
+1 = :
0
y si 1
n1
es verdadera, entonces por la condición 2
la proposición 1
n1+1
= 1
n0
sería verdadera, lo cual contradice nuestro supuesto.
(existe un número natural :
0
tal que, la proposición es falsa). Aplicando a :
1
el
mismo razonamiento que a :
0
, encontramos que existe un número natural :
2
,
tal que
:
0
:
1
:
2
y 1
n2
es falsa
continuando de esta manera obtenemos una sucesión in…nita decreciente de
números naturales
:
0
:
1
:
2
:
3
:
I

11
Lo cual es imposible puesto que cualquier subconjunto de números naturales
tiene elemento mínimo (PBO).
La demostración 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. Demuéstrese que para todo natural :, la suma de los primeros : términos es
:(: + 1)
2
Demostración.
1 + 2 + 3 + + : =
:(: + 1)
2
Primeramente veri…camos el caso particular : = 1, esto es
1 =
1 (1 + 1)
2
=
2
2
= 1
Por tanto, 1
1
es válida.
Ahora, supongamos que 1
|
es válida. Entonces la hipótesis de inducción 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 término de la igualdad y aplicando la hipótesis induc-
tiva; como sigue:
(1 + 2 + 3 + + /) + / + 1 Agrupamos los primeros / términos
(1 + 2 + 3 + + /) + (/ + 1) =
|(|+1)
2
+ (/ + 1) hipótesis de inducción
(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. Demuéstre la validez de la siguiente a…rmación:
2 + 4 + 6 + + 2: = :(: + 1)
Demostración.
Para el caso particular : = 1
2 = 1(1 + 1) = 2
por tanto la proposición es verdadera para : = 1
Suponiendo la validez de la expresión para algún / ¸ N. La hipótesis 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 / términos
(2 + 4 + 6 + + 2/) + 2 (/ + 1) = /(/ + 1) + 2 (/ + 1) hipótesis de inducción
(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 Números Naturales y Axiomas de Peano
Se de…ne el conjunto N de los números naturales como un conjunto que veri…ca
los cinco axiomas siguientes:
1. Existe un elemento de N al que llamaremos cero (0), esto es,
0 ¸ N
2. Existe la aplicación siguiente, :iq : N ÷÷N :
:iq : N ÷÷N, \: ¸ N, :iq (:) ¸ N
3. El cero no es imagen por la aplicación siguiente:
\: ¸ N, :iq (:) ,= 0
13
4. La aplicación siguiente es inyectiva:
\:, : ¸ N, :i :iq (:) = :iq (:) == : = :
5. Se veri…ca la inducción completa: Si o ¸ N y satisface
0 ¸ o
\: ¸ o == :iq (:) ¸ o
_
== o = N
A partir de estos cinco axiomas, y usando sistemáticamente la inducción
completa, podemos probar todas las propiedades del conjunto N.
1.3.1 De…nición. De…nimos la suma de números naturales como una apli-
cación + : 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 De…nición. De…nimos la multiplicación de números naturales como una
aplicación : 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 veri…can las propiedades asociativa, conmutativa y cancelativa para la
suma de números 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 = /
Demostración:
1. Propiedad Asociativa. \a, /, c ¸ N, (a + /) + c = a + (/ + c)
Haremos inducción sobre a.
Si a = 0, entonces
(0 + /) + c = / + c = 0 + (/ + c)
podemos asumir, la hipótesis de inducción
(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 inducción sobre a.
Si a = 0, entonces
0 + / = / = 0 + /
podemos asumir, la hipótesis de inducción
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 demostración haciendo inducción sobre c.
Si c = 0, entonces
a + 0 = / + 0 == a = /
Asumimos la hipótesis 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 aplicación sig
== a = c hipótesis inductiva
1.3.2 Teorema.
Se veri…can las propiedades asociativa, conmutativa, cancelativa y distribu-
tiva (respecto a la suma) para el producto de números 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 Exponenciación en N
1.4.1 De…nición. Para cualesquiera números 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
Demostración:
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 válida puesto que: a
n+0
= a
n
= a
n
1 = a
n
a
0
.
ii) Ahora vamos a suponer que existen números 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 número 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-
sión in…nita decreciente : :
1
:
2
:
3
... :
I
... de números naturales.
Lo cual es imposible puesto que cualquier subconjunto de números naturales
tiene elemento mínimo (PBO). Por lo tanto, a
n
a
n
= a
n+n
para cualesquiera
números 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, también veri…camos que; (a
n
)
1
= a
n
= a
n1
Así, asumimos que esto es cierto para algún número natural /, nuestra
hipótesis 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 de…nición de potencia e hipótesis 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 válido,
\a, :, : ¸ N.
La tercera parte, para completar el teorema, queda como ejercicio.
18
1.5 Ejercicios resueltos sobre axiomas de Peano e Induc-
ción.
1. De…nimos la relación "menor o igual que" (_) de modo siguiente: \a, / ¸
N, a _ / == ¬r ¸ N : a + r = /.
Probar que (_) es relación de orden, es decir, es re‡exiva, antisimétrica y
transitiva.
Demostración.
i. Es re‡exiva: \a ¸ N, ¬ 0 ¸ N : a + 0 = 0 + a = a == a _ a
ii. Antisimétrica: \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 número (r + j) = . ¸ N,
tal que c = a + . == a _ c.
2. Ningún número natural coincide con su siguiente: \: ¸ N, : ,= :iq (:)
Demostración.
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 función siguiente). Luego :iq(:) ¸ ¹
Y del axioma quinto, se sigue que ¹ = N.
3. Todo número natural es estrictamente menor que su siguiente: \a ¸ N, a <
:iq (a)
Demostración.
: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. Demuéstrese en N,
a ,= / == a + : ,= / + :
Hacemos inducción sobre : y tenemos:
a. : = 1 == a+1 = :iq (a) ,= a ,= / ,= :iq (/) = /+1, de aquí que a+1 ,= /+1.
Luego nuestra hipótesis de inducción a ,= / == a + / ,= / + /, \/ ¸ N
b. a +/ ,= / +/ == a +:iq (/) ,= / +:iq (/) . Procedemos como sigue: a +/ ,=
/ + / == :iq (a + /) ,= :iq (/ + /) == a + :iq (/) ,= / + :iq (/) .
Demostraciones por inducción.
1. Pruébese 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
Hipótesis inductiva, para : = /,
o
|
=
1
1 2
+
1
2 3
+
1
3 4
+ +
1
/ (/ + 1)
=
/
/ + 1
donde / es un número natural.
Demostremos que, también es válida 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 hipótesis de inducción 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
a…rmar que la proposición anterior es verdadera.
2. Pruébese que todo número 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 veri…ca la primera parte de la inducción.
Hipótesis inductiva, para : = /,
1
|
= 2/ ÷1
Demostremos, entonces que, la fórmula debe ser válida para (/ + 1) , esto es
1
|+1
= 2 (/ + 1) ÷1 es impar.
1
|+1
= 2 (/ + 1) ÷1 = 2/ + 1
Para obtener el (/ + 1)-ésimo número impar basta agregar 2 al / ÷ c:i:o
número impar:
1
|+1
= 1
|
+ 2
pero, por hipótesis, 1
|
= 2/ ÷1 de modo que
1
|+1
= (2/ ÷1) + 2 = 2/ + 1
como queríamos demostrar.
3. Calcúlese la suma de los : primeros números impares.
21
Llamemos o
n
a la suma buscada:
o
n
= 1 + 3 + 5 + + (2: ÷1)
Tomenos sucesivos valores para :, hasta obtener información su…ciente para
poder enunciar una hipótesis acertada, para posteriormente demostrarla por
inducción.
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 hipótesis es verdadera
De los cálculos anteriores resulta que la hipótesis es válida para : = 1.
Hipótesis inductiva, para : = /,
o
|+1
= (/ + 1)
2
Probaremos que también debe ser válida 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. Demuéstrese la desigualdad de Bernoulli
(1 + c)
n
1 + :c
donde c 0 y : es un número natural mayor que 1.
Demostración.
La desigualdad es válida 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
Hipótesis inductiva, para : = /,
(1 + c)
|
1 + /c (+)
Demostremos entonces que la desigualdad también se cumple para : = /+1,
o sea, que
(1 + c)
|+1
1 + (/ + 1) c
En efecto, por hipótesis, se tiene
1 + c 0
de modo que es válida 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 queríamos probar.
23
1.6 Misterios de los Números Naturales.
Observe la siguiente relación numérica
100 = 1
3
+ 2
3
+ 3
3
+ 4
3
Cien como la suma de los primero cuatro naturales elevados al cubo. Otra
relación interesante es la del número de días del año, es decir, 365
10
2
+ 11
2
+ 12
2
= 365
Resulta ser la suma de los cuadrados de tres números consecutivos em-
pezando con 10.
Pero también es
13
2
+ 14
2
= 365
la suma de los cuadrados de los siguentes números.
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 relación
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 Números Enteros
1. Pruébese que, si a /, entonces ac /c
2. Demuéstre el principio de buen orden (PBO)
3. Demuéstre el teorema 1.4.1 parte 3
4. Demuéstrese que la suma de los cuadrados de los : primeros números
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. Calcúlese
o
n
= 1 1! + 2 2! + 3 3! + + : :!
y pruébese por inducción.
6. ¿Para qué valores naturales de : se cumple la desigualdad 2
n
2: + 1?
Pruebe la desigualdad a partir del : encontrado
7. Demúestrese que
1
2
_
1
+
1
2
_
2
+ +
1
2
_
:

2
_
:
para todo natural : 1.
8. Demuéstrese el teorema: La media geométrica de varios números naturales
no pasa de la media aritmética de los mismos, es decir, siendo a
1
, a
2
, . . . , a
n
unos número naturales, se tiene
n
_
a
1
, a
2
, . . . , a
n
_
a
1
+ a
2
+ . . . + a
n
:
9. Demuéstrese: : planos que pasan por un mismo punto, sin que contengan
nunca tres una recta común, dividen el espacio en
¹
n
= :(: ÷1) + 2
partes.
10. Demuéstrese que
(1 + i)
n
= 2
n
2
_
cos

4
+ i sin

4
_
donde i =
_
÷1.
11. Demuéstrese el Binomio de Newton.
(a + /)
n
=
n

|=0
_
:
/
_
a
n|
/
|
25
2 Números Enteros y Los números Primos
"Dios puede que no juega a los dados con el universo, pero algo extraño está
pasando con los números primos"
Paul Erdös.
Desarrollaremos aquí las ideas más fundamentales de la aritmética: la di-
visibilidad, el máximo común divisor, mínimo común múltiplo y la de…nición
de número primo, entre otros. Además de tratar el teorema fundamental de la
aritmética y algunas de sus aplicaciones en la matemática.
2.1 Divisibilidad de Números Enteros
El conjunto
Z = ¦ ÷3, ÷2, ÷1, 0, 1, 2, 3 ¦
es llamado el conjunto de números enteros; los números
Z
+
' 0 = ¦0, 1, 2, 3, ¦
enteros no negativos; y los números
Z
+
= ¦1, 2, 3, ¦
enteros positivos.
Usualmente denotamos a los números enteros con letras latinas mínusculas
a, /, , : , r, j, .
algunas veces para referirnos a una subclase de los enteros usamos la misma
notación, así que, basta con indicar a cual hacemos referencia. (positivos, neg-
ativos, etc.)
2.1.1 De…nición de divisibilidad. Diremos que d divide a : y escribiremos
d[:, si : = cd para un c ¸ Z. Diremos también que : es un múltiplo
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 veri…ca las siguientes propiedades:
a. :[: (propiedad re‡exiva)
b. d[: . :[:, entonces d[: (propiedad transitiva)
26
c. d[: . d[:, entonces d[ (a: + /:) (propiedad lineal)
d. d[: == ad[a: y a ,= 0 (propiedad de multiplicación)
e. 1[: (1 divide a todos los enteros)
f. d[: . d[: == d[: + :
g. d[: + :. d[: == d[:
Demostración.
a. :[: (propiedad re‡exiva)
: = : == re‡exividad de la igualdad
== : = 1 : identidad multiplicativa en Z
== :[: por de…nición 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 multiplicación
: = d c
,,
es ley de composición 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 composición interna
a: + /: = d (r + j) Prop. distributiva
) d[ (a: + /:) def. divisibilidad
d. d[: == ad[a: y a ,= 0 (propiedad de multiplicación)
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 Máximo Común Divisor
2.2.1 Teorema. El algoritmo de la división. Dados dos enteros cua-
lesquiera : j :, con : 0, existen los enteros únicos ¡ j r tales que
: = :¡ + r, 0 _ r < :
Demostración.
Sea ¹ el conjunto de enteros no negativos dado por
¹ = ¦r : r = : ÷:j, j ¸ Z, r _ 0¦
Es un conjunto no vacío de enteros no negativos, en virtud del PBO admite
mínimo, 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 mínimo r. Esta contradicción demuestra que r < :.
Los números ¡, 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 contradicción para (+) , lo cual completa la
demostración.
28
2.2.1 De…nición. Un número entero positivo d se denomina divisor común
de los números enteros positivos :
1
, :
2
, :
3
, , :
I
si y solo si d es
divisor de :
1
, :
2
, :
3
, , :
I
. Puesto que solamente existe un número
…nito de divisores de cualquier entero diferente de cero, solamente
existen un número …nito de divisores comunes de :
1
, :
2
, :
3
, , :
I
,
luego el mayor de los divisores comunes se llama máximo común di-
visor (:cd) de :
1
, :
2
, :
3
, , :
I
, y se denota :cd (:
1
, :
2
, :
3
, , :
I
)
o simplemente (:
1
, :
2
, :
3
, , :
I
) . Si el máximo común divisor es 1
decimos que los números 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 división obteniendo un conjunto de
restos r
2
, r
3,
, r
n
, r
n+1
de…nidos 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
máximo común divisor de : j :.
Demostración.
Existe un momento en que r
n+1
= 0 puesto que los r
I
son decreciente y no
negativos. La última relación, r
n1
= r
n
¡
n
demuestra que r
n
[r
n1
. La anterior
a la última prueba que r
n
[r
n2
. Por inducción 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 común de : j :.
Ahora sea d otro divisor común de : j :. La de…nición de r
2
prueba que d[r
2
.
La relación que le sigue prueba que d[r
3
. Por inducción, 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 máximo común divisor de : j :, entonces existen
los enteros a j / tales que d = :cd (:, :) = a: + /:
Demostración.
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-
binación lineal de : j : :
r
2
= : ÷:¡
1
sustituyendo en la segunda ecuación se obtiene r
3
como combinación lineal
de : j : :
r
3
= :÷r
2
¡
2
r
3
= :÷¡
2
(: ÷:¡
1
)
Si reiteramos este procedimiento, entonces en la penúltima ecuación obten-
emos r
n
, que es el mcd de : j :, como combinación lineal de estos números.

2.2.4 Teorema. El :cd posee las siguientes propiedades:
a. (:, :) = (:, :)
b. (:, (:, :)) = ((:, :) , :)
c. (c:, c:) = [c[ (:, :)
d. (:, 1) = (1, :) = 1
e. Si d[: y d[: y d 0, entonces
_
n
J
,
n
J
_
=
(n,n)
J
. A demás, si (:, :) = q,
entonces
_
n
¸
,
n
¸
_
= 1.
Demostración.
a. Si d = (:, :), es claro que (:, :) = (:, :) . puesto que independientemente
del orden d dividirá a :, : y podrá expresarse como combinación 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. Además,
la ecuación (+) 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
Demostración. 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 Diofánticas.
Una ecuación lineal diofántica es una ecuación de la forma
:a + :/ = c
donde :, : y c son números enteros y a, / variables que recorren todo Z.
2.2.6 Teorema. Si (:, :) [c entonces la ecuación lineal diofántica :a+:/ = c
siempre tiene solución entera.
Demostración. Supongamos que la ecuación :a + :/ = c tiene como
solución a
1
y /
1
y que d = (:, :) no divide a c y sean a
0
y /
0
una solución para
:a + :/ = c.
De esta manera tenemos
:a
1
+ :/
1
= c
:a
0
+ :/
0
= d
Por el algoritmo de la división 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 contradicción, puesto que hemos obtenido una combi-
nación lineal de : y : y 0 < r < d, esto contradice que d era la combinación
lineal mínima (es decir, d no era el máximo común divisor). La contradicción
suirgió de suponer que :a + :/ = c podía tener solución aunque d - c, por lo
que hemos demostrado el teorema.
31
2.2.7 Teorema. La ecuación :a+:/ = c tiene solución si y sólo si d = (:, :)
divide a c. Además, las soluciones son los números 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 veri…camos que tenga solución, esto es que (243, 198) divida
a 9. Como (243, 198) = 9 (+) tiene solución.
243r + 198j = 9 dividiendo por 9 obtenemos
27r + 22j = 1 (++) que es equivalente a (+)
Una solución 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 veri…can 243 (31) +
198 (÷38) = 9.
2.3 Mínimo Común Mútiplo
2.3.1 De…nición. Los números enteros positivos :
1
, :
2
, :
3
, , :
I
, tienen un
múltiplo común / si :
¸
[/ para , = 1, 2, 3, . . . , i. (Nótese que existen
múltiplos comunes; por ejemplo, el producto :
1
:
2
:
3
:
I
)
El menor de los múltiplos comunes positivos recibe el nombre de
mínimo común múltiplo y se denota por [:
1
, :
2
, :
3
, , :
I
] .
2.3.1 Proposición: El mínimo común multiplo cumple con las siguientes
propiedades.
a. :[:, si [:, :] = [:[
b. c 0 implica [c:, c:] = c [:, :]
c. d 0, d[: j d[: implica
_
n
J
,
n
J
¸
=
[n,n]
J
32
2.3.1 Teorema. Si / es cualquier múltiplo común 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
múltiplos comunes de :
1
, :
2
, :
3
, , :
I
.
Demostración. Sea / cualquier múltiplo común, divídase / 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 múltiplo común positivo de :
1
, :
2
, :
3
, , :
I
contrario al hecho de que / es
el menor positivo de todos los múltiplos comunes. Por tanto debe ser r = 0 y
/[/.
2.3.2 Teorema. Si c 0, [c:, c:] = c [:, :] . También [:, :](:, :) = [: :[
Demostración. Recordemos que, si a[/ . /[a == a = /. Ya que [c:, c:] es
un múltiplo de c:, con mayor razón es múltiplo 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 múltiplo de :, digamos c:. Entonces :[c: y (:, :) = 1, así por el teorema
2.2.5, :[:. De aquí que : _ c, :: _ c:. Pero ::, siendo un múltiplo común
positivo de : y :, no puede ser menor que el mínimo común múltiplo y, por
tanto, :: = :: = [:, :] .
Regresemos al caso general, donde (:, :) = q 1, se tiene
_
n
¸
,
n
¸
_
= 1. Al
aplicar el resultado del párrafo precedente, se obtiene
_
:
q
,
:
q
_ _
:
q
,
:
q
_
=
:
q

:
q
Al multiplicarse por q
2
y usando el teorema 2.2.4.e y la proposición 2.3.1,
así como la primera parte del presente teorema, se obtiene [:, :] (:, :) = ::
2.4 Números Primos
2.4.1 De…nición. 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 números 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.
Demostración. Sea : 1. Supongamos que no es divisible por ningún
primo. En particular, : mismo no puede ser primo pues sería divisible por si
mismo. Como : no es primo, tiene algún divisor positivo d
1
distinto de 1 y :,
es decir 1 < d
1
< :. Pero d
1
no puede ser primo por que dividiría 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 contradicción pues no es posible continuar
inde…nidamente este proceso ya que entre 1 y : sólo hay un número …nito de
términos. Por tanto, : debe ser divisible entre algún primo.
2.4.2 Teorema. (Euclides)Existen in…nitos números primos.
Demostración. Sea : un número natural arbitrario. Sabemos que : y
:+1 son números enteros positivos consecutivos, deben ser coprimos. Entonces
el número ·
2
= :(:+1) debe tener, como mínimo, dos factores primos distintos.
Análogamente, los números enteros :(: +1) y :(: +1) +1, son consecutivos y,
por tanto, coprimos . En consecuencia, el número ·
3
= :(:+1) [:(: + 1) + 1]
debe tener, como mínimo, tres factores primos diferentes. Este proceso puede
ser continuado inde…nidamente, así que el conjunto de los números primos es
in…nito.
2.4.3 Si un primo j no divide a :, entonces (j, :) = 1
Demostración. Sea d = (j, :) . Entonces d[j, como j es primo se tiene que
ó d = 1 ó d = j. Pero d[: luego por hipótesis 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.
Demostración. 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 generalización para el producto :
1
:
2
:
3
:
I
queda a modo de ejercicio.
34
2.4.5 Teorema. Existen arbitrariamente grandes vacíos en la serie de los
primos. Dicho de otra manera, dado cualquier entero /, existen / enteros
compuestos consecutivos.
Demostración. Recordemos el factorial de un número. Sea / un entero el
factorial de / ó /! es: /! = 1 2 3 /
Considérense los enteros
(/ + 1)! + 2, (/ + 1)! + 3, , (/ + 1)! + /, (/ + 1)! + / + 1.
Cada uno de estos es compuesto porque , divide a (/ + 1)!+, si 2 _ , _ /+1.
Los números primos están espaciados irregularmente, tal y como lo sugiere
el último teorema. Si denotamos el número de primos que no excede a r por
¬ (r) , podría preguntarse acerca de la naturaleza de esta función. Uno de los
resultados más impresionantes de la teoría avanzada de números, es
lim
r!1
¬ (r) log r
r
= 1
Este resultado notable se llama el teorema del número primo, y su
demostración se la debemos a J. Hadamard y C.J de la Vallée Poussin quienes
independientemente lo demostraron en 1896.
2.5 El teorema Fundamental de la Aritmética.
2.5.1 Teorema fundamental de la aritmética. Cada entero : 1 se puede
representar como producto de factores primos en forma única, salvo el
orden de los factores.
Demostración. Usaremos la inducción 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 también 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
¡
2
¡
¸
(+)
Queremos demostrar que i = , y que cada j es igual a algún ¡. Dado que j
1
divide al producto ¡
1
¡
2
¡
¸
debe dividir a uno, por lo menos, de los factores.
Ordenaremos los ¡
1
¡
2
¡
¸
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 hipótesis de inducción nos dice
que las dos descomposiciones de
n
¡1
son idénticas, prescindiendo del orden de los
factores. Por consiguiente i = , las descomposiciones de (+) son también idén-
ticas, si prescindimos del orden de los factores. Esto completa la demostración.

En la descomposición de un número :, un cierto primo j puede aparecer más
de una vez. Si los factores primos distintos de : son j
1,
j
2
j
:
y si j
I
aparece c
I
veces como factor, escribiremos
: = j
o1
1
j
oj
¸
o más compactamente
: =
¸

I=1
j
oi
I
Si la descomposición en factores primos de : es j
o1
1
j
oj
¸
, entonces todos
los divisores de : son los números 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 De…nición. Por [r] denotamos la función parte entera de r. Se de…ne
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 número primo j …gura en el
producto :!, es igual a
_
:
j
_
+
_
:
j
2
_
+
_
:
j
3
_
+ +
_
:
j
I
_
36
Demostración. En efecto, el número de factores en el producto :! que son
múltiplos de j, es igual a
_
n
¡
_
, entre ellos, múltiplos de j
2
hay
_
n
¡
2
_
; entre estos
últimos, múltiplos de j
3
hay
_
n
¡
3
_
, etc. La suma de los números indicados da
precisamente el exponente buscado, puesto que cada factor en el producto :!
que sea múltiplo de j
n
, pero no de j
n+1
, se cuenta del modo indicado : veces,
como múltiplo de j, j
2
, j
3
, . . . y, …nalmente, de j
n
.
Ejemplo. El exponente con el que el número 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
Solución. Procederemos haciendo inducción en :.
Para : = 1; 3
2(1)+2
+ 2
6(1)+1
= 209 = 19 11
Hipótesis inductiva 11[3
2|+2
+2
6|+1
Tésis de inducción 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 tésis
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
_
hipótesis 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 múltiplo de 17
Solución. Procederemos haciendo inducción en :.
Para : = 1; 3
4(1)+2
+ 2 4
3(1)+1
= 1241 = 73 17 Múltiplo de 17
Hipótesis inductiva 17[ 3
4|+2
+ 2 4
3|+1
Tesis de inducción 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.
Demostración.
Procederemos por contrarrecíproco, esto es:
Si : es compuesto, entonces 2
n
÷1 es compuesto.
Como : es compuesto entonces : = :
0
j, además 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
¡
÷1
¡
)
_
(2
¡
)
n01
+ (2
¡
)
n01
(1
¡
) + (2
¡
)
n02
(1
¡
)
2
+ + (2
¡
) + (1
¡
)
n01
_
luego el factor (2
¡
÷1
¡
) 1, de aquí se deduce que 2
n
÷ 1 es compuesto
porque admite dicha descomposición.
4. Sean a, /, c tres números enteros positivos tales que 2
o
+2
b
= 2
c
. Demostrar
que a = /.
Demostración. Tómese 2
c
y apliquemos la de…nición de potencia así:
2
c
= (2 2 2 2)
. ¸¸ .
cutcts
= 2 (2 2 2 2)
. ¸¸ .
|utcts
Como el factor (2 2 2 2)
. ¸¸ .
|utcts
es par, entonces puede expresarse así:
2
c
= (2 2 2 2)
. ¸¸ .
cutcts
= 2
_
_
_
_
_
|utcts
¸ .. ¸
(2 2 2 2)
2
+
|utcts
¸ .. ¸
(2 2 2 2)
2
_
_
_
_
_
=
|utcts
¸ .. ¸
(2 2 2 2)+
|utcts
¸ .. ¸
(2 2 2 2)
luego, queda demostrado que la única forma en que se puede escribir una
potencia de dos como suma de potencias de dos, es que el exponente de los
sumandos sea el mismo, de aquí que a = /. En general, este resultado puede
escribirse como: 2
c1
+ 2
c1
= 2
c
Por ejemplo. 2
4
+ 2
4
= 16 + 16 = 32 = 2
5
38
5. Probar que
21n+4
14n+3
es irreducible para todo :.
Solución. Si
21n+4
14n+3
es irreducible, esto signi…ca que mcd 21: + 4 y 14: + 3
es1.
Procediendo según teorema 2.2.2 tenemos
21: + 4 = (14: + 3) (1) + (7: + 1)
14: + 3 = (7: + 1) (2) + 1
Así el último resto distinto de cero es 1, por tanto (21: + 4, 14: + 3) = 1 y
de aquí se sigue que
21n+4
14n+3
sea irreducible.
6. Determinar el máximo común divisor de 210 y 495, y expresarlo como una
combinación lineal de ambos.
Solución. Usando el algoritmo de Euclides.
495 = 2 210 + 75
210 = 2 75 + 60
75 = 1 60 + 15
60 = 15 4 + 0
Entonces el último resto distinto de cero es el mcd; (210, 495) = 15.
Ahora:
15 = 75 ÷(1 60)
60 = 210 ÷(2 75)
75 = 495 ÷(2 210)
A partir de esto podemos escribir las siguientes igualdades:
15 = [495 ÷(2 210)] ÷[210 ÷(2 75)]
= 495 + (÷2 210 ÷210) + 2 75
= 495 ÷210 (2 + 1) + 2 (495 ÷(2 210))
= 495 ÷3 210 + 2 495 ÷4 210
= (495 + 2 495) + (÷3 210 ÷4 210)
= 3 (495) ÷7 (210)
7. ¿Existen enteros a, / tal que sumados den 500 y (a, /) = 7 ?
Solución. No. Si (a, /) = 7, entonces 7[a y 7[/, de aquí que 7[a + /. Pero
7 - 500
39
8. ¿Los números : y : + 1 tiene algún divisor común distinto de 1?
Solución. No. Algún divisor común de : y :+1 debe dividir a (: + 1)÷: =
1. Así dos números consecutivos siempre son coprimos.
9. Demuestre que 4
n
+ :
4
no es primo si : 1
Demostración. Si : es par, es claro que 4
n
+ :
4
es par y mayor que 2,
luego no es primo.
Para el caso : impar utilizamos la identidad de Sophie Germain.
r
4
+ j
4
=
_
r
2
+ j
2
+
2
_
2rj
__
r
2
+ j
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 números naturales : tales que
:
2
+ 1, :
2
+ 3, :
2
+ 7, :
2
+ 9, :
2
+ 15
sean todos primos.
Solución.
·
1
= :
2
+1 ·
2
= :
2
+3 ·
3
= :
2
+7 ·
4
= :
2
+9 ·
5
= :
2
+15
Veamos que el único natural válido es : = 2
Claramente : = 1 no es solución, pues sólo sería primo ·
1
.
Si : = 2, ·
1
= 5, ·
2
= 7, ·
3
= 11, ·
4
= 13, ·
5
= 19 que son todos primos.
Evidentemente, si los cinco números primos han de ser primos : ha de ser
par, pues todos los primos mayores que dos son impares.
Examinemos los números pares : 2 elevados al cuadrado:
« Si : acaba en 2, :
2
acaba en 4 con lo que ·
1
acaba en 5, siendo múltiplo
de 5. ·
1
no es primo.
« Si n acaba en 4, :
2
acaba en 6 con lo que ·
4
acaba en 5, siendo múltiplo
de 5. ·
4
no es primo
« Si : acaba en 6, :
2
acaba en 6 con lo ·
4
acaba en 5, siendo múltiplo de
5. ·
4
no es primo.
40
« Si : acaba en 8, :
2
acaba en 4 con lo que ·
1
acaba en 5, siendo múltiplo
de 5. ·
1
no es primo
« Si : acaba en 0, :
2
acaba en 0 con lo que ·
5
acaba en 5, siendo múltiplo
de 5. ·
5
no es primo.
Por tanto, sea cual sea el valor par de : 2 siempre encontraremos al menos
uno de los 5 números múltiplo de 5.
11. (divisibilidad por 2) El entero · es divisible por 2 si el dígito 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[·
Solución.
Aunque la prueba la haremos para números de 4 cifras, tiene validez general.
Escribamos el número· = 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 hipótesis 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.
Solución. 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 ¿Dónde están los enteros y los primos?
Los números primos y la naturaleza.
No solo los seres humanos utilizamos los números primos para protegernos,
existe una especie de cigarra que se vio obligada a protegerse de un cierto
parásito, y para ello no encontró mejor herramienta que los números primos.
El siguiente ejemplo nos lo presenta Simon Singh en su libro “El enigma de
Fermat”
Las cigarras periódicas, muy especialmente la Magicicada septendecim, tiene
el ciclo vital más largo de todos los insectos. Su único ciclo vital empieza bajo
tierra, donde las ninfas absorben pacientemente los zumos de las raíces de los
árboles. Entonces, después de 17 años de esperar, las cigarras adultas emergen
de la tierra en gran número e invaden temporalmente nuestro paisaje. Unas
semanas después se aparean, ponen los huevos y se mueren. La cuestión que
inquietaba a los zoólogos era: ¿por qué el ciclo vital de las cigarras es tan largo?
¿Qué quiere decir que el ciclo vital sea un número primo de años? Otra especie,
la Magicicada tredecim, aparece cada 13 años, lo que indica que los ciclos vitales
que son números primos dan algún tipo de ventaja para la conservación de la
vida.
Según una teoría, la cigarra tiene un parásito que también recorre un ciclo
vital, y que la cigarra está intentando evitar. Si el parásito tiene un ciclo vital,
pongamos de 2 años, entonces la cigarra quiere evitar un ciclo de vital que sea
divisible por 2, si no el parásito y la cigarra coincidirán regularmente. De esta
manera parecida, si el parásito tiene un ciclo vital de tres años, entonces la
cigarra querrá evitar un ciclo vital que sea divisible por 3, si no el parásito y la
cigarra volverán a coincidir. Al …n, si quiere evitar encontrarse con su parásito,
la mejor estrategia de la cigarra es darse un ciclo de vida largo, que dure un
número primo de años. Como nada dividirá al 17, la Magicicada septendecim
42
raramente se encontrará con su parásito. Si el parásito tiene un ciclo de 2 años
solo se encontrara cada 34, y si tiene un ciclo vital más largo, de 16 años por
ejemplo, solo se encontrarán cada 272 años.
El parásito, 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
años que la cigarra. Ahora bien, es poco probable que el parásito pueda sobre-
vivir y reaparecer 17 años seguidos, porque durante las primeras 16 apariciones
no habrá cigarras a las cuales parasitar. De otro modo, si quieren conseguir el
ciclo de 17 años, las generaciones de parásitos tendrán que evolucionar primero
durante un ciclo vital de 16 años. Esto signi…caría que, en algún estadio evolu-
tivo de su vida, el parásito y la cigarra no coincidirían durante ¡272 años! En
cualquier caso el largo ciclo vital de las cigarras y el número primo de años, las
protege.
¡Esto podría explicar por qué el supuesto parásito no ha sido encontrado
nunca! En la lucha por coincidir con la cigarra, el parásito probablemente ha
continuado alargando su ciclo vital hasta conseguir traspasar la barrera de los
16 años. Entonces dejará de coincidir durante 272 años; mientras tanto, su falta
de coincidencia con la cigarra lo habrá llevado a la extinción. El resultado es
una cigarra con el ciclo vital de 17 años; ciclo que ya no le hace falta porque su
parásito ya no existe.
Algo sobre la distribución de los primos.
Cuenta la leyenda que el matemático y físico polaco Stanislaw Marcin Ulam
(1909-1981) (quien trabajó en el proyecto Manhattan), asistía a una aburrida
conferencia en 1963, entonces garabateando en una hoja de papel, dispuso la
serie de números 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, más 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 números primos y observó cierto
patrón, que cumplían los primos en la espiral, estos tienden a aparecer en diag-
onales alternas y en las que no hay primos están los números pares.
44
2.8 Ejercicios Propuestos
1. Determínese cuáles de las siguientes a…rmaciones son verdaderas y cuáles
falsa.
a. Si un número es divisible entre 6, es divisible entre 3___
b. Si un número es divisible entre 3, es divisible entre 6___
c. Si un número 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 número es divisible entre 6, no es divisible entre 9___
2. Demuéstrese que la suma de los cubos de tres números naturales sucesivos
es divisible por 9.
3. Pruébese que la suma 11
n+2
+12
2n+1
es divisible por 133 cualquiera que sea
el número entero : _ 0
4. Pruébese las siguientes a…rmaciones
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. Demuéstrese la regla de divisibilidad por 3. El entero N es divisible por 3 si
la suma de sus dígitos 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. Establézcase una demostración o un contraejemplo para cada una de las
a…rmaciones siguientes.
i. Si a
n
[/
n
== a[/
ii. Si :
n
[:
n
== :[:
iii. Si a
n
[2/
n
y : 1 == a[/
7. Pruébese los incisos d y e del teorema 2.2.4.
8. Pruébese la proposición 2.3.1
45
9. Pruébese el teorema 2.2.7
10. Encuéntrese el mcd de 576 y 73 y números r y j tales que 576r + 73j =
(576, 73)
11. Hállese dos números sabiendo que su máximo común divisor es 120 y la
diferencia de sus cuadrados 345600
12. Hállese dos números naturales sabiendo que su producto es 3024 y su mín-
imo común múltiplo 504.
13. Determínese dos números naturales cuyo máximo común divisor es 18, sa-
biendo que uno de ellos tiene 21 divisores y el otro tiene 10.
14. Si dos números son coprimos y su mínimo común múltiplo es 22829, hállese
dichos números.
15. Pruébese que no existen los números r y j que satisfagan r + j = 100 y
(r, j) = 3
16. Encuéntrese 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 números primos distintos j y ¡, encuéntrese el número de difer-
entes divisores positivos de:
a. j¡ b. j
2
¡ c. j
2
¡
2
d. j
n
¡
n
18. Encuéntrese el menor número natural : tal que :! es divisible por 990
19. Pruébese que si un número tiene un número impar de divisores, entonces
este es un cuadrado perfecto.
20. Probar que si : es compuesto tiene un divisor primo que satisface j _
_
:
46
3 Números de Fibonacci
Es como preguntar por qué la novena sinfonía de Beethoven es bella. Si no ve
que es así, nadie se lo puede explicar. Yo sé que los números son bellos. Si no
lo son nada lo es.
Paul Erdös.
El conjunto de los números de Fibonacci es muy particular por encontrarse
vinculado a muchas de las actividades del hombre, sobre todo aquellas que
implican armonía. En este capítulo estudiaremos las principales caraterísticas
aritméticas de estos números como: la divisibilidad, máximo común divisor,
paridad entre otras. También mostraremos algunas de sus aplicaciones.
3.1 La Sucesión de Fibonacci
Existe un conjunto de números muy particular y con mucha belleza, estos
números son conocidos como números de Fibonacci en honor a su descubri-
dor Leonardo de Pisa, alias Fibonacci (hijo de Bonacci). Leonardo hizo muchos
aportes notables a las matemáticas especialmente en la aritmética, alrededor del
año 1202 escribió el libro sobre el ábaco. Este era una inmensa obra compiladora
de los conocimientos matemáticos de los pueblos que vivían en las costas del
Mediterráneo. En este libro se encuentra un problema que reveló el canon de la
naturaleza:
“¿Cuántas parejas de conejos nacen, en el transcurso de un año, 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 bebés en el primer y segundo mes ten-
dríamos un par de conejos, pues la hembra será adulta hasta el segundo mes,
donde podrá reproducirse; tendría un par de bebés en el tercer mes, así serán
dos pares de conejos, luego en el cuarto mes los bebés habrán crecido y repro-
ducido y tendremos tres parejas de conejos; los originales y sus dos crías y las
primeras crías de estos. Siguiendo este razonamiento encontramos que para el
duodécimo mes tendremos 377 parejas de conejos.
Así encontramos un conjunto de números enteros muy particulares estos son:
1, 1, 2, 3, 5, 8, 13, 21, 34 . . . esta se conoce como sucesión de Fibonacci donde cada
término es la suma de los dos anteriores, así esta es una sucesión recurrente.
47
Pasemos ahora de los conejos a los números y consideremos la sucesión
numérica
3.1.1 De…nición. La sucesión (·
n
) , llamada de Fibonacci, cuyos términos son
1, 1, 2, 3, 5, 8, 13, 21, 34 . . . y en la cual cada término es la suma de los dos
inmediatos anteriores, está de…nida por
·
n
= ·
n1
+ ·
n2
; con ·
1
= ·
2
= 1
Los números de Fibonacci poseen una serie de propiedades interesantes e
importantes, las cuales veremos en este capítulo.
Enpecemos calculando la suma de los : primeros números de Fibonacci. Así
podemos enunciar el teorema siguiente
3.1.1 Teorema. La suma de los primeros : números de Fibonacci esta dada
por
n

I=1
·
I
= ·
1
+ ·
2
+ + ·
n
= ·
n+2
÷1
Demostración. Claramente, tenemos de la de…nición de la sucesión 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 de…nido los números de Fibonacci mediante la ecuación recurrente,
es decir, empleando la inducción según el índice. Pero resulta que todo número
de Fibonacci puede de…nirse de un modo más directo, esto es, como función de
su índice.
48
Con este …n, observemos el comportamiento de las distintas sucesiones ·
1
, ·
2
, . . . , ·
n
, . . .
que satisfacen la ecuación
·
n
= ·
n1
+ ·
n2
(1)
Diremos que todas estas sucesiones son soluciones de la ecuación (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 solución de la ecuación (1) y c es una constante, tam-
bién la sucesión c\ (es decir, la sucesión c·
1
, c·
2
, c·
3,
. . .) es una solución
de esta ecuación.
Demostración. Multiplicando por c ambos miembros de la igualdad
·
n
= ·
n1
+ ·
n2
obtenemos

n
= c·
n1
+ c·
n2
lo que prueba el lema.
3.1.2 Lema. Si las sucesiones \
0
y \
00
son soluciones de la ecuación (1) ,
También la suma \
0
+\
00
(esto es, ·
0
1
+ ·
00
1
, ·
0
2
+ ·
00
2
, ·
0
3
+ ·
00
3
. . .) es solución
de esta ecuación.
Demostración. Por hipótesis, 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 ecuación
(1) ( es decir, dos soluciones de la ecuación (1) tales que cualquiera que sea la
constante c habrá un número : para el que
u
0
n
u
00
n
,= c).
49
3.1.1 Proposicion. Toda sucesión \, solución de la ecuación (1) , puede ser
representada así
\ = c
1
\
0
+ c
2
\
00
(2)
donde c
1
y c
2
son constantes. A la ecuación (2) se estila llamar solución
general de la ecuación (1) .
Probaremos primero que siendo \
0
y \
00
dos soluciones no proporcionales
de la ecuación (1) , se tiene
·
0
1
·
00
1
,=
·
0
2
·
00
2
(3)
(La no proporcionalidad es visible ya en los primeros términos de las sucesiones \
0
j \
00
)
Demostración (3). Supongamos que para dos soluciones no proporcionales
\
0
y \
00
de la ecuación (1) se tiene
·
0
1
·
00
1
=
·
0
2
·
00
2
Formemos la siguiente proporción
·
0
1
+ ·
0
2
·
00
1
+ ·
00
2
=
·
0
2
·
00
2
recordando que \
0
y \
00
son soluciones de la ecuación (1) ,
·
0
3
·
00
3
=
·
0
2
·
00
2
Análogamente comprobamos (¡haciendo inducción 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 sucesión \, solución de la ecuación (1) . Según hemos
visto ya al inicio de este apartado, esta sucesión queda perfectamente determi-
nada si se indican sus dos primeros términos ·
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 solución respecto a c
1
y c
2
en virtud de
la proposición 3.1.1, para cualesquiera que sean los números ·
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
·
1
·
0
1
·
00
2
÷·
00
1
·
0
2
Sustituyendo en (2) los valores obtenidos para c
1
y c
2
encontramos la repre-
sentación requerida para la sucesión \.
Es decir, para describir todas las soluciones de la ecuación (1) basta encon-
trar dos soluciones no proporcionales de la misma. Encontremos estas soluciones
entre las progresiones geométricas. De acuerdo al lema 3.1.1, basta considerar
las progresiones cuyos primeros términos son 1. Tomemos la progresión
1, r, r
2
, . . .
Para que sea una solución de la ecuación (1) , es su…ciente que para todo :
se cumpla la igualdad
r
n2
+ r
n1
= r
n
dividiendo por r
n2
,
1 + r = r
2
(5)
Las raíces de esta ecuación, es decir, los números
1+
p
5
2
y
1
p
5
2
, serán las
razones buscadas de las progresiones.
Llamémoslas por c y ,, respectivamente. Los números c y ,, como raíces
de la ecuación (5) , satisfacen las relaciones 1 +c = c
2
, 1 +, = ,
2
y c, = ÷1.
Así hemos encontrado dos progresiones geométricas, soluciones ambas de
(1) . Por eso, toda sucesión del tipo
c
1
+ c
2
, c
1
c + c
2
,, c
1
c
2
+ c
2
,
2
, . . . (6)
Son soluciones de la ecuación (1) . Además las progresiones encontradas
tienen distintas razones y, por ende, no son proporcionales, esto es, la fórmula
(6) debe coincidir con la sucesión 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
Resolviéndolo, 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 expresión lleva el nombre de fórmula de Binet en memoria del
matemático que la encontró (Jacques Philippe Marie Binet a mediados del siglo
XIX).
3.1.2 Teorema. El número de Fibonacci ·
n
es el entero más próximo al
número
o
n
2
p
5
, o sea, es el entero más próximo al n-ésimo término a
n
de la
progresión geométrica cuyo primer término es
o
2
p
5
y cuya razón es c.
Demostración. 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 razón
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 número entero más próximo a 232.9957 es 233 que corresponde a ·
13
en
la sucesión de Fibonacci.
52
3.2 Propiedades Aritméticas de los Números de Fibonacci.
Estudiaremos algunas propiedades sobre la divisibilidad, máximo común divisor
y otras caracterizaciones aritméticas de los números de Fibonacci.
3.2.1 Lema. Probar la válidez de la siguiente fórmula para los número de
Fibonacci
·
n+n
= ·
n1
·
n
+ ·
n
·
n+1
3.2.1 Teorema. Si : es divisible por :, también ·
n
es divisible por ·
n
.
Demostración. Supongamos que : es divisible por :, esto es, : = :/.
Haremos nuestra demostración haciendo inducción 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 múltiplo de ·
n|
, esto es, también es divisible por ·
n
según la
hipótesis 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 números ·
n
= ·
5
= 5 y ·
n
= ·
15
= 610, también es claro que ·
n

n
. Puesto
que ·
15
= ·
5
122.
3.2.2 Teorema. Los números de Fibonacci consecutivos son coprimos.
Demostración. Supongamos, en contra de la a…rmación que ·
n
y ·
n+1
tienen un divisor común d 1. La diferencia ·
n+1
÷·
n
es divisible por d. Pero
como ·
n+1
÷ ·
n
= ·
n1
, resulta que d divide también ·
n1
. Análogamente se
demuestra (¡haciendo inducción!) que d divide ·
n2
, ·
n3
, . . . , ctc. y …nalmente
a ·
1
. Pero ·
1
= 1 y no puede ser divisible por d 1. Por tanto los número ·
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 máximo común divisor de dos
números no consecutivos de Fibonacci, es otro número de Fibonacci?
3.2.3 Teorema. Para los números de Fibonacci, tiene lugar la igualdad sigu-
iente

n
, ·
n
) = ·
(n,n)
Esto es, el máximo común divisor de dos números de Fibonacci es el número
de Fibonacci que corresponde al mcd de los índices de los números dados.
Demostración. Supongamos que : : y apliquemos el algoritmo de
Euclides a los números : 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 máximo común 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
)
Análogamente 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 Proposición. Un número de Fibonacci es par si, y sólo si, su índice es
divisible por 3, esto es
2[·
n
== 3[:
Demostración. (==) Si 3[: == 2[·
n
. Si 3[: entonces : = 3/, luego
haciendo inducción en /, resulta para / = 1, : = 3 y ·
3
= 2 es claro que 2[·
3
.
Asumamos la validez de 2[·
3|
para algún / 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 hipótesis inductiva.
Luego 2[·
3(|+1)
.
(==) Si 2[·
n
== 3[:. Haremos esta prueba por contrarrecíproco, esto es,
si 3 - : == 2 - ·
n
. Si 3 - :, entonces : = 3/ + r do:dc 0 < r < 3. Haciendo
inducción 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 ningún caso es par. Suponemos la validez de 3 - : = 3/+r == 2 -
·
n=3|+:
para algún /. 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 Números de Fibonacci y Las Fracciones Continuas
Consideremos la expresión
¡
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 conversión de un número en una fracción continua se denomina desarrollo en
fracción continua.
Aprendamos cómo obtener los cocientes incompletos de este desarrollo para
el caso de una fracción ordinaria
o
b
.
Consideremos para este …n el algoritmo de Euclides aplicado a los números
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 expresión
¡
0
+
1
¡
1
+
1
j2+
1
.
.
.+
1
qn
3.3.1 Teorema. Los concientes incompletos correspondientes de dos fracciones
continuas iguales, son iguales
Demostración. 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 número 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
también 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 números
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 fracción continua. Consideremos los números
¡
0
, ¡
0
+
1
¡
1
, ¡
0
+
1
¡
1
+
1
j2
, . . .
estos números 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 fracción 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 fracción 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 demostración del lema 3.3.1 probando simultáneamente las tres
igualdades y aplicando inducción sobre /.
Para / = 1. Tenemos:
1
1
Q
1
= ¡
0
+
1
¡
1
=
¡
0
¡
1
+ 1
¡
1
Puesto que los números ¡
0
¡
1
+ 1 y ¡
1
son coprimos, la fracción
j0j1+1
j1
es
irreducible; al mismo, la fracción
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
¡
1
¡
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 razón 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 inducción para
algún entero /, bien ahora consideremos el caso para / + 1.
Consideremos la fracción
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 fórmulas 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 hipótesis 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 fracción irreducible,
para ello basta probar que su numerador y denominador son coprimos.
Supongamos que los números 1
|+1
¡
|+2
+ 1
|
y Q
|+1
¡
|+2
+ Q
|
poseen un
divisor común d 1. En este caso, la expresión
(1
|+1
¡
|+2
+ 1
|
) Q
|+1
÷( Q
|+1
¡
|+2
+ Q
|
) 1
|+1
también será divisible por d. Pero, según la hipótesis inductiva (3) , esta
expresión 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 demostración 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 fracción incompleta tiene : cocientes incompletos,
todos iguales a 1, esta fracción es igual a
un+1
un
Demostración. Sea c
n
la fracción continua de : cocientes incompletos
iguales a 1. Podemos escribir entonces
c
1
, c
2
, c
3
, . . . , c
n
las fracciones reducidas de la fracción 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. Además 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 fórmula coincide con la de…nición para los números de …bonacci,
por tal razón
1
n
= ·
n+1
Análogamente 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 discusión sobre fracciones continuas …nitas, es aplicable de forma
natural al caso de fracciones continuas in…nitas.
Determinemos el valor de la fracción continua in…nita
1 +
1
1 +
1
1+
1
.
.
.+
1
.
.
.+1
60
sabemos ya que este valor es igual a lim
n÷1
c
n
, donde c
n
=
un+1
un
. Calculemos
este límite
Por el teorema 3.1.2 sabemos que ·
n
es el entero más próximo 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
n÷1
c
n
= lim
n÷1
·
n+1
·
n
= lim
n÷1
o
n+1
2
p
5
+ c
n+1
o
n
2
p
5
+ c
n
= lim
n÷1
c +
tn+1
2
p
5
o
n
1 +
tn
2
p
5
o
n
=
lim
n÷1
_
c +
tn+1
2
p
5
o
n
_
lim
n÷1
_
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 inde…nidamente cuando : tiende al in…nito (porque c 1). Por tanto
lim
n÷1
_
c +
c
n+1
2
_
5
c
n
_
= c + lim
n÷1
c
n+1
2
_
5
c
n
= c
y
lim
n÷1
_
1 +
c
n
2
_
5
c
n
_
= 1 + lim
n÷1
c
n
2
_
5
c
n
= 1
Finalmente
lim
n÷1
c
n
= c
recordemos que c =
1+
2
p
5
2
, tenemos, entonces
lim
n÷1
c
n
=
1 +
2
_
5
2
- 1. 6180
Por ejemplo, la razón
u5
u4
=
5
3
= 1. 666 7 y para
u14
u13
=
377
233
= 1. 618.
61
3.4 ¿Dónde están los números de Fibonacci?
Fibonacci en la Naturaleza.
Fibonacci y los vegetales: El ejemplo que quizás sea el más sencillo, es el
caso de la orientación de las espirales en una piña, si contamos las espirales en
un sentido y luego en el otro (sentido) encontramos los números 8 y 13 en otras
especies aparecen 5 y 8, en ambos casos números de Fibonacci consecutivos.
Fibonacci y las ‡ores: Si por curiosidad contamos los pétalos de una ‡or
cualquiera que esta sea, en un 95% encontraremos números de Fibonacci para
estos, así por ejemplo, las margaritas tienen en general 21 ó 34 pétalos y algunas
tienen 55 e incluso alcanzan 89 todos números Fibonacci.
Fibonacci y los animales: Además del ya mencionado problema de los
conejos, también encontramos números de Fibonacci en el árbol genealógico de
las abejas machos. En toda colmena existe una abeja hembra llamada “reina”,
que es la única capaz de producir huevos. Las abejas “obreras” también son
hembras, pero no producen huevos, solo trabajan. En la colmena también exis-
ten abejas “machos”, que no trabajan y su única función es aparear a la reina
(zánganos). 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 de…nitiva sigue estrictamente la
sucesión de números de Fibonacci.
En las dimensiones del hombre.
« La relación entre la altura de un ser humano y la altura de su ombligo.
« La relación entre la distancia del hombro a los dedos y la distancia del
codo a los dedos.
« La relación entre la altura de la cadera y la altura de la rodilla.
« La relación 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. Calcúlese los primeros 50 números de Fibonacci.
2. Pruébese el lema 3.2.1
3. Encuéntrese una expresión que de la suma para los números de Fibonacci de
índices impares y pruébese su validez para todo :.
3. Pruébese que para los números de Fibonacci es válida la igualdad siguiente
·
2
1
+ ·
2
2
+ ·
2
3
= ·
n
·
n+1
4. Pruébese el siguiente teorema.
Teorema. Cualquiera que sea el número entero :, entre los :
2
÷1 primeros
números de Fibonacci habrá al menos uno divisible por :.
5. Calcúlese el mcd para los siguientes conjunto de números

7
, ·
9
) , (·
5
, ·
15
) , (·
4
, (·
7
, ·
9
)) , ((·
21,
·
12
) , (·
7
, ·
9
))
6. Demuéstrese los siguientes criterios de divisibilidad para números de Fi-
bonacci
6.1 Un número de Fibonacci es divisible por 3 si, y sólo si, su índice es divisible
por 4.
6.2 Un número de Fibonacci es divisible por 4 si, y sólo si, su índice es divisible
por 6
6.3 Un número de Fibonacci es divisible por 5 si, y sólo si, su índice es divisible
por 5
6.4 Un número de Fibonacci es divisible por 7 si, y sólo si, su índice es divisible
por 8
7. Considérese los números primos de Fibonacci, con índices mayor a 3, ¿qué
puede decirse de los índices?
8. Desarróllese en fracciones continuas los siguientes números racionales
22
7
355
113
102595
32657
103993
33102
1461
4
9. Calcúlese las primeros 5 términos de la sucesión de Fibonacci usando la
fórmula de Binet y pruébese que ésta es válida para todo :.
10. Un saltador puede desplazarse en una sóla dirección a lo largo de una franja
cuadriculada saltando cada vez a la casilla inmediata o por encima de ella
a la siguiente. ¿cuántos modos de desplazarse en : ÷ 1 casillas y, en
particular, de la primera a la :÷ c:i:a tiene el saltador? (dos modos son
idénticos si en cada uno de ellos el saltador se posa en la misma casilla?
64
4 Funciones Aritméticas
Con números se puede demostrar cualquier cosa.
Thomas Carlyle
En este apartado estudiaremos las funciones más importantes de la teoría
de número; daremos sus de…niciones, algunas aplicaciones y su importancia en
la aritmética.
4.1.1 De…nición. Una función real o compleja de…nida sobre los enteros posi-
tivos se llama una función aritmética o una función de teoría de números.
Empezaremos con la función parte entera que ya antes habíamos mencionado
en el capítulo 2.
4.1.1 Teorema. Sea r y j números 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
¸
es el entero más próximo a r. Si dos enteros son igualmente próximos
a r, es el mayor de los dos.
Demostración. La parte a) es evidente, puesto que si : ¸ Z entonces
[:] = :. De aquí que, [r + :] = [r] + :, puesto que r no es necesariamente
entero.
Para la parte /) se escribe r = : +-, j = :+c, donde : y : son enteros y
0 _ c < 1, 0 _ c < 1.
Entonces
[r] +[j] = :+: _ [: + - + : + c] = :+:+[- + c] _ :+:+1 _ [r + j] +1
Una vez más, para la parte c), escribiendo r = : + -, también se tiene
÷r = ÷: ÷1 + 1 ÷-, 0 < 1 ÷- _ 1.
Entonces
[r] + [÷r] = : + [÷: ÷1 + 1 ÷-] = : ÷: ÷1 + [1 ÷-] =
_
0 si · = 0
÷1 si · 0
65
y se tiene c).
A modo de ejemplo, veamos una aplicación para el teorema anterior
Probar que
:!
a
1
!a
2
! a
:
!
es un entero. Si a
I
_ 0, a
1
+ a
2
+ a
3
+ + a
:
= :. Para hacerlo debe
demostrarse que todo número primo divide al numerador para la pontencia
más alta que divide al denominador. Aplicando el teorema 2.5.2 solamente es
necesario probar

_
:
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 expresión 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, nótese 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 De…nición. La función de Möbius j(:) se de…ne 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 de…nición 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
Demostración. La expresión es claramente cierta para : = 1, puesto que
si : = 1, d debe ser también 1 y por de…nición de j se sigue que j(1) = 1.
Suponemos, entonces, que : 1 y escribimos : = j
o1
1
j
o
k
|
. En la expresión

Jjn
j(d) los únicos términos 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 expresión (+), 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 serían
¦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 De…nición. La función indicatriz de Euler ,(:) . Si : _ 1 la indi-
catriz de Euler es el número 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
Demostración. La suma que de…ne 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 múltiplos de d. Si escribimos / = ¡d entonces 1 _ / _ : si, y
sólo 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.
Acontinuación tenemos una expresión que conecta a ,(:) y a los divisores
primos de :.
4.1.4 Teorema. Para : _ 1 tenemos
,(:) = :

¡jn
_
1 ÷
1
j
_
69
Demostración. Para el caso : = 1 el producto es vacío puesto que no
existe ningún 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 más detalle este producto, considérese 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+¡3¡1¡2¡1¡3¡2¡3+¡1¡2¡31
¡1¡2¡3
=
¡1
¡1¡2¡3
+
¡2
¡1¡2¡3
+
¡3
¡1¡2¡3
÷
¡1¡2
¡1¡2¡3
÷
¡1¡3
¡1¡2¡3
÷
¡2¡3
¡1¡2¡3
+
¡1¡2¡3
¡1¡2¡3
÷
1
¡1¡2¡3
=
1
¡1¡2
÷
1
¡2
÷
1
¡3
÷
1
¡1
+
1
¡1¡3
+
1
¡2¡3
÷
1
¡1¡2¡3
+1
= 1÷
1
¡1
÷
1
¡2
÷
1
¡3
+
1
¡1¡2
+
1
¡1¡3
+
1
¡2¡3
÷
1
¡1¡2¡3
= 1÷

1
¡i
+

1
¡i¡j
÷
1
¡1¡2¡3
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 expresión vemos que un término como

1
¡i¡j
se consideran todos los posibles productos j
I
j
¸
de factores primos dis-
tintos de :, lo mismo ocurre para los casos j
I
j
¸
j
|
, j
I
j
¸
j
|
j
l,
Obsérvese que cada uno de los términos 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 número de
coprimos que posee.
Esto se reduce a calcular ,(60) , el teorema nos da un buen algoritmo para
hacerlo, además 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 más importantes en teoría de
números 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. Además, si : posee r factores primos impares
distintos, entonces 2
:
[,(:)
Demostración. 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 también
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 veri…ca trivialmente.
Por consiguiente, suponemos que c < /. De la parte (/) tenemos
,(:) = ,(:/) = ,(:) ,(/)
d
,(d)
= d,(:)
,(/)
,(d)
(,)
72
en donde d = (:, /) . Ahora el resultado se obtiene por inducción sobre :.
Para : = 1 se sigue trivialmente. Suponemos, pues, que (c) se veri…ca para todo
entero menor que :.
Entonces se veri…ca para / luego, puesto que d[c, ,(d) [,(c) . Por lo que el
segundo miembro de (,) es un múltiplo 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 algún : _ 3, y probaremos que
también 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 número impar es de la forma 2/+1, de aquí que ,(: + 1)
sea par. Además, 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 Aritméticas
1. ¿Cuál es la mayor potencia de 2 que divide a 533!? ¿La mayor potencia de
3?
Solución.
_
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
¸
= 1. Sumando se encuentra que 2
529
[533!
Para 3, tenemos
_
533
3
¸
= 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 notación decimal ordinaria, sin el signo factorial,
¿cuántos ceros se escribirían en línea en el extremo derecho?
Solución. Es su…ciente 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 número real r probar que [r] +
_
r +
1
2
¸
= [2r]
Solución. Escribamos r = : + -; con : ¸ Z, luego [r] = :.
[: + -] +
_
: + - +
1
2
¸
= : + [-] + : +
_
- +
1
2
¸
= 2: + [-] +
_
- +
1
2
¸
. Con-
sideremos 0 _ - <
1
2
, entonces, [-] = 0 y
_
- +
1
2
¸
= 0; por tanto se tiene que
[r] +
_
r +
1
2
_
= 2: = [2r]
Ahora consideremos
1
2
_ - < 1, entonces, 1 _ 2- < 2, y de aquí que
_
- +
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 números reales positivos cualesquiera r y j probar que [r] [j] _ [rj]
Solución. 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.
Solución. : = 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.
Solución. Para : = 1, tenemos
j(1) j(2) j(3) j(4) = (1) (÷1) (÷1) (0) = 0
Puesto que los números :, : + 1, : + 2 y : + 3 son cuatro números enteros
consecutivos, siempre uno de ellos es de la forma 2
:
/, con r _ 2. Por lo tanto,
uno de estos números admite siempre una descomposición 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
Solución. Todos los números 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
Solución. 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 : también divide
a :.
Solución. Observe que todos los primos que …guran en el producto ::,
también aparecen en la descomposición canónica de : y :.
,(::) = ::

¡jnn
_
1 ÷
1
¡
_
= :
_
:

¡jnn
_
1 ÷
1
¡
_
_
= :
_
:

¡jn
_
1 ÷
1
¡
_
_
=
:,(:) .
10. Supongamos : 1. Probar que ,(:) = :÷1 sí y solo si : es primo.
Solución. Lo anterior se traduce como
,(:) = :÷1 == : es primo
(==) Si ,(:) = :÷1, entonces signi…ca que los números 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 Aritméticas.
1. ¿Para qué números 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 número real, pruébese que
[¸] +
_
¸ +
1
:
_
+ +
_
¸ +
: ÷1
:
_
= [:¸]
3. Encuéntrese la mayor potencia de 13 que …gura en 1729!
4. Calcúlese ,(666) , ,(153) , ,(16 384)
5. Demuéstrese que ,(::) = ,(:) ,(:) , si (:, :) = 1
6. Encuéntrese todos los enteros : tales que
,(:) = ,(2:) , ,(:) = 24
7. Caracterícese el conjunto de enteros positivos que satisfacen ,(2:) ,(:)
8. Calcúlese

Jj1729
,(d)
9. Para cada proposición establézcase una demostración 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 Módulo n
Los encantos de esta ciencia sublime, las matemáticas, sólo se le revelan a
aquellos que tienen el valor de profundizar en ella.
Carl Friedrich Gauss
De aquí en adelante trataremos la aritmética desde una nueva perspectiva,
la aritmética modular. Introduciremos la congruencia módulo n, las ecuaciones
de congruencias, los sistemás de congruencias y demás. Estudiaremos también
en este capítulo los resultados sobre congruencias más importantes, el teorema
chino del resto y el pequeño teorema de Fermat y sus aplicaciones prácticas.
5.1 Generalidades sobre Congruencias módulo n
Consideremos cuatro cajas y repartamos los números 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 múltiplos de 4), 1 por contener al 1( o bien 1 + 4Z, esto es lo múltiplos de
4 más 1), 2 por contener al 2 ( o bien 2 + 4Z, esto es lo múltiplos de 4 más
2), y la caja 3 por contener al 3 ( o bien 3 + 4Z, esto es lo múltiplos de 4 más
3). Consideremos el conjunto Z
4
=
_
0, 1, 2, 3
_
llamado conjunto completo de
residuos módulo 4, pues al dividir cualquier entero entre 4 da residuos 0, 1, 2,ó
3.
5.1.1 De…nición. Dos enteros son congruentes módulo :, 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 módulo n.
Hemos dado en realidad tres de…niciones sobre congruencia módulo :, la
ventaja radica en el contexto de su uso, según convenga podemos usar una
u otra de…nición. En la primera lo hacemos en virtud de la divisibilidad, en
la segunda decimos que dos números son congruentes, si las clases a las que
pertenecen son iguales, y …nalmente decimos que dos números son congruentes
si dejan el mismo resto en la división por :.
5.1.2 De…nición. Una relación ~ en un conjunto o se llama relación de
equivalencia si satisface
a. a ~ a (re‡exividad)
b. a ~ / implica que / ~ a (simetría)
c. a ~ / . / ~ c implica que a ~ c (transitividad); \a, /, c ¸ o
5.1.1 Teorema. La congruencia módulo : es una relación de equivalencia.
Demostración.
Sabemos que :[0, entonces :[a ÷a, luego a = a mod: (rc)|cri·idad) .
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 De…nición. Clase de equivalencia del elemento a ¸ o es el conjunto de
todos los elementos de o equivalentes a a.
/
o
= ¦r ¸ o : r ~ a¦
Nótese que de la de…nición anterior tenemos que: la unión 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 relación de equivalencia y lo escribimos así
o
~
= ¦/
I
: i ¸ 1¦
79
Dado que la relación 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 :
están 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 subíndices de cada clase son los posibles restos de la división por
:, las llamamos clases de restos módulo : 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 De…nición. ~ es compatible con == a ~ a
0
. / ~ /
0
== a/ ~ a
0
/
0
cualesquiera que se a, /, a
0
, /
0
¸ o.
5.1.1 Proposición. La congruencia módulo : es compatible con la adición y
la multiplicación 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:
Demostración.
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 relación de equivalencia
sea compatible con una ley de composición interna de…nida en un conjunto,
nos induce una ley de composición interna en el conjunto cociente, esto es, nos
permite operar con clases de equivalencias.
Vamos a de…nir en Z
n
la suma y el producto de clases en la forma siguiente:
a + / = a + /
a / = a /
También se estila la notación
[a]
n
+ [/]
n
= [a + /]
n
[a]
n
[/]
n
= [a /]
n
Para …nes prácticos, dadas dos clases, se suman o se multiplican (según sea
el caso) sus representantes y la suma obtenida (o producto) se divide por el
módulo propuesto y se admite como resultado de la operación el resto de la
división.
Así, con estas operaciones la tripleta (Z
n
, +, ) forma un anillo, el anillo de
enteros módulo :.
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 Proposición. Z
¡
es cuerpo si, y solo si, j es un número primo.
Z
¡
es cuerpo == j es primo
Demostración.
i. (==) Z
¡
es un cuerpo, entonces j es número primo.
81
Supongamos que j no es un número primo; entonces existen dos números
naturales ¡ y t distintos de 1 y de : tales que j = ¡ t. Por tanto
[¡]
¡
[t]
¡
= [¡ t]
¡
= [j]
¡
= [0]
¡
y siendo [¡]
¡
y [t]
¡
dos clases de números congruentes no nulas, por tanto Z
¡
tiene divisores de cero, luego no es un cuerpo, esto contradice nuestra hipótesis.
En consecuencia j debe ser primo.
ii. (==) j es un número primo, entonces Z
¡
es un cuerpo.
Z
¡
es un anillo unitario y conmutativo y para mostrar que es un cuerpo se
tiene que ver que todo elemento no nulo posee inverso.
Sea [:]
n
un elemento no nulo de Z
¡
, es evidente que : es menor que : y
que siendo : primo, : y : son primos entre sí.
Por el torema 2.2.3 existen otros dos números enteros a y / tales que
a: + /: = 1
Por tanto, sus clases veri…can
[a]
n
[:]
n
+ [/]
n
[:]
n
= 1
Pero [:]
n
= [0]
n
se obtiene,
[a]
n
[:]
n
= 1
luego, [:]
n
posee inverso y en consecuencia 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
Demostración. Si a = / mod:, entonces, :[a ÷ /; además c = , mod:
entonces :[c ÷ ,, eventualmente :[r(a ÷/) . :[j (c ÷,) luego : dividirá la
suma, esto es :[r(a ÷/) +j (c ÷,) , reescribiendo este término :[ (ar + cj) ÷
(/r + ,j) , que por de…nición de congruencia podemos escribir ar + cj = /r +
,j mod: y queda probada la parte (a) .
Para la parte (/) tenemos, si a = / mod:, entonces, :[a ÷ /; además 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 de…nición 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 módulo n.
Ejemplo 1. Divisibilidad por 9.
Un entero : 0 es divisible por 9 si, y sólo si, la suma de los dígitos
de su expresión decimal es divisible por 9. Probaremos este hecho usando la
congruencia y sus propiedades ya enunciadas. Escribiendo : en su expresión
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 sólo si, al quitar sus dos últimas
cifras y restarlas del duplo de lo que queda, el resultado es múltiplo de 17.
Sin pérdida de generalidad, consideremos un número : 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
serán 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 sólo si, ac = /c mod:c
Demostración. Tenemos :[ (a ÷/) si, y sólo 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 simpli…cación. Si ac = /c mod: y si d = (:, c) ,
entonces
a = / mod
:
d
Demostración. 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[/.
Demostración. Suponiendo d 0.
a = / mod: == :[a ÷/
d[: == d[a ÷/
de las implicaciones anteriores se deduce que
a = / modd
Por hipótesis sabemos que d[a, luego 0 = a modd . a = / modd (transi-
tividad de la congruencia ) se deduce que 0 = / modd, equivalentemente d[/.

5.1.6 Teorema. Si a = / mod: entonces (a, :) = (/, :) . En otras palabras,
los números que son congruentes módulo : tienen el mismo mcd con :.
Demostración. Sea d = (a, :) y c = (/, :) . Entonces d[: y d[a, luego d[/;
por lo tanto d[c. Análogamente, c[:, c[/, luego c[a; por lo tanto c[d. Por lo tanto
debe ser d = c.
5.1.5 De…nición. Si r = j mod: entonces j recibe el nombre de resto de r
módulo :. Un conjunto ¦r
1
, r
2
, . . . , r
n
¦ es un sistema completo de restos
módulo :, si para todo entero j existe uno y solamente un r
¸
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 De…nición. Un sistema reducido de restos módulo : es todo conjunto de
enteros ¦r
1
, r
2
, . . . , r
n
¦, incongruentes módulo :, cada uno de ellos primos
con :.
Nota: ,(:) es el valor para : de la indicatriz de Euler, introducida en el
capítulo 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 módulo :, también lo es ¦/a
1
, /a
2
, /a
3
, . . . , /a
n
¦
Demostración. Supongamos que /a
I
= /a
¸
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 ningún 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 también un
sistema residual reducido módulo :.
Demostración. Por lo dicho en el teorema anterior, sabemos que ningún
par de números /a
I
es congruente módulo :. Además, puesto que (a
I
, :) =
(/, :) = 1, tenemos que (/a
I
, :) = 1; luego cada /a
I
es primo con :.
Toda la discusión anterior ha sido necesaria para llegar a uno de los resulta-
dos más importantes de la teoría 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:
Demostración. Sea
_
/
1
, /
2
, /
3
, . . . , /
,(n)
_
un sistema residual reducido mó-
dulo :. Entonces
_
a/
1
, a/
2
, a/
3
, . . . , a/
,(n)
_
es también un sistema residual re-
ducido. Consideremos el producto /
1
/
2
/
3
/
,(n)
y más 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 simpli…car de ambos lados
y obtener …nalmente
a
,(n)
= 1 mod:.
5.1.10 Teorema. Pequeño Teorema de Fermat. Considérese que j
denota un primo. Si j - a, entonces
a
¡1
= 1 modj
Demostración. Si j - a entonces (a, j) = 1 y a
,(¡)
= 1 modj por el teorema
de Euler. Por el ejercicio 10 del capítulo anterior tenemos que ,(j) = j ÷ 1 y
se tiene que
a
¡1
= 1 modj.
5.2 Congruencias Lineales
Nuestro objetivo en esta sección es el estudio de las congruencias de la forma
) (r) = 0 mod: (1)
Resolver la congruencia, signi…ca 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.
Adviértase que si r es solución de la ecuación (1) también r +/: será solu-
ción, así esta ecuación tiene in…nitas 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 solución.
Demostración. Para la solución principal debe considerarse únicamente
los números 1, 2, 3, . . . , :, además estos números forman un sistema completo
de restos. Por consiguiente formamos los productos a, 2a, . . . , :a. Puesto que
(a, :) = 1 estos números constituyen un sistema residual completo. Por lo tanto,
sólo uno de estos productos es congruente con / módulo :.
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 solución si, y sólo si, d[/.
Demostración. (==) Si ar = / mod: tiene solución, entonces d[/.
Si r es la solución de la ecuación (3) , entonces /: = ar ÷ /; de donde
/ = /:+ar. Si (a, :) = d, se tiene que d[a, d[: y eventualmente dividirá a d[ar,
d[/:. Por consiguiente también divide a la suma, esto es d[/: + ar, por tanto
d[/.
(==) Si d[/ entonces ar = / mod: tiene solución.
Si d[/ la congruencia
a
d
r =
/
d
mod
:
d
(4)
tiene una solución por el teorema 5.2.1, puesto que
_
o
J
,
n
J
_
= 1, y esta solución
es también una solución de (3) .
5.2.3 Teorema. Suponemos que (a, :) = d y que d[/. La congruencia lineal
ar = / mod:
tiene exactamente d soluciones módulo :. Vienen dadas por
t, t +
:
d
, t + 2
:
d
, . . . , t + (d ÷1)
:
d
, (5)
donde t es la solución única módulo
n
J
, de la congruencia lineal
a
d
r =
/
d
mod
:
d
(6)
Demostración. Cada solución de (6) es también solución de (3) , recípro-
camente cada solución de (6) satisfase (3) . Basta considerar que
a
d
r =
/
d
mod
:
d
==
a
d
r ÷
/
d
= /
:
d
== ar ÷/ = /: == ar = / mod:
88
Los d números escritos en (5) son soluciones de (6) y, por lo tanto, de (5) .
Falta probar que (3) no tiene más soluciones que las descritas en (5) . Si j es
una solución 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 veri…ca 0 _ r < d.
Por consiguiente
/
:
d
= r
:
d
mod:; luego j = t + r
:
d
mod:
Por consiguiente j es congruente módulo : con uno de los números descritos
en (5) . Esto termina la demostración.
Por ejemplo. Encontrar las soluciones a la ecuación
3r = 5 mod11
Inspeccionando el conjunto 0 _ r < 11, encontramos como solución princi-
pal r = 9, puesto que 11[27 ÷ 5. Luego el resto de soluciones tendrán 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 solución módulo el producto :
1
:
2
:
:
Demostración. Escribiendo · = :
1
:
2
:
:
y ·
|
=
Þ
n
k
. Entonces

|
, :
|
) = 1, por lo tanto cada ·
|
admite un inverso único ·
0
|
módulo :
|
,
esto es ·
|
·
0
|
= 1 mod:
|
. Sea ahora
r = /
1
·
1
·
0
1
+ /
1
·
2
·
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. Además el
sistema posee una única solución módulo ·. 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 también r = j mod·. Esto termina la demostración.

5.3 Ejercicios Resueltos sobre Congruencias Lineales
1. Hacer una lista de todos los enteros r en el intervalo 1 _ r _ 100 que
satisfagan r = 7 mod17
Solución. Si r = 7 mod17 entonces 17[r÷7; luego r÷7 = 17: y …nalmente
r = 17: + 7
si evaluamos para : = 6, r toma el valor 109, que supera la condición dada.
Entonces para obtener las soluciones pedidas recorremos : para 1, 2, 3, 4 y 5
obteniendo los valores buscados para r, que …guran a continuación
24, 41, 58, 75, 92
2. Mostrar un sistema completo de residuos módulo 17 compuesto enteramente
de múltiplos de 3.
Solución. Tomemos Z
17
=
_
0, 1, 2, 3, 4,5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16
_
,
ahora basta escojer un elemento perteneciente a cada clase residual, con el
cuidado en la elección de ser múltiplo de 3.
Todos los enteros de 0 tienen la forma 0 + 17/, así 0 ¸ 0 y además 3[0; los
enteros de 1 tienen la forma 1 + 17/, luego 18 ¸ 1 y 3[18; para la clase 2 los
enteros son de la forma 2 + 17/, luego 36 ¸ 2.
Si seguimos este razonamiento y recordando que si dos números dan el mismo
resto pertenecen a la misma clase; encontramos el siguiente sistema completo
de residuos módulo 17
¦0, 18, 36, 54, 21, 39, 6, 24, 42, 9, 27, 45, 12, 30, 48, 15, 33¦
3. Los números de Fermat. Pierre de Fermat a…rmó que todo número de la
forma )
n
= 2
2
n
+ 1 era primo. Probar que esta aseveración es falsa.
90
Solución. Los cinco primeros son primos:
)
0
= 3, )
1
= 5, )
2
= 17, )
3
= 257, y )
4
= 65537
No así para )
5
, mostraremos que )
5
es divisible por 641 sin calcular explíci-
tamente )
5
. Consideremos la sucesión de potencias 2
2
n
módulo 641. Tenemos
2
2
= 4, 2
4
= 16, 2
8
= 256, 2
16
= 65536 = 154 mod641,
luego
2
32
= (154)
2
= 23716 mod641
23716 = 640 mod641
640 = ÷1 mod641
2
32
= ÷1 mod641
Finalmente
)
5
= 2
32
+ 1 = 0 mod641
lo que signi…ca que )
5
no es primo.
4. Encuentre el residuo cuando 17
17
es dividido por 7.
Solución.
Partamos del hecho que 17 = 3 mod7, entonces 17
17
= 3
17
mod7; luego
tenemos que 3
2
= 9 = 2 mod7, por tanto 3
4
= 4 mod7. De ahí que 3
8
= 16 =
2 mod7 y 3
16
= 4 mod7.
Por tanto
3
17
= 3 3
16
= 12 = 5 mod7
Lo que nos conduce a
17
17
= 3
17
= 5 mod7
Luego el número buscado es 5.
5. Pruebe que 2
37
÷1 es un múltiplo de 223.
Solución. 256 = 2
8
= 33 mod223, entonces 2
16
= 33
2
mod223 y 33
2
=
÷26 mod223; por tanto 2
32
= (÷26)
2
mod223 y (÷26)
2
= 676 = 7 mod223.
De ahí
2
37
= 2
32
2
5
mod223
2
32
2
5
= 7 32 mod223
7 32 = 224 mod223
224 = 1 mod223
91
esto es
2
37
÷1 = 0 mod223
6. Encuentre el resto de la división 1! + 2! + + 100! por 45.
Solución. Sabemos que (/ + 1)! = (/ + 1) /! y que 6! = 720 = 16 45,
luego 45[6!. Por otra parte 1! + 2! + 3! + 4! + 5! = 153; observando con cuidado
153 ÷18 = 135 = 3 45
Por todo lo anterior podemos escribir
1! + 2! + + 100! = 1! + 2! + 3! + 4! + 5! = 18 mod45
7. Hallar los números tales que, divididos por 2, 3, 4, 5 y 6 den como resto,
1, 2, 3, 4 y 5 respectivamente.
Solución. De las condiciones del enunciado se obtienen las siguientes con-
gruencias, siendo r uno de tales números:
r = 1 mod2 == r + 1 = 0 mod2
r = 2 mod3 == r + 1 = 0 mod3
r = 3 mod4 == r + 1 = 0 mod4
r = 4 mod5 == r + 1 = 0 mod5
r = 5 mod6 == r + 1 = 0 mod6
Por tanto, r + 1 es múltiplo de 2, 3, 4, 5 y 6, es decir, r + 1 es múltiplo de
mcd(2, 3, 4, 5, 6) = 60. Luego, r = 60t ÷1, t ¸ Z
8. Encuentre el residuo cuando 13 12
45
es dividido por 47.
Solución. Por el pequeño teorema de Fermat 12
46
= 1 mod47. Multipli-
cando cada lado por 4 tenemos; 4 12
46
= 4 mod47 lo que es equivalente a
(4 12) 12
45
= 4 1 mod47, entonces 12
45
= 4 mod47, multiplicando por 13,
tenemos
13 12
45
= 52 mod47
9. Pruebe que, Si ac = /c mod: y (c, :) = 1, entonces a = / mod:
Solución. Si ac = /c mod:, entonces :[ac ÷/c esto es :[c (a ÷/) , como n
es coprimo con c se tiene que : - c, entonces :[ (a ÷/) , equivalentemente
a = / mod:
92
10. Encontrar todas las soluciones para
a. 20r = 4 mod30
b. 42r = 90 mod156
Solución. a. El mcd(20, 30) = 10 y 10 - 4, así por teorema 5.2.2 la ecuación
20r = 4 mod30 no tiene solución.
b. El mcd(42, 156) = 6 y 6[90, entonces existen 6 soluciones principales
incongruentes módulo 156.Reducimos la congruencia dada a 7r = 15 mod26.
Luego se tienen las siguientes relaciones 33r = 7rmod26, entonces 33r =
15 mod26, esto último puede escribirse como 11 3r = 5 3 mod26, como
mcd(3, 26) = 1 por el ejercicio anterior es posible escribir 11r = 5 mod26,
pero ÷15r = 11rmod26, tenemos por tanto ÷15r = 5 mod26 y dividiendo por
5, resulta ÷3r = 1 = 27 mod26 ahora dividiendo por ÷3, r = ÷9 mod26.
Finalmente
r = ÷9 = 17 mod26
Por lo tanto, 7r = 15 mod26 tiene una única solución r = 17 mod26. Por el
teorema 5.2.3 las soluciones buscadas son 17, 17+
156
6
, 17+
312
6
, 17+
468
6
, 7+
624
6
y 7 +
780
6
.
11. Encuentre la única solución de 251r = 125 mod521. (521 es un primo).
Solución. El entero más cercano a
521
251
es 2, multiplicando por 2 la con-
gruencia y reduciendo a módulo 521 obtenemos, 502r = 250 mod521. ÷19r =
502r = 250, entonces ÷19r = 250 mod521. Análogamente multiplicamos por
27, el entero más cercano a
521
19
, obtenemos ÷513r = 6750 mod521, luego
8r = ÷513rmod521 y 6750 = 498 mod521, así tenemos 8r = 498 mod521.
Una vez más el entero más cercano a
521
8
es 65, multiplicando la congruencia
resulta, 520r = 32370 mod521, luego 32370 = ÷453 mod521, esto conduce a
520r = ÷453 mod521.
Y …nalmente la congruencia
÷r = 520r = ÷453 mod521.
de donde la única solución a la congruencia original es r = 453.
12. Considere el sistema r = a mod:, r = / mod: donde :, : no son nece-
sariamente primos relativos. Pruebe que si (:, :) divide a, /÷a, entonces
el sistema tiene una solución.
Solución. Sea d = (:, :), y suponemos d[/ ÷ a. Entonces existen enteros
n, · tales que :n+:· = / ÷a. Sea r = a+:n; claramente, r = a mod:. Pero
r = a + :n = a + (/ ÷a) ÷:· = / ÷:·, de donde resulta
r = / mod:.
93
13. Encuentre todas las soluciones a los pares de congruencias 3r ÷ 7j =
4 mod19, 7r ÷3j = 1:od19.
Solución. Puesto que (7, 19) = 1, la primera congruencia es equivalente a la
congruencia 7(3r÷7j) = 74 mod19, es decir, 21r÷49j = 28 mod19. Similar-
mente, la congruencia 7r÷3j = 1 mod19 es equivalente a 21r÷9j = 3 mod19.
Restando ambas congruencias obtenemos, ÷40j = 25 mod 19, o equivalente-
mente ÷2j = 6 mod19. Esta es una solución j = ÷3 mod19 sustituyendo esta
en la primera congruencia, obtenemos 3r = 2 mod19, dando r = 7 mod19.
Entonces la solución al sistema es r = 7 mod19, j = 16 mod19.
14. Encuentre un entero r, 0 < r < 140, que satisface la congruencia r =
1 mod4, 2r = 3 mod5, 4r = 5 mod7.
Solución. Primero ponemos las congruencias en la forma r = a
I
mod:
I
,
entonces aplicamos el teorema chino del resto. La primera congruencia es
aproximada a está forma; para 2r = 3 mod5, multiplicamos cada lado por 3
y reducimos a módulo 5 obteniendo r = 4 mod5; para 4r = 5 mod7, multi-
plicamos cada lado por 2 y reducimos a módulo 7, obteniendo r = 3 mod7.
Ahora encontremos /
1
, /
2
, /
3
, tales que 5 7/
1
= 1 mod4, 4 7/
2
= 1 mod5,
4 5/
3
= 1 mod7, es decir, ÷/
1
= 1 mod4, 3/
2
= 1 mod5, ÷/
3
= 1 mod7. Por
tanto nosotros podemos tomar /
1
= ÷1, /
2
= 2, /
3
= ÷1. De aquí una solución
es r = 35(÷1)(1) + 28(2)(4) + 20(÷1)(3) = 129. Puesto que 4 5 7 = 140, 129
es la única posible solución a este sistema que es menor que 140.
94
5.4 ¿Dónde están las congruencias?
El número ISBN (International Standar Book Number), es un código de dígitos
veri…cador de gran utilidad. El primer grupo de números indica el país o el
idioma, el segundo grupo de dígitos designa la editorial, el tercer grupo es asig-
nado al libro por la casa editorial y el último dígito es un factor de comprobación
de errores.
Pero la determinación de este último dígito se hace de una manera muy
peculiar, no se asigna al producto bajo algún criterio exclusivo como los ante-
riores, este dígito que denominaremos r se calcula a partir de los restantes. Si
designamos los primeros 9 dígitos como r
1
, r
2
, r
3
, r
4
, r
5
, r
6
, r
7
, r
8
, r
9
el décimo
dígito veri…ca la relación:
r
10
=
9

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 código ISBN detectará todos los errores simples y de transposición, ac-
tualmente cualquier programa profesional que trabaje con el ISBN utiliza las
congruencias para determinarlo. El ordenador comprueba si el número intro-
ducido por el usuario con el escáner coincide con el calculado por el [ordenador]
mismo, si esto no es así entonces existe algún error.
95
5.5 Ejercicios Propuestos
1. Escríbase las tablas de adición y múltiplicacaión para Z
7
y Z
8
.
2. Encuéntrese y enúnciese un críterio de divisibilidad para 3, 5 y 7 (para cada
uno)
3. Escríbase una sola congruencia que sea equivalente al par de congruencias
r = 1 mod4, r = 2 mod3
4. Pruébese que si j es un primo y a
2
= /
2
modj, entonces j[ (a + /) o bien
j[ (a ÷/) .
5. Demuéstrese la igualdad del estudiante. Si j es primo, entonces (a + /)
¡
=
(a
¡
+ /
¡
) modj.
6. Hállese las últimas dos cifras del número 7
7
7
7
7. Calcúlese el residuo que se obtiene al dividir 7077
377
entre 11.
8. Muéstrese un sistema reducido de residuos módulo 7 compuestos enteramente
por potencias de 3.
9. Pruébese que :
6
÷1 es divisible entre 7 si (:, 7) = 1
10. Pruébese que :
7
÷1 es divisible entre 42, para cualquier entero :.
11. Encuéntrese el menor residuo positivo de :
11.a 3
500
Módulo 13
11.b 12! Módulo 13
11.c 5
16
Módulo 17
11.d 5
500
Módulo 17
12. Encuéntrese todas las soluciones de
12.a 87r = 57 mod105
12.b 64r = 897 mod 1001
12.c 3
6
r = 1 mod 8180
13. Pruébese. Teorema de Wilson. Si j es un primo, entonces (j ÷1)! =
÷1 modj
14. Encuéntrese todas las soluciones del par de congruencias 3r ÷7j = 4 mod
15, 7r ÷3j = 1 mod 15
15. Encuéntrese 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, probar que a
¡
= /
¡
modj
2
18. Demuéstrese que la suma de los cuadrados de cinco números enteros con-
secutivos, no puede ser nunca un cuadrado perfecto.
19. La suma de las cifras de un número es 20. Si de ese número se resta 205 y se
divide la diferencia por 2 se optiene por resultado el número formado por
las cifras del primero escritas en orden inverso. Encuéntrese el número.
20. Pruébese que la ecuación 3r
2
+ 2 = j
2
no tiene solución 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 sección nos ocuparemos del conocido último teorema de Fermat. El
último teorema de Fermat a…rma que la ecuación r
n
+ j
n
= .
n
, donde : es un
entero mayor que 2, no tiene soluciones enteras, con la excepción, las soluciones
triviales en las que una de las variables es 0. Aquí abordaremos este caso sólo
en su aspecto más elemental y para exponentes _ 4.
6.1 Números Complejos C
No existe un número real r que satisfaga la ecuación polinómica r
2
+1 = 0. Para
resolver este tipo de ecuaciones, es necesario introducir los números complejos.
7.1.1 De…nición. Un número complejo . es un número que se expresa en la
forma
. = a + /i
donde a y / son números 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 De…nición. Dos números complejos son iguales si y sólo 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 De…nición. Operaciones en C. Sean . = (a + /i) y n = (c + di) , en-
tonces
98
. + n = (a + /i) + (c + di) = (a + c) + (/ + d) i (adición)
. n = (a + /i) (c + di) = (ac ÷/d) + (ad + /c) i (multiplicación)
A partir de la de…nición 7.1.3 es fácil veri…car que la terna (C, +, ) es un
cuerpo.
7.1.4 De…nición. Complejo Conjugado. Conjugado de . = a+/i es el número
complejo . = a ÷/i. El símbolo . se lee conjugado de ..
7.1.1 Teorema. Si . y n son números complejos, entonces:
i. . + n = . + n
ii. . n = . n
iii. Si n ,= 0,
_
:
u
_
=
:
u
iv. Si . es real, . = .
v. . + . = 2 Re (.)
Demostración.
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 simultáneamente, 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 De…nición. Módulo de un complejo es la raíz 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 sección para adquirir algunas herramientas algebraicas
que nos permitan tratar nuestro problema principal con mucha más facilidad.
Denotemos por Z[i] el conjunto de todos los números complejos de la forma
a + /i, donde a y / son enteros.
Es decir, el conjunto
Z[i] = ¦a + /i : a, / ¸ Z¦
Bajo la adición y multiplicación habituales de los números complejos, Z[i]
forma un dominio de integridad, llamado el dominio de los enteros gaussianos
o enteros de Gauss.
7.2.1 De…nición. Se llama anillo unitario a un anillo ¹ cuyo producto tiene
elemento neutro en ¹

= ¹ ÷¦0¦ . Dicho elemento se denomina uno y se
representa por 1
.
ó simplemente 1, si no hay riesgo de confusión.
7.2.2 De…nición. Sea ¹ un anillo unitario. Una unidad de ¹ es un elemento
r ¸ ¹ que tiene inverso j ¸ ¹ respecto del producto:
100
rj = jr = 1
El conjunto de todas las unidades de ¹ se representa por l (¹) , una propiedad
importante del producto de anillos es que se veri…ca la propiedad
l (¹1) = l (¹) l (1)
Demostración.
Empezaremos escribiendo esta propiedad en el lenguaje conjuntista
l (¹1) = l (¹) l (1)
Si y solo si,
l (¹1) ¸ l (¹) l (1) . l (¹) l (1) ¸ l (¹1)
i. l (¹1) ¸ l (¹) l (1) .
Tomemos (a, /) ¸ l (¹1) , por de…nición de unidad, existe (a
0
, /
0
) tal que,
(a, /) (a
0
, /
0
) = (aa
0
, //
0
) = (1
.
, 1
1
) .
Por de…nición de ¹ 1, se sigue que, aa
0
¸ ¹ y //
0
¸ 1, pero el producto
aa
0
= 1
.
, por tanto a ¸ l (¹) y //
0
= 1
1
, luego / ¸ l (1) ; de aquí deducimos
que (a, /) ¸ l (¹) l (1) .
ii. l (¹) l (1) ¸ l (¹1) .
Tomemos (a, /) ¸ l (¹) l (1) , por de…nición de ¹ 1, a ¸ l(¹) y
/ ¸ l (1) , por de…nición de unidad, existe a
0
¸ ¹ y /
0
¸ 1, tal que, aa
0
= 1
.
y
//
0
= 1
1
.
Por tanto (a, /) (a
0
, /
0
) = (1
.
, 1
1
) , de aquí que el par (a, /) es unidad de
¹1, i.c, (a, /) ¸ l (¹1) .
Ejemplo.
Z
2
=
_
0, 1
_
y Z
3
=
_
0, 1, 2
_
, luego Z
2
Z
3
=
__
0, 0
_
,
_
0, 1
_
,
_
0, 2
_
,
_
1, 0
_
,
_
1, 1
_
,
_
1, 2
__
Formemos la tabla para la multiplicación en Z
2
Z
3
101

_
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 De…nición. Sea ¹ un anillo. Se llama divisor de cero a un elemento
r ¸ ¹

tal que rj = 0
.
para algún j ¸ ¹

.
Ejemplo.
Considere la multiplicación 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 De…nición. 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 adición y multiplicación habituales
de C forma un dominio de integridad.
102
Demostración. La terna (Z[i] , +, ) resulta efectivamente ser un anillo con
las operaciones heredadas del anillo C, además se tiene que 1
.
= 1+0i ¸ Z[i] y
veri…ca 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 simultáneamente 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 De…nición. Se dice que ¹ es un dominio euclídeo (11) si existe una
aplicación
|| : ¹ ÷÷ ·
tal que:
i. |r| = 0 si y sólo si r = 0
ii. |rj| = |r| |j|
iii. Si r, j ¸ ¹

, existe r ¸ ¹, tal que j[r ÷r y |r| < |j| .
7.2.2 Teorema. Z[i] es un anillo euclídeo, con |.| = a
2
+ /
2
.
Demostración.
i. Es claro que si . = 0 + 0i, entonces |.| = 0.
Ahora, si |.| = 0 == |a + /i| = 0, por de…nición de || , tenemos a
2
+/
2
= 0,
lo cual ocurre si a y / son cero simultáneamente. i.c, . = 0 + 0i.
ii. Tomemos . = a + /i y n = c + di; luego .n = (ac ÷d/) + (c/ + ad) i,
entonces |.n| = |(ac ÷d/) + (c/ + ad) i| = (ac ÷d/)
2
+ (c/ + ad)
2
=
_
a
2
+ /
2
_ _
c
2
+ d
2
_
= |.| |n| .
iii. Para terminar el teorema procedemos como sigue
.
n
=
a + /i
c + di
=
(a + /i) (c ÷di)
c
2
+ d
2
=
ac + /d
c
2
+ d
2
+
÷ad + /c
c
2
+ d
2
i
Aplicando el algoritmo de la división resulta
ac + /d = ¡
1
_
c
2
+ d
2
_
+ r
1
, [r
1
[ _
1
2
_
c
2
+ d
2
_
; ¡
1
, r
1
¸ Z
÷ad + /c = ¡
2
_
c
2
+ d
2
_
+ r
2
, [r
2
[ _
1
2
_
c
2
+ d
2
_
; ¡
2
, r
2
¸ Z
103
Luego podemos escribir
.
n
=
r
1
+ r
2
i
c
2
+ d
2
+ (¡
1
+ ¡
2
i) ,
de donde obtenemos
r =
r
1
+ r
2
i
c
2
+ d
2
j = r ÷(¡
1
+ ¡
2
i) j ¸ Z[i]
Este elemeto r ¸ Z[i] y veri…ca que j[r ÷ r. Finalmente calculamos |r| y
obtenemos
|r| =
r
2
1
+ r
2
2
(c
2
+ d
2
)
2
|n|
como elegimos
[r
I
[ _
1
2
_
c
2
+ d
2
_
, entonces
[r
I
[
(c
2
+ d
2
)
_
1
2
luego
|r| _
_
1
4
+
1
4
_
|n| =
1
2
|n| < |n| .
7.2.6 De…nición. Sean r, j ¸ Z[i] . Se dice que . ¸ Z[i] es:
i. Un máximo común divisor (:cd) de r, j si . divide tanto a r como a j, y es
múltiplo de cualquier otro divisor de ambos.
ii. Un mínimo común múltiplo (:c:) de r, j si . es múltiplo de r y de j, y
divide a cualquier otro múltiplo de ambos.
7.2.7 De…nición. En el anillo euclídeo Z[i] un elemento ¬ que no sea una
unidad se dice que es un elemento primo de Z[i] siempre que ¬ = .n
donde . y n están en Z[i] , se tiene que uno de los dos . ó n es una
unidad en Z[i] . Un elemento primo es un elemento en Z[i] que no puede
ser factorizado en Z[i] en forma que no sea trivial.
7.2.1 Proposición. Si ¬ es un elemento primo en el anillo euclídeo Z[i] y ¬[.n
donde ., n ¸ Z[i] , entonces ¬ divide al menos a uno de los elementos . ó
n.
104
7.2.3 Teorema. Factorización única. Sea Z[i] el anillo euclídeo y . ,=
0 un elemento de Z[i] que no es una unidad. Supongamos que . =
¬
1
¬
2
¬
3
¬
n
= ¬
0
1
¬
0
2
¬
0
3
¬
0
n
donde los ¬
I
y los ¬
0
¸
son elementos pri-
mos de Z[i] . Entonces : = : y cada ¬
I
, 1 _ i _ : es un asociado de
algún ¬
0
¸
, 1 _ i _ : y recíprocamente, cada ¬
0
¸
es un asociado de algún
¬
I
.
Demostración. Fijémonos en la relación . = ¬
1
¬
2
¬
3
¬
n
= ¬
0
1
¬
0
2
¬
0
3
¬
n

¬
1
[ ¬
1
¬
2
¬
3
¬
n
, de donde ¬
1

0
1
¬
0
2
¬
0
3
¬
0
n
. Por la proposición 7.2.1 ¬
1
debe
dividir a algún ¬
0
¸
; como ¬
1
y ¬
0
¸
son ambos elementos primos de Z[i] y ¬
1

0
¸
,
ambos elementos deben de ser asociados y ¬
0
¸
= n
1
¬
1
donde n
1
es unidad de
Z[i] .Tenemos, pues, ¬
1
¬
2
¬
3
¬
n
= ¬
0
1
¬
0
2
¬
0
3
¬
0
n
= n
1
¬
1
¬
0
2
¬
0
I1
¬
0
2
¬
0
n
.
Repitiendo el razonomiento sobre esta relación ¬
2
, y así sucesivamente, después
de : pasos el primer miembro se hace 1, y el segundo un producto de un cierto
número de ¬
0
(el exeso de : sobre :). Esto obligaría a que : _ : ya que las
¬
0
no son unidades. Análogamente, : _ :, de modo que : = :. Y a lo largo
del proceso demostrativo hemos probado también que cada uno de los ¬
I
tiene
algún ¬
0
¸
como asociado y recíprocamente.
Al combinar la proposición 7.2.1 y el teorema 7.2.3 tenemos que todo ele-
mento distinto de cero en el anillo euclídeo Z[i] puede ser escrito en forma única
(salvo asociaciones) como un producto de elementos primos o es unidad en Z[i] .
7.2.8 De…nición. Un dominio de factorización única (11l) es un dominio
de integridad en el que se cumplen
i. Todo elemento irreducible es primo
ii. Todo elemento que no sea unidad es producto de elementos irreducibles.
Nótese que como Z[i] es un anillo euclídeo y por teorema 7.2.3, Z[i] resulta
ser un dominio de factorización única.
Las intenciones de esta discusión sobre la naturaleza de Z[i] , es ilustrar las
de…niciones, además en adelante será necesario trabajar sobre Z
__
÷3
¸
pero no
discutiremos su naturaleza, pero usaremos algunas de sus caraterísticas, así el
lector podrá caracterizar a Z
__
÷3
¸
siguiendo el ejemplo de Z[i] .
105
6.3 Algunas Ecuaciones Diofánticas
Ternas Pitagóricas.
Diofanto trató en su Aritmética el problema de encontrar ternas de números
naturales no nulos r, j, . tales que r
2
+j
2
= .
2
. Estas son llamadas pitagóricas
porque según el teorema de Pitágoras permiten construir triángulos rectángulos
con lados enteros. En este apartado vamos a encontrar todas las ternas que
satisfacen a la ecuación r
2
+ j
2
= .
2
, que corresponde al caso : = 2, en la
ecuación r
n
+ j
n
= .
n
.
Primeramente consideremos la terna (r, j, .) pitagórica, entonces también
lo será (:r, :j, :.) para cualquier número :, y recíprocamente, dada una terna
pitagórica (:r, :j, :.) , podemos dividir sus componentes por su mcd para
obtener otra que cumpla además (r, j, .) = 1. Una terna cuyo mcd es 1 se
llama primitiva. Si encontramos un método para encontrar las ternas primiti-
vas, las restantes se obtienen multiplicándolas por número arbitrarios, luego el
problema estará resuelto.
Observemos que un divisor primo de dos de las componentes de una terna
pitagórica, divide a la tercera. Por ejemplo, j[. . j[j, entonces j[.
2
÷ j
2
, con
lo que j[r
2
por lo tanto j[r. Esto signi…ca que, en realidad, las componentes de
una terna pitagórica primitiva son primas entre sí dos a dos, nótese que además
es cierto que, en una terna pitagórica hay siempre dos componentes impares y
una par.
Ahora veamos que . ha de ser par. Consideremos lo contrario, esto es, r ,j
impares, r = 2: + 1, j = 2: + 1,
luego
r
2
= 4:
2
+ 4: + 1, j
2
= 4:
2
+ 4: + 1
Al considerar clases módulo 4 resulta que
.
2
= r
2
+ j
2
= 1 + 1 = 2
Pero ninguna clase módulo 4 tiene a 2 por cuadrado: 0
2
= 0, 1
2
= 1, 2
2
= 0,
3
2
= 1
2
Podemos suponer que r es par e j impar. Según lo dicho . es también impar.
Consecuentemente . +j, . ÷j son ambos pares. Pongamos r = 2n, . +j = 2·,
. ÷j = 2n.
Ahora r
2
= .
2
÷j
2
= (. + j) (. ÷j) , luego n
2
= ·n, · 0, n 0.
106
Por otra parte (·, n) = 1, ya que si un primo j divide a ambos, entonces
j[ (· + n) =
1
2
(. + j) +
1
2
(. ÷j) =
1
2
2. = .,
j[ (· ÷n) =
1
2
(. + j) ÷
1
2
(. ÷j) = j,
y como (j, .) = 1, esto es contradictorio.
Por la factorizació única en Z, es claro que si ·n = n
2
con (·, n) = 1, · 0,
n 0, entonces tanto · como n han de ser cuadrados. Pongamos · = j
2
y
n = ¡
2
. Es claro que (j, ¡) = 1.
Así tenemos que
. = · + n = j
2
+ ¡
2
, j = · ÷n = j
2
+ ¡
2
. En particular ¡ < j
Como . e j son impares, j y ¡ deben tener paridad opuesta. Sustituyendo
en las fórmulas anteriores obtenemos
r
2
= .
2
÷j
2
= j
4
+ 2j
2
¡
2
+ ¡
4
÷j
4
+ 2j
2
¡
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 números 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 ecuación, r
4
+ j
4
= .
2
no tiene soluciones enteras posi-
tivas.
Demostración. Si existen soluciones a la ecuación r
4
+ j
4
= .
2
, entonces
_
r
4
, j
4
, .
2
_
es una terna pitagórica. Si dividimos r, j, . por su mcd obten-
emos coprimos que siguen cumpliendo la ecuación, 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.
Según los resultados de la sección anterior, r
2
= 2j¡, j
2
= j
2
÷¡
2
, . = j
2

2
donde j y ¡ son números 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 pitagórica, 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 (nótese 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 fácilmente que
_
a/, a
2
+ /
2
_
= 1. Si el producto de
dos números 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,
también 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 números 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 debería haber una con . mínimo, lo cual es falso según
lo visto, por lo que la ecuación no tiene solución.
En particular el teorema anterior implica que la ecuación r
4
+ j
4
= .
4
no
tiene soluciones enteras positivas.
7.3.2 Teorema. La ecuación, r
4
+ j
4
= .
4
no tiene soluciones enteras posi-
tivas.
Demostración. Si fuese cierto r
4
+ j
4
= .
4
, para ciertos enteros positivos
r, j, ., entonces, de…niendo ¸ = .
2
, tendríamos que r
4
+j
4
= ¸
2
, lo cual por el
teorema 7.3.1 sabemos que no puede ser, así la ecuación r
4
+ j
4
= .
4
no tiene
solución.
108
7.3.3 Teorema. No exiten enteros positivos r, j, . tales que
r
3
+ j
3
= .
3
Demostración. Supongamos que existen números (r, j, .) que cumplen
r
3
+ j
3
= .
3
. Dividiéndolos entre su mcd podemos suponer que son primos
entre sí y, al cumplir la ecuación 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 simetría 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 factorización
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 a…rmar que j y ¡ son coprimos (un factor común lo sería también
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, también ¡ 0 (no puede ser que r = j,
pues ¡ sería 0, y como (r, j) = 1 habría de ser r = j = 1, y entonce .
3
= 2, lo
cual es imposible).
Resumiendo, si existe una solución (r, j, .) con r e j impares, entonces
existen números naturales no nulos j y ¡ de paridad opuesta, coprimos tales
que el número 2j
_
j
2
+ 3¡
2
_
es un cubo.
Debemos de justi…car que los números 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 común 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, según lo dicho, 2j y j
2
+ 3¡
2
son cubos. Ahora usaremos un
resultado que posteriormente probaremos.
7.3.1 Proposición. 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 proposición se dará más 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 ¡ serían 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 serán
cubos.
Como a y / tiene paridad opuesta, a ÷ 3/ y a + 3/ son impares, luego un
factor común de 2a y a ± 3/ es un factor de a y a ± 3/, y por tanto un factor
común de a y 3/. Igualmente un factor común 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 obligaría
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 solución de la ecuación 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 mínima. 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 módulo que .
3
.
Falta llegar a la misma conclusión 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 números
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 proposición 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 + /) también lo es.
Luego hemos encontrado una terna menor que (r, j, .) que satisface la ecuación
lo cual no es posible puesto que (r, j, .) es primitiva.
Para …nalizar probaremos la proposición 7.3.1
Demostración. Consideraremos la factorización en Z
__
÷3
¸
, aquí los ele-
mentos de norma impar se descomponen de forma única en producto de primos,
y esto es su…ciente para nuestros propósitos. En efecto, como (j, ¡) = 1 el
número j + ¡
_
÷3 no es divisible entre enteros no unitarios , es decir, no es
divisible entre primos que se conservan, y si un primo j = ¬
1
¬
2
se separa y
¬
1
[j+¡
_
÷3, entonces ¬
2
- j+¡
_
÷3. Por lo tanto la descomposición 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 proposición.
6.4 Ejercicios propuestos
1. Pruébese el teorema 7.1.1
2. Pruébese el teorema 7.1.2
3. Pruébese que Z
__
÷2
¸
es un anillo
4. Pruébese que el anillo Z
__
÷2
¸
es un dominio euclídeo.
5. Demuéstrese que las únicas soluciones enteras de la ecuación j
2
+2 = r
3
son
j = ±5, r = 3.
_
sugerencia. Considere la factorización en Z
__
÷2
¸_
6. Defínase y discútase todas las propiedades de Z
__
÷3
¸
7. Demuéstrese que uno de los números pitagóricos correspondientes a estas
ternas debe ser múltiplo de 3.
8. Resuélvase la ecuación r
2
+ 2j
2
= .
2
en el anillo de los números enteros.
111
¹j c:dicc
112
7 Notas de Álgebra
"El álgebra es generosa, frecuentemente da más de lo que le piden"
D’Alembert.
7.1 Estructuras Algebraicas
En esta sección de…niremos varias estructuras algebraicas y algunos elementos.
Teniendo como …nalidad presentar una breve semblanza de algunas estructuras
algebraicas y así poder situar al lector en una posición más comoda a la hora
de realizar la lectura del documento.
7.1.1 De…nición. Sea un conjunto no vacío. Llamaremos ley de composi-
ción interna (o simplemente ley de composición) de…nida sobre a toda
aplicación:
+ : ÷÷
Si r, j ¸ escribimos
(r, j) ÷÷ + (r, j)
Al elemento r + j lo denominamos la composición (por +) de r con j.
La de…nición que acabamos de dar, es la formalidad para una operación
binaria. Las operaciones de suma y producto entre números constituyen los
ejemplos naturales de leyes de composición.
7.1.2 De…nición. Se llama Monoide a toda pareja (, +) formada por un
conjunto ,= c, y una ley de composición +. Diremos también que +
de…ne sobre una estructura de monoide.
Por ejemplo:
Si denota cualquiera de los conjuntos numéricos ya conocidos
N, Z, Q, R, C
y + denota la suma (+) o el producto () habituales para estos números, las
siguientes parejas forman monoides:
113
(N, +) (N, )
(Z, +) (Z, )
(Q, +) (Q, )
(R, +) (R, )
(C, +) (C, )
7.1.3 De…nición. Se denomina Semigrupo a todo monoide cuya ley de com-
posición es asociativa.
En otras palabras,
r, j, . ¸ == r + (j + .) = (r + j) + .
Por ejemplo.
Todos los monoides numéricos considerados en la de…nición anterior:
(N, +) , (N, ) , (Z, +) , (Z, ) , (Q, +) , (Q, ) , (R, +) , (R, ) , (C, +) , (C, )
forman semigrupos.
7.1.4 De…nición. Un Grupo es una pareja (, +) donde es un conjunto no
vacío y
+ : ÷÷
es una operación binaria
(r, j) ÷÷ + (r, j)
Tal que
i. r + (j + .) = (r + j) + .
ii. Existe un elemento c ¸ , llamado elemento de identidad, tal que: \r ¸
; r + c = r = c + r
iii. Para cada r ¸ existe un elemento, llamado inverso, denotado con ÷r,
tal que:(r) + (÷r) = c
iv. Diremos que el grupo es conmutativo o abeliano si satisface: r + j = j +
r, \r, j ¸
Las siguientes duplas forman grupos conmutativos:
(Z, +) , (Q, +) , (Q, ) , (R, +) , (R, ) , (C, +) , (C, )
Las duplas (N, +) , (N, ) y (Z, ) no forman grupos, puesto que carecen de
elemento inverso para la operación respectiva.
114
7.1.5 De…nición. Un Anillo es una terna (, +, ·) donde es un conjunto no
vacío, + y · son operaciones binarias tales que
i. (, +) es un grupo conmutativo
ii. (, ·) es un semigrupo
iii. r· (j + .) = (r · j) + (r · .), \r, j, . ¸ distributividad de · con respecto
a +
Las siguientes ternas forman anillos: (Z, +, ) , (Q, +, ) , (R, +, )
Si un anillo (, +, ·) satisface
iv. (, ·) es un semigrupo conmutativo, entonces (, +, ·) se llamará anillo
conmutativo.
Si (, ·) es un semigrupo con identidad, diremos que (, +, ·) se llamará
anillo con identidad.
7.1.6 De…nición. La terna (, +, ·) es un cuerpo si y sólo si es un anillo
conmutativo, con unidad, cuyos elementos no nulos admiten inverso mul-
tiplicativo. Esto es
i. (, +) es un grupo abeliano
ii. ( ÷¦0¦ , ·) es un grupo abeliano
iii. a · (/ + c) = a · / + a · c; \a, /, c ¸ .
Son ejemplos de cuerpos: (Q, +, ) , (R, +, ) , (C, +, ) , (Z
¡
, +, )
Elementos distinguidos de un conjunto ordenado.
Sea un conjunto ordenado por una relación de orden <
i. Primer elemento. El elemento a ¸ se llama primer elemento si y sólo si
precede a todos los demás.
a ¸ es primer elemento == r ¸ == a < r
ii. Último elemento. El elemento / ¸ se llama último elemento si y sólo si
todo elemento de precede a /.
/ ¸ es último elemento == r ¸ == r < /
115
iii. Elemento mínimo. El objeto : de es elemento mínimo si y sólo si no
existe un elemento distinto que lo preceda
: ¸ es elemento mínimo == \r ¸ : r < : == : = r
iv. Elemento máximo. El objeto : de es elemento máximo si y sólo si no
existe un elemento distinto que lo siga
: ¸ es elemento máximo == \r ¸ : : < r == r = :
La función factorial y los números combinatorios
7.1.7 De…nición. La función factorial es la aplicación
) : N
0
÷÷N
de…nida por
_
_
_
) (0) = 1
) (1) = 1
) (/ + 1) = (/ + 1) ) (/) si / 1
La notación más usual para esta aplicación es /!. De este modo lo anterior
se traduce en
_
_
_
0! = 1
1! = 1
(/ + 1)! = (/ + 1) /!
La expresión /! se lee "/ factorial"
Propiedades del factorial
i. :! = 1 2 3 :
ii.
n
(n+1)!
=
1
n!
÷
1
(n+1)!
7.1.8 De…nición. Sean los enteros no negativos : y /, tales que : _ /. Lla-
mamos número combinatorio ": sobre /" , al símbolo
_
:
/
_
de…nido por
_
:
/
_
=
:!
/! (: ÷/)!
116
Propiedades de los números combinatorios.
i. Dos números combinatorios de órdenes complementarios son iguales
_
:
/
_
=
:!
/! (: ÷/)!
=
:!
(: ÷/)!/!
=
_
:
: ÷/
_
ii. La suma de dos números combinatorios no es, en general, un número com-
binatorio; pero si tiene igual numerador y denominador consecutivos vale
la fórmula
_
: ÷1
/ ÷1
_
+
_
: ÷1
/
_
=
_
:
/
_
117
Respuestas a ejercicios de tipo numérico
Capítulo 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)
Capítulo 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
Capítulo 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
Capítulo 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 recopilación de las principales de…ni-
ciones, propiedades y teoremas que corresponden a un curso clásico de teoría de
números, desarrollados en nivel universitario de nuestro país.
A lo largo de la construcción de este trabajo, abordamos los números enteros
naturales y sus propiedades de divisibilidad que básicamente es lo fundamental
en la teoría de números, sin embargo también tratamos la solución de un tipo
particular de ecuación, a saber las ecuaciones diofánticas y además vimos la
divisibilidad desde la perspectiva de la congruencia; intentando mostrar todo
esto desde una óptica más amigable en cuanto a contenido y tratamiento didác-
tico de la teoría. Además, 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 formación de
estudiantes universitarios que tienen que enfrentar este tipo de cursos, puesto
que el …n de este tratado es ser usado como un dispositivo didáctico que facilite
la comprensión de la teoría, como medio de consulta y ejercitación y como
material de divulgación en general.
Sin embargo las matemáticas crecen a un nivel acelerado y la teoría de
números no es la excepción, por tal razón la contribución de este material es
muy modesta, así teniendo esto presente instamos a estudiantes a profundizar
en el estudio e investigación de esta rama de las matemáticas, y a instituciones
universitarias y técnicas a modernizar sus programas de estudios para abordar
dichos aspectos.
120
Bibliografía
Apostol. Tom M.. Introducción a la teoría analítica de números. Editorial
Reverté, S.A, 1980. España.
Boyer. Carl B. Historia de la matemáticas. Tercera reimpresión, 1994.
Alianza Universidad Textos. Madrid
Burton W. Jones. Teoría de los números. Primera edición en español, marzo
1969. Editorial Trillas, S.A. México, D.F.
Gentile Enzo R. Aritmética Elemental. Programa regional de desarrollo
cientí…co y tecnológico. Washington, D.C. 1985
Herstein. I.N. Álgebra Abstracta. Edición Original 1986. Grupo Editorial
Iberoaméricana, S.A. Estados Unidos.
Niven y Zuckerman. Introducción a la teoría de los números. Editorial
Limusa,1976. México.
Ríbnikov K. Historia de las matemáticas. Traducción al español, editorial
Mir, 1987. Moscú
Richman Fred. Number Theory: An introduction to algebra. 1971 by
Wadsworth Publishing Company. Belmont, California.
Rojo Armando O. Algebra I. Séptima edición. Editorial El ateneo, Ar-
gentina.
Sominski I.S. Lecciones populares de matemáticas, Método de Inducción
matemática. Segunda edición 1985. Editorial Mir, Moscú.
Suse Marx / Ehard Krinke/ Wolfram Turke. Teoría elemental de los números:
Ecuaciones y Combinatoria. Editorial pueblo y educación. La Habana, 1974.
Vinográdov I. Fundamentos de la teoría de los números. Segunda reimpre-
sión 1987. Editorial Mir, Moscú.
Vorobiov N.N. Lecciones populares de matemáticas, Números de Fibonacci.
Editorial Mir, Moscú, 1974.
121
Webgrafía
References
[1] http://www.sectormatematica.cl/libros.htm
[2] http://www.google.com/images?hl=es&q=…bonacci&wrapid
122

Sign up to vote on this title
UsefulNot useful