Mdulo 1

Unidad 1
Nmeros Enteros

Matemtica Discreta
Lic. Alfredo H. Gonzalez

Contenidos
Lectura 1 Nmeros Enteros

1.1 Aritmtica

1.2 Ordenando los enteros

1.3 Definiciones Recursivas

1.4 El Principio de Induccin

1.5 Cociente y Resto

12

1.6 Divisibilidad

15

1.7 El mximo comn divisor y el mnimo comn mltiplo

17

1.8 Factorizacin en primos

21

1.9 Ejercicios Adicionales: Nmeros enteros

24

Bibliografa

39

ndice Alfabtico

41

Matemtica Discreta Alfredo H. Gonzalez | II

1. Nmeros Enteros
1.1 Aritmtica
La Matemtica es la reina de las ciencias y la Aritmtica es la
reina de la Matemtica, con estas palabras resume el clebre
matemtico alemn Carl Friederich Gauss su gusto por esta
rama de la matemtica, pero tambin su importancia. Viniendo
de quien fuese tal vez el ms brillante matemtico de todos los
tiempos, no deberamos creer que por trabajar con aritmtica de
nmeros enteros, se trate de cuestiones elementales. Si bien, como
veremos, las definiciones son simples, se logra a travs de esta
rama una enorme profundidad de pensamiento.

Matemtica Discreta Alfredo H. Gonzalez | III

LECTURA 1

Nmeros Enteros
Este cuadernillo tiene la intencin de introducir a los estudiantes en
temas de matemtica discreta. Particularmente en el manejo de los nmeros
enteros. Est basado en el libro de Biggs (1993) y tiene aportes de A. Gonzalez, D. Penazzi, A. Tiraboschi y M. Smrekar. Si bien es bastante autocontenido, aquellos estudiantes que deseen profundizar pueden hacerlo con el
Captulo 4 del libro de Grimaldi (1998) o tambin, desde el Captulo 1 del
libro de Jimenez Murillo (2009).

1.1.

Aritmtica

Todo lector de esta lectura conoce los enteros. En una etapa muy temprana de nuestras vidas conocemos los nmeros enteros positivos o nmeros
naturales
1, 2, 3, 4, 5, . . .
Ms adelante introducimos el 0 (cero), y los enteros negativos
1, 2, 3, 4, 5, . . .
En matemtica generalmente no nos preocupamos por el significado lgico
y/o filosfico de estos objetos, pero necesitamos saber las propiedades que
se supone que tienen. Si todos parten de las mismas suposiciones entonces
todos llegarn a los mismos resultados. Estos supuestos son los llamados
axiomas.
El punto de vista adoptado en esta lectura es el sealado antes. Aceptamos sin reparo que existe un conjunto de objetos llamados enteros conteniendo los enteros positivos y los negativos, y el cero, familiares en nuestra temprana educacin y experiencia. El conjunto de enteros se denotar
por el smbolo especial Z. Las propiedades de Z sern dadas por una lista
de axiomas, a partir de las cuales seremos capaces de deducir todos los
resultados sobre nmeros enteros que necesitaremos en las cuestiones subsiguientes. Empezaremos listando aquellos axiomas que tratan la suma y la
multiplicacin.
Adoptaremos las notaciones usuales a + b para la suma de dos enteros a
y b, y a b (o frecuentemente slo ab) para su producto. Pensamos en + y
1

 como operaciones que a un par de enteros a y b les hacen corresponder un

entero a + b y otro a b. El hecho de que a b y a + b son enteros, y no algn
objeto extrao como elefantes, es nuestra primera suposicin (Axioma I1).
En la siguiente lista de axiomas a, b, c denotan enteros arbitrarios, y 0 y
1 denotan enteros especiales que cumplen las propiedades especificadas en
alguno de los siguientes axiomas.
I1.
I2.
I3.
I4.
I5.
I6.
I7.

a + b y ab pertenecen a Z.
a + b = b + a; ab = ba.
(a + b) + c = a + (b + c); (ab)c = a(bc).
a + 0 = a; a1 = a.
a(b + c) = ab + ac.
Por cada a en Z existe un nico entero a en Z tal que a+(a) = 0.
Si a es distinto de 0 y ab = ac, entonces b = c.

Todos los axiomas corresponden a propiedades familiares de los enteros

que aprendemos en distintos niveles de nuestra educacin matemtica. De
ellas pueden deducirse la mayora de las reglas aritmticas comunes de los
enteros. Por ejemplo, podemos definir la operacin de sustraccin diciendo
que a b es lo mismo que a + (b); y deducir las reglas elementales para la
sustraccin como en el siguiente ejemplo.
Ejemplo 1.1.1. Demuestre que para dos enteros m y n cualesquiera
m (n) = m + n.
NOTA: Es importante que destaquemos que las demostraciones en
matemtica deben tener la misma rigurosidad que la que requiere la Lgica
Simblica. Por ms obvio que sea un enunciado, debemos arribar a l a travs
de los razonamientos permitidos por la lgica, utilizando como premisas a
los axiomas y a todos aquellos resultados que ya hayamos demostrado formalmente. En este caso slo tenemos como premisas los axiomas I1. a I7.
enunciados ms arriba.
Demostracin. De acuerdo a la definicin de sustraccin, m (n)
es lo mismo que m + ((n)). Pero el Axioma I6 nos dice que (n) es
el nico nmero que sumado a n da cero. Sin embargo n mismo tambin
cumple esa propiedad, puesto que
(n) + n = n + (n)(Axioma I2)
(Axioma I6)

=0

Por lo tanto debe ser (n) = n y entonces m (n) = m + n, como

queramos demostrar.

Algunos resultados similares los podemos encontrar en los siguientes
ejercicios. Como an no tenemos todos los axiomas correspondientes a los
2

enteros, los resultados no son particularmente interesantes, pero lo que importa es recordar que pueden ser probados sobre la base nica de los axiomas.
NOTA: La resolucin de ejercicios en matemtica es frustrante, y debe
ser as, puesto que es ms importante el proceso que realizamos cuando
queremos resolver un ejercicio que el resultado que obtenemos al resolverlo.
Debemos aceptar que en este tema en particular, el proceso es ms importante que el contenido. Generalmente pensamos mucho en cmo resolver un
problema y no se nos ocurre el camino adecuado para obtener el objetivo.
De todas maneras, es importante que insistamos, tanto como sea posible,
sin descartar la posibilidad de que el ejercicio en realidad sea ms sencillo
de lo que parece. Muchas veces nos sorprendemos cuando vemos la solucin
porque en realidad estbamos pensando que resolverlo sera mucho ms
complicado de lo que fue, y ese prejuicio nos impidi recurrir a razonamientos sencillos y breves que nos hubieran permitido encontrar la solucin. Ver
la solucin de un ejercicio, como si fuera una receta de cocina, para tener
una idea de cmo se hace, no hace ms que impedirnos el entrenamiento que
necesitamos para los temas ms complicados. Debemos ser cuidadosos y ordenados, leer y releer las consignas tantas veces como haga falta y agotar
las posibilidades. Lleva tiempo (mucho tiempo) y paciencia (mucha ms)
pero es el proceso adecuado. nimo! Que todos estamos capacitados para
hacerlo.
1.1.1.

Ejercicios.

1. La siguiente es una demostracin de la frmula 0x = 0 usando slo los axiomas planteados antes. Escriba la demostracin completa,
explicando qu axioma es usado en cada paso.
x(0 + 0) = x0
x0 + x0 = x0
x0 + (x0 + x0) = x0 + x0
(x0 + x0) + x0 = 0
0 + x0 = 0
x0 = 0.
2. Construya una demostracin de la regla (a+b)c = ac+bc, explicando
cada paso como en el ejercicio 1. (Note que este resultado es diferente
del Axioma I5)
3. Como siempre x2 denota xx. Demuestre que dados dos enteros a y
b, entonces existe un c tal que (a + b)c = a2 b2 . Demuestre tambin
que si a + b 6= 0 entonces ese nmero entero c es nico. Indique en
3

cada paso qu Axioma o qu resultado ya demostrado utiliz como

premisa.
4. Suponga que existen dos enteros 0 y 00 ambos cumpliendo el Axioma
I4, esto es
a + 0 = a,
a + 00 = a
para todo a de Z. Demuestre que esto implica necesariamente que
0 = 00 , por lo tanto 0 est en realidad caracterizado de manera nica
por el Axioma I4.
1.2.

Ordenando los enteros

El orden natural de los enteros es tan importante como sus propiedades

aritmticas. Desde el comienzo aprendemos los nmeros en el orden
1,2,3,4,5, y el hecho de que 4 es mayor que 3 se convierte en algo de
importancia prctica para nosotros. Expresamos esta idea formalmente diciendo que existe una relacin de orden en Z:
mn

(m, n Z),

que debe satisfacer ciertos axiomas. Slo cinco axiomas se necesitan para
especificar las propiedades bsicas del smbolo , y ellos son listados en
lo que sigue. La numeracin de los axiomas se contina de la seccin 1.1.
Como antes, a, b y c denotan enteros arbitrarios.
I8.
I9.
I10.
I11.
I12.

a a.
Si a b y b a, entonces a = b.
Si a b y b c, entonces a c.
Si a b, entonces a + c b + c.
Si a b y 0 c, entonces ac bc.

Estos axiomas no aportan mucho de nuevo, pues encierran propiedades

muy familiares; lo importante es que nos permiten deducir otros hechos
igualmente familiares. Con esto en mente, los siguientes ejercicios deberan
ser resueltos usando slo las propiedades contenidas en los Axiomas I1
I12. Recordemos que aunque sean enunciados sencillos y que hemos utilizado muchas veces, debemos demostrarlos formalmente para incorporarlos al
conjunto de resultados que podremos usar como premisas de razonamientos
posteriores.
1.2.1.

Ejercicios.

1. Supongamos a b . Sumando a y luego b a ambos lados de la

desigualdad, demuestre que b a. Deduzca que a b y c 0,
entonces bc ac.
2. Demuestre que 0 x2 para todo x en Z y deduzca que 0 1.
3. Deduzca del ejercicio previo que n n + 1 para todo n en Z.
4

Tambin podramos haber utilizado para definir el orden pero optamos

