Koshy PDF

Una Introduccion a la Teora de Numeros
Algunas
Aplicaciones con DERIVE
El texto que a continuacio n se presenta y que aborda el tema de

la Teora de Nu
meros, es una traduccio n de
la primera parte del libro Elementary Number Theory with
Applications escrito por Thomas Koshy.
Colombia, 20112012
Bogota
Profesor

LUIS ALEJANDRO MASMELA CAITA
Estudiantes
Manuel Alejandro Moreno Are valo

Angie Carolina Gonza lez Corredor
tian Martnez Bentez
Johan Seba
Miguel Angel Rojas Gallo
UNIVERSIDAD DISTRITAL FRANCISCO JOSE DE CALDAS

Bogot
a
2013
UD
Indice general
I Primera Parte 1
1. Fundamentos 3
2. Divisibilidad 57
3. M aximo Com un Divisor 89

3.1. Maximo Com
un Divisor . . . . . . . . . . . . . . . . . . . . . . . 89
4. Congruencias 135
A. Una Introducci
on al paquete DERIVE 137
3
Prefacio
This is the preface. It is an unnumbered chapter. The markboth TeX field 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.
Luis Alejandro Masmela Caita
5
Introduccion
El texto que a continuaci on se presenta y que aborda el tema de la Teora de

Numeros, es una traducci on 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 Teora de N umeros con estudiantes de primer semestre del
Proyecto de Matem aticas en la Universidad Distrital Francisco Jose de Caldas.
Se busca que el estudiante, a traves de este curso, se familiarice de manera
gradual con diferentes procesos rigurosos de las matematicas, en especial con
los distintos procesos de demostracion, formalizando conceptos que fueron
trabajados operativamente en sus cursos anteriores de matematicas en la
secundaria. Se ha pretendido desarrollar este curso a la par con laboratorios en
sala de computo, utilizando el software matematico 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 el mismo
establece a medida que avanza en el estudio de los distintos temas.
Una Introducci
on a la Teora de N
umeros Algunas Aplicaciones con DERIVE
7
Parte I
Primera Parte
1
Captulo 1
Fundamentos
Propiedades Fundamentales
La teora de numeros concierne a una teora que se desarrolla solamente
sobre el conjunto de los numeros enteros. Es as que de ahora en adelante se
denotar umeros enteros a traves del smbolo Z1 :
a al conjunto de n
Z = {. . . 2, 1, 0, 1, 2, . . .}
A lo largo de este texto se escribira ((x S)) para denotar que ((el elemento x
pertenece al conjunto S)); de manera similar ((x / S)) denotara que ((el elemento
x no pertenece al conjunto S.)) Por ejemplo si hacemos referencia al conjunto de
interes Z, se puede afirmar que 4 Z, mientras que / Z.
Los numeros enteros pueden representarse geometricamente sobre la deno-
minada recta numerica. Ver Figura. 1: Recta Numerica
Fig.1: Recta Numerica
A los enteros 1, 2, 3, ... se les denomina enteros positivos. Ellos tambien

reciben el nombre de n umeros naturales o n umeros para contar. Se en-
cuentran a la derecha del origen (coordenada cero) en la recta n umerica. Se
denotara al conjunto de los enteros positivos por Z+ o N :
Z+ = N = {1, 2, 3, . . .}
1 La letra Z proviene de la palabra alemana Zahlen para n
umeros.
3
El conjunto de los enteros positivos, junto con el 0, conforman el conjunto
denominado numeros enteros W :
W = {0, 1, 2, 3, . . .}
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
umeros enteros positivos para comparar los n umeros
enteros en general, como en la siguiente definicion.
La Relaci
on 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 afirmar tambien que b es mayor que a, que se
escribe b > a. 2 Si a no es menor que b, se escribira a b; similarmente, a b
denotara que a no es mayor que b. Se sigue de esta definicion que un entero a
es positivo si y solo si a > 0.
Definicion 1. (Ley de la Tricotoma) Dados dos n

umeros enteros a y b, hay
tres posibilidades: a < b, o a = b, o a > b.
Geometricamente, esto significa que si a y b son cualesquiera dos puntos en

la recta numerica, entonces es cierta solo una de las siguientes tres afirmaciones,
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 relacion de igualdad para definir la
on menor o igual que. Si a < b o a = b, se escribira a b.3 De manera
relaci
similar, a b significa que a > b o a = b. Se puede notar que a b si y solo si
a b.
Teorema 1. Denote mn{x, y} el mnimo de los enteros x y y, y max{x, y} su

m
aximo. Entonces mn{x, y} + max{x, y} = x + y.
Demostraci
on(por casos)
Caso 1. Sea x y. Entonces mn{x, y} = x y max{x, y} = y, as, mn{x, y} +

max{x, y} = x + y.
Caso 2. Sea x > y. Entonces mn{x, y} = y y max{x, y} = x, as, mn{x, y} +

max{x, y} = y + x = x + y.
2 Los s
mbolos < y > son introducidos en 1631por el matem atico ingl
es Thomas Harriet
(15601621).
3 Los s
mbolos y fueron introducidos en 1734 por el matematico franc
es P. Bougher.
Valor Absoluto
umero real x, denotado por |x| , se define por
El valor absoluto de un n

x si x 0
|x| =
x en otros casos
Por ejemplo, |5| = 5, || = (), |0| = 0.
Geometricamente el valor absoluto de un n umero indica la distancia de este
al origen de la recta numerica.
Aunque el interes recae s
olo en las propiedades de n
umeros enteros, a menudo
se tratar
a con numeros racionales y reales. Las funciones piso y techo son dos
tales funciones te
orico-numericas. Ellas tienen usos importantes en matematicas
discretas y ciencias de la computacion.
Funciones Piso y Techo

El piso de un numero real x, denotado por bxc es el mas grande entero x.
El techo de x, denotado por dxe, es el mas peque no 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
/ Z, el piso de x es el mas proximo entero a la izquierda de
x sobre la recta numerica, y el techo de x es el mas proximo entero a la derecha
de x, ver (Fig.2: Funciones Piso y Techo ) . La funci on piso f (x) = bxc y
la funcion techo g(x) = dxe son conocidas tambien como la funcion mayor
entero y la funci
on menor entero, respectivamente.
Fig.2: Funciones Piso y Techo

Por ejemplo 2 = 1, bc = 3, b3, 5c = 4, 2 = 2, de = 4 y
d3, 5e = 3.
La funci
on piso es practica cuando los n
umeros reales deben ser truncados o
aproximados al menor entero. Por ejemplo el n umero real = 3,1415926535 . . .
truncado a tres cifras decimales esta dado por
b1000c 3141
= = 3,141
1000 1000
de otro lado redondeado a tres cifras decimales es
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
on
mayor entero [x] .
b1000 + 0,5c
= 3,142.
1000
Hay otro uso simple de la funcion piso. Suponga que se divide el intervalo
unitario [0, 1) en 50 subintervalos de igual longitud y luego se pretende saber el
subintervalo que contiene el numero 0,4567. Ya que b0,4567/0,02c + 1 = 23 este
esta en el subintervalo numero 23. De manera general, sea 0 x < 1. Entonces
x esta en el subintervalo bx/0,02c + 1 = b50xc + 1.
Ejemplo 1. (La funci on de la oficina de correos) En 2006 la tasa de

franqueo en Estados Unidos para un primer tipo de carta de peso x, de no m as
de una onza fue de 39 ; la tasa para cada onza adicional o fracci on hasta 11
onzas fue un adicional de 24 . As, el franqueo p(x) para una primera clase de
carta puede definirse como p(x) = 0,39 + 0,24 dx 1e , 0 < x 11. Por ejemplo,
el franqueo para una carta que pesa 7.8 onzas es p(7,8) = 0,39 + 0,24 d7,8 1e =
$2,07.
Algunas propiedades de la funcion piso y techo son listadas en el siguiente

teorema. Se probar
a una de ellas; las otras se proponen como ejercicio.
Teorema 2. Sea x cualquier n

umero real y n un n
umero entero. Entonces
1. bnc = n = dne
2. dxe = bxc + 1 (x
/ Z)
3. bx + nc = bxc + n
4. dx + ne = dxe + n
5. n2 = n1

2 si n es impar.
6. n2 = n+1

2 si n es impar.
Demostraci
on
Todo numero real x puede ser escrito como x = k + x0 , donde k = bxc y

0
0 x < 1. Ver (Fig.3: Demostracion). Entonces
Fig.3: Demostracion
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 quera demostrar.

Ejercicios 1.1.
Eval
ue cada una de las siguientes expresiones, en donde x es un n
umero real.
1. El matematico ingles Augusto De Morgan, que vivio en el siglo XIX, una

vez coment
o que el tena x a no x2 . Cuando nacio el?
nos en el a
Eval
ue cada item, asuma que x es un n
umero real.
x
2. f (x) = |x| (x 6= 0).
3. g(x) = bxc + bxc.

4. h(x) = dxe + dxe.
Determine si:
5. bxc = bxc.
6. dxe = dxe.
7. Hay cuatro numeros enteros entre 100 y 1000 que son, cada uno igual a
la suma de los cubos de sus dgitos. Tres de ellos son 153, 371, y 407.
Encuentre el cuarto n
umero.
8. Un n umero entero positivo N de n dgitos es un n
umero de Kaprekar
si la suma del numero formado por los u ltimos n dgitos en N 2 , y el
numero formado por los primeros n (o n 1) dgitos en N 2 es igual a
N . Por ejemplo, 297 es un numero de Kaprekar ya que 2972 = 88209 y
88 + 209 = 297. Hay cinco numeros de Kaprekar < 100. Encuentrelos.
9. Encuentre la falla en la siguiente ((demostracion)): Sean a y b n
umeros
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. Cuantos cuadrados perfectos pueden mostrarse en la pantalla de una
calculadora de 15 dgitos?
Pruebe cada item, asumiendo que a, b y n son enteros cualesquiera, y x
es un n
umero real.
12. |ab| = |a| |b|
13. |a + b| |a| + |b|
jnk n1
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
/ Z)
20. dxe = bxc.
21. dx + ne = dxe + n
La distancia desde x hasta y sobre una lnea recta, denotada por d(x, y),
se define por d(x, y) = |y x|. Pruebe cada item, asumiendo que x, y y z
son enteros cualesquiera.
22. d(x, y) 0
23. d(0, x) = |x|.

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).

DERIVE. Laboratorio 1
OBJETIVO
En el presente taller se busca implementar algunos ejemplos trabajados en
esta secci
on y que utilizan la funcion Piso (FLOOR) y Techo (CEILING) en DE-
RIVE.
Actividades
Inicialmente se establecen tres parametros requeridos para implementar de
manera correcta las funciones que se desean crear, estas determinan el modo de
precisi
on y el n
umero de dgitos en las simplificaciones:
PrecisionDigits:=100
NotationDigits:=100
Notation:=Decimal
1. Con base en la funcion Piso (FLOOR) se desea crear una funcion que se
a ((truncar)) cuyos parametros seran:
llamar
x:valor a truncar
umero de cifras en el truncamiento
n:n
La funci
on se define como:
FLOOR(x 10n )
truncar(x,n):=
10n
La funci
on Piso es practica cuando los n
umeros reales deben ser truncados
o aproximados a un n umero deseado de cifras decimales. Por ejemplo el
n
umero real = 3,1415926535... truncado a tres cifras decimales esta dado
por 3,141. Para ello basta con simplificar en DERIVE, luego de especifi-
cada la funci
on anterior, la expresion
truncar(pi,3)
2. Similar a la funcion anterior, se desea crear, con base en la funcion Piso

(FLOOR) una funcion que se llamara ((redondo)) que busca redondear un
n
umero dado y cuyos parametros ser an:
x:valor a redondear
umero de cifras en el redondeo
n:n
La funci
on se define como:
FLOOR(x 10n + 0,5)
redondo(x,n):=
10n
As, redondeado a tres cifras decimales es 3,142 y se puede obtener

simplificando
redondo(pi,3)
3. La funcion a continuaci
on pretende, al dividir el intervalo [0, 1) en n subin-
tervalos, encontrar el subintervalo que contiene al valor x. La funcion se
bautizara con el nombre ((endonde(x,n))) los parametros representan:
x:valor que se pretende ubicar
umero de subintervalos en que se divide el intervalo [0, 1)
n:n
Para esto, la funci
on se define como:
endonde(x,n):=FLOOR(x n + 1)
Por ejemplo, suponga que se divide el intervalo unitario [0, 1) en 50 subin-

tervalos de igual longitud, y luego se pretende saber el subintervalo que
contiene el n
umero 0,4567. Para ello se simplifica la expresion
endonde(0.4567,50)
4. Mediante la siguiente funcion se ilustra el Ejemplo 1 pagina 5, ((La funcion

de la oficina de correos)).
En 2006 la tasa de franqueo en Estados Unidos para un tipo de carta de
peso x, de no mas de una onza fue de 39 centavos, la tasa para cada onza
adicional o fracci
on hasta 11 onzas fuen un adicional de 24 centavos. La
funci
on post(x) definida a continuacion permite calcular el franqueo de
una carta con peso x.
post(x):=0.39+0.24 CEILING(x 1)
Por ejemplo, simplificando post(7.8) se encuentra el franqueo para una

carta de 7.8 onzas.
5. Por ultimo, algunas funciones adicionales para esta seccion son valor ab-
soluto, mnimo y maximo que se obtiene mediante
ABS(x)
MIN(X1,X2,...)
MAX(X1,X2,...)
Por ejemplo ABS(), MIN(2,4,-2) y MAX(2,4,-2)se simplifican a , 2 y

4 respectivamente.
La Notaci
on Sumatoria y Productoria
Se dar
a la notaci
on de sumatoria y productoria muy utilizada a lo largo de
este texto. Primero se iniciara con la notacion sumatoria.
La Notaci
on Sumatoria
Sumas tales como ak + ak+1 + + aP m , pueden escribirse de manera m as
compacta usando el smbolo sumatoria (letra Griega mayuscula sigma), la
cual se denota con la palabra suma. La notacion de sumatoria fue introducida
en 1722 por el matem atico frances Joseph Louis Lagrange.
Un termino tpico de la suma referida con anterioridad puede ser ai , as,
la suma anterior es la suma de los n umeros ai con Pi recorriendo los numeros
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
La variable i es el ndice de la sumatoria. Los valores k y m son, res-

pectivamente, los lmites inferior y superior del ndice i. El 0 i = 0 del lmite
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 2. Eval
ue j=2 j 3 (j 1)2
Soluci
on
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 evaluacion de sumas fini-
tas, ellos pueden ser probados utilizando induccion matematica, un metodo de
prueba que se presentara mas adelante.
Teorema 3. Sean n cualquier entero positivo y c cualquier n umero real, y a1 ,
a2 , ... , an , y b1 , b2 , . . . , bn un par de secuencias numericas. 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 lmite inferior k Z.)
P3
Ejemplo 3. Eval ue j=1 10j 2 + 3j .
Soluci
on
3
X 3
X 3
X
10j 2 + 3j j2 + 3

= 10 j
j=1 j=1 j=1
= 10(12 + 22 + 32 ) + 3(1 + 2 + 3)
= 158
Sumatorias Indexadas
La notacion sumatoria puede ser extendidaP a secuencias con conjuntos de
ndices I como sus dominios. Por ejemplo, iI ai denota la suma de los valores
ai cuando i recorre todos los valores de I. P
Por ejemplo, si I = {1, 3, 5, 7} , entonces iI (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)
iI
= 88
P
Frecuentemente se requiere evaluar sumas de la forma P aij , donde los
subndices i y j satisfacen ciertas propiedadesPP .
Por ejemplo, sea I = {1, 2, 3, 4}. Entonces 1i<j4 (2i+3j), denota la suma
de
P los valores de 2i + 3j, donde 1 i < j 4. Esto puede ser abreviado como
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 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 2 + 3 4) + (2 3 + 3 4)
= 80
P
Ejemplo 4. Eval
ue d1 d, donde d|6 significa que d divide a 6.
d|6
Soluci
on
X
d = suma de los enteros positivosd, divisores de 6
d1
d|6
= suma de los divisores positivos de 6
= 1 + 2 + 3 + 6 = 12
Sumatorias m ultiples tambien son frecuentes en matematicas. EllasP

se eval
P uan
por lo general deP
derecha
P a izquierda. Por ejemplo, la doble sumatoria i j aij
se eval
ua como i ( j aij ), como se muestra a continuacion.
P1 P0
Ejemplo 5. Eval ue i=1 j=1 3i2 j.
Soluci
on

1
X 0
X 1
X 0
X
3i2 j = 3i2 j
i=1 j=1 i=1 j=1
1
X 2
3i (1) + 3i2 (0)

=
i=1
1
X
= 3i2
i=1
= 3(1)2 + 3(0)2 + 3(1)2

= 6
La Notaci
on Productoria
La notaci
on productoria es usada de manera
Qi=msimilar a la notacion sumatoria,
Q
el producto ak ak+1 am se denota por i=k ai , el smbolo productoria
corresponde a la letra Griega may uscula pi. Como en el caso de la notacion
sumatoria, la ((i))= arriba del smbolo productoria se omite frecuentemente:
i=m
Y m
Y
ai = ai = ak ak+1 am
i=k i=k
Nuevamente, i es una variable dummy.

La funci on factorial, se usa frecuentemente en teora de n
umeros, y pue-
de definirse usando la notacion productoria, como se muestra en el siguiente
ejemplo.
Ejemplo 6. La funci on factorial f (n) = n! (se lee n factorial o el factorial
de n) se define como n! = n(n 1) 2 1, donde 0! = 1. Usando la notaci
on
productoria
n
Y
f (n) = n! = i
i=1
Q4
Ejemplo 7. Eval
ue i=2 (2i + 3).
Soluci
on
4
Y
(2i + 3) = [2(2) + 3] [2(3) + 3] [2(4) + 3]
i=2
= 693
Q
Ejemplo 8. Eval
ue i,jI (2i + 3j) donde I = {1, 2, 3, 4}.
i|j
i<j
Soluci
on
Se refiere aqu a la productoria de todas las parejas de la forma (i, j), donde i y
j son elementos de I, pero especficamente aquellas parejas en donde i divide a j
siendo i menor que j. Estas son (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 2)(2 1 + 3 3) (2 1 + 3 4)(2 2 + 3 4)
i,jI
i|j
= 19172
Ejercicios 1.2
Eval
ue 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 notacion 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 proposicion es verdadera.
Pn Pn
11. i=m i = i=m (n + m i)
Pn i
P n n+mi
12. i=m x = i=m x
Pn
13. Sumas de la forma S = i=m+1 (ai ai1 ) son llamadas sumas telescopi-
cas. Muestre que S = an am .
1
14. Use el Ejercicio 13 y la identidad i(i+1) = 1i i+1
1
, y encuentre una formula
Pn 1
para i=1 i(i+1) .
2 2
Pn 13 y la identidad (i + 1) i = 2i + 1, desarrolle una
15. Usando el Ejercicio
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 k
21. k=0 (1)
Evalue cada tem, donde p {2, 3, 5, 7, 11, 13} e I = {1, 2, 3, 5}.
P
22. p10 p
Q
23. iI (3i 1)
i j
P
24. i,jI (2 + 3 )
i|j
ij
Q
25. i,jI
ij
P999
26. Encuentre el dgito de las decenas en la suma k=1 k!
OBJETIVO
En el presente taller se busca implementar algunos ejemplos trabajados en
esta secci
on y que utilizan la funcion Sumatoria (SUM) y Productoria (PRODUCT)
en DERIVE.
ALGUNAS FUNCIONES REQUERIDAS

Antes de comenzar se revisaran dos funciones adicionales como son VECTORy
DIVISORS.
La funci
on VECTOR(u, k, m, n) se simplifica a un vector de n-m+1 elemen-
tos generado por la simplificacion de la expresion u(k) con la variable k variando
desde m hasta n en saltos de 1. Por ejemplo
VECTOR(k^2, k, 2, 5)
se simplifica al vector
[4, 9, 16, 25]

Los par
ametros m y n pueden cambiarse por un vector sobre el cual la variable
k toma valores evaluados en la funcion u(k), por ejemplo
VECTOR(k^2, k, [3, 5, 8])
que se simplifica al vector
[9, 25, 64] .
La funcion DIVISORS(n) se simplifica al vector ordenado de todos los divi-

sores positivos de n. Por ejemplo
DIVISORS(28)
se simplifica a
[1, 2, 4, 7, 14, 28] .
ACTIVIDADES
La funci
on SUM maneja los mismos parametros de la funcion VECTOR y se
interpretan de manera similar, as la sumatoria de la expresion u respecto a n
desde k hasta m se puede introducir mediante la expresion
SUM(u, n, k, m)
la diferencia es que mientras la funcion VECTOR genera un vector con ciertos
elementos, la funci
on SUM entrega la suma de dichos elementos. A continuacion
se ingresar
a la sumatoria del Ejemplo 5 y se simplificar a utilizando la funcion
SUM. Recordando la sumatoria de este ejemplo, esto es,
0
X
j 3 (j 1)2 = (2)3 (2 1)2 + (1)3 (1 1)2 + (0)3 (0 1)2
j=2
= 72 + (4) + 0
= 76
esta se ingresa a DERIVE a traves del siguiente codigo
SUM(j^3(j-1)^2, j, -2, 0)
que se simplifica efectivamente a 76. Cabe observar que si se cambia la ins-

trucci
on SUM por VECTOR su simplificacion genera en un vector la sucesion de
n
umeros sumandos en esta sumatoria, as al simplificar
VECTOR(j^3(j-1)^2, j, -2, 0)
se obtiene
[-72, -4, 0]
Para el caso de las productorias se procede de manera similar, salvo que se
cambia la orden SUM por PRODUCT, los parametros son los mismos
PRODUCT(u, n, k, m)
con este c
odigo se obtiene la productoria de la expresion u respecto a n desde k
hasta m.
Para el Ejemplo 7
4
Y
(2i + 3) = [2(2) + 3] [2(3) + 3] [2(4) + 3]
i=2
= 693
se digita y simplifica la siguiente expresion en DERIVE
PRODUCT(2j+3, j, 2, 4)
Para el Ejemplo 5,
X
d = suma de los enteros positivos d, divisores de 6
d1
d|6
= suma de los divisores positivos de 6
= 1 + 2 + 3 + 6 = 12
se simplifica en DERIVE la siguiente expresion
SUM(j, j, DIVISORS(6)) .
Anidando la funci
on sumatoria una en otra sePobtiene
P0una suma doble, de
1
esta forma como el Ejemplo 9 lo pide, calcular i=1 j=1 3i2 j, digitando
sobre DERIVE el siguiente codigo obtenemos esta sumatoria
SUM(SUM(3i^2j, j, -1,0),i,-1,1)
y simplificando obtenemos la solucion.
Inducci
on Matem
atica
El principio de induccion matematica (PIM) es una poderosa tecnica de
prueba que se usara con frecuencia en posteriores captulos. Muchos resultados
interesantes en matematicas se cumplen para todos los enteros positivos. Por
ejemplo las siguientes proposiciones son verdaderas para cada entero positivo n
y todos los n
umeros reales x, y, y xi :
(x y)n = xn y n
n
P
log(x1 xn ) = log xi
i=1
n
P n(n + 1)
i=
i=1 2
n1 rn 1
ri =
P
i=0 r1
C
omo se puede probar que esos resultados se tienen para cada entero positi-
vo n ?. Obviamente, es imposible sustituir cada entero positivo por n y verificar
que la f
ormula se mantiene. El principio de induccion puede establecer la validez
para tales f
ormulas.
Antes de pasar a la induccion matematica, es necesario establecer el principio
de buen-orden, el cual se aceptara como un axioma. (Un axiomaes una afirma-
ci
on que es aceptada como verdadadera; con frecuencia se trata de proposiciones
obvias, evidentes.)
El Principio de Buen-Orden
Todo conjunto no vaco de enteros positivos tiene un elemento
mnimo.
Ejemplo 9. el conjunto {17, 23, 5, 18, 13} tiene un elemento mnimo, 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 aplicacion simple del principio de buen-orden.
Ejemplo 10. Pruebe que no hay enteros positivos entre 0 y 1
Demostraci
on[por contradicci
on]
Supongamos que hay un entero positivo a entre 0 y 1. Sea S = {n Z+ | 0 < n < 1}.
Ya que 0 < a < 1, a S, as S es no vaco. Por lo tanto, por el principio de buen-
orden, S tiene un elemento mnimo l, donde 0 < l < 1 . Entonces 0 < l2 < l
, as l2 S . Pero l2 < l , lo que contradice nuestra suposicion que l es el
elemento mnimo de S . As, no hay enteros positivos entre 0 y 1.
El principio de buen-orden puede extenderse a casi todos los n umeros, como
lo muestra el siguiente ejemplo.
Ejemplo 11. Pruebe que cada conjunto no vaco de enteros no negativos tiene
un elemento mnimo.
Demostraci
on [por casos]
Sea S un conjunto de enteros no negativos.

