Libro Masmela

Una Introduccin a la Teora de Nmeros
Algunas aplicaciones con DERIVE

Luis Alejandro Msmela Caita
Junio de 2010
ii
ndice general
Introduccin VII
I Primera Parte 1
1. Fundamentos 3
1.1. Propiedades Fundamentales . . . . . . . . . . . . . . . . . . . . . 3
1.2. La Notacin Sumatoria y Productoria . . . . . . . . . . . . . . . 11
1.3. Induccin Matemtica . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4. Relaciones de Recurrencia . . . . . . . . . . . . . . . . . . . . . . 26
1.5. El Teorema Binomial . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.6. Nmeros Poligonales . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.7. Nmeros Piramidales . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.8. Nmeros de Cataln . . . . . . . . . . . . . . . . . . . . . . . . . 53
2. Divisibilidad 59
2.1. El Algoritmo de la Divisin . . . . . . . . . . . . . . . . . . . . . 59
2.2. Conguraciones Numricas . . . . . . . . . . . . . . . . . . . . . 69
2.3. Nmeros Primos y Compuestos . . . . . . . . . . . . . . . . . . . 74
2.4. Nmeros de Fermat . . . . . . . . . . . . . . . . . . . . . . . . . 85
3. Mximo Comn Divisor 91
3.1. Mximo Comn Divisor . . . . . . . . . . . . . . . . . . . . . . . 91
3.2. El Algoritmo de Euclides . . . . . . . . . . . . . . . . . . . . . . 104
3.3. El Teorema Fundamental de la Aritmtica . . . . . . . . . . . . . 108
3.4. Mnimo Comn Mltiplo . . . . . . . . . . . . . . . . . . . . . . . 120
3.5. Ecuaciones Lineales Diofnticas . . . . . . . . . . . . . . . . . . . 127
3.5.1. Mtodo de Euler para la solucin de ELDs . . . . . . . . 132
A. Una Introduccin al paquete DERIVE 137
A.1. QU ES DERIVE? . . . . . . . . . . . . . . . . . . . . . . . . . 137
A.2. RECUENTO DE LOS PRINCIPALES COMANDOS . . . . . . . 138
A.2.1. Barra de Ttulos . . . . . . . . . . . . . . . . . . . . . . . 138
A.2.2. Barra de Men . . . . . . . . . . . . . . . . . . . . . . . . 138
iii
iv NDICE GENERAL
A.2.3. Barra de herramientas o de rdenes . . . . . . . . . . . . 139
A.2.4. Ventana de lgebra . . . . . . . . . . . . . . . . . . . . . . 139
A.2.5. Barra de estado . . . . . . . . . . . . . . . . . . . . . . . 139
A.2.6. Barra de introduccin de expresiones . . . . . . . . . . . . 139
A.2.7. Barra de de letras griegas y smbolos matemticos . . . . 139
A.3. APLICACIONES CON DERIVE . . . . . . . . . . . . . . . . . . 139
A.3.1. Introducir expresin . . . . . . . . . . . . . . . . . . . . . 139
A.3.2. Simplicar Expresiones . . . . . . . . . . . . . . . . . . . 140
A.3.3. Introducir vector . . . . . . . . . . . . . . . . . . . . . . . 142
A.3.4. Introducir Matriz . . . . . . . . . . . . . . . . . . . . . . . 142
Prefacio
This is the preface. It is an unnumbered chapter. The markboth TeX eld
at the beginning of this paragraph sets the correct page heading for the Preface
portion of the document. The preface does not appear in the table of contents.
v
vi PREFACE
Introduccin
El texto que a continuacin se presenta y que aborda el tema de la Teora de
Nmeros, es una traduccin 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 Nmeros con estudiantes de primer semestre del
Proyecto de Matemticas en la Universidad Distrital Francisco Jos de Cal-
das. Se busca que el estudiante, a travs de este curso, se familiarice de manera
gradual con diferentes procesos rigurosos de las matemticas, en especial con los
distintos procesos de demostracin, formalizando conceptos que fueron trabaja-
dos operativamente en sus cursos anteriores de matemticas en la secundaria.
Se ha pretendido desarrollar este curso a la par con laboratorios en sala de cm-
puto, utilizando el software matemtico DERIVE, debido a la simplicidad en su
manejo y a que se convierte en una herramienta que le permite al estudiante,
explorar muchas de las conjeturas que l mismo establece a medida que avanza
en el estudio de los distintos temas.
vii
viii INTRODUCCIN
Parte I
Primera Parte
1
Captulo 1
Fundamentos
1.1. Propiedades Fundamentales
La teora de nmeros concierne a una teora que se desarrolla solamente
sobre el conjunto de los nmeros enteros. Es as que de ahora en adelante se
denotar al conjunto de nmeros enteros a travs del smbolo Z :
1
Z = . . . 2, 1, 0, 1, 2, . . .
A lo largo de este texto se escribir "r o"para denotar que "el elemento r
pertenece al conjunto o"; de manera similar "r , o"denotar que "el elemento
r no pertenece al conjunto o."Por ejemplo si hacemos referencia al conjunto de
inters Z, se puede armar que 4 Z, mientras que , Z.
Los nmeros enteros pueden representarse geomtricamente sobre la deno-
minada recta numrica. Ver Figura 1.1.
Figura 1.1: Recta Numrica
A los enteros 1, 2, 3, ...se les denomina enteros positivos. Ellos tambin
reciben el nombre de nmeros naturales o nmeros para contar. Se en-
cuentran a la derecha del origen (coordenada cero) en la recta nmerica. Se
denotar 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 nmeros.
3
4 CAPTULO 1. FUNDAMENTOS
El conjunto de los enteros positivos, junto con el 0, conforman el conjunto
denominado nmeros enteros \ :
\ = 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 nmeros enteros positivos para comparar los nmeros
enteros en general, como en la siguiente denicin.
La Relacin de Orden
Sean a y / dos enteros cualesquiera. Entonces a es menor que /, que se
denota por a < / si existe un entero positivo r tal que a+r = /, esto es, si / a
es un entero positivo.
Cuando a < /, se puede armar tambin que / es mayor que a, que se
escribe / a.
2
Si a no es menor que /, se escribir a /; similarmente, a / denotar que
a no es ms grande que /.
Se sigue de esta denicin que un entero a es positivo si y solo si a 0.
Denicin 1 (Ley de la Tricotoma) Dados dos nmeros enteros a y /, hay
tres posibilidades: a < /, o a = /, o a /.
Geomtricamente, esto signica que si a y / son cualesquiera dos puntos en
la recta numrica, entonces es cierta solo una de las siguientes tres armaciones,
el punto a esta a la izquierda del punto /, el punto a coincide con el punto /, o
el punto a esta a la derecha del punto /.
Puede combinarse el menor que y la relacin de igualdad para denir la
relacin menor que o igual. Si a < / o a = /, se escribir a _ /.
3
De manera
similar, a _ / signica que a / o a = /. Se puede notar que a / si y solo si
a _ /.
Teorema 2 Denote mnr, j el mnimo de los enteros r y j, y maxr, j su
mximo. Entonces mnr, j + maxr, j = r +j.
Demostracin. (por casos)
Caso 1. Sea r _ j. Entonces mnr, j = r y maxr, j = j, as, mnr, j+
maxr, j = r +j.
Caso 2. Sea r j. Entonces mnr, j = j y maxr, j = r, as, mnr, j+
maxr, j = j +r = r +j.
2
Los smbolos < y son introducidos en 1631 por el matemtico ingls Thomas Harriet
(15601621).
3
Los smbolos y fueron introducidos en 1734 por el matemtico francs P. Bougher.
1.1. PROPIEDADES FUNDAMENTALES 5
Valor Absoluto
El valor absoluto de un nmero real r, denotado por [r[ , se dene por
[r[ =
_
r si r _ 0
r en otros casos
Por ejemplo, [5[ = 5, [[ = (), [0[ = 0.
Geomtricamente el valor absoluto de un nmero indica la distancia de ste
al origen de la recta numrica.
Aunque el inters recae slo en las propiedades de nmeros enteros, a menudo
se tratar con nmeros racionales y reales. Las funciones piso y techo son dos
tales funciones terico-nmericas. Ellas tienen usos importantes en matemticas
discretas y ciencias de la computacin.
Funciones Piso y Techo
El piso de un nmero real r, denotado por r| es el ms grande entero _ r.
El techo de r, denotado por r|, es el ms pequeo entero _ r.
4
El piso de r
redondea por debajo a r, mientras que el techo redondea a r por encima. De
acuerdo a esto, si r , Z, el piso de r es el ms prximo entero a la izquierda de
r sobre la recta numrica, y el techo de r es el ms prximo entero a la derecha
de r, ver Figura . La funcin piso )(r) = r| y la funcin techo q(r) = r|
son conocidas tambin como la funcin mayor entero y la funcin menor entero,
respectivamente.
Por ejemplo
__
2
_
= 1, | = 3, 3, 5| = 4,
__
2
_
= 2, | = 4 y
3, 5| = 3.
La funcin piso es prctica cuando los nmeros reales deben ser truncados o
aproximados a un nmero deseado de cifras decimales. Por ejemplo el nmero
real = 3,1415926535 . . . truncado a tres cifras decimales est dado por
1000|
1000
=
3141
1000
= 3,141,
de otro lado redondeado a tres cifras decimales es
1000 + 0,5|
1000
= 3,142.
Hay otro uso simple de la funcin piso. Suponga que se divide el intervalo uni-
tario [0, 1) en 50 subintervalos de igual longitud y luego se pretende saber el
4
Estas dos notaciones y los nombres, piso y techo, fueron introducidas por Kenneth E.
Iverson en los albores de los 60s. Ambas notaciones son variaciones de la original notacin
mayor entero [a] .
subintervalo que contiene el nmero 0,4567. Ya que 0,4567,0,02| +1 = 23 ste
esta en el subintervalo nmero 23. De manera general, sea 0 _ r < 1. Entonces
r esta en el subintervalo r,0,02| + 1 = 50r| + 1.
Ejemplo 3 (La funcin de la ocina de correos) En 2006 la tasa de
franqueo en Estados Unidos para un primer tipo de carta de peso r, de no ms
de una onza fue de 39c/; la tasa para cada onza adicional o fraccin hasta 11
onzas fue un adicional de 24c/. As, el franqueo j(r) para una primera clase de
carta puede denirse como j(r) = 0,39+0,24 r 1| , 0 < r _ 11. Por ejemplo,
el franqueo para una carta que pesa 7.8 onzas es j(7,8) = 0,39+0,24 7,8 1| =
$2,07.
Algunas propiedades de la funcin piso y techo son listadas en el siguiente
teorema. Se probar una de ellas; las otras se proponen como ejercicio.
Teorema 4 Sea r cualquier nmero real y : un nmero entero. Entonces
1. :| = : = :|
2. r| = r| + 1 (r , Z)
3. r +:| = r| +:
4. r +:| = r| +:
5.
_
n
2
_
=
n1
2
si : es impar.
6.
_
n
2
_
=
n+1
2
si : es impar.
Demostracin. Todo nmero real r puede ser escrito como r = / +r
0
, donde
/ = r| y 0 _ r
0
< 1. Ver Figura . Entonces
r +: = / +r
0
+:
= (/ +:) +r
0
as
r +:| = (/ +:) +r
0
|
= / +: ya que 0 _ r
0
< 1
= r| +:
que era lo que se quera mostrar.
Ejercicios 1.1.
Evale cada una de las siguientes expresiones, en donde r es un nmero real.
1. El matemtico ingls Augusto De Morgan, que vivi en el siglo XIX, una
vez coment que l tena r aos en el ao r
2
. Cundo nacio l?
Evale cada item, asuma que r es un nmero real.
2. )(r) =
x
jxj
(r ,= 0)
3. q(r) = r| +r|
4. /(r) = r| +r|
Determine si:
5. r| = r|
6. r| = r|
7. Hay cuatro nmeros 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 nmero.
8. Un nmero entero positivo de : dgitos es un nmero de Kaprekar
si la suma del nmero formado por los ltimos : dgitos en
2
, y el
nmero formado por los primeros : (o : 1) dgitos en
2
es igual a
. Por ejemplo, 297 es un nmero de Kaprekar ya que 297
2
= 88209 y
88 + 209 = 297. Hay cinco nmeros de Kaprekar < 100. Encuntrelos.
9. Encuentre la falla en la siguiente "demostracin":
Sean a y / nmeros reales tales que a = /. Entonces
a/ = /
2
a
2
a/ = a
2
/
2
Factorizando, a(a /) = (a +/)(a /). Cancelando a / en ambos lados,
a = a +/. Ya que a = /, 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. Cuntos cuadrados perfectos pueden mostrarse en la pantalla de una
calculadora de 15 dgitos?
Pruebe cada item, asumiendo que a, / y : son enteros cualesquiera, y r
es un nmero real.
12. [a/[ = [a[ [/[
13. [a +/[ _ [a[ +[/[
14.
_
:
2
_
=
: 1
2
si : es impar.
15.
_
:
2
_
=
: + 1
2
si : es impar.
16.
_
:
2
4
_
=
:
2
1
4
si : es impar.
17.
_
:
2
4
_
=
:
2
+ 3
4
si : es impar.
18.
_
:
2
_
+
_
:
2
_
= :
19. r| = r| + 1 (r , Z)
20. r| = r|
21. r +:| = r| +:
La distancia desde r hasta j sobre una lnea recta, denotada por d(r, j),
se dene por d(r, j) = [j r[ . Pruebe cada item, asumiendo que r, j y .
son enteros cualesquiera.
22. d(r, j) _ 0
23. d(0, r) = [r[
24. d(r, j) = 0 si y solo si r = j.
25. d(r, j) = d(j, r)
26. d(r, j) _ d(r..) +d(., j)
DERIVE. Laboratorio 1
Objetivo
En el presente taller se busca implementar algunos ejemplos trabajados en
esta seccin y que utilizan la funcin Piso (FLOOR) y Techo (CEILING) en DE-
RIVE.
Actividades
Inicialmente se establecen tres parmetros requeridos para implementar de
manera correcta las funciones que se desean crear, stas determinan el modo de
precisin y el nmero de dgitos en las simplicaciones:
PrecisionDigits:=100
NotationDigits:=100
Notation:=Decimal
1. Con base en la funcin Piso (FLOOR) se desea crear una funcin que se
llamar "truncar" cuyos parmetros sern:
x:valor a truncar
n:nmero de cifras en el truncamiento
La funcin se dene como:
truncar(x,n):=
FLOOR(x 10
n
)
10
n
La funcin Piso es prctica cuando los nmeros reales deben ser truncados
o aproximados a un nmero deseado de cifras decimales. Por ejemplo el
nmero real = 3,1415926535... truncado a tres cifras decimales est
dado por 3,141. Para ello basta con simplicar en DERIVE, luego de
especicada la funcin anterior, la expresin
truncar(pi,3)
2. Similar a la funcin anterior, se desea crear, con base en la funcin Piso
(FLOOR) una funcin que se llamar "redondo" que busca redondear un
nmero dado y cuyos parmetros sern:
x:valor a redondear
n:nmero de cifras en el redondeo
La funcin se dene como:
redondo(x,n):=
FLOOR(x 10
n
+ 0,5)
10
n
As, redondeado a tres cifras decimales es 3,142 y se puede obtener
simplicando
redondo(pi,3)
3. La funcin a continuacin pretende, al dividir el intervalo [0, 1) en : subin-
tervalos, encontrar el subintervalo que contiene al valor r. La funcin se
bautizar con el nombre "endonde(x,n)"los parmetros representan:
x:valor que se pretende ubicar
n:nmero de subintervalos en que se divide el intervalo [0, 1)
Para esto, la funcin se dene 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 nmero 0,4567. Para ello se simplica la expresin
endonde(0.4567,50)
4. Mediante la siguiente funcin se ilustra el Ejemplo 3 pgina 6, "La funcin
de la ocina de correos".
En 2006 la tasa de franqueo en Estados Unidos para un tipo de carta de
peso r, de no ms de una onza fue de 39 centavos, la tasa para cada onza
adicional o fraccin hasta 11 onzas fuen un adicional de 24 centavos. la
funcin post(x) denida a continuacin permite calcular el franqueo de
una carta con peso x.
post(x):=0.39+0.24 CEILING(x 1)
Por ejemplo, simplicando post(7.8) se encuentra el franqueo para una
carta de 7.8 onzas.
5. Por ltimo, algunas funciones adicionales para esta seccin son valor ab-
soluto, mnimo y mximo 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 simplican a , 2 y
4 respectivamente.
1.2. LA NOTACIN SUMATORIA Y PRODUCTORIA 11
1.2. La Notacin Sumatoria y Productoria
Se dar la notacin de sumatoria y productoria muy utilizada a lo largo de
este texto. Primero se iniciar con la notacin sumatoria.
La Notacin Sumatoria
Sumas tales como a
k
+ a
k+1
+ + a
m
, pueden escribirse de manera ms
compacta usando el smbolo sumatoria

(letra Griega mayscula sigma), la
cual se denota con la palabra suma. La notacin de sumatoria fue introducida
en 1722 por el matemtico francs Joseph Louis Lagrange.
Un trmino tpico de la suma referida con anterioridad puede ser a
i
, as,
la suma anterior es la suma de los nmeros a
i
con i recorriendo los nmeros
enteros desde / hasta : que se puede escribir como

i=m
i=k
a
i
. De esta forma
i=m
i=k
a
i
= a
k
+a
k+1
+ +a
m
La variable i es el ndice de la sumatoria. Los valores / y : son, re-
spectivamente, los lmites inferior y superior del ndice i. El "i = " del lmite
superior es usualmente omitido:
i=m
i=k
a
i
=
m
i=k
a
i
Por ejemplo
5
i=1
i
2
= 1
2
+ 2
2
+ 3
2
+ 4
2
+ 5
2
El ndice i es una variable dummy; se puede usar cualquier variable como
ndice sin afectar el valor de la suma, as
m
i=k
a
i
=
m
j=k
a
j
=
m
r=k
a
r
Ejemplo 5 Evale

1
j=2
,
3
(, 1)
2
Solucin.
0
j=2
,
3
(, 1)
2
= (2)
3
(2 1)
2
+ (1)
3
(1 1)
2
+ (0)
3
(0 1)
2
= 76
Los siguientes resultados son muy usados en la evaluacin de sumas ni-
tas, ellos pueden ser probados utilizando induccin matemtica, un mtodo de
prueba que se presentar ms adelante.
Teorema 6 Sean : cualquier entero positivo y c cualquier nmero real, y a
1
,
a
2
, ... , a
n
, y /
1
, /
2
, ... , /
n
un par de secuencias numricas. Entonces
n
i=1
c = :c (1.1)
n
i=1
ca
i
= c
n
i=1
a
i
(1.2)
n
i=1
(a
i
+/
i
) =
n
i=1
a
i
+
n
i=1
/
i
(1.3)
(Este resultado puede ser extendido a cualquier lmite inferior / Z.)
Ejemplo 7 Evale

3
j=1
_
10,
2
+ 3,
_
.
Solucin.
3
j=1
_
10,
2
+ 3,
_
= 10
3
j=1
,
2
+ 3
3
j=1
,
= 10(1
2
+ 2
2
+ 3
2
) + 3(1 + 2 + 3)
= 158
Sumatorias Indexada
La notacin sumatoria puede ser extendida a secuencias con conjuntos de
ndices 1 como sus dominios. Por ejemplo,

i2I
a
i
denota la suma de los valores
a
i
cuando i recorre todos los valores de 1.
Por ejemplo, si 1 = 1, 3, 5, 7 , entonces

i2I
(i
2
+1) representa la suma de
los valores de i
2
+ 1 cuando i toma los valores en 1, esto es,
i2I
(i
2
+ 1) = (1
2
+ 1) + (3
2
+ 1) + (5
2
+ 1) + (7
2
+ 1)
= 88
Frecuentemente se requiere evaluar sumas de la forma

P
a
ij
, donde los
subndices i y , satisfacen ciertas propiedades 1.
Por ejemplo, sea 1 = 1, 2, 3, 4. Entonces

1i<j4
(2i+3,), denota la suma
de los valores de 2i + 3,, donde 1 _ i < , _ 4. Esto puede ser abreviado como
i<j
(2i + 3,) proporcionado, obviamente, el conjunto de ndices del contexto.
Para encontrar esta suma, se consideran todas las posibles parejas (i, ,), donde
i, , 1 e i < ,. As,
i<j
(2i + 3,) = (2 1 + 3 2) + (2 1 + 3 3) + (2 1 + 3 4) + (2 2 + 3 3)
+(2 2 + 3 4) + (2 3 + 3 4)
= 80
Ejemplo 8 Evale

d1
dj6
d, donde d[6 signica que d divide a 6.
Solucin.
d1
dj6
d = suma de los enteros positivos d, divisores de 6
= suma de los divisores positivos de 6
= 1 + 2 + 3 + 6 = 12
Sumatorias mltiples tambin son frecuentes en matemticas. Ellas se evalan
por lo general de derecha a izquierda. Por ejemplo, la doble sumatoria

i
j
a
ij
se evala como

i
_
j
a
ij
_
, como se muestra a continuacin.
Ejemplo 9 Evale

1
i=1
0
j=1
3i
2
,.
Solucin.
1
i=1
0
j=1
3i
2
, =
1
i=1
_
_
0
j=1
3i
2
,
_
_
=
1
i=1
_
3i
2
(1) + 3i
2
(0)
=
1
i=1
3i
2
= 3(1)
2
+
_
3(0)
2
+
_
3(1)
2
= 6
La Notacin Productoria
La notacin productoria es usada de manera similar a la notacin sumatoria,
el producto a
k
a
k+1
a
m
se denota por

i=m
i=k
a
i
, el smbolo productoria

corresponde a la letra Griega mayscula pi. Como en el caso de la notacin
sumatoria, la "i = " arriba del smbolo productoria se omite frecuentemente:
i=m
i=k
a
i
=
m
i=k
a
i
= a
k
a
k+1
a
m
Nuevamente, i es una variable dummy.
La funcin factorial, se usa frecuentemente en teora de nmeros, y puede
denirse usando la notacin productoria, como se muestra en el siguiente ejem-
plo.
Ejemplo 10 La funcin factorial )(:) = :! (se lee : factorial o el factorial
de :) se dene como :! = :(: 1) 2 1, donde 0! = 1. Usando la notacin
productoria
)(:) = :! =
n
i=1
i
Ejemplo 11 Evale

4
i=2
(2i + 3).
Solucin.
4
i=2
(2i + 3) = [2(2) + 3] [2(3) + 3] [2(4) + 3]
= 693
Ejemplo 12 Evale

i;j2I
ijj
i<j
(2i + 3,) donde 1 = 1, 2, 3, 4.
Solucin. Se reere aqu a la productoria de todas las parejas de la forma
(i, ,), donde i y , son elementos de 1, pero especcamente aquellas parejas en
donde i divide a , siendo i menor que ,. Estas son (1, 2), (1, 3), (1, 4), (2, 4), as,
evaluando 2i + 3, en cada una de estas parejas se tiene que
i;j2I
ijj
(2i + 3,) = (2 1 + 3 2)(2 1 + 3 3)
(2 1 + 3 4)(2 2 + 3 4)
= 19172
Ejercicios 1.2
Evale cada suma.
1.

6
i=1
i
2.

4
j=0
(, 1)
3.

4
k=0
(3 +/)
4.

4
i=1
3
5.

2
j=2
,(, 2)
6.

5
k=1
(3 2/)/
Reescriba cada suma utilizando la notacin sumatoria.
7. 1 + 3 + 5 + + 23
8. 3
1
+ 3
2
+ + 3
10
9. 1 2 + 2 3 + + 11 12
10. 1(1 + 2) + 2(2 + 2) + + 5(5 + 2)
Determine si cada proposicin es verdadera.
11.

n
i=m
i =

n
i=m
(: +:i)
12.

n
i=m
r
i
=

n
i=m
r
n+mi
13. Sumas de la forma o =

n
i=m+1
(a
i
a
i1
) son llamadas sumas telescop-
icas. Muestre que o = a
n
a
m
.
14. Use el Ejercicio 13 y la identidad
1
i(i+1)
=
1
i
1
i+1
, y encuentre una formula
para

n
i=1
1
i(i+1)
.
15. Usando el Ejercicio 13 y la identidad (i +1)
2
i
2
= 2i +1, desarrolle una
formula para

n
i=1
i.
16. Usando el Ejercicio 13 y la identidad (i +1)
3
i
3
= 3i
3
+3i +1, desarrolle
una formula para

n
i=1
i
2
.
Evalue.
17.

5
i=1
6
j=1
(2i + 3,)
18.

3
i=1
i
j=1
(i + 3)
19.

3
i=0
(i + 1)
20.

5
j=3
(,
2
+ 1)
21.

50
k=0
(1)
k
Evalue cada tem, donde j 2, 3, 5, 7, 11, 13 e 1 = 1, 2, 3, 5 .
22.

p10
j
23.

i2I
(3i 1)
24.

i;j2I
ijj
(2
i
+ 3
j
)
25.

i;j2I
ij
i
j
26. Encuentre el dgito de las decenas en la suma

999
k=1
/!
Objetivo
En el presente taller se busca implementar algunos ejemplos trabajados en
esta seccin y que utilizan la funcin Sumatoria (SUM) y Productoria (PRODUCT)
en DERIVE.
Algunas funciones requeridas
Antes de comenzar se revisarn dos funciones adicionales como son VECTOR
y DIVISORS.
La funcin VECTOR(u, k, m, n) se simplica a un vector de n-m+1 elemen-
tos generado por la simplicacin de la expresin n(/) con la variable k variando
desde m hasta n en saltos de 1. Por ejemplo
VECTOR(k^2, k, 2, 5)
se simplica al vector
[4, 9, 16, 25]
Los parmetros m y n pueden cambiarse por un vector sobre el cual la variable
k toma valores evaluados en la funcin n(/), por ejemplo
VECTOR(k^2, k, [3, 5, 8])
que se simplica al vector
[9, 25, 64] .
La funcin DIVISORS(n) se simplica al vector ordenado de todos los divi-
sores positivos de n. Por ejemplo
DIVISORS(28)
se simplica a
[1, 2, 4, 7, 14, 28] .
Actividades
La funcin SUM maneja los mismos parmetros de la funcin VECTOR y se
interpretan de manera similar, as la sumatoria de la expresin u respecto a n
desde k hasta m se puede introducir mediante la expresin
SUM(u, n, k, m)
la diferencia es que mientras la funcin VECTOR genera un vector con ciertos
elementos, la funcin SUM entrega la suma de dichos elementos. A continuacin
se ingresar la sumatoria del Ejemplo 5 y se simplicar utilizando la funcin
SUM. Recordando la sumatoria de este ejemplo, esto es,
0
j=2
,
3
(, 1)
2
= (2)
3
(2 1)
2
+ (1)
3
(1 1)
2
+ (0)
3
(0 1)
2
= 72 + (4) + 0
= 76
sta se ingresa a DERIVE a travs del siguiente cdigo
SUM(j^3(j-1)^2, j, -2, 0)
que se simplica efectivamente a 76. Cabe observar que si se cambia la in-
struccin SUM por VECTOR su simplicacin genera en un vector la sucesin de
nmeros sumandos en esta sumatoria, as al simplicar
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 parmetros son los mismos
PRODUCT(u, n, k, m)
con este cdigo se obtiene la productoria de la expresin u respecto a n desde k
hasta m.
Para el Ejemplo 11
4
i=2
(2i + 3) = [2(2) + 3] [2(3) + 3] [2(4) + 3]
= 693
se digita y simplica la siguiente expresin en DERIVE
PRODUCT(2j+3, j, 2, 4) .
Para el Ejemplo 8,
d1
dj6
d = suma de los enteros positivos d, divisores de 6
= suma de los divisores positivos de 6
= 1 + 2 + 3 + 6 = 12
se simplica en DERIVE la siguiente expresin
SUM(j, j, DIVISORS(6)) .
Anidando la funcin sumatoria una en otra se obtiene una suma doble, de
esta forma como el Ejemplo 9 lo pide, calcular

1
i=1
0
j=1
3i
2
,, digitando
sobre DERIVE el siguiente cdigo obtenemos esta sumatoria
SUM(SUM(3i^2j, j, -1,0),i,-1,1)
y simplicando obtenemos la solucin.
1.3. INDUCCIN MATEMTICA 19
1.3. Induccin Matemtica
El principio de induccin matemtica (PIM) es una poderosa tcnica de
prueba que se usar con frecuencia en posteriores captulos.
Muchos resultados interesantes en matemticas se cumplen para todos los
enteros positivos. Por ejemplo las siguientes proposiciones son verdaderas para
cada entero positivo : y todos los nmeros reales r, j, y r
i
:
(r j)
n
= r
n
j
n
log(r
1
r
n
) =
n
i=1
log r
i
n
i=1
i =
:(: + 1)
2
n1
i=0
r
i
=
r
n
1
r 1
Cmo se puede probar que esos resultados se tienen para cada entero posi-
tivo : ? Obviamente, es imposible sustituir cada entero positivo por : y vericar
que la frmula se mantiene. El principio de induccin puede establecer la validez
para tales frmulas.
Antes de pasar a la induccin matemtica, es necesario establecer el principio
de buen-orden, el cual se aceptar como un axioma. (Un axioma es una arma-
cin 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.
Por ejemplo, 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 aplicacin simple del principio de buen-orden.
Ejemplo 13 Pruebe que no hay enteros positivos entre 0 y 1
Demostracin (por contradiccin). Supongamos que hay un entero positivo
a entre 0 y 1. Sea o = : Z
+
[ 0 < : < 1. Ya que 0 < a < 1, a o, as o
es no vaco. Por lo tanto, por el principio de buen-orden, o tiene un elemento
mnimo |, donde 0 < | < 1 . Entonces 0 < |
2
< | , as |
2
o . Pero |
2
< | , lo
que contradice nuestra suposicin que | es el elemento mnimo de o . As, no
hay enteros positivos entre 0 y 1 .
El principio de buen-orden puede extenderse a casi todos los nmeros, como
lo muestra el siguiente ejemplo.
Ejemplo 14 Pruebe que cada conjunto no vaco de enteros no negativos tiene
un elemento mnimo.
Demostracin (por casos). Sea o un conjunto de enteros no negativos.
Caso 1 Supongamos que 0 o . Ya que 0 es menor que todo entero
positivo, 0 es menor que cada elemento diferente de cero en o , as 0 es el
elemento mnimo de o .
Caso 2 Supongamos que 0 , o . Entonces o contiene nicamente enteros
positivos. As, por el principio de buen-orden, o tiene un elemento mnimo.
De esta forma, en ambos casos, o tiene un elemento mnimo.
Versin Dbil de Induccin
El siguiente teorema es pieza fundamental para el principio de induccin.
Teorema 15 Sea o un conjunto de enteros positivos que satisface las siguientes
propiedades:
1. 1 o.
2. Si / es un entero positivo arbitrario en o, entonces / + 1 o.
Luego o = N .
Demostracin(por contradiccin).
Suponga que o ,= N. deniendo el conjunto
o
0
= : N [ : , o
Ya que o
0
,= O, por el principio de buen orden, o
0
tiene un elemento mnimo |
0
.
Entonces |
0
1 por la condicin (1). Dado que |
0
es el elemento mnimo de o
0
,
|
0
1 , o
0
. Por lo tanto |
0
1 o. Consecuentemente, por la condicin (2),
(|
0
1) + 1 = |
0
o. Esto contradice lo establecido en la suposicin.
Este resultado puede ser generalizado, como lo muestra el siguiente teorema.
La prueba queda como ejercicio.
Teorema 16 Sea :
0
un entero jo. Sea o un conjunto de enteros que satisfacen
las siguientes condiciones:
1. :
0
o.
2. Si / es un entero arbitrario _ :
0
tal que / o, entonces / + 1 o.
Luego o contiene todos los enteros positivos : _ :
0
.
Luego de ver los anteriores resultados, se tienen las herramientas para poder
demostrar el teorema de inters y que se enuncia a continuacin.
Teorema 17 (Principio de Induccin Matemtica) Sea 1(:) una
proposicin que satisface las siguientes condiciones, donde : Z:
1. 1(:
0
) es verdadera para algn entero :
0
.
2. Si 1(/) es verdadera para un entero arbitrario / _ :
0
, entonces 1(/ +1)
tambin es verdadera.
Luego 1(:) es verdadera para cada entero : _ :
0
.
Demostracin. Sea o un conjunto de enteros _ :
0
para los cuales 1(:) es
verdadera. Ya que 1(:
0
) es verdadera, :
0
o . Por la condicin (2), cada vez
que / o , / +1 o , as, por el Teorema 16, o contiene todos los enteros _ :
0
. Consecuentemente, 1(:) es verdadera para cada entero : _ :
0
.
En la condicin (1) del teorema 17 se asume la proposicin 1(:) como ver-
dadera cuando : = :
0
. En la condicin (2): Si 1(:) es verdadera para un
entero / _ :
0
, tambin lo es para : = / + 1 . Entonces, aplicando nuevamente
la condicin (2), 1(:
0
+ 1), 1(:
0
+ 2), . . . se mantienen verdaderas. En otras
palabras , 1(:) permanece para cada : _ :
0
.
El Teorema 17 puede ser establecido directamente desde el principio de buen-
orden.
Demostrar un resultado por induccin comprende dos pasos clave:
Paso Bsico: Compruebe que 1(:
0
) es cierto.
Paso de Induccin: Asumir que 1(/) es cierto para algn entero arbitrario
/ _ :
0
(hiptesis inductiva)
A continuacin, compruebe que 1(/ + 1) tambin 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 confusin deriva una mala interpreta-
cion del paso 2 para la conclusin. El paso de induccin muestra que
1(/) implica 1(/ + 1); esto es que si 1(/) es verdadero, entonces
1(/ + 1) tambin lo es. La conclusin es: "1(:) es verdadera para
cada : _ :
0
".
Ejemplo 18 Pruebe que
1 + 2 + 3 +. . . +: =
:(: + 1)
2
para cada entero positivo : (1.4)
Demostracin. (por induccin) Sea 1(:) el enunciado
n
i=1
i =
:(: + 1)
2
Paso Bsico: Vericar que 1(1) es verdadero (nota: aqu :
0
= 1)
donde : = 1, LMD =
1(1+1)
2
= 1 =
n
i=1
i =LMI.
5
Entonces, 1(1) es ver-
dadero.
Paso de Induccin: Sea / un entero positivo arbitrario. Se debe mostrar
que 1(/) implica 1(/ + 1). Asuma que 1(/) es verdadero,es decir
n
i=1
i =
:(: + 1)
2
(hiptesis de induccin)
Se muestra que 1(/) implica 1(/ + 1), es decir
k+1
i=1
i =
(k+1)(k+2)
2
, empezamos
con LMI en esta ecuacin
1'1 =
k+1
i=1
i =
k
i=1
i + (/ + 1),
_
Nota:
k+1
i=1
r
i
=
_
k
i=1
r
i
_
+ (r
k
+ 1)
_
=
/(/ + 1)
2
+ (/ + 1) por hiptesis de induccin
=
(/ + 1)(/ + 2)
2
= 1'1
Luego si 1(/) es verdadero, entonces 1(/ + 1) tambin lo es. As, por in-
duccin, 1(:) es verdadero para cualquier entero : _ 1; esto es, la frmula vale
para cada entero positivo.
Ejemplo 19 Deduzca una formula para la suma de los : primeros enteros po-
sitivos impares y luego use la induccin para establecer la conjetura.
Solution 20 Primero, se estudiar las primeras cuatro sumas, y luego se iden-
tica un patrn para predecir la frmula de la suma de los : primeros enteros
positivos impares. Las primeras cuatro sumas son
1 = 1
2
1 + 3 = 2
2
1 + 3 + 5 = 3
2
1 + 3 + 5 + 7 = 4
2
5
LMD y LMI son las abreviaciones de lado a mano izquierda y lado a mano derecha,
respectivamente, al referirse a una expresin y con el signo de igualdad como referente.
Se puede observar claramente el patrn, entonces se puede establecer que la suma
de los : primeros enteros positivos impares es :
2
;esto es
n
i=1
(2i 1) = :
2
(1.4)
Se mostrar ahora la prueba por el principio de induccin.
Demostracin. Cuando : = 1,
n
i=1
(2i 1) =
1
i=1
(2i 1) = 1 = 1
2
, entonces el
resultado es vlido cuando : = 1. Ahora, asuma que la frmula es vlida cuando
: = /,
k
i=1
(2i 1) = /
2
.
Para mostrar que es vlida cuando : = / + 1, considerese la suma
k+1
i=1
(2i 1).
Luego tenemos que
k+1
i=1
(2i 1) =
k
i=1
(2i 1) + [2(/ + 1) 1]
= /
2
+ (2/ + 1) por hiptesis de induccin
= (/ + 1)
2
En consecuencia, si la frmula es vlida cuando : = /, es tambin vlida cuando
: = / + 1. Por tanto, por induccin, la frmula es vlida para cualquier entero
positivo :.
Volviendo a la induccin, nosotros encontramos que ambos, los pasos bsicos
como los pasos de induccin son esenciales para la prueba por induccin, como
se puede ver en los dos siguientes ejemplos.
Ejemplo 21 Considere la "frmula" 1 + 3 + 5 + + (2: 1) = (: 2)
2
.
Claramente es cierta cuando : = 1. Pero no es cierta cuando : = 2. La verdad
es que los pasos bsicos no aseguran que el enunciado 1+3+5+ +(2:1) =
(: 2)
2
sea cierto para cualquier entero :.
El siguiente ejemplo muestra que la validez del paso de induccin es nece-
saria, pero no suciente para garantizar que 1(:) es verdadero para todos los
enteros deseados.
Ejemplo 22 Considere la "frmula" 1(:) : 1 +3 +5 + +(2:1) = :
2
+1.
Suponga que 1(/) es verdadero:
k
i=1
(2i 1) = /
2
+ 1. Entonces
k+1
i=1
(2i 1) =
k
i=1
(2i 1) + [2(/ + 1) 1]
= (/
2
+ 1) + (2/ + 1)
= (/ + 1)
2
+ 1
Entonces si 1(/) es verdadero, 1(/ +1) tambin lo es. Sin embargo, la frmula
no incluye a cualquier entero positivo :. Se puede vericar que 1(1) no se tiene.
Versin fuerte de induccin
Ahora se presentar la versin fuerte de induccin. A veces lo cierto de
1(/) puede no ser suciente para establecer la veracidad de 1(/ +1). En otras
palabras, la veracidad de 1(/ +1) puede requerir ms que la de 1(/). En tales
casos, se tiene que asumir una hiptesis de induccin ms fuerte tal como que
1(:
0
), 1(:
0
+ 1), . . . , 1(/) son todos verdaderos; luego vericar que 1(/ + 1)
es tambin verdad. Esta versin fuerte, que puede ser demostrada usando la
versin dbil de induccin, se establece como sigue.
Teorema 23 (Segundo Principio de la Induccin Matemtica) Sea 1(:)
un enunciado que satisfase las siguientes condiciones, donde : Z.
1. 1(:
0
) es verdadero para algn entero :
0
.
2. Si / es un entero arbitrario _ :
0
tal que 1(:
0
), 1(:
0
+ 1), . . . , 1(/) son
verdaderos, entonces 1(/ + 1) tambin lo es.
Luego 1(:) es verdadero para cualquier entero : _ :
0
.
Demostracin. Sea o = : Z [ 1(:) es verdadero. Como 1(:
0
) es ver-
dadero por la condicin (1) :
0
o.
Ahora asumamos que 1(:
0
), 1(:
0
+1), . . . , 1(/) es verdadero para un entero
arbitrario /. Entonces :
0
, :
0
+ 1, . . . , / pertenece a o. Luego por la condicin
(2), / + 1 tambin pertenece a o. Por lo tanto por el teorema 16, o contiene
todos los enteros : _ :
0
. En otras palabras, 1(:) es verdadero para cada entero
: _ :
0
.
El siguiente ejemplo muestra la tcnica de prueba.
Ejemplo 24 Pruebe que cualquier envo postal cuyo valor es de : (_ 2) cen-
tavos puede hacerse con estampillas de dos y tres centavos.
Demostracin. Sea 1(:) el enunciado que arma que cualquier envo postal
cuyo valor es de : centavos puede hacerse con estampillas de dos y tres centavos.
Paso bsico (Note que :
0
= 2) Dado que un envo de dos centavos se puede
hacer con una estampilla de dos centavos, 1(2) es verdadero. Del mismo modo,
1(3) es tambin verdadero.
Paso de induccin Supongamos que 1(2), 1(3), 1(4), . . . , 1(/) son ver-
daderos, es decir, cada envo postal de dos centavos hasta de / centavos puede
hacerse con estampillas de dos y tres centavos. Para mostrar que 1(/ + 1) es
verdadero, considere un envo postal de /+1 centavos. Ya que /+1 = (/1)+2,
un envo de / + 1 centavos puede formarse con estampillas de dos y tres cen-
tavos si el envo de / 1 centavos puede realizarse con estampillas de dos y tres
centavos. Como 1(/ 1) es verdero por la hiptesis de induccin, esto implica
que 1(/ + 1) tambin es verdadero.
Por lo tanto, por la versin fuerte de induccin, 1(:) es cierto para cada
: _ 2, es decir, cualquier envo postal de :(_ 2) centavos se puede hacer con
estampillas de dos o tres centavos.
Ejercicios 1.3
Usando Induccin matemtica pruebe cada una de las siguientes proposi-
ciones para todo entero : _ 1.
1.

n
i=1
(2i 1) = :
2
2.

n
i=1
i
2
=
n(n+1)(2n+1)
6
3.

n
i=1
i
3
=
_
n(n+1)
2
_
2
4.

n
i=1
ar
i1
=
a(r
n
1)
r1
, r ,= 1
Determine si cada conjunto es bien ordenado. Si su respuesta es no, ex-
plique.
5. El conjunto de los enteros negativos.
6. El conjunto de los enteros.
7. : N[: _ 5
8. : Z[: _ 3
Probar.
9. Sea a Z. No hay enteros entre a y a + 1.
10. (Propiedad Arquimediana) Sean a y / enteros positivos. Entonces hay un
entero positivo : tal que :a _ /. (Sugerencia: Use el principio de buen
orden y contradiccin)
1.4. Relaciones de Recurrencia
La Recursin es una de las ms elegantes tcnicas para solucionar proble-
mas. sta es una herramienta muy poderosa que puede ser apoyada a travs de
lenguajes de programacin.
Se iniciar esta seccin con un problema muy conocido denominado el Prob-
lema del Apretn de Manos:
Hay : invitados a una esta. Cada persona estrecha la mano, exactamente
una vez, con cada uno de los otros invitados. cuntos apretones de manos se
hacen?
Si se decide solucionar un problema como ste, la solucin puede no ser
obvia. Sin embargo, es posible que el problema pueda denirse en trminos de
una versin ms simple de si mismo. Tal denicin es una denicin inductiva.
Por consiguiente, el problema dado se puede resolver si la versin simple se puede
resolver.
Denicin recursiva de una funcin
Sea a \ y A = a, a + 1, a + 2, . . .. Una denicin inductiva de una
funcin ) con dominio A, consiste de tres partes:
Paso base Algunos valores iniciales )(a), )(a+1), . . . , )(a+/1) se
especican. Ecuaciones que especican tales valores iniciales se denominan
condiciones iniciales.
Paso de recursin Se proporciona una frmula para calcular )(:)
desde los / precedentes valores funcionales )(: 1), )(: 2), . . . , )(:
/). Tal frmula se denomina una relacin de recurrencia (o frmula
recursiva).
Paso nal Solamente valores as obtenidos son valores funcionales
vlidos. (Por conveniencia, esta clusula se establece desde la denicin
recursiva.)
En una denicin recursiva de ), )(:) se pueden denir usando los valores
de )(/), donde / ,= :, as no todas las funciones denidas recursivamente pueden
denirse inductivamente; Ver ejercicios 8-14.
De esta forma, la denicin recursiva de ) consiste de un nmero nito de
condiciones iniciales y una relacin de recurrencia.
Puede emplearse recursin para encontrar el mnimo y el mximo de tres o
ms nmeros reales. Por ejemplo
mnn, r, j, . = mnn, mnr, mnj, . ,
1.4. RELACIONES DE RECURRENCIA 27
max n, r, j, . puede evaluarse de manera similar. Por tanto
mn23, 5, 6, 47, 31 = mn23, mn5, mn6, mn47, 31 = 6
y
max 23, 5, 6, 47, 31 = max 23, max 5, max 6, max 47, 31 = 47
Los siguientes ejemplos ilustran deniciones recursivas.
Ejemplo 25 Dena recursivamente la funcin ) factorial.
Solucin.
Llamando a la funcin factorial ), denida por )(:) = :!, donde )(0) = 1.
Y al tenerse que :! = :(: 1)!, puede denirse la recursividad de la siguiente
manera
)(0) = 1 condicin inicial
)(:) = : )(: 1), : _ 1 relacin de recurrencia
Suponga que se quiere calcular )(3) recursivamente. Se debe continuar aplicando
la relacin de recurrencia hasta que se encuentre la condicin inicial, como se
muestra:
)(3) = 3 )(2) (1.5)
)(2) = 2 )(1) (1.6)
)(1) = 1 )(0) (1.7)
)(0) = 1 (1.8)
Ya que )(0) = 1, 1 se sustituye por )(0) en la ecuacin (1.7) y )(1) se calcula:
)(1) = 1 )(0) = 1 1 = 1. Este valor se sustituye para )(1) en la ecuacin (1.6)
y )(2) se calcula: )(2) = 2 )(1) = 2 1 = 2. Este valor se utiliza en la ecuacin
(1.5) para calcular )(3): )(3) = 3 )(2) = 3 2 = 6, como era de esperar.
Ahora, volviendo al problema del apretn de manos.
Ejemplo 26 (El problema del apretn de manos) Hay : invitados en una
esta. Cada persona estrecha la mano a cada uno de los dems exactamente
una vez. Dena por recursividad el nmero de apretones de manos hechos /(:).
Solucin.
Claramente, /(1) = 0, entonces sea : _ 2. Sea r uno de los invitados. El
nmero de apretnes de manos hechos por los : 1 invitados entre ellos, por
denicin es /(: 1). Ahora la persona r estrecha su mano con cada uno de
los : 1 invitados, realizando : 1 apretones de manos. As el nmero total
de apretones de manos es igual a /(: 1) + (: 1), donde : _ 2.
Luego, /(:) puede denirse recursivamente como sigue:
/(1) = 0 condicin inicial
/(:) = /(: 1) + (: 1), : _ 2 relacin de recurrencia.
Ejemplo 27 (Torre de Brahma) Segn una leyenda, al inicio de la creacin,
Dios apil 64 discos de oro sobre una de tres clavijas de diamante en una
plataforma de latn en el templo de Brahma en Benares, India (ver Figura 1.2).
Pidieron a los sacerdotes de turno mover los discos desde la primera clavija a
la tercera , usando la clavija del medio como clavija auxiliar, bajo las siguientes
condiciones:
nicamente un disco ser movido en cada turno
Ningn disco puede colocarse sobre un disco ms pequeo
Si las clavijas se etiquetan de izquierda a derecha con las letras A, 1 y
7. Suponga que hay : discos en la clavija A. Denote por /
n
el nmero de
movimientos necesarios para trasladar los discos desde la clavija A hasta la
clavija 7 usando la clavija 1 como un intermediaria. Dena /
n
recursivamente.
Solucin.
Si hay un slo disco, simplemente se mueve a la clavija deseada. Si se asumen
: _ 2 discos, se comienza de manera recursiva por invocar el algoritmo para
mover los : 1 discos superiores a la clavija 1, quedando un solo disco en
la clavija A. Durante estos movimientos el disco ms grande queda jo en la
clavija A. Despus se mueve el disco que queda jo de la clavija A a la clavija
7. Por ltimo, de nuevo se invoca el algortmo de manera recursiva para mover
los : 1 discos de la clavija 1 a la clavija 7.
As el total de movimientos necesarios es /
n1
+ 1 + /
n1
= 2/
n1
+ 1.
Entonces /
n
puede denirse recursivamente como sigue:
/
n
=
_
1 si : = 1 condicin inicial
2/
n1
+ 1 si : _ 2 relacin de recurrencia
Figura 1.2: Torre de Hanoi
Por ejemplo,
/
4
= 2/
3
+ 1
= 2[2/
2
+ 1] + 1
= 4/
2
+ 2 + 1
= 4[2/
1
+ 1] + 2 + 1
= 8/
1
+ 4 + 2 + 1
= 8(1) + 4 + 2 + 1 = 15
De esta forma son 15 movimientos para transferir 4 discos desde A hasta 7.
Note que la denicin recursiva de una funcin ) no proporciona una frmula
explicita para )(:) pero establece un procedimiento sistemtico para encontrar-
la.
El Mtodo Iterativo para encontrar una frmula para )(:) involucra dos
pasos:
1. Aplique la frmula iterativa de recurrencia y mire un patrn para predecir
la formula explcita.
2. Use induccin para probar que la frmula es verdadera para cada posible
valor del entero :.
El siguiente ejemplo ilustra este mtodo.
Ejemplo 28 Solucione la relacion de recurrencia en el ejemplo del problema
del apretn de manos.
Solucin.
Usando iteracin, se tiene:
/(:) = /(: 1) + (: 1)
= /(: 2) + (: 2) + (: 1)
= /(: 3) + (: 3) + (: 2) + (: 1)
.
.
.
= /(1) + 1 + 2 + 3 + + (: 2) + (: 1)
= 0 + 1 + 2 + 3 + + (: 1)
=
:(: 1)
2
.
Ejercicios 1.4
En los ejercicios 1-4, calcule los primeros cuatro trminos de la secuencia
denida recursivamente.
1. a
1
= 1
a
n
= a
n1
+ 3, : _ 2
2. a
1
= 1
a
n
=
n
n1
a
n1
, : _ 2
3. a
1
= 1, a
2
= 2
a
n
= a
n1
+a
n2
, : _ 3
4. a
1
= 1, a
2
= 2, a
3
= 3
a
n
= a
n1
+a
n2
+a
n3
, : _ 4
Dena recursivamente cada secuencia numrica.
5. 1, 4, 7, 10, 13, ...
6. 0, 3, 9, 21, 45, ...
7. 1, 2, 5, 26, 677, ...
La funcin-91 denida por John McCarthy, se dene recursivamente sobre
\ como sigue:
)(r) =
_
r 10 Si r 100
)()(r + 11)) Si 0 _ r _ 100
Calcule:
8. )(99)
9. )(98)
10. )()(99))
11. )()(91))
12. Muestre que )(99) = 91
13. Pruebe que )(r) = 91 para 90 _ r _ 100
14. Pruebe que )(r) = 91 para 0 _ r < 90
Objetivo
En el presente taller se busca implementar algunos funciones de recurrencia
utilizando la orden (IF) e ilustrar su utilizacin a partir de algunos ejemplos
trabajados en esta seccin.
La forma general de las expresiones IF es
IF (test, entonces, en caso contrario, en caso de duda)
Por ejemplo, se crear una funcin que al ingresar en su argumento un nmero
positivo devuelve un 1 de lo contrario devuelve un 0, el nombre de la funcin
sera "positivo":
positivo(x):=IF (x0, 1, 0)
Para esta funcin positivo(2) se simplica a 1, positivo(0) se simplica a 0,
positivo(-0.5) se simplica a 0.
Actividades
1. A continuacin se utilizar la orden IF para crear una funcin que per-
mita ilustrar la frmula de recurrencia del Ejemplo 26, el problema del
apretn de manos. Para ello se crear la funcin denominada apretones,
cuyo argumento ser : el nmero de individuos en la esta y al simplicar
dicha funcin en un valor particular se generar el nmero de apretones
de manos que se darn las personas que se indica estn en la esta de
acuerdo al contexto del problema. As
apretones(n):=IF (n=1, 0, apretones(n-1)+(n-1))
De esta manera si se simplica apretones(5) da como resultado 10 que
corresponde al nmero de apretones de manos si hay 5 personas en la
esta.
2. Para el Ejemplo 27 que hace referencia al ejemplo de la torre de Hanoi o
torre de Brahma, la funcin de recurrencia puede ingresarse digitando el
siguiente cdigo que utiliza la orden IF,
Hanoi(n):=IF (n=1, 1, 2*Hanoi(n-1)+1)
De esta forma, Hanoi(7) se simplica a 7, que indica que son mnimo 7
los pasos requeridos para pasar 3 discos de la clavija A a la clavija 7.
1.5. El Teorema Binomial
Los binomios son sumas de dos trminos, y aparecen a menudo en matemti-
cas. Esta seccin muestra la forma de expandir potencias enteras positivas de
manera sistemtica. Los coecientes en una expansin binomial tienen varias
propiedades interesantes.
Se empezar con un anlisis de los coecientes binomiales.
Coecientes Binomiales
Sean : y r enteros no negativos. El coeciente binomial
6
_
:
r
_
est denido
por
_
:
r
_
=
:!
r!(: r)!
si r _ :,
y es 0 en otro casos; esto tambin se denota por C(:, r) o
n
C
r
.
Por ejemplo,
_
5
3
_
=
5!
3!(5 3)!
=
5 4 3 2 1
3
2 1 2 1
= 10
Se desprende de la denicin que
_
:
0
_
= 1 =
_
:
:
_
.
Hay muchos casos en los que se necesita calcular el par de coecientes bino-
6
El trmino coeciente binomial fue introducido por el alemn algebrista Michel Stifel
(1486-1567). En su trabajo ms conocido, Arithmetica Integra (1544), Stifel da los coe-
cientes binomiales para n 17. La notacin de parntesis binivel para coeciente binomial fue
introducida por el matemtico y fsico alemn Baron Andreas von Ettinghausen (17961878).
Von Ettinghausen, nacio en Heidelberg, asisti a la Universidad de Viena en Austria. Durante
dos aos trabaj como asistente de matemticas y fsica en la Universidad. En 1821 se convir-
ti en profesor de matemticas, y en 1835, profesor de fsica y director del Instituto de Fsica.
Trece aos ms tarde, se convirti en el director de Estudios de Matemticas e Ingeniera de
la Academia de Viena.
Un pionero en la fsica matemtica, von Ettinghausen trabaj en el anlisis, lgebra,
geometra diferencial, mecnica, ptica y electromagnetismo.
1.5. EL TEOREMA BINOMIAL 33
miales
_
:
r
_
y
_
:
: r
_
. Ya que
_
:
: r
_
=
:!
(: r)! [: (: r)]!
=
:!
(: r)!r!
=
:!
r! (: r)!
=
_
:
r
_
en este caso no es necesario evaluar ambos, lo que reduce signicativamente el
trabajo. Por ejemplo,
_
25
20
_
=
_
25
25 20
_
=
_
25
5
_
= 53130.
El siguiente teorema muestra una importante relacin de recurrencia que
satisfacen los coecientes binomiales. Se conoce como la identidad de Pascal,
debida al extraordinario matemtico y lsofo francs Blaise Pascal.
Teorema 29 (Identidad de Pascal) Sean : y r enteros positivos con r _ :.
Entonces
_
:
r
_
=
_
: 1
r 1
_
+
_
: 1
r
_
.
Demostracin. Se simplicar la expresin del LMD y demostrar que es igual
a la expresin del LMI:
_
: 1
r 1
_
+
_
: 1
r
_
=
(: 1)!
(r 1)! (: r)!
+
(: 1)!
r! (: r 1)!
=
r (: 1)!
r (r 1)! (: r)!
+
(: r) (: 1)!
r! (: r) (: r 1)!
=
r (: 1)!
r! (: r)!
+
(: r) (: 1)!
r! (: r)!
=
(: 1)! [r + (: r)]
r! (: r)!
=
(: 1)!:
r! (: r)!
=
:!
r! (: r)!
=
_
:
r
_
as el teorema queda demostrado.
Tringulo de Pascal
Los diferentes coecientes binomiales
_
:
r
_
, donde 0 _ r _ :, pueden ar-
reglarse en forma de un tringulo, llamado tringulo de Pascal
7
_
0
0
_
_
1
0
_ _
1
1
_
_
2
0
_ _
2
1
_ _
2
2
_
_
3
0
_ _
3
1
_ _
3
2
_ _
3
3
_
_
4
0
_ _
4
1
_ _
4
2
_ _
4
3
_ _
4
4
_
1 la 0
1 1 la 1
1 2 1 la 2
1 3 3 1 la 3
1 4 6 4 1 la 4
El tringulo de Pascal tiene muchas propiedades interesantes:
Cada la empieza y termina en 1.
El tringulo de Pascal es simtrico sobre una lnea vertical que pasa por
el centro.
Cualquier nmero en el interior de cada la es la suma de los nmeros a
izquierda y a derecha de la la inmediatamente superior. Esto es as en
virtud de la identidad de Pascal.
La suma de los nmeros en cualquier la es una potencia de 2. El Corolario
31 vericar sto.
La :sima la puede utilizarse para determinar 11
n
. Por ejemplo, 11
3
= 1331 y 11
4
= 14641. Para calcular altas potencias de 11, se debe tener
cuidado ya que algunos de los nmeros envuelven la participacin de dos
o ms dgitos. Por ejemplo, para calcular 11
5
se procede de la siguiente
manera con base en los valores de la la 5:
1 5 10 10 5 1
7
Aunque el tringulo de Pascal es el nombre de Pascal, esto actualmente aparece primero
en 1303 en una obra del matemtico chino Chu Shi-Kie.
De derecha a izquierda, liste los dgitos simples. Cuando se llegue a un
nmero de dos dgitos, escriba los dgitos de las unidades y lleva los dgitos
de las decenas al nmero de la izquierda. Aadiendo el nmero que lleva
al de su izquierda. Continue este proceso hacia la izquierda. El nmero
resultante es 161051, que corresponde a 11
5
.
El siguiente teorema muestra cmo los coecientes binomiales pueden usarse
para encontrar la expansin del binomio (r +j)
n
.
Teorema 30 (El Teorema Binomial)
8
Sean r y j nmero reales, y : un
entero no negativo. Luego
(r +j)
n
=
n
r=0
_
:
r
_
r
nr
j
r
.
Demostracin. (induccin dbil) Cuando : = 0, LMI = (r+j)
0
= 1 y LMI
=