por . Est claro que si definimos con uno de los smbolos podemos definir
los otros smbolos de orden, en este caso: , < y >, en trminos del smbolo
. Por ejemplo, m > n debe definirse n m y m 6= n. Usaremos estos
smbolos cuando la situacin lo requiera.
A primera vista podra parecer que ya tenemos todas las propiedades
que necesitamos de Z, pero sorprendentemente, an falta un axioma de vital
importancia. Supongamos que X es un subconjunto de Z; entonces diremos
que el entero b es una cota inferior de X si
bx

para todo x X.

Algunos subconjuntos no tienen cotas inferiores: por ejemplo, el conjunto

de los enteros negativos 1, 2, 3, . . ., claramente no tiene cota inferior
porque no hay ningn nmero entero que sea menor o igual que todos los
negativos. Por otro lado, el conjunto S denotado por los nmeros resaltados
en la Fig.1 tiene muchas cotas inferiores. Una mirada rpida nos dice que 9
por ejemplo es una cota inferior, mientras que una inspeccin ms minuciosa
revela que 7 es la mejor cota inferior, pues en realidad pertenece a S. En
general, una cota inferior de un conjunto X que es a su vez es un elemento
de X, es conocida como el mnimo de X.
10, 9, , 8, 7, 6, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
Figura 1. El mnimo de S es 7.
Nuestro ltimo axioma para Z afirma algo que es (aparentemente) una
propiedad obvia.
I13. Si X es un subconjunto de Z que no es vaco y tiene una cota inferior,
entonces X tiene un mnimo.
El Axioma I13 es conocido como el axioma del buen orden. Una
buena forma de entender su significado es considerar un juego en el cual
dos personas eligen alternativamente un elemento de X, sujetos a la regla
de que cada nmero debe ser estrictamente menor que el anterior. El axioma nos dice que cuando X es un subconjunto de los nmeros son enteros
que tiene cota inferior, entonces, el juego terminar; adems el final se producir cuando uno de los jugadores tenga el buen sentido de elegir el mnimo
(Claramente si no tiene cota inferior no terminar nunca).
La propiedad de cumplir el Axioma I13 aparentemente obvia no se
mantiene necesariamente cuando tratamos con nmeros que no son enteros,
porque X puede no tener un mnimo aunque tenga una cota inferior. Por
ejemplo supongamos que X es el conjunto de fracciones 3/2, 4/3, 5/4, . . .
teniendo por forma general (n + 1)/n, n 2. Este conjunto tiene una cota
5

inferior (1, por ejemplo) pero no tiene mnimo y por lo tanto los jugadores
podran seguir jugando para siempre, eligiendo fracciones ms y ms cercanas a 1.
El hecho de que haya espacios vacos entre los enteros nos lleva a decir
que el conjunto Z es discreto y es esta propiedad la que da origen al nombre
matemtica discreta. En clculo y anlisis, los procesos de lmite son de
fundamental importancia, y es preciso usar aquellos sistemas numricos que
son continuos, en vez de los discretos.
1.2.2.

Ejercicios. (continuacin)

1. En cada uno de los siguientes casos diga si el conjunto X tiene o no

una cota inferior, y si la tiene, encuentre el mnimo.
(i) X = {x Z|x2 16}.
(ii) X = {x Z|x = 2y para algn y Z}.
(iii) X = {x Z|x 100x}.
2. Un subconjunto Y de Z se dice que tiene una cota superior c
si c y para todo y Y . Una cota superior que adems es un
elemento de Y es llamada el mximo de Y . Use el Axioma I13 para
demostrar que si Y es no vaco y tiene una cota superior, entonces
tiene mximo. [Ayuda: aplique el axioma al conjunto cuyos elementos
son y (y Y ).]
3. Los enteros n que satisfacen 1 n 25 estn acomodados en forma
arbitraria en un arreglo cuadrado de cinco filas y cinco columnas. Se
selecciona el mximo de cada fila, y se denota s al mnimo entre ellos.
De manera similar, el mnimo de cada columna es seleccionado y t
denota al mximo entre ellos. Demuestre que s t y de un ejemplo
en el cual s 6= t.

1.3.

Definiciones recursivas

Sea N el conjuntos de enteros positivos, esto es

N = {n Z|n 1},
y denotemos N0 el conjunto N {0}, esto es
N0 = {n Z|n 0}.
Si X es un subconjunto de N (o de N0 ) entonces automticamente tiene una
cota inferior, pues cada elemento x de X satisface x 1 (o x 0). As, en
6

este caso el axioma del buen orden toma la forma

si X es un subconjunto no vaco de N o N0
entonces X tiene un mnimo.
Adems sta ltima, la referida a los N o a los N0 es la forma del Axioma
I13 ms usada en la prctica.
Nuestro primer uso del axioma del buen orden ser para justificar un
procedimiento muy usual, particularmente en informtica. Frecuentemente
encontramos una expresin de la forma un , donde n indica cualquier entero
positivo: por ejemplo, podramos tener un = 3n + 2, o un = (n + 1)(n +
2)(n+3). En estos ejemplos un es dado por una frmula explcita y no existe
dificultad en explicar como calcular un cuando se nos da un valor especfico
para n. Sin embargo en muchos casos no conocemos una frmula para un ; es
ms, nuestro problema puede ser encontrarla. En estos casos pueden darnos
ciertos valores de un para enteros positivos n pequeos, y una relacin entre
el un general y algunos de los ur con r < n. Por ejemplo, supongamos nos
es dado
u1 = 1,

u2 = 2,

Para calcular los valores de

sigue:
u3 =
u4 =
u5 =

un = un1 + un2

(n 3).

un para todo n de N podemos proceder como

u2 + u1 = 2 + 1 = 3,
u3 + u2 = 3 + 2 = 5,
u4 + u3 = 5 + 3 = 8,

y as siguiendo. ste es un ejemplo de una definicin recursiva. Es obvio

que el mtodo dar un valor nico de un para todo entero positivo n. Pero
hablando estrictamente necesitamos el axioma del buen orden para justificar la conclusin. En el siguiente prrafo demostraremos que una definicin recursiva define cada elemento de una sucesin de manera nica y sin
ambigedades. Notemos el uso que le damos al axioma del buen orden:
Supongamos que existe un entero positivo n para el cual un no est
definido de manera nica. Entonces podemos definir el conjunto A formado
por todos los elementos que cumplen esa propiedad, es decir A est formado
por todos los enteros positivos n para los cuales un no est definido de
manera nica. Simblicamente:
A = {n N | un no est definido de manera nica }.
Podemos entonces ordenar los elementos de A, y hemos supuesto que A
no es vaco porque supusimos que existe un entero positivo n para el cual
un no est definido de manera nica. Entonces podemos utilizar el axioma
del buen orden: como los elementos de A estn asociados a un nmero
7

entero positivo, existe un entero positivo mnimo, llammoslo m, con la

propiedad de que um no est definido de manera nica. Adems, como u1
y u2 estn explcitamente definidos, m no puede ser 1 o 2 y la ecuacin
um = um1 + um2 es aplicable. Por la definicin de m, um1 y um2 estn
definidos de manera nica, porque m 1 y m 2 son menores que m y
m era el mnimo valor de n tal que un A. Luego um1 y um2 no estn
en A y consecuentemente estn definidos de manera nica. Pero entonces la
ecuacin um = um1 +um2 nos da un valor nico para um , contrariamente a
la hiptesis. La contradiccin surge de suponer que un no est bien definido
para algn n, y por lo tanto esta suposicin debe ser falsa. Es decir un est
bien definido para todos los valores posibles de n.
En este punto debemos insistir que no tenemos que desanimarnos por el
uso de argumentos tan retorcidos para establecer algo que es obviamente
verdadero. En primer lugar, no debemos usar resultados ilegtimamente (sin
demostrarlos), y en segundo lugar, el hecho de que el resultado sea obvio
simplemente indica que estamos trabajando con la correcta representacin
mental de N y Z. Una vez que hemos establecido esa representacin sobre
bases firmes podemos empezar a extendernos y obtener resultados que no
sean tan obvios. Adems, el uso de estos argumentos en cuestiones sencillas
nos entrenar para utilizarlas en situaciones ms complejas.
El mtodo de definicin recursiva aparecer bastante seguido en el resto
del libro. Existen otras formas de este procedimiento que se esconden por
su notacin. Por ejemplo: Qu significan las siguientes expresiones?
n
X

(2r 1),

1 + 3 + 5 + + (2n 1).

r=1

Claramente no basta decir que una significa lo mismo que la otra, porque
P
cada una contiene un misterioso smbolo,
y , respectivamente. Lo que
deberamos decir es que cada una de ellas es equivalente a la expresin sn ,
dada por la siguiente definicin recursiva:
s1 = 1,

sn = sn1 + (2n 1) (n 2).

Esto hace ver claro que ambos smbolos misteriosos son, en realidad, una
forma de acortar una definicin recursiva, y que por lo tanto son expresiones
definidas para todo n en N.
Ideas similares pueden aplicarse a la definicin de productos tal como n!
(que se lee n factorial). Si decimos que
n! = ni=1 i,

n! = 1 2 3 n,

el significado es bastante claro para cualquiera. Pero para precisar (y hacerlo

claro para una computadora) debemos usar la definicin recursiva
1! = 1,

n! = n (n 1)! (n 2).
8

1.3.1.

Ejercicios.

1. En el caso siguiente calcule (donde sea posible) los valores de u1 , u2 ,

u3 y u4 dados por las ecuaciones. Si no puede calcular los valores
explique por qu la definicin no est bien.
(i) u1 = 1,

u2 = 1,

(ii) u1 = 1,

un = un1 + 2un2

(iii) u1 = 0,

un = nun1

un = un1 + 2un2

(n 3).

(n 2).

(n 2).

2. De una definicin recursiva de la n-sima potencia para todo n 1.

3. Sea un definido por las ecuaciones
u1 = 2,

un = 2un1

(n 2).

Cul es el primer valor de n para el cual no se puede calcular un

usando una calculadora de bolsillo?
4. Escriba frmulas explcitas para las expresiones un definidas por las
siguientes ecuaciones.
(i) u1 = 1,

un = un1 + 3 (n 2).

(ii) u1 = 1,

un = n2 un1

1.4.

(n 2).

El principio de induccin

Supongamos que nos piden que demostremos el resultado