Caso 1 Supongamos que 0 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
mnimo de S .
Caso 2. Supongamos que 0 / S . Entonces S contiene u nicamente enteros
positivos. As, por el principio de buen-orden, S tiene un elemento mnimo.
Versi
on D
ebil de Inducci
on
El siguiente teorema es pieza fundamental para el principio de induccion.
Teorema 4. Sea S un conjunto de enteros positivos que satisface las siguientes
propiedades:
1. 1 S.
2. Si k es un entero positivo arbitrario en S, entonces k + 1 S.
Luego S = N
Demostraci
on[por contradicci
on]
Suponga que S 6= N. Definiendo el conjunto

0
S = {n N|n
/ S}
Ya que S 0 6= , por el principio de buen orden, S 0 tiene un elemento mnimo l0 .

Entonces l0 > 1 por la condici on (1). Dado que l0 es el elemento mnimo de S 0 ,
l0 1 / S 0 . Por lo tanto l0 1 S. Consecuentemente, por la condicion (2),
(l0 1) + 1 = l0 S. Esto contradice lo establecido en la suposicion.
Este resultado puede ser generalizado, como lo muestra el siguiente teorema.
La prueba queda como ejercicio.
Teorema 5. Sea n0 un entero fijo. Sea S un conjunto de enteros que satisfacen
las siguientes condiciones:
1. n0 S.
2. Si k es un entero arbitrario n0 tal que k S, entonces k + 1 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 interes y que se enuncia a continuacion.
Teorema 6. (Principio de Inducci on Matem atica). Sea P (n) una proposici
on
que satisface las siguientes condiciones, donde n Z:
1. P (n0 ) es verdadera para alg
un entero n0 .
2. Si P (k) es verdadera para un entero arbitrario k n0 , entonces P (k + 1)
tambien es verdadera.
Luego P (n) es verdadera para cada entero n n0 .
Demostraci
on
Sea S un conjunto de enteros n0 para los cuales P (n) es verdadera. Ya que
P (n0 ) es verdadera, n0 S . Por la condicion (2), cada vez que k S , k +1 S
, as, por el Teorema 16, S contiene todos los enteros n0 . Consecuentemente,
P (n) es verdadera para cada entero n n0 .
En la condicion (1) del teorema 17 se asume la proposicion P (n) como ver-
dadera cuando n = n0 . En la condicion (2): Si P (n) es verdadera para un
entero k n0 , tambien lo es para n = k + 1 . Entonces, aplicando nuevamente
la condici on (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 induccion comprende dos pasos clave:
Paso B
asico: Compruebe que P (n0 ) es cierto.
Paso de Inducci
on: Asumir que P (k) es cierto para alg
un entero arbitrario
k n0 (hip
otesis inductiva)
A continuaci
on, compruebe que P (k + 1) tambien 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 confusion deriva una mala interpreta-
cion del paso 2 para la conclusion. El paso de induccion muestra que
P (k) implica P (k + 1); esto es que si P (k) es verdadero, entonces
P (k + 1) tambien lo es. La conclusion es: ((P (n) es verdadera para
cada n n0 )).
Ejemplo 12. Pruebe que
n(n + 1)
1 + 2 + 3 + ... + n = para cada entero positivo n (1.4)
2
Demostraci
on [por inducci
on]
Sea P (n) el enunciado

n
X n(n + 1)
i=
i=1
2
Paso B
asico: Verificar que P (1) es verdadero (nota: aqu n0 = 1) donde n = 1,
Pn
LMD = 1(1+1)
2 = 1 = i=1 i = LMI.5 Entonces, P (1) es verdadero.
Paso de Inducci on: 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= (hipotesis de induccion)
i=1
2
Pk+1 (k+1)(k+2)
Se muestra que P (k) implica P (k + 1), es decir i=1 i = 2 ,
empezamos con LMI en esta ecuacion
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 hipotesis de induccion
2
(k + 1)(k + 2)
=
2
= LM D
Luego si P (k) es verdadero, entonces P (k + 1) tambien lo es. As, por

on, P (n) es verdadero para cualquier entero n 1; esto es, la
inducci
f
ormula vale para cada entero positivo.
Ejemplo 13. Deduzca una formula para la suma de los n primeros enteros
positivos impares y luego use la inducci
on para establecer la conjetura.
5 LMD y LMI son las abreviaciones de lado a mano izquierda y lado a mano derecha,
respectivamente, al referirse a una expresi

on y con el signo de igualdad como referente.
Demostraci
on
Primero, se estudiara las primeras cuatro sumas, y luego se identifica un

patr
on para predecir la formula de la suma de los n primeros enteros positivos
impares. Las primeras cuatro sumas son
1 = 12
1+3 = 22
1+3+5 = 32
1+3+5+7 = 42
Se puede observar claramente el patron, entonces se puede establecer que la

suma de los n primeros enteros positivos impares es n2 ;esto es
n
X
(2i 1) = n2
i=1
Se mostrar
a ahora la prueba por el principio de induccion.
Demostraci
on
Pn P1
Cuando n = 1, i=1 (2i 1) = i=1 (2i 1) = 1 = 12 , entonces el resultado
es v
alido cuando n = 1. Ahora, asuma que la formula es valida cuando n = k,
k
X
(2i 1) = k 2 .
i=1
Pk+1
Para mostrar que es valida cuando n = k +1, considerese la suma i=1 (2i
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 hipotesis de induccion
= (k + 1)2
En consecuencia, si la formula es valida cuando n = k, es tambien valida

cuando n = k + 1. Por tanto, por induccion, la formula es valida para cualquier
entero positivo n.
Volviendo a la induccion, nosotros encontramos que ambos, los pasos b`asicos
como los pasos de induccion son esenciales para la prueba por induccion, como
se puede ver en los dos siguientes ejemplos.
Ejemplo 14. Considere la ((f ormula)) 1 + 3 + 5 + + (2n 1) = (n 2)2 .
Claramente es cierta cuando n = 1. Pero no es cierta cuando n = 2. La verdad
asicos no aseguran que el enunciado 1+3+5+ +(2n1) =
es que los pasos b
(n 2)2 sea cierto para cualquier entero n.
El siguiente ejemplo muestra que la validez del paso de induccion es nece-
saria, pero no suficiente para garantizar que P (n) es verdadero para todos los
enteros deseados.
Ejemplo 15. Considere la ((f
ormula)) P (n) : 1 + 3 + 5 + + (2n 1) = n2 + 1.
Pk
Suponga que P (k) es verdadero: i=1 (2i 1) = k 2 + 1. Entonces
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 (k) es verdadero, P (k + 1) tambien lo es. Sin embargo, la f
ormula
no incluye a cualquier entero positivo n. Se puede verificar que P (1) no se tiene.
Versi
on fuerte de inducci
on
Ahora se presentar a la version fuerte de induccion. A veces lo cierto de
P (k) puede no ser suficiente para establecer la veracidad de P (k + 1). En otras
palabras, la veracidad de P (k + 1) puede requerir mas que la de P (k). En tales
casos, se tiene que asumir una hipotesis de induccion mas fuerte tal como que
P (n0 ), P (n0 + 1), . . . , P (k) son todos verdaderos; luego verificar que P (k + 1)
es tambien verdad. Esta versi on fuerte, que puede ser demostrada usando la
versi
on debil de inducci on, se establece como sigue.
Teorema 7. (Segundo Principio de la Inducci on Matem atica) Sea P (n)
un enunciado que satisfase las siguientes condiciones, donde n Z.
1. P (n0 ) es verdadero para alg
un 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) tambien lo es.
Luego P (n) es verdadero para cualquier entero n n0 .
Demostraci
on
Sea S = {n Z | P (n) es verdadero}. Como P (n0 ) es verdadero por la con-
on (1) n0 S.
dici
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 condicion
(2), k + 1 tambien 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 tecnica de prueba.
Ejemplo 16. Pruebe que cualquier envo postal cuyo valor es de n ( 2) cen-
tavos puede hacerse con estampillas de dos y tres centavos.
Demostraci
on
Sea P (n) el enunciado que afirma que cualquier envo postal cuyo valor es de n
centavos puede hacerse con estampillas de dos y tres centavos.
Paso b
asico (Note que n0 = 2) Dado que un envo de dos centavos se puede
hacer con una estampilla de dos centavos, P (2) es verdadero. Del mismo
modo, P (3) es tambien verdadero.
Paso de inducci on Supongamos que P (2), P (3), P (4), . . . , P (k) son verdade-
ros, es decir, cada envo postal de dos centavos hasta de k centavos pue-
de hacerse con estampillas de dos y tres centavos. Para mostrar que
P (k + 1) es verdadero, considere un envo postal de k + 1 centavos. Ya que
k + 1 = (k 1) + 2, un envo de k + 1 centavos puede formarse con estam-
pillas de dos y tres centavos si el envo de k 1 centavos puede realizarse
con estampillas de dos y tres centavos. Como P (k 1) es verdero por la
hipotesis de induccion, esto implica que P (k + 1) tambien es verdadero.
Por lo tanto, por la version fuerte de induccion, P (n) es cierto para cada
n 2, es decir, cualquier envo postal de n( 2) centavos se puede hacer
con estampillas de dos o tres centavos.
Ejercicios 1.3
Usando Inducci on matematica pruebe cada una de las siguientes proposicio-
nes para todo entero n 1.
Pn 2
1. i=1 (2i 1) = n
Pn 2 n(n+1)(2n+1)
2. i=1 i = 6
Pn 3 h n(n+1) i2
3. i=1 i = 2
Pn a(r n 1)
4. i=1 ari1 = r1 , r 6= 1
Determine si cada conjunto es bien ordenado. Si su respuesta es no, expli-
que.
5. El conjunto de los enteros negativos.
6. El conjunto de los enteros.
7. {n N|n 5}
8. {n Z|n 3}
Probar.
9. Sea a 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 contradiccion)
Relaciones de Recurrencia
La Recursi on es una de las m
as elegantes tecnicas para solucionar problemas.
Esta es una herramienta muy poderosa que puede ser apoyada a traves de
lenguajes de programaci on.
Se iniciar
a esta secci
on con un problema muy conocido denominado el Pro-
blema del Apret on de Manos:
Hay n invitados a una fiesta. Cada persona estrecha la mano, exactamente
una vez, con cada uno de los otros invitados. cu antos apretones de manos se
hacen?
Si se decide solucionar un problema como este, la solucion puede no ser
obvia. Sin embargo, es posible que el problema pueda definirse en terminos de
una version mas simple de si mismo. Tal definicion es una definici
on inductiva.
Por consiguiente, el problema dado se puede resolver si la version simple se puede
resolver.
Definici
on recursiva de una funci
on
Sea a W y X = {a, a + 1, a + 2, . . .}. Una definici
on inductiva de una
funci
on f con dominio X, consiste de tres partes:
Paso Base Algunos valores iniciales f (a), f (a + 1), . . . , f (a + k 1) se es-
pecifican. Ecuaciones que especifican tales valores iniciales se denominan
condiciones iniciales.
Paso de recursion Se proporciona una formula para calcular f (n) desde los k
precedentes valores funcionales f (n1), f (n2), . . . , f (nk). Tal formula
se denomina una relaci on de recurrencia (o f ormula recursiva).
Paso final Solamente valores as obtenidos son valores funcionales validos. (Por
conveniencia, esta cl
ausula se establece desde la definicion recursiva.)
En una definici on recursiva de f , f (n) se pueden definir usando los valores
de f (k), donde k 6= n, as no todas las funciones definidas recursivamente pueden
definirse inductivamente; Ver ejercicios 8-14.
De esta forma, la definici on recursiva de f consiste de un n umero finito de
condiciones iniciales y una relaci on de recurrencia.
Puede emplearse recursi on para encontrar el mnimo y el maximo de tres o
mas numeros reales. Por ejemplo
mn {w, x, y, z} = mn {w, {mn {x, mn {y, z}}}} ,
ax {w, x, y, z} puede evaluarse de manera similar. Por tanto
m
mn {23, 5, 6, 47, 31} = mn {23, mn {5, mn {6, mn {47, 31}}}} = 6
y
ax {23, 5, 6, 47, 31} = m
m ax {23, max {5, max {6, max {47, 31}}}} = 47
Los siguientes ejemplos ilustran definiciones recursivas.
Ejemplo 17. Defina recursivamente la funci
on f factorial.
Demostraci
on
Llamando a la funci
on factorial f, definida por f (n) = n!, donde f (0) = 1. Y
al tenerse que n! = n(n 1)!, puede definirse la recursividad de la siguiente
manera
f (0) = 1 condicion inicial

f (n) = n f (n 1), n 1 relacion de recurrencia
Suponga que se quiere calcular f (3) recursivamente. Se debe continuar aplicando

la relaci
on de recurrencia hasta que se encuentre la condicion inicial, como se
muestra:
f (3) = 3 f (2) (1.4)

.
f (2) = 2 f (1) (1.5)
.
f (1) = 1 f (0) (1.6)
.
f (0) = 1 (1.7)
Ya que f (0) = 1, 1 se sustituye por f (0) en la ecuacion (1.7) y f (1) se calcula:

f (1) = 1 f (0) = 1 1 = 1. Este valor se sustituye para f (1) en la ecuacion (1.6)
y f (2) se calcula: f (2) = 2 f (1) = 2 1 = 2. Este valor se utiliza en la ecuacion
(1.5) para calcular f (3): f (3) = 3 f (2) = 3 2 = 6, como era de esperar.
Ahora, volviendo al problema del apreton de manos.
Ejemplo 18. (El problema del apret on de manos) Hay n invitados en una
fiesta. Cada persona estrecha la mano a cada uno de los dem
as exactamente una
vez. Defina por recursividad el n
umero de apretones de manos hechos h(n).
Demostraci
on
Claramente, h(1) = 0, entonces sea n 2. Sea x uno de los invitados. El

numero de apretones de manos hechos por los n 1 invitados entre ellos, por
on es h(n 1). Ahora la persona x estrecha su mano con cada uno de
definici
los n 1 invitados, realizando n 1 apretones de manos. As el n
umero total
de apretones de manos es igual a h(n 1) + (n 1), donde n 2.
Luego, h(n) puede definirse recursivamente como sigue:
h(1) = 0 condici
on inicial
h(n) = h(n 1) + (n 1), n 2 relaci
on de recurrencia.
Ejemplo 19 (Torre de Brahma). Seg un una leyenda, al inicio de la crea-
ci
o n, Dios apilo 64 discos de oro sobre una de tres clavijas de diamante en
una plataforma de lat on en el templo de Brahma en Benares, India (ver Fig.4:
Torre de Hanoi). 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:

Unicamente un disco ser
a movido en cada turno
Ning
un disco puede colocarse sobre un disco m
as peque
no
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 umero de
movimientos necesarios para trasladar los discos desde la clavija X hasta la
clavija Z usando la clavija Y como un intermediaria. Defina bn recursivamente.
Demostraci
on
Si hay un solo 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 mas grande queda fijo en la clavija
X. Despues se mueve el disco que queda fijo de la clavija X a la clavija Z. Por
u
ltimo, de nuevo se invoca el algortmo de manera recursiva para mover los n1
discos de la clavija Y a la clavija Z.
As el total de movimientos necesarios es bn1 + 1 + bn1 = 2bn1 + 1.
Entonces bn puede definirse recursivamente como sigue:

1 si n = 1 condicion inicial
bn =
2bn1 + 1 si n 2 relacion de recurrencia
Fig.4: 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 definicion recursiva de una funcion f no proporciona una formula
explicita para f (n) pero establece un procedimiento sistematico para encontrar-
la.
El M etodo Iterativo para encontrar una formula para f (n) involucra dos
pasos:
1. Aplique la f
ormula iterativa de recurrencia y mire un patron para predecir
la formula explcita.
2. Use induccion para probar que la formula es verdadera para cada posible
valor del entero n.
El siguiente ejemplo ilustra este metodo.
Ejemplo 20. Solucione la relacion de recurrencia en el ejemplo del problema

del apret
on de manos.
Demostraci
on
Usando iteraci
on, 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 terminos de la secuencia
definida recursivamente.
1. a1 = 1
an = an1 + 3, n 2
2. a1 = 1
n
an = n1 an1 , n2
3. a1 = 1, a2 = 2
an = an1 + an2 , n 3
4. a1 = 1, a2 = 2, a3 = 3
an = an1 + an2 + an3 , n 4
Defina recursivamente cada secuencia numerica.
5. 1, 4, 7, 10, 13, ...
6. 0, 3, 9, 21, 45, ...

7. 1, 2, 5, 26, 677, ...
La funci
on-91 definida por John McCarthy, se define recursivamente sobre
W como sigue:

x 10 Si x > 100
f (x) =
f (f (x + 11)) 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
Objetivo
En el presente taller, se busca implementar algunos funciones de recurrencia
utilizando la orden (IF) e ilustrar su utilizacion a partir de algunos ejemplos
trabajados en esta seccion.
Algunas funciones requeridas
La forma general de las expresiones IF es
IF (test, entonces, en caso contrario, en caso de duda)

Por ejemplo, se creara una funcion que al ingresar en su argumento un n
ume-
ro positivo devuelve un 1 de lo contrario devuelve un 0, el nombre de la funcion
sera ((positivo)):
positivo(x):=IF (x > 0, 1, 0)
Para esta funci
on positivo(2) se simplifica a 1, positivo(0) se simplifica
a 0, positivo(-0.5) se simplifica a 0.
Actividades
1. A continuacion se utilizara la orden IF para crear una funcion que per-
mita ilustrar la formula de recurrencia del Ejemplo 26, el problema del
apret
on de manos. Para ello se creara la funcion denominada apretones,
cuyo argumento sera n el numero de individuos en la fiesta y al simplificar
dicha funci
on en un valor particular se generara el numero de apretones
de manos que se daran las personas que se indica estan en la fiesta de
acuerdo al contexto del problema. As
apretones(n):=IF (n=1, 0, apretones(n-1)+(n-1))
De esta manera si se simplifica apretones(5) da como resultado 10 que

corresponde al n
umero de apretones de manos si hay 5 personas en la
fiesta.
2. Para el Ejemplo 27 que hace referencia al ejemplo de la torre de Hanoi o
torre de Brahma, la funcion de recurrencia puede ingresarse digitando el
siguiente c
odigo que utiliza la orden IF,
Hanoi(n):=IF (n=1, 1, 2*Hanoi(n-1)+1)
De esta forma, Hanoi(7) se simplifica a 7, que indica que son mnimo 7

los pasos requeridos para pasar 3 discos de la clavija X a la clavija Z.
El Teorema Binomial
Los binomios son sumas de dos terminos, y aparecen a menudo en matemati-
cas. Esta secci
on muestra la forma de expandir potencias enteras positivas de
manera sistem atica. Los coeficientes en una expansion binomial tienen varias
propiedades interesantes.
Se empezara con un analisis de los coeficientes binomiales.
Coeficientes Binomiales
. Sean n y r enteros no negativos. El coeficiente binomial 6 nr esta defi-

nido por
n n!
= si r n,
r r!(n r)!
y es 0 en otro casos; esto tambien se denota por C(n, r) o n Cr .
Ejemplo 21.

5 5!
=
3 3!(5 3)!
54321
= = 10
3
2121
Se desprende de la definici
on que

n n
=1= .
0 n
Hay muchos
casos en los que se necesita calcular el par de coeficientes binomiales
n n
r y nr . Ya que

n n!
=
nr (n r)! [n (n r)]!
n! n!
= =
(n r)!r! r! (n r)!

n
=
r
6 El t
ermino coeficiente binomial fue introducido por el alem an algebrista Michel Stifel
(1486-1567). En su trabajo m as conocido, Arithmetica Integra (1544), Stifel da los coeficien-
tes binomiales para n 17. La notaci on de parentesis binivel para coeficiente binomial fue
introducida por el matem atico y fsico alem
an Baron Andreas von Ettinghausen (17961878).
Von Ettinghausen, nacio en Heidelberg, asisti o a la Universidad de Viena en Austria. Durante
dos a nos trabaj
o como asistente de matem aticas y fsica en la Universidad. En 1821 se convir-
ti
o en profesor de matem aticas, y en 1835, profesor de fsica y director del Instituto de Fsica.
Trece a nos mas tarde, se convirtio en el director de Estudios de Matem aticas e Ingeniera de
la Academia de Viena.
Un pionero en la fsica matem atica, von Ettinghausen trabaj o en el analisis,
algebra, geo-
metra diferencial, mecanica,
optica y electromagnetismo.
en este caso no es necesario evaluar ambos, lo que reduce significativamente
el trabajo. Por ejemplo,

25 25 25
= = = 53130.
20 25 20 5
El siguiente teorema muestra una importante relacion de recurrencia que
satisfacen los coeficientes binomiales. Se conoce como la identidad de Pascal,
debida al extraordinario matematico y filosofo frances Blaise Pascal.
Teorema 8. (Identidad de Pascal) Sean n y r enteros positivos con r n.
Entonces
n n1 n1
= + .
r r1 r
Demostraci
on
Se simplificar
a la expresion del LMD y demostrara que es igual a la expresion
del LMI:

n1 n1 (n 1)! (n 1)!
+ = +
r1 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 + (n r)] (n 1)!n
= =
r! (n r)! r! (n r)!
n!
=
r! (n r)!

n
=
r
as el teorema queda demostrado.
Tri
angulo de Pascal
Los diferentes coeficientes binomiales nr , donde 0 r n, pueden arre-

glarse en forma de un triangulo, llamado tri angulo 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
7 Aunque el tri
angulo de Pascal es el nombre de Pascal, esto actualmente aparece primero
en 1303 en una obra del matem atico chino Chu Shi-Kie.
1 fila 0
1 1 fila 1
1 2 1 fila 2
1 3 3 1 fila 3
1 4 6 4 1 fila 4
El tri
angulo de Pascal tiene muchas propiedades interesantes:
Cada fila empieza y termina en 1.

El tri
angulo de Pascal es simetrico sobre una lnea vertical que pasa por
el centro.
Cualquier numero en el interior de cada fila es la suma de los n

umeros a
izquierda y a derecha de la fila inmediatamente superior. Esto es as en
virtud de la identidad de Pascal.
La suma de los n umeros en cualquier fila es una potencia de 2. El Corolario
31 verificar
a esto.
La nesima fila 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 umeros envuelven la participacion de dos
o mas dgitos. Por ejemplo, para calcular 115 se procede de la siguiente
manera con base en los valores de la fila 5:
1 5 10 10 5 1
De derecha a izquierda, liste los dgitos simples. Cuando se llegue a un

n
umero de dos dgitos, escriba los dgitos de las unidades y lleva los dgitos
de las decenas al n
umero de la izquierda. A nadiendo el numero que lleva
al de su izquierda. Continue este proceso hacia la izquierda. El n umero
resultante es 161051, que corresponde a 115 .
El siguiente teorema muestra c

omo los coeficientes binomiales pueden usarse
on del binomio (x + y)n .
para encontrar la expansi
Teorema 9. (El Teorema Binomial)8 Sean x y y n
umero reales, y n un
entero no negativo. Luego
n
n
X n
(x + y) = xnr y r .
r=0
r
8 El teorema binomial para n = 2 se puede encontrar en el trabajo de Euclides (ca. 300 B.

C.).
Demostraci
on (inducci
on d
ebil)
P0 n

Cuando n = 0, LMI = (x + y)0 = 1 y LMI = r=0 r x0r y r = x0 y 0 = 1,
as LMI=LMD.
Supongamos P (k) es cierto para algunos k 0:
k
X k
(x + y)k = xkr y r
r=0
r
Entonces
(x + y)k+1 = (x + y)k (x + y)
" k #
X k
kr r
= x y (x + y)
r=0
r
k k
X k k+1r r X k kr r+1
= x y + x y
r=0
r r=0
r
" k
#
k k+1 X k k+1r r
= x + x y +
0 r=1
r
"k1 #
X k k k+1
kr r+1
x y + y
r=0
r k
k
k + 1 k+1 X k k+1r r
= x + x y +
0 r=1
r
k
X k k+1r r k + 1 k+1
x y + y
r=1
r1 k+1
k
k + 1 k+1 X k k
= x + + xk+1r y r +
0 r=1
r r 1

k + 1 k+1
y
k+1
k
k + 1 k+1 X k + 1 k+1r r k + 1 k+1
= x + x y + x
0 r=1
r k+1
k+1
X k + 1
= xk+1r y r
r=0
r
on, la formula es valida para todo entero n 0.

As, por inducci
Se deduce del teorema binomial que los coeficientes binomiales en la expan-
n
si
on de (x + y) son los distintos n umeros en la nesima fila del triangulo de
Pascal.
El teorema binomial se puede usar para establecer varias identidades in-
teresantes involucrando los coeficientes binomiales, como lo muestra el siguiente
corolario9 .
Corolario 1.
n
X n
= 2n
r=0
r
esto es, la suma de los coeficientes binomiales es 2n .
Esto se sigue haciendo x = 1 = y en el teorema binomial.
Ejercicios 1.5
(Doce Das de Navidad) Supongamos que el primer da de la Navidad has
enviado a tu amor 1 regalo, 1 + 2 regalos en el segundo da, 1 + 2 + 3 regalos
al tercer da, y as sucesivamente.
umero de regalos enviados en el nesimo da es n+1

1. Mostrar que el n 2 ,
donde 1 n 12.
2. Mostrar
que el n umero total de los regalos enviados en el nesimo da es
n+2
3 , donde 1 n 12.
Encontrar el coeficiente en cada caso.

8
3. x2 y 6 en la expansi
on de (2x + y) .
4. x4 y 5 en la expansi
on 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 m
as grande coeficiente binomial en la expansion de cada caso.
9. (x + y)5
10. (x + y)6
9 Un corolario es un resultado que se desprende de un teorema anterior.
11. (x + y)7
12. (x + y)8
13. Usando los ejercicios 9-12, encontrar el mayor coeficiente en la expansion

binomial (x + y)n .
Los n
umeros de Bell Bn son llamados as en honor al matematico Americano-

Escoses Eric T. Bell (1883-1960). Estos son utilizados en combinatoria y se
definen recursivamente como sigue:
B0 = 1
n1
X n 1
Bn = Bi, n 1.
i=0
i
Calcular los siguientes n

umeros de Bell.
14. B2
15. B3
16. B4
17. B5
n n n1

18. Verificar que r = r i1 .
2n

19. Probar que n es un entero par. (L. Moser, 1962)
Probar cada una de las siguientes proposiciones.
20. (n + 1) | 2n

n , cuando se escribe a|b significa que a es un factor de b y
n 0.
Pn 2n
Pn 2n

21. r=0 2r = r=1 2r1
(Sugerecia: Use el Corolario 1.1)

Pn n

22. r=0 2r r= 3n
Pn n
n 2n

23. r=0 r nr = n
(Sugerencia: Considere (1 + x)2n = (1 + x)n (1 + x)n )

Pn n
n 2n

24. i=1 i1 i = n+1
(Sugerencia: Considere (1 + x)2n = (x + 1)n (1 + x)n .)
Eval
ue cada suma.
n n n n

25. 1 1 +2 2 +3 3 + + n n
(Sugerecia: Denote con S la suma. Utilice S y la suma en el orden inverso
para calcular 2S)
26. a n0 + (a + d) n1 + (a + 2d) n2 + + (a + nd) nn

(Sugerencia: Utilice la misma sugerecia del Ejercicio 25)

n+1
27. Muestre que C(n, r 1) < C(n, r) si y solo si r < cuando 0 r < n.
2
28. Usando el ejercicio 27, pruebe que el mayor coeficiente binomial C(n, r)
ocurre cuando r = bn/2c
Usando inducci
on, pruebe.
29. n0 + n+1 + n+2 n+r n+r+1

1 2 + + r = r
(Sugerencia: Use la identidad de Pascal)
30. 1 n1 + 2 n2 + + n nn = n2n1

2 2 2 2
31. n0 + n1 + n2 + + nn = 2n

n
(Identidad de Lagrange)
A partir de la expansi
on binomial
n
X n
(1 + x)n = xr ,
r=0
r
se puede mostrar que

n
n1
X n
n(1 + x) = rxn1 .
r=1
r
Usando este resultado, pruebe.
32. 1 n1 + 2 n2 + 3 n3 + + n nn = n2n1

33. 1 n1 + 3 n3 + 5 n5 + = 2 n2 + 4 n4 + 6 n6 + = n2n2

Pn
ormula para i=2 2i .

34. Conjeture una f
35. Prube la f
ormula que supuso en el Ejercicio 34.
Pn
ormula para i=3 3i

36. Conjeture una f
37. Probar la f
ormula supuesta en el Ejercicio 36.
Pn i

38. Usando los ejercicios 34-37, prediga una formula para i=k k .
Objetivo
En el presente taller se busca construr una funcion que ilustre el desarrollo
de binomios a partir del teorema del binomio y algunas otras involucren el
coeficiente binomial comb(n,r).
La funci
on COMB(n, r) da el n
umero combinatorio, se simplifica a
n!
.
r!(n r)!
Actividades
1. En esta primera actividad se creara una funcion que genere un vector con
la kesima fila del triangulo de pascal, se le llamara a la funcion ((fila)),
de esta forma la fucion es
fila(n):=VECTOR(COMB(n,r),r,0,n)
As, fila(4), se simplifica a un vector con los elementos de la cuarta fila

del tri
angulo de Pascal, es decir a [1, 4, 6, 4, 1].
on a continuacion denominada ((binomio)) permite encontrar la
2. La funci
expansi
on de un binomio a la nesima potencia, utilizando el teorema del
binomio.
binomio(x, y, n):=SUM(COMB(n, k)x ^(n - k)y ^k, k, 0, n)
Por ejemplo binomio(2a,b,3) se simplifica a la expansion del binomio

(2a + b)3 es decir a 8a3 + 12a2 b + 6ab2 + b3 .
3. A continuacion se define una funcion denominada termino(k,x,y,n),
esta funci
on permite obtener el k-esimo de la expansion del binomio (x +
y)n
termino(k, x, y, n) := COMB(n, k - 1)x^(n - (k - 1))y^(k - 1)
as, termino(3, 2a, b, 3) se simplifica al tercer termino de la expansion

del binomio (2a + b)3 en este caso 6ab2 .
N
umeros Poligonales
Un numero poligonal es aquel numero que pueden configurarse en un polgono
regular. Ellos proporcionan un fascinante eslabon entre la teora de n
umeros y la
geometra. No sorprende que los n umeros poligonales tengan un origen antiguo,
y efectivamente se cree que ellos fueron inventados por los pitagoricos en 1665.
Pascal publico un libro sobre ello llamado Tratado sobre n umeros cifrados.
Los n
umeros poligonales, tambien conocidos como n umeros cifrados en el
plano, son enteros positivos que pueden ser representados por polgonos re-
gulares en un modelo sistem atico. Se mostrara algunos tipos de tales n umeros:
numeros triangulares, numeros cuadrados, n umeros pentagonales y n umeros he-
xagonales.
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 umeros 10 y 15 son n umeros triangulares.
De acuerdo a lo expresado, se presenta la siguiente definicion.
N
umeros Triangulares
Definicion 2. Un numero triangular es un entero positivo que puede ser repre-
sentado graficamente por un arreglo triangular equil
atero. El n-esimo n
umero
triangular se denota por tn , con n 1.
Los primeros cuatro n

umeros triangulares son, 1, 3, 6, y 10 y ellos se repre-
sentan en la Fig.5: N
umeros Triangulares.Ya que la iesima fila, de arriba hacia
abajo, en el iesimo n
umero 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.
Fig.5: N
umeros Triangulares
Luego
n+1
tn = ,
2
de esta forma, los n umeros triangulares pueden ser leidos en el triangulo de
Pascal.
Ya que en cada configuracion triangular cada fila contiene un punto mas que
la fila anterior, tn puede ser definida recusivamente, ver Tabla 1.
Recursividad para N
umeros Triangulares
n 1 2 3 4 5 ... n
tn 1 3 6 10 15 . . . ?
Una F
ormula Recursiva para tn
t1 = 1
tn = tn1 + n, n 2
Como un ejemplo, ya que t3 = 6, t4 = t3 + 4 = 6 + 4 = 10.

El Ejercicio 1 de esta seccion plantea resolver la relacion de recurrencia para
encontrar una formula explcita para tn .
N
umeros Cuadrados
Fig.6: N
umeros Cuadrados
Enteros positivos que pueden ser representados por arreglos cuadrados (de
puntos) se denominan n umeros cuadrados. El nesimo n umero cuadrado
se denota por sn . La Fig.6: N
umeros Cuadrados, muestra los primeros cuatro
umeros cuadrados, 1, 4, 9 y 16. En general sn = n2 .Como antes, sn tambien
n
puede definirse recursivamente. La (Fig.6: Recursividad para Numeros Cuadra-
dos) permite ver como esto puede considerarse. Puede verse un patron, en donde
el n
umero de puntos en cada arreglo (excepto el primero), es igual al n
umero de
puntos en el arreglo anterior mas dos veces el n
umero de puntos en la fila del
anterior arreglo m
as uno; esto es:
sn = sn1 + 2(n 1) + 1
= sn1 + 2n 1
As, se tiene la siguiente definici
on recursiva de sn :
Una F
ormula Recursiva para Sn
s1 = 1 (1.8)
sn = sn1 + 2n 1, n 2
Ahora se demostrar
a una relacion entre tn y sn . El siguiente teorema cono-
cido por el matematico griego Theon de Smyrna (100 a.de C.) Y Nicomachus,
establece algebr
aicamente que sn = tn + tn1 .
Fig.7: Recursividad para N

umeros Cuadrados
Teorema 10. La suma de dos n
umeros triangulares consecutivos es un cuadra-
do.
Demostraci
on
n(n + 1) n(n 1)
tn + tn1 = +
2 2
n n
= (n + 1 + n 1) = (2n)
2 2
= n2 = sn .
A continuaci
on se presentan algunos resultados a traves de dos teoremas
cuyas demostraciones se dejan como ejercicio.
Teorema 11.
t2n1 + t2n = tn2 .
Teorema 12.
8tn + 1 = (2n + 1)2
8tn1 + 4n = (2n)2
10
El siguiente turno es para los n
umeros pentagonales pn .
N
umeros Pentagonales
Los primeros tres n
umeros pentagonales 1, 5 y 12 son ilustrados en la (Fig.8:N
ume-
ros Pentagonales) y se puede notar que:
n(3n 1)
pn =
2
(Ver secci
on de ejercicios)
Una interesante relacion que conecta n
umeros triangulares, cuadrados y pen-
tagonales puede establecerse de la siguiente forma,
tn1 + sn = pn , n 2,
esto puede verificarse algebraicamente y se deja como ejercicio para el lector.
A continuaci umeros hexagonales 11 hn .
on se discutira respecto a los n
Fig.8:N
umeros Pentagonales
10 El prefijo griego penta significa cinco
11 El prefijo griego hexa significa seis
N
umeros Hexagonales
La (Fig.9: Numeros Hexagonales) muestra la representacion grafica de los
primeros tres n
umeros hexagonales 1, 6 y 15. Se puede verificar que:
hn = n(2n 1), n 1
(Ver secci
on de ejercicios).
Los numeros triangulares, pentagonales y hexagonales satisfacen la relacion
pn + tn1 = hn
se puede verificar esto (Ver seccion de ejercicios).
Fig.9: N
umeros Hexagonales
Ejercicios 1.6
1. Resuelva la relaci
on de recurrencia para tn .
2. Encuentre el valor de n tal que tn = 666. (El n
umero 666 se conoce como
el n
umero de la bestia)
3. Resuelva la relaci
on de recurrencia para sn .
4. Muestre que 8tn + 1 = s2n+1 . Diofanto
5. Defina recursivamente el nesimo n
umero pentagonal pn .
6. Usando la relaci
on en el ejercicio 5, encuentre una formula explcita para
pn .
Pruebe para n 2.
7. t2n1 + t2n = tn2
8. pn + tn1 = hn
umero hexagonal hn .
10. Usando la relacion de recurrencia en el ejercicio 9, encuentre una formula
explcita para hn .
Objetivo
En el presente taller se busca conocer las funciones que permiten obtener los
n
umeros poligonales, en particular los n
umeros triangulares, cuadrados, penta-
gonales y hexagonales trabajados en esta seccion.
Para los n
umeros triangulares se tiene la funcion TRIANGULAR(n) que permite
obtener el nesimo n umero triangular. En general, la funcion POLYGONAL(n,
p) se simplifica al nesimo numero poligonal con p caras, p 2. Por ejemplo,
para hallar los 10 primeros numeros poligonales de 3 caras, o tambien llamados
triangulares, se simplifica cualquiera de las dos siguientres expresiones,
VECTOR(TRIANGULAR(n),n,1,10)
o
VECTOR(POLYGONAL(n, 3),n,1,10)
su simplificaci
on genera el vector
[1, 3, 6, 10, 15, 21, 28, 36, 45, 55]
Si se quiere generar, por ejemplo, un vector con los 20 primeros n

umeros hexa-
gonales se procede a simplificar la expresion
VECTOR(POLYGONAL(n, 6),n,1,20)
Actividades
Con base en las relaciones de recurrencia definidas para cada tipo de n
umero
poligonal y utilizando la funcion IF es posible definir tambien en DERIVE
funciones que permitan obtener los n umeros poligonales. Puede utilizarse la
funci
on de recurrencia en (1.8), definida para los n
umeros cuadrados, y construir
una funci
on en DERIVE para los n umeros cuadrados as,
cuadrado(n):=IF(n=1,1,cuadrado(n-1)+2n-1)
Habiendo definido esta funcion, simplificando la expresion
VECTOR(cuadrado(n),n,1,10)
se obtiene un vector con los 10 primeros n

umeros cuadrados, esto es
[1, 4, 9, 16, 25, 36, 49, 64, 81, 100]

N
umeros Piramidales
Ahora se estudiar
a figuras s
olidas de n
umeros, las cuales estan comprendidas
por enteros positivos que pueden ser representados de forma piramidal. Se ob-
tienen realizando sumas sucesivas de los correspondientes n umeros poligonales.
Los n umeros de lados en la base de una piramide se incrementan a partir de
tres, de esta forma se van obteniendo los diversos n umeros piramidales, como
los triangulares, cuadrados, pentagonales, hexagonales y as sucesivamente.
Se iniciar
a con el m as simple de los numeros piramidales, los n umeros
piramidales triangulares, tambien conocidos como n umeros tetra edricos.
N
umeros Piramidales Triangulares
El nesimo n umero piramidal triangular Tn es la suma de los n primeros
n
umeros triangulares tn . Los cuatro primeros numeros 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 ?? permite observar la obtencion de los diferentes
n
umeros piramidales triangulares, apilando canicas en el orden mostrado.
Los diferentes numeros pir
amidales triangulares pueden construirse utilizan-
do la regularidad presentada en la Tabla. Luego, para obtener el 5o n ume-
ro piramidal triangular se suma el 4o n umero piramidal triangular con el 5o
n
umero triangular. De manera general Tn = Tn1 + tn ; que equivale a, Tn =
Tn1 + [n(n + 1)]/2. Ya que
Xn
Tn = ti,
i=1
de la secci
on 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 tambien puede ser ledo en el triangulo de Pascal.
Recursividad N
n 1 2 3 4 5 6 ... n
n(n+1)
tn 1 3 6 10 15 21 . . . 2
Tn 1 4 10 20 35 ? . . . ?
Fig.10: N
N
umeros Piramidales Cuadrados
Aqu la base de la piramide para la obtencion de los n
umeros piramidales
cuadrados es, efectivamente un cuadrado. Y cada nivel contiene sn puntos. La
Figura muestra la construccion del 4o n
umero piramidal cuadrado, utilizando
una estructura a partir de canicas.
Fig.10:Construccion del cuarto n

umero piramidal cuadrado
Los primeros cuatro n

umeros piramidales cuadrados son 1, 5, 14 y 30.
Los numeros cuadrados piramidales, notados Sn , pueden construirse facilmen-
te usando la estructura presentada en la Figura 10.Luego el nesimo n umero
piramidal cuadrado se puede obtener
n
X n
X
Sn = sk = k2
k=1 k=1
n(n + 1)(2n + 1)
= .
6
Regularidad de N
umeros Piramidales Cuadrados
n 1 2 3 4 5 ... n
sn 1 4 9 16 25 . . . n2
Sn 1 5 14 30 55 . . . ?
N
umeros Piramidales Pentagonales
La nesima fila de una piramide pentagonal representa el nesimo n umero
pentagonal pn , los primeros cinco n umeros pir amidales pentagonales son
1, 6, 18, 40, y 75. Una vez mas, se presenta mediante la siguiente tabla la regu-
laridad para su construcci on. Se propone como ejercicio encontrar una formula
explcita para el nesimo n
umero piramidal pentagonal notado Pn .
Regularidad de N
umeros Piramidales Pentagonales
n 1 2 3 4 5 ... n
pn 1 5 12 22 35 . . . ?
Sn 1 6 18 40 75 . . . ?
Finalmente se hablar
a de los n
umeros piramidales hexagonales Hn .
N
umeros Piramidales Hexagonales
La nesima fila de una piramide hexagonal representa el nesimo n umero
hexagonal hn , los primeros cinco n umeros piramidales hexagonales son 1,
7, 22, 50 y 95. De igual manera, se propone como ejercicio, con base en la Figura
la regularidad para su construcci on. Se propone como ejercicio encontrar una
f
ormula explcita para el n-esimo n
umero piramidal pentagonal notado Hn .
Ejercicios 1.7
1. Encuentre los primeros cuatro n
umeros triangulares que son cuadrados.
on de recurrencia Tn = Tn1 + n(n+1)

2. Usando la relaci 2 donde T1 = 1,
encuentre una formula explcita para el nesimo n
umero triangular pira-
midal Tn .
3. Defina recursivamente en nesimo n
umero piramidal cuadrado Sn .
4. Usando el ejercicio 3, encuentre una formula explcita para Sn .

5. Encuentre una f
ormula para el nesimo n
umero piramidal pentagonal Pn .
umero piramidal pentagonal Pn .
7. Use el ejercicio 6, encuentre una formula explcita para Pn .
8. Encuentre una f
ormula para el nesimo n
umero piramidal hexagonal Hn .
umero piramidal hexagonal Hn .
10. Use el ejercicio 9, encuentre una formula explcita para Hn .
Objetivo
En el presente taller se explorara la funcion POLYGONAL PYRAMID(n, p, d)
que permiten obtener los diferente tipo de n umeros piramidales.
En general, Derive provee una funcion que permite generar cualquier n
umero
piramidal, incluso con esta funcion se pueden obtener los n
umeros poligonales.
La funci
on a que se refiere es
POLYGONAL PYRAMID(n, p, d)
cuyos parametros son n que indica que se va a generar el nesimo numero que
se quiere, p que hace referencia al n
umero de lados del polgono que constituye
la base del numero que se pretende obtener y d es la dimension, cuando d es
dos hablamos de poligonos mientras que para d igual a 3 se habla de piramides
en 3 dimensiones, idea que puede ser genralizada a mas dimensiones.
Actividades
A continuacion se generara un vector con los 10 primeros numeros piramida-
les triangulares mediante la simplificacion del siguiente codigo
VECTOR(POLYGONAL PYRAMID(n, 3, 3),n,1,10)
cuyo resultado genera el vector
[1, 4, 10, 20, 35, 56, 84, 120, 165, 220]
Para los 10 primeros piramidales cuadrados se simplifica
que genera como resultado
[1, 5, 14, 30, 55, 91, 140, 204, 285, 385]
Para los 10 primeros piramidales hexagonales se simplifica
que permite obtener el vector
[1, 7, 22, 50, 95, 161, 252, 372, 525, 715]

N
umeros de Catal
an
Los n
umeros de Catal an son un un conjunto de n umeros que encajan de ma-
nera perfecta dentro de este contexto, estos son excelentes candidatos para la
exploraci on, la experimentaci on y para establecer conjeturas. Como los numeros
de Fibonacci y de Lucas, estos tienen, como Martin Gardner escribio en la Scien-
tific American, ((la misma encantadora propension para aparecer de improviso,
en particular en problemas combinatorios (1976))). Aquellos sitios inesperados
en donde aparecen incluyen el algebra abstracta, la teora combinatoria, la in-
form atica, la teora grafos, y la geometra.
Los numeros de Catal an son llamados as luego de que el matematico belga
Eugene C. Catal an, los descubriera en 1838, mientras el estudiaba las secuencias
gramaticalmente correctas de parentesis. Antes, alrededor de 1751, el excepcio-
nal matem atico suizo Leonhard Euler los encontro estudiando las triangulaciones
de polgonos convexos.
El Problema de la Triangulaci
on de Euler
Se inicia el estudio de los n

umeros de Catalan Cn , con la investigacion de
Euler del problema de la triangulacion:
Problema 1. Encuentre el n umero de formas An , en que el interior de un

nagono convexo 12 puede ser dividido en areas triangulares no superpuestas
dibujando diagonales que no se cruzan, donde n 3.
Hay s olo una forma de dividir un triangulo en areas triangulares, dos modos
diferentes de dividir en
areas triangulares un cuadrado, cinco modos diferentes de
dividir en areas triangulares un pentagono, y 14 modos diferentes de dividir un
hexagono, como se muestra en la Figura. As, se tienen los n umeros de Catalan
1, 2, 5, y14. Se propone como ejercicio para el lector encontrar las 5 formas de
dividir en areas triangulares el pentagono.
12 Un nagono convexo es un polgono con n lados tal que todas sus diagonales quedan
totalmente en el interior del polgono.
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 expresion asignando

valores de k = 0, k = 1 y k = 2 y que corresponden a los numeros de Catalan
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)
= Cn1
n+1
Cuando n = 1 se tiene que C1 = C0 , pero ya que C1 = 1, definiendo C0 = 1 se

puede escribir la recursividad de los n
umeros de Catalan como sigue.
Una Definici
on Recursiva de Cn
C0 = 1
(4n 2)
Cn = Cn1 si n 1.
n+1
Una Formula Explcita para Cn

Para la soluci
on de la relaci
on de recurrencia presentada antes se tiene,
(4n 2)
Cn = Cn1
n+1
(4n 2) (4n 6)
= Cn2
n+1 n
(4n 2) (4n 6) (4n 10)
= Cn3
n+1 n n1
..
.
(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)!

n (2n 1)(2n 3)(2n 5) 3 1 2 4 (2n)
= 2
(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
Ya que (n + 1)| 2n

n (se propone esta afirmaci
on como ejercicio para el lec-
tor)13 , de esto se sigue que todo n
umero de Catalan es entero positivo. A con-
tinuaci on se presentan los primeros n
umeros de Catalan:
1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, ...
Se sigue desde la formula explcita que todo n

umero de Catalan Cn puede
extraerse desde el tri
angulo de Pascal: Dividiendo cada coeficiente binomial
13 a|b significa que a es factor de b, o que a divide a b.
2n

central n entre (n + 1),

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 = n1
n
2n 2n

2. Cn = n n1
2n 2n

3. Cn+1 = n n2
1 2n+1

4. Cn = n
2n + 1
2n1 2n1

5. Cn = n1 n2
2n
2n+1

6. Cn = 2 n n
7. Cn = 2n+1 2n

n+1 2 n+1
Usando la formula recursiva
b(n1)/2c
X n 1 n2r1
Cn = 2 Cr
r=0
2n
calcule Cn para cada valor de n.
8. n = 5
9. n = 6
Objetivo
En el presente taller se explorara la funcion CATALAN(n) y se construira otra
a partir de la recursividad que genere los n umeros de Catalan.
La funci
on en Derive que por defecto genera los n
umeros de Catalan se define
como CATALAN(n) y se simplifica al nesimo n umero de Catalan.
Actividades
Para obtener un vector con los diez primeros n
umeros de Catalan se simpli-
fica la expresi
on a continuaci
on
VECTOR(CATALAN(n),n,1,10)
Utilizando la definici
on recursiva del los n
umeros de Catalan dada en esta
secci
on es posible construir una funcion que genere dichos n
umeros, es as como
definiendo la funci
on
c(n):=IF(n = 0, 1, (4n - 2)/(n + 1)c(n - 1))
y simplificando
VECTOR(c(n),n,1,10)
se obtiene
[1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796]

Captulo 2
Divisibilidad
Este captulo contin

ua con el estudio de las propiedades de los enteros y
explora los numeros primos, los cuales son un componente basico de este con-
junto, los n
umeros compuestos y una clase particular de n
umeros denominados
n
umeros de Fermat.
El Algoritmo de la Divisi
on
El algoritmo de divisi
on es una fina aplicacion del principio del buen orden y
a menudo se emplea como metodo de comprobacion del proceso de la division.
Suponga que un entero a se divide por un entero positivo b. Entonces se obtiene
un unico cociente q y un u nico residuo (o resto) r, donde el residuo satisface
on 0 r < b; a es el dividendo y b es el divisor. Esto formalmente se
la condici
establece de la siguiente forma.
Teorema 13. (El Algoritmo de la Divisi on) Sea a cualquier entero y b un
entero positivo. Entonces existen enteros u
nicos q y r tales que
a=bq+r
donde 0 r < b.
Demostraci
on
La prueba consiste en dos partes. Primero se establecera la existencia de los

enteros q y r y luego se mostrara que ellos son u
nicos. Demostraci
on de la
existencia Considere el conjunto S = {a bn|(n Z) y (a bn 0)}. Clara-
mente, S W . Se desea mostrar que S tiene un mnimo elemento. Para este
fin, primero se muestra que S es un subconjunto no vacio de W :
Caso 1 . Suponga a 0. Entonces a = ab0 S, as S contiene un elemento.
57
Caso 2 . Suponga a < 0. Ya que b Z+ , b 1. Entonces ba a; esto es,
a ba 0.Consecuentemente, a ba S.
En ambos casos, S contiene al menos un elemento, as S es un subconjunto

no vaco de W . Por tanto, por el principio del buen orden, S contiene un mnimo
elemento r. Ya que r S, existe un entero q tal que r = a bq, donde r 0.
Quedando Por mostrar que r < b: Se mostrara esto por contradiccion. Es-
cogiendo 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) S; esto es,
r b es m as peque no que r y esta en S. Esto contradice la forma de escoger r,
as r < b. As, hay enteros q y r talque a = bq + r,donde 0 r < b.
Demostraci on de la unicidad Se quiere ahora mostrar que los enteros q
y r son u nicos. Suponiendo que hay enteros q q 0 , r y r0 tales 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,
r r b Que es una contradiccion ya que r0 r < b Por tanto, q q 0 ; as,
0
q = q 0 , y ya que, r = r0 . Luego, los enteros q y r son u nicos, completando la

prueba de unicidad.
Aunque tradicionalmente se haya dado a este teorema el nombre de algoritmo
de division, este no presenta un algoritmo para encontrar q y r. Ellos se pueden
encontrar usando el metodo largo de la division.
Ejemplo 22. Encuentre el cociente q y el residuo r cuando
1. 207 se divide por 15
2. 23 se divide por 5
Soluci
on
1 . 207 = 15 3 + 12-, as q = 13 y r = 12.

2 . Ya que 23 = 5 (4) + (3), se estara 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
numerica en la Figura 2.1). De esta forma, q = 5 y r = 2.
on de la division de 23 entre 5 en la recta numerica.

Fig.12:Ilustraci
Puede notarse que la ecuaci
on 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 area de
las matematicas discretas y computacionales para encontrar cocientes y residuos.
Se pueden definir 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, 23div 5 = 4, y 23mod 5 = 3; 23div 5 = 5, y 23mod 5 = 2,

como se argument o en el ejemplo anterior. De las definiciones anteriores se puede
escribir:
q = adiv b = ba/bc
r = amod b = a bq = a b ba/bc .
El Principio del Palomar y el Algoritmo de la Divisi

on
El principio del palomar es tambien conocido como el principio de las
cajas de Dirichlet luego de que el matematico aleman Gustav Peter Lejeune
Dirichlet lo usara extensivamente en sus trabajos sobre teora de numeros. Este
principio puede ser utilizado en variadas situaciones.
Suponga m palomas volando hacia n palomares, donde m > n. Cual es su
conclusi
on? Ya que hay m as palomas que palomares, al menos dos palomas se
posaran en el mismo palomar; en otras palabras, hay palomares que contendran
dos o mas palomas.
Se establecera y probara a continuacion una version simple del principio de
palomar.
Teorema 14. (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
on(por contradicci
on)
Suponga que la conclusion 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 hipotesis que m > n. As, dos o mas palomas
ocupan el mismo palomar.
Ejemplo 23. El principio del palomar permite probar que en nuestra ciudad
existen dos personas que tienen el mismo n umero de pelos en la cabeza. La
situacion se puede argumentar de la siguiente manera, suponga que una persona
tiene a lo m as 150.000 pelos en la cabeza, habr
an calvos (0 pelos en la cabeza),
personas con tendencia a la calvicie (digamos 100 pelos en la cabeza), en fin,
ellos se podran clasificar dependiendo del n
umero 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 u ltimo cuarto entran los que
tienen 150 mil pelos. De esta forma se tendran 150.001 cuartos en donde est an
todos los habitantes de nuestra ciudad. Bajo estos supuestos, si nuestra ciudad
tiene m as de 150.001 habitantes1 , por el teorema del palomar, necesariamente
debe existir un cuarto que tiene almenos dos personas, esto es, tienen la misma
cantidad de pelos en la cabeza.
A continuaci
on se presenta la relacion de divisibilidad.
La Relaci
on de Divisibilidad
Suponga que en el algoritmo de la division r = 0. Entonces a = bq + 0 = bq.
Se puede afirmar que b divide a a, b es factor de a, a es divisible por b, o a es
un multiplo de b, y se escribe b|a. Si b no es factor de a se escribe b - a. Por
ejemplo, 3|12, 5|30, pero 6 - 15.
Ejemplo 24. Sea b un entero 2. Suponga que b + 1 enteros se seleccionan
aleatoriamente. Probar que la diferencia de dos de ellos es divisible por b. So-
lucion. Sea q el cociente y r el residuo cuando un entero a se divide por otro
on, a = bq + r, donde 0 r < b.
entero b. Entonces, por el algoritmo de la divisi
Los b + 1 enteros dan b + 1 residuos (palomas), pero hay solamente b posibles re-
siduos (palomares). Por tanto, por el principio del palomar, dos de los residuos
deben ser iguales.
Sean x y y los corrrespondientes enteros. Entonces x = bq1 + r y y = bq2 + r
para algunos cocientes q1 y q2 . Por tanto,
xy = (bq1 + r) (bq2 + r)
= b (q1 q2 )
as, x y es divisible por b
1 La siguiente p
agina de Internet permite, oprimiendo la tecla F5, saber cu
antos habitantes
tiene la ciudad de Bogot a 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
Un Acertijo Intrigante
Piense en un numero de tres dgitos abc. Multiplique el n
umero abc y sus
sucesivas respuestas por 7, 11 y 13, respectivamente. Su respuesta es el n
umero
abcabc Sorprendido? Puede usted explicar el porque de este resultado?
A continuaci
on se estudian varias propiedades de la divisibilidad. Se deja al
lector sus pruebas como ejercicios.
Teorema 15. Sean a y b enteros positivos tales que a|b y b|a. Entonces a = b.
Teorema 16. Sean a, b, c, y enteros cualesquiera.2 . Entonces
1. Si a|b y b|c, entonces a|c. (Propiedad Transitiva)
2. Si a|b y a|c, entonces a|(b + c)
3. Si a|b, entonces a|bc.
Observacion La expresion b + c se llama combinacion lineal de b y c

As, por la parte 2, si a es un factor de b y c, entonces a es tambien combinacion
lineal de b y c En particular, a|(b + c) si = = 1 y a|(b c) si = 1 y
= 1.
La funci on piso puede usarse para determinar el cantidad de n umeros enteros
positivos menores o iguales que un n umero entero positivo a y divisible por un
numero entero positivo b, como el siguiente teorema muestra.
Teorema 17. Sean a y b enteros positivos. Entonces el n

umero de enteros
positivos a y divisible por b es ba/bc
Demostraci
on
Suponga que hay k enteros positivos a y divisibles por b. Se necesita mostrar

que k = ba/bc. Los multiplos positivos de b menores o iguales que a son b, 2b, ...,
kb.Claramente, kb a, esto es, k a/b. Mas aun, (k + 1)b > a. As, k + 1 > a/b
o a/b 1 < k. Por lo tanto,
a a
1<k .
b b
As, k es el mas largo entero menor o igual a a/b, luego k = ba/bc

Por ejemplo, el n umero de enteros positivos 2076 y divisibles por 19 es
b2076/19c = b109,26316c = 109.
A continuaci on, se consideraran algunos aspectos de conjuntos y de el prin-
cipio de inclusi on-exclusi
on.
2 y son las letras griegas alfa y beta
Uni
on, Intersecci
on y Complemento
Sea A un conjunto finito y sea |A| el n
umero de elementos en A. Por ejemplo,
si A = {3, 5, 8, 17} entonces |A| = 4. (En el Captulo 1, se utilizo las barras
verticales para denotar el valor absoluto de un n umero, pero aqui denotara el
numero de elementos en un conjunto. El significado de la notacion debe poder
deducirse dependiendo del contexto.)
Sean A y B dos conjuntos. Su uni on A B es el conjunto de elementos
pertenecientes a A o a B; su intersecci on 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 estan en A.
A continuacion se estudiara el principio de inclusion-exclusion.
Teorema 18. (El Principio de Inclusi on-Exclusi on) Sean A1 , A2 , ..., An
n conjuntos finitos. Entonces

[ n X X
Ai = |Ai | |Ai Aj |

i=1 1in 1i<jn
n
X \
n+1
+ |Ai Aj Ak | + (1) Ai

1i<j<kn i=1
Los siguientes dos ejemplos son simple aplicaciones de este teorema.

umero de enteros positivos 2076 y divisibles por
Ejemplo 25. Encuentre el n
ambos, 4 y 5.
Solucion. Sea
A = {x N|x 2076 y divisibles por 4}
y
B = {x N|x 2076 y divisibles por 5}
Entonces
|A B| = |A| + |B| |A B|
= b2076/4c + b2076/5c b2076/20c
= 519 + 415 103 = 831.
As, entre los primeros 2076 n
umeros enteros positivos, hay 2076831 = 1245
n
umeros enteros no divisibles por 4 o 5.
Ejemplo 26. Encuentre el n umero de enteros positivos 3000 y divisibles por
3, 5 o 7.
Solucion. Sean A, B y C los conjuntos enteros positivos 3000 y divisibles
por 3, 5 o 7. Por el principio de inclusi
on-exclusi
on,
|A B C| = |A| + |B| + |C| |A B| |B C| |A C| + |A B C|
= b3000/3c + b3000/5c + b3000/7c b3000/15c
b3000/35c b3000/21c + b3000/105c
= 1629.
Ahora se retornara al algoritmo de la division y se discutira sobre algunas
propiedades de la divisibilidad que envuelve enteros pares e impares.
Enteros Pares e Impares

Suponga que en el algoritmo de la division 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 definicion que todo entero es uno de dos, par o impar,
pero no ambos.
Los Pitagoricos consideraron los n
umeros impares como masculinos y buenos,
y los n
umeros pares como femeninos y malos. El n umero 1 no fue considerado ni
masculino ni femenino. El n umero 5, es la suma del primer numero masculino y
el primer femenino, por tanto fue considerado como el smbolo del matrimonio.
Algunos filosofos, soportados por la temprana teologa cristiana, identificaron
los n
umeros con Dios.
Las siguientes propiedades tambien fueron conocidas por los Pitagoricos. Su
demostracion 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 impar.
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
umero de factores positivos del entero n. De esta
forma evalue.
5. f (16)
6. f (12)
7. f (15)
8. f (17)
umero de enteros positivos 3076 y
Encuentre el n
9. Divisibles por 19
11. No divisibles por 17

Encuentre el n
umero 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. 1|a
18. Si a|b, entonces a| b
19. a|0
20. Si a|b y b|a,entonces a = b.

21. Si a|b, entonces a < b.
22. Si a|b, entonces a|b.
23. Si a|b y b|c entonces a|c.
24. Si a - b, entonces b - a.
25. Cero no divide ni a pares ni a impares.

26. No hay ning
un residuo cuando un entero par se divide por 2.
Probar o refutar cada proposicion, asumiendo a, b y c son enteros arbitra-
rios.
27. Si a2 = b2 entoces a = b.
28. Si a|b y b|a, entonces a = b.
29. Si a|(b + c), entonces a|b y a|c.
30. Si a|bc entonces a|b y a|c

Evalue asumiendo d entero positivo.
P
31. d|12 d
P
32. d|12 1
1
P
33. d|18 d
18
P
34. d|18 d
35. Un n umero desnudo es un n umero natural n tal que cada uno de sus
dgitos es un factor de n. Encuentre los n umeros desnudos impares de
tres dgitos que no contienen dgitos repetidos. Sea f una funcion definida
recursivamente por

1 si 3|n
f (n) =
f (n + 1) en otro caso
36. Encuentre f (16)

37. Encuentre una formula explcita para f (n)
Probar cada proposici
on, asumiendo a y b son enteros positivos.
38. Si a|b y b|a, entonces a = b.
39. Si a|b y c|d, entonces ac|bd.
40. La suma y el producto de cualquier dos enteros pares son pares.
Objetivo
En el presente taller se explorara la funcion MOD(m,n) y se construira con
base en esta la funci
on DIV(m,n)
La funcion MOD(m,n) se simplifica al residuo no negativo de dividir m entre
n. As cuando se divide 23 entre 5, como se vio en el Ejemplo 37, el residuo es
2, de esta forma al simplificar
MOD(-23,5)
se obtiene 2.
Actividades
Para definir el operador DIV se procede de la siguiente forma, ya que DIV
es una funci
on reservada para Derive se utilizara como nombre de la funcion
Q(m,n),
Q(m,n):=FLOOR(m/n)
as
Q(-23,5)
se simplifica al cociente de dividir 23 entre 5, es decir a 5.
Con este par de funciones as definidas se construira una funcion que dados
dos numeros el divisor y el dividendo arroje como resultado un vector de dos
componenetes que cuyas componentes sean el cociente y el residuo, soportado
por el algoritmo de la division. Llamando la funcion AD(a,b) en donde a es el
divisor y b el dividendo se tiene que,
AD(a,b):=[Q(a,b),MOD(a,b)]
Por tanto si se le pide a Derive que simplifique AD(-23,5) el programa arro-

jar
a [-5, 2].
Configuraciones Num
ericas
Las configuraciones de n umeros son una diversion tanto para aficionados co-
mo para profesionales. A menudo el interes recae en a nadir una o dos filas al
modelo construido, entonces se debe tener capacidad para reconocer el modelo
para tener exito en el arte de razonamiento inductivo. Esto requiere tanto ha-
bilidad como ingenio. En dos de los siguientes ejemplos, pruebas matematicas
establecen la validez del modelo.
La siguiente fascinante configuracion numerica fue publicada en 1882 por el
matem atico frances Francois-Edouard-Anatole Lucas.
Ejemplo 27. Estudie la siguiente configuraci

on numerica y adicione dos o m
as
lneas.
19+2 = 11
12 9 + 3 = 111
123 9 + 4 = 1111
1234 9 + 5 = 11111
12345 9 + 6 = 111111
123456 9 + 7 = 1111111
..
.
Soluci on. Aunque el modelo aqu sea muy obvio, se hacen unas observacio-
nes, se estudia, se busca un comportamiento similar, y se aplica el modelo para
a
nadir dos lneas mas:
El LMI de cada ecuacion es la suma de dos n

umeros. El primer n
umero
es el producto del n
umero 123...n y 9.
El valor de n en la primera ecuaci

on 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 se-

cuencia creciente que comienza en 2, as el segundo sumando en la nesi-
ma ecuacion es n + 1.
El LMD de cada ecuacion es un n

umero cada vez mayor de 1s,la nesima
ecuaci
on contiene n + 1 unos.
As, el modelo que es: El primer numero en la lnea nesima es 123...n; el

segundo n umero es siempre 9; el segundo sumando es n + 1; y el LMD esta com-
puesto de n + 1 unos. As las dos siguientes lneas son
1234567 9 + 8 = 11111111
12345678 9 + 9 = 111111111
Ejemplo 28. Estudie la configuraci
on numerica y adicione dos o m
as filas:
18+1 = 9
12 8 + 2 = 98
123 8 + 3 = 987
1234 8 + 4 = 9876
12345 8 + 5 = 98765
123456 8 + 6 = 987654
..
.
Solucion. Una mirada a varias filas revela el modelo siguiente: El primer

factor del producto en el LMI de la ecuaci on nesima tiene la forma 123...n; el
segundo factor es siempre 8. El segundo sumando en la ecuaci on es n. El n
umero
en el LMD de la ecuaci on nesima contiene n dgitos, cada uno comienza con
el dgito 9, y de izquierda a derecha cada dgito disminuye en 1.
As las dos siguientes lneas de la configuraci
on son
1234567 8 + 7 = 9876543
12345678 8 + 8 = 98765432
Que garantiza que estos dos modelos se sostendran? En general, las con-
clusiones alcanzadas despues de la observacion 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 al es el siguiente n
umero en la secuencia? Es el 7? Este es segu-
ramente una posibilidad, pero el siguiente n umero tambien podra 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 aticas, como lo muestran los dos ejemplos siguientes.
Ejemplo 29. Establezca la validez del Ejemplo 47.
Demostraci
on
Se quiere probar que
123...n 9 + (n + 1) = |11 .{z

. . 11}
n+1 unos
LMI = 123...n 9 + (n + 1)
9 1 10n1 + 2 10n2 + 3 10n3 + + n + (n + 1)

=
= (10 1) 1 10n1 + 2 10n2 + 3 10n3 + + n + (n + 1)

= 10n + 2 10n1 + + n 10 10n1 + 2 10n2 + + n + (n + 1)

= 10n + 10n1 + 10n2 + + 10 + 1

= |11 .{z
. . 11}
n+1 unos
= LMD
(Sera interesante ver si este resultado se mantiene para cualquier entero posi-
tivo n; intentelo.)
Se estudiar
a un ejemplo adicional.
Ejemplo 30. Adicione dos o m as filas en el siguiente modelo, conjeture una

formula para la nesima fila, y pruebela:
99+7 = 88
98 9 + 6 = 888
987 9 + 5 = 8888
9876 9 + 4 = 88888
98765 9 + 3 = 888888
..
.
Demostraci
on
Las siguientes dos filas de configuraciones son
987654 9 + 2 = 8888888
9876543 9 + 1 = 88888888
La configuraci
on general esta dada por
987...(10 n) 9 + (8 n) = |888 .{z

. . 888}, 1 n 8
n+1 ochos
Para probar la conjetura:

Demostraci
on
LMI = 987...(10 n) 9 + (8 n)
= (10 1)[9 10n1 + 8 10n2 + 7 10n3 + + (11 n)10
+(10 n)] + (8 n)
= [9 10n + 8 10n1 + + (11 n)102 + (10 n)10]
[9 10n1 + 8 10n2 + + (11 n)10 + (10 n)] + (8 n)
= 9 10n (10n1 + 10n2 + + 10) (10 n) + (8 n)
= 9 10n (10n1 + 10n2 + + 10 + 1) 1
= 10 10n (10n + 10n1 + + 10 + 1) 1
k
10n+1 1 X rk+1 1
= 10n+1 1, ya que ri = (r 6= 1)
9 i=0
r1
8(10n+1 1)
=
9
Pero
10n+1 1 = 99
| .{z
. . 99}
n+1 nueves
as
10n+1 1
= |11 .{z
. . 11}.
9
n+1 unos
Por tanto,
8(10n+1 1)
LMI = = |88 .{z
. . 88} = LMD
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
as filas a cada configuracion numerica.
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+01 = 1
1+13 = 4
1+24 = 9
1+35 = 16
11.
23 2 = 123
3
3 3 = 234
3
4 4 = 345
53 5 = 456
12.
11 = 1
11 11 = 121
111 111 = 12321
1111 1111 = 1234321
11111 11111 = 123454321
13.
77 = 49
67 67 = 4489
667 667 = 444889
6667 6667 = 44448889
66667 66667 = 4444488889
14.
123456789 9 = 111111111
123456789 18 = 222222222
123456789 27 = 333333333
123456789 36 = 444444444
123456789 45 = 555555555
15.
44 = 16
34 34 = 1156
334 334 = 111556
3334 3334 = 11115556
33334 33334 = 1111155556
16.
102 10 + 1 = 91
4 2
10 10 + 1 = 9901
6 3
10 10 + 1 = 999001
8 4
10 10 + 1 = 99990001
1010 105 + 1 = 9999900001
17-24. Conjeture una formula para la nesima fila en cada una de las configura-
ciones en los ejercicios del 9 al 16.
25-29. Establezca la validez de su formula en los ejercios 17-20 y 24.
N
umeros Primos y Compuestos
Los n umeros primos est
an contenidos en la familia de los n
umeros enteros
positivos. Por medio de dos algoritmos que son usados a menudo, podemos
determinar si un n umero entero positivo es primo. Algunos enteros positivos
tienen exactamente dos factores positivos, otros tienen mas 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 dara la siguiente definicion:
N
umeros Primos y Compuestos
Un entero positivo > 1 es un n umero primo (o simplemente un primo) si solo
tiene dos factores primos, uno y el mismo. Un entero positivo mayor que uno
que no sea un primo, es un n umero compuesto (o simplemente un compuesto).
Se notara por definici
on que 1 no es ni numero primo, ni tampoco n umero
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 numeros compuestos son 4, 6, 8, 10, 12, 14, 15, 16 y 18.
Siguiendo la definici
on, el conjunto de n
umeros positivos pueden ser divididos
en tres clases:
El conjunto de los primos, el conjunto de los compuestos, y el conjunto {1}.
Cuantos primos hay? Hay alguna forma sistematica para determinar si un
numeros positivo es primo? Para responder a la primera pregunta, es necesario
el siguiente Lema3 , el cual se prueba por induccion. Puede tambien probarse
por contradiccion.
Lema 1. Todo entero n 2 tienen un factor primo.
Demostraci
on
(induccion fuerte) La proposici on dada es claramente cierta cuando n = 2.

Ahora se asumir a que tambien es verdadera para todos los enteros positivos
n k, donde k 2. Ahora se considerara el entero k + 1.
Caso 1.Si k +1 es un primo, entonces k +1 tiene un factor primo (el mismo).
Caso 2.Si k + 1 no es un primo, k + 1 es un n umero compuesto,entonces
este debe tener un factor d k. Ahora, por hipotesis de induccion, d tiene un
factor primo p. Luego, p es un factor primo de k + 1, por el Teorema 42.
As, por la versi
on fuerte de induccion, la proposicion es verdadera para
todo entero 2; Luego hemos demostrado que todo n umero entero 2 tiene
un factor primo.
Puede probarse que hay un n umero infinito de primos. Este resultado elegan-
te presentado por Euclides, es muy usado en teora de n umeros. Se usara esen-
cialmente su tecnica proveniente del libro IX de los Elementos, para su prueba.
Pueden observarse pruebas alternativas de este resultado.
3 Un lema es un menor resultado usado para probar un teorema.
Teorema 19. Hay infinitos n
umeros primos.
Demostraci
on(por contradicci
on)
Asuma que hay un n umero finito 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 un primo
pi , donde 1 i n. Ya que pi |N y pi |p1 p2 pn , entonces pi |(N p1 p pn ),
por el Teorema 42; es decir, pi |1 lo cual es imposible.
As, la suposici
on hecha es falsa, por tanto tienen que haber infinitos n umeros
primos.
La prueba de este teorema gira en la escogencia del n umero En = p1 p2 ...pn +
1, donde pi denota el iesimo 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 establecio un cota superior para En ,
cuando n 6: En < (pn+1 )n2 . Esto se puede establecer usando induccion.
Primos y Pi
Ahora se hace una interesante disgresion. En 1734 el gran
P matematico suizo
Leonard Euler mostr o que la suma de primos recprocos p p1 diverge. Sin em-
Q
bargo, el producto infinito 1 p12 converge a un lmite . De hecho, puede
p
mostrarse que

1 X 1 1 1 1
= = 2 + 2 + 2 +
n=1 n2 1 2 3
P 2
En 1734
Euler
tambien mostro que n=1 n12 = 6 entonces = 62 .4 As pues,
1 6
Q
p 1 p2 = 2 0,6079271018.
Ahora que ya se sabe que hay un n umero infinito de primos, puede en-
contrarse algoritmos para determinar la primalidad de enteros 2?. El gran
matem atico aleman Gauss escribio en 1801 en Disquisitiones Arithmeticae: El
problema de distinguir n umero primos de n umeros compuestos... se conoce por
ser uno de los m as importantes y utiles en la aritmetica... Mas alla, la dignidad
de la ciencia en si requiere que todo posible significado sea explorado para la
soluci
on de un problema muy elegante y muy celebrado. Afortunadamente, hay
un algoritmo que est a basado en siguiente resultado.

Teorema 20. Todo numero compuesto n tiene un factor primo b nc.
Demostraci
on
Ya que n es compuesto, hay enteros

positivos
a y b tales que n = ab,donde
1<
a < n y 1 < b < n. Suponga a > n y b > n. Entonces n = ab > n n = n,
4 es la letra griega nu.

lo cual es imposible. Por lo tanto, a n o b 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
ob tambien es un factor de a b = n, por lo tanto n debe tener un factor primo
b nc.
Observaci
on Se sigue del Teorema anterior que si n no tiene factores
primos b nc, entonces n es un numero primo;en otro caso, n es un numero
compuesto.
Este hecho puede usarse para determinar cuando un entero n 2 es primo,
como en el siguiente ejemplo.
Ejemplo 31. Determinar si 1601 es un n umero primo.

Soluci
on. Primero se lista todos los numeros 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

umero primo.
La Criba de Erat
ostenes
El Teorema 53 tambien es la base de un antiguo algoritmo,la Criba de
Eratostenes, usado para encontrar todos los primos a un entero positivo n.
Es un eficientealgoritmo 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 enteros
positivos del 1 al 100.Entonces eliminamos al 1 y a todos los n umeros compuestos
100 como sigue. Por el Teorema
53, cualquier n
u mero compuesto 100 debe
tener un factor primo 100 , que es, 10. Pero los primos 10 son 2,
3, 5, 7, entonceslos numeros compuestos 100 son aquellos n umeros 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 ultiplos de
2, 3, 5, 7 pero no a ellos ya que son primos. Los n umeros ya eliminados no
necesitan ser sombreados nuevamente. Los que quedan son los primos 100.
Hay 25 n umeros 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 metodo se hace ineficiente. De hecho, no existe un
metodo pr actico para probar la primalidad de n umeros grandes.
Teoricos de los numeros a menudo sue nan con encontrar formulas que ge-
neren n umeros primos para valores consecutivos de un variable entera n. Euler
encontr o 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 numero primo.
Fig.13 Criba de Eratostenes
En 1798 Adrien-Marie Legendre (17521833) encontro 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 exito un polinomio f (n)
que genere numeros primos para todos los enteros n. La razon se aclara en el
siguiente ejemplo:
Ejemplo 32. Probar que no existe un polinomio con coeficientes enteros que
genere primos para todo entero n.
Demostraci
on(por contradicci
on)
Suponga que existe tal polinomio, f (n) = ak nk + ak1 nk1 + ... + 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 + ak1 bk1 + ... + a1 b + a0 = p (2.1)
Sea t un entero arbitrario. Entonces
f (b + tp) = ak (b + tp)k + ak1 (b + tp)k1 + + a1 (b + tp) + a0

= (ak bk + ak1 bk1 + + a1 b + a0 ) + p g(t)
donde g(t) es un polinomio en t. As,
f (b + tp) = p + pg(t), por la ecuaci

on (2.1)
= p[1 + g(t)]
Entonces p|f (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 infinitamente 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 as de k veces, siendo esto una contradicci
on.
As pues, no existe ning
un polinomio con coeficientes enteros que genere solo
n
umeros primos.
Una Funci
on Te
orico-Num
erica
Sea x un n
umero real positivo. Entonces (x) denota el numero de primos
x.
Por ejemplo, (10) = 4, (28,75) = 9 y (100) = 25. Usando la notacion de
sumatoria (x) se puede definir como:
X
(x) = 1, donde p denota un primo.
px
La siguiente f
ormula para (n) donde n es un entero positivo,puede ser
establecida usando el principio de inclusion-exclusion. Su prueba es complicada
y aqu se omite.

Teorema 21. Sea p1 , p2 , ..., pt ser primos n. Entonces
X n X n
(n) = n 1 + ( n) +
i
pi i<j
pi pj

X n n
+ ... + (1)t
pi pj pk p1 p2 ...pt
i<j<k
El siguiente ejemplo ilustra el resultado.

Ejemplo 33. Usando el teorema 56 encontrar el n umero de primos 100.
Solucion
Aqu n = 100. Entonces ( n) = ( 100) = (10) = 4,Hay 4 primos
10, son 2, 3, 5, 7 llamemoslos p1 , p2 , p3 , y p4 , respectivamente. Entonces por
el teorema 56

100 100 100 100
(100) = 100 1 + 4 + + +
2 3 5 7

100 100 100 100 100 100
+ + + + + +
23 25 27 35 37 57

100 100 100 100
+ + +
235 237 257 357

100
+
2357
= 103 (50 + 33 + 20 + 14) + (16 + 10 + 7 + 6 + 4 + 2) (3 + 2 + 1 + 0) + 0
= 25
Lo cual es consistente con la deducci

on hecha a partir de la criba de Erast
otenes.
Aunque la f
ormula para (n) en el Teorema 56 es elegante en el sentido que
da el n
umero exacto de cantidad de primos, no es muy practica cuando n es muy
grande. Es aqu donde el teorema del n
umero primo, uno de los mas celebrados
resultados en teora de n
umeros, llega a ser extremadamente u til. Este da un
valor aproximado de (n ), cuando n es muy grande.
Teorema 22. (El Teorema del N
umero Primo)
(x)
lm =1
x x/ ln x
Esto es, mientras x se haga mas grande (x) se aproxima a x/ ln x.4
Gauss noto la similitud entre los valores de (x) y x/ ln x,mientras x se haga

mas grande y conjeturo el teorema en 1793, pero no dio una prueba. En 1850 el
matematico ruso Pafnuty Lvovich Chebychev hizo significativos progresos hacia
la prueba, el probo que existen constantes positivas tales que
x x
a < (x) < b
ln x ln x
donde x 2.
En 1870, el matematico aleman Ernest Meissel (1826-1895) mostro que hay
5,761,455 numeros primos menores que 108 . En 1893, cien a nos despues de
la conjetura de Gauss, el matematico danes N.P. Bertelsen afirmo que hay
50,847,478 numeros primos menores que 109 . En 1959, sin embargo, Derrick
H.Lehmer (1905-1991) mostro que la respuesta de Bertelsen era incorrecta y
que el n
umero correcto era 50,847,534. Tambien mostro que existen 455,052,512
menores que 1010
En 1896, sin embargo, el matematico Frances Jacques Hadamard (1865-1963)
y el matematico Belga Charles-Jean-Gustave-Nicholas de la Vallee-Poussin (1866-
1962), trabajando independientemente, probo el teorema usado matematicas
avanzadas.
Esta prueba era un jalon en el desarrollo de teora de los n
umeros. Pero en
1950, el matem atico h
ungaro Paul Erdos (1913-1996) y el matematico noruego
Alte Selberg (1917-) demostro el teorema usando calculo elemental.
Seg
un el teorema de n umero primo, cuando x es suficientemente grande,
(x) puede ser aproximado por x/ ln x (mirar columnas 2 y 3 en la Tabla 2.4).
Pero una mejor aproximacion es la funcion li (x), definida por Gauss en 1792 a
la edad de 15 anos,
Z x
dt
li (x) =
2 lnt
(x)
Se pude notar en la tabla que li(x) se aproxima a 1 mas rapidamente que
(x)
x/ ln x . En efecto, li (x) es una aproximacion superior para valores peque
nos 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

mostro que no es verdad para valores arbitrarios de x. Cuatro anos despues, 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 infinitud de los n umeros primos, Que se
puede decir acerca de la distribuci
on de los primos? Como 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
u
nicos dos enteros consecutivos que son primos. Tambien se sabe que 3, 5, y 7
son los u
nico tres enteros impares consecutivos que son primos. Aunque hay solo
dos enteros consecutivos que son primos, nosotros podemos encontrar cualquier
numero de enteros consecutivos que son n umeros 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 umeros compuestos.
Teorema 23. Para todo entero positivo n, hay n enteros consecutivos que son
n
umeros compuestos.
Demostraci
on
Considere n enteros consecutivos (n + 1)! + 2, (n + 1)! + 3, ..., (n + 1)! + (n + 1),

con n 1. Suponga que 2 k n + 1, entonces k|(n + 1)!, as k|[(n + 1)! + k],
por Teorema 42, para cada k. Por lo tanto, cada uno de ellos son un n umero
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 34. Encuentre seis enteros consecutivos que sean compuestos.
SolucionPor 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 as pequena y que puede verse en la Figura ??
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 infinitos n
umeros primos.
8. Hay un infinito n
umero de n
umeros compuestos.
9. Si p es primo tal que p|ab, entonces p|a o p|b.
10. Hay primos de la forma n! + 1

Determine si cada n
umero es primo o compuesto.
11. 129
12. 217
13. 1001
14. 1729
umero de primos n para cada valor
Usando el Teorema 56, calcule el n
de n.
15. 47
16. 61
17. 96
18. 131
19. Encuentre cinco enteros consecutivos < 100 que sean n

umeros compuestos.
Encuentre n enteros consecutivos que sean compuestos para cada valor de
n
20. siete
5 Un googolplex es un n umero desmesuradamente elevado que corresponde a 10 elevado
100
a un googol, es decir, 10googol
o1010 (un 1 seguido de googol ceros).
21. ocho
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 qn1 + 1, donde n 2.
29. Encuentre los cuatro primeros primos de la forma qn
30. Encuentre los n

umeros compuestos mas peque
nos de la forma qn .
31. Defina qn recursivamente.
Probar.
32. 2 y 3 so los dos u

nicos enteros consecutivos que son primos.
33. 3, 5 y 7 son los tres u
nicos enteros impares consecutivos que son primos.
34. Si p y p2 + 8 son primos, entonces p3 + 4 es tambien un primo. (D. L.
Silverman, 1968)
35. Si p es primo y 1 k p, entonces p| kp

36. Sean p y q primos impares sucesivos y p+q = 2r. Entonces r es compuesto.

(J. D. Baum, 1966)
Objetivo
En el presente taller se explorara diversas funciones que tienen que ver con
n
umeros primos, la funciones PRIME?(m), NEXT PRIME(m) y PREVIOUS PRIME(m).
Algunas funciones que involucran primos en Derive se relacionan a continua-
ci
on:
NTH PRIME(n): se simplifica al nesimo n umero primo.
PRIME?(m): se simplifica ((true)) (verdadero) si m es primo; a ((false)) (falso)
si m no es primo.
NEXT PRIME(m): se simplifica al siguiente numero primo mayor que m.
PREVIOUS PRIME(m): se simplifica al primer n umero primo menor que m si
existe; en caso contrario se simplifica a ?.
Actividades
Anidando dos funciones VECTOR es posible construir una matriz, por ejemplo
la orden
VECTOR(VECTOR(i+j,i,0,20,5),j,1,5)
se simplifica a una matriz de 5 5 con los n
umeros del 1 al 25. Anidando en la
orden anterior la funcion NTH PRIME(n) en el argumento de la misma es posible
generar una matriz con los primeros 25 n umeros primos, esto es, simplificando
la orden
VECTOR(VECTOR(NTH PRIME(i+j),i,0,20,5),j,1,5)
cuyo resultado es
2 13 31 53 73
3 17 37 59 79

5 19 41 61 83

7 23 43 67 89
11 29 47 71 97
A continuacion se creara una funcion denominada test(n) que se simplifica a
la frase esprimo o es compuesto dependiendo del valor de n,
test(n):=IF(PRIME?(n) = true, es primo , es compuesto)
as, por ejemplo al simplificar test(5) devuelve es primo mientras que test(5)
devuelve es compuesto. La orden
VECTOR([i + 1, test(i + 1), i + 11, test(i + 11), i + 21,

test(i + 21), i + 31, test(i + 31), i + 41, test(i + 41)], i, 1, 10)
devuelve una matriz de 10 10 con los numeros del 2 al 51 frente a los cuales
se dice si cada uno es primo o compuesto.
N
umeros de Fermat
n
Los numeros de la forma fn = 22 + 1 fueron estudiados por el excepcional
matem atico frances Pierre de Fermat y son llamados ((n umeros de Fermat)).
Los cinco primeros n umeros de Fermat son f0 = 3, f1 = 5, f2 = 17, f3 = 257, y
f4 = 65537.
El siguiente teorema, presenta una interesante relacion de recurrencia que se
satisface para fn .
Teorema 24. Denote por fn el nesimo n
umero de Fermat, entonces fn =
2
fn1 2fn1 + 2, donde n 1.
Demostraci
on
n1
on, se substituira fn1 = 22
Para esta demostraci + 1 en la expresion
2
fn1 2fn1 + 2, y simplificandola se demostrara que es igual a fn :
n1 n1
2
fn1 2fn1 + 2 = (22 + 1)2 2(22 + 1) + 2
h n1 n1
i n1
= (22 )2 + 2(22 ) + 1 2(22 ) 2 + 2
n
= 22 + 1
= fn .
Esto completa la demostraci

on.
Este Teorema conduce a una definicion recursiva de fn .
Una definici
on recursiva de fn
f0 = 3
2
fn = fn1 2fn1 + 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 on interesante sobre los numeros de Fermat.
Note que los n umeros f2 = 17, f3 = 257, f4 = 65537, f5 = 4294967297, y f6 =
18446644033331951617 todos acaban en el mismo dgito decimal, 7. Asombroso!
Que podra usted conjeturar acerca de los n
umeros de Fermat?
Aqu esta otra observaci
on interesante: Los primeros cinco numeros de Fer-
mat 3, 5, 17, 257, y 65537 son primos. Fermat conjeturo que cada n umero de la
n
forma 22 + 1 era un n umero primo.
Sin embargo, en 1732 Euler establecio la falsedad de su conjetura producien-
do un contraejemplo. El mostro que f5 es divisible por 641: f5 = 4294967297 =
641 6700417. Una demostracion alternativa fue propuesta en 1926 por el ma-
tematico belga M. Kraitchik (1882-1957) en su Theorie des nombres.
El siguiente ejemplo proporciona una demostracion elemental e inteligente,
por G. T. Bennett. La belleza de su demostracion desmiente el hecho de que f5
sea primo, ya que tiene un factor diferente a el mismo y la unidad.
Ejemplo 35. Demuestre que 641|f5
Solucion 1. 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 on (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, demostro 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 numeros 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 infinitud de los primos de

Fermat. Esto todava deja un problema no resuelto. De hecho, ningun primo
de Fermat m as all
a de f4 ha sido encontrado; El primo de Fermat mas grande
conocido sigue siendo f4 , mientras que el mas grande compuesto es f2478782 ,
descubierto en 2003.
Cada n umero 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 numeros de Fermat hay infinitos cuadrados-libres.
El siguiente resultado, obtenido por Lucas, es un instrumento sumamente
u
til en la factorizaci
on prima de fn . En 1747, Euler demostro que cada factor
primo de fn debe ser de la forma A2n+1 +1. En 1879, Lucas redefinio el trabajo
de Euler mostrando que A debe ser un n umero entero par 2k. Esto conduce al
siguiente teorema.
Teorema 25. Todo factor primo de fn es de la forma k 2n+2 + 1, donde n 2
De acuerdo con la afirmaci on de este teorema, si fn no tiene ningun factor
primo de la forma k2n+2 +1, entonces fn debe ser un numero primo. El siguiente
ejemplo ratifica este hecho.
Ejemplo 36. Demuestre que f4 = 65537 es primo.
Solucion 2. Para ello ser a suficiente mostrar que f4 no tiene ningun factor
forma 26k + 1 = 64k + 1,
primo propio. Ya que cada factor primo de f4 es de la
si f4 es compuesto, este debe tener un factor primo 65537 , esto es 256.
El unico 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 Tecnologa de
California estableci
o que la suma de los recprocos de n
umeros de Fermat es un
n
umero irracional.
Finalmente, hay un eslab on notable entre los primos de Fermat y la cons-
trucci
on de polgonos regulares con regla y compas, donde la regla es empleada
solamente para dibujar lneas, y el compas para trazar arcos. En 1796, Gauss
demostro el siguiente teorema famoso.
Teorema 26. Un polgono regular de n lados es construible con regla y compas

si y s olo 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 conocan la construccion de los polgonos regulares de
lados 2k , 3 2k , 5 2k y 15 2k . (Note que 3 y 5 son primos de Fermat.) Ellos
tambien conocan la construcci on de los polgonos de 3, 4, 5,6, 8, 10, 12, 15,
y 16 lados, pero no la construcci on del polgono regular de 17 lados. Cuando
Gauss, a la edad de 19 a nos, demostro que el polgono regular de 17 lados es
construible, se puso tan euf orico por su descubrimiento que decidio dedicar el
resto de su vida a las matem tambien solicito que un polgono regular
aticas. El
de 17 lados fuera grabado sobre su lapida. Aunque su deseo nunca fuera cum-
plido, tal polgono se puede encontrar sobre un monumento a Gauss en el lugar
de su nacimiento en Brunswick, Alemania. ( Una discusion cuidadosa de tales
construcciones geometricas requiere tecnicas avanzadas del algebra abstracta, a
saber, la teora de Galois.)
Ejercicios 2.4
1. Usando recursi
on, calcule los n
umeros de Fermat f3 y f4 .
2. Haga una conjetura acerca de los dgitos de las decenas en el valor decimal
de fn .
3. Establezca su conjetura en el Ejercicio 2. (Sugerencia: Use induccion.)

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 u nico numero de Fermat que es n
umero triangular
tambien. (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
umeros enteros es una potencia de 2 si y solo si ambos n
umeros enteros
son potencias de 2.
Objetivo
En el presente taller se presentaran dos formas de definir los n umeros de
Fermat, una a traves de la definici
on y otra mediante la relacion de recurrencia
establecida en el Teorema 61.
Actividades
A traves de la opci
on Definicion de una Funci on... en Derive es po-
sible construir una funcion que permita obtener los n
umeros de Fermat, as, se
llamara a la funci
on F(n) definida como se hace a continuacion,
F(n):=2^2^n + 1
simplificando la siguiente expresi

on
VECTOR(F(n), n, 0, 5)
se obtendr
a el siguiente vector con los 6 primeros n
umeros de Fermat,
[3, 5, 17, 257, 65537, 4294967297] .
De manera similar se puede definir, a partir de la relacion de recurrencia presen-

tada en el Teorema 61, una funci
on que permita obtener los n umeros de Fermat,
se llamar
a a esta funci
on Fermat(n) y se define de la siguiente forma,
Fermat(n):=IF(n = 0, 3, Fermat(n - 1)^2 -2F(n - 1) + 2)
Definida la funci
on Fermat(n) al simplificar
VECTOR(Fermat(n), n, 0, 5)
se obtiene de igual manera un vector con los primeros 6 n

umeros de Fermat.
Captulo 3
Maximo Comun Divisor
Este captulo trata la teora de la divisibilidad. Se comienza explorando los

factores comunes de dos o mas n umeros enteros positivos.Se establece el teo-
rema fundamental de la aritmetica, la piedra angular de la teora de n umeros,
y luego se miran los m ultiplos comunes de dos o mas n umeros enteros positi-
vos. Finalmente, se trabajan algunas clases importantes de ecuaciones linelaes
diofanticas.
3.1. M
aximo Com
un 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 exactamente un factor com un, que es, 1.
Muchas veces no se esta interesado en todos los divisores comunes de a y b,
pero si en el divisor com
un m as grande, as se tiene la siguiente definicion.
M
aximo Com
un Divisor
El m aximo com un divisor (MCD) de dos enteros a y b, ninguno de los dos
debe ser cero, es el mas 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.
Observacion Ya que (a, b) = (a, b) = (a, b), la discusion se centra

en MCDs de enteros positivos.
89
Como se sabe si el MCD de a y b siempre existe? Ya que 1|a y 1|b, 1 es
com un divisor de a y b, as que ellos tienen un divisor com un que es 1. Si d es
com un divisor, entonces d a y d b, as d mn {a, b}. Luego el conjunto de
factores comunes es finito, as (a, b) existe.
Una segunda pregunta importante es la unicidad: Es el MCD de a y b u nico?
Para poder hablar de MCD de a y b (Esto se propone como ejercicio para el
lector).
La definici
on verbal precedente de MCD, aunque simple y clara, no es tan
practica, por eso se escribira simbolicamente.
Una Definici
on Simb
olica de MCD
Un entero positivo d es el MCD de dos enteros positivos a y b si
d|a y d|b; y
si d0 |a y d0 |b, entonces d0 d, donde d0 es tambien un entero positivo.
As, d = (a, b) si se satisfacen las condiciones:
d debe ser un factor com

un de a y b.
d debe ser el m
as grande factor comun de a y b; en otros terminos, cualquier
otro factor com un d0 debe ser d.
En la siguiente seccion, se desarrollara un metodo eficaz 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 definicion.
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 relacion entre los enteros sera u
til en proximas discusiones.
umero de Fermat. Entonces f0 f1 fn1 =

Lema 2. Denote por fi el iesimo n
fn 2, donde n 1.
Demostraci
on(Por Inducci
on)
Cuando n = 1, LMD= f0 = 3 = 5 2 =LMI. As,el resultado se mantiene

cuando n = 1.
Ahora se asumir
a que el resultado es verdadero cuando n = k:
f0 f1 fk1 = fk 2
Entonces
f0 f1 fk1 fk = (f0 f1 fk1 )fk

= (fk 2)fk , por hipotesis de induccion
k k
= (22 1)(22 + 1)
k+1 k+1
= 22 1 = (22 + 1) 2
= fk+1 2
As, si el resultado es verdadero cuando n = k, tambien es verdadero cuando

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

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

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

y d|fn . Pero fn 2 = f0 f1 fm fn1 , por el Lema 68. Puesto que d|fm ,
d|f0 f1 fm fn . As d/(fn 2), pero d | fn ; Por tanto, d|2, por Teorema
42. Por consiguiente , d debe ser 1 o 2. Pero los n umeros 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
infinitos primos.
Teorema 28. Existen infinitos n

umeros primos.
Demostraci
on
Por Lema 51, cada n umero de Fermat tiene un factor primo. Por consiguiente,
por el teorema de Polya, no hay dos n
umeros distintos de Fermat que tengan fac-
tores primos comunes, significando que cada uno tiene un factor primo distinto.
As, ya que hay infinitos n
umeros de Fermat, hay tambien infinitos primos.
A continuacion se presenta una confluencia asombrosa de teora del n

umero,
probabilidad y an
alisis.
N
umeros Primos Relativos y Pi
En la Secci
on 2.3, se encuentra unQ eslabon cercano entre los n
umeros primos
umero , dado por la formula pP (1 1/p2 ) = 6/ 2 . Usando tecnicas
y el n
avanzadas, se puede mostrar que el producto infinito representa el rec proco
de la probabilidad que dos n umeros enteros positivos seleccionados al azar sean
primos relativos.1 As, la probabilidad que dos numeros
Q enteros positivos selec-
cionados al azar sean primos relativos esta dada por pP 1/(1 1/p2 ) = 6/ 2 .
A continuacion se centrara la atencion en algunas usadas propiedades intere-

santes del los MCDs.
Teorema 29. Sea (a, b) = d. Entonces
1. (a/d, b/d) = 1
2. (a, a b) = d
Demostraci
on
1. Sea d0 = (a/d, b/d). Se Debe mostrar que d0 = 1:

Ya que d0 es un factor com un 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 un de a y b. Entonces, por definicion, dd0 d, de este modo
d 1. As, d es un entero positivo tal que d0 1, entonces d0 = 1. Por
0 0
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 mostrara que d d0 y
d0 d. Para mostrar que d d0 :
Entonces d es un com un divisor de a y b, a = md y b = nd para algunos
enteros m y n. Entonces a b = (m n)d. As d|a y d|(a b); entonces d
es comun divisor de a y a b. Luego, por definicio n, d debe ser menor o
igual que (a, a b); esto es d d0 .
1 Ver Ogilvy y Anderson.
Para mostrar que d0 d:
Entonces d0 es un factor com un de a y a b, a = d0 y a b = d0
para algunos enteros y . Entonces a (a b) = d0 d0 ; esto es,
b = ( )d0 . As, d0 es com
un divisor de a y b, entonces d0 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 on, se prueba que el MCD de a y b se puede expresar como la
suma de m ultiplos de a y b, pero primero se presenta una definicion.
Combinaci
on Lineal
Una combinaci on lineal de los enteros a y b es la suma de m ultiplos 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 parrafo pre-
cedente. Su prueba es una elegante aplicacion del principio del buen orden.
Teorema 30. (Euler) El MCD de enteros positivos a y b es la combinacion

lineal de a y b.
Demostraci
on
Sea S el conjunto de combinaciones lineales positivas de a y b; esto es,

S = {ma + nb | ma + nb > 0, con m, n Z} .
Se mostrara que S tiene al menos un elemento:
Ya que a > 0, a = 1 a + 0 b S, entonces S no es vaco. As, por el principio
de buen orden, S tiene un mnimo 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 d|a y d|b:

Por el algoritmo de la divisi
on, 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 combinacion lineal de a y b.

Si r > 0, entonces r S. Ya que r < d, r es menor que el elemento mas
pequeno en S, lo cual es una contradiccion. As r = 0; por tanto, a = dq,
luego d|a.
Similarmente, d|b. As d es un com
un divisor de a y b.
un positivo d0 de a y b es d:
2. Por mostrar que cualquier divisor com
Sea d0 |a y d0 |b, d0 |(a + b), por el teorema 42; esto es, d0 |d. Entonces
d0 d.
As, por las partes (1) y (2), d = (a, b).
Observacion Se sigue, por este teorema que el MCD (a, b) siempre puede
expresarse como una combinacion lineal a + b. En efecto, esta es la mas
peque
na de tales combinaciones lineales positivas.
Un modo de encontrar tal combinacion lineal es por ensayo y error, especial-

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

Solucion. 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.
Observacion Note que los valores de y en la combinacion lineal no

nicos. En el anterior ejemplo se puede notar que (5) 28 +
tienen porque ser u
12 12 = 4.
Una segunda forma de encontrar y es usando una tabla de m ultiplos de

a y b y entonces escoger la combinacion correcta, como lo muestra la siguiente
Tabla.
28 28 56 84 112 140
12 12 24 36 48 60 144
En la siguiente seccion se presenta un metodo sistematico para encontrar

y .
El Teorema 72 se puede usar para refinar la definicion de MCD y sacar
obtener varios resultados utiles acerca de MCDs.
Teorema 31. Si d = (a, b) y d0 es cualquier comun divisor de a y b, entonces

d0 |d.
Demostraci
on
Puesto que d = (a, b), por Teorema 72, existen y tal que d = a + b.Como
d0 |a y d0 |b, por Teorema 42, d0 | (a + b); de esta manera d0 |d.
un divisor d0 de a y b es un factor de su MCD d, y d0 d.

As, cada com
De manera inversa, suponga que
d|a y d |b ; y
si d0 |a y d0 |b, entonces d0 |d. Entonces d0 d; as d = (a, b).
Por tanto, la definici

on simb
olica de MCD puede modificarse como sigue.
Una Definici
on Alternativa de MCD
Un entero positivo d es el MCD de a y b si
d|a y d|b; y
si d0 |a y d0 |b, entonces d0 |d, donde d0 es un entero positivo.
Teorema 32. 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 33. Dos enteros positivos, a y b, son primos relativos si y solo si hay
enteros y tales que a + b = 1.
Demostraci
on
Si a y b son primos relativos, entonces (a, b) = 1. Por tanto, por Teorema 72,
existen enteros y tal que a + b = 1.
Recprocamente, suponga que existen y tales que a + b = 1. Para
demostrar que (a, b) = 1, sea d = (a, b). Entonces por Teorema 42 d| (a + b);
esto es d|1, 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 u
til para resolver el ejercicio propuesto n
umero 41.
Corolario 2. Si d = (a, b), entonces (a/d, b/d) = 1.
El siguiente Corolario se sigue del Teorema 72 (Vea ejercicio 43)

Corolario 3. Si (a, b) = 1 = (a, c),entonces (a, bc) = 1.
Supongamos a|c y b|c. Significa esto que ab|c ? No. Por ejemplo, 3|12 y 6|12,
pero 3 6 - 12. El siguiente corolario proporciona un criterio por el cual ab|c.
Corolario 4. Si a|c y b|c, y (a, b) = 1, entonces ab|c.
Demostraci
on
Como a|c, c = ma para alg un entero m. Similarmente, c = nb para alg

un 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 ab|c.
Se debe recordar que a|bc no significa que a|b o a|c, aunque bajo algunas
condiciones esto se cumple. El siguiente corolario explica cuando esto es verda-
dero.
Corolario 5. (Euclides) Si a y b son primos relativos, y si a|bc, entonces a|c.
Demostraci
on
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 a|ac y a|bc , a|ac + bc por
el Teorema 42; esto es ; a|c.
La definicion de MCD puede extenderse a tres o mas enteros positivos, como

muestra la siguiente definicion.
El MCD de n Enteros Positivos

El mcd de n ( 2) enteros positivos a1 , a2 , ..., an es el entero positivo mas

grande que divide a cada uno de los ai . Este se denota por (a1, a2 , ..., an ) .
El siguiente ejemplo ilustra esta definicion.
Ejemplo 38. Encuentre (12, 18, 28), (12, 36, 60, 108), (15, 28, 50).
Soluci
on.
a) El entero positivo m
as grande que divide a 12, 18 y 28 es 2, as, (12, 18, 28) =
2.
b) 12 es el factor m as 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
un m
as grande de 15, 28 y 50 es 1; esto
es (15, 28, 50) = 1.
El Teorema 72 puede ampliarse a n n umeros enteros. Pero primero, se am-

pliar
a la definici
on de una combinacion lineal de n enteros positivos.
Una Combinaci
on Lineal de n Enteros Positivos
Una combinaci on 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 combinacion lineal de 12, 15 y
21; As como tambien lo es 3 12 + (2) 15 + (5) 21.
Ahora se establece la extension del Teorema 72 y se deja la prueba como un
ejercicio.
Teorema 34. El MCD de los enteros positivos a1 , a2 , ..., an ,es el menor entero
positivo que es combinaci
on lineal de a1 , a2 , ..., an .
El siguiente ejemplo ilustra este Teorema.
Ejemplo 39. Exprese (12, 15, 21), en una combinaci on lineal de 12, 15, 21.
Soluci
on. Primero se puede notar que (12, 15, 21) = 3. Despues se encuen-
tran n
umeros enteros , y , por ensayo y error, tal que 12+15+21 = 3;
= 1 , = 1 , = 0 es una de tal combinaci on: (1) 12 + 1 15 + 0 21 = 3.
El siguiente teorema muestra como la recursion puede usarse para encontrar

el MCD de tres o m as n
umeros enteros.
Teorema 35. Sea a1 , a2 , . . . , an (n 3) enteros positivos. Entonces(a1 , a2 , ..., an ) =

((a1 , a2 , ..., an1 ) , an ) .
Demostraci
on
Sea d = (a1 , a2 , ..., an ) , d0 = (a1 , a2 , ..., an1 ) yd00 = (d0 , an ) . mostramos que
d = d00 :
0
a que d|d00 :
Se mostrar
Dado que d = (a1 , a2 , ..., an ) , d|ai para todo i. As d|d0 y d|an . Entonces
d| (d0 , an ) ; esto es d|d00 .
a que d00 |d :
Se mostrar
Ya que d00 = (d0 , an ) , d00 |d0 y d00 |an . Pero d00 |d0 implica que d00 |ai para
1 i n 1. As d00 |ai para 1 i n, por tanto d00 |d.
Luego, d|d00 y d00 |d, as d = d00 , por el Teorema 41.
El siguiente ejemplo ilustra este teorema.
Ejemplo 40. Usando recursi

on, evalue (18, 30, 60, 75, 132) .
Soluci
on.
(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 continuacion se obtiene por induccion y el Teorema 84. Se

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

1 i n.
El siguiente corolario es una extension del Corolario 80.
Corolario 7. Si d|a1 a2 ...an y (d, ai ) = 1 para 1 i n 1, entonces d|an .
Antes de enunciar otro corolario, se introduce la siguiente definicion.
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 8. 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.
Observacion Se debe tener en cuenta que el recproco 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
umeros como combinacion lineal.
12. 18, 28
13. 24, 28
14. 15, 28
15. 21, 26
Denote con f (n) el n umeros de enteros positivos n y primos relativos
a el. 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
ue d|n f (d) para n = 12, 18, 19 y 25.
P
21. Usando el Ejercicio 20, prediga una formula para d|n f (d)
22. Encuentre el mnimos 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
umeros dados como una combinacion de los n
ume-
ros.
27. 12, 15, 18
28. 12, 18, 20, 24
Use recursi
on 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 proposicion.
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
un primo y fn el nesimo n umero Fermat.
34. El MCD de cualquier par de n
umeros enteros es u
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 d|ai 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 |(fn 2).

46. Usando en Ejercicio 45, muestre que (fm , fn ) = 1, donde m 6= n.
47. Usando el Teorema 69 e induccion, pruebe que hay infinitos primos.
Objetivo
En el presente taller se define y se explorara una funcion que permita calcular
el MCD de dos o m as numeros.

La funci
on que se utilizara en este taller se define como GCD(m1,m2,...,mn)
y permite calcular el MCD de los n n umeros m1 , m2 , ..., mn .
Actividades
Mediante la opci
on GCD(m1,m2,...,mn) en Derive es posible calcular el
MCD de un conjunto de n
umeros, por ejemplo, la simplificacion de la expresion
GCD(12,18)
arroja como resultado el valor 6 que es le MCD de los dos n

umeros 12 y 18. La
funci
on permite calcular la el MCD de mas de dos n
umeros enteros, es as como
la simplificaci
on de
GCD(12,18,28)
arroja como resultado el valor 2 y la simplificacion de
GCD(12,36,60,108)
da como resultado 12, que son los MCD de los conjuntos de n

umeros respecti-
vamente.
El Algoritmo de Euclides
Existen varios procedimientos para encontrar el MCD de dos enteros posi-

tivos. Un algoritmo eficiente es el Algoritmo de Euclides, llamado despues
Euclidiano, quien lo incluyo en el Libro VII de su extraordiario trabajo, Los

elementos. El algoritmo, sin embargo, probablemente era antes conocido. Esta
es una herramienta fundamental en la teora de n
umeros algortmica.
El siguiente teorema establece la base para el algoritmo de Euclidiano.

Teorema 36. Sean a y b enteros positivos y rel residuo, cuando ase dividide
por b. Entonces (a, b) = (b, r).
Demostraci
on
Sea d = (a, b) y d0 = (b, r). Se debe probar que d = d0 , es suficiente mostrar que
d|d0 y d0 |d . Por el algoritmo de la division, existe un u
nico cociente q tal que
a = bq + r (3.1)
Se mostrar a que d|d0 :

Ya que d = (a, b), d|a y d|b, as d|bq, por el Teorema 42. Entonces d|(a bq),
de nuevo por el Teorema 42. En otras palabras, d|r, por la ecuacion (3.1). De
este modo, d|b y d|r, as d|(b, r); esto es d|d0 .
Similarmente, puede mostrarse que d0 |d (ver Ejercicio 9). As, por el Teorema
41, d = d0 , esto es, (a, b) = (b, r).
El siguiente ejemplo ilustra este teorema.
Ejemplo 41. Ilustrar el Teorema 89 con a = 120 y b = 28.

Soluci
on. Primero, se puede verificar que (120, 28) = 4.
on, 120 = 4 28 + 8 , entonces por el
Ahora , por el algoritmo de la divisi
Teorema 89, (120, 28) = (28, 8). Pero (28, 8) = 4. Por lo tanto, (120, 28) = 4.
El siguiente ejemplo ilustra como el Teorema 89 puede ser utilizado para

encontrar (a, b).
Ejemplo 42. Usando el Teorema 89, eval ue (2076, 1776).

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

on 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 ultimo 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 u
ltimo residuo diferente de cero en este procedimiento es el MCD.
Ahora se justificar
a 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 division, se tendra la
secuencia de ecuaciones:
a = q0 r0 + r1 , 0 r1 < r0
r0 = q1 r1 + r2 , 0 r2 < r1
r1 = q2 r2 + r3 , 0 r3 < r2
..
.
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 mas y mas pequenos,
esta secuencia debera eventualmente terminar con el residuo rn+1 = 0. As, las
dos u
ltimas ecuaciones en el procedimiento anterior son
rn2 = qn1 rn1 + rn , 0 rn < rn1
y
rn1 = qn rn
Se sigue por induccion que (a, b) = (a, r0 ) = (r0, r1 ) = (r1 , r2 ) = =
(rn1 , rn ) = rn , el u
ltimo residuo diferente de cero (ver Ejercicio 10).
El siguiente ejemplo tambien demuestra el Algoritmo Euclidiano.
Ejemplo 43. Aplique el algoritmo euclidiano para encontrar (4076, 1024).
Solucion.
Por la aplicaci
on sucesiva del algoritmo de la divisi
on se tiene:
4076 = 3 1024 + 1004

1024 = 1 1004 + 20
1004 = 50 20 + 4 ultimo residuo diferente de cero
20 = 54+0
ya que el anterior residuo diferente de cero es 4, (4076, 1024) = 4.
Ejemplo 44. Usando el algoritmo euclidiano exprese (4076, 1024) como com-
binaci
on lineal de 4076 y 1024.
Soluci on. Utilizando las ecuaciones obtenidas en el Ejemplo 92 en orden
inverso, sustituyendo de manera iterativa en el residuo de la ecuaci
on previa
(4076, 1024) = 4 ultimo residuo diferente de cero

= 1004 50 20
= 1004 50(1024 1 1004) (sustituyendo el 20)
= 51 1004 50 1024
= 51(4076 3 1024) 50 1024 (sustituyendo el 1024)
= 51 4076 + (203)1024
Ejercicios 3.2
Usando el algoritmo euclidiano, encuentre el MCD de los enteros dados.
1. 1024, 1000
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 combinacion lineal de los n
umeros 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 |d.
10. Sea a y b enteros positivos con a b. Usando la secuencia de ecuaciones en
el algoritmo euclideano, pruebe que (a, b) = (rn1 , rn ), donde n 1.
Objetivo
En el presente taller se define una funcion que permita expresar el MCD
entre dos n
umeros como combinacion lineal de ellos.

La funcion que se utilizara en este taller se define como EXTENDED GCD(a, b)
y que se simplifica al vector de enteros [g, [x, y]] donde g = (a, b) = xa + yb
usando el algoritmo de Euclides para el maximo com un divisor.
Actividades
El calculo de el MCD de los n
umeros 4076 y 1024 en el Ejemplo 92 se obtiene
simplificando en Derive la orden
GCD(4076,1024)
esta simplificaci
on da como resultado 4. Por otro lado, utilizando la funcion
EXTENDED GCD(a, b) y simplificando la expresion
EXTENDED GCD(4076,1024)
Derive arroja como resultado
[4, [51, -203]]
que se interpreta como que
(4076, 1024) = 4 = 51 4076 + (203)1024
como se pudo observar en el Ejemplo 93.

El Teorema Fundamental de la Aritm
etica
Continuando ahora con el estudio de los primos. Se puede establecer, sin

temor a equivocarse, la afirmaci on de que los numeros primos son los ladrillos
de todos los enteros. En otros terminos, 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 etica, es ciertamente
la piedra angular de la teora de n
umeros y uno de sus resultados principales.
Este aparece en Los Elementos de Euclides.

Antes de enunciarlo formalmente y demostrarlo, se necesitan dos lemas fun-
damentales. A lo largo de estos lemas, se asumira que todas las letras denotan
numeros enteros positivos.
Lema 3. Si p es un primo y p|ab, entonces p|a o p|b.
Demostraci
on
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 ecuacion
por b; se tiene pb + ab = b. Como p|p y p|ab, p|(pb + ab) por el Teorema
42; es decir, p|b.
El siguiente lema extiende este resultado a tres o mas factores, usando in-
ducci
on.
Lema 4. Sea p un primo y p|a1 a2 an d

onde a1 , a2 , an son enteros posi-
tivos, entonces p|ai para alg onde 1 i n.
un i d
Demostraci
on(por inducci
on d
ebil)
Cuando n = 1, el resultado se da claramente. As que suponga que es verdad

para un entero positivo arbitrario k : Si p|a1 a2 ak , entonces p|ai para alg un
i. Suponga que p|a1 a2 ak+1 , es decir, p|(a1 a2 ak )ak+1 . Entonces, por el
Lema 93, p|a1 a2 ak o p|ak+1 . Si p|a1 a2 ak ,entonces p|ai , para alg
un i donde
1 i k. Por tanto, p|ai d onde 1 i k, o p|ak+1 . En cualquier caso, p|ai
para alg onde 1 i k + 1.
un i, d
As, por inducci on, el resultado se tiene para cada entero positivo n.
El siguiente resultado se sigue de este lema.
Corolario 9. Si p, q1 , q2 , qn son primos tales que p|q1 q2 qn , entonces p =

qi para alg onde 1 i n.
un i, d
Demostraci
on
Como p|q1 q2 qn , por el Lema 94, p|qi para alg

un i. Pero p y qi son primos,
por lo que p = qi .
Podemos ahora declarar y establecer el teorema fundamental de la aritmeti-

ca, el resultado m
as fundamental en la teora de n
umeros. La prueba consiste en
dos partes y una parte larga, por lo que necesitamos seguirlo cuidadosamente.
Teorema 37. (El Teorema Fundamental de la Aritm etica) Todo entero

cualquiera n 2 es un primo o puede expresarse como un producto de primos.
La factorizaci
on en primos es u
nica salvo el orden de los factores.
Demostraci
on
Primero, se mostrar
a por induccion fuerte que n o es un primo o puede expre-
sarse como un producto de primos. Entonces se establecera la unicidad de tal
factorizaci
on.
1. Sea P (n) la proposicion que n es un primo o puede expresarse como un

producto de primos.
a que P (n) es verdad para cada entero n 2:
Se mostrar
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 donde
1 < a, b < k + 1. Por la hipotesis de induccion, 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) tambien es
verdad.
on fuerte, el resultado se tiene para cada entero n 2.
As, por inducci
2. Para establecer la unicidad de la factorizaci

on:
Sea n un n umero compuesto con dos factorizaciones en primos: n =
p1 p2 pr = q1 q2 qS . Se mostrara que r = s y que cada pi es igual
a algun qj , d onde 1 i, j r; es decir, los primos q1 , q2 . . . , qs son una
permutaci on de los primos p1 , p2 ..., pr .
Asuma, por conveniencia que r s. Como p1 p2 pr = q1 q2 qs , p1 |q1 q2 qs ,
por el Corolario 95, p1 = qi para alg un i. Dividiendo ambos lados por p1 ,
se tiene:
p2 pr = q1 q2 qi1 qi+1 qi+1 qs
Ahora p2 divide el LMD, y de nuevo por el Corolario 95, p2 = qj para
alg
un j. Cancelando p2 a ambos lados:
p3 pr = q1 q2 qi1 qi+1 qj1 qj qj+1 qs
Como r s, al continuar as, se cancela cada pt con alg un qk . Esto nos da

1 al final 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 los mismos primos p1 , p2 , pr en alg
un
orden. As, la factorizacion de n es unica, salvo por el orden en el cual los
primos fueron escritos.
Se sigue de este teorema que cada n umero compuesto n puede factorizarse

en primos. Tal factorizacion es llamada factorizaci on en primos de n.
Por ejemplo, 5544 = 2 2 3 7 2 11 3 es una factorizacion en primos de
5544. Usando la notaci on exponencial, este producto es a menudo escrito como
5544 = 23 32 7 11. Tal producto es la descomposici on en potencias de
factores primos de n; si los primos se escriben en el orden creciente, entonces
esta es la descomposici on can onica.
Descomposici
on Can
onica
La descomposici on can onica 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 tecnicas normalmente usadas para encontrar la descomposicion
can onica de un n umero compuesto. El primer metodo involucra hallar todos
los factores primos, empezando con el mas peque no primo, como el siguiente
ejemplo muestra.
Ejemplo 45. Halle la descomposici on canonica de 2520.

Solucion.Empezando con el m as pequeno primo 2, desde que 2|2520,2520 =
2 1260. Ahora 2 es un factor de 1260, por lo que 2520 = 2 2 630; 2|630
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 tambien 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
que es la descomposici
on can
onica deseada.
Este metodo puede consumir mucho tiempo si el n umero n es bastante

grande. El segundo metodo que es generalmente mas eficaz, involucra expresar
explcitamente 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 mas grandes sean los factores el metodo
se hara mas corto. El siguiente ejemplo clarifica este metodo, bastante facil.
Ejemplo 46. Halle la descomposici on can

onica de 2520 por el segundo metodo.
Soluci on. 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 on canonica:
2520 = 23 32 5 7.
La descomposici on canonica de un n umero compuesto puede usarse para

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

Soluci on.Primero, note que 60 = 22 3 5. Por el teorema fundamental de
la aritmetica, cada factor de 60 es de la forma 2a 3b 5c , d
onde 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 21 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. Podra pensar en una buena manera de encontrar

el n
umero de factores positivos sin listarlos?)
El siguiente ejemplo presenta una aplicacion bonita del teorema fundamental

de la aritmetica y la funcion piso. Muestra muy bien que se puede determinar
el n
umero de ceros un valor decimal de n!, sin calcularlo. (Por ejemplo, 11! =
39,916,800 tienen dos ceros al final.)
Ejemplo 48. Halle el n umero de ceros finales en 234!.

Solucion.Por el teorema fundamental de la aritmetica, 234! puede factori-
zarse como 2a 5b c, donde a y b son enteros positivos (por que?) y c denota
el producto de primos de la misma manera que 2 y 5. Claramente, a > b (por
que?). Cada cero final 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 finales en 234!) =
en una factorizacion prima de 234!
= el mnimo de a y b (por que?)
= 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 on en primos de 234!.
Cada uno de ellos contribuye en un 5 adicional a la factorizaci on en primos
de 234!.
Contribuye todava en un 5 adicional a la factorizaci on en primos.
Ninguna potencia superior de 5 contribuye en un 5 a la factorizaci on prima
de 234!, as el n
umero total de 5s en la factorizaci
on prima es igual a 46+9+1 =
56. As, 234! tiene 56 ceros finales.
Se sigue de este ejemplo que el exponente mas 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 no tal que pk > n. Entonces n/pk = 0, por lo
as peque
que la suma es finita.
Por ejemplo, el exponente m as grande de 2 que divide 97! es
e = b97/2c + b97/22 c + b97/23 b+b97/24 c + b97/25 c + b97/26 c

= 48 + 24 + 12 + 6 + 3 + 1 = 94
De manera interesante, hay una relacion ntima entre el n

umero de unos en
la representaci
on binaria de 97 y el exponente mas alto de 2 que divide 97!.
Para ver esto, note que 97 = 1100001dos , por lo que la representacion binaria
contiene tres 1s y 97 = 94 + 3.
De manera general, se tiene el siguiente resultado debido al matematico
frances Adrian Mari Legendre.
Teorema 38. Denotando por e el exponente m as alto de 2 que divide n! y b el

n
umero de 1s en la representaci
on binaria de n. Entonces n = e + b.
Demostraci
on(Por Inducci
on)
Sea n = (ak ak1 . . . a1 a0 )dos = a0 + a1 2 + + ak 2k . Sea 1 i k. Entonces:
bcn2i = bca0 + a1 2 + + ai1 2i1 2i + ai + ai+1 2 + + ak 2k1
Pero
a0 + a1 2 + + ai1 2i1 1 + 2 + 22 + + 2i1

= 2i1
< 2i ,
as
bca0 + a1 2 + + ai1 2i1 2i = 0 (3.2)
Por consiguiente,
bcn2i = ai + ai+1 2 + + ak 2ki (3.3)
Entonces,
k
X
bcn2i = a1 + a2 2 + a3 22 + + ak 2k1
i=1
+a2 1 + a3 2 + + ak 2k2
+a3 1 + + ak 2k3
..
.
+ak 1
Esto es,
a1 + a2 (1 + 2) + a3 1 + 2 + 22 + + ak 1 + 22 + + 2k1 (3.4)

e =
= a1 (2 1) + a2 22 1 + a3 23 1 + + ak 2k 1

(3.5)
2 k

= a0 + a1 2 + a2 2 + + ak 2 (a0 + a1 + + ak ) (3.6)
= nb (3.7)
As, n = e + b.
Las descomposiciones canonicas de enteros positivos proporciona un nuevo

metodo encontrar MCDs, como se ilustra en el siguiente ejemplo.
Ejemplo 49. Usando las descomposiciones can onicas de 168 y 180, para en-
contrar su MCD.
Soluci on.Se puede verificar que 168 = 23 3 7 y 180 = 22 32 5. Los
u
nicos factores primos comunes son 2 y 3, por lo que 5 o 7 no pueden aparecer
en su MCD. Como 2 aparece tres veces en la descomposici on can
onica de 168,
pero solo dos veces en la descomposici
on canonica de 180, 22 son un factor
en el MCD. De manera similar, 3 tambien es un factor com un, por lo que
(168, 180) = 22 3 = 12.
Observacion
(168, 180) = 22 3 = 22 31 50 70 = 2min{3,2} 3min{1,2} 5min{1,0} 7min{1,0}
Esta tecnica puede generalizarse como sigue. Sea a y b enteros positivos con
las siguientes descomposiciones canonicas:
a = pa1 1 pa2 2 pann y b = pb11 pb22 pbnn

donde ai , bi 0. (permitiendo que los exponentes sean cero, siempre se pue-
de asumir que ambas descomposiciones contienen la mismas bases primas pi .)
Entonces:
Observacion
min{a1 ,b1 } min{a2 ,b2 } min{an ,bn }
(a, b) = p1 p2 pn
Se dar a nuevamente un vistazo a la distribucion de los primos, que se estudio
en el captulo precedente.
Revisi
on de Distribuci
on de Primos
Por el algoritmo de la divisi on, cada entero es de la forma 4n + r, donde
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
umeros son 3, 7, 11, 15, 19, 23, 27, 31, 35, 39 y 43 de los cuales siete
(aproximadamente 64 %) son primos.
Que se podra conjeturar razonablemente de esta observacion? Si se supu-
siera que hay infinitos primos de la forma 4n + 3, se estara en lo correcto. Antes
de que se establezca la validez de esta suposicion, se necesita que se proponga
un fundamento en la forma del siguiente lema.
Lema 5. El producto de dos enteros cualesquiera de la forma 4n + 1 tambien

es de la misma forma.
Demostraci
on
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 = 4`m + ` + m es un entero
As, ab tambien es de la misma forma.

Este resultado puede extenderse a cualquier n umero finito de tales enteros
y la prueba se deja como ejercicio.
Ahora se est a listos para demostrar la siguiente conjetura. Observe que la
demostraci on es similar a la demostracion de Euclides que establecio la infinidad
de primos.
Teorema 39. Hay infinitos primos de la forma 4n + 3.
Demostraci
on(Por Inducci
on)
olo hay finitos primos de la forma 4n+3, es decir, p0 , p1 , p2 , pk

Suponga que s
onde p0 = 3. Considere el entero positivo N = 4p1 p2 pk + 3. Claramente,
d
N > pk y tambien es de la misma forma.
Caso 1 Si el propio N es primo, entonces N sera mayor que el primo pk , el

mas grande de la forma 4n + 3 que es una contradiccion.
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 sera 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 3|N , por lo que 3| (N 3) por el Teorema

42; esto es, 3|4p1 p2 pk . As, por el Lema 94, 3|2 o 3|pi , donde 1 i k,
pero los dos son imposibles.
Subcaso 2 Sea p = pi donde 1 i k. Entonces p|N y p|4p1 p2 pk , por lo

que p| (N 4p1 p2 pk ), es decir, p|3, que es de nuevo una contradiccion.
Ambos casos nos llevan a una contradiccion, por lo que la suposicion debe
ser falsa. As, hay un n
umero infinito de primos de la forma dada.
Ahora que se ha establecido la infinitud de los n umeros primos de la forma

4n + 3, se hace la siguiente pregunta logica: Hay infinitos 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 40. (Teorema de Dirichlet) Si a y b son primos relativos, entonces

la sucesi
on aritmetica a, a + b, a + 2b, a + 3b . . . contiene infinitos primos.
Por ejemplo, sea a = 3 y b = 4; entonces la sucesion 3, 4 1 + 3, 4 2 + 3,

4 3 + 3 . . . contiene un numero infinito 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 umero
infinito de primos de la forma 4n + 1.
Mas aun, hay otro ejemplo, escoja a = 7 y b = 100. Entonces a + nb =
100n+7, as la sucesi on 7, 107, 207, 307 . . . contiene un n
umero infinito de primos,
y terminan en 7.
Ejercicios 3.3
Encuentre la descomposici
on canonica de cada n
umero 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
umero compuesto.
13. 48
14. 90
15. 210
16. 1040
Encuentre el n
umero de ceros en el valor decimal de cada n
umero.
17. 100!
18. 376!
19. 609!
20. 1010!
Encuentre los valores de n para los que n! contiene el n
umero de ceros
dado.
21. 58
22. 93
Encuentre el MCD de cada par de n
umeros, 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 canonicas, encuentre el MCD de cada par de
n
umeros.
27. 48, 162
28. 72, 108,
29. 175, 192
30. 294, 450

Encuentre el n
umero de ceros en la representacion binaria de cada entero.
31. 28
32. 32
33. 208
34. 235
35. Usando los Ejercicios 31-34, prediga el n
umero de ceros en la representa-
ci
on binaria de el entero positivo n.
Encuentre la m
as alta potencia de cada uno de los n
umesor que divides a
1001!
36. 2
37. 3
38. 5
39. 7
Usando el Teorema 101, encuentre el n
umero de unos en la representacion
binaria de cada entero.
40. 234
41. 1001
42. 1976
43. 3076
44. Usando el Ejemplo 100, conjeture sobre el n

umero 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 p|a2 , entonces p|a.
46. Si p|an , entonces p|a.
47. El producto de de n enteros del forma 4k + 1 tambien 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 infinitos primos de la forma 2n + 3.
51. Hay infinitos primos de la forma 8n + 5.
52. Todo entero positivo n puede escribirse como n = 2e m, donde e 0 y m

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

divisible por 2 o 5.
54. Un entero positivo es un cuadrado si y solo si cada exponente en su des-

composici
on canonica es entero par.
F
Encuentre el n umero 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 solo si su factorizacion prima consiste
de distintos primos.
64. Cualquier entero n > 1 puede escribirse como el producto de un cuadrado
y un entero cuadrado-libre.
Objetivo
En el presente taller se define una funcion que permite descomponer, de
acuerdo al Teorema Fundamental de la Aritmetica, en producto de factores
primos.
lgunas funciones requeridas

La funcion que se utilizara en este taller se define como FACTOR(n) y que se
simplifica a la factorizaci
on del entero n en producto de factores primos.
Actividades
Mediante la simplificaci
on de la orden
FACTOR(2520)
se obtiene la factorizaci
on del n
umero 2520 como producto de factores primos,
de la misma forma en que se ilustro en el Ejemplo 98, la simplificacion de esta
orden en Derive devuelve como resultado
23 32 5 7
Mnimo Com
un M
ultiplo
El mnimo com un multiplo (mcm) de dos enteros positivos a y b esta estre-
chamente relacionado con su MCD. De hecho, se utiliza el mcm cada vez que
sumamos y restamos fracciones. Ahora se explorara dos metodos para encon-
trar el mcm de a y b. El primer metodo que se empleara es la descomposicion
canonica, y el segundo emplea su MCD. Se empezara con una definicion.
Mnimo Com
un Multiplo
El mnimo com un multiplo 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 ultiplos de 18 son
18, 36, 54, 72, 90, ... y de 24 son 24, 48, 72, 96, ... As, sus m
ultiplos 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 ultiplo de ambos a y b, el conjunto
de comunes m ultiplos es simpre diferente de vaco; as, por el principio del buen
ordenamiento, el conjunto tiene un mnimo elemento; por tanto, [a, b] siempre
existe.
Y la otra pregunta que surge es si el mcm es u nico? La respuesta es nueva-
mente afirmativa (Su demostraci on se propone como ejercicio)
A continuaci on se presentar a una definicion simbolica del mcm.
Una Definici
on Simb
olica del mcm
El mcm de dos n
umeros enteros positivos a y b es el entero positivo m tal
que:
a|m y b|m; y
si a|m0 y b|m0 , entonces m m0 , donde m0 es un entero positivo.
La descomposici on canonica 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
multiplo de 23 , 32 , 5 y 7; as su mcm es 23 32 5 7 = 2520.
Observacion
[90, 168] = 23 3 2 5 7
= 2max{1,3} 3max{2,1} 5max{1,0} 7max{0,1}
Esto nos lleva a la siguiente generalizacion.
1. Sean a, b enteros positivos con las siguientes descomposiciones canonicas
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 canonicas contienen

exactamente las mismos bases primas pi .) Luego:
ax{a1 ,b1 } m
m ax{a2 ,b2 } ax{an ,bn }
[a, b] = p1 p2 pm
n
El siguiente ejemplo ilustra la tecnica anterior.
Ejemplo 50. Encuentre el mcm de 1050 y 2574 usando la decomposici

on can
oni-
ca.
Soluci
on Tenga en cuenta que:
1050 = 2 3 52 7 y 2574 = 2 32 11 13
Por lo tanto
[1050, 2574] = 2max{1,1} 3max{1,2} 5max{2,0} 7max{1,0} 11max{1,0} 13max{0,1}

= 21 32 52 71 111 131 = 450,450
A continuaci
on, se desarrollar
a una estrecha relacion entre el MCD y el mcm
de dos enteros positivos. Pero primero, se estudiara un ejemplo y se dara una
observaci
on.
Observe que (18, 24) = 6 y [18, 24] = 72. Tambien, 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 aplicacion directa del Teorema 2 y de la descom-
posici
on canonica.
Teorema 41. Sean a y b enteros positivos. Entonces
ab
[a, b] = .
(a, b)
Demostraci on Sean a = pa1 1 pa2 2 pa3 3 pann y b = pb11 pb22 pb33 pbnn , las des-
composiciones can
onicas de a y b, respectivamente. Entonces
mn{a1 ,b1 } mn{a2 ,b2 } mn{a3 ,b3 } n{an ,bn }
(a, b) = p1 p2 p3 pm
n
y
ax{a1 ,b1 } m
m ax{a2 ,b2 } max{a3 ,b3 } ax{an ,bn }
[a, b] = p1 p2 p3 pm
n
Por tanto,

mn{a1 ,b1 } n{an ,bn } max{a1 ,b1 } ax{an ,bn }
(a, b) [a, b] = p1 pm
n p 1 pm
n
mn{a1 ,b1 }+m
ax{a1 ,b1 } n{an ,bn }+m
ax{an ,bn }
= p1 pm
n
= p1a1 +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 quera demostrar.
Este teorema proporciona una segunda forma de calcular [a, b], siempre que
se conozca (a, b), como se ilustra en el siguiente ejemplo.
Ejemplo 51. Use (252, 360), y calcular [252, 360].
on Tenga en cuenta que 252 = 22 32 7 y 360 = 23 32 5, as (252, 360) =
Soluci
2 2
2 3 = 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 10. 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 tambien ser extendida a
tres o mas enteros positivos. Por ejemplo 24 = 23 3, 28 = 22 7 y 36 = 22 32 .
Por tanto,
[24, 28, 36] = 2max{3,2,2} 3max{1,0,2} 7max{0,1,0}

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

para evaluar el mcm de tres o mas enteros positivos, como lo muestra el siguiente
resultado. La prueba se deja como ejercicio para el lector.
Teorema 42. Sean a1 , a2 , , an n ( 3) enteros positivos. Entonces
[a1 , a2 . an ] = [[a1 , a2 . an1 ] , an ]
El siguiente ejemplo ilustra este resultado.
Ejemplo 52. Use recursi

on para evaluar [24, 28, 36, 40].
Soluci
on
[24, 28, 36, 40] = [[24, 28, 36] , 40] = [[[24, 28] , 36] , 40]
= [504, 40] = [[168, 36] , 40]
= 2520
(Usted puede verificar el resultado usando la descomposici

on can
onica de 24,
28, 36 y 40).
Los siguientes dos resultados se siguen del Teorema 110.
Corolario 11. 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 recproco de este resultado cierto?.
Teorema 43. Si m1 |a y m2 |a entonces [m1 , m2 ] |a.

Demostraci on Llamando [m1 , m2 ] = t , se tiene m1 |t y m2 |t. Ademas, si
m1 |t0 y m2 |t0 , debe ocurrir que t t0 .
Se quiere probar que t|a.
Por el algoritmo de la divisi on 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 |a y m1 |t entonces por el Teorema 42
m1 |a tq, es decir m1 |r. De igual forma, como m2 |a y m2 |t entonces m2 |a tq,
es decir m2 |r.
Ya que por definici on y como se enuncio inicialmente, si existe otro com un
multiplo 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 t|a.
Corolario 12. Si m1 , m2 , , mk y a son enteros positivos tales que mi |a para
1 i k. Entonces [m1 , m2 , ..., mk ] |a.
Demostraci on(inducci on 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 su-
ponga que mi |a con 1 i t + 1. Entonces por hipotesis de induccion
as mt+1 |a; as, otra vez por la hipotesis, [[m1 , m2 , . . . , mt ], mt+1 ]|a;
[m1 , m2 , . . . , mt ]|a y adem
esto es, [m1 , m2 , . . . , mt+1 ]|a por el Teorema 110. Luego, por induccion, el re-
sultado 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
umero 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 a|b.
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. a|b
14. b|a
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
al es su conclusion si (a, b) = [a, b]? Por que?
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)
Objetivo
En el presente taller se define y se explorara una funcion que permita calcular
el mcm de dos o m as numeros.

La funci
on que se utilizar
a en este taller se define como LCM(m1,m2,...,mn)
y permite calcular el mcm de los n n umeros m1 , m2 , ..., mn .
Actividades
Mediante la opci
on LCM(m1,m2,...,mn) en Derive es posible calcular el
mcm de un conjunto de n
umeros, por ejemplo, la simplificacion de la expresion
LCM(12,18)
arroja como resultado el valor 36 que es le mcm de los dos n
umeros 12 y
18. La funci on permite calcular la el mcm de mas de dos n
umeros enteros, es
as como la simplificaci
on de
LCM(12,18,28)
arroja como resultado el valor 252 y la simplificacion de
LCM(12,36,60,108)
da como resultado 540, que son los mcm de los conjuntos de n
umeros res-
pectivamente.
Ecuaciones Lineales Diof
anticas
Frecuentemente se esta interesado en soluciones enteras de ecuaciones con

coeficientes enteros. Tales ecuaciones son llamadas ecuaciones diof anticas,
despues de Diofanto, quien escribio extensivamente sobre estas. Por ejemplo,
cuando se restringe la solucion a enteros, las ecuaciones 2x + 3y = 4, x2 + y 2 = 1
y x2 + y 2 = z 2 son ecuaciones diofanticas.
Geometricamente, tales soluciones de la ecuacion 2x + 3y = 4 son puntos
sobre la lnea 2x + 3y = 4 con coordenadas enteras. Puntos con coordenadas
enteras son llamados puntos l atices. Por ejemplo, (1, 2) es una de tales solu-
ciones; en efecto, esta tiene infinitas soluciones de la forma (2 + 3t, 2t), donde
t es un entero arbitrario.
La ecuaci on diofantica x2 + y 2 = 1 tiene exactamente cuatro soluciones:
(1, 0) y (0, 1), los puntos donde el crculo unitario x2 + y 2 = 1 intersecta a
los ejes.
Las soluciones de la ecuacion diofantica x2 + y 2 = z 2 representa la longitud
de los lados de un tri angulo rectangulo; (3, 4, 5) es una solucion. Esta ecuacion
tambien tiene un n umero infinito de soluciones.
Ecuaciones Lineales Diof

anticas
La clase mas simple de ecuaciones diofanticas es la clase de ecuaciones linea-
les diof
anticas (ELDs). Una ecuaci on lneal diof antica en dos variables x
y y es una ecuaci on de la forma ax + by = c. La solucion de tal ELD envuelve
sistematicamente el algoritmo de euclides, como se vera a continuacion. Primero
se estudiaran ELD en dos variables. Las ELDs se conocan en China antigua e
India y sus usos se daban en astronoma y cribas.
El primer problema es debido al matematico indio Mahavira (a

no 850 a.c.).
Ejercicio 1. Veintitres viajeros cansados entraron a un bello bosque. All en-

contraron 63 montones de pl atanos y siete platanos sueltos y los dividieron en
igual n
umero entre ellos.
Encuentre el n umero de platanos que haba en cada mont on.
Solucion Denote por x el numero de platanos en cada mont on y y el n
umero
de pl
atanos recibido por cada viajero. Entonces se obtiene la siguiente ELD
63x + 7 = 23y
Ya que ambos, x y y son enteros positivos, el interes recae solamente en

encontrar las soluciones enteras positivas de la ELD. Resolviendo la anterior
ecuaci
on para y, se tiene
63x + 7
y=
23
Cuando x > 0, claramente y > 0. Entonces, se ensaya con los valores 1, 2,
3 y as sucesivamente para x, hasta que el valor de y sea un entero.
x 1 2 3 4 5 28
y 70/23 133/23 196/23 252/23 14 77
De la Tabla se sigue que para x = 5, y = 14 es una soluci

on. Se puede verificar
que x = 28, y = 77 es otra solucion. Efectivamente, se puede mostrar que la
ELD tiene infinitas soluciones.
Otro antiguo enigma, llamado el problema de las cien aves, se encuentra

en un Cl
asico Matem atico, el libro del siglo sexto de la matematica china llamado
el Chang Chiu-chien.
Ejercicio 2. Si un gallo vale cinco monedas, una gallina tres monedas, y tres
polluelos juntos una moneda, cu antos gallos, gallinas, y polluelos, que sumen
100, pueden ser comprados con 100 monedas?
Solucion Denote con x el numero de gallos, con y el numeros de gallinas y
con z el n
umero de polluelos. Claramente x, y y z son enteros positivos, cero en
su defecto. Entonces los datos que se suministran se condensan en el siguiente
par de ELDs
x+y+z = 100
z
5x + 3y + = 100
3
on (z = 100 x y) y sustityendo en la
Despejando z de la primera ecuaci
segunda se tiene
1
5x + 3y + (100 x y) = 100
3
Esto es,
7x + 4y = 100
100 7x 7
y = = 25 x
4 4
As, para que y sea un entero, 7x/4 debe ser entero; pero 4 - 7, x debe ser
un m
ultiplo de 4: x = 4t, donde t es entero. Entonces,
7 7
y = 25 x = 25 (4t) = 25 7t
4 4
y
z = 100 x y = 100 4t (25 t) = 75 + 3t

on del rompecabezas es de la forma x = 4t, y = 25 7t y
As, toda soluci
z = 75 + 3t, donde t es un entero arbitrario.
Ahora, para encontrar la soluci on del rompecabezas, se procede de la siguiente
forma: Ya que x 0, t 0. Adem as ya que y 0, 25 7t 0; esto es t 25/7,
as t 3. Y ya que z 0, 75 + 3t 0; esto es t 25; pero esto no da
informaci on adicional, as que se concluye que 0 t 3.
Por tanto, la criba tiene cuatro posibles soluciones, estas corresponden a t =
0, 1, 2 y 3 : x = 0, y = 25, z = 75; x = 4, y = 18, z = 78; x = 8, y = 11, z = 81; y
x = 12, y = 4, z = 84.
Teorema 44. La ELD ax + by = c tiene soluci on si y solo si d|c, donde

d = (a, b). Si x0 , y0 es una soluci
on particular de la ELD, entonces todas sus
soluciones estan dadas por
b a
x = x0 + t y y = y0 t
d d
donde t es un entero arbitrario.
Demostraci
on La prueba consiste en cuatro partes:
Si la ELD tiene solucion, entonces d|c.

Si d|c entonces la ELD tiene solucion.
x = x0 + db t y y = y0 ad t es una solucion de la ELD.
Toda soluci
on de la ELD es de esta forma.
Se probar
a cada parte una a una en este orden.
Si la ELD tiene soluci

on, entonces d|c:
Suponga x = y y = es una solucion. Entonces
a + b = c
Ya que d = (a, b), d|a y d|b, as d|a + b esto es d|c.
Para probar que si d|c entonces la ELD tiene soluci

on:
Suponga que d|c. Entonces c = de para algun entero e. Ya que d = (a, b)

existen enteros r y s tales que ra + sb = d. Multiplicando ambos lados de la
ecuaci
on por e se obtiene
rae + sbe = de
Esto es,
a(re) + b(se) = c
As, x0 = re y y0 = se es una solucion de la ELD; esto significa que tiene
soluci
on.
Para mostrar que x = x0 + db t y y = y0 ad t es una soluci
on de la ELD:
Se tiene que

b a
ax + by = a x0 + t + b y0 t
d d
abt abt
= (ax0 + by0 ) +
d d
= ax0 + by0
= c
De esta forma x = x0 + db t y y = y0 ad t es una solucion para cualquier

entero t.
Para mostrar que toda solucion x0 , y 0 es de la misma forma:
Ya que x0 , y0 y x0 , y 0 son soluciones de la ELD, se tiene que:
ax0 + by0 = c y ax0 + by 0 = c

entonces
ax0 + by0 = ax0 + by 0

Por tanto,
a(x0 x0 ) = b(y0 y 0 ) (3.8)

dividiendo ambos lados de la ecuacion por d :
a 0 b
(x x0 ) = (y0 y 0 )
d d
Por el Teorema 71, (a/d, b/d) = 1, as por el Corolario 80, db |(x0 x0 ) y por
tanto x0 x0 = db t para alg
un entero t.
Esto es,
b
x0 = x0 + t
d
Ahora sustituyendo x0 x0 en la ecuacion (3.8), se tiene

b
a t = b(y0 y 0 )
d
a
t = y0 y 0
d
a
y 0 = y0 t
d
As toda soluci
on de la ELD es de la misma forma.
Observacion
Se sigue del teorema que si la ELD ax + by = c tiene solucion, entonces tiene
infinitas soluciones. Estas soluciones estan dadas por la solucion general
b a
x = x0 + t y y = y0 t
d d
siendo t un entero arbitrario. Dando a t diferentes valores, es posible encon-
trar cualquier numero de soluciones particulares.
Este teorema tiene un corolario interesante y u

til.
Corolario 13. Si (a, b) = 1, entonces la ELD ax + by = c tiene soluci on y la

soluci
on general esta dada por x = x0 + bt y y = y0 at, donde x0 , y0 es una
soluci
on particular.
Ejemplo 53. Determine si las ELDs 12x+18y = 30, 2x+3y = 4 y 6x+8y = 25

tienen soluci
on.
Solucion
(12, 18) = 6 y 6|30, la ELD 12x + 18y = 30 tiene soluci

on.
(2, 3) = 1, as por el Corolario 119, la ELD tiene soluci

on.
(6, 8) = 2 y 2 - 25, as que la ELD 6x + 8y = 25 no tiene soluci

on.
Ejemplo 54. Encuentre la soluci on general del problema de Mahavira planteado

en el Ejemplo 116.
Soluci
on
La ELD en el problema de Mahavira es 63x 23y = 7. Ya que (63, 23) = 1,
la ELD tiene soluci
on.
Para encontrar una solucion particular x0 , y0 primero se expresa el MCD 1
como combinacion lineal de 63 y 23, aplicando primero el algoritmo de Euclides:
63 = 2 23 + 17
23 = 1 17 + 6
17 = 26+5
6 = 15+1
5 = 51+0
Ahora usando las ecuaciones en orden inverso:

1 = 615
= 6 1(17 2 6)
= 3 6 1 17
= 3(23 1 17) 1 17
= 3 23 4 17
= 3 23 4(63 2 23)
= (4)63 + 11 23
on por 7 :
Multiplicando ambos lados de la ecuaci
7 = (7)(4)63 + (7)11 23
= 63 28 23 77
luego x0 = 28, y0 = 77 es una solucion particular de la ELD.

Por tanto, por el Corolario 119, la solucion general est a dada por x =
x0 + bt = 28 23t y y = y0 at = 77 63t, donde t es un entero arbitrario.
M
etodo de Euler para la soluci
on de ELDs
Euler invento un metodo para solucionar ELDs que emplea el algoritmo de
la divisi
on, pero no el algoritmo euclideo.
Ejemplo 55. Resuelva la ELD 1076x + 2076y = 3076 por el metodo de Euler.
Solucion
Ya que (1076, 2076) = 4 y 4|3076, la ELD tiene infinitas soluciones. El
metodo de Euler implica la soluci
on de la ELD para la variable con m
as peque
no
coeficiente, x en este caso:
2076y + 3076
x = (3.9)
1076
1000y + 924
= y + 2 + por el algoritmo de la divisi
on (3.10)
1076
Sea u = 1000y+924
1076 . (Note que u es un entero. Por que?) De esta expresi
on
se obtiene la ELD
1076u + 1000y = 924

Esta ELD tiene coeficientes m
as peque
nos que la original.Resolviendo para
y:
1076u + 924
y = (3.11)
1000
76u + 924
= u + , por el algoritmo de la divisi
on (3.12)
1000
76u+924
Sea v = 1000 , de donde
76u + 1000v = 924

resolviendo para u :
1000v + 924
u = (3.13)
76
12v + 12
= 13v + 12 + , por el algoritmo de la divisi
on (3.14)
76
12v+12
Sea w = 76 , as
12v + 76w = 12
resolviendo para v :
76w + 12 w
v= = 6w + 1
12 3
Ya que v es un entero, w/3 debe ser un entero tambien, as que w/3 = t.
Para obtener una solucion particular, se hace t = 0; entonces w = 0 y
trabajando con las ecuaciones (3.9), (3.11) y (3.13) en el orden inverso:
w 0
v = 6w + 1 = 6(0) + 1 = 1
3 3
1000v + 924 1000(1) + 924
u = = = 1
76 76
1076u + 924 1076(1) + 924
y = = =2
1000 1000
2076y + 3076 2076(2) + 3076
x = = = 1
1076 1076
Puede verificarse que x0 = 1, y0 = 2 es en efecto una soluci
on de la ELD.
Para encontrar la soluci on general, con t como entero arbitrario, usando
sucesivas sustituciones, nuevamente en orden inverso:
w = 3t
w
v = 6w + 1 = 19t + 1
3
u = 13v + 12 + w = 250t 1
y = u + v = 269t + 2
x = y + 2 + u = 519t 1
on general es x = 519t 1, y = 269t + 2.
As la soluci
Teorema 45. La ELD a1 x1 +a2 x2 + +an xn = c tiene soluci on si y solamente

si (a1 , a2 , ..., an )|c. Cuando esta es soluble, tiene infinitas soluciones.
Ejemplo 56. Determine si las ELD 6x + 8y + 12z = 10 y 6x + 12y + 15z = 10

tienen soluci
on.
Solucion.
Ya que (6, 8, 12) = 2 y 2|10, la ELD 6x + 8y + 12z = 10 tiene soluci

on.
(6, 12, 15) = 3, pero 3 - 10 luego 6x + 12y + 15z = 10 no tiene soluciones
enteras.
Teorema 46. La ELD a1 x1 +a2 x2 + +an xn = c tiene soluci on si y solamente

si (a1 , a2 , ..., an )|c. Cuando esta es soluble, tiene infinitas soluciones.
Ejemplo 57. Determine si las ELD 6x + 8y + 12z = 10 y 6x + 12y + 15z = 10

tienen soluci
on.
Solucion.
Ya que (6, 8, 12) = 2 y 2|10, la ELD 6x + 8y + 12z = 10 tiene soluci

on.
(6, 12, 15) = 3, pero 3 - 10 luego 6x + 12y + 15z = 10 no tiene soluciones
enteras.
Obviamente, este metodo de reducir el n

umero de variables puede ser am-
pliado a ELDs con cualquier n
umero finito de variables.
Ejercicios 3.5
Usando el Teorema 118 determine si cada una de las ELDs tiene solucion.
1. 12x + 16y = 18
2. 14x + 16y = 15
3. 12x + 13y = 14
4. 28x + 91y = 119
5. 1776x + 1976y = 4152
6. 1076x + 2076y = 1155
Encuentre la soluci
on general de cada ELD usando el Teorema 118.
7. 2x + 3y = 4
8. 12x + 16y = 20
9. 12x + 13y = 14
10. 15x + 21y = 39
11. 28x + 91y = 119

12. 1776x + 1976y = 4152
Determine si cada ELD tiene solucion.
13. 2x + 3y + 4z = 5
14. 8x + 10y + 16z = 25
15. 12x + 30y 42z = 66
16. 76w + 176x + 276y + 376z = 476
Resuleva las siguientes ELDs.
17. x + 2y + 3z = 6
18. 2x 3y + 4z = 5
19. 6x + 12y 15z = 33
20. 12x + 30y 42z = 66

Captulo 4
Congruencias
Congruencias Modulo m
Sea m un entero positivo. Entonces un entero a es congruente con un
entero b modulo m si m| (a b) . En smbolos, escribimos a b (mod m); m
es el modulo de la relaci
on de congruencia.
135

Apendice A
Una Introduccion al paquete
DERIVE
ES DERIVE?
QUE
Derive es un programa de c alculo simbolico, o en otras palabras un len-
guaje de programaci on de alto nivel, ofreciendo al usuario unas caractersticas
particulares 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 tambien se puede ingresar este para efectuar las debidas
operaciones matem aticas.
2. Permite la manipulacion de variables sin asignacion, lo que indica que

podemos emplear expresiones no numericas, obteniendo as expresiones de
tipo algebraico donde los datos ingresados no han de ser necesariamente
valores numericos.
3. Soportan estructuras de datos de tipo vectorial y matricial.
4. Admiten realizar programaciones, aunque DERIVE utiliza una programa-

ci
on funcional en algunos casos muy poco operativa.
RECUENTO DE LOS PRINCIPALES COMAN-

DOS
A continuaci
on, vamos a describir brevemente los comandos funcionales del
software Derive 6.0, as como los principales conos que se emplearan con mayor
137
frecuencia a lo largo del trabajo aplicativo. Al ingresar por primera vez a Derive,
podremos observar la pantalla:
En ella podemos identificar los comandos que abarcan desde la parte superior
hasta la inferior, los cuales, describiremos a continuacion:
Barra de Ttulos
En esta aparece el nombre del programa, as como el nombre que le hemos

asignado a nuestro archivo en Derive, para este caso Algebra 1 que es otorgado
automaticamente por el software. Adicionalmente los botones de minimizar,
maximizar y cerrar la ventana.
Barra de Men
u
En esta aparecen las funciones basicas de Derive, clasificadas en forma de
men u. Los men us principales son; Archivo, edicion, editar (autor), simplificar,
resolver, c
alculo, definir, opciones, ventana y ayuda. Para acceder a ellos po-
demos hacerlo de dos maneras: La primera, dando clic con el mouse sobre el
comando, desplegando as el grupo de subcomandos que lo contiene, la segun-
da,, aplicar la secuencia ALT+(Letra Subrayada), por ejemplo para desplegar
el comando Edici on, pulsara la secuencia ALT+E.
Barra de herramientas o de
ordenes
En la barra de herramientas se encuentran los iconos que representan los
comandos utilizados con mayor frecuencia, tales como; Nuevo, guardar, simpli-
ficar, sumatoria, lmite, etc.
Ventana de
algebra
Aqu aparecen las operaciones que queremos efectuar luego de ser ingresa-
das en la barra de introduccion de expresiones, estas aparecen antecedidas por
etiquetas como: #1, #2, etc.
Barra de estado
En la barra de estado recibimos mensajes del programa con relacion a las
operaciones que estamos ejecutando.
Barra de introducci
on de expresiones
Llamada tambien lnea de edicion, nos permite introducir las expresiones
matem
aticas que despues seran visualizadas en la ventana de algebra.
Barra de de letras griegas y smbolos matem
aticos
En ella tenemos disponibles un conjunto de letras y smbolos de los cuales
podemos disponer a la hora de efectuar los calculos en la lnea de edicion con
solo dar clic con el mouse sobre cada boton.
APLICACIONES CON DERIVE

Introducir expresi
on
Luego de una breve introduccion a nuestro software derive, procederemos
con la aplicabilidad del mismo. Lo primero que vamos a hacer es incorporar una
expresion matem atica, sea la ecuacion x2 4x + 16 = 0, dicha expresion. Para
ingresarla, iremos a la barra de men us, tomamos la opcion introducir y damos
clic en donde aparece Expresi on (o bien se puede solo presionar F2). Luego en
la barra de introduccion de expresiones el cursor empezara a titilar, esperando
a que se introduzca la ecuaci on.
Tambien podemos simplemente dirigirnos directamente a la barra de intro-
duccion de expresiones e ingresar la ecuacion. Para elevar la x al cuadrado,
como opci on se tiene en la barra de smbolos matematicos la tecla , tan solo
la pulsamos y enseguida tomara el valor anterior como un termino elevado a
la potencia que el usuario defina. A continuacion para verla en la ventana de
algebra, pulsamos Enter en donde nuestra ecuacion aparecera precedida de la
etiqueta #1, as
Simplificar Expresiones
Normal
Para simplificar normal, se hace clic sobre =, o simplemente se pulsa Ctrl+B.
Sirve para simplificar numerica y algebraicamente expresiones matematicas. Es-
ta orden simplifica la expresi
on o la subexpresion resaltada y muestra el resul-

tado en la Ventana de Algebra. El resultado se resalta y recibe una etiqueta (un
numero con #). Si se quiere ver tanto la expresion de entrada como el resultado
una vez simplificado en una sola lnea, introduzca la expresion seguida de un
signo igual (=) y haga clic sobre S. Derive muestra una ecuacion cuyo segundo
termino es el resultado de simplificar el primer termino.
El segundo objetivo de simplificar normal es transformar las expresiones
en otras que sean lo m as peque
nas posibles, ya que as ocupan menos espacio
para ser almacenadas. Seg un como sea la expresion, puede que tarde mucho en
ser simplificada. Despues de algunos segundos, el dialogo Progreso del Calculo
aparecera indicando:
1. La expresi
on que est
a siendo simplificada
2. La cantidad de tiempo utlizada en simplificar la expresion

3. El porcentaje de la memoria que esta siendo usada para simplificar la
expresi
on.
Expandir
El objetivo de expandir una expresion con respecto a unas variables es maxi-
mizar el numero de terminos que son algebraicamente independientes respecto
de esas variables. Use simplificar expandir, pulsando Ctrl+E o use la funcion
EXPAND para expandir una expresion o subexpresion con respecto de algunas
(o todas) de sus variables. Si una expresion polinomica se expande, se obtiene
justamente la expansion de ese polinomio. Si se expande una expresion racio-
nal, se obtiene su descomposicion en fracciones simples. Notemos que simpli-
ficar expandir y la funcion EXPAND no controlan expansiones exponenciales,
logartmicas ni trigonometricas.
Simplificar expandir expande la expresion resaltada o solo la subexpresion
resaltada. Es este u ltimo caso, el resultado sera una copia de la expresion en
la que se ha expandido la subexpresion resaltada. Una expresion que contiene
m as de una variable puede ser expandida con respecto a algunas o a todas sus
variables. Simplificar expandir muestra una lista de las variables. Pulse Enter
si la expansion quiere hacerla con respecto a todas las variables en el orden
mostrado. De otro modo, entre la primera variable, la secundaria, etc.
La funci
on EXPAND puede usarse para introducir directamente la expresion
que se quiera expandir as: EXPAND(u, x, y,...) expande la expresion u(x,
y,...) con respecto a las variables x, y,... Si no se especifican las variables,
la expansi
on se hace con respecto a todas las variables de la expresion. Tambien
se usa Simplificar expandir y la funcion EXPAND para descomponer en fraccio-
nes simples una expresion racional (o una subexpresion) con respecto a alguna
o a todas las variables de su denominador.
Factorizar
Utilice simplificar factorizar, pulsando Ctrl+F o use la funcion FACTOR
para factorizar una expresion o subexpresion con respecto a alguna o a todas sus
variables. Simplificar factorizar, factoriza la expresion o subexpresion resaltada,
de modo que si se resalta una subexpresion, el resultado es una copia de la
expresi
on completa en la que solo la subexpresion se ha factorizado.
Una expresion de varias variables puede ser factorizada con respecto a al-
gunas o a todas sus variables. Simplificar factorizar le permite seleccionar las
variables para la factorizacion. Haga clic sobre la que quiera que sea la primera,
la segunda, etc. Las subexpresiones que no contienen las variables de factoriza-
ci
on se simplifican sin ser transformadas innecesariamente. En otras palabras,
las subexpresiones que solo contienen variables que no son las de factorizacion
no son expandidas ni factorizadas innecesariamente. Las potencias de exponen-
tes semejantes se re unen y se simplifican. La funcion FACTOR puede usarse
desde la lnea de entrada como: FACTOR(u, amount, x, y,...) factoriza la
expresi
on 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 simplificar aproximar, pulsando Ctrl+G o usando la funcion AP-

PROX que sirve para aproximar los n umeros irracionales en tales expresiones
sin cambiar la precisi on. Resolver expresiones usando aproximar es equivalen-
te a reducir expresiones con simplificar normal pero cambiando temporalmente
la precision aproximada y la notacion cientfica. Simplificar aproximar permite
adem as introducir el n
umero de dgitos de precision que se usaran en los calculos
y que se mostrar an en el resultado.
La funcion APPROX puede usarse de forma equivalente en la lnea de entra-
da as: APPROX (u, n) aproxima la expresion u usando n dgitos de precision. Si
se omite n, se toma el n umero seleccionado actualmente por defecto en Derive.
Senalemos que tanto simplificar expandir, factorizar, aproximar como simplifi-
car normal transforman una expresion en otra en forma suficientemente simple.
Sin embargo, simplificar normal es casi siempre mucho mas rapida y usualmente
proporciona un tipo de expresi on mas parecida a la expresion original.
Introducir vector
Para introducir un vector, realizaremos el proceso que empleamos al inser-
tar una expresi on, es decir, nos dirigimos al men
u introducir solo que esta vez
damos clic en donde aparece vector (otra manera es oprimir en la barra de orde-
nes la opci on introducir vector). A continuacion, nos mostrara una ventana en
donde solicitar a el n
umero de elementos de dicho vector, para nuestro ejemplo
elegiremos 4 y damos S a la ventana. Nuevamente, aparecera una ventana en
donde la parte superior describir a el numero de elementos que hemos seleccio-
nado; all ingresaremos los valores de nuestro vector por ejemplo ingresemos los
n
umeros impares del 1 al 7 al dar S, en la ventana de algebra se obtendra [1,
3, 5, 7].
Introducir Matriz
De igual forma que para montar un vector, Derive ofrece la opcion en el
men u introducir para insertar una matriz (o en la barra de ordenes oprimir
introducir matriz). Al pulsar en ella aparecera el cuadro de dialogo similar a
introducir vector, solo que esta vez solicitara que demos las dimensiones (filas
y columnas), ingresemos las opciones de 4 filas y 4 columnas, luego asociemos
a cada celda un n umero, tomemos como ejemplo los n umeros {2, 3, 4, 5} en
la primera fila, {3, 4, 5, 6} en la segunda fila, {4, 5, 6, 7} en la tercera fila, y
{5, 6, 7, 8} en la cuarta fila luego demos S para que genere nuestra matriz:

2 3 4 5
3 4 5 6

4 5 6 7
5 6 7 8
Ahora, de forma manual pulsamos F2 y en la barra de introduccion de expre-
si
ones 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.

Koshy PDF

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

Koshy PDF

Uploaded by

Copyright:

Available Formats

Una Introduccion a la Teora de Numeros

El texto que a continuacio n se presenta y que aborda el tema de

Manuel Alejandro Moreno Are valo

UNIVERSIDAD DISTRITAL FRANCISCO JOSE DE CALDAS

3. M aximo Com un Divisor 89

This is the preface. It is an unnumbered chapter. The markboth TeX field at

Luis Alejandro Masmela Caita

El texto que a continuaci on se presenta y que aborda el tema de la Teora de

Fig.1: Recta Numerica

A los enteros 1, 2, 3, ... se les denomina enteros positivos. Ellos tambien

Definicion 1. (Ley de la Tricotoma) Dados dos n

Geometricamente, esto significa que si a y b son cualesquiera dos puntos en

Teorema 1. Denote mn{x, y} el mnimo de los enteros x y y, y max{x, y} su

Caso 1. Sea x y. Entonces mn{x, y} = x y max{x, y} = y, as, mn{x, y} +

Caso 2. Sea x > y. Entonces mn{x, y} = y y max{x, y} = x, as, mn{x, y} +

Funciones Piso y Techo

Fig.2: Funciones Piso y Techo

Ejemplo 1. (La funci on de la oficina de correos) En 2006 la tasa de

Algunas propiedades de la funcion piso y techo son listadas en el siguiente

Teorema 2. Sea x cualquier n

Todo numero real x puede ser escrito como x = k + x0 , donde k = bxc y

que era lo que se quera demostrar.

1. El matematico ingles Augusto De Morgan, que vivio en el siglo XIX, una

3. g(x) = bxc + bxc.

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

23. d(0, x) = |x|.

26. d(x, y) d(x.z) + d(z, y).

2. Similar a la funcion anterior, se desea crear, con base en la funcion Piso

As, redondeado a tres cifras decimales es 3,142 y se puede obtener

Por ejemplo, suponga que se divide el intervalo unitario [0, 1) en 50 subin-

4. Mediante la siguiente funcion se ilustra el Ejemplo 1 pagina 5, ((La funcion

Por ejemplo, simplificando post(7.8) se encuentra el franqueo para una

Por ejemplo ABS(), MIN(2,4,-2) y MAX(2,4,-2)se simplifican a , 2 y

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

Sumatorias m ultiples tambien son frecuentes en matematicas. EllasP

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

Nuevamente, i es una variable dummy.

ALGUNAS FUNCIONES REQUERIDAS

[4, 9, 16, 25]

VECTOR(k^2, k, [3, 5, 8])

que se simplifica al vector

[9, 25, 64] .

La funcion DIVISORS(n) se simplifica al vector ordenado de todos los divi-

esta se ingresa a DERIVE a traves del siguiente codigo

que se simplifica efectivamente a 76. Cabe observar que si se cambia la ins-

se digita y simplifica la siguiente expresion en DERIVE

se simplifica en DERIVE la siguiente expresion

y simplificando obtenemos la solucion.

Sea S un conjunto de enteros no negativos.

Suponga que S 6= N. Definiendo el conjunto

Ya que S 0 6= , por el principio de buen orden, S 0 tiene un elemento mnimo l0 .

Sea P (n) el enunciado

Luego si P (k) es verdadero, entonces P (k + 1) tambien lo es. As, por

respectivamente, al referirse a una expresi

Primero, se estudiara las primeras cuatro sumas, y luego se identifica un

Se puede observar claramente el patron, entonces se puede establecer que la

En consecuencia, si la formula es valida cuando n = k, es tambien valida

f (0) = 1 condicion inicial

Suponga que se quiere calcular f (3) recursivamente. Se debe continuar aplicando

f (3) = 3 f (2) (1.4)

Ya que f (0) = 1, 1 se sustituye por f (0) en la ecuacion (1.7) y f (1) se calcula:

Claramente, h(1) = 0, entonces sea n 2. Sea x uno de los invitados. El

Si las clavijas se etiquetan de izquierda a derecha con las letras X, Y y

Por ejemplo, t4 = (4 5) 2 = 10 y t36 = (36 37)2 = 666.