0
r=0
_
:
r
_
r
0r
j
r
= r
0
j
0
= 1, as LMI=LMD.
Supongamos 1(/) es cierto para algunos / _ 0:
(r +j)
k
=
k
r=0
_
/
r
_
r
kr
j
r
Entoces
(r +j)
k+1
= (r +j)
k
(r +j)
=
_
k
r=0
_
/
r
_
r
kr
j
r
_
(r +j)
=
k
r=0
_
/
r
_
r
k+1r
j
r
+
k
r=0
_
/
r
_
r
kr
j
r+1
=
_
_
/
0
_
r
k+1
+
k
r=1
_
/
r
_
r
k+1r
j
r
_
+
_
k1
r=0
_
/
r
_
r
kr
j
r+1
+
_
/
/
_
j
k+1
_
=
_
/ + 1
0
_
r
k+1
+
k
r=1
_
/
r
_
r
k+1r
j
r
+
k
r=1
_
/
r 1
_
r
k+1r
j
r
+
_
/ + 1
/ + 1
_
j
k+1
8
El teorema binomial para n = 2 se puede encontrar en el trabajo de Euclides (ca. 300 B.
C.).
=
_
/ + 1
0
_
r
k+1
+
k
r=1
__
/
r
_
+
_
/
r 1
__
r
k+1r
j
r
+
_
/ + 1
/ + 1
_
j
k+1
=
_
/ + 1
0
_
r
k+1
+
k
r=1
_
/ + 1
r
_
r
k+1r
j
r
+
_
/ + 1
/ + 1
_
r
k+1
=
k+1
r=0
_
/ + 1
r
_
r
k+1r
j
r
As, por induccin, la frmula es vlida para todo entero : _ 0.
Se deduce del teorema binomial que los coecientes binomiales en la expan-
sin de (r +j)
n
son los distintos nmeros en la :sima la del tringulo de
Pascal.
El teorema binomial se puede usar para establecer varias identidades in-
teresantes involucrando los coecientes binomiales, como lo muestra el siguiente
corolario
9
.
Corolario 31
n
r=0
_
:
r
_
= 2
n
esto es, la suma de los coecientes binomiales es 2
n
.
Esto se sigue haciendo r = 1 = j 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.
1. Mostrar que el nmero de regalos enviados en el :simo da es
_
: + 1
2
_
,
donde 1 _ : _ 12.
2. Mostrar que el nmero total de los regalos enviados en el :simo da es
_
: + 2
3
_
, donde 1 _ : _ 12.
Encontrar el coeciente en cada caso.
3. r
2
j
6
en la expansin de (2r +j)
8
.
9
Un corolario es un resultado que se desprende del anterior teorema.
4. r
4
j
5
en la expansin de (2r 3j)
9
.
Usando el teorema binomial, expandir.
5. (2r 1)
5
6. (r + 2j)
6
Encontrar el trmino medio en la expansin binomial de cada caso.
7.
_
2r +
2
x
_
8
8.
_
r
2
+
1
x
2
_
10
Encontrar el ms grande coeciente binomial en la expansin de cada caso.
9. (r +j)
5
10. (r +j)
6
11. (r +j)
7
12. (r +j)
8
13. Usando los ejercicios 9-12, encontrar el mayor coeciente en la expansin
binomial (r +j)
n
.
Los nmeros de Bell 1
n
son llamados as en honor al matemtico Americano-
Escoses Eric T. Bell (1883-1960). stos son utilizados en combinatoria y se
denen recursivamente como sigue:
1
0
= 1
1
n
=
n1
i=0
_
: 1
i
_
1
i;
: _ 1.
Calcular los siguientes nmeros de Bell.
14. 1
2
15. 1
3
16. 1
4
17. 1
5
18. Vericar que
_
:
r
_
=
n
r
_
: 1
i 1
_
.
19. Probar que
_
2:
:
_
es un entero par. (L. Moser, 1962)
Probar cada una de las siguientes proposiciones.
20. (: + 1) [
_
2:
:
_
, cuando se escribe a[/ signica que a es un factor de / y
: _ 0.
21.
n
r=0
_
2:
2r
_
=
n
r=1
_
2:
2r 1
_
(Sugerecia: Use el Corolario 1.1)
22.
n
r=0
2
r
_
:
r
_
= 3
n
23.
n
r=0
_
:
r
__
:
: r
_
=
_
2:
:
_
(Sugerencia: Considere (1 +r)
2n
= (1 +r)
n
(1 +r)
n
)
24.
n
i=1
_
:
i 1
__
:
i
_
=
_
2:
: + 1
_
(Sugerencia: Considere (1 +r)
2n
= (r + 1)
n
(1 +r)
n
.)
Evale cada suma.
25. 1
_
:
1
_
+ 2
_
:
2
_
+ 3
_
:
3
_
+ +:
_
:
:
_
(Sugerecia: Denote con o la suma. Utilice o y la suma en el orden inverso
para calcular 2o)
26. a
_
:
0
_
+ (a +d)
_
:
1
_
+ (a + 2d)
_
:
2
_
+ + (a +:d)
_
:
:
_
(Sugerencia: Utilice la misma sugerecia del Ejercicio 25)
27. Muestre que C(:, r1) < C(:, r) si y slo si r <
: + 1
2
cuando 0 _ r < :.
28. Usando el ejercicio 27, pruebe que el mayor coeciente binomial C(:, r)
ocurre cuando r = :,2|
Usando induccin, pruebe.
29.
_
:
0
_
+
_
: + 1
1
_
+
_
: + 2
2
_
+ +
_
: +r
r
_
=
_
: +r + 1
r
_
(Sugerencia: Use la identidad de Pascal)
30. 1
_
:
1
_
+ 2
_
:
2
_
+ +:
_
:
:
_
= :2
n1
31.
_
:
0
_
2
+
_
:
1
_
2
+
_
:
2
_
2
+ +
_
:
:
_
2
=
_
2:
:
_
(Identidad de Lagrange)
A partir de la expansin binomial
(1 +r)
n
=
n
r=0
_
:
r
_
r
r
,
se puede mostrar que
:(1 +r)
n1
=
n
r=1
_
:
r
_
rr
n1
.
Usando este resultado, pruebe.
32. 1
_
:
1
_
+ 2
_
:
2
_
+ 3
_
:
3
_
+ +:
_
:
:
_
= :2
n1
33. 1
_
:
1
_
+ 3
_
:
3
_
+ 5
_
:
5
_
+ = 2
_
:
2
_
+ 4
_
:
4
_
+ 6
_
:
6
_
+ = :2
n2
34. Conjeture una frmula para
n
i=2
_
i
2
_
.
35. Prube la frmula que supuso en el Ejercicio 34.
36. Conjeture una frmula para
n
i=3
_
i
3
_
37. Probar la frmula supuesta en el Ejercicio 36.
38. Usando los ejercicios 34-37, prediga una frmula para
n
i=k
_
i
/
_
.
Objetivo
En el presente taller se busca construr una funcin que ilustre el desarrollo
de binomios a partir del teorema del binomio y algunas otras involucren el
coeciente binomial comb(n,r).
La funcin COMB(n, r) da el nmero combinatorio, se simplica a
:!
r!(: r)!
.
Actividades
1. En esta primera actividad se crear una funcin que genere un vector con
la /sima la del tringulo de pascal, se le llamar a la funcin "la",
de esta forma la fucin es
fila(n):=VECTOR(COMB(n,r),r,0,n)
As, fila(4), se simplica a un vector con los elementos de la cuarta la
del tringulo de Pascal, es decir a [1, 4, 6, 4, 1].
2. La funcin a continuacin denominada "binomio"permite encontrar la ex-
pansin de un binomio a la :sima 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 simplica a la expansin del binomio
(2a +/)
3
es decir a 8a
3
+ 12a
2
/ + 6a/
2
+/
3
.
3. A continuacin se dene una funcin denominada termino(k,x,y,n), esta
funcin permite obtener el /simo trmino de la expansin del binomio
(r +j)
n
termino(k, x, y, n) := COMB(n, k - 1)x^(n - (k - 1))y^(k - 1)
as, termino(3, 2a, b, 3) se simplica al tercer trmino de la expansin
del binomio (2a +/)
3
en este caso 6a/
2
.
1.6. NMEROS POLIGONALES 41
1.6. Nmeros Poligonales
Un nmero poligonal es aquel nmero que pueden congurarse en un pol-
gono regular. Ellos proporcionan un fascinante eslabn entre la teora de nmeros
y la geometra. No sorprende que los nmeros poligonales tengan un origen an-
tiguo, y efectivamente se cree que ellos fueron inventados por los pitagricos en
1665. Pascal public un libro sobre ello llamado Tratado sobre nmeros cifrados.
Los nmeros poligonales, tambin conocidos como nmeros cifrados en el
plano, son enteros positivos que pueden ser representados por polgonos regu-
lares en un modelo sistemtico. Se mostrar algunos tipos de tales nmeros:
nmeros triangulares, nmeros cuadrados, nmeros pentagonales y nmeros
hexagonales.
En bolos los diez pinos son ordenados inicialmente en un despliegue triangu-
lar. De manera similar, las 15 bolas en el juego de pool son inicialmente colocadas
en una forma triangular. Ambos nmeros 10 y 15 son nmeros triangulares.
De acuerdo a lo expresado, se presenta la siguiente denicin.
Nmeros Triangulares
Un nmero triangular es un entero positivo que puede ser representado gr-
camente por un arreglo triangular equiltero. El :simo nmero triangular
se denota por t
n
, con : _ 1.
Los primeros cuatro nmeros triangulares son, 1, 3, 6, y 10 y ellos se rep-
resentan en la Figura 1.3 Ya que la isima la, de arriba hacia abajo, en el
isimo nmero triangular tiene i puntos, t
n
es igual a la suma de los : primeros
enteros positivos, esto es
t
n
=
n
i=1
i =
:(: + 1)
2
.
Por ejemplo, t
4
= (4 5) 2 = 10 y t
36
= (36 37)2 = 666.
Figura 1.3: Nmeros Triangulares.
Figura 1.4: Nmeros Cuadrados
Luego
t
n
=
_
: + 1
2
_
,
de esta forma, los nmeros triangulares pueden ser leidos en el tringulo de
Pascal.
Ya que en cada conguracin triangular cada la contiene un punto ms que
la la anterior, t
n
puede ser denida recusivamente, ver Tabla 1.
Tabla 1
Una Frmula Recursiva para t
n
t
1
= 1
t
n
= t
n1
+:, : _ 2
Como un ejemplo, ya que t
3
= 6, t
4
= t
3
+ 4 = 6 + 4 = 10.
El Ejercicio 1 de esta seccin plantea resolver la relacin de recurrencia para
encontrar una formula explcita para t
n
.
Nmeros Cuadrados
Enteros positivos que pueden ser representados por arreglos cuadrados (de
puntos) se denominan nmeros cuadrados. El :simo nmero cuadrado
se denota por :
n
. La Figura muestra los primeros cuatro nmeros cuadrados,
1, 4, 9 y 16. En general :
n
= :
2
, : _ 1. Como antes, :
n
tambin puede denirse
recursivamente. La Figura 1.5 permite ver como esto puede considerarse. Puede
verse un patrn, en donde el nmero de puntos en cada arreglo (excepto el
Figura 1.5: Recursividad para nmeros cuadrados
primero), es igual al nmero de puntos en el arreglo anterior ms dos veces el
nmero de puntos en la la del anterior arreglo ms uno; esto es,
:
n
= :
n1
+ 2(: 1) + 1
= :
n1
+ 2: 1
As, se tiene la siguiente denicin recursiva de :
n
:
Una Frmula Recursiva para o
n
:
1
= 1 (1.9)
:
n
= :
n1
+ 2: 1, : _ 2
Ahora se demostrar una relacion entre t
n
y :
n
. El siguiente teorema cono-
cido por el matematico griego Theon de Smyrna (ca. A.D. 100) Y Nicomachus,
establece algebricamente que :
n
= t
n
+t
n1
.
Teorema 32 La suma de dos nmeros triangulares consecutivos es un cuadra-
do.
Demostracin.
t
n
+t
n1
=
:(: + 1)
2
+
:(: 1)
2
=
:
2
(: + 1 +: 1) =
:
2
(2:)
= :
2
= :
n
.
A continuacin se presentan algunos resultados a travs de dos teoremas
cuyas demostraciones se dejan como ejercicio.
Figura 1.6: Nmeros Pentagonales
Teorema 33
t
2
n1
+t
2
n
= t
n
2.
Teorema 34
8t
n
+ 1 = (2: + 1)
2
8t
n1
+ 4: = (2:)
2
El siguiente turno es para los nmeros pentagonales
10
j
n
.
Nmeros Pentagonales
Los primeros tres nmeros pentagonales 1, 5 y 12 son ilustrados en la Figura
1.6 y se puede notar que
j
n
=
:(3: 1)
2
(Ver seccin de ejercicios).
Una interesante relacin que conecta nmeros triangulares, cuadrados y pen-
tagonales puede establecerse de la siguiente forma,
t
n1
+:
n
= j
n
, : _ 2,
esto puede vericarse algebricamente y se deja como ejercicio para el lector.
A continuacin se discutir respecto a los nmeros hexagonales
11
/
n
.
10
El prejo griego penta signica cinco
11
El prejo griego hexa signica seis
Figura 1.7: Nmeros hexagonales
Nmeros Hexagonales
La Figura 1.7 muestra la representacin grca de los primeros tres nmeros
hexagonales 1, 6 y 15. Se puede vericar que
/
n
= :(2: 1), : _ 1
(Ver seccin de ejercicios).
Los nmeros triangulares, pentagonales y hexagonales satisfacen la relacin
j
n
+t
n1
= /
n
se puede vericar esto (Ver seccin de ejercicios).
Ejercicios 1.6
1. Resuelva la relacin de recurrencia para t
n
.
2. Encuentre el valor de : tal que t
n
= 666. (El nmero 666 se conoce como
el nmero de la bestia)
3. Resuelva la relacin de recurrencia para :
n
.
4. Muestre que 8t
n
+ 1 = :
2n+1
. Diofanto
5. Dena recursivamente el :simo nmero pentagonal j
n
.
6. Usando la relacin en el ejercicio 5, encuentre una formula explcita para
j
n
.
Pruebe para : _ 2.
7. t
2
n1
+t
2
n
= t
n
2
8. j
n
+t
n1
= /
n
9. Dena recursivamente el :simo nmero hexagonal /
n
.
10. Usando la relacin de recurrencia en el ejercicio 9, encuentre una formula
explcita para /
n
.
Objetivo
En el presente taller se busca conocer las funciones que permiten obten-
er los nmeros poligonales, en particular los nmeros triangulares, cuadrados,
pentagonales y hexagonales trabajados en esta seccin.
Para los nmeros triangulares se tiene la funcin TRIANGULAR(n) que permite
obtener el :simo nmero triangular. En general, la funcin POLYGONAL(n,
p) se simplica al :simo nmero poligonal con j caras, j _ 2. Por ejemplo,
para hallar los 10 primeros nmeros poligonales de 3 caras, o tambien llamados
triangulares, se simplica cualquiera de las dos siguientres expresiones,
VECTOR(TRIANGULAR(n),n,1,10)
o
VECTOR(POLYGONAL(n, 3),n,1,10)
su simplicacin 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 nmeros hexag-
onales se procede a simplicar la expresin
VECTOR(POLYGONAL(n, 6),n,1,20)
Actividades
Con base en las relaciones de recurrencia denidas para cada tipo de nmero
poligonal y utilizando la funcin IF es posible denir tambin en DERIVE
funciones que permitan obtener los nmeros poligonales. Puede utilizarse la
funcin de recurrencia en (1.9), denida para los nmeros cuadrados, y construir
una funcin en DERIVE para los nmeros cuadrados as,
cuadrado(n):=IF(n=1,1,cuadrado(n-1)+2n-1)
Habiendo denido esta funcin, simplicando la expresin
VECTOR(cuadrado(n),n,1,10)
se obtiene un vector con los 10 primeros nmeros cuadrados, esto es
[1, 4, 9, 16, 25, 36, 49, 64, 81, 100]
Figura 1.8: Nmeros Piramidales Triangulares
1.7. Nmeros Piramidales
Ahora se estudiar guras slidas de nmeros, las cuales estn comprendidas
por enteros positivos que pueden ser representados de forma piramidal. Se ob-
tienen realizando sumas sucesivas de los correspondientes nmeros poligonales.
Los nmeros de lados en la base de una pirmide se incrementa a partir de
tres, de esta forma se van obteniendo los diversos nmeros piramidales, como
los triangulares, cuadrados, pentagonales, hexagonales y as sucesivamente.
Se iniciar con el ms simple de los nmeros piramidales, los nmeros pi-
ramidales triangulares, tambin conocidos como nmeros tetradricos.
Nmeros Piramidales Triangulares
El :simo nmero piramidal tringular T: es la suma de los : primeros
nmeros triangulares t
n
. Los cuatro primeros nmeros son de la forma: T
1
= 1;
T
2
= t
1
+t
2
= 1+3 = 4; T
3
= t
1
+t
2
+t
3
= 1+3+6 = 10; y T
4
= t
1
+t
2
+t
3
+t
4
=
1+3+6+10 = 20. La Figura 1.8 permite observar la obtencin de los diferentes
nmeros piramidales triangulares, apilando canicas en el orden mostrado.
Los diferentes nmeros pirmidales tringulares pueden construirse utilizan-
do la regularidad presentada en la Tabla 1.9. Luego, para obtener el 5o nmero
piramidal triangular se suma el 4o nmero piramidal triangular con el 5o nmero
triangular. De manera general T
n
= T
n1
+ t
n
; que equivale a, T
n
= T
n1
+
[:(: + 1)],2.Ya que
T
n
=
n
i=1
t
i;
1.7. NMEROS PIRAMIDALES 49
Figura 1.9: Regularidad Nmeros Piramidales Triangulares
de la seccin anterior se tiene que:
T
n
=
n
i=1
i(i + 1)
2
=
:(: + 1)(: + 2)
6
=
_
: + 2
3
_
Por consiguiente, T
n
tambin puede ser ledo en el tringulo de Pascal.
Nmeros Piramidales Cuadrados
Aqu la base de la piramide para la obtencin de los nmeros piramidales
cuadrados es, efectivamente un cuadrado. Y cada nivel contiene :
n
puntos. La
Figura 1.10 muestra la construccin del 4o nmero piramidal cuadrado, utilizan-
do una estructura a partir de canicas.)
Figura 1.10: Construccin del 4o nmero piramidal cuadrado
Los primeros cuatro nmeros piramidales cuadrados son 1, 5, 14 y 30.
Los nmeros cuadrados pirmidales, notados o
n
, pueden construirse fcilmente
usando la estructura presentada en la Figura 1.11.Luego el :simo nmero
piramidal cuadrado se puede obtener
o
n
=
n
k=1
:
k
=
n
k=1
/
2
=
:(: + 1)(2: + 1)
6
.
Figura 1.11: Regularidad Nmeros Piramidales Cuadrados
Nmeros Piramidales Pentagonales
La :sima la de una pirmide pentagonal representa el :simo nmero
pentagonal j
n
, los primeros cinco nmeros pirmidales pentagonales son 1,
6, 18, 40, y 75. Una vez ms, se presenta mediante la Figura 1.12 la regularidad
para su construccin.Se propone como ejercicio encontrar una frmula explcita
para el :simo nmero piramidal pentagonal notado 1
n
.
Figura 1.12: Regularidad Nmeros Piramidales Pentagonales
Finalmente se hablar de los nmeros pirmidales hexagonales H
n
.
Nmeros Piramidales Hexagonales
La :sima la de una piramide hexagonal representa el :simo nmero
hexagonal /
n
, los primeros cinco nmeros pirmidales hexagonales son 1,
7, 22, 50 y 95. De igual manera, se propone como ejercicio, con base en la Figura
1.13, encontrar una formula explcita para H
n
.
Figura 1.13: Regularidad Nmeros Piramidales Hexagonales
Ejercicios 1.7
1. Encuentre los primeros cuatro nmeros triangulares que son cuadrados.
1.7. NMEROS PIRAMIDALES 51
2. Usando la relacin de recurrencia T
n
= T
n1
+
n(n+1)
2
donde T
1
= 1,
encuentre una formula explcita para el :simo nmero triangular pi-
ramidal T
n
.
3. Dena recursivamente en :simo nmero piramidal cuadrado o
n
.
4. Usando el ejercicio 3, encuentre una frmula explcita para o
n
.
5. Encuentre una frmula para el :simo nmero piramidal pentagonal 1
n
.
6. Dena recursivamente el :simo nmero piramidal pentagonal 1
n
.
7. Use el ejercicio 6, encuentre una frmula explcita para 1
n
.
8. Encuentre una frmula para el :simo nmero piramidal hexagonal H
n
.
9. Dena recursivamente el :simo nmero piramidal hexagonal H
n
.
10. Use el ejercicio 9, encuentre una frmula explcita para H
n
.
Objetivo
En el presente taller se explorar la funcin POLYGONAL_PYRAMID(n, p, d)
que permiten obtener los diferente tipo de nmeros piramidales.
En general, Derive provee una funcin que permite generar cualquier nmero
piramidal, incluso con esta funcin se pueden obtener los nmeros poligonales.
La funcin a que se reere es
POLYGONAL_PYRAMID(n, p, d)
cuyos parmetros son n que indica que se va a generar el :simo nmero que
se quiere, p que hace referencia al nmero de lados del polgono que constituye
la base del nmero que se pretende obtener y d es la dimensin, 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 ms dimensiones.
Actividades
A continuacion se generar un vector con los 10 primeros nmeros pirami-
dales triangulares mediante la simplicacion del siguiente cdigo
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 simplica
que genera como resultado
[1, 5, 14, 30, 55, 91, 140, 204, 285, 385]
Para los 10 primeros piramidales hexagonales se simplica
que permite obtener el vector
[1, 7, 22, 50, 95, 161, 252, 372, 525, 715]
1.8. NMEROS DE CATALN 53
1.8. Nmeros de Cataln
Los nmeros de Cataln son un un conjunto de nmeros que encajan de
manera perfecta dentro de este contexto, stos son excelentes candidatos para la
exploracin, la experimentacin y para establecer conjeturas. Como los nmeros
de Fibonacci y de Lucas, stos tienen, como Martin Gardner escribi en la Scien-
tic American, "la misma encantadora propensin para aparecer de improviso,
en particular en problemas combinatorios "(1976). Aquellos sitios inesperados
en donde aparecen incluyen el lgebra abstracta, la teora combinatoria, la in-
formtica, la teora grafos, y la geometra.
Los nmeros de Cataln son llamados as luego de que el matemtico bel-
ga Eugene C. Cataln, los descubriera en 1838, mientras l estudiaba las se-
cuencias gramaticalmente correctas de parntesis. Antes, alrededor de 1751, el
excepcional matemtico suizo Leonhard Euler los encontr estudiando las tri-
angulaciones de polgonos convexos.
El Problema de la Triangulacin de Euler
Se inicia el estudio de los nmeros de Cataln C
n
, con la investigacin de
Euler del problema de la triangulacin:
Problema 35 Encuentre el nmero de formas
n
, en que el interior de un
:gono convexo
12
puede ser dividido en reas triangulares no superpuestas
dibujando diagonales que no se cruzan, donde : _ 3.
Hay slo un forma de dividir un tringulo en reas triangulares, dos modos
diferentes de dividir en reas triangulares un cuadrado, cinco modos diferentes
de dividir en reas triangulares un pentgono, y 14 modos diferentes de dividir
un hexgono, como se muestra en la Figura 1.14. As, se tienen los nmeros de
Cataln 1, 2, 5, y 14.Se propone como ejercicio para el lector encontrar las 5
formas de dividir en reas triangulares el pentagono.
Euler usa un argumento inductivo para establecer la formula
n
=
2 6 10 (4: 10)
(: 1)!
para : _ 3
para incluir los casos : = 0, 1, 2 haciendo / = : 3 se tiene
k+3
=
2 6 10 (4/ + 2)
(/ + 2)!
para / _ 0
As,
3
= 1,
4
= 2,
5
= 5, se obtienen de la anterior expresin asignando
valores de / = 0, / = 1 y / = 2 y que corresponden a los nmeros de Cataln
12
Un agono convexo es un polgono con a lados tal que todas sus diagonales quedan
totalmente en el interior del polgono.
Figura 1.14: El Problema de la Triangulacin de Euler
C
1
, C
2
, C
3
respectivamente. Cambiando dos espacios a la derecha se tiene que
C
n
=
n+2
, luego
C
n
=
n+2
=
2 6 10 (4: 2)
(: + 1)!
para : _ 1,
pero
C
n
=
2 6 10 (4: 2)
(: + 1)!
=
(4: 2)
: + 1
2 6 10 (4: 6)
:!
=
(4: 2)
: + 1
C
n1
Cuando : = 1 se tiene que C
1
= C
0
, pero ya que C
1
= 1, deniendo C
0
= 1 se
puede escribir la recursividad de los nmeros de Cataln como sigue.
Una Denicin Recursiva de C
n
C
0
= 1
C
n
=
(4: 2)
: + 1
C
n1
si : _ 1.
Una Formula Explcita para C
n
Para la solucin de la relacin de recurrencia presentada antes se tiene,
C
n
=
(4: 2)
: + 1
C
n1
=
(4: 2)
: + 1
(4: 6)
:
C
n2
=
(4: 2)
: + 1
(4: 6)
:
(4: 10)
: 1
C
n3
.
.
.
=
(4: 2)(4: 6)(4: 10) 6 2
(: + 1):(: 1) 3 2
C
0
= 2
n
(2: 1)(2: 3)(2: 5) 3 1
(: + 1)!
= 2
n
(2: 1)(2: 3)(2: 5) 3 1
(: + 1)!
_
2 4 (2:)
2 4 (2:)
_
= 2
n
(2:)!
(: + 1)!
1
2
n
[1 2 :]
= 2
n
(2:)!
(: + 1)!
1
2
n
:!
=
1
(: + 1)
(2:)!
:!:!
=
1
: + 1
_
2:
:
_
.
Ya que (: + 1)[
_
2:
:
_
(se propone esta armacin como ejercicio para el
lector)
13
, de esto se sigue que todo nmero de Cataln es entero positivo. A
continuacin se presentan los primeros nmeros de Cataln:
1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, ...
Se sigue desde la formula explcita que todo nmero de Cataln C
n
puede
extraerse desde el tringulo de Pascal: Dividiendo cada coeciente binomial
13
ojb signica que o es factor de b, o que o divide a b.
central
_
2:
:
_
entre (: + 1),
|
_
0
0
_
_
1
0
_ _
1
1
_
_
2
0
_ _
2
1
_ _
2
2
_
_
3
0
_ _
3
1
_ _
3
2
_ _
3
3
_
_
4
0
_ _
4
1
_ _
4
2
_ _
4
3
_ _
4
4
_
Ejercicios 1.8
Probar.
1. C
n
=
1
:
_
2:
: 1
_
2. C
n
=
_
2:
:
_
_
2:
: 1
_
3. C
n+1
=
_
2:
:
_
_
2:
: 2
_
4. C
n
=
1
2: + 1
_
2: + 1
:
_
5. C
n
=
_
2: 1
: 1
_
_
2: 1
: 2
_
6. C
n
= 2
_
2:
:
_
_
2: + 1
:
_
7. C
n
=
_
2: + 1
: + 1
_
2
_
2:
: + 1
_
Usando la formula recursiva
C
n
=
b(n1)=2c
r=0
_
: 1
2:
_
2
n2r1
C
r
calcule C
n
para cada valor de :.
8. : = 5
9. : = 6
Objetivo
En el presente taller se explorar la funcin CATALAN(n) y se construir otra
a partir de la recursividad que genere los nmeros de Calaln.
La funcin en Derive que por defecto genera los nmeros de Cataln se dene
como CATALAN(n) y se simplica al :simo nmero de Cataln.
Actividades
Para obtener un vector con los diez primeros nmeros de Cataln se simplica
la expresin a continuacin
VECTOR(CATALAN(n),n,1,10)
Utilizando la denicin recursiva del los nmeros de Cataln dada en esta
seccin es posible construir una funcin que genere dichos nmeros, es as como
deniendo la funcin
c(n):=IF(n = 0, 1, (4n - 2)/(n + 1)c(n - 1))
y simplicando
VECTOR(c(n),n,1,10)
se obtiene
[1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796]
Captulo 2
Divisibilidad
Este captulo continua con el estudio de las propiedades de los enteros y
explora los nmeros primos, los cuales son un componente bsico de ste con-
junto, los nmeros compuestos y una clase particular de nmeros denominados
nmeros de Fermat.
2.1. El Algoritmo de la Divisin
El algoritmo de divisin es una na aplicacin del principio del buen orden y
a menudo se emplea como mtodo de comprobacin del proceso de la divisin.
Suponga que un entero a se divide por un entero positivo /. Entonces se
obtiene un nico cociente y un nico residuo (o resto) r, donde el residuo
satisface la condicin 0 _ r < /; a es el dividendo y / es el divisor. Esto
formalmente se establece de la siguiente forma.
Teorema 36 (El Algoritmo de la Divisin) Sea a cualquier entero y / un
entero positivo. Entonces existen enteros nicos y r tales que
a = / +r
donde 0 _ r < /.
Demostracin. La prueba consiste en dos partes. Primero se establecera la
existencia de los enteros y r y luego se mostrar que ellos son nicos.
Demostracin de la existencia
Considere el conjunto o = a /:[(: Z) y (a /: _ 0) . Claramente,
o _ \. Se desea mostrar que o tiene un mnimo elemento. Para este n, primero
se muestra que o es un subconjunto no vacio de \ :
59
60 CAPTULO 2. DIVISIBILIDAD
Caso 1. Suponga a _ 0. Entonces a = a/ 0 o, as o contiene un elemento.
Caso 2. Suponga a < 0. Ya que / Z
+
, / _ 1. Entonces /a _ a; esto es,
a /a _ 0. Consecuentemente, a /a o.
En ambos casos, o contiene al menos un elemento, as o es un subconjunto
no vaco de \. Por tanto, por el principio del buen orden, o contiene un mnimo
elemento r.
Ya que r o, existe un entero tal que r = a /, donde r _ 0.
Por mostrar que r < / :
Se mostrar esto por contradiccin. Escogiendo r _ /. Entonces r / _ 0.
Pero r / = (a /) / = a /( + 1). Ya que a /( + 1) es de la forma
a /: y es _ 0, a /( + 1) o; esto es, r / es ms pequeo que r y est en
o. Esto contradice la forma de escoger r, as r < /.
As, hay enteros y j talque a = / +r, donde 0 _ r < /.
Demostracin de la unicidad
Se quiere ahora mostrar que los enteros y r son nicos. Suponiendo que
hay enteros ,
0
, r y r
0
tales que a = / + r y a = /
0
+ r
0
, donde 0 _ r < / y
0 _ r
0
< /.
Asumiendo, por conveniencia, que _
0
. Entonces r
0
r = /(
0
). Ya que
_
0
,
0
_ 0 y ya que r
0
r _ 0. Pero, ya que r
0
< / y r < /, r
0
r < /.
Suponga que
0
; esto es,
0
_ 1. Entonces /(
0
) _ /; esto es,
r
0
r _ /. Que es una contradiccin ya que r
0
r < /. Por tanto,
0
; as,
=
0
, y ya que, r = r
0
. Luego, los enteros y r son nicos, completando la
prueba de unicidad.
Aunque tradicionalmente se haya dado a este teorema el nombre de algoritmo
de divisin, ste no presenta un algoritmo para encontrar y r. Ellos se pueden
encontrar usando el mtodo largo de la divisin.
Ejemplo 37 Encuentre el cociente y el residuo r cuando
1. 207 se divide por 15
2. 23 se divide por 5
Solucin.
1. 207 = 15 3 + 12; as = 13 y r = 12.
2. Ya que 23 = 5 (4) + (3), se estara tentado a decir que = 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 numrica en la Figura 2.1). De esta forma, = 5 y r = 2.
2.1. EL ALGORITMO DE LA DIVISIN 61
Figura 2.1: Ilustracin de la division de 23 entre 5 en la recta numrica.
Puede notarse que la ecuacin a = / +r puede escribirse
a
/
= +
r
/
,
donde 0 _ r,/ < 1. Consecuentemente, = a,/| y r = a / = a / a,/| .
Operadores Div y Mod
Los operadores binarios, div y mod, son frecuentemente usados en el rea de
las matemticas discretas y computacionales para encontrar cocientes y residuos.
Se pueden denir de la siguiente forma:
a div / = cociente cuando a se divide entre /
a mod/ = residuo cuando a se divide entre /
Por ejemplo, 23 div 5 = 4, y 23 mod5 = 3; 23 div 5 = 5, y 23 mod5 = 2,
como se argument en el ejemplo anterior.
De las deniciones anteriores se puede escribir
= a div / = a,/|
y
r = a mod/ = a / = a / a,/| .
El Principio del Palomar y el Algoritmo de la Divisin
El principio del palomar es tambin conocido como el principio de las
cajas de Dirichlet luego de que el matemtico alemn Gustav Peter Lejeune
Dirichlet lo usara extensivamente en sus trabajos sobre teora de nmeros. Este
principio puede ser utilizado en variadas situaciones.
Suponga : palomas volando hacia : palomares, donde : :. Cul es su
conclusin? Ya que hay ms palomas que palomares, al menos dos palomas se
posarn en el mismo palomar; en otras palabras, hay palomares que contendrn
dos o ms palomas.
Se establecer y probar a continuacin una versin simple del principio de
palomar.
Teorema 38 (El Principio del Palomar) Si : palomas son asignadas a
: palomares, donde : :, entonces al menos dos palomas ocupan el mismo
palomar.
Demostracin. (por contradiccin) Suponga que la conclusin es falsa; esto
es, no hay dos palomas que ocupan el mismo palomar. Entonces toda paloma
puede ocupar un distinto palomar, as : _ :, lo cual contradice la hiptesis
que : :. As, dos o ms palomas ocupan el mismo palomar.
Ejemplo 39 El principio del palomar permite probar que en nuestra ciudad
existen dos personas que tienen el mismo nmero de pelos en la cabeza. La
situacin se puede argumentar de la siguiente manera, suponga que una persona
tiene a lo ms 150.000 pelos en la cabeza, habrn calvos (0 pelos en la cabeza),
personas con tendencia a la calvicie (digamos 100 pelos en la cabeza), en n,
ellos se podran clasicar dependiendo del nmero de pelos en la cabeza. Suponga
que en un primer cuarto entran todos los calvos, en un segundo cuarto entran
los que tienen un pelo y as sucesivamente en el ltimo cuarto entran los que
tienen 150 mil pelos. De esta forma se tendran 150.001 cuartos en donde estn
todos los habitantes de nuestra ciudad. Bajo estos supuestos, si nuestra ciudad
tiene ms de 150.001 habitantes
1
, por el teorema del palomar, necesariamente
debe existir un cuarto que tiene al menos dos personas, esto es, tienen la misma
cantidad de pelos en la cabeza.
A continuacin se presenta la relacin de divisibilidad.
La Relacin de Divisibilidad
Suponga que en el algoritmo de la divisin r = 0. Entonces a = / +0 = /.
Se puede armar que / divide a a, / es factor de a, a es divisible por /, o a es
un mltiplo de /, y se escribe /[a. Si / no es factor de a, se escribe / - a.
Por ejemplo, 3[12, 5[30, pero 6 - 15.
Ejemplo 40 Sea / un entero _ 2. Suponga que / + 1 enteros se seleccionan
aleatoriamente. Probar que la diferencia de dos de ellos es divisible por /.
Solucin. Sea el cociente y r el residuo cuando un entero a se divide
por otro entero /. Entonces, por el algoritmo de la divisin, a = / + r, donde
0 _ r < /. Los / + 1 enteros dan / + 1 residuos (palomas), pero hay solamente
/ posibles residuos (palomares). Por tanto, por el principio del palomar, dos de
los residuos deben ser iguales.
1
La siguiente pgina de Internet permite, oprimiendo la tecla F5, saber cuntos habitantes
tiene la ciudad de Bogot en un instante, en el momento en que se escribe este texto hay
7.261.523 habitantes:
http://www.sdp.gov.co:8443/www/formula_contador.php
Sean r y j los corrrespondientes enteros. Entonces r = /
1
+r y j = /
2
+r
para algunos cocientes
1
y
2
. Por tanto,
r j = (/
1
+r) (/
2
+r)
= / (
1

2
)
as, r j es divisible por /.
Un Acertijo Intrigante
Piense en un nmero de tres dgitos a/c. Multiplique el nmero a/c y sus
sucesivas respuestas por 7, 11 y 13, respectivamente. Su respuesta es el nmero
a/ca/c. Sorprendido? Puede usted explicar el porqu de este resultado?
A continuacin se estudian varias propiedades de la divisibilidad. Se deja al
lector sus pruebas como ejercicios.
Teorema 41 Sean a y / enteros positivos tales que a[/ y /[a. Entonces a = /.
Teorema 42 Sean a, /, c, c y , enteros cualesquiera.
2
Entonces
1. Si a[/ y /[c, entonces a[c. (Propiedad Transitiva)
2. Si a[/ y a[c, entonces a[(c/ +,c).
3. Si a[/, entonces a[/c.
Observacin La expresin c/ +,c se llama combinacin lineal de / y c.
As, por la parte 2, si a es un factor de / y c, entonces a es tambin combinacin
lineal de / y c. En particular, a[(/ + c) si c = , = 1 y a[(/ c) si c = 1 y
, = 1.
La funcin piso puede usarse para determinar el nmero de nmeros enteros
positivos menores o iguales que un nmero entero positivo a y divisible por un
nmero entero positivo /, como el siguiente teorema muestra.
Teorema 43 Sean a y / enteros positivos. Entonces el nmero de enteros po-
sitivos _ a y divisible por / es a,/| .
Demostracin. Suponga que hay / enteros positivos _ a y divisibles por /.
Se necesita mostrar que / = a,/| . Los mltiplos positivos de / menores o
iguales que a son /, 2/, ..., //. Claramente, // _ a, esto es, / _ a,/. Ms aun,
(/ + 1)/ a. As, / + 1 a,/ o a,/ 1 < /. Por lo tanto,
a
/
1 < / _
a
/
.
2
c y o son las letras griegas alfa y beta.
As, / es el ms largo entero menor o igual a a,/, luego / = a,/| .
Por ejemplo, el nmero de enteros positivos _ 2076 y divisibles por 19 es
2076,19| = 109, 26316| = 109.
A continuacin, se consideraran algunos aspectos de conjuntos y de el prin-
cipio de inclusin-exclusin.
Unin, Interseccin y Complemento
Sea un conjunto nito y sea [[ el nmero de elementos en . Por ejemplo,
si = 3, 5, 8, 17 , entonces [[ = 4. (En el Captulo 1, se utiliz las barras
verticales para denotar el valor absoluto de un nmero, pero aqui denotar el
nmero de elementos en un conjunto. El signicado de la notacin debe poder
deducirse dependiendo del contexto.)
Sean y 1 dos conjuntos . Su unin ' 1 es el conjunto de elementos
pertenecientes a o a 1; su interseccin 1 consiste en los elementos
comunes;
0
denota el complemento de , esto es, el conjunto de elementos en
el conjunto universal que no estn en .
A continuacin se estudiar el principio de inclusin-exclusin.
Teorema 44 (El Principio de Inclusin-Exclusin) Sean
1
,
2
, ...,
n
:
conjuntos nitos. Entonces
n
_
i=1
=

1in
[
i
[

1i<jn
[
i

j
[
+

1i<j<kn
[
i

j

k
[ + (1)
n+1
i=1
.
Los siguientes dos ejemplos son simple aplicaciones de este teorema.
Ejemplo 45 Encuentre el nmero de enteros positivos _ 2076 y divisibles por
ambos, 4 y 5.
Solucin. Sea
= r N[r _ 2076 y divisibles por 4
y
1 = r N[r _ 2076 y divisibles por 5 .
Entonces
[' 1[ = [[ +[1[ [ 1[
= 2076,4| +2076,5| 2076,20|
= 519 + 415 103 = 831.
As, entre los primeros 2076 nmeros enteros positivos, hay 2076831 = 1245
nmeros enteros no divisibles por 4 o 5.
Ejemplo 46 Encuentre el nmero de enteros positivos _ 3000 y divisibles por
3, 5 o 7.
Solucin. Sean A, B y C los conjuntos enteros positivos _ 3000 y divisibles
por 3, 5 o 7. Por el principio de inclusin-exclusin,
[' 1 ' C[ = [[ +[1[ +[C[ [ 1[ [1 C[ [ C[ +[ 1 C[
= 3000,3| +3000,5| +3000,7| 3000,15|
3000,35| 3000,21| +3000,105|
= 1629.
Ahora se retornar al algoritmo de la divisin y se discutir sobre algunas
propiedades de la divisibilidad que envuelve enteros pares e impares.
Enteros Pares e Impares
Suponga que en el algoritmo de la divisin se hace / = 2. Entonces se tiene
a = 2 + r, donde 0 _ r < 2. As, r = 0 o r = 1. Cuando r = 0, a = 2; tales
enteros son enteros pares. Cuando r = 1, a = 2 + 1; tales enteros son enteros
impares. Se sigue de esta denicin que todo entero es uno de dos, par o impar,
pero no ambos.
Los Pitagricos consideraron los nmeros impares como masculinos y buenos,
y los nmeros pares como femeninos y malos. El nmero 1 no fue considerado ni
masculino ni femenino. El nmero 5, es la suma del primer nmero masculino y
el primer femenino, por tanto fue considerado como el smbolo del matrimonio.
Algunos lsofos, soportados por la temprana teologa cristiana, identicaron
los nmeros con Dios.
Las siguientes propiedades tambin fueron conocidas por los Pitagricos. Su
demostracin 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 )(:) el nmero de factores positivos del entero :. De esta
forma evalue.
5. )(16)
6. )(12)
7. )(15)
8. )(17)
Encuentre el nmero de enteros positivos _ 3076 y
9. Divisibles por 19
11. No divisibles por 17
Encuentre el nmero de enteros positivos en el rango de 1976 hasta 3776
que son
Marque como verdadero o falso, suponiendo que a, / y c son enteros arbi-
trarios.
17. 1[a
18. Si a[/, entonces a[ /
19. a[0
20. Si a[/ y /[a, entonces a = /.
21. Si a[/, entonces a < /.
22. Si a[/, entonces a[/.
23. Si a[/ y /[c entonces a[c.
24. Si a - /, entonces / - a.
25. Cero no divide ni a pares ni a impares.
26. No hay ningn residuo cuando un entero par se divide por 2.
Probar o refutar cada proposicin, asumiendo a, / y c son enteros arbi-
trarios.
27. Si a
2
= /
2
entoces a = /.
29. Si a[(/ +c), entonces a[/ y a[c.
30. Si a[/c entonces a[/ y a[c.
Evalue asumiendo d entero positivo.
31.

dj12
d
32.

dj12
1
33.

dj18
_
1
d
_
34.

dj18
_
18
d
_
35. Un nmero desnudo es un nmero natural : tal que cada uno de sus dgitos
es un factor de :. Encuentre los nmeros desnudos impares de tres dgitos
que no contienen dgitos repetidos.
Sea ) una funcin denida recursivamente por
)(:) =
_
1 si 3[:
)(: + 1) en otro caso
36. Encuentre )(16)
37. Encuentre una formula explcita para )(:).
Probar cada proposicin, asumiendo a y / son enteros positivos.
39. Si a[/ y c[d, entonces ac[/d.
40. La suma y el producto de cualquier dos enteros pares son pares.
Objetivo
En el presente taller se explorar la funcin MOD(m,n) y se construir con
base en esta la funcin DIV(m,n)
La funcin MOD(m,n) se simplica al residuo no negativo de dividir m entre
n. As cuando se divide 23 entre 5, como se vi en el Ejemplo 37, el residuo es
2, de esta forma al simplicar
MOD(-23,5)
se obtiene 2.
Actividades
Para denir el operador DIV se procede de la siguiente forma, ya que DIV
es una funcin reservada para Derive se utilizar como nombre de la funcin
Q(m,n),
Q(m,n):=FLOOR(m/n)
as
Q(-23,5)
se simplica al cociente de dividir 23 entre 5, es decir a 5.
Con este par de funciones as denidas se construira una funcin que dados
dos nmeros el divisor y el dividendo arroje como resultado un vector de dos
componenetes que cuyas componentes sean la cociente y el residuo, soportado
por el algoritmo de la divisin. Llamando la funcin 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 simplique AD(-23,5) el programa arrojar
[-5, 2].
2.2. CONFIGURACIONES NUMRICAS 69
2.2. Conguraciones Numricas
Las conguraciones de nmeros son una diversin tanto para acionados co-
mo para profesionales. A menudo el inters recae en aadir una o dos las al
modelo construido, entonces se debe tener capacidad para reconocer el modelo
para tener xito en el arte de razonamiento inductivo. Esto requiere tanto ha-
bilidad como ingenio. En dos de los siguientes ejemplos, pruebas matemticas
establecen la validez del modelo.
La siguiente fascinante conguracin numrica fue publicada en 1882 por el
matemtico francs Franois-Edouard-Anatole Lucas.
Ejemplo 47 Estudie la siguiente conguracin numrica y adicione dos o ms
lneas.
1 9 + 2 = 11
12 9 + 3 = 111
123 9 + 4 = 1111
1234 9 + 5 = 11111
12345 9 + 6 = 111111
123456 9 + 7 = 1111111
.
.
.
Solucin. Aunque el modelo aqu sea muy obvio, se hacen unas observa-
ciones, se estudia, se buscar un comportamiento similar, y se aplica el modelo
para aadir dos lneas ms:
El LMI de cada ecuacin es la suma de dos nmeros. El primer nmero
es el producto del nmero 123...: y 9.
El valor de : en la primera ecuacin es 1, en la segunda es 2, en la tercera
es 3, etc.
Observando los segundos sumandos en el LMI: 2, 3, 4, 5, .... Esta es una
secuencia creciente que comienza en 2, as el segundo sumando en la
:sima ecuacin es : + 1.
El LMD de cada ecuacin es un nmero cada vez mayor de 1s, la :sima
ecuacin contiene : + 1 unos.
As, el modelo que es: El primer nmero en la lnea :sima es 123...:;
el segundo nmero es siempre 9; el segundo sumando es : + 1; y el LMD est
compuesto de : + 1 unos.
As las dos siguientes lneas son
1234567 9 + 8 = 11111111
12345678 9 + 9 = 111111111
Ejemplo 48 Estudie la conguracin numrica y adicione dos o ms las:
1 8 + 1 = 9
12 8 + 2 = 98
123 8 + 3 = 987
1234 8 + 4 = 9876
12345 8 + 5 = 98765
123456 8 + 6 = 987654
.
.
.
Solucin. Un mirada a varias las revela el modelo siguiente: El primer
factor del producto en el LMI de la ecuacin :sima tiene la forma 123...:; el
segundo factor es siempre 8. El segundo sumando en la ecuacin es :. El nmero
en el LMD de la ecuacin :sima contiene : 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 conguracin son
1234567 8 + 7 = 9876543
12345678 8 + 8 = 98765432
Qu garantiza que estos dos modelo se sostendrn? En general, las con-
clusiones alcanzadas despus de la observacin 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. Cul es el siguiente nmero en la secuencia? Es el 7? ste es segu-
ramente una posibilidad, pero el siguiente nmero tambin 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
matemticas, como lo muestran los dos ejemplos siguientes.
Ejemplo 49 Establezca la validez del Ejemplo 47.
Demostracin. Se quiere probar que
123...: 9 + (: + 1) = 11 . . . 11
. .
n+1 unos
LMI = 123...: 9 + (: + 1)
= 9
_
1 10
n1
+ 2 10
n2
+ 3 10
n3
+ +:
_
+ (: + 1)
= (10 1)
_
1 10
n1
+ 2 10
n2
+ 3 10
n3
+ +:
_
+ (: + 1)
=
_
10
n
+ 2 10
n1
+ +: 10
_
_
10
n1
+ 2 10
n2
+ +:
_
+ (: + 1)
= 10
n
+ 10
n1
+ 10
n2
+ + 10 + 1
= 11 . . . 11
. .
n+1 unos
= LMD
(Sera interesante ver si este resultado se mantiene para cualquier entero posi-
tivo :; intntelo.)
Se estudiar un ejemplo adicional.
Ejemplo 50 Adicione dos o ms las en el siguiente modelo, conjeture una
formula para la :sima la, y pruebela:
9 9 + 7 = 88
98 9 + 6 = 888
987 9 + 5 = 8888
9876 9 + 4 = 88888
98765 9 + 3 = 888888
.
.
.
Solucin.
Las siguientes dos las de conguraciones son
987654 9 + 2 = 8888888
9876543 9 + 1 = 88888888
La conguracin general esta dada por
987...(10 :) 9 + (8 :) = 888 . . . 888
. .
n+1 ochos
, 1 _ : _ 8
Para probar la conjetura:
Demostracin.
LMI = 987...(10 :) 9 + (8 :)
= (10 1)[9 10
n1
+ 8 10
n2
+ 7 10
n3
+ + (11 :)10
+(10 :)] + (8 :)
= [9 10
n
+ 8 10
n1
+ + (11 :)10
2
+ (10 :)10]
[9 10
n1
+ 8 10
n2
+ + (11 :)10 + (10 :)] + (8 :)
= 9 10
n
(10
n1
+ 10
n2
+ + 10) (10 :) + (8 :)
= 9 10
n
(10
n1
+ 10
n2
+ + 10 + 1) 1
= 10 10
n
(10
n
+ 10
n1
+ + 10 + 1) 1
= 10
n+1
10
n+1
1
9
1, ya que
k
i=0
r
i
=
r
k+1
1
r 1
(r ,= 1)
=
8(10
n+1
1)
9
Pero
10
n+1
1 = 99 . . . 99
. .
n+1 nueves
as
10
n+1
1
9
= 11 . . . 11
. .
n+1 unos
.
Por tanto,
LMI =
8(10
n+1
1)
9
= 88 . . . 88
. .
n+1 ochos
= LMD
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 ms las a cada conguracin numrica.
8.
0 + 1 = 1
1 + 3 = 4
4 + 5 = 9
9 + 7 = 16
9.
1 = 1
1 + 2 = 3
1 + 2 + 3 = 6
1 + 2 + 3 + 4 = 10
10.
1 + 0 1 = 1
1 + 1 3 = 4
1 + 2 4 = 9
1 + 3 5 = 16
11.
2
3
2 = 1 2 3
3
3
3 = 2 3 4
4
3
4 = 3 4 5
5
3
5 = 4 5 6
12.
1 1 = 1
11 11 = 121
111 111 = 12321
1111 1111 = 1234321
11111 11111 = 123454321
13.
7 7 = 49
67 67 = 4489
667 667 = 444889
6667 6667 = 44448889
66667 66667 = 4444488889
14.
123456789 9 = 111111111
123456789 18 = 222222222
123456789 27 = 333333333
123456789 36 = 444444444
123456789 45 = 555555555
15.
4 4 = 16
34 34 = 1156
334 334 = 111556
3334 3334 = 11115556
33334 33334 = 1111155556
16.
10
2
10 + 1 = 91
10
4
10
2
+ 1 = 9901
10
6
10
3
+ 1 = 999001
10
8
10
4
+ 1 = 99990001
10
10
10
5
+ 1 = 9999900001
17-24. Conjeture una formula para la :sima la en cada una de las congura-
ciones en los ejercicios del 9 al 16.
25-29. Establezca la validez de su formula en los ejercios 17-20 y 24.
2.3. Nmeros Primos y Compuestos
Los nmeros primos estn contenidos en la familia de los nmeros enteros
positivos. Por medio de dos algoritmos que son usados a menudo, podemos
determinar si un nmero entero positivo es primo. Algunos enteros positivos
tienen exactamente dos factores positivos, otros tienen ms de dos. Por ejemplo,
3 tiene exactamente 2 factores positivos, 1 y 3; otros como el 6 tienen por ejemplo
4, estos son: 1, 2, 3 y 6.
Ahora de acuerdo con lo que se ha analizado, se dar la siguiente denicin:
2.3. NMEROS PRIMOS Y COMPUESTOS 75
Nmeros Primos y Compuestos
Un entero positivo 1 es un nmero primo (o simplemente un primo) si solo
tiene dos factores primos, uno y l mismo. Un entero positivo mayor que uno
que no sea un primo, es un nmero compuesto (o simplemente un compuesto).
Se notar por denicin que 1 no es ni nmero primo, ni tampoco nmero
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 nmeros compuestos son 4, 6, 8, 10, 12, 14, 15, 16 y 18.
Siguiendo la denicin, el conjunto de nmeros positivos pueden ser divididos
en tres clases:
El conjunto de los primos, el conjunto de los compuestos, y el conjunto 1.
Cuntos primos hay? Hay alguna forma sistemtica para determinar si un
nmeros positivo es primo?
Para responder a la primera pregunta, es necesario el siguiente Lema
3
, el
cual se prueba por induccin. Puede tambin probarse por contradiccin.
Lema 51 Todos entero : _ 2 tienen un factor primo.
Demostracin. (induccion fuerte) La proposicin dada es claramente cierta
cuando : = 2. Ahora se asumir que tambin es verdadera para todos los enteros
positivos : _ /, donde / _ 2. Ahora se considerar el entero / + 1.
Caso 1. Si /+1 es un primo, entonces /+1 tiene un factor primo (l mismo).
Caso 2 Si / + 1 no es un primo, / + 1 es un nmero compuesto, entonces
ste debe tener un factor d _ /. Ahora, por hiptesis de induccin, d tiene un
factor primo j. Luego, j es un factor primo de / + 1, por el Teorema 42.
As, por la versin fuerte de induccin, la proposicin es verdadera para
todo entero _ 2; Luego hemos demostrado que todo nmero entero _ 2 tiene
un factor primo.
Puede probarse que hay un nmero innito de primos. Este resultado ele-
gante presentado por Euclides, es muy usado en teora de nmeros. Se usar
esencialmente su tcnica proveniente del libro IX de los Elementos, para su
prueba. Pueden observarse pruebas alternativas de este resultado.
Teorema 52 Hay innitos nmeros primos.
Demostracin. (por contradiccin) Asuma que hay un nmero nito de
primos, j
1
, j
2
, ..., j
n
. Considere el entero = j
1
, j
2
...j
n
+1. Ya que _ 2, por
Lema 51 es divisible por algn primo j
i
, donde 1 _ i _ :. Ya que j
i
[ y
j
i
[j
1
j
2
j
n
, entonces j
i
[( j
1
j j
n
), por el Teorema 42; es decir, j
i
[1 lo
cual es imposible.
As, la suposicin hecha es falsa, por tanto tienen que haber innitos nmeros
primos.
3
Un lema es un menor resultado usado para probar un teorema.
La prueba de este teorema gira en la escogencia del nmero 1
n
= j
1
j
2
...j
n
+
1, donde j
i
denota el isimo primo e i _ 1. Los primeros 5 valores de 1
n
son
1
1
= 3, 1
2
= 7, 1
3
= 31, 1
4
= 211 y 1
5
= 2311, todos primos. Desafortunada-
mente, no todos los valores de 1
n
son primos. En 1996 A. A. K. Majumdar de
la universidad Jahangirnagar , Bangladesh estableci un cota superior para 1
n
,
cuando : _ 6: 1
n
< (j
n+1
)
n2
. Esto se puede establecer usando induccin.
Primos y Pi
Ahora se hace una interesante disgresin. En 1734 el gran matemtico suizo
Leonard Euler mostr que la suma de primos recprocos

p
1
p
diverge. Sin em-
bargo, el producto innito

p
_
1
1
p
2
_
converge a un lmite . De hecho, puede
mostrarse que
1
=
1
n=1
1
:
2
=
1
1
2
+
1
2
2
+
1
3
2
+ .
En 1734 Euler tambin mostr que

1
n=1
1
n
2
=

2
6
entonces =
6
2
.
4
As pues,

p
_
1
1
p
2
_
=
6
2
- 0,6079271018.
Ahora que ya se sabe que hay un nmero innito de primos, puede en-
contrarse algoritmos para determinar la primalidad de enteros _ 2?. El gran
matemtico alemn Gauss escribi en 1801 en Disquisitiones Arithmeticae: El
problema de distinguir nmero primos de nmeros compuestos... se conoce por
ser uno de los ms importantes y tiles en la aritmtica... Mas all, la dignidad
de la ciencia en si requiere que todo posible signicado sea explorado para la
solucin de un problema muy elegante y muy celebrado. Afortunadamente, hay
un algoritmo que est basado en siguiente resultado.
Teorema 53 Todo numero compuesto : tiene un factor primo _
_
:| .
Demostracin. Ya que : es compuesto, hay enteros positivos a y / tales que
: = a/, donde 1 < a < : y 1 < / < : Suponga a
_
: y /
_
:. Entonces
: = a/
_
:
_
: = :, lo cual es imposible. Por lo tanto, a _
_
: o / _
_
:. Ya
que ambos, a y / son enteros. de esto se sigue que a _
_
:| o / _
_
:|.
Por Lema 51 todo entero positivo _ 2 tiene un factor primo. Tal factor de a
o / tambin es un factor de a / = :, por lo tanto : debe tener un factor primo
_
_
:| .
Observacin Se sigue del Teorema anterior que si : no tiene factores
primos _
_
:| , entonces : es un nmero primo; en otro caso, : es un nmero
compuesto.
Este hecho puede usarse para determinar cuando un entero : _ 2 es primo,
como en el siguiente ejemplo.
4
u es la letra griega nu.
Ejemplo 54 Determinar si 1601 es un nmero primo.
Solucin. Primero se lista todos los nmeros 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 nmero primo.
La Criba de Eratstenes
El Teorema 53 tambin es la base de un antiguo algoritmo, la Criba de
Eratstenes, usado para encontrar todos los primos _ a un entero positivo :.
Es un eciente algoritmo para : < 10
6
. Se Ilustra el mecanismo de la Criba
para : = 100 en la Figura 2.2.
Para encontrar todos los primos _ 100, primero se enlistan todos los en-
teros positivos del 1 al 100. Entonces eliminamos al 1 y a todos los nmeros
compuestos _ 100 como sigue. Por el Teorema 53, cualquier nmero compuesto
_ 100 debe tener un factor primo _
__
100
_
, que es, _ 10. Pero los primos _ 10
son 2, 3, 5, 7, entonces los nmeros compuestos _ 100 son aquellos nmeros
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 mltiplos de 2, 3,
5, 7 pero no a ellos ya que son primos. Los nmeros ya eliminados no necesitan
ser sombreados nuevamente. Los que quedan son los primos _ 100.
Hay 25 nmeros 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 : crezca el mtodo se hace ineciente. De hecho, no existe un
mtodo prctico para probar la primalidad de nmeros grandes.
Tericos de los nmeros a menudo suean con encontrar formulas que generen
nmeros primos para valores consecutivos de un variable entera :. Euler encon-
tr una formula en 1772: 1(:) = :
2
:+41 la cual sirve para enteros positivos
Figura 2.2: Criba de Eratstenes
: _ 40. Pero cuando : = 41, 1(41) = 41
2
41 +41 = 41
2
que no es un nmero
primo.
En 1798 Adrien-Marie Legendre (17521833) encontr la formula 1(:) =
:
2
+ : + 41 que puede generar primos cuando 1 _ : _ 40. Note que 1(:) =
1(:). Sin embargo, nadie nunca ha construido con xito un polinomio )(:)
que genere nmeros primos para todos los enteros :. La raazn se aclara en el
siguiente ejemplo:
Ejemplo 55 Probar que no existe un polinomio con coecientes enteros que
genere primos para todo entero :.
Demostracin. (por contradiccin) Suponga que existe tal polinomio, )(:) =
a
k
:
k
+a
k1
:
k1
+... +a
1
: +a
0
, donde a
k
,= 0. Sea / un entero. Ya que )(:)
es siempre un primo, )(/) debe ser un primo j; esto es,
)(/) = a
k
/
k
+a
k1
/
k1
+... +a
1
/ +a
0
= j (2.1)
Sea t un entero arbitrario. Entonces
)(/ +tj) = a
k
(/ +tj)
k
+a
k1
(/ +tj)
k1
+ +a
1
(/ +tj) +a
0
= (a
k
/
k
+a
k1
/
k1
+ +a
1
/ +a
0
) +j q(t)
donde q(t) es un polinomio en t. As,
)(/ +tj) = j +jq(t), por la ecuacin (2.1)
= j[1 +q(t)]
Entonces j[)(/ +tj). Pero todo valor de ) es primo, luego )(/ +tj) debe ser
primo y de ah )(/ + tj) = j. As, )(/) = j = )(/ + tj). Esto implica que )
toma en el mismo valor innitamente veces, ya que t es un entero arbitrario.
Pero )(:) es un polinomio de grado /, entonces no puede asumir el mismo
valor ms de / veces, siendo esto una contradiccin.
As pues, no existe ningn polinomio con coecientes enteros que genere solo
nmeros primos.
Una Funcin Terico-Numrica
Sea r un nmero real positivo. Entonces (r) denota el numero de primos
_ r.
Por ejemplo, (10) = 4, (28,75) = 9 y (100) = 25.
Usando la notacin de sumatoria (r) se puede denir como:
(r) =

px
1, donde j denota un primo.
La siguiente frmula para (:) donde : es un entero positivo, puede ser
establecida usando el principio de inclusin-exclusin. Su prueba es complicada
y aqu se omite.
Teorema 56 Sea j
1
, j
2
, ..., j
t
ser primos _
_
:. Entonces
(:) = : 1 +(
_
:)
i
_
:
j
i
_
+
i<j
_
:
j
i
j
j
_

i<j<k
_
:
j
i
j
j
j
k
_
+... + (1)
t
_
:
j
1
j
2
...j
t
_
El siguiente ejemplo ilustra el resultado.
Ejemplo 57 Usando el teorema 2.10 encontrar el nmero de primos_ 100.
Solucin.
Aqu : = 100. Entonces (
_
:) = (
_
100) = (10) = 4, Hay 4 primos
_ 10, son 2, 3, 5, 7 llammoslos j
1
, j
2
, j
3
, and j
4
, respectivamente. Entonces por
el teorema 2.10
(100) = 100 1 + 4
__
100
2
_
+
_
100
3
_
+
_
100
5
_
+
_
100
7
__
+
__
100
2 3
_
+
_
100
2 5
_
+
_
100
2 7
_
+
_
100
3 5
_
+
_
100
3 7
_
+
_
100
5 7
__
__
100
2 3 5
_
+
_
100
2 3 7
_
+
_
100
2 5 7
_
+
_
100
3 5 7
__
+
__
100
2 3 5 7
__
= 103 (50 + 33 + 20 + 14) + (16 + 10 + 7 + 6 + 4 + 2) (3 + 2 + 1 + 0) + 0
= 25
Lo cual es consistente con la deduccin hecha a partir de la criba de Erasttenes.
Aunque la frmula para (:) en el Teorema 56 es elegante en el sentido que
da el nmero exacto de cantidad de primos, no es muy prctica cuando : es muy
grande. Es aqu donde el teorema del nmero primo, uno de los ms celebrados
resultados en teora de nmeros, llega a ser extremadamente til. Este da un
valor aproximado de (:), cuando : es muy grande.
Teorema 58 (El Teorema del Nmero Primo)
lm
x!1
(r)
r, lnr
= 1
Esto es, mientras r se haga mas grande (r) se aproxima a r, lnr.
4
4
ln a denota el logaritmo natural de a.
Gauss not la similitud entre los valores de (r) y r, lnr, mientras r se haga
ms grande y conjetur el teorema en 1793, pero no di una prueba. En 1850 el
matematico ruso Pafnuty Lvovich Chebychev hizo signicativos progresos hacia
la prueba, el prob que existen constantes positivas tales que
a
r
lnr
< (r) < /
r
lnr
donde r _ 2.
En 1870, el matemtico alemn Ernest Meissel (1826-1895) mostr que hay
5,761,455 nmeros primos menores que 10
8
. En 1893, cien aos despus de
la conjetura de Gauss, el matemtico dans N. P. Bertelsen arm que hay
50,847,478 nmeros primos menores que 10
9
. En 1959, sin embargo, Derrick
H.Lehmer (1905-1991) mostr que la respuesta de Bertelsen era incorrecta y
que el nmero correcto era 50,847,534. Tambin mostro que existen 455,052,512
menores que 10
10
En 1896, sin embargo, el matemtico Frances Jacques Hadamard (1865-1963)
y el matemtico Belga Charles-Jean-Gustave-Nicholas de la Valle-Poussin (1866-
1962), trabajando independientemente, prob el teorema usado matemticas
avanzadas.
Esta prueba era un jaln en el desarrollo de teora de los nmeros. Pero en
1950, el matemtico hngaro Paul Erds (1913-1996) y el matemtico noruego
Alte Selberg (1917-) demostr el teorema usando clculo elemental.
Segn el teorema de nmero primo, cuando r es sucientemente grande,
(r) puede ser aproximado por r, lnr (mirar columnas 2 y 3 en la Tabla 2.4).
Pero una mejor aproximacin es la funcin li (r), denida por Gauss en 1792 a
la edad de 15 aos,
li (r) =
_
x
2
dt
|: t
Se pude notar en la tabla que
(x)
li (x)
se aproxima a 1 ms rpidamente
que
(x)
x= ln x
. En efecto, li (r) es una aproximacin superior para valores pequeos
de r.
r (r)
(x)
x= ln x
(x)
li (x)
10
3
168 1,160 0,9438202
10
4
1229 1,132 0,9863563
10
5
9592 1,104 0,9960540
10
6
78498 1,085 0,9983466
10
7
664579 1,071 0,9998944
10
8
5761455 1,061 0,9998691
10
9
50847534 1,054 0,9999665
10
10
455052512 1,048 0,9999932
En 1985, sin embargo, R. H. Hudson de la Universidad de Carolina del sur
mostr que no es verdad para valores arbitrarios de r. Cuatro aos despus, C.
Bays de la Universidad de Carolina del Sur y Hudson mostraron que (r) |i(r)
en la vecindad de 1,39822 10
316
.
Aunque se haya establecido la innitud de los nmeros primos, Qu se
puede decir acerca de la distribucin de los primos? Cmo se distribuyen entre
los enteros positivos? Hay enteros consecutivos que son primos? Hay enteros
impares consecutivos que son primos?.
Primero, no hay pauta para distribuir los primos. Por ejemplo, 2 y 3 son los
nicos dos enteros consecutivos que son primos. Tambin se sabe que 3, 5, y 7
son los nico tres enteros impares consecutivos que son primos. Aunque hay slo
dos enteros consecutivos que son primos, nosotros podemos encontrar cualquier
nmero de enteros consecutivos que son nmeros 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 : de tales nmeros compuestos.
Teorema 59 Para todo entero positivo :, hay : enteros consecutivos que son
nmeros compuestos.
Demostracin. Considere : enteros consecutivos (:+1)!+2, (:+1)!+3, ..., (:+
1)! + (: + 1), con : _ 1. Suponga que 2 _ / _ : + 1, entonces /[(: + 1)!, as
/[[(: + 1)! + /], por Teorema 42, para cada /. Por lo tanto, cada uno de ellos
son un nmero compuesto.
As, los : enteros consecutivos (: +1)! +2, (: +1)! +3, ..., (: +1)! +(: +1)
son compuestos.
El ejemplo siguiente ilustra el teorema.
Ejemplo 60 Encuentre seis enteros cosecutivos que sean compuestos.
Solucin. Por el Teorema 59, hay seis enteros consecutivos que empiezan
con (: + 1)! + 2 = (6 + 1)! + 2 = 5042, a saber, 5042, 5043, 5044, 5045, 5046 y
5047. Aunque la cadena consecutiva ms pequea y que puede verse en la Figura
2.2 es 90, 91, 92, 93, 94, y 95.
Ejercicios 2.3
Marque verdadero o falso, asumiendo a, /, d y : 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 j es primo entonces j + 2 es un primo.
6. Si j es primo entonces j
2
+ 1 es un primo.
7. Hay innitos nmeros primos.
8. Hay un innito nmero de nmeros compuestos.
9. Si j es primo tal que j[a/, entonces j[a o j[/.
10. Hay primos de la forma :! + 1
Determine si cada nmero es primo o compuesto.
11. 129
12. 217
13. 1001
14. 1729
Usando el Teorema 56, calcule el nmero de primos _ : para cada valor
de :.
15. 47
16. 61
17. 96
18. 131
19. Encuentre cinco enteros consecutivos < 100 que sean nmeros compuestos.
Encuentre : enteros consecutivos que sean compuestos para cada valor de
:.
20. siete
21. ocho
22. nueve
23. diez
24. Liste los primos de la foma :
2
+ 1 y < 100.
Encuentre los factores positivos en cada caso, asumiendo j y primos
distintos.
5
Un googolplex es un nmero desmesuradamente elevado que corresponde a 10 elevado a
un googol, es decir, 10
googol
10
10
100
(un 1 seguido de googol ceros).
25. j
26. j
2
27. j
2
28. j
2
2
Sea
1
= 2 y
n
=
1
2

n1
+ 1, donde : _ 2.
29. Encuentre los cuatro primeros primos de la forma
n
30. Encuentre los nmeros compuestos ms pequeos de la forma
n
.
31. Dena
n
recursivamente.
Probar.
32. 2 y 3 so los dos nicos enteros consecutivos que son primos.
33. 3, 5 y 7 son los tres nicos enteros impares consecutivos que son primos.
34. Si j y j
2
+ 8 son primos, entonces j
3
+ 4 es tambin un primo. (D. L.
Silverman, 1968)
35. Si j es primo y 1 _ / _ j, entonces j[
_
p
k
_
36. Sean j y primos impares sucesivos y j+ = 2r. Entonces r es compuesto.
(J. D. Baum, 1966)
Objetivo
En el presente taller se explorar diversas funciones que tienen que ver con
nmeros primos, la funciones PRIME?(m), NEXT_PRIME(m) y PREVIOUS_PRIME(m).
Algunas funciones que involucran primos en Derive se relacionan a contin-
uacin:
NTH_PRIME(n): se simplica al :simo nmero primo.
PRIME?(m): se simplica "true"(verdadero) si m es primo; a "false"(falso)
si m no es primo.
NEXT_PRIME(m): se simplica al siguiente nmero primo mayor que m.
PREVIOUS_PRIME(m): se simplica al primer nmero primo menor que m si
existe; en caso contrario se simplica 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 simplica a una matriz de 5 5 con los nmeros del 1 al 25. Anidando en la
orden anterior la funcin NTH_PRIME(n) en el argumento de la misma es posible
generar una matriz con los primeros 25 nmeros primos, esto es, simplicando
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 continuacin se crear una funcin denominada test(n) que se simplica a
la frase es primo o es compuesto dependiendo del valor de n,
test(n):=IF(PRIME?(n) = true, es primo , es compuesto)
as, por ejemplo al simplicar 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 nmeros del 2 al 51 frente a los cuales
se dice si cada uno es primo o compuesto.
2.4. NMEROS DE FERMAT 85
2.4. Nmeros de Fermat
Los nmeros de la forma )
n
= 2
2
n
+ 1 fueron estudiados por el excepcional
matemtico frances Pierre de Fermat y son llamados "nmeros de Fermat".
Los cinco primeros nmeros de Fermat son )
0
= 3, )
1
= 5, )
2
= 17, )
3
= 257, y
)
4
= 65537.
El siguiente teorema, presenta una interesante relacin de recurrencia que se
satisface para )
n
.
Teorema 61 Denote por )
n
el :simo nmero de Fermat, entonces )
n
=
)
2
n1
2)
n1
+ 2, donde : _ 1.
Demostracin. Para sta demostracin, se substituir )
n1
= 2
2
n1
+ 1 en la
expresin )
2
n1
2)
n1
+ 2, y simplicandola se demostrar que es igual a )
n
:
)
2
n1
2)
n1
+ 2 = (2
2
n1
+ 1)
2
2(2
2
n1
+ 1) + 2
=
_
(2
2
n1
)
2
+ 2(2
2
n1
) + 1
_
2(2
2
n1
) 2 + 2
= 2
2
n
+ 1
= )
n
.
Esto completa la demostracin.
Este Teorema conduce a una denicin recursiva de )
n
.
Una denicin recursiva de )
n
)
0
= 3
)
n
= )
2
n1
2)
n1
+ 2, : _ 1
Por ejemplo,
)
1
= )
2
0
2)
0
+ 2 = 9 2(3) + 2 = 5
y
)
2
= )
2
1
2)
1
+ 2 = 25 2(5) + 2 = 17
Podemos hacer una observacin interesante sobre los nmeros de Fermat.
Note que los nmeros )
2
= 17, )
3
= 257, )
4
= 65537, )
5
= 4294967297, y )
6
=
18446644033331951617 todos acaban en el mismo dgito decimal, 7. Asombroso!
Qu podra usted conjeturar acerca de los nmeros de Fermat?
Aqu est otra observacin interesante: Los primeros cinco nmeros de Fer-
mat 3, 5, 17, 257, y 65537 son primos. Fermat conjetur que cada nmero de la
forma 2
2
n
+ 1 era un nmero primo.
Sin embargo, en 1732 Euler estableci la falsedad de su conjetura producien-
do un contraejemplo. l mostr que )
5
es divisible por 641: )
5
= 4294967297 =
6416700417. Una demostracin alternativa fue propuesta en 1926 por el matemti-
co belga M. Kraitchik (1882-1957) en su Thorie des nombres.
El siguiente ejemplo proporciona una demostracin elemental e inteligente,
por G. T. Bennett. La belleza de su demostracin desmiente el hecho de que )
5
sea primo, ya que tiene un factor diferente a l mismo y la unidad.
Ejemplo 62 Demuestre que 641[)
5
Solution 63 Primero note que
641 = 5 2
7
+ 1 (2.2)
Ahora
2
2
5
+ 1 = 2
32
+ 1 = 2
4
+ 2
28
+ 1
= 16 2
28
+ 1 = (641 625) 2
28
+ 1
= (641 5
4
),2
28
+ 1 = 641(2)
28
(5 2
7
)
4
+ 1
= 641(2)
28
(641 1)
4
+ 1, por ecuacin (2.2)
= 641(2)
28
(641
4
4(641)
3
+ 6(641)
2
4(641) + 1) + 1
= 641(2
28
641
3
+ 4(641
2
) 6(641) + 4)
4294967297 = 641(6700 417)
Una demostracion alternativa
En 1995, Stanley Peterburgsky, estudiando en la New England Academy
of Torah, Rhode Island, demostr que )
5
es compuesto ya que
f5
641
puede ser
expresado como la suma de dos cuadrados. Para ver esto, recuerde que (a
2
+
/
2
)(c
2
+d
2
) = (ac +/d)
2
+ (ad /c)
2
para cualesquier nmeros enteros a, /, c,
y d. Entonces
(a
2
+/
2
)
(c
2
+d
2
)
=
(ac +/d)
2
+ (ad /c)
2
(c
2
+d
2
)
2
Ahora, sea a = 2
16
, / = 1, c = 4, y d = 25. Entonces
)
5
641
=
(2
16
)
2
+ 1
2
(4)
2
+ (25)
2
=
(2
16
4 + 25)
2
+ (25 2
16
4)
2
641
2
= 409
2
+ 2556
2
Lamentablemente, no se conoce nada sobre la innitud de los primos de
Fermat. Esto todava deja un problema no resuelto. De hecho, ningn primo
de Fermat ms all de )
4
ha sido encontrado; El primo de Fermat mas grande
conocido sigue siendo )
4
, mientras que el ms grande compuesto es )
2478782
,
descubierto en 2003.
Cada nmero 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 nmeros de Fermat hay innitos cuadrados-libres.
El siguiente resultado, obtenido por Lucas, es un instrumento sumamente
til en la factorizacin prima de )
n
. En 1747, Euler demostr que cada factor
primo de )
n
debe ser de la forma 2
n+1
+1. En 1879, Lucas redeni el trabajo
de Euler mostrando que debe ser un nmero entero par 2/. Esto conduce al
siguiente teorema.
Teorema 64 Todo factor primo de )
n
es de la forma / 2
n+2
+1, donde : _ 2
De acuerdo con la armacin de ste teorema, si )
n
no tiene ningun factor
primo de la forma /2
n+2
+1, entonces )
n
debe ser un nmero primo. El siguiente
ejemplo ratica este hecho.
Ejemplo 65 Demuestre que )
4
= 65537 es primo.
Solution 66 Para ello ser suciente mostrar que )
4
no tiene ningn factor
primo propio. Ya que cada factor primo de )
4
es de la forma 2
6
/ +1 = 64/ +1,
si )
4
es compuesto, este debe tener un factor primo _
__
65537
_
, esto es _ 256.
El nico primo de la forma 64/ + 1 y _ 256 es 193, pero 193 - 65537; entonces
)
4
es un primo.
Como dato curioso, en 1963, S. W. Golomb del Instituto de Tecnologa de
California estableci que la suma de los recprocos de nmeros de Fermat es un
nmero irracional.
Finalmente, hay un eslabn notable entre los primos de Fermat y la con-
struccin de polgonos regulares con regla y comps, donde la regla es empleada
solamente para dibujar lneas, y el comps para trazar arcos. En 1796, Gauss
demostr el siguiente teorema famoso.
Teorema 67 Un polgono regular de : lados es construible con regla y compas
si y slo si : es de la forma )
1
)
2
. . . )
k
o 2
k
)
1
)
2
. . . )
k
, donde / _ 0 y )
1
, )
2
,
. . ., )
k
son primos de Fermat distintos.
Los antiguos Griegos conocan la construccin de los polgonos regulares de
lados 2
k
, 3 2
k
, 5 2
k
y 15 2
k
. (Note que 3 y 5 son primos de Fermat.) Ellos
tambin conocan la construccin de los polgonos de 3, 4, 5, 6, 8, 10, 12, 15, y 16
lados, pero no la construccin del polgono regular de 17 lados. Cuando Gauss, a
la edad de 19 aos, demostr que el polgono regular de 17 lados es construible,
se puso tan eufrico por su descubrimiento que decidi dedicar el resto de su vida
a las matemticas. l tambin solicit que un polgono regular de 17 lados fuera
grabado sobre su lpida. Aunque su deseo nunca fuera cumplido, tal polgono
se puede encontrar sobre un monumento a Gauss en el lugar de su nacimiento
en Brunswick, Alemania.
( Una discusin cuidadosa de tales construcciones geomtricas requiere tc-
nicas avanzadas del lgebra abstracta, a saber, la teora de Galois.)
Ejercicios 2.4
1. Usando recursin, calcule los nmeros de Fermat )
3
y )
4
.
2. Haga una conjetura acerca de los dgitos de las decenas en el valor decimal
de )
n
.
3. Establezca su conjetura en el Ejercicio 2. (Sugerencia: Use induccin.)
Probar las siguientes proposiciones.
4. Si 2
m
+ 1 es un primo, entonces : debe ser una potencia de 2.
5. Si 2
m
1 es un primo, entonces : debe ser una potencia de 2.
6. Pruebe o refute: Si : es primo, entonces 2
m
1 es un primo.
7. Pruebe que 3 es el nico nmero de Fermat que es nmero triangular
tambin. (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
nmeros enteros es una potencia de 2 si y slo si ambos nmeros enteros
son potencias de 2.
Objetivo
En el presente taller se presentarn dos formas de denir los nmeros de
Fermat, una a travs de la denicin y otra mediante la relacin de recurrencia
establecida en el Teorema 61.
Actividades
A travs de la opcin Definicin de una Funcin... en Derive es posi-
ble construir una funcin que permita obtener los nmeros de Fermat, as, se
llamar a la funcin F(n) denida como se hace a continuacin,
F(n):=2^2^n + 1
simplicando la siguiente expresin
VECTOR(F(n), n, 0, 5)
se obtendr el siguiente vector con los 6 primeros nmeros de Fermat,
[3, 5, 17, 257, 65537, 4294967297] .
De manera similar se puede denir, a partir de la relacin de recurrencia presen-
tada en el Teorema 61, una funcin que permita obtener los nmeros de Fermat,
se llamar a esta funcin Fermat(n) y se dene de la siguiente forma,
Fermat(n):=IF(n = 0, 3, Fermat(n - 1)^2 - 2F(n - 1) + 2)
Denida la funcin Fermat(n) al simplicar
VECTOR(Fermat(n), n, 0, 5)
se obtiene de igual manera un vector con los primeros 6 nmeros de Fermat.
Captulo 3
Mximo Comn Divisor
Este captulo trata la teora de la divisibilidad. Se comienza explorando los
factores comunes de dos o mas nmeros enteros positivos.Se establece el teo-
rema fundamental de la aritmtica, la piedra angular de la teora de nmeros,
y luego se miran los mltiplos comunes de dos o mas nmeros enteros positi-
vos. Finalmente, se trabajan algunas clases importantes de ecuaciones linelaes
diofanticas.
3.1. Mximo Comn Divisor
Un entero positivo puede ser un factor de dos enteros positivos, a y /. Tales
factores son divisores comunes, o factores comunes, de a y /.
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 comn, que es, 1.
Muchas veces no se est interesado en todos los divisores comunes de a y /,
pero si en el divisor comn ms grande, as se tiene la siguiente denicin.
Mximo Comn Divisor
El mximo comn divisor (MCD) de dos enteros a y /, ninguno de los dos
cero, es el ms grande entero positivo que divide a a y a / y se denota por (a, /).
Por ejemplo, (12, 18) = 6, (12, 25) = 1, (11, 19) = 1, (15, 25) = 5 y (3, 0) =
3.
Observacin Ya que (a, /) = (a, /) = (a, /), la discusin se centra
en MCDs de enteros positivos.
Cmo se sabe si el MCD de a y / siempre existe? Ya que 1[a y 1[/, 1 es
comn divisor de a y /, as que ellos tienen un divisor comn que es 1. Si d es
comn divisor, entonces d _ a y d _ /, as d _ mna, /. Luego el conjunto de
factores comunes es nito, as (a, /) existe.
91
92 CAPTULO 3. MXIMO COMN DIVISOR
Una segunda pregunta importante es la unicidad: Es el MCD de a y / nico?
Para poder hablar de MCD de a y / (sto se propone como ejercicio para el
lector).
La denicin verbal precedente de MCD, aunque simple y clara, no es tan
prctica, por eso se escribir simbolicamente.
Una Denicin Simblica de MCD
Un entero positivo d es el MCD de dos enteros positivos a y / si
d[a y d[/; y
si d
0
[a y d
0
[/, entonces d
0
_ d, donde d
0
es tambin un entero positivo.
As, d = (a, /) si se satisfacen las condiciones:
d debe ser un factor comn de a y /.
d debe ser el ms grande factor comn de a y /; en otros trminos, cualquier
otro factor comn d
0
debe ser _ d.
En la siguiente seccin, se desarrollar un mtodo ecaz 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 denicion.
Enteros Primos Relativos
Dos enteros positivos a y / son primos relativos si su MCD es 1; eso es, si
(a, /) = 1.
As, 6 y 35 son primos relativos; como lo son 11 y 24.
Esta posible relacin entre los enteros ser til en prximas discusiones.
Lema 68 Denote por )
i
el isimo nmero de Fermat. Entonces )
0
)
1
)
n1
=
)
n
2, donde : _ 1.
Demostracin. (Por Induccin) Cuando : = 1, LMD= )
0
= 3 = 52 =LMI.
As, el resultado se mantiene cuando : = 1.
Ahora se asumir que el resultado es verdadero cuando : = /:
)
0
)
1
)
k1
= )
k
2
Entonces
)
0
)
1
)
k1
)
k
= ()
0
)
1
)
k1
))
k
= ()
k
2))
k
, por hiptesis de induccion
= (2
2
k
1)(2
2
k
+ 1)
= 2
2
k+1
1 = (2
2
k+1
+ 1) 2
= )
k+1
2
3.1. MXIMO COMN DIVISOR 93
As, si el resultado es verdadero cuando : = /, tambin es verdadero cuando
: = / + 1. De esta forma, por induccin, el resultado se tiene para cada entero
: _ 1.
La formula en este lema, conocida como identidad de Duncan, se des-
cubri en 1964 por D.C Duncan.
Usando este resultado, se puede mostrar que culquier dos nmeros de Fermat
son primos relativos; este resultado fue establecido en 1925 por G. Polya de la
universidad de Stanford.
Teorema 69 (Polya, 1925) Sean : y : enteros distintos no negativos. En-
tonces )
m
y )
n
son primos relativos.
Demostracin. Asumiendo, por conveniencia, que : < :. Sea d = ()
m
, )
n
).
Entonces d[)
m
y d[)
n
. Pero )
n
2 = )
0
)
1
)
m
)
n1
, por el Lema 68. Puesto
que d[)
m
, d[)
0
)
1
)
m
)
n
. As d,()
n
2), pero d [ )
n
; Por tanto, d[2, por
Teorema 42. Por consiguiente , d debe ser 1 o 2. Pero los nmeros de Fermat
son todos impares, as d ,= 2. Entonces, d = 1; eso es, ()
m
, )
n
) = 1.
El resultado de Polya puede generalizarse: Sea q
n
= (2/)
2
n
+1, donde / 0.
Entonces (q
m
, q
n
) = 1, asumiendo : ,= :.
Usando estos dos resultados, podemos demostrar ahora de nuevo que hay
innitos primos.
Teorema 70 Existen innitos nmeros primos.
Demostracin. Por Lema 51, cada nmero de Fermat tiene un factor primo.
Por consiguiente, por el teorema de Polya, no hay dos nmeros distintos de
Fermat que tengan factores primos comunes, signicando que cada uno tiene un
factor primo distinto. As, ya que hay innitos nmeros de Fermat, hay tambin
innitos primos.
A continuacin se presenta una conuencia asombrosa de teora del nmero,
probabilidad y anlisis.
Nmeros Primos Relativos y Pi
En la Seccin 2.3, se encuentra un eslabon cercano entre los nmeros primos
y el nmero , dado por la formula