1 + 3 + 5 + + (2n 1) = n2 .
En otras palabras, debemos demostrar que la expresin de la izquierda
definida recursivamente es igual a la definida explcitamente por la frmula
de la derecha, para todos los enteros positivos n. Podemos proceder como
sigue.
La frmula es ciertamente correcta cuando n = 1 puesto que 1 = 12 .
Supongamos que es correcta para un valor especfico de n, digamos para
n = k, de modo que
1 + 3 + 5 + + (2k 1) = k 2 .
Podemos usar esto para simplificar la expresin definida recursivamente a
la izquierda cuando n es igual a k + 1,
1 + 3 + 5 + + (2k + 1) = 1 + 3 + 5 + + (2k 1) + (2k + 1)
= k 2 + (2k + 1)
= (k + 1)2 .
9

Por lo tanto hemos demostrado que si el resultado es correcto cuando n = k,

entonces lo es cuando n = k + 1. Entonces se comienza observando que si es
correcto cuando n = 1, debe ser por lo tanto correcto cuando n = 2, porque
2 = 1 + 1. Con el mismo argumento como es correcto cuando n = 2 debe
serlo cuando n = 3, porque 3 = 2 + 1. Continuando de esta forma veremos
que es correcto para todos los enteros positivos n.
La esencia de este argumento es comnmente llamada principio de induccin. Dice que si un resultado es vlido para el primer elemento y, siendo
vlido para cualquiera, es vlido para el siguiente, entonces es vlido para
todos. El principio de induccin es una tcnica poderosa, fcil de aplicar y la
aplicaremos frecuentemente. Pero primero debemos examinar un poco ms
sus bases lgicas y para hacerlo necesitamos una formulacin ms general.
Entonces empecemos: con S denotemos al subconjunto de N para el cual
la condicin que queremos probar es vlida (por supuesto, nuestra intencin es probar que S es todo N y de sa manera que la condicin es vlida
para todo n N). El primer paso es probar que 1 pertenece a S, y luego
demostraremos que si k pertenece a S, tambin k + 1 pertenece a S. Entonces lo pensamos paso a paso y concluimos que S = N. Afortunadamente
el pensarlo paso a paso no es esencial (adems de imposible ya que tiene
infinitos pasos), debido a que el principio de induccin es consecuencia de
los axiomas que elegimos tan cuidadosamente para Z y N. Ms especficamente es consecuencia del axioma del buen orden. Veamos entonces que
el principio de induccin es un procedimiento vlido para probar que una
condicin es vlida para un valor de n en adelante.
Teorema 1.4.1. Supongamos que S es un subconjunto de N que satisface las condiciones
(i) 1 S,
(ii) para cada k N, si k S entonces k + 1 S.
Entonces se sigue que S = N.
Demostracin. Supongamos que la conclusin es falsa, entonces S 6=
N y el conjunto complementario S c definido por
S c = {r N|r 6 S}
es no vaco. Por el axioma del buen orden, S c tiene un menor elemento m.
Como 1 pertenece a S, m 6= 1. Se sigue que m 1 pertenece a N y como
m es el mnimo de S c , m 1 debe pertenecer a S. Poniendo k = m 1 en
la condicin (ii), concluimos que k + 1 = m est en S, lo cual contradice
el hecho de que m pertenece a S c . De este modo, la suposicin S 6= N nos
lleva a un absurdo, y por lo tanto tenemos S = N.

En la prctica, generalmente presentamos una demostracin por induccin en trminos ms descriptivos. El hecho de que el resultado es verdadero
10

cuando n = 1 se llama base de la induccin y significa que el resultado es

verdadero en el primer elemento (que no tiene que ser necesariamente 1) y la
suposicin de que es verdadero cuando n = k es llamada hiptesis inductiva.
Cuando se utilizan estos trminos, no es necesario introducir explcitamente
el conjunto S.
Ejemplo 1.4.1. El entero xn esta definido recursivamente por
x1 = 2,

xn = xn1 + 2n (n 2).

Demuestre que
para todo n N.

xn = n(n + 1)

Demostracin. (Base de la induccin) El resultado es verdadero para el

primer elemento, en este caso cuando n = 1 pues 2 = 1 2.
(Hiptesis inductiva) Supongamos que el resultado verdadero cuando n = k,
o sea, xk = k(k + 1). Entonces queremos ver que esta hiptesis implica
necesariamente que el resultado es verdadero cuando n = k + 1, es decir que
xk+1 = (k + 1)(k + 2). Empecemos entonces por xk+1 y tratemos de llegar a
(k + 1)(k + 2) utilizando la hiptesis inductiva, es decir que xk = k(k + 1):
xk+1 = xk + 2(k + 1)
= k(k + 1) + 2(k + 1)
= (k + 1)(k + 2).

por la definicin recursiva

por hiptesis inductiva
por el Ejercicio 1.1.1.2

Luego el resultado es verdadero cuando n = k + 1 y por el principio de

induccin, es verdadero para todos los enteros positivos n.

Existen varias formas modificadas del principio de induccin. A veces es
conveniente tomar como base inductiva el valor n = 0, por otro lado puede
ser apropiado tomar un valor como 2 o 3 porque los primeros casos pueden
ser excepcionales. Cada problema debe ser tratado segn sus caractersticas. Otra modificacin til es tomar como hiptesis inductiva la suposicin
de que el resultado es verdadero para todos los valores n k, ms que
para n = k solamente. (Esta formulacin es llamada a veces el principio
de induccin completa.) Todas esas modificaciones pueden justificarse con
cambios triviales en la demostracin del Teorema 1.4.1, como se indica en
el ejercicio 6.
1.4.1.

Ejercicios.

1. Use el principio de induccin para demostrar que

1
12 + 22 + + n2 = n(n + 1)(2n + 1)
6
para todos los enteros positivos n.
11

2. Haga una tabla de valores de

Sn = 1 3 + 2 3 + + n 3
para 1 n 6. Basndose en su tabla sugiera una frmula para Sn .
[Ayuda: los valores de Sn son cuadrados perfectos.] Use el principio
de induccin para establecer que la frmula es correcta para todo
n 1. (Si el mtodo falla su frmula es equivocada!)
3. Use el principio de induccin completa para demostrar que si un est
definido recursivamente por
u1 = 3,

u2 = 5,

un = 3un1 2un2

(n 3),

entonces un = 2n + 1 para todo entero positivo n.

4. Encuentre el menor entero positivo n0 para el cual sea verdadero que
n! 2n . Tomando el caso n = n0 como la base inductiva, demuestre
que el resultado vale para n n0 .
5. En los siguientes casos encuentre los valores apropiados de n0 para
la base inductiva y demuestre que la afirmacin es verdadera para
todos los n n0 .
(i) n2 + 6n + 9 0,

(ii) n3 6n2 .

6. El siguiente Teorema incorpora todas las modificaciones del principio

de induccin mencionadas antes.
Teorema 1.4.1 . Supongamos que n0 es cualquier entero (no necesariamente positivo), y sea X el conjunto de enteros n n0 . Sea S
un subconjunto de X que satisface las condiciones:
(i)
(ii)

n0 S,
si x S para todo x en el rango n0 x k entonces k + 1 S.
Entonces se sigue que S = X.
Escriba la demostracin del Teorema 1.4 y haga los cambios necesarios para demostrar el Teorema 1.4 .

1.5.

Cociente y resto

Cuando empezamos a estudiar aprendemos que 6 cabe cuatro veces en

27 y el resto es 3, o sea
27 = 6 4 + 3.
12

Un punto importante es que el resto debe ser menor que 6. Aunque, tambin
es verdadero que, por ejemplo
27 = 6 3 + 9,
debemos tomar el menor valor para el resto, de forma que lo que queda sea
la ms chico posible. El hecho de que el conjunto de posibles restos tenga
un mnimo es una consecuencia del axioma del buen orden y nos permiten
definir lo que conocamos por la divisin de enteros. El siguiente Teorema
define y justifica el el cociente y el resto.
Teorema 1.5.1. Sean a y b nmeros enteros cualesquiera con b N,
entonces existen enteros q y r tales que
a=bq+r

0 r < b.

Demostracin. Para demostrar el teorema debemos aplicar el axioma

del buen orden al conjunto de los restos
R = {x N0 |a = by + x para algn y Z}.
Primero demostraremos que R no es vaco. Si a 0 la igualdad
a = b0 + a
demuestra que a R, mientras que si a < 0 la igualdad
a = ba + (1 b)a
demuestra que (1 b)a R (En ambos casos es necesario controlar que el
elemento es no negativo.)
Ahora, como R es un subconjunto no vaco de N0 , tiene un mnimo r,
y como r est en R se sigue que a = bq + r para algn q en Z. Adems,
tambin es cierto que
a = bq + r a = b(q + 1) + (r b)
de manera que si r b entonces r b est en R. Pero r b es menor que
r, contradiciendo la definicin de r como el menor elemento de R. Como la
suposicin r b nos lleva a una contradiccin, solo puede ocurrir que r < b,
como queramos demostrar.

Es fcil ver que el cociente q y el resto r obtenidos en el teorema son
nicos. Supongamos que q 0 y r0 , tambin satisfacen las condiciones, esto es
a = bq 0 + r0

0 r0 < b.

Si q > q 0 , entonces q q 0 1, entonces, dado que r0 = a bq 0 y r = a bq,

sumando y restanto bq tenemos
r0 = abq 0 = abq+bqbq 0 = (abq)+b(qq 0 ) = r+b(qq 0 ) r+b1 = r+b.
13

Como r + b b, se sigue que r0 b contradiciendo la segunda propiedad de

r0 . Por lo tanto la suposicin q > q 0 es falsa. El mismo argumento con q y q 0
intercambiados demuestra que q 0 > q tambin es falsa. Entonces debemos
tener q = q 0 , y en consecuencia r = r0 ,puesto que
r = a bq = a bq 0 = r0 .
Una consecuencia importante del Teorema 1.5 es que justifica nuestro
mtodo usual de representacin de enteros. Por ejemplo, sea t 2 un
nmero entero, llamado base para los clculos. Para cualquier entero positivo x tenemos, por la aplicacin repetida del Teorema 1.5,
x = tq0 + r0
q0 = tq1 + r1

qn2 = tqn1 + rn1

