Teoria Numeros-Koshy (BorradorEnEspañol)

Una Introducción a la Teoría de Números
Algunas aplicaciones con DERIVE
Luis Alejandro Másmela Caita
Junio de 2009
ii
Índice general
Introducción VII
I Primera Parte 1
1. Fundamentos 3
1.1. Propiedades Fundamentales . . . . . . . . . . . . . . . . . . . . . 3
1.2. La Notación Sumatoria y Productoria . . . . . . . . . . . . . . . 8
1.3. Inducción Matemática . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4. Relaciones de Recurrencia . . . . . . . . . . . . . . . . . . . . . . 21
1.5. El Teorema Binomial . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.6. Números Poligonales . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.7. Números Piramidales . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.8. Números de Catalán . . . . . . . . . . . . . . . . . . . . . . . . . 42
2. Divisibilidad 47
2.1. El Algoritmo de la División . . . . . . . . . . . . . . . . . . . . . 47
2.2. Con…guraciones Numéricas . . . . . . . . . . . . . . . . . . . . . 56
2.3. Números Primos y Compuestos . . . . . . . . . . . . . . . . . . . 61
2.4. Números de Fermat . . . . . . . . . . . . . . . . . . . . . . . . . 70
3. Máximo Común Divisor 75

3.1. Máximo Común Divisor . . . . . . . . . . . . . . . . . . . . . . . 75
3.2. El Algoritmo de Euclides . . . . . . . . . . . . . . . . . . . . . . 86
3.3. El Teorema Fundamental de la Aritmética . . . . . . . . . . . . . 89
3.4. Mínimo Común Multiplo . . . . . . . . . . . . . . . . . . . . . . . 100
4. Features of this Shell 107

4.1. Section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.1.1. Subsection . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.2. Tags . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.3. Mathematics and Text . . . . . . . . . . . . . . . . . . . . . . . . 109
4.4. Lists Environments . . . . . . . . . . . . . . . . . . . . . . . . . . 109
4.5. Theorem-Like Environments . . . . . . . . . . . . . . . . . . . . . 110
iii
iv ÍNDICE GENERAL
A. Una Introducción al paquete DERIVE 111

A.1. ¿QUÉ ES DERIVE? . . . . . . . . . . . . . . . . . . . . . . . . . 111
A.2. RECUENTO DE LOS PRINCIPALES COMANDOS . . . . . . . 112
A.2.1. Barra de Títulos . . . . . . . . . . . . . . . . . . . . . . . 112
A.2.2. Barra de Menú . . . . . . . . . . . . . . . . . . . . . . . . 112
A.2.3. Barra de herramientas o de órdenes . . . . . . . . . . . . 113
A.2.4. Ventana de álgebra . . . . . . . . . . . . . . . . . . . . . . 113
A.2.5. Barra de estado . . . . . . . . . . . . . . . . . . . . . . . 113
A.2.6. Barra de introducción de expresiones . . . . . . . . . . . . 113
A.2.7. Barra de de letras griegas y símbolos matemáticos . . . . 113
A.3. APLICACIONES CON DERIVE . . . . . . . . . . . . . . . . . . 113
A.3.1. Introducir expresión . . . . . . . . . . . . . . . . . . . . . 113
A.3.2. Simpli…car Expresiones . . . . . . . . . . . . . . . . . . . 114
A.3.3. Introducir vector . . . . . . . . . . . . . . . . . . . . . . . 116
A.3.4. Introducir Matriz . . . . . . . . . . . . . . . . . . . . . . . 116
B. Afterword 117
Prefacio
This is the preface. It is an unnumbered chapter. The markboth TeX …eld
at the beginning of this paragraph sets the correct page heading for the Preface
portion of the document. The preface does not appear in the table of contents.
v
vi PREFACE
Introducción
El texto que a continuación se presenta y que aborda el tema de la Teoría de

Números, es una traducción de la primera parte del libro “Elementary Number
Theory with Applications” escrito por Thomas Koshy. Busca esbozar algunos
temas que se han seleccionado de dicho libro y que se han desarrollado en un
primer curso de Teoría de Números con estudiantes de primer semestre del
Proyecto de Matemáticas en la Universidad Distrital Francisco José de Cal-
das. Se busca que el estudiante, a través de este curso, se familiarice de manera
gradual con diferentes procesos rigurosos de las matemáticas, en especial con los
distintos procesos de demostración, formalizando conceptos que fueron trabaja-
dos operativamente en sus cursos anteriores de matemáticas en la secundaria.
Se ha pretendido desarrollar este curso a la par con laboratorios en sala de cóm-
puto, utilizando el software matemático DERIVE, debido a la simplicidad en su
manejo y a que se convierte en una herramienta que le permite al estudiante,
explorar muchas de las conjeturas que él mismo establece a medida que avanza
en el estudio de los distintos temas.
The introduction is entered using the usual chapter tag. Since the intro-
duction chapter appears before the mainmatter TeX …eld, it is an unnumbered
chapter. The primary di¤erence between the preface and the introduction in
this shell document is that the introduction will appear in the table of contents
and the page headings for the introduction are automatically handled without
the need for the markboth TeX …eld. You may use either or both methods to
create chapters at the beginning of your document. You may also delete these
preliminary chapters.
vii
viii INTRODUCCIÓN
Parte I
Primera Parte
1
Capítulo 1
Fundamentos
1.1. Propiedades Fundamentales

La teoría de números concierne a una teoría que se desarrolla solamente
sobre el conjunto de los números enteros. Es así que de ahora en adelante se
denotará al conjunto de números enteros a través del símbolo Z : 1
Z = f: : : 2; 1; 0; 1; 2; : : :g
A lo largo de este texto se escribirá "x 2 S"para denotar que "el elemento x
pertenece al conjunto S"; de manera similar "x 2 = S"denotará que "el elemento
x no pertenece al conjunto S:"Por ejemplo si hacemos referencia al conjunto de
interés Z; se puede a…rmar que 4 2 Z, mientras que 2 = Z:
Los números enteros pueden representarse geométricamente sobre la denom-
inada recta numérica. Ver Figura 1.1.
A los enteros 1; 2; 3; :::se les denomina enteros positivos. Ellos también
reciben el nombre de números naturales o números para contar. Se en-
cuentran a la derecha del origen (coordenada cero) en la recta númerica. Se
denotará al conjunto de los enteros positivos por Z+ o N :
Z+ = N = f1; 2; 3; : : :g
1 La letra Z proviene de la palabra alemana Zahlen para números.
Figura 1.1: Recta Numérica
3
4 CAPÍTULO 1. FUNDAMENTOS
El conjunto de los enteros positivos, junto con el 0; conforman el conjunto

denominado números enteros W :
W = f0; 1; 2; 3; : : :g
El conjunto de los enteros negativos, a saber, : : : ; 3; 2; 1 se ubican a la
izquierda del origen. Es de notar que 0 no es ni positivo ni negativo.
Es posible utilizar los números enteros positivos para comparar los números
enteros en general, como en la siguiente de…nición.
La Relación de Orden
Sean a y b dos enteros cualesquiera. Entonces a es menor que b; que se
denota por a < b si existe un entero positivo x tal que a + x = b; esto es, si b a
es un entero positivo.
Cuando a < b; se puede a…rmar también que b es mayor que a; que se
escribe b > a: 2
Si a no es menor que b, se escribirá a b; similarmente, a b denotará que
a no es más grande que b:
Se sigue de esta de…nición que un entero a es positivo si y solo si a > 0:
De…nición 1 (Ley de la Tricotomía) Dados dos números enteros a y b, hay
tres posibilidades: a < b; o a = b; o a > b:
Geométricamente, esto signi…ca que si a y b son cualesquiera dos puntos en
la recta numérica, entonces es cierta solo una de las siguientes tres a…rmaciones,
el punto a esta a la izquierda del punto b; el punto a coincide con el punto b; o
el punto a esta a la derecha del punto b:
Puede combinarse el menor que y la relación de igualdad para de…nir la
relación menor que o igual. Si a < b o a = b; se escribirá a b:3 De manera
similar, a b signi…ca que a > b o a = b. Se puede notar que a b si y solo si
a b:
Teorema 2 Denote m nfx; yg el mínimo de los enteros x y y; y maxfx; yg su
máximo. Entonces m nfx; yg + maxfx; yg = x + y:
Demostración. (por casos)
Caso 1. Sea x y: Entonces m nfx; yg = x y maxfx; yg = y; así, m nfx; yg+
maxfx; yg = x + y:
Caso 2. Sea x > y: Entonces m nfx; yg = y y maxfx; yg = x; así, m nfx; yg+
maxfx; yg = y + x = x + y:
2 Los símbolos < y > son introducidos en 1631 por el matemático inglés Thomas Harriet
(1560–1621).
3 Los simbolos y fueron introducidos en 1734 por el matemático francés P. Bougher.
1.1. PROPIEDADES FUNDAMENTALES 5
Valor Absoluto
El valor absoluto de un número real x; denotado por jxj ; se de…ne por
x si x 0
jxj =
x en otros casos
Por ejemplo, j5j = 5; j j = ( ); j0j = 0:

Geométricamente el valor absoluto de un número indica la distancia de éste
al origen de la recta numérica.
Aunque el interés recae sólo en las propiedades de números enteros, a menudo
se tratará con números racionales y reales. Las funciones piso y techo son dos
tales funciones teórico-númericas. Ellas tienen usos importantes en matemáticas
discretas y ciencias de la computación.
Funciones Piso y Techo

El piso de un número real x; denotado por bxc es el más grande entero x:
El techo de x; denotado por dxe, es el más pequeño entero x:4 El piso de x
redondea por debajo a x; mientras que el techo redondea a x por encima. De
acuerdo a esto, si x 2
= Z; el piso de x es el más próximo entero a la izquierda de
x sobre la recta numérica, y el techo de x es el más próximo entero a la derecha
de x; ver Figura . La función piso f (x) = bxc y la función techo g(x) = dxe
son conocidas también como la función mayor entero y la función menor entero,
respectivamente.
p p
Por ejemplo 2 = 1; b c = 3; b 3; 5c = 4; 2 = 2; d e = 4 y
d 3; 5e = 3:
La función piso es práctica cuando los números reales deben ser truncados o
aproximados a un número deseado de cifras decimales. Por ejemplo el número
real = 3;1415926535 : : : truncado a tres cifras decimales está dado por
b1000 c 3141
= = 3;141;
1000 1000
de otro lado redondeado a tres cifras decimales es
b1000 + 0;5c
= 3;142:
1000
Hay otro uso simple de la función piso. Suponga que se divide el intervalo uni-
tario [0; 1) en 50 subintervalos de igual longitud y luego se pretende saber el
4 Estas dos notaciones y los nombres, piso y techo, fueron introducidas por Kenneth E.
Iverson en los albores de los 60s. Ambas notaciones son variaciones de la original notación
mayor entero [x] :
subintervalo que contiene el número 0;4567. Ya que b0;4567=0;02c + 1 = 23 éste

esta en el subintervalo número 23. De manera general, sea 0 x < 1: Entonces
x esta en el subintervalo bx=0;02c + 1 = b50xc + 1:
Ejemplo 3 (La función de la o…cina de correos) En 2006 la tasa de
franqueo en Estados Unidos para un primer tipo de carta de peso x; de no más
de una onza fue de 39c/; la tasa para cada onza adicional o fracción hasta 11
onzas fue un adicional de 24c/. Así, el franqueo p(x) para una primera clase de
carta puede de…nirse como p(x) = 0;39 + 0;24 dx + 1e ; 0 < x 11: Por ejemplo,
el franqueo para uan carta que pesa 7.8 onzas es p(7;8) = 0;39 + 0;24 d7;8 + 1e =
$2;07:
Algunas propiedades de la función piso y techo son listadas en el siguiente
teorema. Se probará una de ellas; las otras se proponen como ejercicio.
Teorema 4 Sea x cualquier número real y n un número entero. Entonces
1. bnc = n = dne
2. dxe = bxc + 1 (x 2
= Z)
3. bx + nc = bxc + n
4. dx + ne = dxe + n
n n 1
5. 2 = 2 si n es impar.
n n+1
6. 2 = 2 si n es impar.
Demostración. Todo número real x puede ser escrito como x = k + x0 ; donde
k = bxc y 0 x0 < 1: Ver Figura . Entonces
x+n = k + x0 + n
= (k + n) + x0
así
bx + nc = b(k + n) + x0 c
= k + n ya que 0 x0 < 1
= bxc + n
que era lo que se quería mostrar.
Ejercicios 1.1.
Evalúe cada una de las siguientes expresiones, en donde x es un número real.
1.1. PROPIEDADES FUNDAMENTALES 7
1. El matemático inglés Augusto DeMorgan, que vivió en el siglo XIX, una

vez comentó que él tenía x años en el año x2 . ¿Cuándo nacio él?
Evalúe cada item, asuma que x es un número real.
x
2. f (x) = jxj (x 6= 0)
3. g(x) = bxc + b xc
4. h(x) = dxe + d xe
Determine si:
5. b xc = bxc
6. d xe = dxe
7. Hay cuatro números enteros entre 100 y 1000 que son, cada uno igual a
la suma de los cubos de sus dígitos. Tres de ellos son 153, 371, y 407.
Encuentre el cuarto número.
8. Un número entero positivo N de n dígitos es un número de Kaprekar

si la suma del número formado por los últimos n dígitos en N 2 , y el
número formado por los primeros n (o n 1) dígitos en N 2 es igual a
N . Por ejemplo, 297 es un número de Kaprekar ya que 2972 = 88209 y
88 + 209 = 297. Hay cinco números de Kaprekar < 100. Encuéntrelos.
9. Encuentre la falla en la siguiente "demostración":

Sean a y b números reales tales que a = b: Entonces
ab = b2
a2 ab = a2 b2
Factorizando, a(a b) = (a + b)(a b): Cancelando a b en ambos lados,

a = a + b: Ya que a = b; de esto se tiene que a = 2a: Cancelando a ambos
lados a, se tiene que 1 = 2:
10. El entero 1105 puede expresarse como la suma de dos cuadrados en cuatro
formas diferentes. Encuentrelas.
11. ¿Cuántos cuadrados perfectos pueden mostrarse en la pantalla de una

calculadora de 15 dígitos?
Pruebe cada item, asumiendo que a; b y n son enteros cualesquiera, y x
es un número real.
12. jabj = jaj jbj
13. ja + bj jaj + jbj

jnk n 1
14. = si n es impar.
2 2
lnm n+1
2 2
n2 n2 1
4 4
n2 n2 + 3
4 4
jnk lnm
18. + =n
2 2
19. dxe = bxc + 1 (x 2
= Z)
20. dxe = b xc
21. dx + ne = dxe + n
La distancia desde x hasta y sobre una línea recta, denotada por d(x; y);
se de…ne por d(x; y) = jy xj : Pruebe cada item, asumiendo que x; y y z
son enteros cualesquiera.
22. d(x; y) 0
23. d(0; x) = jxj
24. d(x; y) = 0 si y solo si x = y:
25. d(x; y) = d(y; x)
26. d(x; y) d(x:z) + d(z; y)
1.2. La Notación Sumatoria y Productoria

Se dará la notación de sumatoria y productoria muy utilizada a lo largo de
este texto. Primero se iniciará con la notación sumatoria.
La Notación Sumatoria
Sumas tales como ak + ak+1 + + aPm ; pueden escribirse de manera más
compacta usando el símbolo sumatoria (letra Griega mayúscula sigma), la
cual se denota con la palabra suma. La notación de sumatoria fue introducida
en 1722 por el matemático francés Joseph Louis Lagrange.
Un término típico de la suma referida con anterioridad puede ser ai ; así,
la suma anterior es la suma de los números ai con P i recorriendo los números
i=m
enteros desde k hasta m que se puede escribir como i=k ai : De esta forma
i=m
X
ai = ak + ak+1 + + am
i=k
1.2. LA NOTACIÓN SUMATORIA Y PRODUCTORIA 9
La variable i es el índice de la sumatoria. Los valores k y m son, re-

spectivamente, los límites inferior y superior del índice i: El "i = " del límite
superior es usualmente omitido:
i=m
X m
X
ai = ai
i=k i=k
Por ejemplo
5
X
i2 = 12 + 22 + 32 + 42 + 52
i=1
El índice i es una variable dummy; se puede usar cualquier variable como

índice sin afectar el valor de la suma, así
m
X m
X m
X
ai = aj = ar
i=k j=k r=k
P1
Ejemplo 5 Evalúe j= 2 j 3 (j 1)2
Solución.
0
X
j 3 (j 1)2 = ( 2)3 ( 2 1)2 + ( 1)3 ( 1 1)2 + (0)3 (0 1)2
j= 2
= 76
Los siguientes resultados son muy usados en la evaluación de sumas …ni-

tas, ellos pueden ser probados utilizando inducción matemática, un método de
prueba que se presentará más adelante.
Teorema 6 Sean n cualquier entero positivo y c cualquier número real, y a1 ;

a2 ; ::: ; an ; y b1 ; b2 ; ::: ; bn un par de secuencias numéricas. Entonces
n
X
c = nc (1.1)
i=1
n
X n
X
cai = c ai (1.2)
i=1 i=1
n
X n
X n
X
(ai + bi ) = ai + bi (1.3)
i=1 i=1 i=1
(Este resultado puede ser extendido a cualquier límite inferior k 2 Z:)

P3
Ejemplo 7 Evalúe j=1 10j 2 + 3j :
Solución.
3
X 3
X 3
X
10j 2 + 3j = 10 j2 + 3 j
j=1 j=1 j=1
= 10(12 + 22 + 32 ) + 3(1 + 2 + 3)
= 158
Sumatorias Indexada
La notación sumatoria puede ser extendida P a secuencias con conjuntos de
indices I como sus dominios. Por ejemplo, i2I ai denota la suma de los valores
ai cuando i recorre todos llos valores de I:
P
Por ejemplo, si I = f1; 3; 5; 7g ; entonces i2I (i2 + 1) representa la suma de
los valores de i2 + 1 cuando i toma los valores en I; esto es,
X
(i2 + 1) = (12 + 1) + (32 + 1) + (52 + 1) + (72 + 1)
i2I
= 88
P
Frecuentemente se requiere evaluar sumas de la forma P aij ; donde los
subíndices i y j satisfacen ciertas propiedades P:
P
Por ejemplo, sea I = f1; 2; 3; 4g: Entonces 1 i j 4 (2i+3j); denota la suma
de los valores de 2i + 3j; donde 1 i j 4: Esto puede ser abreviado como
P
i j (2i + 3j) proporcionado, obviamente, el conjunto de índices del contexto.
Para encontrar esta suma, se consideran todas las posibles parejas (i; j); donde
i; j 2 I e i < j: Así,
X
(2i + 3j) = (2 1 + 3 2) + (2 1 + 3 3) + (2 1 + 3 4) + (2 2 + 3 3)
i j
+(2 1 + 3 4) + (2 3 + 3 4)
= 80
P
Ejemplo 8 Evalúe d>1 d; donde dj6 signi…ca que d divide a 6:
dj6
Solución.
X
d = suma de los enteros positivos d; divisores de 6
d>1
dj6
= suma de los divisores positivos de 6
= 1 + 2 + 3 + 6 = 12
1.2. LA NOTACIÓN SUMATORIA Y PRODUCTORIA 11
Sumatorias múltiples también son frecuentes en matemáticas. EllasPse evalúan

P
por lo general de derecha a izquierda. Por ejemplo, la doble sumatoria i j aij
P P
se evalúa como i j aij ; como se muestra a continuación.
P1 P0
Ejemplo 9 Evalúe i= 1 j= 1 3i2 j:
Solución.
2 3
1
X 0
X 1
X 0
X
3i2 j = 4 3i2 j 5
i= 1 j= 1 i= 1 j= 1
1
X
= 3i2 ( 1) + 3i2 (0)
i= 1
1
X
= 3i2
i= 1
= 3( 1)2 + 3(0)2 + 3(1)2

= 6
La Notación Productoria
La notación productoria es usada de manera
Qi=msimilar a la notación sumatoria,
Q
el producto ak ak+1 am se denota por i=k ai ; el símbolo productoria
corresponde a la letra Griega mayúscula pi. Como en el caso de la notación
sumatoria, la "i = " arriba del símbolo productoria es frecuentemente omitida:
i=m
Y m
Y
ai = ai = ak ak+1 am
i=k i=k
Nuevamente, i es una variable dummy.
La función factorial, se usa frecuentemente en teoría de números, y puede

de…nirse usando la notación productoria, como se muestra en el siguiente ejem-
plo.
Ejemplo 10 La función factorial f (n) = n! (se lee n factorial o el factorial

de n) se de…ne como n! = n(n 1) 2 1; donde 0! = 1: Usando la notación
productoria
n
Y
f (n) = n! = i
i=1
Q4
Ejemplo 11 Evalúe i=2 (2i + 3):
Solución.
4
Y
(2i + 3) = [2(2) + 3] [2(3) + 3] [2(4) + 3]
i=2
= 693
Q
Ejemplo 12 Evalue i;j2I (2i + 3j) donde I = f1; 2; 3; 4g:
ijj
Solución. Se re…ere aquí a la productoria de todas las parejas de la forma
(i; j); donde i y j son elementos de I; pero especí…camente aquellas parejas
en donde i divide a j: Estas son (1; 1); (1; 2); (1; 3); (1; 4); (2; 4); así, evaluando
2i + 3j en cada una de estas parejas se tiene que
Y
(2i + 3j) = (2 1 + 3 1)(2 1 + 3 2)(2 1 + 3 3)
i;j2I
ijj
(2 1 + 3 4)(2 2 + 3 4)
= 98;560
Ejercicios 1.2
Evalúe cada suma.
P6
1. i=1 i
P4
2. j=0 (j 1)
P4
3. k=0 (3 + k)
P4
4. i= 1 3
P2
5. j= 2 j(j 2)
P5
6. k=1 (3 2k)k
Reescriba cada suma utilizando la notación sumatoria.
7. 1 + 3 + 5 + + 23
8. 31 + 32 + + 310
9. 1 2 + 2 3 + + 11 12
10. 1(1 + 2) + 2(2 + 2) + + 5(5 + 2)
Determine si cada proposición es verdadera.
Pn Pn
11. i=m i = i=m (n + m i)
Pn i
P n n+m i
12. i=m x = i=m x
1.3. INDUCCIÓN MATEMÁTICA 13
Pn
13. Sumas de la forma S = i=m+1 (ai ai 1) son llamadas sumas telescop-
icas. Muestre que S = an am :
1 1 1
14. Use el Ejercicio 13 y la identidad i(i+1) = i i+1 ; y encuentre una formula
Pn 1
para i=1 i(i=1) :
2
15. Usando el Ejercicio
Pn 13 y la identidad (i + 1) i2 = 2i + 1; desarrolle una
formula para i=1 i:
16. Usando el EjercicioP13 y la identidad (i + 1)3 i3 = 3i3 + 3i + 1; desarrolle
n
una formula para i=1 i2 :
Evalue.
P5 P6
17. i=1 j=1 (2i + 3j)
P3 Pi
18. i=1 j=1 (i + 3)
Q3
19. i=0 (i + 1)
Q5 2
20. j=3 (j + 1)
Q50
21. k=0 ( 1)k
Evalue cada ítem, donde p 2 f2; 3; 5; 7; 11; 13g e I = f1; 2; 3; 5g :
P
22. p 10 p
Q
23. i2I (3i 1)
P i j
24. i;j2I (2 + 3 )
ijj
Q
25. i;j2I ij
i j
P999
26. Encuentre el dígito de las decenas en la suma k=1 k!
1.3. Inducción Matemática

El principio de inducción matemática (PIM) es una poderosa técnica de
prueba que se usará con frecuencia en posteriores capítulos.
Muchos resultados interesantes en matemáticas se cumplen para todos los
enteros positivos. Por ejemplo las siguientes proposiciones son verdaderas para
cada entero positivo n y todos los números reales x; y; y xi :
(x y)n = xn y n
P
n
log(x1 xn ) = log xi
i=1
P
n
n(n+1)
i= 2
i=1
nP1
rn 1
ri = r 1
i=0
¿Cómo se puede probar que esos resultados se tienen para cada entero posi-
tivo n ? Obviamente, es imposible sustituir cada entero positivo por n y veri…car
que la fórmula se mantiene. El principio de inducción puede establecer la validez
para tales fórmulas.
Antes de pasar a la inducción matemática, es necesario establecer el principio
de buen-orden, el cual se aceptará como un axioma. (Un axioma es una a…rma-
ción que es aceptada como verdadadera; con frecuencia se trata de proposiciones
obvias, evidentes.)
El Principio de Buen-Orden
Todo conjunto no vacío de enteros positivos tiene un elemento mínimo.
Por ejemplo, el conjunto f17; 23; 5; 18; 13g tiene un elemento mínimo, a saber,
5. Los elementos del conjunto pueden ser ordenados como 5; 13; 17; 18; y 23.
En virtud del principio del buen-orden, el conjunto de enteros positivos es
bien ordenado. Se puede notar que el conjunto de enteros negativos no es bien
ordenado.
El siguiente ejemplo es una aplicación simple del principio de buen-orden.
Ejemplo 13 Pruebe que no hay enteros positivos entre 0 y 1
Demostración (por contradicción). Supongamos que hay un entero positivo

a entre 0 y 1 . Sea S = fn 2 Z+ j 0 < n < 1g. Ya que 0 < a < 1; a 2 S, así S
es no vacío. Por lo tanto, por el principio de buen-orden , S tiene un elemento
mínimo l, donde 0 < l < 1 . Entonces 0 < l2 < l , así l2 2 S . Pero l2 < l , lo
que contradice nuestra suposición que l es el elemento mínimo de S . Así, no
hay enteros positivos entre 0 y 1 .
El principio de buen-orden puede extenderse a casi todos los números, como