p2P
(1 1,j
2
) = 6,
2
. Usando tcnicas
avanzadas, se puede mostrar que el producto innito representa el recproco de la
probabilidad que dos nmeros enteros positivos seleccionados al azar sean primos
relativos.
1
As, la probabilidad que dos nmeros enteros positivos seleccionados
al azar sean primos relativos esta dada por

p2P
1,(1 1,j
2
) = 6,
2
.
1
Ver Ogilvy y Anderson.
A continuacin se centrar la atencin en algunas usadas propiedades intere-
santes del los MCDs.
Teorema 71 Sea (a, /) = d. Entonces
1. (a,d, /,d) = 1
2. (a, a /) = d
Demostracin.
1. Sea d
0
= (a,d, /,d). Se Debe mostrar que d
0
= 1:
Ya que d
0
es un factor comn de a,d y /,d, a,d = |d
0
y /,d = :d
0
para
algunos enteros | y :. Entonces a = |dd
0
y / = :dd
0
, de este modo dd
0
es
un factor comn de a y /. Entonces, por denicin, dd
0
_ d, de este modo
d
0
_ 1. As, d
0
es un entero positivo tal que d
0
_ 1, entonces d
0
= 1. Por
tanto, si (a, /) = d, entonces a,d y /,d son primos relativos.
2. Sea d
0
= (a, a /). Se debe mostrar que d = d
0
, se mostrar que d _ d
0
y
d
0
_ d. Para mostrar que d _ d
0
:
Entonces d es un comn divisor de a y /, a = :d y / = :d para algunos
enteros : y :. Entonces a / = (::). As d[a y d[(a /); entonces d
es comn divisor de a y a /. Luego, por denicin, d debe ser menor o
igual que (a, a /); esto es d _ d
0
.
Para mostrar que d
0
_ d:
Entonces d
0
es un factor comn de a y a /, a = cd
0
y a / = ,d
0
para algunos enteros c y ,. Entonces a (a /) = cd
0
,d
0
; esto es,
/ = (c ,)d
0
. As, d
0
es comn divisor de a y /, entonces d
0
_ d.
De esta forma, d _ d
0
y d
0
_ d, entonces d = d
0
.
Se sigue, por la parte (2) de este teorema que (a, a+/) = (a, /). (Ver ejercicio
38).
A continuacin, se prueba que el MCD de a y / se puede expresar como la
suma de mltiplos de a y /, pero primero se presenta una denicin.
Combinacin Lineal
Una combinacion lineal de los enteros a y / es la suma de mltiplos de a y
/, esto es, una suma de la forma ca +,/, donde c 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 prrafo prece-
dente. Su prueba es una elegante aplicacin del principio del buen orden.
Teorema 72 (Euler) El MCD de enteros positivos a y / es la combinacion
lineal de a y /.
Demostracin. Sea o el conjunto de combinaciones lineales positivas de a y /;
esto es, o = :a +:/ [ :a +:/ 0, con :, : Z .
Se mostrar que o tiene al menos un elemento:
Ya que a 0, a = 1 a+0 / o, entonces o no es vaco. As, por el principio
de buen orden, o tiene un mnimo elemento d.
Para mostrar que d = (a, /):
Ya que d pertenece a o, d = ca +,/ para algunos enteros c y ,.
1. Primero mostraremos que d[a y d[/:
Por el algoritmo de la divisin, existen enteros y r tal que a = d + r,
donde 0 _ r < d. Sustituyendo d,
r = a d
= a (ca +,/)
= (1 c)a + (,)/
Esto muestra que r es una combinacin lineal de a y /.
Si r 0, entonces r o. Ya que r < d, r es menor que el elemento ms
pequeo en o, lo cual es una contradiccin. As r = 0; por tanto, a = d,
luego d[a.
Similarmente, d[/. As d es un comn divisor de a y /.
2. Por mostrar que cualquier divisor comn positivo d
0
de a y / es _ d:
Sea d
0
[a y d
0
[/, d
0
[(ca + ,/), por el teorema 42; esto es, d
0
[d. Entonces
d
0
_ d.
As, por las partes (1) y (2), d = (a, /).
Observacin Se sigue, por este teorema que el MCD (a, /) siempre puede
expresarse como una combinacion lineal ca + ,/. En efecto, esta es la ms
pequea de tales combinaciones lineales positivas.
Un modo de encontrar tal combinacin lineal es por ensayo y error, especial-
mente cuando a y / son pequeos, como lo muestra el siguiente ejemplo.
Ejemplo 73 Exprese (28, 12) como combinacion lineal de 28 y 12.
Solucin. Primero se tiene que (28, 12) = 4. Luego, se deben encontrar
enteros c y , tal que c 28 + , 12 = 4. Por ensayo y error, c = 1 y , = 2
da como resultado 1 28 + (2) 12 = 4.
Observacin Note que los valores de c y , en la combinacin lineal no
tienen porque ser nicos. En el anterior ejemplo se puede notar que (5) 28 +
12 12 = 4.
Una segunda forma de encontrar c y , es usando una tabla de mltiplos de
a y / y entonces escoger la combinacin correcta, como lo muestra la siguiente
Tabla.
28 28 56 84 112 140
12 12 24 36 48 60 144
En la siguiente seccin se presenta un mtodo sistemtico para encontrar c
y ,.
El Teorema 72 se puede usar para renar la denicin de MCD y sacar
obtener varios resultados tiles acerca de MCDs.
Teorema 74 Si d = (a, /) y d
0
es cualquier comun divisorde a y /, entonces
d
0
[d.
Demostracin. Puesto que d = (a, /), por Teorema 72, existen c y , tal que
d = ca + ,/.Como d
0
[a y d
0
[/, por Teorema 42, d
0
[ (ca +,/); de esta manera
d
0
[d.
As, cada comn divisor d
0
de a y / es un factor de su MCD d, y d
0
_ d. De
manera inversa, suponga que
d[a y d [/ ; y
si d
0
[a y d
0
[/, entonces d
0
[d. Entonces d
0
_ d; as d = (a, /).
Por tanto, la denicin simblica de MCD puede modicarse como sigue.
Una Denicin Alternativa de MCD
Un entero positivo d es el MCD de a y / si
d[a y d[/; y
si d
0
[a y d
0
[/, entonces d
0
[d, donde d
0
Teorema 75 Sean a,/, y c enteros positivos. Entonces (ac, /c) = c (a, /) .
La prueba de esto es bastante simple y se deja como ejercicio.
Teorema 76 Dos enteros positivos, a y /, son primos relativos si y solo si hay
enteros c y , tales que ca +,/ = 1.
Demostracin. Si a y / son primos relativos, entonces (a, /) = 1. Por tanto,
por Teorema 72, existen enteros c y , tal que ca +,/ = 1.
Recprocamente, suponga que existen c y , tales que ca + ,/ = 1. Para
demostrar que (a, /) = 1, sea d = (a, /). Entonces por Teorema 42 d[ (ca +,/);
esto es d[1, as d = 1. Por tanto, a y / son primos relativos.
Se puede deducir la parte (1) del Teorema 71 a partir de este Teorema, y
este es til para resolver el ejercicio propuesto nmero 41.
Corolario 77 Si d = (a, /), entonces (a,d, /,d) = 1.
El siguiente Corolario se sigue del Teorema 72 (Vea ejercicio 43)
Corolario 78 Si (a, /) = 1 = (a, c),entonces (a, /c) = 1.
Supongamos a[c y /[c. Signica sto que a/[c ? No. Por ejemplo, 3[12 y 6[12,
pero 3 6 - 12. El siguiente corolario proporciona un criterio por el cual a/[c.
Corolario 79 Si a[c y /[c, y (a, /) = 1, entonces a/[c.
Demostracin. Como a[c, c = :a para algn entero :. Similarmente, c = :/
para algn entero :. Ya que (a, /) = 1, por Teorema 75, ca + ,/ = 1 para
algunos enteros c y ,. Entonces cac + ,/c = c. Ahora sustituyendo :/ por la
priemera c y :a para el la segunda:
ca(:/) +,/(:a) = c
Esto es, c/ (:c +:,) = c, as a/[c.
Se debe recordar que a[/c no signica que a[/ o a[c, aunque bajo algunas
condiciones esto se cumple. El siguiente corolario explica cuando esto es ver-
dadero.
Corolario 80 (Euclides) Si a y / son primos relativos, y si a[/c, entonces a[c.
Demostracin. Dado que a y / son primos relativos, por Teorema 75, existen
enteros c y , tal que ca +,/ = 1, entonces cac +,/c = c ya que a[cac y a[,/c
, a[cac +,/c por Teorema 42; esto es ; a[c.
La denicin de MCD puede extenderse a tres o ms enteros positivos, como
muestra la siguiente denicin.
El MCD de n Enteros Positivos
El mcd de : (_ 2) enteros positivos a
1
, a
2
, ..., a
n
es el entero positivo ms
grande que divide a cada uno de los a
i
. ste se denota por (a
1;
a
2
, ..., a
n
) .
El siguiente ejemplo ilustra esta denicin.
Ejemplo 81 Encuentre (12, 18, 28), (12, 36, 60, 108), (15, 28, 50).
Solucin.
a) El entero positivo ms grande que divide a 12, 18 y 28 es 2, as, (12, 18, 28) =
2.
b) 12 es el factor ms 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 comn ms grande de 15, 28 y 50 es 1; esto
es (15, 28, 50) = 1.
El Teorema 72 puede ampliarse a : nmeros enteros. Pero primero, se am-
pliar la denicin de una combinacion lineal de : enteros positivos.
Una Combinacin Lineal de n Enteros Positivos
Una combinacin lineal de : enteros positivos a
1
, a
2
, ...a
n
es una suma de
la forma c
1
a
1
+c
2
a
2
+... +c
n
a
n
donde c
1
, c
2
, ..., c
n
son enteros.
Por ejemplo, (1) 12 + 1 15 + 0 21 es una combinacin lineal de 12, 15 y
21; As como tambin lo es 3 12 + (2) 15 + (5) 21.
Ahora se establece la extensin del Teorema 72 y se deja la prueba como un
ejercicio.
Teorema 82 El MCD de los enteros positivos a
1
, a
2
, ..., a
n
,es el menor entero
positivo que es combinacin lineal de a
1
, a
2
, ..., a
n
.
El siguiente ejemplo ilustra este Teorema.
Ejemplo 83 Exprese (12, 15, 21), en una combinacin lineal de 12, 15, 21.
Solucin. Primero se puede notar que (12, 15, 21) = 3. Despus se encuen-
tran nmeros enteros c, , y , por ensayo y error, tal que c12+,15+21 = 3;
c = 1 , , = 1 , = 0 es una de tal combinacin: (1) 12 +1 15 +0 21 = 3.
El siguiente teorema muestra como la recursin puede usarse para encontrar
el MCD de tres o ms nmeros enteros.
Teorema 84 Sea a
1
, a
2
, ...a
n
: (_ 3) enteros positivos. Entonces (a
1
, a
2
, ..., a
n
) =
((a
1
, a
2
, ..., a
n1
) , a
n
) .
Demostracin. Sea d = (a
1
, a
2
, ..., a
n
) , d
0
= (a
1
, a
2
, ..., a
n1
) yd
00
= (d
0
, a
n
) .
mostramos que d
0
= d
00
:
Se mostrar que d[d
00
:
Dado que d = (a
1
, a
2
, ..., a
n
) , d[a
i
para todo i. As d[d
0
y d[a
n
. Entonces
d[ (d
0
, a
n
) ; esto es d[d
00
.
Se mostrar que d
00
[d :
Ya que d
00
= (d
0
, a
n
) , d
00
[d
0
y d
00
[a
n
. Pero d
00
[d
0
implica que d
00
[a
i
para
1 _ i _ : 1. As d
00
[a
i
para 1 _ i _ :, por tanto d
00
[d.
Luego, d[d
00
y d
00
[d, as d = d
00
, por el Teorema 41.
El siguiente ejemplo ilustra este teorema.
Ejemplo 85 Usando recursin, evalue (18, 30, 60, 75, 132) .
Solucin.
(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 continuacin se obtiene por induccin y el Teorema 84. Se
puede establecer una prueba y se deja como ejercicio. (Ejercicio 55.)
Corolario 86 Si d = (a
1
, a
2
, ..., a
n
) . Entonces d[a
i
para todo entero i, donde
1 _ i _ :.
El siguiente corolario es una extensin del Corolario 80.
Corolario 87 Si d[a
1
a
2
...a
n
y (d, a
i
) = 1 para 1 _ i _ : 1, entonces d[a
n
.
Antes de enunciar otro corolario, se introduce la siguiente denicin.
Primos Relativos por Pares
Los enteros positivos a
1
, a
2
, ..., a
n
son primos relativos por pares, si todo
par de enteros son primos relativos, esto es , (a
i
, a
j
) = 1, siempre i ,= ,.
Por ejemplo, los enteros 8, 15, y 49 son primos relativos por pares, mientras
que los enteros 6, 25, 77, y 91 no son primos relativos por pares.
El siguiente resultado se deduce del Teorema 76.
Corolario 88 Si los enteros positivos a
1
, a
2
, ..., a
n
son pares de primos relativos
entonces (a
1
, a
2
, ..., a
n
) = 1.
Por ejemplo, ya que los enteros 8, 15 y 49 son primos relativos por pares,
(8, 15, 49) = 1.
Observacin Se debe tener en cuenta que el recproco de este corolario
no es verdadero; esto es, si (a
1
, a
2
, ..., a
n
) = 1, entonces los enteros a
1
, a
2
, ..., a
n
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, / y c son enteros positivos y j es un
primo arbitrario.
1. (a, /) = (/, a)
2. (a, /) = (a, a /)
3. (a, /) = (a, a 2/)
4. (a, a + 2) = 1
5. (j, j + 2) = 1
6. (ac, /c) = c (a, /)
7. Si (a, /) = 1, entonces a y / son primos relativos.
8. Si (a, y /) son primos relativos entonces(a, /) = 1.
9. Si (a, /) = 1 = (/, c), entonces (a, c) = 1.
10. Si (a, /) = 2 = (/, c) entonces (a, c) = 2.
11. Si (a, /) = d, entonces (a +/, a /) = d
Exprese el mcd de cada par de nmeros como combinacin lineal.
12. 18, 28
13. 24, 28
14. 15, 28
15. 21, 26
Denote con ) (:) el nmeros de enteros positivos _ : y primos relativos
a l. Por ejemplo, ) (1) = 1, ) (2) = 1, ) (3) = 2 y ) (4) = 2. Encontrar.
16. )(10)
17. )(13)
18. )(18)
19. )(24)
20. Evale

djn
)(d) para : = 12, 18, 19 y 25.
21. Usando el Ejercicio 20, prediga una formula para

djn
)(d)
22. Encuentre el mnimos valores posible de (a, /).
Encuentre (a, /) si
23. / = 1
24. / = a + 1
25. / = a
2
26. / = :a
Exprese el MCD de los nmeros dados como una combinacin de los
nmeros.
27. 12, 15, 18
28. 12, 18, 20, 24
Use recursin para evaluar.
29. (12, 18, 28, 38, 44)
30. (14, 18, 21, 36, 48)
31. (a
2
/, a/
3
, a
2
/
2
, a
3
/
4
, a/
4
)
Refute cada proposicin.
32. Si (a, /) = 1 = (/.c) , entonces (a, c) = 1.
33. Si (a, /) = 2 = (/.c) , entonces (a, c) = 2.
Pruebe cada tem, asumiendo que a, /, c, d, /, :, y : son enteros positivos
arbitrarios, j algn primo y )
n
el :simo nmero Fermat.
34. El MCD de cualquier par de nmeros enteros es nico.
35. (a, /) = (a, /)
36. (a, /) = (a, /)
37. (a, /) = (a, /)
38. (a, a +/) = (a, /)
39. (ac, /c) = c(a, /)
40. Si j - a, entonces j y a son primos relativos.
41. Usando el Teorema 76, pruebe que si d = (a, /), entonces (a,d, /,d) = 1.
42. Si d = (a
1
, a
2
, ..., a
n
), entonces d[a
i
para todo entero i, donde 1 _ i _ :.
43. Si (a, /) = 1 = (a, c), entonces (a, /c) = 1.
44. Sea q
n
= (2/)
2
n
+ 1, donde : _ 0. Entonces (q
m
, q
n
) = 1, donde : ,= :.
45. Sea : : _ 0. Muestre que )
m
[()
n
2).
46. Usando en Ejercicio 45, muestre que ()
m
, )
n
) = 1, donde : ,= :.
47. Usando el Teorema 69 e induccin, pruebe que hay innitos primos.
Objetivo
En el presente taller se dene y se explorar una funcin que permita calcular
el MCD de dos o ms nmeros.
La funcin que se utilizar en este taller se dene como GCD(m1,m2,...,mn)
y permite calcular el MCD de los : nmeros :
1
, :
2
, ..., :
n
.
Actividades
Mediante la opcin GCD(m1,m2,...,mn) en Derive es posible calcular el
MCD de un conjunto de nmeros, por ejemplo, la simplicacin de la expresin
GCD(12,18)
arroja como resultado el valor 6 que es le MCD de los dos nmeros 12 y 18. La
funcin permite calcular la el MCD de ms de dos nmeros enteros, es as como
la simplicacin de
GCD(12,18,28)
arroja como resultado el valor 2 y la simplicacin de
GCD(12,36,60,108)
da como resultado 12, que son los MCD de los conjuntos de nmeros respecti-
vamente.
3.2. El Algoritmo de Euclides
Existen varios procedimientos para encontrar el MCD de dos enteros posi-
tivos. Un algoritmo eciente es el Algoritmo de Euclides, llamado despus
Euclidiano, quien lo incluy en el Libro VII de su extraordiario trabajo, Los
elementos. El algoritmo, sin embargo, probablemente era antes conocido. sta
es una herramienta fundamental en la teora de nmeros algortmica.
El siguiente teorema establece la base para el algoritmo de Euclidiano.
Teorema 89 Sean a y / enteros positivos y r el residuo, cuando a se dividide
por /. Entonces (a, /) = (/, r).
Demostracin. Sea d = (a, /) y d
0
= (/, r). Se debe probar que d = d
0
, es
suciente mostrar que d[d
0
y d
0
[d . Por el algoritmo de la divisin, existe un
nico cociente tal que
a = / +r (3.1)
Se mostrar que d[d
0
:
Ya que d = (a, /), d[a y d[/, as d[/, por el Teorema 42. Entonces d[(a/),
de nuevo por el Teorema 42. En otras palabras, d[r, por la ecuacin (3.1). De
este modo, d[/ y d[r, as d[(/, r); esto es d[d
0
.
Similarmente, puede mostrarse que d
0
[d (ver Ejercicio 9). As, por el Teorema
41, d = d
0
, esto es, (a, /) = (/, r).
El siguiente ejemplo ilustra este teorema.
Ejemplo 90 Ilustrar el Teorema 89 con a = 120 y / = 28.
Solucin. Primero, se puede vericar que (120, 28) = 4.
Ahora , por el algoritmo de la divisin, 120 = 4 28 + 8 , entonces por el
Teorema 89, (120, 28) = (28, 8). Pero (28, 8) = 4. Por lo tanto, (128, 28) = 4.
El siguiente ejemplo ilustra como el Teorema 89 puede ser utilizado para
encontrar (a, /).
Ejemplo 91 Usando el Teorema 89, evale (2076, 1776).
Solucin. Aplicando el algoritmo de la divisin con 2076 (el mayor de los
dos nmeros) como el dividendo y 1776 como el divisor:
2076 = 1 1776 + 300
Aplicando el algoritmo de la divisin con 1776 como el dividendo y 300 como el
divisor:
1766 = 5 300 + 276
3.2. EL ALGORITMO DE EUCLIDES 105
Continuando este procedimiento hasta llegar al residuo cero:
2076 = 1 1776 + 300
1766 = 5 300 + 276
300 = 1 276 + 24
276 = 11 24 + 12 ltimo residuo diferente de cero
24 = 2 12 + 0
Aplicando repetidamente el Teorema 89 se tiene:
(2076, 1776) = (1776, 300) = (300, 276)
= (276, 24) = (24, 12)
= 12
por tanto , el ltimo residuo diferente de cero en este procedimiento es el MCD.
Ahora se justicar este algoritmo, aunque sea algo obvio.
El Algoritmo Euclidiano
Sean a y / dos enteros positivos con a _ /. Si a = /, entonces (a, /) = a,
as se asume a /. (Si esto no es verdad entonces se intercambian.) Sea r
0
=
/. Entonces aplicando sucesivamentes el algoritmo de la divisin, se tendr la
secuencia de ecuaciones:
a =
0
r
0
+r
1
, 0 _ r
1
< r
0
r
0
=
1
r
1
+r
2
, 0 _ r
2
< r
1
r
1
=
2
r
2
+r
3
, 0 _ r
3
< r
2
.
.
.
Continuando de esta manera, se obtiene la siguente secuencia de residuos:
/ = r
0
r
1
r
2
r
3
_ 0
Dado que los residuos son no negativos y son cada vez ms y ms pequeos,
esta secuencia debera eventualmente terminar con el residuo r
n+1
= 0. As, las
dos ltimas ecuaciones en el procedimiento anterior son
r
n2
=
n1
r
n1
+r
n
, 0 _ r
n
< r
n1
y
r
n1
=
n
r
n
Se sigue por induccin que (a, /) = (a, r
0
) = (r
0;
r
1
) = (r
1
, r
2
) = =
(r
n1
, r
n
) = r
n
, el ltimo residuo diferente de cero (ver Ejercicio 10).
El siguiente ejemplo tambin demuestra el Algoritmo Euclidiano.
Ejemplo 92 Aplique el algoritmo euclidiano para encontrar (4076, 1024).
Solucin.
Por la aplicacin sucesiva del algoritmo de la divisin se tiene:
4076 = 3 1024 + 1004
1024 = 1 1004 + 20
1004 = 50 20 + 4 ltimo residuo diferente de cero
20 = 5 4 + 0
ya que el anterior residuo diferente de cero es 4, (4076, 1024) = 4.
Ejemplo 93 Usando el algoritmo euclidiano exprese (4076, 1024) como combi-
nacin lineal de 4076 y 1024.
Solucin. Utilizando las ecuaciones obtenidas en el Ejemplo 92 en orden
inverso, sustituyendo de manera iterativa en el residuo de la ecuacin previa
(4076, 1024) = 4 ltimo 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 combinacin lineal de los nmeros dados.
9. Sea a y / dos enteros positivos, y r el residuo cuando a se divide por /.
Sea d = (a, /) y d
0
= (/, r). Pruebe que d
0
[d.
10. Sea a y / enteros positivos con a _ /. Usando la secuencia de ecuaciones
en el algoritmo euclideano, pruebe que (a, /) = (r
n1
, r
n
), donde : _ 1.
3.2. EL ALGORITMO DE EUCLIDES 107
Objetivo
En el presente taller se dene una funcin que permita expresar el MCD
entre dos nmeros como combinacin lineal de ellos.
La funcin que se utilizar en este taller se dene como EXTENDED_GCD(a, b)
y que se simplica al vector de enteros [g, [x, y]] donde q = (a, /) = ra +j/
usando el algoritmo de Euclides para el mximo comn divisor.
Actividades
El clculo de el MCD de los nmeros 4076 y 1024 en el Ejemplo 92 se obtiene
simplicando en Derive la orden
GCD(4076,1024)
esta simplicacin da como resultado 4. Por otro lado, utilizando la funcin
EXTENDED_GCD(a, b) y simplicando la expresin
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.
3.3. El Teorema Fundamental de la Aritmtica
Continuando ahora con el estudio de los primos. Se puede establecer, sin
temor a equivocarse, la armacin de que los nmeros primos son los ladrillos
de todos los enteros. En otros trminos, 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 Aritmtica, es ciertamente
la piedra angular de la teora de nmeros y uno de sus resultados principales.
ste 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 asumir que todas las letras denotan
nmeros enteros positivos.
Lema 94 Si j es un primo y j[a/, entonces j[a o j[/.
Demostracin. Suponga que a - j. Entonces j y a son primos relativos, por el
Teorema 76, hay enteros c y , tal que cj +,a = 1. Multiplicando ambos lados
de esta ecuacin por /; se tiene cj/ + ,a/ = /. Como j[j y j[a/, j[(cj/ + ,a/)
por el Teorema 42; es decir, j[/.
El siguiente lema extiende este resultado a tres o ms factores, usando in-
duccin.
Lema 95 Sea j un primo y j[a
1
a
2
a
n
dnde a
1
, a
2
, a
n
son enteros posi-
tivos, entonces j[a
i
para algn i dnde 1 _ i _ :.
Demostracin. (por induccin dbil) Cuando : = 1, el resultado se da
claramente. As que suponga que es verdad para un entero positivo arbitrario
/ : Si j[a
1
a
2
a
k
, entonces j[a
i
para algn i. Suponga que j[a
1
a
2
a
k+1
, es
decir, j[(a
1
a
2
a
k
)a
k+1
. Entonces, por el Lema 93, j[a
1
a
2
a
k
o j[a
k+1
. Si
j[a
1
a
2
a
k
, entonces j[a
i
, para algn i dnde 1 _ i _ /. Por tanto, j[a
i
dnde
1 _ i _ /, o j[a
k+1
. En cualquier caso, j[a
i
para algn i, dnde 1 _ i _ / + 1.
As, por induccin, el resultado se tiene para cada entero positivo :.
El siguiente resultado se sigue de este lema.
Corolario 96 Si j,
1
,
2
,
n
son primos tales que j[
1
2

n
, entonces j =
i
para algn i, dnde 1 _ i _ :.
Demostracin. Como j[
1
2

n
, por el Lema 94, j[
i
para algn i. Pero j
y
i
son primos, por lo que j =
i
.
Podemos ahora declarar y establecer el teorema fundamental de aritmtica,
el resultado ms fundamental en la teora de nmeros. La prueba consiste en
dos partes y una parte larga, por lo que necesitamos seguirlo cuidadosamente.
3.3. EL TEOREMA FUNDAMENTAL DE LA ARITMTICA 109
Teorema 97 (El Teorema Fundamental de la Aritmtica) Todo entero
cualquiera : _ 2 es un primo o puede expresarse como un producto de primos.
La factorizacin en primos es nica salvo el orden de los factores.
Demostracin. Primero, se mostrar por induccin fuerte que : o es un primo
o puede expresarse como un producto de primos. Entonces se establecer la
unicidad de tal factorizacin.
1. Sea 1 (:) la proposicin que : es un primo o puede expresarse como un
producto de primos.
Se mostrar que 1 (:) es verdad para cada entero : _ 2:
Como 2 es un primo, claramente 1 (2) es verdad.
Ahora suponga que 1 (2) , 1 (3) ..., 1 (/) son verdaderas; es decir, todo entero
desde 2 hasta / o es un primo o puede expresarse como un producto de primos.
Si / + 1 es un primo, entonces 1 (/ + 1) es verdad. As que, suponga que
/ + 1 es compuesto. Entonces / + 1 = a/ para algunos enteros a y / dnde
1 < a, / < / + 1. Por la hiptesis de induccin, a y / o son primos o pueden
expresarse como los productos de primos; en cualquier caso, / + 1 = a/ puede
expresarse como un producto de primos. As, 1 (/ + 1) tambin es verdad.
As, por induccin fuerte, el resultado se tiene para cada entero : _ 2.
2. Para establecer la unicidad de la factorizacin:
Sea : un nmero compuesto con dos factorizaciones en primos: : = j
1
j
2
j
r
=
2

S
. Se mostrar que r = : y que cada j
i
es igual a algn
j
, dnde
1 _ i, , _ r; es decir, los primos
1
,
2
. . . ,
s
son una permutacin de los primos
j
1
, j
2
..., j
r
.
Asuma, por conveniencia que r _ :. Como j
1
j
2
j
r
=
1
2

s
, j
1
[
1
2

s
,
por el Corolario 95, j
1
=
i
para algn i. Dividiendo ambos lados por j
1
, se
tiene:
j
2
j
r
=
1
2

i1
i+1

i+1

s
Ahora j
2
divide el LMD, y de nuevo por el Corolario 95, j
2
=
j
para algn
,. Cancelando j
2
a ambos lados:
j
3
j
r
=
1
2

i1
i+1

j1
j+1

s
Como r _ :, al continuar as, se cancela cada j
t
con algn
k
. Esto nos da
1 al nal en el LMI. Entonces el LMD no puede ser un primo o un producto
de primos, ya que, un primo o un producto de primos nunca puede dar 1; as,
se deben haber agotado todas las
k
s. Por consiguiente, r = : y por tanto los
primos
1
,
2
...,
s
son loa mismos primos j
1
, j
2
, j
r
en algn orden. As, la
factorizacin de : es nica, salvo por el orden en el cual los primos fueron
escritos.
Se sigue de este teorema que cada nmero compuesto : puede factorizarse
en primos. Tal factorizacin es llamada factorizacin en primos de :.
Por ejemplo, 5544 = 2 2 3 7 2 11 3 es una factorizacin en primos de
5544. Usando la notacin exponencial, este producto es a menudo escrito como
5544 = 2
3
3
2
7 11. Tal producto es la descomposicin en potencias de
factores primos de :; si los primos se escriben en el orden creciente, entonces
esta es la descomposicin cannica.
Descomposicin Cannica
La descomposicin cannica de un entero positivo : es de la forma : =
j
a1
1
j
a2
2
j
a
k
k
, donde j
1
, j
2
, j
k
son distintos primos con j
1
< j
2
< < j
r
y cada exponente a
i
Hay dos tcnicas normalmente usadas para encontrar la descomposicin
cannica de un nmero compuesto. El primer mtodo involucra hallar todos
los factores primos, empezando con el ms pequeo primo, como el siguiente
ejemplo muestra.
Ejemplo 98 Halle la descomposicin cannica de 2520.
Solucin. Empezando con el ms pequeo 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 tambin 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 = 2
3
3
2
5 7
qu es la descomposicin cannica deseada.
Este mtodo puede consumir mucho tiempo si el nmero : es bastante
grande. El segundo mtodo que es generalmente ms ecaz, involucra expresar
explcitamente : 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 ms grandes sean los factores el mtodo
se har ms corto. El siguiente ejemplo clarica este mtodo, bastante fcil.
Ejemplo 99 Halle la descomposicin cannica de 2520 por el segundo mtodo.
Solucin. 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 descomposicin cannica:
2520 = 2
3
3
2
5 7.
La descomposicin cannica de un nmero compuesto puede usarse para
encontrar sus factores positivos, como lo muestra el siguiente ejemplo.
Ejemplo 100 Halle los factores positivos de 60.
Solucin. Primero, note que 60 = 22 3 5. Por el teorema fundamental de
la aritmtica, cada factor de 60 es de la forma 2
a
3
b
5
c
, dnde 0 _ a _ 2,
0 _ / y c _ 1. As, los distintos factores son:
2
0
3
0
5
0
= 1 2
0
3
0
5
1
= 5 2
0
3
1
5
0
= 3 2
0
3
1
5
1
= 15
2
1
3
0
5
0
= 2 2
1
3
0
5
1
= 10 2
1
3
1
5
0
= 6 2
1
3
1
5
1
= 30
2
2
3
0
5
0
= 4 2
2
3
0
5
1
= 20 2
2
3
1
5
0
= 12 2
2
3
1
5
1
= 60
(As, 60 tiene 12 factores. Podra pensar en una buena manera de encontrar
el nmero de factores positivos sin listarlos?)
El siguiente ejemplo presenta una aplicacin bonita del teorema fundamental
de la aritmtica y la funcin piso. Muestra muy bien que se puede determinar
el nmero de ceros un valor decimal de :!, sin calcularlo. (Por ejemplo, 11! =
39,916,800 tienen dos ceros al nal.)
Ejemplo 101 Halle el nmero de ceros nales en 234!.
Solucin. Por el teorema fundamental de aritmtica, 234! puede factor-
izarse como 2
a
5
b
c, donde a y / son enteros positivos (por qu?) y c denota
el producto de primos de la misma manera que 2 y 5. Claramente, a / (por
qu?). Cada cero nal en 234! corresponde a 10 en una factorizacion y viceversa;
cada 10 es el producto de un 2 y un 5.
(No. de ceros nales en 234!) =
_
No. de productos de la forma 2 5
en una factorizacin prima de 234!
_
= el mnimo de a y / (por qu?)
= /
Para encontrar /, procedemos como sigue:
No. de enteros positivos _ 234 y divisibles por 5 = 234,5| = 46.
Cada uno de ellos contribuye en un 5 a la factorizacin en primos de 234!.
Cada uno de ellos contribuye en un 5 adicional a la factorizacin en primos
de 234!.
Contribuye todava en un 5 adicional a la factorizacin en primos.
Ninguna potencia superior de 5 contribuye en un 5 a la factorizacin prima
de 234!, as el nmero total de 5s en la factorizacin prima es igual a 46+9+1 =
56. As, 234! tiene 56 ceros nales.
Se sigue de este ejemplo que el exponente ms alto c de un primo j que
divide :! se obtiene como
c = :,j| +:,j
2
| +:,j
3
| +
Sea / el entero ms pequeo tal que j
k
:. Entonces
_
:,j
k
_
= 0, por lo
que la suma es nita.
Por ejemplo, el exponente ms grande de 2 que divide 97! es
c = 97,2| +97,2
2
| +97,2
3
+97,2
4
| +97,2
5
| +97,2
6
|
= 48 + 24 + 12 + 6 + 3 + 1 = 94
De manera interesante, hay una relacin ntima entre el nmero de unos en
la representacin binaria de 97 y el exponente ms alto de 2 que divide 97!.
Para ver esto, note que 97 = 1100001
dos
, por lo que la representacin binaria
contiene tres 1s y 97 = 94 + 3.
De manera general, se tiene el siguiente resultado debido al matemtico
francs Adrian Mari Legendre.
Teorema 102 Denotando por c el exponente ms alto de 2 que divide :! y / el
nmero de 1s en la representacin binaria de :. Entonces : = c +/.
Demostracin. Sea : = (a
k
a
k1
. . . a
1
a
0
)
dos
= a
0
+ a
1
2 + + a
k
2
k
. Sea
1 _ i _ /. Entonces:
_
:
2
i
_
=
_
a
0
+a
1
2 + +a
i1
2
i1
2
i
_
+a
i
+a
i+1
2 + +a
k
2
k1
Pero
a
0
+a
1
2 + +a
i1
2
i1
_ 1 + 2 + 2
2
+ + 2
i1
= 2
i1
< 2
i
,
as
_
a
0
+a
1
2 + +a
i1
2
i1
2
i
_
= 0 (3.2)
Por consiguiente,
_
:
2
i
_
= a
i
+a
i+1
2 + +a
k
2
ki
(3.3)
Entonces,
k
i=1
_
:
2
i
_
= a
1
+a
2
2 +a
3
2
2
+ +a
k
2
k1
+a
2
1 +a
3
2 + +a
k
2
k2
+a
3
1 + +a
k
2
k3
.
.
.
+a
k
1
Esto es,
c = a
1
+a
2
(1 + 2) +a
3
_
1 + 2 + 2
2
_
+ +a
k
_
1 + 2
2
+ + 2
k1
_
(3.4)
= a
1
(2 1) +a
2
_
2
2
1
_
+a
3
_
2
3
1
_
+ +a
k
_
2
k
1
_
(3.5)
=
_
a
0
+a
1
2 +a
2
2
2
+ +a
k
2
k
_
(a
0
+a
1
+ +a
k
) (3.6)
= : / (3.7)
As, : = c +/.
Las descomposiciones cannicas de enteros positivos proporciona un nuevo
mtodo encontrar MCDs, como se ilustra en el siguiente ejemplo.
Ejemplo 103 Usando las descomposiciones cannicas de 168 y 180, para en-
contrar su MCD.
Solucin. Se puede vericar que 168 = 2
3
3 7 y 180 = 2
2
3
2
5. Los
nicos factores primos comnes son 2 y 3, por lo que 5 o 7 no pueden aparecer
en su MCD. Como 2 aparece tres veces en la descomposicin cannica de 168,
pero slo dos veces en la descomposicin cannica de 180, 2
2
son un factor
en el MCD. De manera similar, 3 tambin es un factor comn, por lo que
(168, 180) = 2
2
3 = 12.
Observacin
(168, 180) = 2
2
3 = 2
2
3
1
5
0
7
0
= 2
minf3;2g
3
minf1;2g
5
minf1;0g
7
minf1;0g
Esta tcnica puede generalizarse como sigue. Sea a y / enteros positivos con
las siguientes descomposiciones cannicas:
a = j
a1
1
j
a2
2
j
an
n
y / = j
b1
1
j
b2
2
j
bn
n
donde a
i
, /
i
_ 0. (permitiendo que los exponentes sean cero, siempre se puede
asumir que ambas descomposiciones contienen la mismas bases primas j
i
.) En-
tonces:
Observacin
(a, /) = j
minfa1;b1g
1
j
minfa2;b2g
2
j
minfan;bng
n
Se dar nuevamente un vistazo a la distribucin de los primos, que se estudio
en el captulo precedente.
Revisin de Distribucin de Primos
Por el algoritmo de la divisin, cada entero es de la forma 4: + r, donde
r = 0, 1, 2, o 3; as que cada entero impar es de la forma 4: + 1 o 4: + 3. Por
ejemplo, 13 y 25 son de la forma 4: +1: 13 = 4 3 +1 y 25 = 4 6 +1, mientras
que 11 y 31 son de la forma 4: + 3: 11 = 4 2 + 3 y 31 = 4 7 + 3.
Observando los enteros positivos de la forma 4: + 3. Los primeros once de
tales nmeros son 3, 7, 11, 15, 19, 23, 27, 31, 35, 39 y 43 de los cuales siete
(aproximadamente 64 %) son primos.
Qu se podra conjeturar razonablemente de esta observacin? Si se su-
pusiera que hay innitos primos de la forma 4: + 3, se estara en lo correcto.
Antes de que se establezca la validez de esta suposicin, se necesita que se pro-
ponga un fundamento en la forma del siguiente lema.
Lema 104 El producto de dos enteros cualesquiera de la forma 4:+1 tambin
es de la misma forma.
Demostracin. Sean a y / dos enteros cualesquiera de la forma 4:+1, suponga,
a = 4/ + 1 y / = 4:+ 1 para algunos enteros / y :. Entonces
a/ = (4/ + 1) (4:+ 1)
= 16/:+ 4/ + 4:+ 1
= 4 (4/:+/ +:) + 1
= 4/ + 1 donde / = 4/:+/ +: es un entero
As, a/ tambin es de la misma forma.
Este resultado puede extenderse a cualquier nmero nito de tales enteros y
la prueba se deja como ejercicio.
Ahora se est listos para demostrar la siguiente conjetura. Observe que la
demostracin es similar a la demostracion de Euclides que estableci la innidad
de primos.
Teorema 105 Hay innitos primos de la forma 4: + 3.
Demostracin. Suponga que slo hay nitos primos de la forma 4:+3, es decir,
j
0
, j
1
, j
2
, j
k
dnde j
0
= 3. Considere el entero positivo = 4j
1
j
2
j
k
+3.
Claramente, j
k
y tambin es de la misma forma.
Caso 1 Si el propio es primo, entonces sera mayor que el primo j
k
, el
ms grande de la forma 4: + 3 que es una contradiccin.
Caso 2 Suponga que es compuesto. Como es impar, todo factor de es
de la forma 4:+1 o 4:+3. Si cada factor es de la forma 4:+1, entonces,
por el Lema 103, sera de la misma forma. Pero, como es de la forma
4: + 3, por lo menos uno de los factores primos, digamos, j, debe ser de
la forma 4: + 3.
Subcaso 1 Sea j = j
0
= 3. Entonces 3[, por lo que 3[ ( 3) por el Teorema
42; esto es, 3[4j
1
j
2
j
k
. As, por el Lema 94, 3[2 o 3[j
i
, donde 1 _ i _ /,
pero los dos son imposibles.
Subcaso 2 Sea j = j
i
donde 1 _ i _ /. Entonces j[ y j[4j
1
j
2
j
k
, por lo
que j[ ( 4j
1
j
2
j
k
), es decir, j[3, que es de nuevo una contradiccin.
Ambos casos nos llevan a una contradiccin, por lo que la suposicin debe
ser falsa. As, hay un nmero innito de primos de la forma dada.
Ahora que se ha establecido la innitud de los nmeros primos de la forma
4: + 3, se hace la siguiente pregunta lgica: Hay innitos primos de la forma
4: + 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 106 (Teorema de Dirichlet) Si a y / son primos relativos, en-
tonces la sucesin aritmtica a, a+/, a+2/, a+3/ . . . contiene innitos primos.
Por ejemplo, sea a = 3 y / = 4; entonces la sucesin 3, 4 1 + 3, 4 2 + 3,
4 3 + 3 . . . contiene un nmero innito de primos, a saber, primos de la forma
4: + 3.
Igualmente, escogiendo a = 1 y / = 4, de esto se sigue que hay un nmero
innito de primos de la forma 4: + 1.
Ms aun, hay otro ejemplo, escoja a = 7 y / = 100. Entonces a + :/ =
100:+7, as la sucesin 7, 107, 207, 307 . . . contiene un nmero innito de primos,
y terminan en 7.
Ejercicios 3.3
Encuentre la descomposicin cannica de cada nmero compuesto.
1. 1947
2. 1661
3. 1863
4. 1976
5. 2
27
+ 1
6. 2
48
1
7. 10, 510, 100, 501
8. 1, 004, 006, 004, 001
Encuentre los factores positivos en cada caso, asumiendo que j y son
distintos primos.
9. j
10. j
2
11. j
12. j
2
Encuentre los factores positivos de cada nmero compuesto.
13. 48
14. 90
15. 210
16. 1040
Encuentre el nmero de ceros en el valor decimal de cada nmero.
17. 100!
18. 376!
19. 609!
20. 1010!
Encuentre los valores de : para los que :! contiene el nmero de ceros
dado.
21. 58
22. 93
Encuentre el MCD de cada par de nmeros, asuma que j, , y r son dis-
tintos primos.
23. 2
3
3 5, 2 3
2
5
3
7
2
24. 2
4
3
2
7
5
, 3
4
5 11
2
25. j
2
3
, j
2
r
26. j
3
r
3
, j
3
4
r
5
Usando las descomposiciones cannicas, encuentre el MCD de cada par de
nmeros.
27. 48, 162
28. 72, 108,
29. 175, 192
30. 294, 450
Encuentre el nmero de ceros en la representacin binaria de cada entero.
31. 28
32. 32
33. 208
34. 235
35. Usando los Ejercicios 31-34, prediga el nmero de ceros en la representacin
binaria de el entero positivo :.
Encuentre la ms alta potencia de cada uno de los nmesor que divides a
1001!
36. 2
37. 3
38. 5
39. 7
Usando el Teorema 101, encuentre el nmero de unos en la representacin
binaria de cada entero.
40. 234
41. 1001
42. 1976
43. 3076
44. Usando el Ejemplo 100, conjeture sobre el nmero de ceros que tiene el
valor decimal de :!
Demuestre cada tem, aumiendo que j es un primo, y a, /, y : son enteros
positivos.
45. Si j[a
2
, entonces j[a.
46. Si j[a
n
, entonces j[a.
47. El producto de de : enteros del forma 4/ + 1 tambin es de la misma
forma.
48. Si (a, /) = 1, entonces (a
n
, /
n
) = 1.
49. Si (a
n
, /
n
) = 1, entonces (a, /) = 1.
50. Hay innitos primos de la forma 2: + 3.
51. Hay innitos primos de la forma 8: + 5.
52. Todo entero positivo : puede escribirse como : = 2
e
:, donde c _ 0 y :
es un entero impar.
53. Cada entero positivo : puede escribirse como : = 2
a
5
b
c, dnde c no es
divisible por 2 o 5.
54. Un entero positivo es un cuadrado si y slo si cada exponente en su de-
scomposicin cannica es entero par.
F
Encuentre el nmero de factores positivos de cada caso, asuma que j, ,
y r son distintos primos.
55. j
56. j
2
57. j
2
2
58. j
2
r
3
F
Encuentre la suma de los factores positivos en cada caso, asumiendo que
j, , y r son distintos primos.
59. j
i
60. j
j
61. j
i
j
62. j
i
j
r
k
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 slo si su factorizacin prima consiste
de distintos primos.
64. Cualquier entero : 1 puede escribirse como el producto de un cuadrado
y un entero cuadrado-libre.
Objetivo
En el presente taller se dene una funcin que permite descomponer, de
acuerdo al Teorema Fundamental de la Aritmtica, en producto de factores
primos.
La funcin que se utilizar en este taller se dene como FACTOR(n) y que se
simplica a la factorizacin del entero : en producto de factores primos.
Actividades
Mediante la simplicacin de la orden
FACTOR(2520)
se obtiene la factorizacin del nmero 2520 como producto de factores primos,
de la misma forma en que se ilustr en el Ejemplo 98, la simplicacin de esta
orden en Derive devuelve como resultado
2
3
3
2
5 7
3.4. Mnimo Comn Mltiplo
El mnimo comn mltiplo (mcm) de dos enteros positivos a y / est es-
trechamente relacionado con su MCD. De hecho, se utiliza el mcm cada vez que
sumamos y restamos fracciones. Ahora se explorar dos mtodos para encon-
trar el mcm de a y /. El primer mtodo que se emplear es la descomposicin
cannica, y el segundo emplea su MCD. Se empezar con una denicin.
Mnimo Comn Multiplo
El mnimo comn mltiplo de dos enteros positivos a y / es el menor entero
positivo divisible tanto por a como por /, y se denota como [a, /] .
Suponga que se quiere evaluar [18, 24] . Ya que los mltiplos de 18 son
18, 36, 54, 72, 90, ... y de 24 son 24, 48, 72, 96, ... As, sus mltiplos 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 a/ es un mltiplo de ambos a y /, el conjunto
de comunes mltiplos es simpre diferente de vaco; as, por el principio del buen
ordenamiento, el conjunto tiene un mnimo elemento; por tanto, [a, /] siempre
existe.
Y la otra pregunta que surge es si el mcm es nico? La respuesta es nueva-
mente armativa (Su demostracin se propone como ejercicio)
A continuacin se presentar una denicin simblica del mcm.
Una Denicin Simblica del mcm
El mcm de dos nmeros enteros positivos a y / es el entero positivo : tal
que:
a[: y /[:; y
si a[:
0
y /[:
0
, entonces : _ :
0
, donde :
0
La descomposicin cannica de a y / se puede emplear para encontrar su
mcm. Suponga que queremos encontrar [90, 168]. Note que 90 = 2 3
2
5 y
168 = 2
3
3 7. Observando las potencias primas, se sigue que su mcm debe ser
mltiplo de 2
3
, 3
2
, 5 y 7; as su mcm es 2
3
3
2
5 7 = 2520.
Observacin
[90, 168] = 2
3
3
2
5 7
= 2
maxf1;3g
3
maxf2;1g
5
maxf1;0g
7
maxf0;1g
Esto nos lleva a la siguiente generalizacin.
3.4. MNIMO COMN MLTIPLO 121
Sean a, / enteros positivos con las siguientes descomposiciones cannicas
a = j
a1
1
j
a2
2
j
a3
3
j
an
n
y / = j
b1
1
j
b2
2
j
b3
3
j
bn
n
con a
i
, /
i
_ 0.
(De nuevo, se supone que ambas desomposiciones cannicas contienen ex-
actamente las mismos bases primas j
i
.) Luego:
[a, /] = j
maxfa1;b1g
1
j
maxfa2;b2g
2
j
maxfan;bng
n
El siguiente ejemplo ilustra la tcnica anterior.
Ejemplo 107 Encuentre el mcm de 1050 y 2574 usando la decomposicin canni-
ca.
Solucin. Tenga en cuenta que:
1050 = 2 3 5
2
7 y 2574 = 2 3
2
11 13
Por lo tanto
[1050, 2574] = 2
maxf1;1g
3
maxf1;2g
5
maxf2;0g
7
maxf1;0g
11
maxf1;0g
13
maxf0;1g
= 2
1
3
2
5
2
7
1
11
1
13
1
= 450,450
A continuacin, se desarrollar una estrecha relacin entre el MCD y el mcm
de dos enteros positivos. Pero primero, se estudiar un ejemplo y se dar una
observacin.
Observe que (18, 24) = 6 y [18, 24] = 72. Tambin, 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 aplicacin directa del Teorema 2 y de la descomposicin
cannica.
Teorema 108 Sean a y / enteros positivos. Entonces
[a, /] =
a/
(a, /)
.
Demostracin. Sean a = j
a1
1
j
a2
2
j
a3
3
j
an
n
y / = j
b1
1
j
b2
2
j
b3
3
j
bn
n
, las descom-
posiciones cannicas de a y /, respectivamente. Entonces
(a, /) = j
mnfa1;b1g
1
j
mnfa2;b2g
2
j
mnfa3;b3g
3
j
mnfan;bng
n
y
[a, /] = j
maxfa1;b1g
1
j
maxfa2;b2g
2
j
maxfa3;b3g
3
j
maxfan;bng
n
Por tanto,
(a, /) [a, /] =
_
j
mnfa1;b1g
1
j
mnfan;bng
n
__
j
maxfa1;b1g
1
j
maxfan;bng
n
_
= j
mnfa1;b1g+maxfa1;b1g
1
j
mnfan;bng+maxfan;bng
n
= j
a1+b1
1
j
a2+b2
2
j
an+bn
n
= (j
a1
1
j
a2
2
j
a3
3
j
an
n
)
_
j
b1
1
j
b2
2
j
b3
3
j
bn
n
_
= a/
As,
[a, /] =
a/
(a, /)
que era lo que se quera demostrar.
Este teorema proporciona una segunda forma de clcular [a, /], siempre que
se conozca (a, /), como se ilustra en el siguiente ejemplo.
Ejemplo 109 Use (252, 360), y calcular [252, 360].
Solucin. Tenga en cuenta que 252 = 2
2
3
2
7 y 360 = 2
3
3
2
5, as
(252, 360) = 2
2
3
2
= 36. Por tanto, por el teorema anterior
[252, 360] =
252 360
36
= 2520
Retornando al Teorema 107, suponga que (a, /) = 1. Entonces [a, /] = a/.
Corolario 110 Dos enteros positivos a y / son primos relativos si y solo si
[a, /] = a/.
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 tambin ser extendida a
tres o ms enteros positivos. Por ejemplo 24 = 2
3
3, 28 = 2
2
7 y 36 = 2
2
3
2
.
Por tanto,
[24, 28, 36] = 2
maxf3;2;2g
3
maxf1;0;2g
7
maxf0;1;0g
= 2
3
3
2
7
1
= 504
Nuevamente, como en el caso de MCD, la recursividad puede ser aplicada
para evaluar el mcm de tres o ms enteros positivos, como lo muestra el siguiente
resultado. La prueba se deja como ejercicio para el lector.
Teorema 111 Sean a
1
, a
2
, , a
n
: (_ 3) enteros positivos. Entonces
[a
1
, a
2
. a
n
] = [[a
1
, a
2
. a
n1
] , a
n
]
El siguiente ejemplo ilustra este resultado.
Ejemplo 112 Use recursin para evaluar [24, 28, 36, 40] .
Solucin.
[24, 28, 36, 40] = [[24, 28, 36] , 40] = [[[24, 28] , 36] , 40]
= [504, 40] = [[168, 36] , 40]
= 2520
(Usted puede vericar el resultado usando la descomposicin cannica de 24, 28,
36 y 40.)
Los siguientes dos resultados se siguen del Teorema 110.
Corolario 113 Si los enteros positivos a
1
, a
2
, , a
n
son primos relativos por
pares, entonces [a
1
, a
2
, , a
n
] = a
1
a
2
a
n
.
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 114 Si :
1
[a y :
2
[a entonces [:
1
, :
2
] [a.
Demostracin. Llamando [:
1
, :
2
] = t , se tiene :
1
[t y :
2
[t. Adems, si
:
1
[t
0
y :
2
[t
0
, debe ocurrir que t _ t
0
.
Se quiere probar que t[a.
Por el algoritmo de la divisin a = t + r con 0 _ r < t, o de manera
equivalente
r = a t, con 0 _ r < t.
Suponga que 0 < r < t, como :
1
[a y :
1
[t entonces por el Teorema 42
:
1
[a t, es decir :
1
[r. De igual forma, como :
2
[a y :
2
[t entonces :
2
[a t,
es decir :
2
[r.
Ya que por denicin y como se enuncio inicialmente, si existe otro comn
mltiplo de :
1
y :
2
, este tiene que ser mayor que [:
1
, :
2
] = t, entonces r _ t
que contradice el supuesto que 0 < r < t, por lo tanto r = 0, as t[a.
Corolario 115 Si :
1
, :
2
, , :
k
y a son enteros positivos tales que :
i
[a
para 1 _ i _ /. Entonces [:
1
, :
2
, ..., :
k
] [a.
Demostracin. (induccin fuerte sobre /) Claramente se puede ver que se
cumple para / = 1, y el Teorema 113 muestra que igualmente se cumple para
/ = 2.
Suponga que se cumple para todos los enteros desde 1 hasta t. Ahora suponga
que :
i
[a con 1 _ i _ t+1. Entonces por hiptesis de induccin [:
1
, :
2
, . . . , :
t
][a
y adems :
t+1
[a; as, otra vez por la hiptesis, [[:
1
, :
2
, . . . , :
t
], :
t+1
][a; esto
es, [:
1
, :
2
, . . . , :
t+1
][a por el Teorema 110. Luego, por induccin, el resultado
es verdadero para cada entero /.
Ejercicios 3.4
Marque verdadero o falso, asumiendo que a,/ y c son enteros positivos arbi-
trarios y j es un nmero 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, /) = 1, entonces [a, /] = a/.
5. Si j - a, entonces [j, a] = ja.
6. Si (a, /) = 1, entonces a = 1 = /.
7. Si [a, /] = /, entonces a = 1.
8. Si [a, /] = /, entonces a[/.
9. Si [a, /] = a/, entonces a = /.
10. Si [a, /] = a/ y [/, c] = /c, entonces [a, c] = ac.
Encuentre el mcm de cada par de enteros.
11. 110, 210
12. 65, 66
Encuentre [a, /] si
13. a[/
14. /[a
15. a = 1
16. a = /
17. a y / son distintos primos.
18. / = a + 1
Encuentre [a, /] si
19. (a, /) = 3 y a/ = 693.
20. a/ = 156 y a y / son primos relativos.
21. Encuentre el entero positivo a si [a, a + 1] = 132.
22. Encuentre el par de primos j y tal que [j, ] = 323.
Encuentre los enteros positivos a y / tales que
23. (a, /) = 20 y [a, /] = 840
24. (a, /) = 18 y [a, /] = 3780
25. Cul es su conclusin si (a, /) = [a, /]? Por qu?
Usando recursividad, encuentre el mcm de los enteros dados.
26. 12, 18, 20, 28
27. 12, 15, 18, 25, 20
28. Pruebe o refute: [a, /, c] = a/c,(a, /, c)
Objetivo
En el presente taller se dene y se explorar una funcin que permita calcular
el mcm de dos o ms nmeros.
La funcin que se utilizar en este taller se dene como LCM(m1,m2,...,mn)
y permite calcular el mcm de los : nmeros :
1
, :
2
, ..., :
n
.
Actividades
Mediante la opcin LCM(m1,m2,...,mn) en Derive es posible calcular el
mcm de un conjunto de nmeros, por ejemplo, la simplicacin de la expresin
LCM(12,18)
arroja como resultado el valor 36 que es le mcm de los dos nmeros 12 y 18. La
funcin permite calcular la el mcm de ms de dos nmeros enteros, es as como
la simplicacin de
LCM(12,18,28)
arroja como resultado el valor 252 y la simplicacin de
LCM(12,36,60,108)
da como resultado 540, que son los mcm de los conjuntos de nmeros respecti-
vamente.
3.5. ECUACIONES LINEALES DIOFNTICAS 127
3.5. Ecuaciones Lineales Diofnticas
Frecuentemente se est interesado en soluciones enteras de ecuaciones con
coecientes enteros. Tales ecuaciones son llamadas ecuaciones diofnticas,
despus de Diofanto, quien escribi extensivamente sobre stas. Por ejemplo,
cuando se restringe la solucin a enteros, las ecuaciones 2r+3j = 4, r
2
+j
2
= 1
y r
2
+j
2
= .
2
son ecuaciones diofnticas.
Geomtricamente, tales soluciones de la ecuacin 2r + 3j = 4 son puntos
sobre la lnea 2r + 3j = 4 con coordenadas enteras. Puntos con coordenadas
enteras son llamados puntos ltices. Por ejemplo, (1, 2) es una de tales solu-
ciones; en efecto, sta tiene innitas soluciones de la forma (2 +3t, 2t), donde
t es un entero arbitrario.
La ecuacin diofntica r
2
+ j
2
= 1 tiene exactamente cuatro soluciones:
(1, 0) y (0, 1), los puntos donde el crculo unitario r
2
+ j
2
= 1 intersecta a
los ejes.
Las soluciones de la ecuacin diofntica r
2
+j
2
= .
2
representa la longitud
de los lados de un tringulo rectngulo; (3, 4, 5) es una solucin. Esta ecuacin
tambin tiene un nmero innito de soluciones.
Ecuaciones Lineales Diofnticas
La clase ms simple de ecuaciones diofnticas es la clase de ecuaciones linea-
les diofnticas (ELDs). Una ecuacin lneal diofntica en dos variables r
y j es una ecuacin de la forma ar + /j = c. La solucin de tal ELD envuelve
sistemticamente el algoritmo de euclides, como se ver a continuacin. Primero
se estudiarn 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 matemtico indio Mahavira (ao 850 a.c.).
Ejercicio 116 Veintitrs viajeros cansados entraron a un bello bosque. All en-
contraron 63 montones de pltanos y siete platanos sueltos y los dividieron en
igual nmero entre ellos.
Encuentre el nmero de platanos que haba en cada montn.
Solucin. Denote por r el nmero de pltanos en cada montn y j el
nmero de pltanos recibido por cada viajero. Entonces se obtiene la siguiente
ELD
63r + 7 = 23j
Ya que ambos, r y j son enteros positivos, el inters recae solamente en
encontrar las soluciones enteras positivas de la ELD. Resolviendo la anterior
ecuacin para j, se tiene
j =
63r + 7
23
Cuando r 0, claramente j 0. Entonces, se ensaya con los valores 1, 2,
3 y as sucesivamente para r, hasta que el valor de j sea un entero.
r 1 2 3 4 5 28
j 70,23 133,23 196,23 252,23 14 77
De la Tabla se sigue que para r = 5, j = 28 es una solucin. Se puede vericar
que r = 28, j = 77 es otra solucin. Efectivamente, se puede mostrar que la
ELD tiene innitas soluciones.
Otro antiguo enigma, llamado el problema de las cien aves, se encuentra
en un Clsico Matemtico, el libro del siglo sexto de la matemtica china llamado
el Chang Chiu-chien.
Ejercicio 117 Si un gallo vale cinco monedas, una gallina tres monedas, y
tres polluelos juntos una moneda, cuntos gallos, gallinas, y polluelos, que sumen
100, pueden ser comprados con 100 monedas?
Solucin. Denote con r el nmero de gallos, con j el nmeros de gallinas y
con . el nmero de polluelos. Claramente r, j y . son enteros positivos, cero en
su defecto. Entonces los datos que se suministran se condensan en el siguiente
par de ELDs
r +j +. = 100
5r + 3j +
.
3
= 100
Despejando . de la primera ecuacin (. = 100 r j) y sustityendo en la
segunda se tiene
5r + 3j +
1
3
(100 r j) = 100
Esto es,
7r + 4j = 100
j =
100 7r
4
= 25
7
4
r
As, para que j sea un entero, 7,4r debe ser entero; pero 4 - 7, r debe ser un
mltiplo de 4: r = 4t, donde t es entero. Entonces,
j = 25
7
4
r = 25
7
4
(4t) = 25 7t
y
. = 100 r j = 100 4t (25 t) = 75 + 3t
As, toda solucin del rompecabezas es de la forma r = 4t, j = 25 7t y
. = 75 + 3t, donde t es un entero arbitrario.
Ahora, para encontrar la solucin del rompecabezas, se procede de la siguiente
forma: Ya que r _ 0, t _ 0. Adems ya que j _ 0, 257t _ 0; esto es t _ 25,7,
as t _ 3. Y ya que . _ 0, 75 + 3t _ 0; esto es t _ 25; pero esto no da
informacin 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 : r = 0, j = 25, . = 75; r = 4, j = 18, . = 78; r = 8, j = 11,
. = 81; y r = 12, j = 4, . = 84.
Teorema 118 La ELD ar + /j = c es tiene solucin si y solo si d[c, donde
d = (a, /). Si r
0
, j
0
es una solucin particular de la ELD, entonces todas sus
soluciones estan dadas por
r = r
0
+
/
d
t y j = j
0

a
d
t
donde t es un entero arbitrario.
Demostracin. La prueba consiste en cuatro partes:
Si la ELD tiene solucin, entonces d[c.
Si d[c entonces la ELD tiene solucin.
r = r
0
+
b
d
t y j = j
0

a
d
t es una solucin de la ELD.
Toda solucin de la ELD es de esta forma.
Se probar cada parte una a una en este orden.
Si la ELD tiene solucin, entonces d[c :
Suponga r = c y j = , es una solucin. Entonces
ac +/, = c
Ya que d = (a, /), d[a y d[/, as d[ac +/, esto es d[c.
Para probar que si d[c entonces la ELD tiene solucin:
Suponga que d[c. Entonces c = dc para algn entero c. Ya que d = (a, /)
existen enteros r y : tales que ra + :/ = d. Multiplicando ambos lados de la
ecuacin por c se obtiene
rac +:/c = dc
Esto es,
a(rc) +/(:c) = c
As, r
0
= rc y j
0
= :c es una solucin de la ELD; esto signica que tiene
solucin.
Para mostrar que r = r
0
+
b
d
t y j = j
0

a
d
t es una solucin de la ELD:
Se tiene que
ar +/j = a
_
r
0
+
/
d
t
_
+/
_
j
0

a
d
t
_
= (ar
0
+/j
0
) +
a/t
d

a/t
d
= ar
0
+/j
0
= c
De esta forma r = r
0
+
b
d
t y j = j
0

a
d
t es una solucin para cualquier entero
t.
Para mostrar que toda solucin r
0
, j
0
es de la misma forma:
Ya que r
0
, j
0
y r
0
, j
0
son soluciones de la ELD, se tiene que:
ar
0
+/j
0
= c y ar
0
+/j
0
= c
entonces
ar
0
+/j
0
= ar
0
+/j
0
Por tanto,
a(r
0
r
0
) = /(j
0
j
0
) (3.8)
dividiendo ambos lados de la ecuacin por d :
a
d
(r
0
r
0
) =
/
d
(j
0
j
0
)
Por el Teorema 71, (a,d, /,d) = 1, as por el Corolario 80,
b
d
[(r
0
r
0
) y por
tanto r
0
r
0
=
b
d
t para algn entero t.
Esto es,
r
0
= r
0
+
/
d
t
Ahora sustituyendo r
0
r
0
en la ecuacin (3.8), se tiene
a
_
/
d
t
_
= /(j
0
j
0
)
a
d
t = j
0
j
0
j
0
= j
0

a
d
t
As toda solucin de la ELD es de la misma forma.
Observacin
Se sigue del teorema que si la ELD ar+/j = c tiene solucin, entonces tiene
innitas soluciones. Estas soluciones estan dadas por la solucin general
r = r
0
+
/
d
t y j = j
0

a
d
t
siendo t un entero arbitrario. Dando a t diferentes valores, es posible encontrar
cualquier nmero de soluciones particulares.
Este teorema tiene un corolario interesante y til.
Corolario 119 Si (a, /) = 1, entonces la ELD ar + /j = c tiene solucin y la
solucin general est dada por r = r
0
+ /t y j = j
0
at, donde r
0
, j
0
es una
solucin particular.
Ejemplo 120 Determine si las ELDs 12r+18j = 30, 2r+3j = 4 y 6r+8j = 25
tienen solucin.
Solucin.
(12, 18) = 6 y 6[30, la ELD 12r + 18j = 30 tiene solucin.
(2, 3) = 1, as por el Corolario 119, la ELD tiene solucin.
(6, 8) = 2 y 2 - 25, as que la ELD 6r + 8j = 25 no tiene solucin.
Ejemplo 121 Encuentre la solucin general del problema de Mahavira plantea-
do en el Ejemplo 116.
Solucin.
La ELD en el problema de Mahavira es 63r23j = 7. Ya que (63, 23) = 1,
la ELD tiene solucin.
Para encontrar una solucin particular r
0
, j
0
primero se expresa el MCD 1
como combinacin lineal de 63 y 23, aplicando primero el algoritmo de Euclides:
63 = 2 23 + 17
23 = 1 17 + 6
17 = 2 6 + 5
6 = 1 5 + 1
5 = 5 1 + 0
Ahora usando las ecuaciones en orden inverso:
1 = 6 1 5
= 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
Multiplicando ambos lados de la ecuacin por 7 :
7 = (7)(4)63 + (7)11 23
= 63 28 23 77
luego r
0
= 28, j
0
= 77 es una solucion particular de la ELD.
Por tanto, por el Corolario 119, la solucion general est dada por r =
r
0
+/t = 28 23t y j = j
0
at = 77 63t, donde t es un entero arbitrario.
3.5.1. Mtodo de Euler para la solucin de ELDs
Euler invent un mtodo para solucionar ELDs que emplea el algoritmo de
la divisin, pero no el algoritmo euclideo.
Ejemplo 122 Resuelva la ELD 1076r +2076j = 3076 por el mtodo de Euler.
Solucin.
Ya que (1076, 2076) = 4 y 4[3076, la ELD tiene innitas soluciones. El
mtodo de Euler implica la solucin de la ELD para la variable con ms pequeo
coeciente, r en este caso:
r =
2076j + 3076
1076
(3.9)
= j + 2 +
1000j + 924
1076
por el algoritmo de la divisin (3.10)
Sea n =
1000y+924
1076
. (Note que n es un entero. Por qu?) De esta expresin
se obtiene la ELD
1076n + 1000j = 924
Esta ELD tiene coecientes ms pequeos que la original. Resolviendo para j :
j =
1076n + 924
1000
(3.11)
= n +
76n + 924
1000
, por el algoritmo de la divisin (3.12)
Sea =
76u+924
1000
, de donde
76n + 1000 = 924
resolviendo para n :
n =
1000 + 924
76
(3.13)
= 13 + 12 +
12 + 12
76
, por el algoritmo de la divisin (3.14)
Sea n =
12v+12
76
, as
12 + 76n = 12
resolviendo para :
=
76n + 12
12
= 6n + 1
n
3
Ya que es un entero, n,3 debe ser un entero tambin, as que n,3 = t.
Para obtener una solucin particular, se hace t = 0; entonces n = 0 y
trabajando con las ecuaciones (3.9), (3.11) y (3.13) en el orden inverso:
= 6n + 1
n
3
= 6(0) + 1
0
3
= 1
n =
1000 + 924
76
=
1000(1) + 924
76
= 1
j =
1076n + 924
1000
=
1076(1) + 924
1000
= 2
r =
2076j + 3076
1076
=
2076(2) + 3076
1076
= 1
Puede vericarse que r
0
= 1, j
0
= 2 es en efecto una solucin de la ELD.
Para encontrar la solucin general, con t como entero arbitrario, usando
sucesivas sustituciones, nuevamente en orden inverso:
n = 3t
= 6n + 1
n
3
= 19t + 1
n = 13 + 12 +n = 250t 1
j = n + = 269t + 2
r = j + 2 +n = 519t 1
As la solucin general es r = 519t 1, j = 269t + 2.
Teorema 123 La ELD a
1
r
1
+ a
2
r
2
+ + a
n
r
n
= c tiene solucin si y sola-
mente si (a
1
, a
2
, ..., a
n
)[c. Cuando sta es soluble, tiene innitas soluciones.
Ejemplo 124 Determine si las ELD 6r+8j +12. = 10 y 6r+12j +15. = 10
tienen solucin.
Solucin.
Ya que (6, 8, 12) = 2 y 2[10, la ELD 6r + 8j + 12. = 10 tiene solucin.
(6, 12, 15) = 3, pero 3 - 10 luego 6r + 12j + 15. = 10 no tiene soluciones
enteras.
Se concluye esta seccin con un ejemplo que ilustra la solucin de ELDs con
tres variables.
Ejemplo 125 Encuentre la solucin general de la ELD 6r + 8j + 12. = 10.
Solucin. Por el ejemplo precedente, la ELD 6r + 8j + 12. = 10 tiene
innitas soluciones. Ya que 8j + 12. es una combinacin lineal de 8 y 12, esta
combinacin es mltiplo de (8, 12) = 4. As
8j + 12. = 4n (3.15)
Esto permite obtener la ELD en dos variables: 6r + 4n = 10. Resolviendo
sta se tiene
2 = 1 6 + (1) 4
10 = 5 6 + (5) 4
luego r
0
= 5, n
0
= 5, de donde r = 5 + 2t y n = 5 3t con t un entero
arbitrario.
Ahora sustituyendo n en la ecuacin (3.15):
8j + 12. = 4(5 3t)
Note que (8, 12) = 4 y 4 = 1 8 + 1 12, por tanto
4(5 3t) = (5 + 3t) 8 + (5 3t) 12
As, por el Teorema 118, la solucin general de la ecuacin (3.15), asumiendo
como soluciones particulares j
0
= 5 + 3t, .
0
= 5 3t y parmetro t
0
es j =
5 + 3t + 3t
0
, . = 5 3t 2t
0
. De esta forma la solucin general de la ELD
dada es
r = 5 + 2t
j = 5 + 3t + 3t
0
. = 5 3t 2t
0
donde t y t
0
son enteros arbitrarios.
Obviamente, este mtodo de reducir el nmero de variables puede ser am-
pliado a ELDs con cualquier nmero nito de variables.
Ejercicios 3.5
Usando el Teorema 118 determine si cada una de las ELDs tiene solucin.
1. 12r + 16j = 18
2. 14r + 16j = 15
3. 12r + 13j = 14
4. 28r + 91j = 119
5. 1776r + 1976j = 4152
6. 1076r + 2076j = 1155
Encuentre la solucin general de cada ELD usando el Teorema 118.
7. 2r + 3j = 4
8. 12r + 16j = 20
9. 12r + 13j = 14
10. 15r + 21j = 39
11. 28r + 91j = 119
12. 1776r + 1976j = 4152
Determine si cada ELD tiene solucin.
13. 2r + 3j + 4. = 5
14. 8r + 10j + 16. = 25
15. 12r + 30j 42. = 66
16. 76n + 176r + 276j + 376. = 476
Resuleva las siguientes ELDs.
17. r + 2j + 3. = 6
18. 2r 3j + 4. = 5
19. 6r + 12j 15. = 33
20. 12r + 30j 42. = 66
Apndice A
Una Introduccin al
paquete DERIVE
A.1. QU ES DERIVE?
Derive es un programa de clculo simblico, o en otras palabras un lenguaje
de programacin de alto nivel, ofreciendo al usuario unas caractersticas partic-
ulares tales como:
1. Tiene la posibilidad de de ingresar expresiones de tipo racional, como
por ejemplo 2,9 sin la necesidad de operar con su resultado inmediato =
0,222 22, aunque tambin se puede ingresar ste para efectuar las debidas
operaciones matemticas.
2. Permite la manipulacin de variables sin asignacin, lo que indica que
podemos emplear expresiones no numricas, obteniendo as expresiones de
tipo algebraico donde los datos ingresados no han de ser necesariamente
valores numricos.
3. Soportan estructuras de datos de tipo vectorial y matricial.
4. Admiten realizar programaciones, aunque DERIVE utiliza una progra-
macin funcional en algunos casos muy poco operativa.
137
138 APNDICE A. UNA INTRODUCCIN AL PAQUETE DERIVE
A.2. RECUENTO DE LOS PRINCIPALES CO-
MANDOS
A continuacin, vamos a describir brevemente los comandos funcionales del
software Derive 6.0, as como los principales conos que se emplearan con mayor
frecuencia a lo largo del trabajo aplicativo. Al ingresar por primera vez a Derive,
podremos observar la pantalla:
En ella podemos identicar los comandos que abarcan desde la parte superior
hasta la inferior, los cuales, describiremos a continuacin:
A.2.1. Barra de Ttulos
En sta aparece el nombre del programa, as como el nombre que le hemos
asignado a nuestro archivo en Derive, para este caso lgebra 1 que es otorgado
automticamente por el software. Adicionalmente los botones de minimizar,
maximizar y cerrar la ventana.
A.2.2. Barra de Men
En sta aparecen las funciones bsicas de Derive, clasicadas en forma de
men. Los mens principales son; Archivo, edicin, editar (autor), simplicar, re-
solver, clculo, denir, opciones, ventana y ayuda. Para acceder a ellos podemos
hacerlo de dos maneras: La primera, dando clic con el mouse sobre el comando,
desplegando as el grupo de subcomandos que lo contiene, la segunda aplicar
A.3. APLICACIONES CON DERIVE 139
la secuencia ALT+(Letra Subrayada), por ejemplo para desplegar el comando
Edicin, pulsara la secuencia ALT+E.
A.2.3. Barra de herramientas o de rdenes
En la barra de herramientas se encuentran los iconos que representan los
comandos utilizados con mayor frecuencia, tales como; Nuevo, guardar, simpli-
car, sumatoria, lmite, etc.
A.2.4. Ventana de lgebra
Aqu aparecen las operaciones que queremos efectuar luego de ser ingresadas
en la barra de introduccin de expresiones, estas aparecen antecedidas por eti-
quetas como: #1, #2, etc.
A.2.5. Barra de estado
En la barra de estado recibimos mensajes del programa con relacin a las
operaciones que estamos ejecutando.
A.2.6. Barra de introduccin de expresiones
Llamada tambin lnea de edicin, nos permite introducir las expresiones
matemticas que despus sern visualizadas en la ventana de lgebra.
A.2.7. Barra de de letras griegas y smbolos matemticos
En ella tenemos disponibles un conjunto de letras y smbolos de los cuales
podemos disponer a la hora de efectuar los clculos en la lnea de edicin con
solo dar clic con el mouse sobre cada botn.
A.3. APLICACIONES CON DERIVE
A.3.1. Introducir expresin
Luego de una breve introduccin a nuestro software derive, procederemos
con la aplicabilidad del mismo. Lo primero que vamos a hacer es incorporar una
expresin matemtica, sea la ecuacin r
2
4r + 16 = 0, dicha expresin. Para
ingresarla, iremos a la barra de mens, tomamos la opcin introducir y damos
clic en donde aparece Expresin (o bien se puede solo presionar F2). Luego en
la barra de introduccin de expresiones el cursor empezar a titilar, esperando
a que se introduzca la ecuacin.
Tambin podemos simplemente dirigirnos directamente a la barra de intro-
duccin de expresiones e ingresar la ecuacin. Para elevar la r al cuadrado,
como opcin se tiene en la barra de smbolos matemticos la tecla ^, tan solo
la pulsamos y enseguida tomara el valor anterior como un trmino elevado a
la potencia que el usuario dena. A continuacin para verla en la ventana de
lgebra, pulsamos Enter en donde nuestra ecuacion aparecer precedida de la
etiqueta #1, as
A.3.2. Simplicar Expresiones
Normal
Para simplicar normal, se hace clic sobre =, o simplemente se pulsa Ctrl+B.
Sirve para simplicar numrica y algebraicamente expresiones matemticas. Es-
ta orden simplica la expresin o la subexpresin resaltada y muestra el resul-
tado en la Ventana de lgebra. El resultado se resalta y recibe una etiqueta (un
nmero con #). Si se quiere ver tanto la expresin de entrada como el resultado
una vez simplicado en una sola lnea, introduzca la expresin seguida de un
signo igual (=) y haga clic sobre S. Derive muestra una ecuacin cuyo segundo
trmino es el resultado de simplicar el primer trmino.
El segundo objetivo de simplicar normal es transformar las expresiones
en otras que sean lo ms pequeas posibles, ya que as ocupan menos espacio
para ser almacenadas. Segn como sea la expresin, puede que tarde mucho en
ser simplicada. Despus de algunos segundos, el dilogo Progreso del Clculo
aparecer indicando:
1. La expresin que est siendo simplicada
2. La cantidad de tiempo utlizada en simplicar la expresin
3. El porcentaje de la memoria que est siendo usada para simplicar la
expresin.
Expandir
El objetivo de expandir una expresin con respecto a unas variables es max-
imizar el nmero de trminos que son algebraicamente independientes respecto
de esas variables. Use simplicar expandir, pulsando Ctrl+E o use la funcin
EXPAND para expandir una expresin o subexpresin con respecto de algunas
(o todas) de sus variables. Si una expresin polinmica se expande, se obtiene
justamente la expansin de ese polinomio. Si se expande una expresin racional,
se obtiene su descomposicin en fracciones simples. Notemos que simplicar
expandir y la funcin EXPAND no controlan expansiones exponenciales, loga-
rtmicas ni trigonomtricas.
Simplicar expandir expande la expresin resaltada o slo la subexpresin
resaltada. Es este ltimo caso, el resultado ser una copia de la expresin en
la que se ha expandido la subexpresin resaltada. Una expresin que contiene
ms de una variable puede ser expandida con respecto a algunas o a todas sus
variables. Simplicar expandir muestra una lista de las variables. Pulse Enter
A.3. APLICACIONES CON DERIVE 141
si la expansin quiere hacerla con respecto a todas las variables en el orden
mostrado. De otro modo, entre la primera variable, la secundaria, etc.
La funcin EXPAND puede usarse para introducir directamente la expresin
que se quiera expandir as: EXPAND(u, x, y,...) expande la expresin u(x,
y,...) con respecto a las variables x, y,... Si no se especican las variables,
la expansin se hace con respecto a todas las variables de la expresin. Tam-
bin se usa Simplicar expandir y la funcin EXPAND para descomponer en
fracciones simples una expresin racional (o una subexpresin) con respecto a
alguna o a todas las variables de su denominador.
Factorizar
Utilice simplicar factorizar, pulsando Ctrl+F o use la funcin FACTOR
para factorizar una expresin o subexpresin con respecto a alguna o a todas sus
variables. Simplicar factorizar, factoriza la expresin o subexpresin resaltada,
de modo que si se resalta una subexpresin, el resultado es una copia de la
expresin completa en la que slo la subexpresin se ha factorizado.
Una expresin de varias variables puede ser factorizada con respecto a algu-
nas o a todas sus variables. Simplicar factorizar le permite seleccionar las vari-
ables para la factorizacin. Haga clic sobre la que quiera que sea la primera, la
segunda, etc. Las subexpresiones que no contienen las variables de factorizacin
se simplican sin ser transformadas innecesariamente. En otras palabras, las
subexpresiones que slo contienen variables que no son las de factorizacin no
son expandidas ni factorizadas innecesariamente. Las potencias de exponentes
semejantes se renen y se simplican. La funcin FACTOR puede usarse desde
la lnea de entrada como: FACTOR(u, amount, x, y,...) factoriza la expresin
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 simplicar aproximar, pulsando Ctrl+G o usando la funcin AP-
PROX que sirve para aproximar los nmeros irracionales en tales expresiones
sin cambiar la precisin. Resolver expresiones usando aproximar es equivalente
a reducir expresiones con simplicar normal pero cambiando temporalmente
la precisin aproximada y la notacin cientca. Simplicar aproximar permite
adems introducir el nmero de dgitos de precisin que se usarn en los clculos
y que se mostrarn en el resultado.
La funcin APPROX puede usarse de forma equivalente en la lnea de entra-
da as: APPROX (u, n) aproxima la expresin u usando n dgitos de precisin. Si
se omite n, se toma el nmero seleccionado actualmente por defecto en Derive.
Sealemos que tanto simplicar expandir, factorizar, aproximar como simplicar
normal transforman una expresin en otra en forma sucientemente simple. Sin
embargo, simplicar normal es casi siempre mucho ms rpida y usualmente
proporciona un tipo de expresin ms parecida a la expresin original.
A.3.3. Introducir vector
Para introducir un vector, realizaremos el proceso que empleamos al insertar
una expresin, es decir, nos dirigimos al men introducir solo que sta vez damos
clic en donde aparece vector (otra manera es oprimir en la barra de ordenes la
opcin introducir vector). A continuacin, nos mostrara una ventana en donde
solicitar el nmero de elementos de dicho vector, para nuestro ejemplo elegire-
mos 4 y damos S a la ventana. Nuevamente, aparecer una ventana en donde
la parte superior describir el nmero de elementos que hemos seleccionado; all
ingresaremos los valores de nuestro vector por ejemplo ingresemos los nmeros
impares del 1 al 7 al dar S, en la ventana de lgebra se obtendr [1, 3, 5,
7].
A.3.4. Introducir Matriz
De igual forma que para montar un vector, Derive ofrece la opcin en el
men introducir para insertar una matriz (o en la barra de ordenes oprimir
introducir matriz). Al pulsar en ella aparecer el cuadro de dilogo similar a
introducir vector, solo que esta vez solicitara que demos las dimensiones (las
y columnas), ingresemos las opciones de 4 las y 4 columnas, luego asociemos
a cada celda un nmero, tomemos como ejemplo los nmeros 2, 3, 4, 5 en
la primera la, 3, 4, 5, 6 en la segunda la, 4, 5, 6, 7 en la tercera la, y
5, 6, 7, 8 en la cuarta la 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 introduccin de expre-
sines 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.

Libro Masmela

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Libro Masmela

Hochgeladen von

Copyright:

Verfügbare Formate

Una Introduccin a la Teora de Nmeros

Algunas aplicaciones con DERIVE

)(2) = 2 )(1) (1.6)

)(1) = 1 )(0) (1.7)

Das könnte Ihnen auch gefallen