qn1 = tqn + rn .
Aqu cada resto es uno de los enteros 0, 1, . . . , t 1, puesto que son todos
menores que la base t y paramos cuando qn = 0. Eliminando los cocientes qi ,
es decir reemplazando cada qi por el correspondiente tqi+1 +ri+1 obtenemos:
x = tq0 + r0
= t(tq1 + r1 ) + r0 = t2 q1 + tr1 + r0

= tn qn1 + tn1 rn1 + + +tr1 + r0

= tn+1 qn + tn rn + tn1 rn1 + + +tr1 + r0 .
Y como habamos parado cuando qn = 0 tenemos que
x = rn tn + rn1 tn1 + + r1 t + r0 .
Hemos representado x (con respecto a la base t) por la secuencia de los
restos, y escribimos de forma resumida, directamente x = (rn rn1 . . . r1 r0 )t
indicando que el nmero de la posicin i corresponde al coeficiente que
acompaa a la potencia i de la base t. Convencionalmente t = 10 es la base
para los clculos hechos a mano y omitimos ponerle el subndice, entonces
tenemos la notacin usual
1984 = (1 103 ) + (9 102 ) + (8 10) + 4.
Esta notacin posicional requiere smbolos solo para los enteros 0, 1, . . . , t
1. La base t = 2 es particularmente adaptable para los clculos en computadoras porque los smbolos 0 y 1 pueden representarse fsicamente por
la ausencia o presencia de un pulso de electricidad o luz.
14

Ejemplo 1.5.1. Cul es la representacin en base 2 de (109)10 ?

Demostracin. Dividiendo repetidamente por 2 obtenemos
109 = 2 54 + 1
54 = 2 27 + 0
27 = 2 13 + 1
13 = 2 6 + 1
6=23+0
3=21+1
1=20+1
Por lo tanto
(109)10 = (1101101)2 .

1.5.1.

Ejercicios.

1. Encuentre q y r que satisfagan el Teorema 1.5 cuando

(i) a = 1001, b = 11;

(ii) a = 12345, b = 234.

2. Encuentre las representaciones de (1985)10 en base 2, en base 5 y en

base 11.
3. Encuentre la representacin usual (base 10) de
(i) (11011101)2 ;

1.6.

(ii)(4165)7 .

Divisibilidad

Dados dos enteros x e y decimos que y es un divisor de x, y escribimos

y|x, si
x = yq para algn q Z.
Tambin decimos que y es un factor de x, que y divide a x, que x es
divisible por y, y que x es mltiplo de y.
Cuando y|x podemos usar el smbolo xy (o x/y) para denotar el entero
q tal que x = yq. Cuando y no es un divisor de x tenemos que asignar un
nuevo significado a la fraccin x/y, puesto que este nmero no es un entero.
El lector indudablemente, esta familiarizado con las reglas para manejar
fracciones, y usaremos esas reglas de tanto en tanto, pero es importante
recordar que las fracciones no han sido an formalmente definidas en el
15

contexto de este libro. Y es an ms importante recordar que x/y no es un

elemento de Z a menos que y divida a x.
El siguiente ejemplo muestra cmo debemos trabajar con los resultados
que vimos en esta seccin. Es una de las primeras demostraciones que exigen
mucho tiempo para entenderla. Es natural que en la primera leda supongamos que est muy lejos de lo que podemos hacer nosotros solos, pero lo
cierto es que a medida que vayamos avanzando con la materia nos iremos
entrenando en el uso de la lgica para poder realizar estos razonamientos solos. Posiblemente, sea necesario medio da, totalmente concentrados y
enfocados, para entenderla cabalmente. Lo importante es no desanimarse,
cuanto ms tiempo nos lleve, ms profundo ser el entrenamiento.
Ejemplo 1.6.1. Demuestre que si c, d y n son enteros tales que
n
d|n y c|
d
entonces
n
c|n y d| .
c
Demostracin. Como d|n existe un entero s tal que n = ds, y n/d
denota al entero s. Puesto que c|n/d existe un entero t tal que
s=

n
= ct.
d

Se sigue que
n = ds = d(ct) = c(dt)
entonces c|n y n/c denota al entero dt. Finalmente como n/c = dt tenemos
d|n/c, como queramos demostrar.

Una vez entendida la demostracin, seguramente estaremos en condiciones de enfrentar los prximos ejercicios. Debemos recordar que es importante el tiempo que le dedicamos. NO sirve leer la solucin al principio.
NO sirve desanimarse. Posiblemente sirva pensar todo el tiempo que podamos en estos ejercicios, dejarlos un rato cuando nos cansemos, retomarlos
ms tarde, volverlos a dejar, etc. hasta que los podamos resolver. Tambin
sirve volver al ejemplo para utilizar razonamientos similares. Si an as los
ejercicios no salen, entonces podemos ver los resultados, pero habremos perdido una enorme oportunidad de entrenamiento. Slo hace falta paciencia
y obstinacin. nimo!
1.6.1.

Ejercicios.

1. Demuestre que x|0 para todo x Z, pero que 0|x slo cuando x = 0.
2. Muestre que si c|a y c|b, entonces c|xa + yb para cualesquiera enteros
x, y.
16

3. Demuestre que si a y b son enteros tales que ab = 1 entonces a =

b = 1 o a = b = 1 [Ayuda: a y b son o ambos positivos o ambos
negativos]. Deduzca que si x e y son enteros tales que x|y e y|x
entonces x = y o x = y.
4. Use el principio de induccin para demostrar que, para todo n 0,
(i)

n2 +3n es divisible por 2

1.7.

(ii)

n3 +3n2 +2n es divisible por 6.

El mximo comn divisor y el mnimo comn mltiplo

Si a y b son enteros decimos que el entero d es un mximo comn

divisor, o mcd, de a y b si
(i) d|a y d|b;

(ii) si c|a y c|b entonces c|d

La condicin (i) nos dice que d es un comn divisor de a y b y la condicin

(ii) nos dice que cualquier divisor comn de a y b es tambin divisor de d.
Por ejemplo, 6 es un divisor comn de 60 y 84, pero no es el mayor divisor
comn, porque 12|60 y 12|84 pero 12 - 6 (el smbolo significa no divide.)
Las condiciones (i) y (ii) no son suficientes para asegurar que dos enteros
dados tienen un nico mcd. Si d y d0 satisfacen ambos las dos condiciones
se sigue que
d|d0
y
d0 |d.
Por lo tanto, por el ejemplo 1.6.3 , d = d0 o d = d0 . Por consiguiente para
obtener un mcd nico, es suficiente con imponer una tercera condicin :
(iii) d 0.
Decimos que el nico entero d que satisface (i), (ii) y (iii) es el mcd de a
y b, y escribimos d = mcd(a, b). Por ejemplo, 12 = mcd(60, 84). Existe un
famoso mtodo1 para calcular el mcd de dos enteros dados, basado en la
tcnica del cociente y el resto. Depende del siguiente hecho
a = bq + r

mcd(a, b) = mcd(b, r).

Para demostrar esto debemos observar que si d divide tanto a a como a

b, entonces tambin divide a a bq; y a r = a bq, luego divide a r. De
este modo cualquier divisor comn de a y b es tambin divisor comn de b
y r. Por otro lado si d divide b y r tambin divide a a = bq + r. De este
modo cualquier divisor comn de b y de r es tambin divisor comn de a
y de b. En particular mcd(a, b)| mcd(b, r) y mcd(b, r)| mcd(a, b), entonces
por el Ejercicio 1.6.1.3 tenemos que mcd(b, r) = mcd(a, b) mcd(b, r) =
1Obsrvese

que con la aplicacin de este mtodo se puede demostrar fcilmente la

existencia del mcd
17

 mcd(a, b), pero la condicin (iii) de la definicin asegura que son ambos
positivos por lo que mcd(b, r) = mcd(a, b).
La aplicacin repetida del resultado
a = bq + r

mcd(a, b) = mcd(b, r).

nos da un mtodo para calcular el mcd.

Ejemplo 1.7.1. Encuentre el mcd de 2406 y 654.
Demostracin. Tenemos
mcd(2406, 654) = mcd(654, 444) porque 2406 = 654 3 + 444,
= mcd(444, 210) porque 654 = 444 1 + 210,
= mcd(210, 24) porque 444 = 210 2 + 24,
= mcd(24, 18)

porque 210 = 24 8 + 18,

= mcd(18, 6)

porque

24 = 18 1 + 6,

=6

porque

18 = 6 3


Por lo general, para calcular el mcd de enteros a y b (ambos 0) definimos qi y ri recursivamente por las ecuaciones.
a = bq1 + r1 (0 r1 < b)
b = r1 q2 + r2 (0 r2 < r1 )
r1 = r2 q3 + r3 (0 r3 < r2 )

Est claro que el proceso debe detenerse, porque cada resto es estrictamente
menor que el anterior. Entonces los pasos finales son como siguen:
rk4 = rk3 qk2 + rk2 (0 rk2 < rk3 )
rk3 = rk3 qk1 + rk1 (0 rk1 < rk2 )
rk2 = rk1 qk ,
donde rk es nulo y rk1 es el mcd requerido. Es decir que el mcd es el
ltimo resto no nulo de la secuencia. Este procedimiento es conocido como el
algoritmo de Euclides, debido al matemtico griego Euclides (300 a. c.).
Es extremadamente til en la prctica, y tiene importantes consecuencias
tericas. Por ejemplo:
Teorema 1.7.1. Sean a y b enteros con b 0 y sea d = mcd(a, b).
Entonces existen enteros m y n tales que
d = ma + nb.
18

Demostracin. De acuerdo con el clculo hecho antes d = rk1 y

usando la penltima ecuacin tenemos
rk1 = rk3 rk2 qk1 .
As, d puede escribirse en la forma m0 rk2 + n0 rk3 ,donde m0 = qk1 y
n0 = 1 . Sustituyendo rk2 en trminos de rk3 y rk4 obtenemos
d = m0 (rk4 rk3 qk2 ) + n0 rk3
que puede escribirse de en la forma mrk3 + nrk4 , con m = n0 m0 qk2
y n = m0 . Continuando de esta forma obtendremos una expresin para d
de la forma requerida.

Por el ejemplo, de los clculos usados para encontrar el mcd de 2406 y
654 obtenemos
24 18 1 =

6=
=
=
=

24+ (1)
210+

24+ (1) 18

(210 24 8) = (1) 210+

9 (444 210 2) =