lo muestra el siguiente ejemplo.
Ejemplo 14 Pruebe que cada conjunto no vacío de enteros no negativos tiene

un elemento mínimo.
Demostración (por casos). Sea S un conjunto de enteros no negativos.

Caso 1 Supongamos que 0 2 S . Ya que 0 es menor que todo entero
positivo, 0 es menor que cada elemento diferente de cero en S , así 0 es el
elemento mínimo de S .
Caso 2 Supongamos que 0 2 = S . Entonces S contiene únicamente enteros
positivos. Así, por el principio de buen-orden, S tiene un elemento mínimo.
De esta forma, en ambos casos, S tiene un elemento mínimo.
Versión Débil de Inducción

El siguiente teorema es pieza fundamental para el principio de inducción.
Teorema 15 Sea S un conjunto de enteros positivos que satisface las siguientes

propiedades:
1. 1 2 S .
2. Si k es un entero positivo arbitrario en S , entonces k + 1 2 S:
Luego S = N .
Demostración(por contradicción). Suponga que S 6= N . Sea S 0 = fn 2 N j n 2

= Sg.
Donde S 0 6= ? , por el principio de buen-orden, S 0 tiene un elemento mínimo
l0 . Entonces l0 > 1 por la condición (1). Dado que l0 es el elemento mínimo de
S 0 , l0 1 2 = S 0 . Por lo tanto l0 1 2 S. Consecuentemente, por la condición
0
(2), (l 1) + 1 = l0 2 S. Esto contradice lo establecido en la suposición.
Este resultado puede ser generalizado, como lo muestra el siguiente teorema.

La prueba queda como ejercicio.
Teorema 16 Sea n0 un entero …jo. Sea S un conjunto de enteros que satisfacen

las siguientes condiciones:
1. n0 2 S.
2. Si k es un entero arbitrario n0 tal que k 2 S , entonces k + 1 2 S.
Luego S contiene todos los enteros positivos n n0 .
Luego de ver los anteriores resultados, se tienen las herramientas para poder
demostrar el teorema de interés y que se enuncia a continuación.
Teorema 17 (Principio de Inducción Matemática) Sea P (n) una

proposición que satisface las siguientes condiciones, donde n 2 Z:
1. P (n0 ) es verdadera para algún entero n0 .
2. Si P (k) es verdadera para un entero arbitrario k n0 , entonces P (k + 1)

también es verdadera.
Luego P (n) es verdadera para cada entero n n0 .

Demostración. Sea S un conjunto de enteros n0 para los cuales P (n) es

verdadera. Donde P (n0 ) es verdadera, n0 2 S . Por la condición (2), cada vez
que k 2 S , k + 1 2 S , así, por el teorema16, S contiene todos los enteros n0
. Consecuentemente, P (n) es verdadera para cada entero n n0 .
En la condición (1) del teorema 17 se asume la proposición P (n) como ver-

dadera cuando n = n0 . En la condición (2): Si P (n) es verdadera para un
entero k n0 , también lo es para n = k + 1 . Entonces, aplicando nuevamente
la condición (2), P (n0 + 1), P (n0 + 2); : : : se mantienen verdaderas. En otras
palabras , P (n) permanece para cada n n0 .
El Teorema 17 puede ser establecido directamente desde el principio de buen-
orden.
Demostrar un resultado por inducción comprende dos pasos clave:
Paso Básico: Compruebe que P (n0 ) es cierto.
Paso de Inducción: Asumir que P (k) es cierto para algún entero arbitrario
k n0 (hipótesis inductiva)
A continuación, compruebe que P (k + 1) también es cierto.
Para recordar: Con frecuencia nos preguntamos "¿No es este

un razonamiento circular? ¿No estamos suponiendo lo que queremos
demostrar?"De hecho, no. La confusión deriva una mala interpreta-
cion del paso 2 para la conclusión. El paso de inducción muestra que
P (k) implica P (k + 1); esto es que si P (k) es verdadero, entonces
P (k + 1) también lo es. La conclusión es: "P (n) es verdadera para
cada n n0 ".
Ejemplo 18 Pruebe que
n(n + 1)
1 + 2 + 3 + ::: + n = para cada entero positivo n (1.4)
2
Demostración. (por inducción) Sea P (n) el enunciado
n
X n(n + 1)
i=
i=1
2
Paso Básico: Veri…car que P (1) es verdadero (nota: aquí n0 = 1)

n
X
1(1+1)
donde n = 1; LMD = 2 = 1 = i =LMI.5 Entonces, P (1) es ver-
i=1
dadero.
Paso de Inducción: Sea k un entero positivo arbitrario. Se debe mostrar
que P (k) implica P (k + 1). Asuma que P (k) es verdadero,es decir
n
X n(n + 1)
i= (hipótesis de inducción)
i=1
2
k+1
X (k+1)(k+2)
Se muestra que P (k) implica P (k + 1), es decir i= 2 , empezamos
i=1
con LMI en esta ecuación
k+1 k
" k+1 k
! #
X X X X
LM I = i= i + (k + 1); Nota: xi = xi + (xk + 1)
i=1 i=1 i=1 i=1
k(k + 1)
= + (k + 1) por hipótesis de inducción
2
(k + 1)(k + 2)
=
2
= LM D
Luego si P (k) es verdadero, entonces P (k + 1) también lo es. Así, por in-

ducción, P (n) es verdadero para cualquier entero n 1; esto es, la fórmula vale
para cada entero positivo.
Ejemplo 19 Deduzca una formula para la suma de los n primeros enteros po-
sitivos impares y luego use la inducción para establecer la conjetura.
Solution 20 Primero, se estudiar las primeras cinco sumas, y luego se iden-
ti…ca un patrón para predecir la fórmula de la suma de los n primeros enteros
positivos impares. Las primeras cinco sumas son
1 = 12
1 + 3 = 22
1 + 3 + 5 = 32
1 + 3 + 5 + 7 = 42
Se puede observar claramente el patrón, entonces se puede establecer que la suma
de los n primeros enteros positivos impares es n2 ;esto es
n
X
(2i 1) = n2 (1.4)
i=1
5 LMD y LMI son las abreviaciones de lado a mano izquierda y lado a mano derecha,
respectivamente, al referirse a una expresión y con el signo de igualdad como referente.

Se mostrará ahora la prueba por el principio de inducción.

Xn X1
Demostración. Cuando n = 1, (2i 1) = (2i 1) = 1 = 12 , entonces el
i=1 i=1
resultado es válido cuando n = 1. Ahora, asuma que la fórmula es válida cuando
n = k,
Xk
(2i 1) = k 2 :
i=1
k+1
X
Para mostrar que es válida cuando n = k + 1, considerese la suma (2i 1).
i=1
Luego tenemos que
k+1
X k
X
(2i 1) = (2i 1) + [2(k + 1) 1]
i=1 i=1
2
= k + (2k + 1) por hipótesis de inducción
= (k + 1)2
En consecuencia, si la fórmula es válida cuando n = k, es también válida cuando

n = k + 1. Por tanto, por inducción, la fórmula es válida para cualquier entero
positivo n:
Volviendo a la inducción, nosotros encontramos que ambos, los pasos baiscos

como los pasos de inducción son esenciales para la prueba por inducción, como
se puede ver en los dos siguientes ejemplos.
Ejemplo 21 Considere la "fórmula" 1 + 2 + 3 + 5 + + (2n 1) = (n 2)2 .

Claramente es cierta cuando n = 1. Pero no es cierta cuando n = 2: La verdad
es que los pasos básicos no aseguran que el enunciado 1+2+3+5+ +(2n 1) =
(n 2)2 sea cierto para cualquier entero n:
El siguiente ejemplo muestra que la válidez del paso de inducción es nece-

saria, pero no su…ciente para garantizar que P (n) es verdadero para todos los
enteros deseados.
Ejemplo 22 Considere la "fórmula"P (n) : 1+2+3+5+ +(2n 1) = n2 +1.

k
X
Suponga que P (k) es verdadero: (2i 1) = k 2 + 1. Entonces
i=1
k+1
X k
X
(2i 1) = (2i 1) + [2(k + 1) 1]
i=1 i=1
2
= (k + 1) + (2k + 1)
= (k + 1)2 + 1
Entonces si P (n) es verdadero, P (k + 1) también lo es. Sin embargo, la fórmula

no incluye a cualquier entero positivo n. Se puede veri…car que P (1) no se tiene.
Versión fuerte de inducción

Ahora se presentará la versión fuerte de inducción. A veces lo cierto de
P (k) puede no ser su…ciente para establecer la veracidad de P (k + 1). En otras
palabras, la veracidad de P (k + 1) puede requerir más que la de P (k). En tales
casos, se tiene que asumir una hipótesis de inducción más fuerte tal como que
P (n0 ), P (n0 + 1); : : : ; P (k) son todos verdaderos; luego veri…car que P (k + 1)
es también verdad. Esta versión fuerte, que puede ser demostrada usando la
versión débil de inducción, se estable ce como sigue.
Teorema 23 (Segundo Principio de la Inducción Matemática) Sea P (n)

un enunciado que satisfase las siguientes condiciones, donde n 2 Z
1. P (n) es verdadero para cualquier entero n0 :

2. Si k es un entero arbitrario n0 tal que P (n0 ); P (n0 + 1); : : : ; P (k) son
verdaderos, entonces P (k + 1) también lo es.
Luego P (n) es verdadero para cualquier entero n n0 .
Demostración. Sea S = fn 2 Z j P (n) es verdaderog. Como P (n0 ) es ver-

dadero por la condición (1) n0 2 S.
Ahora asumamos que P (n0 ), P (n0 +1); : : : ; P (k) es verdadero para un entero
arbitrario k. Entonces n0 ; n0 + 1; : : : ; k pertenece a S. Luego por la condición
(2), k + 1 también pertenece a S. Por lo tanto por el teorema 16, S contiene
todos los enteros n n0 . En otras palabras, P (n) es verdadero para cada entero
n n0 :
El siguiente ejemplo muestra la técnica de prueba.
Ejemplo 24 Pruebe que cualquier envío postal cuyo valor es de n ( 2) cen-

tavos puede hacerse con estampillas de dos y tres centavos.
Demostración. Sea P (n) el enunciado que a…rma que cualquier envío postal
cuyo valor es de n centavos puede hacerse con estampillas de dos y tres centavos.
Paso básico (Note que n0 = 2) Dado que un envío de dos centavos se puede
hacer con una estampilla de dos centavos, P (2) es verdadero. Del mismo modo,
P (3) es también verdadero.
Paso de inducción Supongamos que P (2); P (3); P (4); : : : ; P (k) son ver-
daderos, es decir, cada envío postal de dos centavos hasta de k centavos puede
hacerse con estampillas de dos y tres centavos. Para mostrar que P (k + 1) es
verdadero, considere un envío postal de k+1 centavos. Ya que k+1 = (k 1)+2,
un envío de k + 1 centavos puede formarse con estampillas de dos y tres cen-

tavos si el envío de k 1 centavos puede realizarse con estampillas de dos y tres
centavos. Como P (k 1) es verdero por la hipótesis de inducción, esto implica
que P (k + 1) también es verdadero.
Por lo tanto, por la versión fuerte de inducción, P (n) es cierto para cada
n 2, es decir, cualquier envío postal de n( 2) centavos se puede hacer con
estampillas de dos o tres centavos.
Ejercicios 1.3
Usando Inducción matemática pruebe cada una de las siguientes proposi-
ciones para todo entero n 1:

Pn
1. i=1 (2i 1) = n2
Pn n(n+1)(2n+1)
2. i=1 i2 = 6
Pn h i2
3 n(n+1)
3. i=1 i = 2
Pn a(r n 1)
4. i=1 ari 1
= r 1 ; r 6= 1
Determine si cada conjunto es bien ordenado. Si su respuesta es no, ex-
plique.
5. El conjunto de los enteros negativos.
6. El conjunto de los enteros.
7. fn 2 Njn 5g
8. fn 2 Zjn 3g
Probar.
9. Sea a 2 Z: No hay enteros entre a y a + 1:
10. (Propiedad Arquimediana) Sean a y b enteros positivos. Entonces hay un

entero positivo n tal que na b: (Sugerencia: Use el principio de buen
orden y contradicción)
1.4. RELACIONES DE RECURRENCIA 21
1.4. Relaciones de Recurrencia

Las Realaciones de recurrencia o Recursión es una de las más elegantes
técnicas para solucionar problemas. Esta es una herramienta muy poderosa que
puede ser apoyada a través de lenguajes de programación.
Se iniciará esta sección con un problema muy conocido denominado el Prob-
lema del Apretón de Manos:
Hay n invitados a una …esta. Cada persona estrecha la mano, exactamente

una vez, con cada uno de los otros invitados. ¿cuántos apretones de manos se
hacen?
Si se decide solucionar un problema como éste, la solución puede no ser obvia.

Sin embargo, es posible que el problema pueda ser de…nido en términos de una
versión más simple de si mismo. Tal de…nición es una de…nición inductiva.
Por consiguiente, el problema dado se puede resolver si la versión simple se
puede resolver.
De…nición de una función recursiva

Sea a 2 W y X = fa; a + 1; a + 2; : : :g. Una de…nición inductiva de una
función f con dominio X; consiste de tres partes:
Paso de la base Unos pocos valores iniciales f (a); f (a+1); : : : ; f (a+

k 1) se especi…can. Ecuaciones que especi…can tales valores iniciales se
denominan condiciones iniciales.
Paso de recursión Un
a formula para calcular f (n) desde los k precedentes valores funcionales

f (n 1); f (n 2); : : : ; f (n k) se proporciona. Tal formula es una relación
de recurrencia (o formula recursiva).
Paso …nal Solamente valores así obtenidos son valores funcionales

válidos. (Por conveniencia, esta cláusula se establece desde la de…nición
recursiva.)
En una de…nición recursiva de f , f (n) se pueden de…nir usando los valores

de f (k), donde k 6= n; así no todas las funciones de…nidas recursivamente pueden
de…nirse inductivamente; Ver ejercicios 8-14.
Así, la de…nición recursiva de f consiste de un número …nito de condiciones
iniciales y una relación de recurrencia.
Puede emplearse recursión para encontrar el mínimo y el máximo de tres o
más números reales. Por ejemplo, m n fw; x; y; zg = m n fw; fm n fx; m n fy; zgggg;
max fw; x; y; zg puede evaluarse de manera similar. Por ejemplo,
m n f23; 5; 6; 47; 31g = m n f23; m n f5; m n f 6; m n f47; 31gggg = 6

max f23; 5; 6; 47; 31g = max f23; max f5; max f 6; max f47; 31gggg = 47
Los siguientes ejemplos ilustran la de…nición recursiva.
Ejemplo 25 De…na recursivamente la función f factorial.

Solución.
Llamemos a la función factorial f de…nida por f (n) = n!, donde f (0) = 1.
Luego n! = n(n 1)!, puede de…nirse la recursividad de la siguiente manera
f (0) = 1 condición inicial

f (n) = n f (n 1); n 1 relación de recurrencia
Supongamos que queremos calcular f (3) recursivamente. Nosotros debemos con-

tinuar aplicando la relación de recurrencia hasta que encuentre la condición
inicial, como se muestra:
f (3) = 3 f (2) (1.5)

.
f (2) = 2 f (1) (1.6)
.
f (1) = 1 f (0) (1.7)
.
f (0) = 0 (1.8)
Ya que f (0) = 1, 1 se sustituye por f (0) en la ecuación (1.6) y f (1) se calcula:

f (1) = 1 f (0) = 1 1 = 1. Este valor se sustituye para f (1) en la ecuación
(1.5) y f (2) se calcula: f (2) = 2 f (1) = 2 1 = 2. Este valor es utilizado en
la ecuación (1.4) para calcular f (3): f (3) = 3 f (2) = 3 2 = 6, como era de
esperar.
Ahora, volviendo al problema del apretón de manos.
Ejemplo 26 (El problema del apretón de manos) Hay n invitados en una

…esta. Cada persona estrecha lamano a cada uno de los demás exactamente una
vez. De…na por recursividad el número de apretones de manos hechos h(n):
Solución.
Claramente, h(1) = 0, entonces sea n 2. Sea x uno de los invitados. El
número de apretónes de manos hechos por los n 1 invitados entre ellos, por
de…nición es h(n 1). Ahora la persona x estrecha su mano con cada uno de
los n 1 invitados, realizando n 1 apretones de manos. Así el número total
de apretones de manos es igual a h(n 1) + (n 1), donde n 2.
Luego, h(n) puede ser de…nido recursivamente como sigue:
h(1) = 0 condición inicial

h(n) = h(n 1) + (n 1) relación de recurrencia.
Ejemplo 27 (Torre de Brahma) Según una leyenda, al inicio de la creación,

Dios apiló 64 discos de oro sobre una de tres clavijas de diamante en una
plataforma de latón en el templo de Brahma en Benares, India (ver Figura 1.2).
Pidieron a los sacerdotes de turno mover los discos desde la primera clavija a
la tercera , usando la clavija del medio como clavija auxiliar, bajo las siguientes
condiciones:
Únicamente un disco será movido en cada turno

Ningún disco puede colocarse sobre un disco más pequeño
Si las clavijas se etiquetan de izquierda a derecha con las letras X, Y y

Z. Suponga que hay n discos en la clavija X. Denote por bn el número de
movimientos necesarios para trasladar los discos desde la clavija X hasta la
clavija Z usando la clavija Y como un intermediaria. De…na bn recursivamente.
Solución.
Si hay un sólo disco , simplemente se mueve a la clavija deseada. Si se
asumen n 2 discos, se comienza de manera recursiva por invocar el algoritmo
para mover los n 1 discos superiores a la clavija Y; quedando un solo disco en
la clavija X: Durante estos movimientos el disco más grande queda …jo en la
clavija X: Después se mueve el disco que queda …jo de la clavija X a la clavija
Z: Por último, de nuevo se invoca el algorítmo de manera recursiva para mover
los n 1 discos de la clavija Y a la clavija Z:
Así el total de movimientos necesarios es bn 1 + 1 + bn 1 = 2bn 1 + 1.
Entonces bn puede ser de…nido recurivamente como sigue:
1 si n = 1 condición inicial
bn =
2bn 1 + 1 si n 2 relación de recurrencia
Figura 1.2: Torre de Hanoi

Por ejemplo,
b4 = 2b3 + 1
= 2[2b2 + 1] + 1
= 4b2 + 2 + 1
= 4[2b1 + 1] + 2 + 1
= 8b1 + 4 + 2 + 1
= 8(1) + 4 + 2 + 1 = 15
De esta forma son 15 movimientos para transferir 4 discos desde X hasta Z.
Note que la de…nición recursiva de una función f no proporciona una fórmula

explicita para f (n) pero establece un procedimiento sistemático para encontrar-
la.
El Método Iterativo para encontrar una fórmula para f (n) involucra dos
pasos:
1. Aplique la fórmula iterativa de recurrencia y mire un patrón para predecir

la formula explícita.
2. Use inducción para probar que la fórmula es verdadera para cada posible
valor del entero n:
El siguiente ejemplo ilustra este método.
Ejemplo 28 Solucione la relacion de recurrencia en el ejemplo del problema

del apretón de manos.
Solución.
Usando iteración, se tiene:
h(n) = h(n 1) + (n 1)
= h(n 2) + (n 2) + (n 1)
= h(n 3) + (n 3) + (n 2) + (n 1)
..
.
= h(1) + 1 + 2 + 3 + + (n 2) + (n 1)
= 0+1+2+3+ + (n 1)
n(n 1)
= :
2
Ejercicios 1.4
En los ejercicios 1-4, calcule los primeros cuatro términos de la secuencia
de…nida recursivamente.
1. a1 = 1
an = an 1 + 3; n 2
2. a1 = 1
n
an = n 1 an 1 ; n 2
3. a1 = 1; a2 = 2
an = an 1 + an 2; n 3
4. a1 = 1; a2 = 2; a3 = 3
an = an 1 + an 2 + an 3; n 4
De…na recursivamente cada secuencia numérica.
5. 1; 4; 7; 10; 13; :::
6. 0; 3; 9; 21; 45; :::
7. 1; 2; 5; 26; 677; :::

La función-91 de…nida por John McCarthy, se de…ne recursivamente como
sigue:
x 10 Si x > 100
f (x) =
f (f (x)) Si 0 x 100
Calcule:
8. f (99)
9. f (98)
10. f (f (99))
11. f (f (91))
12. Muestre que f (99) = 91
13. Pruebe que f (x) = 91 para 90 x 100
14. Pruebe que f (x) = 91 para 0 x < 90

1.5. El Teorema Binomial
Los binomios son sumas de dos términos, y aparecen a menudo en matemáti-

cas. Esta sección muestra la forma de expandir potencias enteras positivas de
manera sistemática. Los coe…cientes en una expansión binomial tienen varias
propiedades interesantes.
Se empezará con un análisis de los coe…cientes binomiales.
Coe…cientes Binomiales
n
Sean n y r enteros no negativos. El coe…ciente binomial6 está de…nido
r
por
n n!
= si r n;
r r!(n r)!
y es 0 en otro casos; esto también se denota por C(n; r) o n Cr .

Por ejemplo,
5 5!
=
3 3!(5 3)!
5;4;3;2;1
= = 10
3;2;1;2;1
Se desprende de la de…nición que
n n
=1= :
0 n
Hay muchos casos en los que necesitamos para calcular los coe…cientes bino-
6 El término coe…ciente binominal fue introducido por el alemán algebrista Michel Stifel
(1486-1567). En su trabajo más conocido, Arithmetica Integra (1544) Stifel da los coe…cientes
binomiales para n 17. La notación de paréntesis binivel para coe…ciente binomial fue intro-
ducida por el matemático y físico alemán Baron Andreas von Ettinghausen (1796–1878).
Von Ettinghausen, nacio en Heidelberg,
asistió a la Universidad de Viena en Austria. Durante dos años trabajó como asistente de
matemáticas y física en la Universidad. En 1821 se convirtió en profesor de matemáticas, y en
1835, profesor de física y director del Instituto de Física. Trece años más tarde, se convirtió
en el director de Estudios de Matemáticas e Ingeniería de la Academia de Viena.
Un pionero en la física matemática, von Ettinghausen trabajó en el análisis, álgebra,
geometría diferencial, mecánica, óptica y electromagnetismo.
1.5. EL TEOREMA BINOMIAL 27
n n
miales y : Ya que
r n r
n n!
=
n r (n r)! [n (n r)]!
n! n!
= =
(n r)!r! r! (n r)!
n
=
r
aquí, no es necesario evaluar ambos, lo que reduce signi…cativamente nuestro

trabajo. Por ejemplo,
25 25 25
= = = 53130:
20 25 20 5
El siguiente teorema muestra una importante relación de recurrencia que

satisfacen los coe…cientes binomiales. Se conoce como la identidad de Pascal,
debida al extraordinario matemático y …lósofo francés Blaise Pascal.
Teorema 29 (Identidad de Pascal) Sean n y r enteros positivos con r n:

Entonces
n n 1 n 1
= + :
r r 1 r
Demostración. Se simpli…cará la expresión del LMD y demostrará que es igual
a la expresión del LMI:
n 1 n 1 (n 1)! (n 1)!
+ = +
r 1 r (r 1)! (n r)! r! (n r 1)!
r (n 1)! (n r) (n 1)!
= +
r (r 1)! (n r)! r! (n r) (n r 1)!
r (n 1)! (n r) (n 1)!
= +
r! (n r)! r! (n r)!
(n 1)! [r + (r n)] (n 1)!n
= =
r! (n r)! r! (n r)!
n!
=
r! (n r)!
n
=
r
así el teorema queda demostrado.

Triángulo de Pascal
n
Los diferentes coe…cientes binomiales ; donde 0 r n; pueden ser
r
arreglados en forma de un triángulo, llamado triángulo de Pascal7
0
0
1 1
0 1
2 2 2
0 1 2
3 3 3 3
0 1 2 3
4 4 4 4 4
0 1 2 3 4
1 t …la 0
1 1 t …la 1
1 2 1 t …la 2
1 3 3 1 t …la 3
1 4 6 4 1 t …la 4
El triángulo de Pascal tiene muchas propiedades interesantes:
Cada …la empieza y termina en 1.

El triángulo de Pascal es simétrico sobre una línea vertical que pasa por
el centro. Esto es así por Teorema 29.
Cualquier número en el interior de cada …la es la suma de los números a
izquierda y a derecha de la …la inmediatamente superior. Esto es así en
virtud de la identidad de Pascal.
La suma de los números en cualquier …la es una potencia de 2. Corolario
31 veri…cará esto.
La n ésima …la puede utilizarse para determinar 11n . Por ejemplo, 113
= 1331 y 114 = 14641. Para calcular altas potencias de 11, se debe tener
cuidado ya que algunos de los números envuelven la participación de dos
o más dígitos. Por ejemplo, para calcular 115 lista de la …la 5:
1 5 10 10 5 1
De derecha a izquierda, liste los dígitos simples. Cuando llegamos a un

número de dos dígitos, escribimos los digitos de las unidades y llevamos
7 Aunque el triángulo de Pascal es el nombre de Pascal, esto actualmente aparece primero
en 1303 en una obra del matemático chino Chu Shi-Kie.

los digitos de las decenas al número de la izquierda. Añadiendo el número

que llevaba al de su izquierda. Continuando este proceso a la izquierda.
El número resultante es 161051, que corresponde a 115 .
El siguiente teorema muestra cómo los coe…cientes binomiales pueden usarse

para encontrar la expansión del binomio (x + y)n :
Teorema 30 (El Teorema Binomial)8 Sean x y y número reales, y n algún

entero no negativo. Luego
n P
n n n r r
(x + y) = x y :
r=0 r
Demostración. (inducción débil) Cuando n = 0, LMI = (x + y)0 = 1 y LMI

P0 n 0 r r
= r=0 x y = x0 y 0 = 1, así LMI=LMD.
r
Supongamos P (k) es cierto para algunos k 0:
Xk
k k
(x + y)k = x r r
y
r=0
r
Entoces
(x + y)k+1 = (x + y)k (x + y)
" k #
X k
= xk r y r (x + y)
r=0
r
Xk k
k k+1 r r X k k+1 r r
= x y + x y
r=0
r r=0
r
" k
#
k k+1 X k k+1 r r
= x + x y +
0 r=1
r
"k 1 #
X k k k+1
k r r+1
x y + y
r=0
r r
k
k + 1 k+1 X k k+1 r r
= x + x y +
0 r=1
r
k
X1 k k + 1 k+1
xk+1 r r
y + y
r=0
r 1 k+1
8 El teorema binomial para n = 2 se puede encontrar en el trabajo de Euclides (ca. 300 B.

C.).
k
k + 1 k+1 X k k
= x + + xk+1 r r
y +
0 r=1
r r 1
k + 1 k+1
y
k+1
k
k + 1 k+1 X k + 1 k+1 r r k + 1 k+1
= x + x y + x
0 r=1
r k+1
k+1
X k + 1 k+1 r r
= x y
r=0
r
Así, por inducción, la fórmula es válida para todo entero n 0:
Se deduce del teorema binomial que los coe…cientes binomiales en la expan-

n
sión de (x + y) son los distintos números en la n ésima …la del triángulo de
Pascal.
El teorema binomial se puede usar para establecer varias identidades in-
teresantes involucrando los coe…cientes binomiales, como lo muestra el siguiente
corolario9 .
Corolario 31
Xn
n
= 2n
r=0
r
esto es, la suma de los coe…cientes binomiales es 2n :
Esto se sigue haciendo x = 1 = y en el teorema binomial.
Ejercicios 1.5
(Doce Días de Navidad) Supongamos que el primer día de la Navidad has
enviado a tu amor 1 regalo, 1 + 2 regalos en el segundo día, 1 + 2 + 3 regalos
al tercer día, y así sucesivamente.
n+1
1. Mostrar que el número de regalos enviados en el n ésimo día es ,
2
donde 1 n 12:
2. Mostrar que el número total de los regalos enviados en el n ésimo día es
n+2
, donde 1 n 12:
3
Encontrar el coe…ciente en cada caso.

8
3. x2 y 6 en la expansion de (2x + y) .
9 Un corolario es un resultado que se desprende del anterior teorema.
4. x4 y 5 en la expansion de (2x 3y)9 :
Usando el teorema binomial, expandir.
5. (2x 1)5
6
6. (x + 2y)
Encontrar el termino medio en la expansion binomial de cada caso.

2 8
7. 2x + x
1 10
8. x2 + x2
Encontrar el mas grande coe…ciente binomial en la expansion de cada caso.
9. (x + y)5
10. (x + y)6
11. (x + y)7
12. (x + y)8
13. Usando los ejercicios 9-12, encontrar el mayor coe…ciente en la expansión
binomial (x + y)n .
Los números de Bell Bn son llamados así en honor al matemático Americano-

Escoses Eric T. Bell (1883-1960). Éstos son utilizados en combinatoria y se
de…nen recursivamente como sigue:
B0 = 1
n
X1 n n 1
Bn = Bi; n 1:
i=0
r i
Calcular los siguientes números de Bell.
14. B2
15. B3
16. B4
17. B5
n n n 1
18. Veri…car que = r :
r i 1
2n
19. Probar que es un entero par. (L. Moser, 1962)
n
Probar cada una de las siguientes proposiciones.
2n
20. (n + 1) j ; cuando se escribe ajb signi…ca que a es un factor de b y
n
n 0.
n
X n
X
2n 2n
21. =
r=0
2r r=1
2r 1
(Sugerecia: Use el Corolario 1.1)

n
X n
22. 2r = 3n
r=0
r
Xn
n n 2n
23. =
r=0
r n r n
(Sugerencia: Considere (1 + x)2n = (1 + x)n (1 + x)n )
n
X n n 2n
24. =
i=1
i 1 i n+1
(Sugerencia: Considere (1 + x)2n = (x + 1)n (1 + x)n .)
Evalúe cada suma.

n n n n
25. 1 +2 +3 + +n
1 2 3 n
(Sugerecia: Denote con S la suma. Utilice S y la suma en el orden inverso
para calcular 2S)
n n n n
26. a + (a + d) + (a + 2d) + + (a + nd)
0 1 2 n
(Sugerencia: Utilice la misma sugerecia del Ejercicio 25)

n+1
27. Muestre que C(n; r 1) < C(n; r) si y sólo si r < cuando 0 r < n:
2
28. Usando el ejercicio 27, pruebe que el mayor coe…ciente binomial C(n; r)
ocurre cuando r = bn=2c
Usando induccion, pruebe.

n n+1 n+2 n+r n+r+1

29. + + + + =
0 1 2 r r
(Sugerencia: Use la identidad de Pascal)
n n n
30. 1 +2 + +n = n2n 1
1 2 n
2 2 2 2
n n n n 2n
31. + + + + =
0 1 2 n n
(Identidad de Lagrange)
A partir de la expansion binomial
Xn
n r
(1 + x)n = x ;
r=0
r
se puede mostrar que
Xn
n
n(1 + x)n 1
= rxn 1
:
r=1
r
Usando este resultado, pruebe.
n n n n
32. 1 +2 +3 + +n = n2n 1
1 2 3 n
n n n n n n
33. 1 +3 +5 + =2 +4 +6 + = n2n 2
1 3 5 2 4 6
Xn
i
34. Conjeture una fórmula para :
i=2
2
35. Prube la formula que supuso en el Ejercicio 34.
Xn
i
36. Conjeture una formula para
i=3
3
37. Probar la formula supuesta en el Ejercicio 36.

n
X i
38. Usando los ejercicios 34-37, prediga una formula para :
k
i=k
Figura 1.3: Números Triangulares.
1.6. Números Poligonales
Un número poligonal es aquel número que pueden con…gurarse en un polí-

gono regular. Ellos proporcionan un fascinante eslabón entre la teoría de números
y la geometría. No sorprende que los números poligonales tengan un origen an-
tiguo, y efectivamente se cree que ellos fueron inventados por los pitagóricos en
1665. Pascal publicó un libro sobre ello llamado Tratado sobre números cifrados.
Los números poligonales, también conocidos como números cifrados en el
plano, son enteros positivos que pueden ser representados por polígonos regu-
lares en un modelo sistemático. Se mostrará algunos tipos de tales números:
números triangulares, números cuadrados, números pentagonales y números
hexagonales.
En bolos los diez pinos son ordenados inicialmente en un despliegue triangu-
lar. De manera similar, las 15 bolas en el juego de pool son inicialmente colocadas
en una forma triangular. Ambos números 10 y 15 son números triangulares.
De acuerdo a lo expresado, se presenta la siguiente de…nición.
Números Triangulares
Un número triangular es un entero positivo que puede ser representado grá-
…camente por un arreglo triangular equilatero. El n ésimo número triangular
se denota por tn , con n 1:
Los primeros cuatro números triangulares son, 1; 3; 6; y 10 y ellos se rep-
resentan en la Figura 1.3 Ya que la i ésima …la, de arriba hacia abajo, en el
i ésimo número triangular tiene i puntos, tn es igual a la suma de los n primeros
enteros positivos, esto es
n
X n(n + 1)
tn = i= .
i=1
2
Por ejemplo, t4 = (4 5) 2 = 10 y t36 = (36 37) 2 = 666:

1.6. NÚMEROS POLIGONALES 35
Figura 1.4: Números Cuadrados
Luego
n+1
tn = ;
2
de esta forma, los números triangulares pueden ser leidos en el triángulo de
Pascal.
Ya que en cada con…guración triangular cada …la contiene un punto más que
la …la anterior, tn puede ser de…nida recusivamente, ver Tabla 1.
Tabla 1
Una Formula Recursiva para tn
t1 = 1
tn = tn 1 + n; n 2
Como un ejemplo, ya que t3 = 6; t4 = t3 + 4 = 6 + 4 = 10:

El Ejercicio 1 de esta sección plantea resolver la relación de recurrencia para
encontrar una formula explícita para tn :
Números Cuadrados
Enteros positivos que pueden ser representados por arreglos cuadrados (de
puntos) se denominan números cuadrados. El n ésimo número cuadrado
se denota por sn . La Figura muestra los primeros cuatro números cuadrados,
1; 4; 9 y 16. En general sn = n2 ; n 1: Como antes, sn también puede de…nirse
recursivamente. La Figura 1.5 permite ver como esto puede considerarse. Puede
verse un patrón, en donde el número de puntos en cada arreglo (excepto el
Figura 1.5: Recursividad para números cuadrados
primero), es igual al número de puntos en el arreglo anterior más dos veces el

número de puntos en la …la del anterior arreglo más uno; esto es,
sn = sn 1 + 2(n 1) + 1
= sn 1 + 2n 1
Así, se tiene la siguiente de…nición recursiva de sn :
Una Formula Recursiva para Sn
s1 = 1
sn = sn 1 + 2n 1; n 2
Ahora se demostrará una relacion entre tn y sn . El siguiente teorema cono-

cido por el matematico griego Theon de Smyrna (ca. A.D. 100) Y Nicomachus,
establece algebráicamente que sn = tn + tn 1 :
Teorema 32 La suma de dos numeros triangulares consecutivos es un cuadra-

do.
Demostración.
n(n + 1) n(n 1)
tn + tn 1 = +
2 2
n n
= (n + 1 + n 1) = (2n)
2 2
= n2 = sn :
A continuación se presentan algunos resultados a través de dos teoremas

cuyas demostraciones se dejan como ejercicio.
1.6. NÚMEROS POLIGONALES 37
Figura 1.6: Números Pentagonales
Teorema 33
t2n 1 + t2n = tn2 :
Teorema 34
8tn + 1 = (2n 1)2
8tn 1 + 4n = (2n)2
El siguiente turno es para los números pentagonales10 pn :
Números Pentagonales
Los primeros tres números pentagonales son 1; 5 y 12 son ilustrados en la
Figura 1.6 y se puede notar que
n(3n 1)
pn =
2
(Ver sección de ejercicios).
Una interesante relación que conecta números triangulares, cuadrados y pen-
tagonales puede establecerse de la siguiente forma,
tn 1 + sn = pn ; n 2;
esto puede veri…carse algebráicamente y se deja como ejercicio para el lector.
11
A continuación se discutira respecto a los números hexagonales hn :
1 0 El pre…jo griego penta signi…ca cinco

1 1 El pre…jo griego hexa signi…ca seis
Figura 1.7: Números hexagonales
Números Hexagonales
La Figura 1.7 muestra la representación grá…ca de los primeros tres números
hexagonales 1; 6 y 15. Se puede veri…car que
hn = n(2n 1); n 1
(Ver sección de ejercicios).

Los números triangulares, pentagonales y hexagonales satisfacen la relación
p n + tn 1 = hn
se puede veri…car esto (Ver sección de ejercicios).
Ejercicios 1.6
1. Resuelva la relación de recurrencia para tn :
2. Encuentre el valor de n tal que tn = 666: (El número 666 se conoce como
el número de la bestia)
3. Resuelva la relación de recurrencia para sn :
4. Muestre que 8tn + 1 = s2n+1 : Diofanto
5. De…na recursivamente el n ésimo número pentagonal pn :
6. Usando la relación en el ejercicio 5, encuentre una formula explícita para
pn :
Pruebe para n 2.
7. t2n 1 + t2n = tn2
8. pn + tn 1 = hn
1.7. NÚMEROS PIRAMIDALES 39
Figura 1.8: Números Piramidales Triangulares
9. De…na recursivamente el n ésimo número hexagonal hn :

10. Usando la relación de recurrencia en el ejercicio 9, encuentre una formula
explícita para hn :
1.7. Números Piramidales
Ahora se estudiará …guras sólidas de números, las cuales están comprendidas

por enteros positivos que pueden ser representados de forma piramidal. Se ob-
tienen realizando sumas sucesivas de los correspondientes números poligonales.
Los números de lados en la base de una pirámide se incrementa a partir de
tres, de esta forma se obteniendo los diversos números piramidales, como los
triangulares, cuadrados, pentagonales, hexagonales y así sucesivamente.
Se iniciará con el más simple de los números piramidales, los números pi-
ramidales triangulares, también conocidos como números tetraédricos.
Números Piramidales Triangulares

El n ésimo número piramidal triángular T n es la suma de los n primeros
números triangulares tn . Los cuatro primeros números son de la forma: T1 = 1;
T2 = t1 +t2 = 1+3 = 4; T3 = t1 +t2 +t3 = 1+3+6 = 10; y T4 = t1 +t2 +t3 +t4 =
1 + 3 + 6 + 10 = 20. La Figura 1.8 permite observar la obtención de los diferentes
números piramidales triangulares, apilando canicas en el orden mostrado.
Los diferentes números pirámidales triángulares pueden construirse utilizan-
do la regularidad presentada en la Tabla 1.9. Luego, para obtener el 5o número
piramidal triangular se suma el 4o número piramidal triangular con el 5o número
triangular. De manera general Tn = Tn 1 + tn ; que equivale a, Tn = Tn 1 +

[n(n + 1)]=2:Ya que
n
X
Tn = ti;
i=1
de la sección anterior se tiene que:

n
X i(i + 1)
Tn =
i=1
2
n(n + 1)(n + 2)
=
6
n+2
=
3
Por consiguiente, Tn también puede ser leído en el triángulo de Pascal.
Números Piramidales Cuadrados

Aquí la base de la piramide para la obtención de los número piramidales
cuadrados es, efectivamente un cuadrado. Y cada nivel contiene sn puntos. La
Figura 1.10 muestra la construcción del 4o número piramidal cuadrado, utilizan-
do una estructura a partir de canicas.
Los primeros cuatro números piramidales cuadrados son 1, 5, 14 y 30.
Los números cuadrados pirámidales, notados Sn ; pueden construirse fácilmente
usando la estructura presentada en la Figura 1.11.Luego el n ésimo número
piramidal cuadrado se puede obtener
n
X n
X
Sn = sk = k2
k=1 k=1
n(n + 1)(2n + 1)
= :
6
Números Piramidales Pentagonales

La n ésima …la de una pirámide pentagonal representa el n ésimo número
pentagonal pn , los primeros cinco números pirámidales pentagonales son 1,
Figura 1.9: Regularidad Números Piramidales Triangulares

1.7. NÚMEROS PIRAMIDALES 41
Figura 1.10: Construcción del 4o número piramidal cuadrado
Figura 1.11: Regularidad Números Piramidales Cuadrados
6, 18, 40, y 75. Una vez más, se presenta mediante la Figura 1.12 la regularidad
para su construcción.Se propone como ejercicio encontrar una fórmula explícita
para el n ésimo número piramidal pentagonal notado Pn .
Figura 1.12: Regularidad Números Piramidales Pentagonales
Finalmente se hablará de los números pirámidales hexagonales Hn :
Números Piramidales Hexagonales

La n ésima …la de una piramide hexagonal representa el n ésimo número
hexagonal hn , los primeros cinco números pirámidales hexagonales son 1,
7, 22, 50 y 95. De igual manera, se propone como ejercicio, con base en la Figura
1.13, encontrar una formula explícita para Hn .
Ejercicios 1.7
1. Encuentre los primeros cuatro números triangulares que son cuadrados.
2. Usando la relación de recurrencia Tn = Tn 1 + n(n+1)

2 donde T1 = 1;
encuentre una formula explícita para el n ésimo número triangular pi-
ramidal Tn :
3. De…na recursivamente en n ésimo número piramidal cuadrado Sn .
4. Usando el ejercicio 3, encuentre una formula explicita para Sn :
5. Encuentre una formula para el n ésimo número piramidal pentagonal Pn :
6. De…na recursivamente el n ésimo número piramidal pentagonal Pn :
7. Use el ejercicio 6, encuentre una formula explícita para Pn :
8. Encuentre una formula para el n ésimo número piramidal hexagonal Hn :
9. De…na recursivamente el n ésimo número piramidal hexagonal Hn :
10. Use el ejercicio 9, encuentre una formula explícita para Hn :
1.8. Números de Catalán
Los números de Catalan son un un conjunto de números que encajan de

manera perfecta dentro de este contexto, ellos son excelentes candidatos para la
exploración, la experimentación y para establecer conjeturas. Como los números
de Fibonacci y de Lucas, ellos tienen, como Martin Gardner escribió en la Scien-
ti…c American, "la misma encantadora propensión para aparecer de improviso,
en particular en problemas combinatorios "(1976). Aquellos sitios inesperados
en donde aparecen incluyen el álgebra abstracta, la teoría combinatoria, la in-
formática, la teoría grafos, y la geometría.
Los números de Catalán son llamados así luego de que el matemático bel-
ga Eugene C. Catalán, los descubriera en 1838, mientras él estudiaba las se-
cuencias gramaticalmente correctas de paréntesis. Antes, alrededor de 1751, el
excepcional matemático suizo Leonhard Euler los encontró estudiando las tri-
angulaciones de polígonos convexos.
Figura 1.13: Regularidad Números Piramidales Hexagonales

1.8. NÚMEROS DE CATALÁN 43
Figura 1.14: El Problema de la Triangulación de Euler
El Problema de la Triangulación de Euler

Se inicia el estudio de los números de Catalán Cn ; con la investigación de
Euler del problema de la triangulación:
Problema 35 Encuentre el número de formas An ; en que el interior de un

n ágono convexo12 puede ser dividido en áreas triangulares no superpuestas
dibujando diagonales que no se cruzan, donde n 3:
Hay sólo un forma de dividir un triángulo en áreas triangulares, dos modos

diferentes de dividir en áreas triangulares un cuadrado, cinco modos diferentes
de dividir en áreas triangulares un pentágono, y 14 modos diferentes de dividir
un hexágono, como se muestra en la Figura 1.14. Así, se tienen los números de
Catalán 1, 2, 5, y 14.Se propone como ejercicio para el lector encontrar las 5
formas de dividir en áreas triangulares el pentagono.
Euler usa un argumento inductivo para establecer la formula
2 6 10 (4n 10)
An = para n 3
(n 1)!
para incluir los casos n = 0; 1; 2 haciendo k = n 3 se tiene
2 6 10 (4k + 2)
Ak+3 = para k 0
(k + 2)!
Así, A3 = 1; A4 = 2; A5 = 5; se obtienen de la anterior expresión asignando

valores de k = 0; k = 1 y k = 2 y que corresponden a los números de Catalán
1 2 Un n ágono convexo es un polígono con n lados tal que todas sus diagonales quedan
totalmente en el interior del polígono.

C1 ; C2 ; C3 respectivamente. Cambiando dos espacios a la derecha se tiene que

Cn = An+2 ; luego
2 6 10 (4n 2)
Cn = An+2 = para n 1;
(n + 1)!
pero
2 6 10 (4n 2)
Cn =
(n + 1)!
(4n 2) 2 6 10 (4n 6)
=
n+1 n!
(4n 2)
= Cn 1
n+1
Cuando n = 1 se tiene que C1 = C0 ; pero ya que C1 = 1; de…niendo C0 = 1 se
puede escribir la recursividad de los números de Catalán como sigue.
Una De…nición Recursiva de Cn
C0 = 1
(4n 2)
Cn = Cn 1 si n 1:
n+1
Una Formula Explícita para Cn

Para la solución de la relación de recurrencia presentada antes se tiene,
(4n 2)
Cn = Cn 1
n+1
(4n 2) (4n 6)
= Cn 2
n+1 n
(4n 2) (4n 6) (4n 10)
= Cn 3
n+1 n n 1
..
.
(4n 2)(4n 6)(4n 10) 6 2
= C0
(n + 1)n(n 1) 3 2
(2n 1)(2n 3)(2n 5) 3 1
= 2n
(n + 1)!
(2n 1)(2n 3)(2n 5) 3 1 2 4 (2n)
= 2n
(n + 1)! 2 4 (2n)
(2n)! 1
= 2n
(n + 1)! 2n [1 2 n]
(2n)! 1
= 2n
(n + 1)! 2n n!
1 (2n)! 1 2n
= = :
(n + 1) n!n! n+1 n
1.8. NÚMEROS DE CATALÁN 45
2n
Ya que (n + 1)j (se propone esta a…rmación como ejercicio para el
n
lector)13 , de esto se sigue que todo número de Catalan es entero positivo. A
continuación se presentan los primeros números de Catalan:
1; 1; 2; 5; 14; 42; 132; 429; 1430; 4862; 16796; 58786; :::
Se sigue desde la formula explícita que todo número de Catalán Cn puede

extraerse desde el triángulo de Pascal: Dividiendo cada coe…ciente binomial
2n
central entre (n + 1);
n
#
0
0
1 1
0 1
2 2 2
0 1 2
3 3 3 3
0 1 2 3
4 4 4 4 4
0 1 2 3 4
"
Ejercicios 1.8
Probar.
1 2n
1. Cn =
n n 1
2n 2n
2. Cn =
n n 1
2n 2n
3. Cn+1 =
n n 2
1 2n + 1
4. Cn =
2n + 1 n
2n 1 2n 1
5. Cn =
n 1 n 2
2n 2n + 1
6. Cn = 2
n n
1 3 ajb signi…ca que a es factor de b, o que a divide a b.
2n + 1 2n
7. Cn = 2
n+1 n+1
Usando la formula recursiva
b(n 1)=2c
X n 1
Cn = 2n 2r 1
Cr
r=0
2n
calcule Cn para cada valor de n:

8. n = 5
9. n = 6
Capítulo 2
Divisibilidad
Este Capítulo continua con el estudio de las propiedades de los enteros y

explora los números primos, los cuales son un componente básico de éste con-
junto, los números compuestos y una clase particular de números denominados
números de Fermat.
2.1. El Algoritmo de la División

El algoritmo de división es una …na aplicación del principio del buen orden y
a menudo se emplea como método de comprobación del proceso de la división.
Suponga que un entero a se divide por un entero positivo b. Entonces se
consigue un único cociente q y un único residuo (o resto) r, donde el residuo
satisface la condición 0 r < b; a es el dividendo y b es el divisor. Esto
formalmente se establece de la siguiente forma.
Teorema 36 (El Algoritmo de la División) Sea a cualquier entero y b un

entero positivo. Entonces existen enteros únicos q y r tales que
a=b q+r
donde 0 r < b:
Demostración. La prueba consiste en dos partes. Primero se establecera la

existencia de los enteros q y r y luego se mostrará que ellos son únicos.
Demostración de la existencia
Considere el conjunto S = fa bnj(n 2 Z) y (a bn 0)g : Claramente,
S W: Se desea mostrar que S tiene un mínimo elemento. Para este …n, primero
se muestra que S es un subconjunto no vacio de W :
47
48 CAPÍTULO 2. DIVISIBILIDAD
Caso 1. Suponga a 0: Entonces a = a b 0 2 S; así S contiene un elemento.
Caso 2. Suponga a < 0: Ya que b 2 Z+ ; b 1: Entonces ba a; esto es,

a ba 0: Consecuentemente, a ba 2 S:
En ambos casos, S contiene al menos un elemento, así S es un subconjunto

no vacío de W: Por tanto, por el principio del buen orden, S contiene un mínimo
elemento r:
Ya que r 2 S, existe un entero q tal que r = a bq; donde r 0:
Por mostrar que r < b :
Se mostrará esto por contradicción. Escogiendo r b: Entonces r b 0:
Pero r b = (a bq) b = a b(q + 1): Ya que a b(q + 1) es de la forma
a bn y es 0; a b(q + 1) 2 S; esto es, r b es más pequeño que r y está en
S: Esto contradice la forma de escoger r; así r < b.
Así, hay enteros q y y talque a = bq + r; donde 0 r < b:
Demostración de la unicidad
Se quiere ahora mostrar que los enteros q y r son únicos. Asumiendo que
hay enteros q; q 0 ; r y r0 tal que a = bq + r y a = bq 0 + r0 ; donde 0 r < b y
0 r0 < b:
Asumiendo, por conveniencia, que q q 0 : Entonces r0 r = b(q q 0 ): Ya que
q q 0 ; q q 0 0 y ya que r0 r 0: Pero, ya que r0 < b y r < b; r0 r < b:
Suponga que q > q 0 ; esto es, q q 0 1: Entonces b(q q 0 ) b; esto es,
r0 r b: Que es una contradicción ya que r0 r < b: Por tanto, q q 0 ; así,
q = q 0 ; y ya que, r = r0 : Luego, los enteros q y r son únicos, completando la
prueba de unicidad.
Aunque tradicionalmente se haya dado a este teorema el nombre de algoritmo

de división, éste no presenta un algoritmo para encontrar q y r. Ellos se pueden
encontrar usando el método largo de la división.
Ejemplo 37 Encuentre el cociente q y el residuo r cuando
1. 207 se divide por 15
2. 23 se divide por 5
Solución.
1. 207 = 15 3 + 12; así q = 13 y r = 12:
2. Ya que 23 = 5 ( 4) + ( 3); se estaría tentado a decir que q = 4 y