9 444+ (19) 210

9 444+(19) (654 444 1) =(19) 654+

=(19) 654+

28(2406 654 3) =

9 24
28 444

282406+(103) 654.

De este modo, la expresin requerida d = ma + nb es

6 = 28 2406 + (103) 654.
Si el mcd(a, b) = 1 entonces decimos que a y b son coprimos y en este
caso el Teorema 1.7.1 dice que existen enteros m y n tales que
ma + nb = 1.
Este hecho es muy til. Por ejemplo, todos estamos familiarizados con la
idea de que una fraccin puede reducirse al mnimo trmino, o sea a la
forma a/b con a y b coprimos. El siguiente ejemplo establece que esta forma
es nica, y como veremos, el hecho clave de la demostracin es que podemos
expresar a 1 como ma + nb.
Ejemplo 1.7.2. Supongamos que a, a0 , b, b0 son enteros positivos que
satisfacen
(i)

ab0 = a0 b;

(ii)

mcd(a, b) = mcd(a0 , b0 ) = 1.

Entonces a = a0 y b = b0 .
(La condicin (i)podra escribirse como a/b = a0 /b0 , pero preferimos usar
esta forma que no asume ningn conocimiento sobre fracciones.)
19

Demostracin. Como el mcd(a, b) = 1 existen enteros m y n tales

que ma + nb = 1. En consecuencia
b0 = (ma + nb)b0 = mab0 + nbb0 = (ma0 + nb0 )b,
y por lo tanto b|b0 . Por un argumento similar y usando el hecho de que el
mcd(a0 , b0 ) = 1 deducimos que b|b0 , por lo tanto b = b0 o b = b0 y como b y
b0 son ambos positivos debemos tener b = b0 . Ahora de (i) deducimos que
a = a0 y el resultado esta demostrado.

Si a y b son enteros decimos que el entero m es el mnimo comn
mltiplo, o mcm, de a y b si
(i) a|m y b|m;

(ii) si a|n y b|n entonces m|n;

(iii) m 0.

La condicin (i) nos dice que m es mltiplo comn de a y b, la condicin

(ii) nos dice que es mnimo y la condicin (iii) nos asegura la unicidad.
Por ejemplo hallemos el mnimo comn mltiplo entre 8 y 14. Escribamos
los mltiplos de ambos nmeros y busquemos el menor comn a ambos.
Los primeros mltiplos de 8 son: 8, 16, 24, 32, 40, 48, 56, . . .. Los primeros
mltiplos de 14 son: 14, 28, 42, 56, 72, . . .. Luego se tiene mcm(8, 14) = 56.
El siguiente teorema garantiza la existencia del mcm.
Teorema 1.7.2. Sean a y b enteros no nulos, entonces
mcm(a, b) =

ab
.
mcd(a, b)

Demostracin. Demostraremos que

m=

ab
mcd(a, b)

es el mnimo comn mltiplo de a, b.

Como
a
b
ab
=
b=a
m=
mcd(a, b)
mcd(a, b)
mcd(a, b)
resulta que m es mltiplo de a y b.
Sea ahora n un mltiplo de a y b. Por Teorema 1.7.1, tenemos que existen
r, s tales que mcd(a, b) = ra + sb y por lo tanto, dividiendo por mcd(a, b) y
multiplicando por n, obtenemos:
n=r

a
b
n+s
n.
mcd(a, b)
mcd(a, b)

Como n es mltiplo de a y de b existen a0 y b0 tal que podemos escribir

n = b0 b = a0 a (a0 , b0 en Z), resulta finalmente
n = rb0

ab
ab
ab
+ sa0
=
(rb0 + sa0 )
mcd(a, b)
mcd(a, b)
mcd(a, b)

lo cual demuestra que m divide a n.


20

En particular este resultado implica que si a y b son enteros coprimos,

entonces mcm(a, b) = ab.
1.7.1.

Ejercicios.

1. Encuentre el mcd de 721 y 448 y exprselo en la forma 721m + 448n

con m, n Z.
2. Demuestre que si a, b y n son enteros no nulos, con n > 0, entonces
mcd(na, nb) = n mcd(a, b).
3. Demuestre que si existen enteros m y n tales que mu + nv = 1,
entonces el mcd(u, v) = 1.
4. Use el Teorema 1.7.1 y el Ej. 3 para demostrar que si el mcd(a, b) = d
, entonces


a b
mcd
= 1.
,
d d
5. Sean a y b enteros positivos y sea d = mcd(a, b). Pruebe que existen
enteros x e y que satisfacen la ecuacin ax + by = c si y slo si d|c.
6. Encuentre enteros x e y que satisfagan
966x + 685y = 70.

1.8.

Factorizacin en primos

Se dice que un entero positivo p es primo si p 2 y los nicos entero

positivos que dividen p son 1 y p mismo. Luego un entero m 2 no es un
primo si y slo si puede escribirse como m = m1 m2 donde m1 y m2 son
enteros estrictamente entre 1 y m.
Enfaticemos que de acuerdo a la definicin, 1 no es primo. Los primeros
primos son
2, 3, 5, 11, 17, 19, 23, 129, 31, 37, 41, 47.
El lector debe estar casi totalmente familiarizado con la idea de que
cualquier entero positivo puede expresarse como producto de primos: por
ejemplo
825 = 3 5 5 11.
La existencia de esta factorizacin en primos para cualquier entero positivo
es una consecuencia del axioma del buen orden: sea B el conjunto de enteros positivos que no tienen una factorizacin en primos; si B no es vaco
entonces, por el axioma del buen orden, tiene un mnimo m. Si m fuera un
primo p entonces tendramos la factorizacin trivial m = p; por lo tanto m
no es primo y m = m1 m2 donde 1 < m1 < m y 1 < m2 < m. Como estamos
suponiendo que m es el menor entero ( 2) que no tiene factorizacin en
21

primos, entonces m1 y m2 tienen factorizacin en primos. Pero entonces la

ecuacin m = m1 m2 produce una factorizacin en primos de m, contradiciendo la suposicin de que m era un elemento de B. Por lo tanto B debe
ser vaco, y la afirmacin esta probada.
1.8.1.

Ejercicios.

1.
2.
3.
4.

Encuentre todos los primos p en el rango 100 p 120.

Escriba la factorizacin en primos de 2011001 y 201000.
Demuestre que si p y p0 son primos y p|p0 entonces p = p0 .
Demuestre que si n 2 y n no es primo entonces existe un primo p
tal que p|n y p2 n.
5. Use el resultado del ejercicio anterior para demostrar que si 467 no
fuera primo entonces tendra un divisor primo p 19 . Deduzca que
467 es primo.

La facilidad con la que establecemos la existencia de la factorizacin

de primos conlleva dos dificultades importantes. Primero el problema de
encontrar los factores primos no es de ningn modo directo; y segundo no
es obvio que exista una nica factorizacin en primos para todo entero
dado n 2 . El siguiente resultado es un paso clave en la demostracin de
la unicidad.
Teorema 1.8.1. Si p es un primo y x1 , x2 , . . . , xn son enteros tales que
p|x1 x2 . . . xn
entonces p|xi para algn xi (1 i n).
Demostracin. Usemos el principio de induccin. El resultado es obviamente verdadero cuando n = 1 (base inductiva). Como hiptesis inductiva,
supongamos que es verdadero cuando n = k.
Supongamos que p|x1 x2 . . . xk xk+1 y sea x = x1 x2 . . . xk . Si p|x entonces,
por la hiptesis inductiva, p|xi para algn xi en el rango 1 i k. Si
p - x entonces (como p no tiene divisores excepto 1 y el mismo) tenemos
mcd(x, p) = 1. Por el Teorema 1.7 existen enteros r y s tales que rp+sx = 1.
Por lo tanto tenemos
xk+1 = (rp + sx)xk+1 = (rxk+1 )p + s(xxk+1 ),
y como p divide a ambos trminos se sigue que p|xk+1 . De este modo, en
ambos casos p divide uno de los xi (1 i k + 1), y por el principio de
induccin el resultado es verdadero para todos los enteros positivos n. 
Un error comn es asumir que el Teorema 1.8.1 se mantiene verdadero
cuando reemplazamos el primo p por un entero arbitrario . Pero esto claramente absurdo : por ejemplo
6|3 8

pero

6-3
22

6 - 8.

Ejemplos como ste nos ayudan a entender que el Teorema 1.8.1 expresa
una propiedad muy significativa de los nmeros primos. Adems veremos
que esta propiedad juega un papel crucial en el siguiente resultado, que a
veces es llamado el Teorema Fundamental de la Aritmtica.
Teorema 1.8.2. La factorizacin en primos de un entero positivo n 2
es nica, salvo el orden de los factores primos.
Demostracin. Por el axioma del buen orden, si existe un entero para
el cual el teorema es falso, entonces hay un entero mnimo n0 0 con esta
propiedad. Supongamos entonces que
n0 = p1 p2 . . . pk

n0 = p01 p02 . . . p0l ,

donde los pi (1 i k) son primos, no necesariamente distintos, y los p0i

(1 i l) son primos, no necesariamente distintos. La primera ecuacin
implica que p1 |n0 , y la segunda ecuacin implica que p1 |p01 p02 . . . p0l . Por consiguiente por Teorema 1.8.1 tenemos que p1 |p0j para algn j (1 j l).
Re-ordenando la segunda factorizacin podemos asumir que p1 |p01 , y puesto
que p1 y p01 son primos, se sigue que p1 = p01 (Ej. 1.8.3). Luego por el Axioma
I7, podemos cancelar los factores p1 y p01 , y obtener
p2 p3 . . . pk = p02 p03 . . . p0l ,
y llamemos a esto n1 . Pero supusimos que n0 tena dos factorizaciones diferentes, y hemos cancelado el mismo nmero (p1 = p01 ) en ambas factorizaciones, luego n1 tiene tambin dos factorizaciones primas diferentes. Esto
contradice la definicin de n0 como el mnimo entero sin factorizacin nica.
Por lo tanto el teorema es verdadero para n 2.