r = 3: El residuo, sin embargo, nunca puede ser negativo. Pero 23 se
puede escribir como 23 = 5 ( 5) + 2; donde 0 r(= 2) < 5 (Ver la
recta numérica en la Figura 2.1). De esta forma, q = 5 y r = 2:
2.1. EL ALGORITMO DE LA DIVISIÓN 49
Figura 2.1: Ilustración de la division de 23 entre 5 en la recta numérica.
Puede notarse que la ecuación a = bq + r puede escribirse

a r
=q+ ;
b b
donde 0 r=b < 1: Consecuentemente, q = ba=bc y r = a bq = a b ba=bc :
Operadores Div y Mod

Los operadores binarios, div y mod, son frecuentemente usados en el área de
las matematicas discretas y computacionales para encontrar cocientes y residuos.
Se pueden de…nir de la siguiente forma:
a div b = cociente cuando a se divide entre b

a mod b = residuo cuando a se divide entre b
Por ejemplo, 23 div 5 = 4; y 23 mod 5 = 3; 23 div 5 = 5; y 23 mod 5 = 2;

como se argumento en el ejemplo anterior.
De las de…niciones anteriores se puede escribir
q = a div b = ba=bc
y
r = a mod b = a bq = a b ba=bc :
El Principio del Palomar y el Algoritmo de la División

El principio del palomar también conocido como el principio de las
cajas de Dirichlet luego de que el matemático alemán Gustav Peter Lejeune
Dirichlet lo usara extensivamente en sus trabajos sobre teoría de números. Este
principio puede ser utilizado en variadas situaciones.
Suponga m palomas volando hacia n palomares, donde m > n: ¿Cuál es su
conclusión? Ya que hay más palomas que palomares, al menos dos palomas se
posarán en el mismo palomar; en otras palabras, hay palomares que contendrán
dos o más palomas.
Se establecerá y probará a continuación una versión simple del principio de

palomar.
Teorema 38 (El Principio del Palomar) Si m palomas son asignadas a

n palomares, donde m > n; entonces al menos dos palomas ocupan el mismo
palomar.
Demostración. (por contradicción) Suponga que la conclusión es falsa; esto

es, no hay dos palomas que ocupan el mismo palomar. Entonces toda paloma
puede ocupar un distinto palomar, así n m; lo cual contradice la hipótesis
que m > n. Así, dos o más palomas ocupan el mismo palomar.
Ejemplo 39 El principio del palomar permite probar que en nuestra ciudad

existen dos personas que tienen el mismo número de pelos en la cabeza. La
situación se puede argumentar de la siguiente manera, suponga que una persona
tiene a lo más 150.000 pelos en la cabeza, habrán calvos (0 pelos en la cabeza),
personas con tendencia a la calvicie (digamos 100 pelos en la cabeza), en …n,
ellos se podrían clasi…car dependiendo del número de pelos en la cabeza. Suponga
que en un primer cuarto entran todos los calvos, en un segundo cuarto entran
los que tienen un pelo y así sucesivamente en el último cuarto entran los que
tienen 150 mil pelos. De esta forma se tendrían 150.001 cuartos en donde están
todos los habitantes de nuestra ciudad. Bajo estos supuestos, si nuestra ciudad
tiene más de 150.001 habitantes1 , por el teorema del palomar, necesariamente
debe existir un cuarto que tiene al menos dos personas, esto es, tienen la misma
cantidad de pelos en la cabeza.
A continuación se presenta la relación de divisibilidad.
La Relación de Divisibilidad
Suponga que en el algoritmo de la división r = 0: Entonces a = bq + 0 = bq:
Se pude a…rmar que b divide a a; b es factor de a; a es divisible por b; o a es un
múltiplo de b; y se escribe bja: Si b no es factor de a; se escribe b - a:
Por ejemplo, 3j12; 5j30; pero 6 - 15:
Ejemplo 40 Sea b un entero 2: Suponga que b + 1 enteros se seleccionados

aleatoriamente. Probar que la diferencia de dos de ellos es divisible por b:
Solución. Sea q el cociente y r el residuo cuando un entero a se divide
por otro entero b: Entonces, por el algoritmo de la división, a = bq + r; donde
0 r < b: Los b + 1 enteros dan b + 1 residuos (palomas), pero hay solamente
b posibles residuos (palomares). Por tanto, por el principio del palomar, dos de
los residuos deben ser iguales.
1 La siguiente página de Internet permite, oprimiendo la tecla F5, saber cuántos habitantes
tiene la ciudad de Bogotá en un instante, en el momento en que se escribe este texto hay
7.261.523 habitantes:
http://www.sdp.gov.co:8443/www/formula_contador.php
Sean x y y los corrrespondientes enteros. Entonces x = bq1 + r y y = bq2 + r

para algunos cocientes q1 y q2 : Por tanto,
x y = (bq1 + r) (bq2 + r)
= b (q1 q2 )
así, x y es divisible por b:
Un Acertijo Intrigante
Piense en un número de tres dígitos abc: Multiplique el número abc y sus
sucesivas respuestas por 7; 11 y 13; respectivamente. Su respuesta es el número
abcabc: ¿Sorprendido? ¿Puede usted explicar el porqué de este resultado?
A continuación se estudian varias propiedades de la divisibilidad. Se deja al

lector sus pruebas como ejercicios.
Teorema 41 Sean a y b enteros positivos tales que ajb y bja: Entonces a = b:
Teorema 42 Sean a; b, c, y enteros cualesquiera.2 Entonces
1. Si ajb y bjc; entonces ajc: (Propiedad Transitiva)

2. Si ajb y ajc; entonces aj( b + c):
3. Si ajb; entonces ajbc:
Observación La expresión b + c se llama combinación lineal de b y c:

Así, por la parte 2, si a es un factor de b y c; entonces a es también combinación
lineal de b y c: En particular, aj(b + c) si = = 1 y aj(b c) si =1 y
= 1:
La función piso puede usarse para determinar el número de números enteros

positivos menores o iguales que un número entero positivo a y divisible por un
número entero positivo b, como el siguiente teorema muestra.
Teorema 43 Sean a y b enteros positivos. Entonces el número de enteros po-

sitivos a y divisible por b es ba=bc :
Demostración. Suponga que hay k enteros positivos a y divisibles por b:

Se necesita mostrar que k = ba=bc : Los múltiplos positivos de b menores o
iguales que a son a; 2b; :::; kb: Claramente, kb a; esto es, k a=b: Más aun,
(k + 1)b > a: Así, k + 1 > a=b o a=b 1 < k: Por lo tanto,
a a
1<k :
b b
2 y son las letras griegas alfa y beta.
Así, k es el más largo entero menor o igual a a=b; luego k = ba=bc :
Por ejemplo, el número de enteros positivos 2076 y divisibles por 19 es

b2076=19c = b109; 26316c = 109:
A continuación, se consideraran algunos aspectos de conjuntos y de el prin-
cipio de inclusión-exclusión.
Unión, Intersección y Complemento