En la prctica a menudo reunimos los primos iguales en la factorizacin
de n y escribimos
n = pe11 pe22 . . . perr ,
donde p1 , p2 , . . . , pr son primos distintos y e1 , e2 , . . . , er son enteros positivos.
Por ejemplo 7000 = 23 53 7.
Ejemplo 1.8.1. Probar que si m y n son enteros tales que m 2 y
n 2, entonces m2 6= 2n2 .
Demostracin. Supongamos que la factorizacin prima de n contiene
al 2 elevado a la x (donde x es cero si 2 no es factor primo de n). Entonces
n = 2x h, donde h es producto de primos ms grandes que 2, luego
2n2 = 2(2x h)2 = 22x+1 h2 .
Por lo tanto 2 est elevado a una potencia impar en la factorizacin prima
de 2n2 .
23

Por otro lado, si m = 2y g, donde g es producto de primos mayores que

2, entonces
m2 = (2y g)2 = 22y g 2 ,
luego 2 est elevado a una potencia par (posiblemente cero) en la factorizacin prima de m2 . se sigue entonces que de ser m2 = 2n2 deberamos
tener dos factorizaciones primas diferentes del mismo nmero entero, contradiciendo al Teorema 1.8.2. Entonces m2 6= 2n2 .

Es claro que la conclusin del Ejemplo vale tambin si nosotros permitimos que alguno de los enteros m o n valga 1. Luego podemos expresar el
resultado diciendo que no hay enteros positivos m y n que cumplan
 m 2
=2
n
o equivalentemente, diciendo que la raz cuadrada de 2 no puede ser expresada como una fraccin m/n.
1.8.2.

Ejercicios. (continuacin)

1. Sean m y n enteros positivos cuyas factorizaciones primas son

n = pf11 pf22 . . . pfrr .

m = pe11 pe22 . . . perr ,

Probar que el mcd de m y n es d = pk11 pk22 . . . pkr r donde, para cada i

en el rango 1 i r, ki es el mnimo entre ei y fi .
2. Probar que si m y n son enteros positivos, tales que m 2 y n 2,
y m2 = kn2 , entonces k es el cuadrado de un entero.
3. Use la identidad
2rs 1 = (2r 1)(2(s1)r + 2(s2)r + + 2r + 1)
para probar que si 2n 1 es primo, entonces n es primo.
4. Encontrar el mnimo n para el cual la recproca del ejercicio anterior
es falsa: esto es, n es primo pero 2n 1 no lo es.

1.9.

Ejercicios adicionales: Nmeros enteros

Esta seccin pretende ser una gua de trabajos prcticos ordenada y

completa para un curso basado en los contenidos de esta lectura. Debido a
ello, es posible encontrar en esta seccin ejercicios que ya se encuentran en
el interior de la misma. Intente resolverlos de acuerdo a como resolvi los
ejercicios de cada seccin, o basndose en la resolucin de esos ejercicios.
1. Usar el principio de induccin para probar que 2n > n + 1 para todo
entero n 2.
24

2. Probar que
14 + 2 4 + + n4 =

1
n(n + 1)(2n + 1)(3n2 + 3n 1).
30

3. Probar que 42n 1 es divisible por 15 para todo entero n 1.

4. Encontrar el mcd entre 1320 y 714, y expresar el resultado en la
forma 1320x + 714y (x, y Z).
5. Probar que 725 y 441 son coprimos y encontrar enteros x e y tales
que 725x + 441y = 1.
6. Encontrar una solucin con nmeros enteros de la ecuacin
325x + 26y = 91.
7. El entero fn es definido recursivamente por la ecuacin
f1 = 1,

f2 = 1,

fn+1 = fn + fn1

(n 2).

Probar que mcd(fn+1 , fn ) = 1 para todo n 2.

8. Probar que si mcd(a, x) = d y mcd(b, x) = 1, entonces mcd(ab, x) =
d.
9. Usted tiene a disposicin una cantidad ilimitada de agua, un gran
contenedor y dos jarras de 7 y 9 litros respectivamente. Cmo se
las arreglara usted para poner un litro de agua en el contenedor?
Explique la relacin entre su mtodo y el Teorema 1.7.1.
10. Siguiendo la definicin de mcd de dos enteros, defina el mcd de n enteros a1 , a2 , . . . , an . Probar que si d = mcd(a1 , a2 , . . . , an ), entonces
existen enteros x1 , x2 , . . . , xn tales que
d = x1 a1 + x2 a2 + + xn an .
11. Sea n un entero con las siguientes propiedades: (1) la descomposicin
prima de n no tiene factores repetidos (es decir n es de cuadrado
libre) y (2) si p cualquier primo, entonces p|n si y solo si p 1|n.
Encuentre el valor de n.
12. El entero un es definido por las ecuaciones
u1 = 2,

un+1 = u2n un + 1 (n 1).

Encontrar el menor valor de n para el cual un no es primo y encontrar

los factores de este un . Es u6 primo?.
13. Probar que los enteros definidos en el ejercicio anterior satisfacen
un+1 = 1 + u1 u2 . . . un .
Deducir que un+1 tiene un factor primo que es diferente de todo
factor primo que aparece en la descomposicin de los u1 , u2 , . . . , un .
Con esto probar que el conjunto de primos no tiene mximo.
14. Es 65537 primo?.
25

15. Probar que no existen enteros x, y, z, t para los cuales valga la

relacin
x2 + y 2 3z 2 3t2 = 0.
16. Probar que si mcd(x, y) = 1 y xy = z 2 para algn entero z, entonces
x = m2 y y = n2 para ciertos enteros m, n.
17. Probar que si mcd(a, b) = 1, entonces mcd(a + b, a b) es 1 o 2.
18. Pruebe las siguientes afirmaciones usando los axiomas de nmeros
enteros (una vez probada una afirmacin a partir de los axiomas,
usted puede usarla para demostrar otra afirmacin):
(a) (a + b) = a b a, b Z.
(b) (ab) = (a)b = a(b) a, b Z.
(c) (1)a = a a Z.
(d) (a) = a a Z.
(e) (a)(b) = ab a, b Z.
(f) a(b c) = ab ac a, b, c Z.
(g) a2 b2 = (a b)(a + b) a, b Z.
(h) Si b Z y a + b = a a Z, entonces b = 0.
19. Pruebe las siguientes afirmaciones usando los axiomas de nmeros
enteros y/o los axiomas de la relacin de orden en Z:
(a) a b b a a, b Z.
(b) a, b, c Z, a b y c 0 bc ac.
(c) a2 0 a Z.
(d) 0 1.
(e) a a + 1 a Z.
20. Sean a, b Z.
(a) Pruebe que si a y b son pares, entonces a + b y ab tambin lo
son.
(b) Determine la paridad de a + b y ab en los casos restantes.
(c) Cul es la paridad de los siguientes nmeros enteros?: 3a2 + 1,
a(a + 1), (a 1)(a + 1), (1)a 3, (a + 7)(a + 8).
21. Encuentre todos los enteros n que verifiquen:
(a) | n 2 |= 8.
(b) | n 2 |> 8.
(c) | n 1 | + | n 2 |> 1.
(d) | n 1 | | n + 2 |= 3.
22. Determine si los siguientes conjuntos poseen cota inferior. En caso
afirmativo, encuentre la cota inferior mxima.
(a) A = {z Z / z = 10 n2 para algn n N}.
(b) B = {z Z / z = 10 + n2 para algn n N}.
(c) C = {z Z / z 2 100z}.
23. Axioma del buen orden: Todo subconjunto no vaco de N acotado
inferiormente posee un elemento mnimo.
26

(a) Pruebe que todo subconjunto no vaco de Z acotado inferiormente posee un elemento mnimo.
(b) Pruebe que todo subconjunto de Z acotado superiormente posee
un elemento mximo (dado A Z, x es llamado elemento mximo de A sii x es cota superior de A y x A).
24. Pruebe por induccin que para todo n N se verifica:
P
(a) ni=1 i = n(n+1)
2
P
(b) ni=1 i2 = n(n+1)(2n+1)
6
P
(c) ni=1 i3 = ( n(n+1)
)2
2
(d) 3n 1 + 2n
(e) n! nn
(f) Si a > 1, entonces (1 + a)n 1 + na
P
(g) ni=0 (2i + 1) = (n + 1)2
Pn i an+1 1
(h) i=0 a = a1 a R, a 6= 1
(i) xn y n = (x y)(xn1 + xn2 y + + xy n2 + y n1 ) x, y R
25. Pruebe que para todo n, m N se verifica:
(a) xn xm = xn+m x R
(b) (xn )m = xnm x R
(c) (xy)n = xn y n x, y R
[Ayuda: fije m y haga induccin sobre n.]
26. Considere las siguientes desigualdades:
(i) 100n n2 ,

(ii) 8n + 1 8n.

Determine en cada caso cual(es) de las siguientes proposiciones se

verifica(n):
(a) Es verdadero para n = 1.
(b) Si es verdadero para n, entonces es verdadero para n + 1.
Puede usar el principio de induccin para afirmar que (i) y/o (ii)
valen n N?.
27. En cada uno de los siguientes casos, se define un recursivamente.
Demuestre por induccin completa la definicin explcita de u.
(a) Si u1 = 3, u2 = 5 y un = 3un1 2un2 para todo n 3,
entonces un = 2n + 1 n N.
(b) Si u1 = 2 y un+1 = 2un + 1 para todo n 1, entonces un =
2n + 2n1 1 n N.
28. Sea un definida recursivamente por: u1 = 2, un = 2 +
Pn1 n2i
ui n 1.
i=1 2
(a) Calcule u2 y u3 .
(b) Proponga una frmula para el trmino general un y prubela por
induccin.
29. Demuestre por induccin las siguientes desigualdades, hallando previamente un n0 N que sirva de base para la induccin:
27

30.

31.

32.

33.

34.

35.

(a) n! 2n .
(b) n3 10n2 .
(c) n2 + 6n + 8 0.
(d) n4 4n .
Demostrar por induccin que la solucin propuesta verifica la recursin:
n
a0 = 1, a1 = 2, an = 4an1 3an2 an = 3 2+1 n.
Sean a, b, c Z. Demuestre las siguientes afirmaciones:
(a) Si ab = 1, entonces a = b = 1 a = b = 1.
(b) Si a 6= 0, b 6= 0, a|b y b|a, entonces a = b a = b.
(c) Si a 6= 0, a|b y a|c, entonces a|(b + c) a|(b c).
(d) Si a 6= 0, a|b y a|(b + c), entonces a|c.
(e) Si a 6= 0 y a|b, entonces a|bc.
Sean a, b, c Z. Cules de las siguientes afirmaciones son verdaderas?. Justifique su respuesta.
(a) a|bc a|b a|c.
(b) a|(b + c) a|b a|c.
(c) a|c y b|c ab|c.
(d) a|c y b|c (a + b)|c.
(e) a, b, c > 0 a = bc a b a c.
Sea n N, n > 1. Demuestre el siguiente resultado: sea n un nmero
primo, entonces para todo p > 0 primo tal que p2 n, p 6 |n. [Ayuda:
(i) Pruebe que si n N, n 6= 1 y n no es primo, entonces t N tal
que 1 < t < n y t|n. (ii) Si n satisface las hiptesis de (i), entonces el
conjunto {t N : 1 < t < n t|n} tiene un elemento mnimo. (iii)
Todo entero distinto de 1 y de -1 es divisible por un nmero primo.]
(a) Determine cules de los siguientes nmeros son primos: -79, 113,
123, -131, 137, 141, -401.
(b) D todos los nmeros primos positivos menores que 100.
Encuentre el cociente y el resto de la divisin en Z de b por a:

(i) b = 2466, a = 11. (ii) b = 98, a = 73. (iii) b = 98, a = 73.

(iv)b = 32, a = 41.

(v) b = 32, a = 41.

(vi) b = 32, a = 41.

36. Sean a, b Z tales que b 6= 0, a b = 175 y la divisin de a por b

tiene cociente 15 y resto 7. Halle a y b.
37. Denotemos (a, b) el mximo comn divisor entre a y b y [a, b] el
mnimo comn mltiplo entre a y b. Sean a, b, c, Z. Pruebe las
siguientes afirmaciones:
(a) (a, b) = |a| a|b.
(b) p primo p|ab p|a p|b.
(c) (a, b) = 1 a|c b|c ab|c.
(d) (a, b) = 1 a|bc a|c.
28

38. Calcule (a, a + 3) y [a, a + 3].

39. (a) Calcule el mximo comn divisor y exprselo como combinacin
lineal de los nmeros dados:
(i) 14 y 35,
(ii) 11 y 15,
(iii) 12 y 52,
(iv) 12 y -52.
(b) Calcule el mnimo comn mltiplo de los nmeros dados en el
item (a).
40. Sean a, b Z, b 6= 0. Determine el cociente y el resto de la divisin
de (b a) por b a partir de la divisin de a por b.
41. Dado m Z, m 6= 0, halle los posibles restos de la divisin de m2 y
m3 por p, con p = 3, 5 y 8.
42. (a) Pruebe que el producto de tres enteros consecutivos es divisible
por 6.
(b) Pruebe que el producto de cuatro enteros consecutivos es divisible por 24.
43. (a) Pruebe que 6 n Z tal que 4|(n2 + 2).
(b) Pruebe por induccin que n2 + 3n es divisible por 2 n N.
44. Pruebe que 2n + 1 y 21 n(n + 1) son coprimos n Z.
45. Pruebe que no existen enteros x e y que satisfagan x + y = 100 y
(x, y) = 3.
46. Pruebe que si p es un primo positivo, entonces:
(a) (p, (p 1)!) = 1.
(b) p|(2n + 3n ) p|(2m + 3m ) n < m p|(3mn 2mn ).
(c) (2n + 3n , 2n+1 + 3n+1 ) = 1.
47. Dados dos enteros cualesquiera, pruebe que su suma y su diferencia
son de la misma paridad.
48. (a) Pruebe que todo nmero impar es de la forma 4m1 con m Z.
Es cierta la recproca?.
(b) Pruebe que todo entero impar que no es mltiplo de 3 es de la
forma 6m 1 con m Z.
49. (a) Sean a, b Z, b 6= 0, y sea r el resto de la divisin de a por b.
Pruebe que (a, b) = (b, r).
(b) Encuentre el mximo comn divisor de los nmeros dados: (i)
7469 y 2464,
(ii) 2947 y -3997,
(iii) -1109 y -4999.
50. Encuentre todos los enteros positivos que satisfagan simultneamente las ecuaciones (a, b) = 10 y [a, b] = 100.
51. (a) Pruebe que 7|(a2 + b2 ) si y solo si 7|a y 7|b.
(b) Es lo mismo cierto para 5?.
52. Sean a, b Z no simultneamente nulos y sea m Z tal que m|a y
m|b. Pruebe que:
(a) a|b ad | db
a b
, m ) = (a,b)
(b) ( m
m
53. Existen enteros m y n tales que
29

m4 = 27?.
m2 = 12n2 ?.
m3 = 47n3 ?.
Sea H Z, H 6= , cerrado para la suma y para la resta.
Demuestre que existe d Z tal que H = {dk / k Z} (este es
el conjunto de todos los mltiplos enteros de d y se denota dZ).
(b) Sean a, b Z no simultneamente nulos y sea H = {ka +
tb / k, t Z}. Pruebe que H = (a, b)Z.
55. Pruebe que si (a, b) = 1, entonces (a + b, a2 + b2 ab) es 1 3.
(a)
(b)
(c)
54. (a)

Soluciones de algunos ejercicios.

1.9.1.

Ejercicios 1.1.1.

1.
x(0 + 0)
x0 + x0
x0 + (x0 + x0)
(x0 + x0) + x0
0 + x0
x0

=
=
=
=
=
=

x0
x0
x0 + x0
0
0
0

I4
I5
I6
I6
I2 e I4

2.
(a + b)c = c(a + b)
= ca + cb
= ac + bc

I2
I5
I2

3. Sea c = (a b), entonces

(a + b)(a b) =
=
=
=
=

a(a b) + b(a b)
aa ab + ba bb)
a2 ab + ab b2
a2 + 0 b2
a2 b2

Ejercicio 1.1.1.2
I5
I2
I6

y hemos probado la existencia. Adems si a + b 6= 0 y hubiera otro

nmero c0 tal que (a + b)(a b) = a2 b2 = (a + b)c0 entonces I7
asegura que (a b) = c0 y c es nico.
30

4. La hiptesis tambin es vlida cuando a = 0 y cuando a = 00

0 = 0 + 00
= 00 + 0
= 00
1.9.2.

2o parte de la hiptesis
I2
1o parte de la hiptesis

Ejercicios 1.2.1.

1.
a
aa
b + a a
b + 0
b

b
ba
b + b a
0a
a

I6
I4

Si a b y c 0 tenemos por la primera parte que 0 c luego

por I12 tenemos que a(c) b(c) entonces ac bc y por la
primera parte que bc ac.
2. Si x = 0 tenemos trivialmente que 0 x2 . Si x no es cero, entonces
supongamos primero que 0 x. Luego tomando a = 0, b = x y
c = x en el Axioma I12 tenemos que 0 x y 0 x implican que
0 = 00 xx = x2 . Supongamos despus que x 0 luego tomando
a = x, b = 0 y c = x en el Ejercicio 1 tenemos que x 0 y x 0
implican que 0 = 00 xx = x2 . Por otro lado 0 12 = 1 por la
primera parte.
3. Como 0 1 por el ejercicio anterior, sumando n a ambos lados de
la desigualdad tenemos que n n + 1 para todo n en Z.

1.9.3.

Ejercicios 1.2.2.

1.
(i) Tiene cota inferior. El mnimo es -4.
(ii) No tiene cota inferior.
(iii) Tiene cota inferior. El mnimo es 0.
2. Si Y es no vaco y tiene una cota superior, entonces Y definido
como el conjunto de todos los opuestos de los elementos de Y es no
vaco y tiene cota inferior (el opuesto de una cota superior), luego
el Axioma I13 indica que tiene mnimo. Sea m el mnimo de Y
luego m satisface las propiedades para ser mximo de Y .
31

3. Una forma, hay ms: En los elementos aij puede poner los nmeros
que faltan en cualquier orden,

a11
a
21

a31

a41
1

1.9.4.

a12
a22
a32
a42
2

a13
a23
a33
a43
3

a14
a24
a34
a44
21

25
24

23

22
5

Ejercicios 1.3.1.

1.
(i) u1 = 1,

u2 = 1,

u3 = 2 u4 = 3.

(ii) No se puede definir u2

(iii) u1 = 0,

u2 = 0,

u3 = 0 u4 = 0.

2.

u1 = x,

un = u1 un1 .

3. n = 5
4. Si n! = n (n 1) (n 2) . . . 3 2 1 entonces

(i) un = 3n + 1.
(ii) un = (n!)2 .

1.9.5.

Ejercicios 1.4.1.
32

1.
1
(n=1) 1 = 1(1 + 1)(2 + 1) = 1
6
(n=k) suponemos cierto
1
12 + 22 + + k 2 = k(k + 1)(2k + 1)
6
debemos probar
1
12 + 22 + + k 2 + (k + 1)2 = (k + 1)(k + 2)(2(k + 1) + 1)
6
pero por hiptesis inductiva el miembro de la izquierda se escribe:
1
= k(k + 1)(2k + 1) + (k + 1)2
6
1
= (k + 1)[ k(2k + 1) + (k + 1)]
6
1
= (k + 1)[k(2k + 1) + 6(k + 1)]
6
1
= (k + 1)[k(k + k + 2 1) + 6(k + 1)]
6
1
= (k + 1)[k(k + 2) + k(k 1) + 6(k + 1)]
6
1
= (k + 1)[k(k + 2) + (kk k + 6k + 6)]
6
1
= (k + 1)[k(k + 2) + (kk + 2k + 3k + 6)]
6
1
= (k + 1)[k(k + 2) + k(k + 2) + 3(k + 2)]
6
1
= (k + 1)(k + 2)[k + k + 3]
6
1
= (k + 1)(k + 2)[2k + 2 + 1]
6
1
= (k + 1)(k + 2)(2(k + 1) + 1)
6
Que era lo que queramos probar (Tambin podemos desarrollar
1
k(k + 1)(2k + 1) + (k + 1)2 y desarrollar 16 (k + 1)(k + 2)(2(k + 1) + 1)
6
y comprobar que son iguales)
2.
Sn =

(n=1) 1 = 1 =

1(1 + 1)
2

2

n(n + 1)
2

2

Y el resultado es vlido para n=1

=1
33

(n=k) suponemos cierto

3

1 + 2 + + k =

k(k + 1)
2

2

debemos probar
3