Sea A un conjunto …nito y sea jAj el número de elementos en A: Por ejemplo,
si A = f3; 5; 8; 17g ; entonces jAj = 4: (En el Capítulo 1, se utilizó las barras
verticales para denotar el valor absoluto de un número, pero aqui denotará el
número de elementos en un conjunto. El signi…cado de la notación debe poder
deducirse dependiendo del contexto.)
Sean A y B dos conjuntos . Su unión A [ B es el conjunto de elementos
pertenecientes a A o a B; su intersección A \ B consiste en los elementos
comunes; A0 denota el complemento de A; esto es, el conjunto de elementos en
el conjunto universal que no están en A:
A continuación se estudiará el principio de inclusión-exclusión.
Teorema 44 (El Principio de Inclusión-Exclusión) Sean A1 ; A2 ; :::; An n

conjuntos …nitos. Entonces
n
[ X X
Ai = jAi j jAi \ Aj j
i=1 1 i n 1 i<j n
X n
\
n+1
+ jAi \ Aj j + ( 1) Ai :
1 i<j<k n i=1
Los siguientes dos ejemplos son simple aplicaciones de este teorema.
Ejemplo 45 Encuentre el número de enteros positivos 2076 y divisibles por

ambos, 4 y 5:
Solución. Sea
A = fx 2 Njx 2076 y divisibles por 4g
y
B = fx 2 Njx 2076 y divisibles por 5g :
Entonces
jA [ Bj = jAj + jBj jA \ Bj
= b2076=4c + b2076=5c b2076=20c
= 519 + 415 103 = 831:
Así, entre los primeros 2076 números enteros positivos, hay 2076 831 = 1245
números enteros no divisibles por 4 o 5.
Ejemplo 46 Encuentre el número de enteros positivos 3000 y divisibles por

3; 5 o 7:
Solución. Sean A, B y C los conjuntos enteros positivos 3000 y divisibles
por 3; 5 o 7: Por el principio de inclusión-exclusión,
jA [ B [ Cj = jAj + jBj + jCj jA \ Bj jB \ Cj jA \ Cj + jA \ B \ Cj

= b3000=3c + b3000=5c + b3000=7c b3000=15c
b3000=35c b3000=21c + b3000=105c
= 1629:
Ahora se retornará al algoritmo de la división y se discutirá sobre algunas

propiedades de la divisibilidad que envuelve enteros pares e impares.
Enteros Pares e Impares

Suponga que enel algoritmo de la división se hace b = 2: Entonces se tiene
a = 2q + r; donde 0 r < 2: Así, r = 0 o r = 1: Cuando r = 0; a = 2q; tales
enteros son enteros pares. Cuando r = 1; a = 2q + 1; tales enteros son enteros
impares. Se sigue de esta de…nición que todo entero es uno de dos, par o impar,
pero no ambos.
Los Pitagóricos consideraron los números impares como masculinos y buenos,
y los números pares como femeninos y malos. El número 1 no fue considerado ni
masculino ni femenino. El número 5; es la suma del primer número masculino y
el primer femenino, por tanto fue considerado como el simbolo del matrimonio.
Algunos …lósofos, soportados por la temprana teología cristiana, identi…caron
los números con Dios.
Las siguientes propiedades también fueron conocidas por los Pitagóricos. Su
demostración se propone como ejercicio.
La suma de dos enteros pares es par.

El producto de dos enteros pares es par.
La suma de dos enteros impares es par.
El producto de dos enteros impares es par.
La suma de un entero par y uno impar es impar.
El producto de un entero par y uno impar es par.
Si el cuadrado de un entero es par, entonces el entero es par.
Si el cuadrado de un entero es impar, entonces el entero es impar.
Ejercicios 2.1
Encuentre el cociente y el residuo cuando el primer entero se divide por el
segundo.
1. 78; 11
2. 57; 75
3. 325; 13
4. 23; 25
Denote con f (n) el número de factores positivos del entero n: De esta
forma evalue.
5. f (16)
6. f (12)
7. f (15)
8. f (17)
Encuentre el número de enteros positivos 3076 y
9. Divisibles por 19
11. No divisibles por 17
Encuentre el número de enteros positivos en el rango de 1976 hasta 3776
que son
Marque como verdadero o falso, suponiendo que a; b y c son enteros arbi-
trarios.
17. 1ja
18. Si ajb; entonces aj b
19. aj0
20. Si ajb y bja; entonces a = b:
21. Si ajb; entonces a < b:
22. Si ajb; entonces ajb:
23. Si ajb y bjc entonces ajc:
24. Si a - b; entonces b - a:
25. Cero no divide ni a pares ni a impares.
26. No hay ningún residuo cuando un entero par se divide por 2:

Probar o refutar cada proposición, asumiendo a; b y c son enteros arbi-
trarios.
27. Si a2 = b2 entoces a = b.
28. Si ajb y bja; entonces a = b:
29. Si aj(b + c); entonces ajb y ajc:
30. Si ajbc entonces ajb y ajc:

Evalue asumiendo d entero positivo.
P
31. dj12 d
P
32. dj12 1
P 1
33. dj18 d
P 18
34. dj18 d
35. Un número desnudo es un número natural n tal que cada uno de sus dígitos
es un factor de n: Encuentre los números desnudos impares de tres dígitos
que no contienen dígitos repetidos.
Sea f una función de…nida recursivamente por
1 si 3jn
f (n) =
f (n + 1) en otro caso
36. Encuentre f (16)
37. Encuentre una formula explícita para f (n):

Probar cada proposición, asumiendo a y b son enteros positivos.
38. Si ajb y bja; entonces a = b.
39. Si ajb y cjd; entonces acjbd.
40. La suma y el producto de cualquier dos enteros pares son pares.

2.2. Con…guraciones Numéricas

Las con…guraciones de números son una diversión tanto para a…cionados co-
mo para profesionales. A menudo el interés recae en añadir una o dos …las al
modelo construido, entonces se debe tener capacidad para reconocer el modelo
para tener éxito en el arte de razonamiento inductivo. Esto requiere tanto ha-
bilidad como ingenio. En dos de los siguientes ejemplos, pruebas matemáticas
establecen la validez del modelo.
La siguiente fascinante con…guración numérica fue publicada en 1882 por el
matemático francés François-Edouard-Anatole Lucas.
Ejemplo 47 Estudie la siguiente con…guración numérica y adicione dos o más

líneas.
1 9 + 2 = 11
12 9 + 3 = 111
123 9 + 4 = 1111
1234 9 + 5 = 11111
12345 9 + 6 = 111111
123456 9 + 7 = 1111111
..
.
Solución. Aunque el modelo aquí sea muy obvio, se hacen unas observa-
ciones, se estudia, se buscar un comportamiento similar, y se aplica el modelo
para añadir dos líneas más:
El LMI de cada ecuación es la suma de dos números. El primer número

es el producto del número 123:::n y 9.
El valor de n en la primera ecuación es 1, en la segunda es 2, en la tercera
es 3, etc.
Observando los segundos sumandos en el LMI: 2; 3; 4; 5; :::: Esta es una
secuencia creciente que comienza en 2, así el segundo sumando en la
n ésima ecuación es n + 1.
El LMD de cada ecuación es un número cada vez mayor de 1s, la n ésima
ecuación contiene n + 1 unos.
Así, el modelo que es: El primer número en la línea n ésima es 123:::n;

el segundo número es siempre 9; el segundo sumando es n + 1; y el LMD está
compuesto de n + 1 unos.
Así las dos siguientes líneas son
1234567 9 + 8 = 11111111
12345678 9 + 9 = 111111111
2.2. CONFIGURACIONES NUMÉRICAS 57
Ejemplo 48 Estudie la con…guración numérica y adicione dos o más …las:
1 8+1 = 9
12 8+2 = 98
123 8+3 = 987
1234 8+4 = 9876
12345 8+5 = 98765
123456 8+6 = 987654
..
.
Solución. Un mirada a varias …las revela el modelo siguiente: El primer

factor del producto en el LMI de la ecuación n ésima tiene la forma 123:::n; el
segundo factor es siempre 8. El segundo sumando en la ecuación es n. El número
en el LMD de la ecuación n ésima contiene n dígitos, cada uno comienza con
el dígito 9, y de izquierda a derecha cada dígito disminuye en 1.
Así las dos siguientes líneas de la con…guración son
1234567 8 + 7 = 9876543
12345678 8 + 8 = 98765432
¿Qué garantiza que estos dos modelo se sostendrán? En general, las con-
clusiones alcanzadas después de la observación del modelo no tienen que ser
verdaderas. En otras palabras, el razonamiento inductivo no necesariamente
nos conduce a conclusiones verdaderas.
Por ejemplo, considere la secuencia 0; 1; 2; 3; 4; 5; 6:::: Claramente, hay un
modelo. ¿Cuál es el siguiente número en la secuencia? ¿Es el 7? Éste es segu-
ramente una posibilidad, pero el siguiente número también podría ser 0 para
obtener el modelo 0; 1; 2; 3; 4; 5; 6; 0; 1; 2::::
Por suerte, es posible establecer la validez de cada modelo usando pruebas
matemáticas, como lo muestran los dos ejemplos siguientes.
Ejemplo 49 Establezca la validez del Ejemplo 47.

Demostración. Se quiere probar que
123:::n 9 + (n + 1) = 11
| :{z
: : 11}
n+1 un os
LMI = 123:::n 9 + (n + 1)
= 9 1 10n 1 + 2 10n 2
+ 3 10n 3
+ + n + (n + 1)
n 1 n 2 n 3
= (10 1) 1 10 + 2 10 + 3 10 + + n + (n + 1)
n n 1 n 1
= 10 + 2 10 + + n 10 10 + 2 10n 2
+ + n + (n + 1)
n n 1 n 2
= 10 + 10 + 10 + + 10 + 1
= |11 :{z
: : 11}
n+1 unos
= LMD
(Sería interesante ver si este resultado se mantiene para cualquier entero posi-
tivo n; inténtelo.)
Se estudiará un ejemplo adicional.
Ejemplo 50 Adicione dos o más …las en el siguiente modelo, conjeture una

formula para la n ésima …la, y pruebela:
9 9+7 = 88
98 9+6 = 888
987 9+5 = 8888
9876 9+4 = 88888
98765 9+3 = 888888
..
.
Solución.
Las siguientes dos …las de con…guraciones son
987654 9 + 2 = 8888888
9876543 9 + 1 = 88888888
La con…guración general esta dada por
987:::(10 n) 9 + (8 n) = 888
| :{z
: : 888}; 1 n 8
n+1 ochos
Para probar la conjetura:

2.2. CONFIGURACIONES NUMÉRICAS 59
Demostración.
LMI = 987:::(10 n) 9 + (8 n)
= (10 1)[9 10n 1 + 8 10n 2 + 7 10n 3 + + (11 n)10
+(10 n)] + (8 n)
= [9 10n + 8 10n 1 + + (11 n)102 + (10 n)10]
n 1 n 2
[9 10 + 8 10 + + (11 n)10 + (10 n)] + (8 n)
n n 1 n 2
= 9 10 (10 + 10 + + 10) (10 n) + (8 n)
n n 1 n 2
= 9 10 (10 + 10 + + 10 + 1) 1
= 10 10n (10n + 10n 1 + + 10 + 1) 1
k
X
10n+1 1 rk+1 1
= 10n+1 1; ya que ri = (r 6= 1)
9 i=0
r 1
8(10n+1 1)
=
9
Pero
10n+1 1 = |99 :{z
: : 99}
n+1 n ueves
así
10n+1 1
= |11 :{z
: : 11}:
9
n+1 un os
Por tanto,
8(10n+1 1)
LMI = = 88 : : 88} = LMD
| :{z
9
n+1 ochos
Ejercicios 2.2
Encuentre los siguientes dos elementos de cada secuencia.
1. 1; 3; 6; 10; 15; :::

2. 1; 4; 7; 10; 13; :::
3. 1; 5; 12; 22; 35; :::
4. 1; 6; 15; 28; 45; :::
5. 1; 4; 10; 20; 35; :::
6. 1; 5; 14; 30; 55; :::
7. 1; 1; 2; 3; 5; 8; :::
Adicione dos o más …las a cada con…guración numérica.
8.
0+1 = 1
1+3 = 4
4+5 = 9
9+7 = 16
9.
1 = 1
1+2 = 3
1+2+3 = 6
1 + 2 + 3 + 4 = 10
10.
1+0 1 = 1
1+1 3 = 4
1+2 4 = 9
1+3 5 = 16
11.
23 2 = 1 2 3
33 3 = 2 3 4
43 4 = 3 4 5
53 5 = 4 5 6
12.
1 1 = 1
11 11 = 121
111 111 = 12321
1111 1111 = 1234321
11111 11111 = 123454321
13.
7 7 = 49
67 67 = 4489
667 667 = 444889
6667 6667 = 44448889
66667 66667 = 4444488889
2.3. NÚMEROS PRIMOS Y COMPUESTOS 61
14.
123456789 9 = 111111111
123456789 18 = 222222222
123456789 27 = 333333333
123456789 36 = 444444444
123456789 45 = 555555555
15.
4 4 = 16
34 34 = 1156
334 334 = 111556
3334 3334 = 11115556
33334 33334 = 1111155556
16.
102 10 + 1 = 91
104 102 + 1 = 9901
106 103 + 1 = 999001
108 104 + 1 = 99990001
1010 105 + 1 = 9999900001
17-24. Conjeture una formula para la n ésima …la en cada una de las con…gura-
ciones en los ejercicios del 9 al 16.
25-29. Establezca la validez de su formula en los ejercios 17-20 y 24.
2.3. Números Primos y Compuestos

Los números primos están contenidos en la familia de los números enteros
positivos. Por medio de dos algoritmos que son usados a menudo, podemos
determinar si un número entero positivo es primo. Algunos enteros positivos
tienen exactamente dos factores positivos, otros tienen más de dos. Por ejemplo,
3 tiene exactamente 2 factores positivos, 1 y 3; otros como el 6 tienen por ejemplo
4, estos son: 1, 2, 3 y 6.
Ahora de acuerdo con lo que se ha analizado, se dará la siguiente de…nición:

Números Primos y Compuestos

Un entero positivo > 1 es un número primo (o simplemente un primo) si solo
tiene dos factores primos, uno y él mismo. Un entero positivo mayor que uno
que no sea un primo, es un número compuesto (o simplemente un compuesto).
Se notará por de…nición que 1 no es ni número primo, ni tampoco número
compuesto, este es justamente la unidad multiplicativa o la unidad.
Los diez primeros primos son 2, 3, 5, 7, 11, 13, 17, 19, 23 y 29; los diez
primeros números compuestos son 4, 6, 8, 10, 12, 14, 15, 16 y 18.
Siguiendo la de…nición, el conjunto de números positivos pueden ser divididos
en tres clases:
El conjunto de los primos, el conjunto de los compuestos, y el conjunto f1g.
¿Cuántos primos hay? ¿Hay alguna forma sistemática para determinar si un

números positivo es primo?
Para responder a la primera pregunta, es necesario el siguiente Lema3 , el
cual se prueba por inducción. Puede también probarse por contradicción.
Lema 51 Todos entero n 2 tienen un factor primo.
Demostración. (induccion fuerte) La proposición dada es claramente cierta

cuando n = 2: Ahora se asumirá que también es verdadera para todos los enteros
positivos n k, donde k 2. Ahora se considerará el entero k + 1.
Caso 1. Si k+1 es un primo, entonces k+1 tiene un factor primo (él mismo).
Caso 2 Si k + 1 no es un primo, k + 1 es un número compuesto, entonces
éste debe tener un factor d k. Ahora, por hipótesis de inducción, d tiene un
factor primo p. Luego, p es un factor primo de k + 1, por el Teorema 42.
Así, por la versión fuerte de inducción, la proposición es verdadera para
todo entero 2; Luego hemos demostrado que todo número entero 2 tiene
un factor primo.
Puede probarse que hay un número in…nito de primos. Este resultado ele-
gante presentado por Euclides, es muy usado en teoría de números. Se usará
esencialmente su técnica proveniente del libro IX de los Elementos, para su
prueba. Pueden observarse pruebas alternativas de este resultado.
Teorema 52 Hay in…nitos números primos.
Demostración. (por contradicción) Asuma que hay un número …nito de

primos, p1 ; p2 ; :::; pn . Considere el entero N = p1 ; p2 :::pn + 1: Ya que N 2, por
Lema 51 N es divisible por algún primo pi , donde 1 i n. Ya que pi jN y
pi jp1 p2 pn ; entonces pi j(N p1 p pn ), por Teorema 42; es decir, ij1 lo cual
es imposible.
Así, la suposición hecha es falsa, por tanto tienen que haber in…nitos números
primos.
3 Un lema es un menor resultado usado para probar un teorema.
La prueba de este teorema gira en la escogencia del número En = p1 p2 :::pn +

1, donde pi denota el i ésimo primo e i 1. Los primeros 5 valores de En son
E1 = 3; E2 = 7; E3 = 31; E4 = 211 y E5 = 2311, todos primos. Desafortunada-
mente, no todos los valores de En son primos. En 1996 A. A. K. Majumdar de
la universidad Jahangirnagar , Bangladesh estableció un cota superior para En ,
cuando n 6: En < (pn+1 )n 2 : Esto se puede establecer usando inducción.
Primos y Pi
Ahora se hace una interesante disgresión. En 1734 el gran
P matemático suizo
Leonard Euler mostró que la suma de primos recíprocos p p1 diverge. Sin em-
Q
bargo, el producto in…nito 1 p12 converge a un límite . De hecho, puede
p
mostrarse que
X1
1 1 1 1 1
= 2
= 2+ 2+ 2+ :
n=1
n 1 2 3
P1 2
En 1734 Euler también mostró que n=1 n12 = 6 entonces = 6 4
2 :
Q
Así pues, p 1 p12 = 62 0;6079271018:
Ahora que ya se sabe que hay un número in…nito de primos, ¿puede en-
contrarse algoritmos para determinar la primalidad de enteros 2?. El gran
matemático alemán Gauss escribió en 1801 en Disquisitiones Arithmeticae:“ El
problema de distinguir número primos de números compuestos... se conoce por
ser uno de los más importantes y útiles en la aritmética... Mas allá, la dignidad
de la ciencia en si requiere que todo posible signi…cado sea explorado para la
solución de un problema muy elegante y muy celebrado”. Afortunadamente, hay
un algoritmo que está basado en siguiente resultado.
p
Teorema 53 Todo numero compuesto n tiene un factor primo n:
Demostración. (por contradicción) Ya que n es compuesto, hay enteros

positivos
p a y bptales que n = ab, donde
p p 1 < a < n y 1 < b < n Suponga
a > n y bp> n. Entonces
p n = ab > n n = n, lo cual es imposible. Por lo
tanto,pa n o bp n. Ya que ambos, a y b son enteros. de esto se sigue que
a b nc o b b nc.
Por Lema 51 todo entero positivo 2 tiene un factor primo. Tal factor de a
o bptambién es un factor de a b = n, por lo tanto n debe tener un factor primo
n:
Observación
p Se sigue del Teorema anterior que si n no tiene factores
primos b nc ; entonces n es un número primo; en otro caso, n es un número
compuesto.
4 es la letra griega nu.

Este hecho puede usarse para determinar cuando un entero n 2 es primo,

como en el siguiente ejemplo.
Ejemplo 54 Determinar si 1601 es un número primo. p

Solución. Primero se lista todos los números primos 1601 . Estos son
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31 y 37.
Dado que ninguno es factor de 1601, es un número primo.
La Criba de Eratóstenes
El Teorema 53 también es la base de un antiguo algoritmo, la “criba” de
Eratóstenes, usado para encontrar todos los primos a un entero positivo n.
Es un e…ciente algoritmo para n < 106 . Se Ilustra el mecanismo de la “criba”
para n = 100 en la Figura 2.2.
Para encontrar todos los primos 100, primero se enlistan todos los en-
teros positivos del 1 al 100. Entonces eliminamos al 1 y a todos los números
compuestos 100 como sigue. Por el p Teorema 53, cualquier número compuesto
100 debe tener un factor primo 100 , que es, 10. Pero los primos 10
son 2; 3; 5; 7, entonces los números compuestos 100 son aquellos números
positivos divisibles por alguno de ellos.
Para eliminar los no primos de la lista primero se comienza con el 1 ya que no
es primo (coloreamos con gris su recuadro), ahora a todos los múltiplos de 2; 3;
5; 7 pero no a ellos ya que son primos. Los números ya eliminados no necesitan
ser sombreados nuevamente. Los que quedan son los primos 100.
Hay 25 números primos 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53,
59, 61, 67, 71, 73, 79, 83, 89 y 97. Aunque la “criba” parezca un buen proceso,
a medida que n crezca el método se hace ine…ciente. De hecho, no existe un
método práctico para probar la primalidad de números grandes.
Figura 2.2: Criba de Eratóstenes

Teóricos de los números a menudo sueñan con encontrar formulas que generen
números primos para valores consecutivos de un variable entera n. Euler encon-
tró una formula en 1772: E(n) = n2 n + 41 la cual sirve para enteros positivos
n 40. Pero cuando n = 41; E(41) = 412 41 + 41 = 412 que no es un número
primo.
En 1798 Adrien-Marie Legendre (1752–1833) encontró la formula L(n) =
n2 + n + 41 que puede generar primos cuando 1 n 40. Note que L(n) =
E( n). Sin embargo, nadie nunca ha construido con éxito un polinomio f (n)
que genere números primos para todos los enteros n. La raazón se aclara en el
siguiente ejemplo:
Ejemplo 55 Probar que no existe un polinomio con coe…cientes enteros que

genere primos para todo entero n:
Demostración. (por contradicción) Suponga que existe tal polinomio, f (n) =
ak nk + ak 1 nk 1 + ::: + a1 n + a0 , donde ak 6= 0. Sea b un entero. Ya que f (n)
es siempre un primo, f (b) debe ser un primo p; esto es,
f (b) = ak bk + ak 1b
k 1
+ ::: + a1 b + a0 = p (2.1)
Sea t un entero arbitrario. Entonces
f (b + tp) = ak (b + tp)k + ak 1 (b + tp)k 1 + + a1 (b + tp) + a0

k k 1
= (ak b + ak 1 b + + a1 b + a0 ) + p g(t)
donde g(t) es un polinomio en t: Así,
f (b + tp) = p + pg(t), por la ecuación (2.1)

= p[1 + g(t)]
Entonces pjf (b + tp). Pero todo valor de f es primo, luego f (b + tp) debe ser
primo y de ahí f (b + tp) = p. Así, f (b) = p = f (b + tp). Esto implica que f
toma en el mismo valor in…nitamente veces, ya que t es un entero arbitrario.
Pero f (n) es un polinomio de grado k; entonces no puede asumir el mismo
valor más de k veces, siendo esto una contradicción.
Así pues, no existe ningún polinomio con coe…cientes enteros que genere solo
números primos.
Una Función Teórico-Numérica

Sea x un número real positivo. Entonces (x) denota el numero de primos
x.
Por ejemplo, (10) = 4; (28;75) = 9 y (100) = 25.
Usando la notación de sumatoria (x) se puede de…nir como:
X
(x) = 1; donde p denota un primo.
p x
La siguiente fórmula para (n) donde n es un entero positivo, puede ser

establecida usando el principio de inclusión-exclusión. Su prueba es complicada
y aquí se omite.
p
Teorema 56 Sea p1 ; p2 ; :::; pt ser primos n. Entonces
p X n X n
(n) = n 1 + ( n) +
i
pi i<j
p i pj
X n n
+ ::: + ( 1)t
p i pj pk p1 p2 :::pt
i<j<k
El siguiente ejemplo ilustra el resultado.
Ejemplo 57 Usando el teorema 2.10 encontrar el número de primos 100.

Solución. p
p
Aquí n = 100: Entonces ( n) = ( 100) = (10) = 4; Hay 4 primos
10, son 2; 3; 5; 7 llamémoslos p1 ; p2 ; p3 ; and p4 , respectivamente. Entonces por
el teorema 2.10
100 100 100 100

(100) = 100 1+4 + + +
2 3 5 7
100 100 100 100 100 100
+ + + + + +
2 3 2 5 2 7 3 5 3 7 5 7
100 100 100 100
+ + +
2 3 5 2 3 7 2 5 7 3 5 7
100
+
2 3 5 7
= 103 (50 + 33 + 20 + 14) + (16 + 10 + 7 + 6 + 4 + 2) (3 + 2 + 1 + 0) + 0
= 25
Lo cual es consistente con la deducción hecha a partir de la criba de Erastótenes.
Aunque la fórmula para (n) en el Teorema 56 es elegante en el sentido que

da el número exacto de cantidad de primos, no es muy práctica cuando n es muy
grande. Es aquí donde el teorema del número primo, uno de los más celebrados
resultados en teoría de números, llega a ser extremadamente útil. Este da un
valor aproximado de (n ), cuando n es muy grande.
Teorema 58 (El Teorema del Número Primo)
(x)
lm =1
x!1 x= ln x
Esto es, mientras x se haga mas grande (x) se aproxima a x= ln x:4
Gauss notó la similitud entre los valores de (x) y x= ln x, mientras x se haga

más grande y conjeturó el teorema en 1793, pero no dió una prueba. En 1850 el
matematico ruso Pafnuty Lvovich Chebychev hizo signi…cativos progresos hacia
la prueba, el probó que existen constantes positivas tales que
x x
a < (x) < b
ln x ln x
donde x 2:
En 1870, el matemático alemán Ernest Meissel (1826-1895) mostró que hay

5;761;455 números primos menores que 108 . En 1893, cien años después de
la conjetura de Gauss, el matemático danés N. P. Bertelsen a…rmó que hay
50;847;478 números primos menores que 109 . En 1959, sin embargo, Derrick
H.Lehmer (1905-1991) mostró que la respuesta de Bertelsen era incorrecta y
que el número correcto era 50;847;534. También mostro que existen 455;052;512
menores que 1010
En 1896, sin embargo, el matemático Frances Jacques Hadamard (1865-1963)
y el matemático Belga Charles-Jean-Gustave-Nicholas de la Valleé-Poussin (1866-
1962), trabajando independientemente, probó el teorema usado matemáticas
avanzadas.
Esta prueba era un jalón en el desarrollo de teoría de los números. Pero en

1950, el matemático húngaro Paul Erdös (1913-1996) y el matemático noruego
Alte Selberg (1917-) demostró el teorema usando cálculo elemental.
Según el teorema de número primo, cuando x es su…cientemente grande,
(x) puede ser aproximado por x= ln x (mirar columnas 2 y 3 en la Tabla 2.4).
Pero una mejor aproximación es la función li (x), de…nida por Gauss en 1792 a
la edad de 15 años,
Z x
dt
li (x) =
2 ln t
(x)
Se pude notar en la tabla que li (x) se aproxima a 1 más rápidamente
(x)
que x= ln x : En efecto, li (x) es una aproximación superior para valores pequeños
de x:
4 ln x denota el logaritmo natural de x:
(x) (x)
x (x) x= ln x li (x)
103 168 1;160 0;9438202
104 1229 1;132 0;9863563
105 9592 1;104 0;9960540
106 78498 1;085 0;9983466
107 664579 1;071 0;9998944
108 5761455 1;061 0;9998691
109 50847534 1;054 0;9999665
1010 455052512 1;048 0;9999932
En 1985, sin embargo, R. H. Hudson de la Universidad de Carolina del sur

mostró que no es verdad para valores arbitrarios de x. Cuatro años después, C.
Bays de la Universidad de Carolina del Sur y Hudson mostraron que (x) > li(x)
en la vecindad de 1;39822 10316 :
Aunque se haya establecido la in…nitud de los números primos, ¿Qué se
puede decir acerca de la distribución de los primos? ¿Cómo se distribuyen entre
los enteros positivos? ¿Hay enteros consecutivos que son primos? ¿Hay enteros
impares consecutivos que son primos?.
Primero, no hay pauta para distribuir los primos. Por ejemplo, 2 y 3 son los
únicos dos enteros consecutivos que son primos. También se sabe que 3, 5, y 7
son los único tres enteros impares consecutivos que son primos. Aunque hay sólo
dos enteros consecutivos que son primos, nosotros podemos encontrar cualquier
número de enteros consecutivos que son números compuestos, como nos mues-
tra el siguiente teorema. Este teorema muestra que los primos se encuentran
en intervalos imprevisibles. Su prueba es una prueba de existencia, así que se
necesita porporcionar n de tales números compuestos.
Teorema 59 Para todo entero positivo n, hay n enteros consecutivos que son
números compuestos.
Demostración. Considere n enteros consecutivos (n+1)!+2; (n+1)!+3; :::; (n+
1)! + (n + 1), con n 1. Suponga que 2 k n + 1, entonces kj(n + 1)!, así
kj[(n + 1)! + k], por Teorema 42, para cada k. Por lo tanto, cada uno de ellos
son un número compuesto.
Así, los n enteros consecutivos (n + 1)! + 2; (n + 1)! + 3; :::; (n + 1)! + (n + 1)

son compuestos.
El ejemplo siguiente ilustra el teorema.
Ejemplo 60 Encuentre seis enteros cosecutivos que sean compuestos.

Solución. Por el Teorema 59, hay seis enteros consecutivos que empiezan
con (n + 1)! + 2 = (6 + 1)! + 2 = 5042, a saber, 5042, 5043, 5044, 5045, 5046 y
5047: Aunque la cadena consecutiva más pequeña y que puede verse en la Figura
2.2 es 90, 91, 92, 93, 94, y 95.
Ejercicios 2.3
Marque verdadero o falso, asumiendo a, b, d y n son enteros positivos arbi-
trarios.
1. Un entero positivo no primo es compuesto.

2. Un entero positivo no compuesto es un primo.
3. Todo primo es impar.
4. No hay primos mayores que googolplex.5
5. Si p es primo entonces p + 2 es un primo.
6. Si p es primo entonces p2 + 1 es un primo.
7. Hay in…nitos números primos.
8. Hay un in…nito número de números compuestos.
9. Si p es primo tal que pjab; entonces pja o pjb:
10. Hay primos de la forma n! + 1
Determine si cada número es primo o compuesto.
11. 129
12. 217
13. 1001
14. 1729
Usando el Teorema 56, calcule el número de primos n para cada valor
de n:
15. 47
16. 61
17. 96
18. 131
19. Encuentre cinco enteros consecutivos < 100 que sean números compuestos.
Encuentre n enteros consecutivos que sean compuestos para cada valor de
n:
20. siete
21. ocho
5 Un googolplex es un número desmesuradamente elevado que corresponde a 10 elevado a
100
un googol, es decir, 10g o o g o l ó 1010 (un 1 seguido de googol ceros).
22. nueve
23. diez
24. Liste los primos de la foma n2 + 1 y < 100:
Encuentre los factores positivos en cada caso, asumiendo p y q primos
distintos.
25. pq
26. p2 q
27. pq 2
28. p2 q 2
Sea q1 = 2 y qn = q1 q2 qn 1 + 1; donde n 2:
29. Encuentre los cuatro primeros primos de la forma qn
30. Encuentre los números compuestos más pequeños de la forma qn :
31. De…na qn recursivamente.
Probar.
32. 2 y 3 so los dos únicos enteros consecutivos que son primos.
33. 3, 5 y 7 son los tres únicos enteros impares consecutivos que son primos.
34. Si p y p2 + 8 son primos, entonces p3 + 4 es también un primo. (D. L.
Silverman, 1968)
p
35. Si p es primo y 1 k p; entonces pj k
36. Sean p y q primos impares sucesivos y p+q = 2r: Entonces r es compuesto.

(J. D. Baum, 1966)
2.4. Números de Fermat

n
Los números de la forma fn = 22 + 1 fueron estudiados por el excepcional
matemático frances Pierre de Fermat y son llamados "números de Fermat".
Los cinco primeros números de Fermat son f0 = 3, f1 = 5, f2 = 17, f3 = 257, y
f4 = 65537.
El siguiente teorema, presenta una interesante relación de recurrencia que se
satisface para fn .
Teorema 61 Denote por fn el n ésimo número de Fermat, entonces fn =

fn2 1 2fn 1 + 2, donde n 1.
2.4. NÚMEROS DE FERMAT 71
n 1
Demostración. Para ésta demostración, se substituirá fn 1 = 22 + 1 en la
expresión fn2 1 2fn 1 + 2, y simpli…candola se demostrará que es igual a fn :
n 1 n 1
fn2 1 2fn 1 +2 = (22 + 1)2 2(22 + 1) + 2
h n 1 n 1
i n 1
= (22 )2 + 2(22 ) + 1 2(22 ) 2+2
n
= 22 + 1
= fn .
Esto completa la demostración.
Este Teorema conduce a una de…nición recursiva de fn :
Una de…nición recursiva de fn
f0 = 3
fn = fn2 1 2fn 1 + 2, n 1
Por ejemplo,
f1 = f02 2f0 + 2 = 9 2(3) + 2 = 5
y
f2 = f12 2f1 + 2 = 25 2(5) + 2 = 17
Podemos hacer una observación interesante sobre los números de Fermat.
Note que los números f2 = 17, f3 = 257, f4 = 65537, f5 = 4294967297, y f6 =
18446644033331951617 todos acaban en el mismo dígito decimal, 7. ¡Asombroso!
¿Qué podría usted conjeturar acerca de los números de Fermat?
Aquí está otra observación interesante: Los primeros cinco números de Fer-
mat 3, 5, 17, 257, y 65537 son primos. Fermat conjeturó que cada número de la
n
forma 22 + 1 era un número primo.
Sin embargo, en 1732 Euler estableció la falsedad de su conjetura producien-
do un contraejemplo. Él mostró que f5 es divisible por 641: f5 = 4294967297 =
641 6700417. Una demostración alternativa fue propuesta en 1926 por el matemáti-
co belga M. Kraitchik (1882-1957) en su Théorie des nombres.
El siguiente ejemplo proporciona una demostración elemental e inteligente,
por G. T. Bennett. La belleza de su demostración desmiente el hecho de que f5
sea primo, ya que tiene un factor diferente a él mismo y la unidad.
Ejemplo 62 Demuestre que 641jf5
Solution 63 Primero note que
641 = 5 27 + 1 (2.2)
Ahora
5
22 + 1 = 232 + 1 = 24 228 + 1
= 16 228 + 1 = (641 625) 228 + 1
= (641 54 );228 + 1 = 641(2)28 (5 27 )4 + 1
= 641(2)28 (641 1)4 + 1, por ecuación (2.2)
= 641(2)28 (6414 4(641)3 + 6(641)2 4(641) + 1) + 1
= 641(228 6413 + 4(6412 ) 6(641) + 4)
4294967297 = 641(6700 417)
Una demostracion alternativa

En 1995, Stanley Peterburgsky, estudiando en la New England Academy
f5
of Torah, Rhode Island, demostró que f5 es compuesto ya que 641 puede ser
expresado como la suma de dos cuadrados. Para ver esto, recuerde que (a2 +
b2 )(c2 + d2 ) = (ac + bd)2 + (ad bc)2 para cualesquier números enteros a, b, c,
y d. Entonces
(a2 + b2 ) (ac + bd)2 + (ad bc)2
=
(c2 + d2 ) (c2 + d2 )2
Ahora, sea a = 216 , b = 1, c = 4, y d = 25. Entonces
f5 (216 )2 + 12
=
641 (4)2 + (25)2
(216 4 + 25)2 + (25 216 4)2
=
6412
2 2
= 409 + 2556
Lamentablemente, no se conoce nada sobre la in…nitud de los primos de

Fermat. Esto todavía deja un problema no resuelto. De hecho, ningún primo
de Fermat más allá de f4 ha sido encontrado; El primo de Fermat mas grande
conocido sigue siendo f4 , mientras que el más grande compuesto es f2478782 ,
descubierto en 2003.
¿Cada número de Fermat es cuadrado-libre, es decir sin factores cuadra-
dos? Esto ha sido conjeturado tanto por Lehmer como por A. Schinzel, el hecho
de que en los números de Fermat hay in…nitos cuadrados-libres.
El siguiente resultado, obtenido por Lucas, es un instrumento sumamente
útil en la factorización prima de fn . En 1747, Euler demostró que cada factor
primo de fn debe ser de la forma A 2n+1 +1. En 1879, Lucas rede…nió el trabajo
de Euler mostrando que A debe ser un número entero par 2k. Esto conduce al
siguiente teorema.
Teorema 64 Todo factor primo de fn es de la forma k 2n+2 + 1, donde n 2

2.4. NÚMEROS DE FERMAT 73
De acuerdo con la a…rmación de éste teorema, si fn no tiene ningun factor

primo de la forma k 2n+2 +1, entonces fn debe ser un número primo. El siguiente
ejemplo rati…ca este hecho.
Ejemplo 65 Demuestre que f4 = 65537 es primo.
Solution 66 Para ello será su…ciente mostrar que f4 no tiene ningún factor
primo propio. Ya que cada factor primo de f4 es de la forma
p 26 k + 1 = 64k + 1,
si f4 es compuesto, este debe tener un factor primo 65537 , esto es 256.
El único primo de la forma 64k + 1 y 256 es 193, pero 193 - 65537; entonces
f4 es un primo.
Como dato curioso, en 1963, S. W. Golomb del Instituto de Tecnología de

California estableció que la suma de los recíprocos de números de Fermat es un
número irracional.
Finalmente, hay un eslabón notable entre los primos de Fermat y la con-
strucción de polígonos regulares con regla y compás, donde la regla es empleada
solamente para dibujar líneas, y el compás para trazar arcos. En 1796, Gauss
demostró el siguiente teorema famoso.
Teorema 67 Un polígono regular de n lados es construible con regla y compas

si y sólo si n es de la forma f1 f2 : : : fk o 2k f1 f2 : : : fk , donde k 0 y f1 , f2 ,
: : :, fk son primos de Fermat distintos.
Los antiguos Griegos conocían la construcción de los polígonos regulares de

lados 2k , 3 2k , 5 2k y 15 2k . (Note que 3 y 5 son primos de Fermat.) Ellos
también conocían la construcción de los polígonos de 3, 4, 5, 6, 8, 10, 12, 15, y 16
lados, pero no la construcción del polígono regular de 17 lados. Cuando Gauss, a
la edad de 19 años, demostró que el polígono regular de 17 lados es construible,
se puso tan eufórico por su descubrimiento que decidió dedicar el resto de su vida
a las matemáticas. Él también solicitó que un polígono regular de 17 lados fuera
grabado sobre su lápida. Aunque su deseo nunca fuera cumplido, tal polígono
se puede encontrar sobre un monumento a Gauss en el lugar de su nacimiento
en Brunswick, Alemania.
( Una discusión cuidadosa de tales construcciones geométricas requiere téc-
nicas avanzadas del álgebra abstracta, a saber, la teoría de Galois.)
Ejercicios 2.4
1. Usando recursión, calcule los números de Fermat f3 y f4 :
2. Haga una conjetura acerca de los dígitos de las decenas en el valor decimal
de fn :
3. Establezca su conjetura en el Ejercicio 2. (Sugerencia: Use inducción.)

Probar las siguientes proposiciones.
4. Si 2m + 1 es un primo, entonces m debe ser una potencia de 2.
5. Si 2m 1 es un primo, entonces m debe ser una potencia de 2.
6. Pruebe o refute: Si m es primo, entonces 2m 1 es un primo.

7. Pruebe que 3 es el único número de Fermat que es número triangular
también. (S. Asadulla, 1987)
(Sugerencia; Use los Ejercicios 2 y 3)
8. Vuelva a hacer el Ejercicio 7 utilizando el hecho que el producto de dos
números enteros es una potencia de 2 si y sólo si ambos números enteros
son potencias de 2.
Capítulo 3
Máximo Común Divisor
Este capítulo trata la teoría de la divisibilidad. Se comienza explorando los

factores comunes de dos o mas números enteros positivos.Se establece el teo-
rema fundamental de la aritmética, la piedra angular de la teoría de números,
y luego se miran los múltiplos comunes de dos o mas números enteros positi-
vos. Finalmente, se trabajan algunas clases importantes de ecuaciones linelaes
diofanticas.
3.1. Máximo Común Divisor

Un entero positivo puede ser un factor de dos enteros positivos, a y b. Tales
factores son divisores comunes, o factores comunes, de a y b.
Por ejemplo, 12 y 18 tiene cuatro divisores comunes, que son , 1, 2, 3, y 6;
mientras que 12 y 25 tienen exactamenete un factor común, que es, 1.
Muchas veces no se está interesado en todos los divisores comunes de a y b,
pero si en el divisor común más grande, así se tiene la siguiente de…nición.
Máximo Común Divisor

El màximo común divisor (MCD) de dos enteros a y b, ninguno de los dos
cero, es el más grande entero positivo que divide a a y a b y se denota por (a; b).
Por ejemplo, (12; 18) = 6, (12; 25) = 1, (11; 19) = 1, ( 15; 25) = 5 y (3; 0) =
3.
Observación Ya que (a; b) = ( a; b) = ( a; b), la discusión se centra

en MCDs de enteros positivos.
¿Cómo se sabe si el MCD de a y b siempre existe? Ya que 1ja y 1jb, 1 es

común divisor de a y b, así que ellos tienen un divisor común que es 1. Si d es
común divisor, entonces d a y d b, así d m n fa; bg. Luego el conjunto de
factores comunes es …nito, así (a; b) existe.
75
76 CAPÍTULO 3. MÁXIMO COMÚN DIVISOR
Una segunda pregunta importante es la unicidad: ¿Es el MCD de a y b único?

Para poder hablar de MCD de a y b (Ésto se propone como ejercicio para el
lector).
La de…nición verbal precedente de MCD, aunque simple y clara, no es tan
práctica, por eso se escribirá simbolicamente.
Una De…nición Simbólica de MCD

Un entero positivo d es el MCD de dos enteros positivos a y b si
dja y djb; y
si d0 ja y d0 jb, entonces d0 d, donde d0 es también un entero positivo.
Así, d = (a; b) si se satisfacen las condiciones:
d debe ser un factor común de a y b.
d debe ser el más grande factor común de a y b; en otros términos, cualquier
otro factor común d0 debe ser d.
En la siguiente sección, se desarrollará un método e…caz para encontrar el

MCD de dos enteros positivos.
Hay enteros positivos cuyo MCD es 1. Por ejemplo, (6; 35) = 1. De acuerdo
con lo anterior, se da la siguiente de…nicion.
Enteros Primos Relativos

Dos enteros positivos a y b son primos relativos si su MCD es 1; eso es, si
(a; b) = 1.
Así, 6 y 35 son primos relativos; como lo son 11 y 24.
Esta posible relación entre los enteros será útil en próximas discusiones.
Lema 68 Denote por fi el i ésimo número de Fermat. Entonces f0 f1 fn 1 =

fn 2, donde n 1:
Demostración. (Por Inducción) Cuando n = 1, LMD= f0 = 3 = 5 2 =LMI.
Así, el resultado se mantiene cuando n = 1.
Ahora se asumirá que el resultado es verdadero cuando n = k:
f0 f1 fk 1 = fk 2
Entonces
f0 f1 fk 1 fk = (f0 f1 fk 1 )fk
= (fk 2)fk , por hipótesis de induccion
k k
= (22 1)(22 + 1)
k+1 k+1
= 22 1 = (22 + 1) 2
= fk+1 2
3.1. MÁXIMO COMÚN DIVISOR 77
Así, si el resultado es verdadero cuando n = k, también es verdadero cuando

n = k + 1. De esta forma, por inducción, el resultado se tiene para cada entero
n 1.
La formula en este lema, conocida como identidad de Duncan, se des-

cubrió en 1964 por D.C Duncan.
Usando este resultado, se puede mostrar que culquier dos números de Fermat
son primos relativos; este resultado fue establecido en 1925 por G. Polya de la
universidad de Stanford.
Teorema 69 (Polya, 1925) Sean m y n enteros distintos no negativos. En-

tonces fm y fn son primos relativos.
Demostración. Asumiendo, por conveniencia, que m < n. Sea d = (fm ; fn ).

Entonces djfm y djfn . Pero fn 2 = f0 f1 fm fn 1 , por el Lema 68. Puesto
que djfm , djf0 f1 fm fn . Así d=(fn 2), pero d j fn ; Por tanto, dj2, por
Teorema 42. Por consiguiente , d debe ser 1 o 2. Pero los números de Fermat
son todos impares, así d 6= 2. Entonces, d = 1; eso es, (fm ; fn ) = 1:
n
El resultado de Polya puede generalizarse: Sea gn = (2k)2 + 1, donde k > 0.
Entonces (gm ; gn ) = 1, asumiendo m 6= n.
Usando estos dos resultados, podemos demostrar ahora de nuevo que hay
in…nitos primos.
Teorema 70 Existen in…nitos números primos.
Demostración. Por Lema 51, cada numero de Fermat tiene un factor primo.
Por consiguiente, por el teorema de Polya, no hay dos números distintos de
Fermat que tengan factores primos comunes, signi…cando que cada uno tiene un
factor primo distinto. Así, ya que hay in…nitos números de Fermat, hay también
in…nitos primos.
A continuación se presenta una con‡uencia asombrosa de teoría del número,

probabilidad y análisis.
Números Primos Relativos y Pi

En la Sección 2.3, se encuentra unY
eslabon cercano entre los números primos
y el número , dado por la formula (1 1=p2 ) = 6= 2 . Usando técnicas
p2P
avanzadas, se puede mostrar que el producto in…nito representa el recíproco de la
probabilidad que dos números enteros positivos seleccionados al azar sean primos
relativos.1 Así, la probabilidad que dos números
Y enteros positivos seleccionados
al azar sean primos relativos esta dada por 1=(1 1=p2 ) = 6= 2 .
p2P
1 Ver Ogilvy y Anderson.

A continuación se centrará la atención en algunas usadas propiedades intere-

santes del los MCDs.
Teorema 71 Sea (a; b) = d. Entonces
1. (a=d; b=d) = 1
2. (a; a b) = d
Demostración.
1. Sea d0 = (a=d; b=d). Se Debe mostrar que d0 = 1:

Ya que d0 es un factor común de a=d y b=d, a=d = ld0 y b=d = md0 para
algunos enteros l y m. Entonces a = ldd0 y b = mdd0 , de este modo dd0 es
un factor común de a y b. Entonces, por de…nición, dd0 d, de este modo
d0 1. Así, d0 es un entero positivo tal que d0 1, entonces d0 = 1. Por
tanto, si (a; b) = d, entonces a=d y b=d son primos relativos.
2. Sea d0 = (a; a b). Se debe mostrar que d = d0 , se mostrará que d d0 y

d0 d. Para mostrar que d d0 :
Entonces d es un común divisor de a y b, a = md y b = nd para algunos
enteros m y n. Entonces a b = (m n): Así dja y dj(a b); entonces d
es común divisor de a y a b. Luego, por de…nición, d debe ser menor o
igual que (a; a b); esto es d d0 .
Para mostrar que d0 d:
Entonces d es un factor común de a y a b, a = d0 y a b = d0
0
para algunos enteros y . Entonces a (a b) = d0 d0 ; esto es,

0 0 0
b=( )d . Así, d es común divisor de a y b, entonces d d.
De esta forma, d d0 y d0 d, entonces d = d0 .
Se sigue, por la parte (2) de este teorema que (a; a+b) = (a; b). (Ver ejercicio
38).
A continuación, se prueba que el MCD de a y b se puede expresar como la
suma de múltiplos de a y b; pero primero se presenta una de…nición.
Combinación Lineal
Una combinacion lineal de los enteros a y b es la suma de múltiplos de a y
b, esto es, una suma de la forma a + b, donde y son enteros.
Por ejemplo, 2 3 + 5 7 es una combinacion lineal de 3 y 7; así como ( 4)
3 + 0 7.
Ahora se establece y demuestra el resultado mencionado en el párrafo prece-
dente. Su prueba es una elegante aplicación del principio del buen orden.
Teorema 72 (Euler) El MCD de enteros positivos a y b es la combinacion

lineal de a y b.
Demostración. Sea S el conjunto de combinaciones lineales positivas de a y b;

esto es, S = fma + nb j ma + nb > 0; con m; n 2 Zg :
Se mostrará que S tiene al menos un elemento:
Ya que a > 0, a = 1 a + 0 b 2 S, entonces S no es vacío. Así, por el principio
de buen orden, S tiene un mínimo elemento d.
Para mostrar que d = (a; b):
Ya que d pertenece a S, d = a + b para algunos enteros y .
1. Primero mostraremos que dja y djb:

Por el algoritmo de la división, existen enteros q y r tal que a = dq + r,
donde 0 r < d. Sustituyendo d,
r = a dq
= a ( a + b)q
= (1 q)a + ( q)b
Esto muestra que r es una combinación lineal de a y b.

Si r > 0, entonces r 2 S. Ya que r < d, r es menor que el elemento más
pequeño en S, lo cual es una contradicción. Así r = 0; por tanto, a = dq;
luego dja:
Similarmente, djb: Así d es un común divisor de a y b:
2. Por mostrar que cualquier divisor común positivo d0 de a y b es d:

0 0 0 0
Sea d j a y d j b, d j ( a + b), por el teorema 42; esto es, d j d. Entonces
d0 d.
Así, por las partes (1) y (2), d = (a; b).
Observación Se sigue, por este teorema que el MCD (a; b) siempre puede
expresarse como una combinacion lineal a + b. En efecto, esta es la más
pequeña de tales combinaciones lineales positivas.
Un modo de encontrar tal combinación lineal es por ensayo y error, especial-

mente cuando a y b son pequeños, como lo muestra el siguiente ejemplo.
Ejemplo 73 Exprese (28; 12) como combinacion lineal de 28 y 12.

Solución. Primero se tiene que (28; 12) = 4. Luego, se deben encontrar
enteros y tal que 28 + 12 = 4. Por ensayo y error, = 1 y = 2
da como resultado 1 28 + ( 2) 12 = 4.
Observación Note que los valores de y en la combinación lineal no

tiene porque ser única. En el anterior ejemplo se puede notar que ( 5) 28 +
12 12 = 4.
Una segunda forma de encontrar y es usando una tabla de múltiplos de

a y b y entonces escoger la combinación correcta, como lo muestra la siguiente
Tabla.
28 28 56 84 112 140
12 12 24 36 48 60 144
En la siguiente sección se presenta un método sistemático para encontrar

y .
El Teorema 72 se puede usar para re…nar la de…nición de MCD y sacar
obtener varios resultados útiles acerca de MCDs.
Teorema 74 Si d = (a; b) y d0 es cualquier comun divisorde a y b, entonces

d0 j d.
Demostración. Puesto que d = (a; b), por Teorema 72, existen y tal que
d = a + b:Como d0 ja y d0 jb, por Teorema 42, d0 j ( a + b); de esta manera
d0 jd.
Así, cada común divisor d0 de a y b es un factor de su MCD d, y d0 d. De

manera inversa, suponga que
dja y d jb ; y
si d0 ja y d0 jb, entonces d0 jd: Entonces d0 d; así d = (a; b).
Por tanto, la de…nición simbólica de MCD puede modi…carse como sigue.
Una De…nición Alternativa de MCD

Un entero positivo d es el MCD de a y b si
dja y djb; y
si d0 ja y d0 jb, entonces d0 jd, donde d0 es un entero positivo.
Teorema 75 Sean a,b, y c enteros positivos. Entonces (ac; bc) = c (a; b) :
La prueba de esto es bastante simple y se deja como ejercicio.

Teorema 76 Dos enteros positivos, a y b, son primos relativos si y solo si hay

enteros y tales que a + b = 1.
Demostración. Si a y b son primos relativos, entonces (a; b) = 1. Por tanto,

por Teorema 72, existen enteros y tal que a + b = 1.
Recíprocamente, suponga que existen y tales que a + b = 1. Para
demostrar que (a; b) = 1; sea d = (a; b). Entonces por Teorema 42 dj ( a + b);
esto es dj1, así d = 1. Por tanto, a y b son primos relativos.
Se puede deducir la parte (1) del Teorema 71 a partir de este Teorema, y

este es útil para resolver el ejercicio propuesto número 41.
Corolario 77 Si d = (a; d), entonces (a=d; b=d) = 1:
El siguiente Corolario se sigue del Teorema 72 (Vea ejercicio 43)
Corolario 78 Si (a; b) = 1 = (a; c);entonces (a; bc) = 1:
Supongamos ajc y bjc. ¿Signi…ca ésto que abjc ? No. Por ejemplo, 3j12 y 6j12,
pero 3 6 - 12. El siguiente corolario proporciona un criterio por el cual abjc.
Corolario 79 Si ajc y bjc, y (a; b) = 1, entonces abjc:
Demostración. Como ajc; c = ma para algún entero m. Similarmente, c = nb

para algún entero n. Ya que (a; b) = 1, por Teorema 75, a + b = 1 para
algunos enteros y . Entonces ac + bc = c: Ahora sustituyendo nb por la
priemera c y ma para el la segunda:
a(nb) + b(ma) = c
Esto es, b (n + m ) = c; así abjc:
Se debe recordar que ajbc no signi…ca que ajb o ajc; aunque bajo algunas
condiciones esto se cumple. El siguiente corolario explica cuando esto es ver-
dadero.
Corolario 80 (Euclides) Si a y b son primos relativos, y si ajbc; entonces ajc:

Demostración. Dado que a y b son primos relativos, por Teorema 75, existen
enteros y tal que a + b = 1; entonces ac + bc = c ya que aj ac y aj bc
, aj ac + bc por Teorema 42; esto es ; ajc:
La de…nición de MCD puede extenderse a tres o más enteros positivos, como

muestra la siguiente de…nición.
El MCD de n Enteros Positivos

El mcd de n ( 2) enteros positivos a1 ; a2 ; :::; an es el entero positivo más
grande que divide a cada uno de los ai . Éste se denota por (a1; a2 ; :::; an ) :
El siguiente ejemplo ilustra esta de…nición.
Ejemplo 81 Encuentre (12; 18; 28), (12; 36; 60; 108), (15; 28; 50).
Solución.
a) El entero positivo más grande que divide a 12; 18 y 28 es 2, así, (12; 18; 28) =
2:
b) 12 es el factor más grande de 12, y 12 es factor de 12, 36, 60, y 108; así,
(12; 36; 60; 108) = 12:
c) Ya que (15; 28) = 1 el factor común más grande de 15, 28 y 50 es 1; esto
es (15; 28; 50) = 1:
El Teorema 72 puede ampliarse a n números enteros. Pero primero, se am-

pliará la de…nición de una combinacion lineal de n enteros positivos.
Una Combinación Lineal de n Enteros Positivos

Una combinación lineal de n enteros positivos a1 ; a2 ; :::an es una suma de
la forma 1 a1 + 2 a2 + ::: + n an donde 1 ; 2 ; :::; n son enteros.
Por ejemplo, ( 1) 12 + 1 15 + 0 21 es una combinación lineal de 12; 15 y
21; Así como también lo es 3 12 + ( 2) 15 + ( 5) 21:
Ahora se establece la extensión del Teorema 72 y se deja la prueba como un
ejercicio.
Teorema 82 El MCD de los enteros positivos a1 ; a2 ; :::; an ;es el menor entero

positivo que es combinación lineal de a1 ; a2 ; :::; an :
El siguiente ejemplo ilustra este Teorema.
Ejemplo 83 Exprese (12; 15; 21), en una combinación lineal de 12; 15; 21:
Solución. Primero se puede notar que (12; 15; 21) = 3. Después se encuen-
tran números enteros , y , por ensayo y error, tal que 12+ 15+ 21 = 3;
= 1 , = 1 , = 0 es una de tal combinación: ( 1) 12 + 1 15 + 0 21 = 3:
El siguiente teorema muestra como la recursión puede usarse para encontrar

el MCD de tres o más números enteros.
Teorema 84 Sea a1 ; a2 ; :::an n ( 3) enteros positivos. Entonces (a1 ; a2 ; :::; an ) =

((a1 ; a2 ; :::; an 1 ) ; an ) :
Demostración. Sea d = (a1 ; a2 ; :::; an ) ; d0 = (a1 ; a2 ; :::; an 1) yd00 = (d0 ; an ) :

mostramos que d0 = d00 :
Se mostrará que djd00 :

Dado que d = (a1 ; a2 ; :::; an ) ; djai para todo i: Así djd0 y djan : Entonces
dj (d0 ; an ) ; esto es djd00 :
Se mostrará que d00 jd :

Ya que d00 = (d0 ; an ) ; d00 jd0 y d00 jan : Pero d00 jd0 implica que d00 jai para
1 i n 1: Así d00 jai para 1 i n; por tanto d00 jd:
Luego, djd00 y d00 jd; así d = d00 ; por el Teorema 41.
El siguiente ejemplo ilustra este teorema.
Ejemplo 85 Usando recursión, evalue (18; 30; 60; 75; 132) :

Solución.
(18; 30; 60; 75; 132) = ((18; 30; 60; 75) ; 132) = (((18; 30; 60) ; 75) ; 132)
= ((((18; 30) ; 60) ; 75) ; 132) = (((6; 60; ) ; 75) ; 132)
= ((16; 75) ; 132) = (3; 132)
= 3:
El corolario a continuación se obtiene por inducción y el Teorema 84. Se

puede establecer una prueba y se deja como ejercicio. (Ejercicio 55.)
Corolario 86 Si d = (a1 ; a2 ; :::; an ) :Entonces djai para todo entero i, donde

1 i n:
El siguiente corolario es una extensión del Corolario 80.
Corolario 87 Si dja1 a2 :::an y (d; ai ) = 1 para 1 i n 1, entonces djan :

Antes de enunciar otro corolario, se introduce la siguiente de…nición.
Primos Relativos por Pares

Los enteros positivos a1 ; a2 ; :::; an son primos relativos por pares, si todo
par de enteros son primos relativos, esto es , (ai ; aj ) = 1; siempre i 6= j:
Por ejemplo, los enteros 8; 15; y 49 son primos relativos por pares, mientras
que los enteros 6; 25; 77; y 91 no son primos relativos por pares.
El siguiente resultado se deduce del Teorema 76.
Corolario 88 Si los enteros positivos a1 ; a2 ; :::; an son pares de primos relativos

entonces (a1 ; a2 ; :::; an ) = 1:
Por ejemplo, ya que los enteros 8, 15 y 49 son primos relativos por pares,
(8; 15; 49) = 1:
Observación Se debe tener en cuenta que el recíproco de este corolario

no es verdadero; esto es, si (a1 ; a2 ; :::; an ) = 1; entonces los enteros a1 ; a2 ; :::; an
no necesariamente son primos relativos por pares. Por ejemplo (6; 15; 49) = 1;
pero 6; 15 y 49 no son primos relativos por pares, ya que (6; 15) = 3:
Ejercicios 3.1
Marque verdadero o falso, asumiendo a; b y c son enteros positivos y p es un
primo arbitrario.
1. (a; b) = (b; a)
2. (a; b) = (a; a b)
3. (a; b) = (a; a 2b)
4. (a; a + 2) = 1
5. (p; p + 2) = 1
6. (ac; bc) = c (a; b)
7. Si (a; b) = 1, entonces a y b son primos relativos.
8. Si (a; y b) son primos relativos entonces(a; b) = 1:
9. Si (a; b) = 1 = (b; c), entonces (a; c) = 1:
10. Si (a; b) = 2 = (b; c) entonces (a; c) = 2:
11. Si (a; b) = d; entonces (a + b; a b) = d

Exprese el mcd de cada par de números como combinación lineal.
12. 18; 28
13. 24; 28
14. 15; 28
15. 21; 26
Denote con f (n) el números de enteros positivos n y primos relativos
a él. Por ejemplo, f (1) = 1; f (2) = 1, f (3) = 2 y f (4) = 2: Encontrar.
16. f (10)
17. f (13)
18. f (18)
19. f (24)
P
20. Evalúe djn f (d) para n = 12; 18; 19 y 25:
P
21. Usando el Ejercicio 20, prediga una formula para djn f (d)
22. Encuentre el mínimos valores posible de (a; b):

Encuentre (a; b) si
23. b = 1
24. b = a + 1
25. b = a2
26. b = na
Exprese el MCD de los números dados como una combinación de los
números.
27. 12; 15; 18
28. 12; 18; 20; 24
Use recursión para evaluar.
29. (12; 18; 28; 38; 44)
30. (14; 18; 21; 36; 48)
31. (a2 b; ab3 ; a2 b2 ; a3 b4 ; ab4 )
Refute cada proposición.
32. Si (a; b) = 1 = (b:c) ; entonces (a; c) = 1:
33. Si (a; b) = 2 = (b:c) ; entonces (a; c) = 2:
Pruebe cada ítem, asumiendo que a; b; c; d; k; m; y n son enteros positivos
arbitrarios, p algún primo y fn el n ésimo número Fermat.
34. El MCD de cualquier par de números enteros es único.

35. (a; b) = (a; b)
36. ( a; b) = (a; b)
37. ( a; b) = (a; b)
38. (a; a + b) = (a; b)
39. (ac; bc) = c(a; b)
40. Si p - a; entonces p y a son primos relativos.
41. Usando el Teorema 76, pruebe que si d = (a; b); entonces (a=d; b=d) = 1:
42. Si d = (a1 ; a2 ; :::; an ); entonces djai para todo entero i; donde 1 i n:
43. Si (a; b) = 1 = (a; c); entonces (a; bc) = 1:
n
44. Sea gn = (2k)2 + 1; donde n 0: Entonces (gm ; gn ) = 1; donde m 6= n:
45. Sea n > m 0: Muestre que fm j(fn 2):
46. Usando en Ejercicio 45, muestre que (fm ; fn ) = 1; donde m 6= n:
47. Usando el Teorema 69 e inducción, pruebe que hay in…nitos primos.
3.2. El Algoritmo de Euclides
Existen varios procedimientos para encontrar el MCD de dos enteros posi-

tivos. Un algoritmo e…ciente es el Algoritmo de Euclides, llamado después
Euclidiano, quien lo incluyo en el Libro VII de su extraordiario trabajo, Los
elementos. El algoritmo, sin embargo, probablemente era antes conocido. Ésta
es una herramienta fundamental en la teoría de números algorítmica.
El siguiente teorema establece la base para el algoritmo de Euclidiano.
Teorema 89 Sean a y b enteros positivos y r el residuo, cuando a se dividide

por b. Entonces (a; b) = (b; r):
Demostración. Sea d = (a; b) y d0 = (b; r). Se debe probar que d = d0 ; es

su…ciente mostrar que djd0 y d0 jd . Por el algoritmo de la división, existe un
único cociente q tal que
a = bq + r (3.1)
Se mostrará que djd0 :
3.2. EL ALGORITMO DE EUCLIDES 87
Ya que d = (a; b), dja y djb, así djbq, por el Teorema 42. Entonces dj(a bq);
de nuevo por el Teorema 42. En otras palabras , djr, por la ecuación (3.1). De
este modo, djb y djr, así dj(b; r); esto es djd0 .
Similarmente, puede mostrarse que d0 jd (ver Ejercicio 9). Así, por el Teorema
41, d = d0 ; esto es, (a; b) = (b; r):
El siguiente ejemplo ilustra este teorema.
Ejemplo 90 Ilustrar el Teorema 89 con a = 120 y b = 28.

Solución. Primero, se puede veri…car que (120; 28) = 4.
Ahora , por el algoritmo de la división, 120 = 4 28 + 8 , entonces por el
Teorema 89, (120; 28) = (28; 8). Pero (28; 8) = 4. Por lo tanto, (128; 28) = 4:
El siguiente ejemplo ilustra como el Teorema 89 puede ser utilizado para

encontrar (a; b).
Ejemplo 91 Usando el Teorema 89, evalúe (2076; 1776).

Solución. Aplicando el algoritmo de la división con 2076 (el mayor de los
dos números) como el dividendo y 1776 como el divisor:
2076 = 1 1776 + 300
Aplicando el algoritmo de la división con 1776 como el dividendo y 300 como el

divisor:
1766 = 5 300 + 276
Continuando este procedimiento hasta llegar al residuo cero:
2076 = 1 1776 + 300

1766 = 5 300 + 276
300 = 1 276 + 24
276 = 11 24 + 12 último residuo diferente de cero
24 = 2 12 + 0
Aplicando repetidamente el Teorema 89 se tiene:
(2076; 1776) = (1776; 300) = (300; 276)

= (276; 24) = (24; 12)
= 12
por tanto , el último residuo diferente de cero en este procedimiento es el MCD.

Ahora se justi…cará este algoritmo, aunque sea algo obvio.
El Algoritmo Euclidiano
Sean a y b dos enteros positivos con a b: Si a = b, entonces (a; b) = a,
así se asume a > b. (Si esto no es verdad entonces se intercambian.) Sea r0 =
b. Entonces aplicando sucesivamentes el algoritmo de la división, se tendrá la
secuencia de ecuaciones:
a = q 0 r 0 + r1 ; 0 r1 < r 0
r 0 = q 1 r 1 + r2 ; 0 r2 < r 1
r 1 = q 2 r 2 + r3 ; 0 r3 < r 2
..
.
Continuando de esta manera, se obtiene la siguente secuencia de residuos:
b = r0 > r1 > r2 > r3 > 0
Dado que los residuos son no negativos y son cada vez más y más pequeños,
esta secuencia debería eventualmente terminar con el residuo rn+1 = 0. Así, las
dos últimas ecuaciones en el procedimiento anterior son
rn 2 = qn 1 rn 1 + rn ; 0 rn < r n 1
y
rn 1 = q n rn
Se sigue por inducción que (a; b) = (a; r0 ) = (r0; r1 ) = (r1 ; r2 ) = =
(rn 1 ; rn ) = rn ; el último residuo diferente de cero (ver Ejercicio 10).
El siguiente ejemplo también demuestra el Algoritmo Euclidiano.
Ejemplo 92 Aplique el algoritmo euclidiano para encontrar (4076; 1024).

Solución.
Por la aplicación sucesiva del algoritmo de la división se tiene:
4076 = 3 1024 + 1004

1024 = 1 1004 + 20
1004 = 50 20 + 4 último residuo diferente de cero
20 = 5 4 + 0
ya que el anterior residuo diferente de cero es 4, (4076; 1024) = 4.
Ejercicios 3.2
Usando el algoritmo euclidiano, encuentre el MCD de los enteros dados.
1. 1024; 1000
3.3. EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA 89
2. 2024; 1024
3. 2076; 1076
4. 2076; 1776
5-8. Usando el algoritmo euclidiano, exprese el MCD de cada pareja en los

Ejercicios 1-4 como una combinación lineal de los números dados.
9. Sea a y b dos enteros positivos, y r el residuo cuando a se divide por b:

Sea d = (a; b) y d0 = (b; r): Pruebe que d0 jd:
10. Sea a y b enteros positivos con a b: Usando la secuencia de ecuaciones

en el algoritmo euclideano, pruebe que (a; b) = (rn 1 ; rn ); donde n 1:
3.3. El Teorema Fundamental de la Aritmética
Continuando ahora con el estudio de los primos. Se puede establecer, sin

temor a equivocarse, la a…rmación de que los números primos son los ladrillos
de todos los enteros. En otros términos, enteros 2 son construidos a partir de
primos; es decir, cada entero 2 puede descomponerse en primos. Este resul-
tado, llamado El Teorema Fundamental de la Aritmética, es ciertamente
la piedra angular de la teoría de números y uno de sus resultados principales.
Éste aparece en Los Elementoe de Euclides.
Antes de enunciarlo formalmente y demostrarlo, se necesitan dos dos lemas
fundamentales. A lo largo de estos lemas, se asumirá que todas las letras denotan
números enteros positivos.
Lema 93 Si p es un primo y pjab, entonces pja o pjb.
Demostración. Suponga que a - p: Entonces p y a son primos relativos, por el

Teorema 76, hay enteros y tal que p + a = 1. Multiplicando ambos lados
de esta ecuación por b; se tiene pb + ab = b. Como pjp y pjab, pj( pb + ab)
por el Teorema 42; es decir, pjb.
El siguiente lema extiende este resultado a tres o más factores, usando in-
ducción.
Lema 94 Sea p un primo y pja1 a2 an dónde a1 ; a2 ; an son enteros posi-

tivos, entonces pjai para algún i dónde 1 i n.
Demostración. (por inducción débil) Cuando n = 1, el resultado se da

claramente. Así que suponga que es verdad para un entero positivo arbitrario
k : Si pja1 a2 ak , entonces pjai para algún i. Suponga que pja1 a2 ak+1 , es
decir, pj(a1 a2 ak )ak+1 . Entonces, por el Lema 93, pja1 a2 ak o pjak+1 . Si
pja1 a2 ak , entonces pjai , para algún i dónde 1 i k. Por tanto, pjai dónde
1 i k, o pjak+1 . En cualquier caso, pjai para algún i; dónde 1 i k + 1.
Así, por inducción, el resultado se tiene para cada entero positivo n.
El siguiente resultado se sigue de este lema.
Corolario 95 Si p; q1 ; q2 ; qn son primos tales que pjq1 q2 qn , entonces p =

qi para algún i; dónde 1 i n.
Demostración. Como pjq1 q2 qn , por el Lema 94, pjqi para algún i. Pero p
y qi son primos, por lo que p = qi :
Podemos ahora declarar y establecer el teorema fundamental de aritmética,

el resultado más fundamental en la teoría de números. La prueba consiste en
dos partes y una parte larga, por lo que necesitamos seguirlo cuidadosamente.
Teorema 96 (El Teorema Fundamental de la Aritmética) Todo entero

cualquiera n 2 es un primo o puede expresarse como un producto de primos.
La factorización en primos es única salvo el orden de los factores.
Demostración. Primero, se mostrará por inducción fuerte que n o es un primo

o puede expresarse como un producto de primos. Entonces se establecerá la
unicidad de tal factorización.
1. Sea P (n) la proposición que n es un primo o puede expresarse como un
producto de primos.
Se mostrará que P (n) es verdad para cada entero n 2:
Como 2 es un primo, claramente P (2) es verdad.
Ahora suponga que P (2) ; P (3) :::; P (k) son verdaderas; es decir, todo entero
desde 2 hasta k o es un primo o puede expresarse como un producto de primos.
Si k + 1 es un primo, entonces P (k + 1) es verdad. Así que, suponga que
k + 1 es compuesto. Entonces k + 1 = ab para algunos enteros a y b dónde
1 < a; b < k + 1. Por la hipótesis de inducción, a y b o son primos o pueden
expresarse como los productos de primos; en cualquier caso, k + 1 = ab puede
expresarse como un producto de primos. Así, P (k + 1) también es verdad.
Así, por inducción fuerte, el resultado se tiene para cada entero n 2.
2. Para establecer la unicidad de la factorización:
Sea n un número compuesto con dos factorizaciones en primos: n = p1 p2 pr =
q1 q2 qS . Se mostrará que r = s y que cada pi es igual a algún qj ; dónde
1 i; j r; es decir, los primos q1 ; q2 : : : ; qs son una permutación de los primos
p1 ; p2 :::; pr .
Asuma, por conveniencia que r s. Como p1 p2 pr = q 1 q 2 qs , p1 jq1 q2 qs ,

por el Corolario 95, p1 = qi para algún i. Dividiendo ambos lados por p1 , se
tiene:
p2 pr = q 1 q 2 qi 1 qi+1 qi+1 qs
Ahora p2 divide el LMD, y de nuevo por el Corolario 95, p2 = qj para algún
j. Cancelando p2 a ambos lados:
p3 pr = q 1 q 2 qi 1 qi+1 qj 1 qj qj+1 qs
Como r s, al continuar así, se cancela cada pt con algún qk . Esto nos da

1 al …nal en el LMI. Entonces el LMD no puede ser un primo o un producto
de primos, ya que, un primo o un producto de primos nunca puede dar 1; así,
se deben haber agotado todas las qk s. Por consiguiente, r = s y por tanto los
primos q1 ; q2 :::; qs son loa mismos primos p1 ; p2 ; pr en algún orden. Así, la
factorización de n es única, salvo por el orden en el cual los primos fueron
escritos.
Se sigue de este teorema que cada número compuesto n puede factorizarse

en primos. Tal factorización es llamada factorización en primos de n.
Por ejemplo, 5544 = 2 2 3 7 2 11 3 es una factorización en primos de
5544. Usando la notación exponencial, este producto es a menudo escrito como
5544 = 23 32 7 11. Tal producto es la descomposición en potencias de
factores primos de n; si los primos se escriben en el orden creciente, entonces
esta es la descomposición canónica.
Descomposición Canónica
La descomposición canónica de un entero positivo n es de la forma n =
pa1 1 pa2 2 pakk , donde p1 ; p2 ; pk son distintos primos con p1 < p2 < < pr
y cada exponente ai es un entero positivo.
Hay dos técnicas normalmente usadas para encontrar la descomposición
canónica de un número compuesto. El primer método involucra hallar todos
los factores primos, empezando con el más pequeño primo, como el siguiente
ejemplo muestra.
Ejemplo 97 Halle la descomposición canónica de 2520.

Solución. Empezando con el más pequeño primo 2, desde que 2j2520,2520 =
2 1260. Ahora 2 es un factor de 1260, por lo que 2520 = 2 2 630; 2j630 de
nuevo, por lo que 2520 = 2 2 2 315. Ahora 2 - 315, pero 3 si lo hace, por
lo que 2520 = 2 2 2 3 105; 3 también es un factor de 105, por lo que
2520 = 2 2 2 3 3 35. Continuando así conseguimos:
2520 = 2 2 2 3 3 5 7 = 23 32 5 7
qué es la descomposición canónica deseada.

Este método puede consumir mucho tiempo si el número n es bastante

grande. El segundo método que es generalmente más e…caz, involucra expresar
explícitamente n como el producto de dos enteros positivos, no necesariamente
primos, y se continua expresando cada factor en factores hasta que todos los
factores obtenidos sean primos. Entre más grandes sean los factores el método
se hará más corto. El siguiente ejemplo clari…ca este método, bastante fácil.
Ejemplo 98 Halle la descomposición canónica de 2520 por el segundo método.

Solución. Note que 2520 = 40 63. Por lo que ninguno de los factores es
primo, dividiendo nuevamente: 40 = 4 10 y 63 = 7 9, se tiene que 2520 =
(4 10) (7 9). Como 4, 10 y 9 son compuestos, reexpresando cada uno de ellos
se tiene: 2520 = (2 2) (2 5) (7) (3 3). Ahora todos los factores son primos, por
lo que el procedimiento para. Se obtiene entonces la descomposición canónica:
2520 = 23 32 5 7.
La descomposición canónica de un número compuesto puede usarse para

encontrar sus factores positivos, como lo muestra el siguiente ejemplo.
Ejemplo 99 Halle los factores positivos de 60.

Solución. Primero, note que 60 = 22 3 5. Por el teorema fundamental de
la aritmética, cada factor de 60 es de la forma 2a 3b 5c , dónde 0 a 2,
0 b y c 1. Así, los distintos factores son:
20 30 50 = 1 20 30 51 = 5 20 31 50 = 3 20 31 51 = 15
21 30 50 = 2 21 30 51 = 10 2 1 31 50 = 6 21 31 51 = 30
22 30 50 = 4 22 30 51 = 20 22 31 50 = 12 22 31 51 = 60
(Así, 60 tiene 12 factores. ¿Podría pensar en una buena manera de encontrar

el número de factores positivos sin listarlos?)
El siguiente ejemplo presenta una aplicación bonita del teorema fundamental

de la aritmética y la función piso. Muestra muy bien que se puede determinar
el número de ceros un valor decimal de n!, sin calcularlo. (Por ejemplo, 11! =
39;916;800 tienen dos ceros al …nal.)
Ejemplo 100 Halle el número de ceros …nales en 234!.

Solución. Por el teorema fundamental de aritmética, 234! puede factor-
izarse como 2a 5b c; donde a y b son enteros positivos (¿por qué?) y c denota
el producto de primos de la misma manera que 2 y 5. Claramente, a > b (¿por
qué?). Cada cero …nal en 234! corresponde a 10 en una factorizacion y viceversa;

cada 10 es el producto de un 2 y un 5.
No. de productos de la forma 2 5
(No. de ceros …nales en 234!) =
en una factorización prima de 234!
= el mínimo de a y b (¿por qué?)
= b
Para encontrar b, procedemos como sigue:

No. de enteros positivos 234 y divisibles por 5 = b234=5c = 46.
Cada uno de ellos contribuye en un 5 a la factorización en primos de 234!.
Cada uno de ellos contribuye en un 5 adicional a la factorización en primos
de 234!.
Contribuye todavía en un 5 adicional a la factorización en primos.
Ninguna potencia superior de 5 contribuye en un 5 a la factorización prima
de 234!, así el número total de 5s en la factorización prima es igual a 46+9+1 =
56. Así, 234! tiene 56 ceros …nales.
Se sigue de este ejemplo que el exponente más alto e de un primo p que

divide n! se obtiene como
e = bn=pc + bn=p2 c + bn=p3 c +
Sea k el entero más pequeño tal que pk > n. Entonces n=pk = 0, por lo
que la suma es …nita.
Por ejemplo, el exponente más grande de 2 que divide 97! es
e = b97=2c + b97=22c + b97=23b+b97=24c + b97=25c + b97=26c

= 48 + 24 + 12 + 6 + 3 + 1 = 94
De manera interesante, hay una relación íntima entre el número de unos en

la representación binaria de 97 y el exponente más alto de 2 que divide 97!.
Para ver esto, note que 97 = 1100001dos , por lo que la representación binaria
contiene tres 1s y 97 = 94 + 3.
De manera general, se tiene el siguiente resultado debido al matemático
francés Adrian Mari Legendre.
Teorema 101 Denotando por e el exponente más alto de 2 que divide n! y b el

número de 1s en la representación binaria de n. Entonces n = e + b:
Demostración. Sea n = (ak ak 1 : : : a1 a0 )dos = a0 + a1 2 + + ak 2k . Sea

1 i k. Entonces:
n a0 + a1 2 + + ai 1 2i 1
= + ai + ai+1 2 + + ak 2k 1
2i 2i
Pero
a0 + a1 2 + + ai 1 2i 1
1 + 2 + 22 + + 2i 1
= 2i 1
< 2i ;
así
a0 + a1 2 + + ai 1 2i 1
=0 (3.2)
2i
Por consiguiente,
n
= ai + ai+1 2 + + ak 2k i
(3.3)
2i
Entonces,
Xk
n
= a1 + a2 2 + a3 22 + + ak 2k 1
i=1
2i
+a2 1 + a3 2 + + ak 2k 2
k 3
+a3 1 + + ak 2
..
.
+ak 1
Esto es,
e = a1 + a2 (1 + 2) + a3 1 + 2 + 22 + + ak 1 + 22 + + 2k 1
(3.4)
2 3 k
= a1 (2 1) + a2 2 1 + a3 2 1 + + ak 2 1 (3.5)
2 k
= a0 + a1 2 + a2 2 + + ak 2 (a0 + a1 + + ak ) (3.6)
= n b (3.7)
Así, n = e + b.
Las descomposiciones canónicas de enteros positivos proporciona un nuevo

método encontrar MCDs, como se ilustra en el siguiente ejemplo.
Ejemplo 102 Usando las descomposiciones canónicas de 168 y 180, para en-
contrar su MCD.
Solución. Se puede veri…car que 168 = 23 3 7 y 180 = 22 32 5. Los
únicos factores primos comúnes son 2 y 3, por lo que 5 o 7 no pueden aparecer
en su MCD. Como 2 aparece tres veces en la descomposición canónica de 168,
pero sólo dos veces en la descomposición canónica de 180, 22 son un factor
en el MCD. De manera similar, 3 también es un factor común, por lo que
(168; 180) = 22 3 = 12.
Observación
(168; 180) = 22 3 = 22 31 50 70 = 2minf3;2g 3minf1;2g 5minf1;0g 7minf1;0g
Esta técnica puede generalizarse como sigue. Sea a y b enteros positivos con
las siguientes descomposiciones canónicas:
a = pa1 1 pa2 2 pann y b = pb11 pb22 pbnn
donde ai ; bi 0. (permitiendo que los exponentes sean cero, siempre se puede

asumir que ambas descomposiciones contienen la mismas bases primas pi .) En-
tonces:
Observación
minfa1 ;b1 g minfa2 ;b2 g minfan ;bn g
(a; b) = p1 p2 pn
Se dará nuevamente un vistazo a la distribución de los primos, que se estudio
en el capítulo precedente.
Revisión de Distribución de Primos

Por el algoritmo de la división, cada entero es de la forma 4n + r, dónde
r = 0; 1; 2, o 3; así que cada entero impar es de la forma 4n + 1 o 4n + 3. Por
ejemplo, 13 y 25 son de la forma 4n + 1: 13 = 4 3 + 1 y 25 = 4 6 + 1, mientras
que 11 y 31 son de la forma 4n + 3: 11 = 4 2 + 3 y 31 = 4 7 + 3.
Observando los enteros positivos de la forma 4n + 3. Los primeros once de
tales números son 3; 7; 11; 15; 19; 23; 27; 31; 35; 39 y 43 de los cuales siete
(aproximadamente 64 %) son primos.
¿Qué se podría conjeturar razonablemente de esta observación? Si se su-
pusiera que hay in…nitos primos de la forma 4n + 3, se estaría en lo correcto.
Antes de que se establezca la validez de esta suposición dada, se necesita que se
proponga un fundamento en forma del siguiente lema.
Lema 103 El producto de dos enteros cualesquiera de la forma 4n + 1 también

es de la misma forma.
Demostración. Sean a y b dos enteros cualesquiera de la forma 4n+1, suponga,

a = 4` + 1 y b = 4m + 1 para algunos enteros ` y m. Entonces
ab = (4` + 1) (4m + 1)
= 16`m + 4` + 4m + 1
= 4 (4`m + ` + m + 1)
= 4k + 1 donde k = 4m + ` + m es un entero
Así, ab también es de la misma forma.

Este resultado puede extenderse a cualquier número …nito de tales enteros y
la prueba se deja como ejercicio.
Ahora se está listos para demostrar la siguiente conjetura. Observe que la

demostración es similar a la demostracion de Euclides que estableció la in…nidad
de primos.
Teorema 104 Hay in…nitos primos de la forma 4n + 3.
Demostración. Suponga que sólo hay …nitos primos de la forma 4n+3, es decir,
p0 ; p 1 ; p 2 ; pk dónde p0 = 3. Considere el entero positivo N = 4p1 p2 pk + 3.
Claramente, N > pk y también es de la misma forma.
Caso 1 Si el propio N es primo, entonces N sería mayor que el primo pk ; el

más grande de la forma 4n + 3 que es una contradicción.
Caso 2 Suponga que N es compuesto. Como N es impar, todo factor de N es

de la forma 4n + 1 o 4n + 3. Si cada factor es de la forma 4n + 1, entonces,
por el Lema 103, N sería de la misma forma. Pero, como N es de la forma
4n + 3, por lo menos uno de los factores primos, digamos, p, debe ser de
la forma 4n + 3.
Subcaso 1 Sea p = p0 = 3. Entonces 3jN , por lo que 3j (N 3) por el Teorema

42; esto es, 3j4p1 p2 pk . Así, por el Lema 94, 3j2 o 3jpi , donde 1 i k,
pero los dos son imposibles.
Subcaso 2 Sea p = pi donde 1 i k. Entonces pjN y pj4p1 p2 pk , por lo

que pj (N 4p1 p2 pk ), es decir, pj3, que es de nuevo una contradicción.
Ambos casos nos llevan a una contradicción, por lo que la suposición debe
ser falsa. Así, hay un número in…nito de primos de la forma dada.
Ahora que se ha establecido la in…nitud de los números primos de la forma

4n + 3, se hace la siguiente pregunta lógica: ¿Hay in…nitos primos de la forma
4n + 1? Afortunadamente, la respuesta es de nuevo un sí. De hecho, ambos
resultados son juicios incidentales del siguiente resultado notable, demostrado
por Dirichlet en 1837, pero declarados originalmente por Legendre en 1785. Su
prueba es sumamente complicada, por lo que se omite.
Teorema 105 (Teorema de Dirichlet) Si a y b son primos relativos, en-

tonces la sucesión aritmética a; a + b; a + 2b; a + 3b : : : contiene in…nitos primos.
Por ejemplo, sea a = 3 y b = 4; entonces la sucesión 3; 4 1 + 3; 4 2 + 3;

4 3 + 3 : : : contiene un número in…nito de primos, a saber, primos de la forma
4n + 3.
Igualmente, escogiendo a = 1 y b = 4, de esto se sigue que hay un número
in…nito de primos de la forma 4n + 1.
Más aun, hay otro ejemplo, escoja a = 7 y b = 100. Entonces a + nb =

100n+7, así la sucesión 7; 107; 207; 307 : : : contiene un número in…nito de primos,
y terminan en 7.
Ejercicios 3.3
Encuentre la descomposición canónica de cada número compuesto.
1. 1947
2. 1661
3. 1863
4. 1976
5. 227 + 1
6. 248 1
7. 10; 510; 100; 501
8. 1; 004; 006; 004; 001
Encuentre los factores positivos en cada caso, asumiendo que p y q son
distintos primos.
9. p
10. p2
11. pq
12. pq 2
Encuentre los factores positivos de cada número compuesto.
13. 48
14. 90
15. 210
16. 1040
Encuentre el número de ceros en el valor decimal de cada número.
17. 100!
18. 376!
19. 609!
20. 1010!
Encuentre los valores de n para los que n! contiene el número de ceros
dado.
21. 58
22. 93
Encuentre el MCD de cada par de números, asuma que p; q; y r son dis-
tintos primos.
23. 23 3 5; 2 32 53 72
24. 24 32 75 ; 34 5 112
25. p2 q 3 ; pq 2 r
26. p3 qr3 ; p3 q 4 r5
Usando las descomposiciones canónicas, encuentre el MCD de cada par de
números.
27. 48; 162
28. 72; 108;
29. 175; 192

30. 294; 450
Encuentre el número de ceros en la representación binaria de cada entero.
31. 28
32. 32
33. 208
34. 235
35. Usando los Ejercicios 31-34, prediga el número de ceros en la representación
binaria de el entero positivo n.
Encuentre la más alta potencia de cada uno de los númesor que divides a
1001!
36. 2
37. 3
38. 5
39. 7
Usando el Teorema 101, encuentre el número de unos en la representación
binaria de cada entero.
40. 234
41. 1001
42. 1976
43. 3076
44. Usando el Ejemplo 100, conjeture sobre el número de ceros que tiene el
valor decimal de n!
Demuestre cada ítem, aumiendo que p es un primo, y a; b; y n son enteros
positivos.
45. Si pja2 , entonces pja.
46. Si pjan , entonces pja.
47. El producto de de n enteros del forma 4k + 1 también es de la misma

forma.
48. Si (a; b) = 1, entonces (an ; bn ) = 1.
49. Si (an ; bn ) = 1, entonces (a; b) = 1.
50. Hay in…nitos primos de la forma 2n + 3.
51. Hay in…nitos primos de la forma 8n + 5.
52. Todo entero positivo n puede escribirse como n = 2e m, donde e 0ym

es un entero impar.
53. Cada entero positivo n puede escribirse como n = 2a 5b c, dónde c no es

divisible por 2 o 5.
54. Un entero positivo es un cuadrado si y sólo si cada exponente en su de-

scomposición canónica es entero par.
F
Encuentre el número de factores positivos de cada caso, asuma que p, q,
y r son distintos primos.
55. pq
56. pq 2
57. p2 q 2
58. pq 2 r3
F
Encuentre la suma de los factores positivos en cada caso, asumiendo que
p, q, y r son distintos primos.
59. pi
60. pq j
61. pi q j
62. pi q j rk
Un entero positivo es un cuadrado-libre si no es divisible por el cuadrado
de cualquier entero positivo > 1. Por ejemplo, 105 = 3 5 7 es cuadrado-
libre.
63. Un entero > 1 es cuadrado-libre si y sólo si su factorización prima consiste

de distintos primos.
64. Cualquier entero n > 1 puede escribirse como el producto de un cuadrado

y un entero cuadrado-libre.
3.4. Mínimo Común Multiplo
El mínimo común múltiplo (mcm) de dos enteros positivos a y b está es-

trechamente relacionado con su MCD. De hecho, se utiliza el mcm cada vez que
sumamos y restamos fracciones. Ahora se explorará dos métodos para encon-
trar el mcm de a y b. El primer método que se empleará es la descomposición
canónica, y el segundo emplea su MCD. Se empezará con una de…nición.
Mínimo Común Multiplo

El mínimo común múltiplo de dos enteros positivos a y b es el menor entero
positivo divisible tanto por a como por b, y se denota como [a; b] :
Suponga que se quiere evaluar [18; 24] : Ya que los múltiplos de 18 son
18; 36; 54; 72; 90; y de 24 son 24; 48; 72; 96; Así, sus múltiplos comunes
son 72; 144; 216; Por tanto [18; 24] =su mcm= 72:
Las dos preguntas que normalmente nos podemos hacer son si el mcm de dos
enteros ¿siempre existe? Ya que ab es un múltiplo de ambos a y b; el conjunto
de comunes múltiplos es simpre diferente de vacio; así, por el principio del buen
ordenamiento, el conjunto tiene un mínimo elemento; por tanto, [a; b] siempre
existe.
Y la otra pregunta que surge es ¿si el mcm es único? La respuesta es nueva-
mente a…rmativa (Su demostración se propone como ejercicio)
A continuación se presentará una de…nición simbólica del mcm.
Una De…nición Simbólica del mcm

El mcm de dos números enteros positivos a y b es el entero positivo m tal
que:
ajm y bjm; y
si ajm0 y bjm0 ; entonces m m0 ; donde m0 es un entero positivo.

3.4. MÍNIMO COMÚN MULTIPLO 101
La descomposición canónica de a y b se puede emplear para encontrar su

mcm. Suponga que queremos encontrar [90; 168]: Note que 90 = 2 32 5 y
168 = 23 3 7: Observando las potencias primas, se sigue que su mcm debe ser
múltiplo de 23 ; 32 ; 5 y 7; así su mcm es 23 32 5 7 = 2520:
Observación
[90; 168] = 23 32 5 7
= 2maxf1;3g 3maxf2;1g 5maxf1;0g 7maxf0;1g
Esto nos lleva a la siguiente generalización.
Sean a; b enteros positivos con las siguientes descomposiciónes canónicas
a = pa1 1 pa2 2 pa3 3 pann y b = pb11 pb22 pb33 pbnn con ai ; bi 0:
(De nuevo, se supone que ambas desomposiciones canónicas contienen ex-
actamente las mismos bases primas pi :) Luego:
Observación
maxfa1 ;b1 g maxfa2 ;b2 g
[a; b] = p1 p2 pmaxfa
n
n ;bn g
El siguiente ejemplo ilustra la técnica anterior.
Ejemplo 106 Encuentre el mcm de 1050 y 2574 usando la decomposición canóni-

ca.
Solución. Tenga en cuenta que:
1050 = 2 3 52 7 y 2574 = 2 32 11 13
Por lo tanto
[1050; 2574] = 2maxf1;1g 3maxf1;2g 5maxf2;0g 7maxf1;0g 11maxf1;0g 13maxf0;1g
= 21 32 52 71 111 131 = 450;450
A continuación, se desarrollará una estrecha relación entre el MCD y el mcm

de dos enteros positivos. Pero primero, se estudiará un ejemplo y se dará una
observación.
Observe que (18; 24) = 6 y [18; 24] = 72: También, 6 72 = 18 24. En otras
palabras
18 24
[18; 24] =
(18; 24)
El siguiente teorema muestra que esto no es una coincidencia, que siempre se da
el caso. Se trata de una aplicación directa del Teorema 2 y de la descomposición
canónica.
Teorema 107 Sean a y b enteros positivos. Entonces
ab
[a; b] = :
(a; b)
Demostración. Sean a = pa1 1 pa2 2 pa3 3 pann y b = pb11 pb22 pb33 pbnn , las descom-
posiciones canónicas de a y b; respectivamente. Entonces
m nfa1 ;b1 g m nfa2 ;b2 g m nfa3 ;b3 g
(a; b) = p1 p2 p3 pm
n
nfan ;bn g
y
maxfa1 ;b1 g maxfa2 ;b2 g maxfa3 ;b3 g
[a; b] = p1 p2 p3 pmaxfa
n
n ;bn g
Por tanto,
m nfa1 ;b1 g maxfa1 ;b1 g
(a; b) [a; b] = p1 pm
n
nfan ;bn g
p1 pmaxfa
n
n ;bn g
m nfa1 ;b1 g+maxfa1 ;b1 g

= p1 pm
n
nfan ;bn g+maxfan ;bn g
= pa1 1 +b1 pa2 2 +b2 pann +bn

= (pa1 1 pa2 2 pa3 3 pann ) pb11 pb22 pb33 pbnn
= ab
Así,
ab
[a; b] =
(a; b)
que era lo que se quería demostrar.
Este teorema proporciona una segunda forma de cálcular [a; b], siempre que
se conozca (a; b), como se ilustra en el siguiente ejemplo.
Ejemplo 108 Use (252; 360); y calcular [252; 360]:

Solución. Tenga en cuenta que 252 = 22 32 7 y 360 = 23 32 5; así
(252; 360) = 22 32 = 36: Por tanto, por el teorema anterior
252 360
[252; 360] =
36
= 2520
Retornando al Teorema 107, suponga que (a; b) = 1: Entonces [a; b] = ab:
Corolario 109 Dos enteros positivos a y b son primos relativos si y solo si

[a; b] = ab:
Por ejemplo, ya que 15 y 28 son primos relativos, [15; 28] = 15 28 = 420:

Como en el caso del MCD, la idea de mcm puede también ser extendida a
tres o más enteros positivos. Por ejemplo 24 = 23 3; 28 = 22 7 y 36 = 22 32 :
Por tanto,
[24; 28; 36] = 2maxf3;2;2g 3maxf1;0;2g 7maxf0;1;0g

= 23 32 71
= 504
Nuevamente, como en el caso de MCD, la recursividad puede ser aplicada

para evaluar el mcm de tres o más enteros positivos, como lo muestra el siguiente
resultado. La prueba se deja como ejercicio para el lector.
Teorema 110 Sean a1 ; a2 ; ; an n ( 3) enteros positivos. Entonces
[a1 ; a2 : an ] = [[a1 ; a2 : an 1 ] ; an ]
El siguiente ejemplo ilustra este resultado.
Ejemplo 111 Use recursión para evaluar [24; 28; 36; 40] :
Solución.
[24; 28; 36; 40] = [[24; 28; 36] ; 40] = [[[24; 28] ; 36] ; 40]
= [504; 40] = [[168; 36] ; 40]
= 2520
(Usted puede veri…car el resultado usando la descomposición canónica de 24, 28,

36 y 40.)
Los siguientes dos resultados se siguen del Teorema 110.
Corolario 112 Si los enteros positivos a1 ; a2 ; ; an son primos relativos por

pares, entonces [a1 ; a2 ; ; an ] = a1 a2 an :
Por ejemplo, 12, 25 y 77 son primos relativos por pares, así [12; 25; 77] =
12 25 77 = 23;100:
¿Es el recíproco de este resultado cierto?.
Teorema 113 Si m1 ja y m2 ja entonces [m1 ; m2 ] ja:

Demostración. Llamando [m1 ; m2 ] = t , se tiene m1 jt y m2 jt: Además, si

m1 jt0 y m2 jt0 , debe ocurrir que t t0 :
Se quiere probar que tja:
Por el algoritmo de la división a = tq + r con 0 r < t; o de manera
equivalente
r = a tq; con 0 r < t:
Suponga que 0 < r < t; como m1 ja y m1 jt entonces por el Teorema 42
m1 ja tq, es decir m1 jr: De igual forma, como m2 ja y m2 jt entonces m2 ja tq;
es decir m2 jr:
Ya que por de…nición y como se enuncio inicialmente, si existe otro común
múltiplo de m1 y m2 ; este tiene que ser mayor que [m1 ; m2 ] = t; entonces r t
que contradice el supuesto que 0 < r < t; por lo tanto r = 0; así tja:
Corolario 114 Si m1 ; m2 ; ; mk y a son enteros positivos tales que mi ja

para 1 i k: Entonces [m1 ; m2 ; ; mk ] ja:
Demostración. (inducción fuerte sobre k) Claramente se puede ver que se

cumple para k = 1; y el Teorema 113 muestra que igualmente se cumple para
k = 2:
Suponga que se cumple para todos los enteros desde 1 hasta t. Ahora suponga
que mi ja con 1 i t+1: Entonces por hipótesis de inducción [m1 ; m2 ; : : : ; mt ]ja
y además mt+1 ja; así, otra vez por la hipótesis, [[m1 ; m2 ; : : : ; mt ]; mt+1 ]ja; esto
es, [m1 ; m2 ; : : : ; mt+1 ]ja por el Teorema 110. Luego, por inducción, el resultado
es verdadero para cada entero k.
Ejercicios 3.4
Marque verdadero o falso, asumiendo que a,b y c son enteros positivos arbi-
trarios y p es un número primo.
1. El mcm de dos primos es su producto.
2. El mcm de dos enteros positivos consecutivos es su producto.
3. El mcm de dos primos distintos es su producto.
4. Si (a; b) = 1; entonces [a; b] = ab:
5. Si p - a; entonces [p; a] = pa:
6. Si (a; b) = 1; entonces a = 1 = b:
7. Si [a; b] = b; entonces a = 1:
8. Si [a; b] = b; entonces ajb:
9. Si [a; b] = ab; entonces a = b:

10. Si [a; b] = ab y [b; c] = bc; entonces [a; c] = ac:

Encuentre el mcm de cada par de enteros.
11. 110; 210
12. 65; 66
Encuentre [a; b] si
13. ajb
14. bja
15. a = 1
16. a = b
17. a y b son distintos primos.
18. b = a + 1
Encuentre [a; b] si
19. (a; b) = 3 y ab = 693:
20. ab = 156 y a y b son primos relativos.
21. Encuentre el entero positivo a si [a; a + 1] = 132:
22. Encuentre el par de primos p y q tal que [p; q] = 323:
Encuentre los enteros positivos a y b tales que
23. (a; b) = 20 y [a; b] = 840
24. (a; b) = 18 y [a; b] = 3780
25. ¿Cuál es su conclusión si (a; b) = [a; b]? ¿Por qué?
Usando recursividad, encuentre el mcm de los enteros dados.
26. 12; 18; 20; 28
27. 12; 15; 18; 25; 20
28. Pruebe o refute: [a; b; c] = abc=(a; b; c)
This is the body (mainmatter) of the Standard LaTeX Book shell document.
The front matter has a number of sample entries that you should replace
with your own.Replace this text with the body of your book. Do not delete the
TeX …eld found above in a paragraph by itself or the numbering of di¤erent
objects will be wrong.
Changes to the typeset format of this shell and its associated LATEX format-
ting …le (book.cls) are not supported by MacKichan Software, Inc. If you wish
to make such changes, please consult the LATEX manuals or a local LATEX expert.
If you modify this document and export it as “Standard LaTeX Book.shl”
in the Shells\Standard LaTeX directory, it will become your new Standard
LaTeX Book style shell.
The typesetting speci…cation selected by this shell document uses the default
class options. There are a number of class options supported by this typesetting
speci…cation. The available options include setting the paper size and the point
size of the font used in the body of the document. Select Typeset, Options and
Packages, the Class Options tab and then click the Modify button to see the class
options that are available for this typesetting speci…cation.
Capítulo 4
Features of this Shell
4.1. Section
Use the Section tag for major sections, and the Subsection tag for subsec-
tions.
4.1.1. Subsection
This is just some harmless text under a subsection.
Subsubsection
This is just some harmless text under a subsubsection.
Subsubsubsection This is just some harmless text under a subsubsubsection.
Subsubsubsubsection This is just some harmless text under a subsub-

subsubsection.
4.2. Tags
You can apply the logical markup tag Emphasized.
You can apply the visual markup tags Bold, Italics, Roman, Sans Serif,
Slanted, Small Caps, and Typewriter.
You can apply the special, mathematics only, tags BLACKBOARD BOLD,
CALLIGRAPHIC, and fraktur. Note that blackboard bold and calligraphic are
correct only when applied to uppercase letters A through Z.
You can apply the size tags t i n y , scriptsize , footnotesize, small, normalsize, large,
Large, LARGE, huge and Huge.

107
108 CAPÍTULO 4. FEATURES OF THIS SHELL
This is a Body Math paragraph. Each time you press the Enter key, Scienti…c
WorkPlace switches to mathematics mode. This is convenient for carrying out
“scratchpad” computations.
Following is a group of paragraphs marked as Short Quote. This environment
is appropriate for a short quotation or a sequence of short quotations.
The buck stops here. Harry Truman

Ask not what your country can do for you; ask what you can do for
your country. John F Kennedy
I am not a crook. Richard Nixon
It’s no exaggeration to say the undecideds could go one way or an-
other. George Bush
I did not have sexual relations with that woman, Miss Lewinsky. Bill
Clinton
The Long Quotation tag is used for quotations of more than one paragraph.
Following is the beginning of Alice’s Adventures in Wonderland by Lewis Car-
roll:
Alice was beginning to get very tired of sitting by her sister

on the bank, and of having nothing to do: once or twice she had
peeped into the book her sister was reading, but it had no pictures
or conversations in it, ‘and what is the use of a book,’thought Alice
‘without pictures or conversation?’
So she was considering in her own mind (as well as she could,
for the hot day made her feel very sleepy and stupid), whether the
pleasure of making a daisy-chain would be worth the trouble of get-
ting up and picking the daisies, when suddenly a White Rabbit with
pink eyes ran close by her.
There was nothing so very remarkable in that; nor did Alice think
it so very much out of the way to hear the Rabbit say to itself, ‘Oh
dear! Oh dear! I shall be late!’(when she thought it over afterwards,
it occurred to her that she ought to have wondered at this, but at
the time it all seemed quite natural); but when the Rabbit actually
took a watch out of its waistcoat-pocket, and looked at it, and then
hurried on, Alice started to her feet, for it ‡ashed across her mind
that she had never before seen a rabbit with either a waistcoat-
pocket, or a watch to take out of it, and burning with curiosity, she
ran across the …eld after it, and fortunately was just in time to see
it pop down a large rabbit-hole under the hedge.
In another moment down went Alice after it, never once consid-
ering how in the world she was to get out again.
Use the Verbatim tag when you want LATEX to preserve spacing, perhaps
when including a fragment from a program such as:
4.3. MATHEMATICS AND TEXT 109
#include <iostream> // < > is used for standard libraries.

void main(void) // "main" method always called first.
{
cout << "Hello World."; // Send to output stream.
}
4.3. Mathematics and Text

Let H be a Hilbert space, C be a closed bounded convex subset of H, T a
nonexpansive self map of C. Suppose that as n ! 1, an;k ! 0 for each k, and
P1 + P1
n = k=0 (an;k+1 an;k ) ! 0. Then for each x in C, An x = k=0 an;k T k x
converges weakly to a …xed point of T .
The numbered equation
p 2
utt u + u5 + u juj = 0 in R3 [0; 1[ (4.1)
is automatically numbered as equation 4.1.
4.4. Lists Environments

You can create numbered, bulleted, and description lists using the Item Tag
popup list on the Tag toolbar.
1. List item 1
2. List item 2
a) A list item under a list item.

The typeset style for this level is di¤erent than the screen style. The
screen shows a lower case alphabetic character followed by a period
while the typeset style uses a lower case alphabetic character sur-
rounded by parentheses.
b) Just another list item under a list item.
1) Third level list item under a list item.
a 0 Fourth and …nal level of list items allowed.
Bullet item 1
Bullet item 2
Second level bullet item.

Third level bullet item.
Fourth (and …nal) level bullet item.
110 CAPÍTULO 4. FEATURES OF THIS SHELL
Description List Each description list item has a term followed by the de-
scription of that term. Double click the term box to enter the term, or to
change it.
Bunyip Mythical beast of Australian Aboriginal legends.
4.5. Theorem-Like Environments

The following theorem-like environments (in alphabetical order) are available
in this style.
Acknowledgement 115 This is an acknowledgement
Algorithm 116 This is an algorithm
Axiom 117 This is an axiom
Caso 118 This is a case
Claim 119 This is a claim
Conclusion 120 This is a conclusion
Condition 121 This is a condition
Conjecture 122 This is a conjecture
Corolario 123 This is a corollary
Criterion 124 This is a criterion
De…nición 125 This is a de…nition
Ejemplo 126 This is an example
Ejercicio 127 This is an exercise
Lema 128 This is a lemma
Demostración. This is the proof of the lemma.
Notation 129 This is notation
Problema 130 This is a problem
Proposition 131 This is a proposition
Observación 132 This is a remark
Summary 133 This is a summary
Teorema 134 This is a theorem
Proof of the Main Theorem. This is the proof.
Apéndice A
Una Introducción al
paquete DERIVE
A.1. ¿QUÉ ES DERIVE?

Derive es un programa de cálculo simbólico, o en otras palabras un lenguaje
de programación de alto nivel, ofreciendo al usuario unas características partic-
ulares tales como:
1. Tiene la posibilidad de de ingresar expresiones de tipo racional, como

por ejemplo 2=9 sin la necesidad de operar con su resultado inmediato =
0;222 22, aunque también se puede ingresar éste para efectuar las debidas
operaciones matemáticas.
2. Permite la manipulación de variables sin asignación, lo que indica que
podemos emplear expresiones no numéricas, obteniendo así expresiones de
tipo algebraico donde los datos ingresados no han de ser necesariamente
valores numéricos.
3. Soportan estructuras de datos de tipo vectorial y matricial.
4. Admiten realizar programaciones, aunque DERIVE utiliza una progra-
mación funcional en algunos casos muy poco operativa.
111
112 APÉNDICE A. UNA INTRODUCCIÓN AL PAQUETE DERIVE
A.2. RECUENTO DE LOS PRINCIPALES CO-

MANDOS
A continuación, vamos a describir brevemente los comandos funcionales del
software Derive 6.0, así como los principales íconos que se emplearan con mayor
frecuencia a lo largo del trabajo aplicativo. Al ingresar por primera vez a Derive,
podremos observar la pantalla:
En ella podemos identi…car los comandos que abarcan desde la parte superior
hasta la inferior, los cuales, describiremos a continuación:
A.2.1. Barra de Títulos

En ésta aparece el nombre del programa, así como el nombre que le hemos
asignado a nuestro archivo en Derive, para este caso Álgebra 1 que es otorgado
automáticamente por el software. Adicionalmente los botones de minimizar,
maximizar y cerrar la ventana.
A.2.2. Barra de Menú

En ésta aparecen las funciones básicas de Derive, clasi…cadas en forma de
menú. Los menús principales son; Archivo, edición, editar (autor), simpli…car, re-
solver, cálculo, de…nir, opciones, ventana y ayuda. Para acceder a ellos podemos
hacerlo de dos maneras: La primera, dando clic con el mouse sobre el comando,
desplegando así el grupo de subcomandos que lo contiene, la segunda„ aplicar
A.3. APLICACIONES CON DERIVE 113
la secuencia ALT+(Letra Subrayada), por ejemplo para desplegar el comando

Edición, pulsaría la secuencia ALT+E.
A.2.3. Barra de herramientas o de órdenes

En la barra de herramientas se encuentran los iconos que representan los
comandos utilizados con mayor frecuencia, tales como; Nuevo, guardar, simpli-
…car, sumatoria, límite, etc.
A.2.4. Ventana de álgebra

Aquí aparecen las operaciones que queremos efectuar luego de ser ingresadas
en la barra de introducción de expresiones, estas aparecen antecedidas por eti-
quetas como: #1, #2, etc.
A.2.5. Barra de estado

En la barra de estado recibimos mensajes del programa con relación a las
operaciones que estamos ejecutando.
A.2.6. Barra de introducción de expresiones

Llamada también línea de edición, nos permite introducir las expresiones
matemáticas que después serán visualizadas en la ventana de álgebra.
A.2.7. Barra de de letras griegas y símbolos matemáticos

En ella tenemos disponibles un conjunto de letras y símbolos de los cuales
podemos disponer a la hora de efectuar los cálculos en la línea de edición con
solo dar clic con el mouse sobre cada botón.
A.3. APLICACIONES CON DERIVE

A.3.1. Introducir expresión
Luego de una breve introducción a nuestro software derive, procederemos
con la aplicabilidad del mismo. Lo primero que vamos a hacer es incorporar una
expresión matemática, sea la ecuación x2 4x + 16 = 0, dicha expresión. Para
ingresarla, iremos a la barra de menús, tomamos la opción introducir y damos
clic en donde aparece Expresión (o bien se puede solo presionar F2). Luego en
la barra de introducción de expresiones el cursor empezará a titilar, esperando
a que se introduzca la ecuación.
También podemos simplemente dirigirnos directamente a la barra de intro-

ducción de expresiones e ingresar la ecuación. Para elevar la x al cuadrado,
como opción se tiene en la barra de símbolos matemáticos la tecla ^, tan solo
la pulsamos y enseguida tomara el valor anterior como un término elevado a

la potencia que el usuario de…na. A continuación para verla en la ventana de
álgebra, pulsamos Enter en donde nuestra ecuacion aparecerá precedida de la
etiqueta #1, así
A.3.2. Simpli…car Expresiones

Normal
Para simpli…car normal, se hace clic sobre =, o simplemente se pulsa Ctrl+B.
Sirve para simpli…car numérica y algebraicamente expresiones matemáticas. Es-
ta orden simpli…ca la expresión o la subexpresión resaltada y muestra el resul-
tado en la Ventana de Álgebra. El resultado se resalta y recibe una etiqueta (un
número con #). Si se quiere ver tanto la expresión de entrada como el resultado
una vez simpli…cado en una sola línea, introduzca la expresión seguida de un
signo igual (=) y haga clic sobre Sí. Derive muestra una ecuación cuyo segundo
término es el resultado de simpli…car el primer término.
El segundo objetivo de simpli…car normal es transformar las expresiones

en otras que sean lo más pequeñas posibles, ya que así ocupan menos espacio
para ser almacenadas. Según como sea la expresión, puede que tarde mucho en
ser simpli…cada. Después de algunos segundos, el diálogo Progreso del Cálculo
aparecerá indicando:
1. La expresión que está siendo simpli…cada

2. La cantidad de tiempo utlizada en simpli…car la expresión
3. El porcentaje de la memoria que está siendo usada para simpli…car la
expresión.
Expandir
El objetivo de expandir una expresión con respecto a unas variables es max-
imizar el número de términos que son algebraicamente independientes respecto
de esas variables. Use simpli…car expandir, pulsando Ctrl+E o use la función
EXPAND para expandir una expresión o subexpresión con respecto de algunas
(o todas) de sus variables. Si una expresión polinómica se expande, se obtiene
justamente la expansión de ese polinomio. Si se expande una expresión racional,
se obtiene su descomposición en fracciones simples. Notemos que simpli…car
expandir y la función EXPAND no controlan expansiones exponenciales, loga-
rítmicas ni trigonométricas.
Simpli…car expandir expande la expresión resaltada o sólo la subexpresión

resaltada. Es este último caso, el resultado será una copia de la expresión en
la que se ha expandido la subexpresión resaltada. Una expresión que contiene
más de una variable puede ser expandida con respecto a algunas o a todas sus
variables. Simpli…car expandir muestra una lista de las variables. Pulse Enter
A.3. APLICACIONES CON DERIVE 115
si la expansión quiere hacerla con respecto a todas las variables en el orden

mostrado. De otro modo, entre la primera variable, la secundaria, etc.
La función EXPAND puede usarse para introducir directamente la expresión

que se quiera expandir así: EXPAND(u, x, y,...) expande la expresión u(x,
y,...) con respecto a las variables x, y,... Si no se especi…can las variables,
la expansión se hace con respecto a todas las variables de la expresión. Tam-
bién se usa Simpli…car expandir y la función EXPAND para descomponer en
fracciones simples una expresión racional (o una subexpresión) con respecto a
alguna o a todas las variables de su denominador.
Factorizar
Utilice simpli…car factorizar, pulsando Ctrl+F o use la función FACTOR
para factorizar una expresión o subexpresión con respecto a alguna o a todas sus
variables. Simpli…car factorizar, factoriza la expresión o subexpresión resaltada,
de modo que si se resalta una subexpresión, el resultado es una copia de la
expresión completa en la que sólo la subexpresión se ha factorizado.
Una expresión de varias variables puede ser factorizada con respecto a algu-
nas o a todas sus variables. Simpli…car factorizar le permite seleccionar las vari-
ables para la factorización. Haga clic sobre la que quiera que sea la primera, la
segunda, etc. Las subexpresiones que no contienen las variables de factorización
se simpli…can sin ser transformadas innecesariamente. En otras palabras, las
subexpresiones que sólo contienen variables que no son las de factorización no
son expandidas ni factorizadas innecesariamente. Las potencias de exponentes
semejantes se reúnen y se simpli…can. La función FACTOR puede usarse desde
la línea de entrada como: FACTOR(u, amount, x, y,...) factoriza la expresión
u(x, y,...) con respecto a las variables x, y,... Si no se indican variables,
la expansion se hace con respecto a todas ellas.
Aproximar
Utilice simpli…car aproximar, pulsando Ctrl+G o usando la función AP-
PROX que sirve para aproximar los números irracionales en tales expresiones
sin cambiar la precisión. Resolver expresiones usando aproximar es equivalente
a reducir expresiones con simpli…car normal pero cambiando temporalmente
la precisión aproximada y la notación cientí…ca. Simpli…car aproximar permite
además introducir el número de dígitos de precisión que se usarán en los cálculos
y que se mostrarán en el resultado.
La función APPROX puede usarse de forma equivalente en la línea de entra-

da así: APPROX (u, n) aproxima la expresión u usando n dígitos de precisión. Si
se omite n, se toma el número seleccionado actualmente por defecto en Derive.
Señalemos que tanto simpli…car expandir, factorizar, aproximar como simpli…car
normal transforman una expresión en otra en forma su…cientemente simple. Sin
embargo, simpli…car normal es casi siempre mucho más rápida y usualmente

proporciona un tipo de expresión más parecida a la expresión original.
A.3.3. Introducir vector

Para introducir un vector, realizaremos el proceso que empleamos al insertar
una expresión, es decir, nos dirigimos al menú introducir solo que ésta vez damos
clic en donde aparece vector (otra manera es oprimir en la barra de ordenes la
opción introducir vector). A continuación, nos mostrara una ventana en donde
solicitará el número de elementos de dicho vector, para nuestro ejemplo elegire-
mos 4 y damos Sí a la ventana. Nuevamente, aparecerá una ventana en donde
la parte superior describirá el número de elementos que hemos seleccionado; allí
ingresaremos los valores de nuestro vector por ejemplo ingresemos los números
impares del 1 al 7 al dar Sí, en la ventana de álgebra se optendrá [1, 3, 5,
7]. Si la queremos ingresar manualmente presionamos F2 y en la barra de intro-
ducción de expresiones digitamos: VECTOR(2.n-1 , n, 1, 4), en donde 2n 1
es la fórmula de la función con variable n que va desde uno a cuatro según nues-
tras indicaciones. Pulsemos Enter, simpli…car (=) y aparecerá en la ventana de
álgebra el mismo vector generado anteriormente.
A.3.4. Introducir Matriz

De igual forma que para montar un vector, Derive ofrece la opción en el
menú introducir para insertar una matriz (o en la barra de ordenes oprimir
introducir matriz). Al pulsar en ella aparecerá el cuadro de diálogo similar a
introducir vector, solo que esta vez solicitara que demos las dimensiones (…las
y columnas), ingresemos las opciones de 4 …las y 4 columnas, luego asociemos
a cada celda un número, tomemos como ejemplo los números f2; 3; 4; 5g en
la primera …la, f3; 4; 5; 6g en la segunda …la, f4; 5; 6; 7g en la tercera …la, y
f5; 6; 7; 8g en la cuarta …la luego demos Sí para que genere nuestra matriz:
2 3
2 3 4 5
6 3 4 5 6 7
6 7
4 4 5 6 7 5
5 6 7 8
Ahora, de forma manual pulsamos F2 y en la barra de introducción de expre-

siónes escribimos: VECTOR(VECTOR((j + k), j, 1, 4), k, 1, 4), en donde j
y k varian desde uno hasta cuatro para cada uno de los valores.
Apéndice B
Afterword
The back matter often includes one or more of an index, an afterword, ac-
knowledgements, a bibliography, a colophon, or any other similar item. In the
back matter, chapters do not produce a chapter number, but they are entered
in the table of contents. If you are not using anything in the back matter, you
can delete the back matter TeX …eld and everything that follows it.
117

Teoria Numeros-Koshy (BorradorEnEspañol)

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Teoria Numeros-Koshy (BorradorEnEspañol)

Uploaded by

Copyright:

Available Formats

Una Introducción a la Teoría de Números

Algunas aplicaciones con DERIVE

Luis Alejandro Másmela Caita

3. Máximo Común Divisor 75

4. Features of this Shell 107

A. Una Introducción al paquete DERIVE 111

El texto que a continuación se presenta y que aborda el tema de la Teoría de

1.1. Propiedades Fundamentales

Figura 1.1: Recta Numérica

El conjunto de los enteros positivos, junto con el 0; conforman el conjunto

Por ejemplo, j5j = 5; j j = ( ); j0j = 0:

Funciones Piso y Techo

subintervalo que contiene el número 0;4567. Ya que b0;4567=0;02c + 1 = 23 éste

1. El matemático inglés Augusto DeMorgan, que vivió en el siglo XIX, una

8. Un número entero positivo N de n dígitos es un número de Kaprekar

9. Encuentre la falla en la siguiente "demostración":

Factorizando, a(a b) = (a + b)(a b): Cancelando a b en ambos lados,

11. ¿Cuántos cuadrados perfectos pueden mostrarse en la pantalla de una

12. jabj = jaj jbj

13. ja + bj jaj + jbj

23. d(0; x) = jxj

24. d(x; y) = 0 si y solo si x = y:

25. d(x; y) = d(y; x)

26. d(x; y) d(x:z) + d(z; y)

1.2. La Notación Sumatoria y Productoria

La variable i es el índice de la sumatoria. Los valores k y m son, re-

El índice i es una variable dummy; se puede usar cualquier variable como

Los siguientes resultados son muy usados en la evaluación de sumas …ni-

Teorema 6 Sean n cualquier entero positivo y c cualquier número real, y a1 ;

(Este resultado puede ser extendido a cualquier límite inferior k 2 Z:)

Sumatorias múltiples también son frecuentes en matemáticas. EllasPse evalúan

= 3( 1)2 + 3(0)2 + 3(1)2

Nuevamente, i es una variable dummy.

La función factorial, se usa frecuentemente en teoría de números, y puede

Ejemplo 10 La función factorial f (n) = n! (se lee n factorial o el factorial

1.3. Inducción Matemática

Ejemplo 13 Pruebe que no hay enteros positivos entre 0 y 1

Demostración (por contradicción). Supongamos que hay un entero positivo

El principio de buen-orden puede extenderse a casi todos los números, como

Ejemplo 14 Pruebe que cada conjunto no vacío de enteros no negativos tiene

Demostración (por casos). Sea S un conjunto de enteros no negativos.

De esta forma, en ambos casos, S tiene un elemento mínimo.

Versión Débil de Inducción

Teorema 15 Sea S un conjunto de enteros positivos que satisface las siguientes

2. Si k es un entero positivo arbitrario en S , entonces k + 1 2 S:

Demostración(por contradicción). Suponga que S 6= N . Sea S 0 = fn 2 N j n 2

Este resultado puede ser generalizado, como lo muestra el siguiente teorema.

Teorema 16 Sea n0 un entero …jo. Sea S un conjunto de enteros que satisfacen

2. Si k es un entero arbitrario n0 tal que k 2 S , entonces k + 1 2 S.

Luego S contiene todos los enteros positivos n n0 .

Teorema 17 (Principio de Inducción Matemática) Sea P (n) una

1. P (n0 ) es verdadera para algún entero n0 .

2. Si P (k) es verdadera para un entero arbitrario k n0 , entonces P (k + 1)

Luego P (n) es verdadera para cada entero n n0 .

Demostración. Sea S un conjunto de enteros n0 para los cuales P (n) es

En la condición (1) del teorema 17 se asume la proposición P (n) como ver-

Demostrar un resultado por inducción comprende dos pasos clave:

Paso Básico: Compruebe que P (n0 ) es cierto.

A continuación, compruebe que P (k + 1) también es cierto.

Para recordar: Con frecuencia nos preguntamos "¿No es este

Ejemplo 18 Pruebe que

Paso Básico: Veri…car que P (1) es verdadero (nota: aquí n0 = 1)

Luego si P (k) es verdadero, entonces P (k + 1) también lo es. Así, por in-