1 + 2 + + k + (k + 1) =

(k + 1)(k + 2)
2

2

pero por hiptesis inductiva el miembro de la izquierda se escribe:

2

k(k + 1)
+ (k + 1)3 tomando (k + 1)2 factor comn
=
2
 2

k
2
= (k + 1)
+ (k + 1)
sumando
4

2


(k + 1) ! 2
=
k + 4(k + 1)
2
2



(k + 1) ! 2
k + 4k + 4
y tenemos un trinomio cuadrado
=
2
2

(k + 1)
(k + 2)2
=
2

2
(k + 1)(k + 2)
=
2
Que era lo que queramos probar
3.
(n=3) u3 = 3u2 2u1 = 15 6 = 9 = 23 + 1
(n k) suponemos cierto
un = 2 n + 1

(n k)

debemos probar
uk+1 = 2k+1
pero
uk+1 = 3uk 2uk1
uk+1 = 3 2k 2 2k1
uk+1 = 3 2k 2k
uk+1 = (3 1)2k
uk+1 = 2 2k
uk+1 = 2k+1
Que era lo que queramos probar.
34

4. n0 = 4
(n=4) n! = 24 24 = 16
(n= k) suponemos cierto
k! 2k
debemos probar
(k + 1)! 2(k+1)

con k 4

pero
(k + 1)! = (k + 1)k! (k + 1)2k 5 2k 2 2k = 2k+1
Que era lo que queramos probar.
5. (No siempre hay que comerse los amagues.)
(i) n2 + 6n + 9 = (n + 3)2 0 n por Ejercicio 1.2.1.2
(ii) n3 6n2 es equivalente a n 6 por el Axioma I12
6.

Demostracin. Supongamos que la conclusin es falsa, entonces S 6= X y el conjunto complementario S c definido por
S c = {r X|r 6 S}
es no vaco. Por el axioma del buen orden, S c tiene un menor elemento m. Como n0 pertenece a S, m 6= n0 . Se sigue que m 1 pertenece
a X y como m es el mnimo de S c , m 1 debe pertenecer a S.
Poniendo k = m 1 en la condicin (ii), concluimos que k + 1 = m
esta en S, lo cual contradice el hecho de que m pertenece a S c . De
este modo, la suposicin S 6= X nos lleva a un absurdo, y por lo
tanto tenemos S = X.


1.9.6.

Ejercicios 1.5.1.

1. (i) q = 91, r = 0;
(ii) q = 52, b = 177.
2. (1985)10 = (11111000001)2 = (30420)5 = (1545)11
3. (i) (11011101)2 = (221)10 ;
(ii)(4165)7 = (1468)10 .
1.9.7.

Ejercicios 1.6.1.

1. 0 = 0x x Z x|0, pero x = 0q solo cuando x = 0.

2. Si c|a y c|b, entonces a = cq1 y b = cq2 entonces xa + yb = xcq1 +
ycq2 = c(xq1 +yq2 ) y por lo tanto c|xa+yb para cualesquiera enteros
x,y.
3. Como ab = 1 entonces a y b son o ambos positivos o ambos negativos.
Tampoco pueden ser 0 por el Ejercicio 1.1.1.1.
(i)
a)Supongamos que ambos son positivos y que 1 6= a. Entonces 2 a
y 1 b pero tenemos que 2 a = a1 ab = 1. Absurdo, luego
35

a > 0 y a < 2 entonces a = 1. Con el mismo argumento probamos

que b = 1.
b) Supongamos ahora que ambos son negativos. Tomemos a y
b, entonces ambos son positivos y tales que (a)(b) = ab = 1.
Entonces de acuerdo a la parte (a) de este ejercicio tenemos que
a = b = 1 y por lo tanto a = b = 1
(ii)
Si x|y e y|x entonces x = yq1 e y = xq2 y por lo tanto xy = yq1 xq2 =
xyq1 q2 . Luego q1 q2 = 1 por el Axioma I4 y una demostracin similar
a la del Ejercicio 1.1.1.4. Entonces por la parte (i) tenemos que
q1 = q2 = 1 y x = y q1 = q2 = 1 y x = y
4. Use el principio de induccin para demostrar que, para todo n 0,
(i) (n = 0)
02 + 3 0 = 0 = 2 0 por lo tanto es divisible por 2
(n = k)
Suponemos cierto que k 2 + 3k es divisible por 2 y debemos probar
que (k + 1)2 + 3(k + 1) es divisible por dos. Pero:
(k + 1)2 + 3(k + 1) = k 2 + 2k + 1 + 3k + 3 = k 2 + 3k + 2k + 1 + 3
= (k 2 + 3k) + (2k + 4)
= 2q + 2(k + 2) porque 2|(k 2 + 3k)
= 2(q + k + 2) y listo.
(ii) (n = 0)
03 + 3 02 + 2 0 = 0 = 6 0 luego es divisible por 6
(n = k)
Suponemos cierto que k 3 + 3k 2 + 2k es divisible por 6 y debemos
probar que (k + 1)3 + 3(k + 1)2 + 2(k + 1) es divisible por 6. Pero
(k + 1)3 + 3(k + 1)2 + 2(k + 1) =
= k 3 + 3k 2 + 3k + 1 + 3(k 2 + 2k + 1) + 2(k + 1)
= (k 3 + 3k 2 + 2k) + k + 1 + 3(k 2 + 2k + 1) + 2(k + 1)
= (k 3 + 3k 2 + 2k) + 3k 2 + 9k + 6
= (k 3 + 3k 2 + 2k) + 3(k 2 + 3k) + 6
pero el primer parntesis es divisible por 6 por la hiptesis inductiva,
el segundo es divisible por 2 por la parte (i) luego queda
= 6q1 + 3(2q2 ) + 6 = 6(q1 + q2 + 1) = 6q

36

1.9.8.

Ejercicios 1.7.1.

1. mcd(721, 448) = 7 = 721 23 + 448 (37).

2. Como mcd(a, b) divide a a y a b tenemos que:
a = mcd(a, b)q1

b = mcd(a, b)q2

para algn q1 , q2 .

Luego:
na = n mcd(a, b)q1

nb = n mcd(a, b)q2

n mcd(a, b)|nb

por lo tanto
n mcd(a, b)|na

y por la definicin de mcd(na, nb) se tiene que

n mcd(a, b)| mcd(na, nb).
Por otro lado existen x e y tal que mcd(a, b) = ax + by y
entonces n mcd(a, b) = nax + nby, pero como el mcd(na, nb)
divide a los sumandos de la derecha tambin tenemos que
mcd(na, nb)|n mcd(a, b) y por el Ejercicio 1.6.1.3 vemos que
mcd(na, nb) = n mcd(a, b)

mcd(na, nb) = n mcd(a, b).

Pero como n > 0 y los mximos divisores comunes tambin, concluimos que mcd(na, nb) = n mcd(a, b)
3. Si mu + nv = 1, entonces mcd(u, v)|1 luego por ser positivo y por el
Ejercicio 1.6.1.3 mcd(u, v) = 1
4. Si mcd(a, b) = d, entonces existen x e y tal que d = ax + by y por lo
tanto


a
b
1=
x+ y .
d
d
Luego por el Ejercicio anterior tenemos el resultado.
5. () si ax + by = c, como d|a y d|b por el Ejercicio 1.6.1.2 d|c.
() Si d|c entonces c = dq y adems sabemos que an + bm = d
luego anq + bmq = dq y existe x = nq e y = mq tal que ax + by = c.
6. Como mcd(966, 685) = 1 = 966(39) + 685(55) tenemos que 70 =
966(39)70 + 685(55)70 y de ah x = (39)70 = 2730 e y =
(55)70 = 3850
1.9.9.

Ejercicios 1.8.1.

1. 101, 103, 107, 109, 113.

2. 201000 = 67 3 23 53 y 201000 = 31 64871.
3. Por la definicin p y p0 son ambos positivos y como p|p0 entonces
p = p0 o p = 1 pero como p es primo entonces no puede ser 1. p = p0
37

4. Como n no es primo entonces existe p tal que p|n y n = pq.

Si (p q) entonces p2 n.
Si (p > q) y q es primo entonces q|n y q 2 n.
Si (p > q) y q no es primo entonces existe un primo r tal que n = prs
y r < q < p luego r|n y r2 pq = n.
5. Slo hay que comprobar que dado A = {2, 3, 5, 7, 11, 13, 17, 19} entonces ningn elemento de A divide a 467.
1.9.10.

Ejercicios 1.8.2.

1. Claramente d es divisor comn de m y n. Supongamos que c es

tambin divisor comn de m y n. Entonces m = q1 c y n = q2 c.
Pero entonces c es factor comn de m y n y su descomposicin en
primos debe estar incluida en pk11 pk22 . . . pkr r . Pero d = pk11 pk22 . . . pkr r
por lo tanto c|d. Como adems d es positivo, entonces cumple con
la definicin de mximo comn divisor y d = mcd(m, n)
2. La factorizacin en primos de m2 tiene todas las potencias pares.
Luego la factorizacin de kn2 debe tener tambin potencias pares,
entonces k es el cuadrado de un entero.
3. Si n no es primo entonces existe un primo r tal que n = rs y por lo
tanto 2n 1 = 2rs 1 = (2r 1)(2(s1)r + 2(s2)r + + 2r + 1) no
sera primo. Como lo es, entonces n es primo tambin
4. n = 11.

38

Bibliografa
Biggs, Norman L. (1993). Discrete Mathematics. Oxford University Press.
Grimaldi, Ralph P. (1998). Matemticas discreta y combinatoria: Una Introduccin con aplicaciones. Pearson Educacin.
Jimenez Murillo, Jos A. (2009). Matemticas para la computacin. Alfaomega.

39

ndice alfabtico

axioma del buen orden, 5

algoritmo de Euclides, 18
base, 14
base inductiva, 11
cociente, 13
conjunto continuo, 6
conjunto discreto, 6
cota inferior, 5
cota superior, 6
factorial, 8, 32
hiptesis inductiva, 11
induccin completa, 11
mximo, 6, 31
mximo comn divisor, 17
mnimo, 5
mnimo comn mltiplo, 20
mcd, 17
mcm, 20
primo, 21
principio de buena ordenacin, 5
resto, 13
Soluciones de algunos ejercicios, 30
teorema fundamental de la aritmtica,
23

41