Teoria Numeros Koshy BorradorEnEspanol

Una Introduccin a la Teora de Nmeros
Algunas aplicaciones con DERIVE

Luis Alejandro Msmela Caita
Junio de 2009
ii
ndice general
Introduccin VII
I Primera Parte 1
1. Fundamentos 3
1.1. Propiedades Fundamentales . . . . . . . . . . . . . . . . . . . . . 3
1.2. La Notacin Sumatoria y Productoria . . . . . . . . . . . . . . . 8
1.3. Induccin Matemtica . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4. Relaciones de Recurrencia . . . . . . . . . . . . . . . . . . . . . . 21
1.5. El Teorema Binomial . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.6. Nmeros Poligonales . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.7. Nmeros Piramidales . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.8. Nmeros de Cataln . . . . . . . . . . . . . . . . . . . . . . . . . 42
2. Divisibilidad 47
2.1. El Algoritmo de la Divisin . . . . . . . . . . . . . . . . . . . . . 47
2.2. Conguraciones Numricas . . . . . . . . . . . . . . . . . . . . . 56
2.3. Nmeros Primos y Compuestos . . . . . . . . . . . . . . . . . . . 61
2.4. Nmeros de Fermat . . . . . . . . . . . . . . . . . . . . . . . . . 70
3. Mximo Comn Divisor 75
3.1. Mximo Comn Divisor . . . . . . . . . . . . . . . . . . . . . . . 75
3.2. El Algoritmo de Euclides . . . . . . . . . . . . . . . . . . . . . . 86
3.3. El Teorema Fundamental de la Aritmtica . . . . . . . . . . . . . 89
3.4. Mnimo Comn Multiplo . . . . . . . . . . . . . . . . . . . . . . . 100
4. Features of this Shell 107
4.1. Section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.1.1. Subsection . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.2. Tags . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.3. Mathematics and Text . . . . . . . . . . . . . . . . . . . . . . . . 109
4.4. Lists Environments . . . . . . . . . . . . . . . . . . . . . . . . . . 109
4.5. Theorem-Like Environments . . . . . . . . . . . . . . . . . . . . . 110
iii
iv NDICE GENERAL
A. Una Introduccin al paquete DERIVE 111
A.1. QU ES DERIVE? . . . . . . . . . . . . . . . . . . . . . . . . . 111
A.2. RECUENTO DE LOS PRINCIPALES COMANDOS . . . . . . . 112
A.2.1. Barra de Ttulos . . . . . . . . . . . . . . . . . . . . . . . 112
A.2.2. Barra de Men . . . . . . . . . . . . . . . . . . . . . . . . 112
A.2.3. Barra de herramientas o de rdenes . . . . . . . . . . . . 113
A.2.4. Ventana de lgebra . . . . . . . . . . . . . . . . . . . . . . 113
A.2.5. Barra de estado . . . . . . . . . . . . . . . . . . . . . . . 113
A.2.6. Barra de introduccin de expresiones . . . . . . . . . . . . 113
A.2.7. Barra de de letras griegas y smbolos matemticos . . . . 113
A.3. APLICACIONES CON DERIVE . . . . . . . . . . . . . . . . . . 113
A.3.1. Introducir expresin . . . . . . . . . . . . . . . . . . . . . 113
A.3.2. Simplicar Expresiones . . . . . . . . . . . . . . . . . . . 114
A.3.3. Introducir vector . . . . . . . . . . . . . . . . . . . . . . . 116
A.3.4. Introducir Matriz . . . . . . . . . . . . . . . . . . . . . . . 116
B. Afterword 117
Prefacio
This is the preface. It is an unnumbered chapter. The markboth TeX eld
at the beginning of this paragraph sets the correct page heading for the Preface
portion of the document. The preface does not appear in the table of contents.
v
vi PREFACE
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.
The introduction is entered using the usual chapter tag. Since the intro-
duction chapter appears before the mainmatter TeX eld, it is an unnumbered
chapter. The primary dierence between the preface and the introduction in
this shell document is that the introduction will appear in the table of contents
and the page headings for the introduction are automatically handled without
the need for the markboth TeX eld. You may use either or both methods to
create chapters at the beginning of your document. You may also delete these
preliminary chapters.
vii
viii 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 denom-
inada recta numrica. Ver Figura 1.1.
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.
Figura 1.1: Recta Numrica
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 simbolos 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 uan 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.1. PROPIEDADES FUNDAMENTALES 7
1. El matemtico ingls Augusto DeMorgan, 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)
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
1.2. LA NOTACIN SUMATORIA Y PRODUCTORIA 9
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
indices 1 como sus dominios. Por ejemplo,

i2I
a
i
denota la suma de los valores
a
i
cuando i recorre todos llos 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

1ij4
(2i+3,), denota la suma
de los valores de 2i + 3,, donde 1 _ i _ , _ 4. Esto puede ser abreviado como
ij
(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,
ij
(2i + 3,) = (2 1 + 3 2) + (2 1 + 3 3) + (2 1 + 3 4) + (2 2 + 3 3)
+(2 1 + 3 4) + (2 3 + 3 4)
= 80
Ejemplo 8 Evale

d>1
dj6
d, donde d[6 signica que d divide a 6.
Solucin.
d>1
dj6
d = suma de los enteros positivos d, divisores de 6
= suma de los divisores positivos de 6
= 1 + 2 + 3 + 6 = 12
1.2. LA NOTACIN SUMATORIA Y PRODUCTORIA 11
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 es frecuentemente omitida:
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 Evalue

i;j2I
ijj
(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 ,. Estas son (1, 1), (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 1)(2 1 + 3 2)(2 1 + 3 3)
(2 1 + 3 4)(2 2 + 3 4)
= 98,560
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
1.3. INDUCCIN MATEMTICA 13
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
/!
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 =
n(n+1)
2
n1
i=0
r
i
=
r
n
1
r1
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 . Sea o
0
= : N [ : , o.
Donde o
0
,= ? , 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. Donde 1(:
0
) es verdadera, :
0
o . Por la condicin (2), cada vez
que / o , / +1 o , as, por el teorema16, 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 cinco sumas, y luego se iden-
tica un patrn para predecir la frmula de la suma de los : primeros enteros
positivos impares. Las primeras cinco sumas son
1 = 1
2
1 + 3 = 2
2
1 + 3 + 5 = 3
2
1 + 3 + 5 + 7 = 4
2
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)
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 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 baiscos
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 +2 +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+2+3+5+ +(2:1) =
(: 2)
2
sea cierto para cualquier entero :.
El siguiente ejemplo muestra que la vlidez 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+2+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 estable ce como sigue.
Teorema 23 (Segundo Principio de la Induccin Matemtica) Sea 1(:)
un enunciado que satisfase las siguientes condiciones, donde : Z
1. 1(:) es verdadero para cualquier 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 21
1.4. Relaciones de Recurrencia
Las Realaciones de recurrencia o Recursin es una de las ms elegantes
tcnicas para solucionar problemas. Esta 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 ser denido 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 de una funcin recursiva
Sea a \ y A = a, a + 1, a + 2, . . .. Una denicin inductiva de una
funcin ) con dominio A, consiste de tres partes:
Paso de la base Unos pocos valores iniciales )(a), )(a+1), . . . , )(a+
/ 1) se especican. Ecuaciones que especican tales valores iniciales se
denominan condiciones iniciales.
Paso de recursin Un
a formula para calcular )(:) desde los / precedentes valores funcionales
)(:1), )(:2), . . . , )(:/) se proporciona. Tal formula es una relacin
de recurrencia (o formula 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.
As, 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, .;
max n, r, j, . puede evaluarse de manera similar. Por ejemplo,
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 la denicin recursiva.
Ejemplo 25 Dena recursivamente la funcin ) factorial.
Solucin.
Llamemos a la funcin factorial ) denida por )(:) = :!, donde )(0) = 1.
Luego :! = :(: 1)!, puede denirse la recursividad de la siguiente manera
)(0) = 1 condicin inicial
)(:) = : )(: 1), : _ 1 relacin de recurrencia
Supongamos que queremos calcular )(3) recursivamente. Nosotros debemos con-
tinuar aplicando la relacin de recurrencia hasta que encuentre la condicin
inicial, como se muestra:
)(3) = 3 )(2) (1.5)
)(2) = 2 )(1) (1.6)
)(1) = 1 )(0) (1.7)
)(0) = 0 (1.8)
Ya que )(0) = 1, 1 se sustituye por )(0) en la ecuacin (1.6) y )(1) se calcula:
)(1) = 1 )(0) = 1 1 = 1. Este valor se sustituye para )(1) en la ecuacin
(1.5) y )(2) se calcula: )(2) = 2 )(1) = 2 1 = 2. Este valor es utilizado en
la ecuacin (1.4) 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 lamano 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 n_ 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 ser denido recursivamente como sigue:
/(1) = 0 condicin inicial
/(:) = /(: 1) + (: 1) 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 ser denido recurivamente 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 como
sigue:
)(r) =
_
r 10 Si r 100
)()(r)) 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
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 necesitamos para calcular los coecientes bino-
6
El trmino coeciente binominal fue introducido por el alemn algebrista Michel Stifel
(1486-1567). En su trabajo ms conocido, Arithmetica Integra (1544) Stifel da los coecientes
binomiales para n 17. La notacin de parntesis binivel para coeciente binomial fue intro-
ducida 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 convirti 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 27
miales
_
:
r
_
y
_
:
: r
_
. Ya que
_
:
: r
_
=
:!
(: r)! [: (: r)]!
=
:!
(: r)!r!
=
:!
r! (: r)!
=
_
:
r
_
aqu, no es necesario evaluar ambos, lo que reduce signicativamente nuestro
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 ser
arreglados 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 t la 0
1 1 t la 1
1 2 1 t la 2
1 3 3 1 t la 3
1 4 6 4 1 t la 4
El 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. Esto es as por Teorema 29.
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. Corolario
31 vericar esto.
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
lista de la la 5:
1 5 10 10 5 1
De derecha a izquierda, liste los dgitos simples. Cuando llegamos a un
nmero de dos dgitos, escribimos los digitos de las unidades y llevamos
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.
los digitos de las decenas al nmero de la izquierda. Aadiendo el nmero
que llevaba al de su izquierda. Continuando este proceso a 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 : algn
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
k+1r
j
r
=
_
_
/
0
_
r
k+1
+
k
r=1
_
/
r
_
r
k+1r
j
r
_
+
_
k1
r=0
_
/
r
_
r
kr
j
r+1
+
_
/
r
_
j
k+1
_
=
_
/ + 1
0
_
r
k+1
+
k
r=1
_
/
r
_
r
k+1r
j
r
+
k1
r=0
_
/
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 expansion de (2r +j)
8
.
9
Un corolario es un resultado que se desprende del anterior teorema.
4. r
4
j
5
en la expansion de (2r 3j)
9
.
Usando el teorema binomial, expandir.
5. (2r 1)
5
6. (r + 2j)
6
Encontrar el termino medio en la expansion binomial de cada caso.
7.
_
2r +
2
x
_
8
8.
_
r
2
+
1
x
2
_
10
Encontrar el mas grande coeciente binomial en la expansion 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
_
:
r
__
: 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 induccion, 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 expansion 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 formula que supuso en el Ejercicio 34.
36. Conjeture una formula para
n
i=3
_
i
3
_
37. Probar la formula supuesta en el Ejercicio 36.
38. Usando los ejercicios 34-37, prediga una formula para
n
i=k
_
i
/
_
.
Figura 1.3: Nmeros Triangulares.
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 equilatero. 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.
1.6. NMEROS POLIGONALES 35
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 Formula 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 Formula Recursiva para o
n
:
1
= 1
:
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 numeros 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.
1.6. NMEROS POLIGONALES 37
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 son 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 discutira 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
1.7. NMEROS PIRAMIDALES 39
Figura 1.8: Nmeros Piramidales Triangulares
9. Dena recursivamente el :simo nmero hexagonal /
n
.
10. Usando la relacin de recurrencia en el ejercicio 9, encuentre una formula
explcita para /
n
.
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 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;
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 nmero 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.
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
.
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,
Figura 1.9: Regularidad Nmeros Piramidales Triangulares
1.7. NMEROS PIRAMIDALES 41
Figura 1.10: Construccin del 4o nmero piramidal cuadrado
Figura 1.11: Regularidad Nmeros Piramidales Cuadrados
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
.
Ejercicios 1.7
1. Encuentre los primeros cuatro nmeros triangulares que son cuadrados.
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 formula explicita para o
n
.
5. Encuentre una formula 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 formula explcita para 1
n
.
8. Encuentre una formula 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 formula explcita para H
n
.
1.8. Nmeros de Cataln
Los nmeros de Catalan son un un conjunto de nmeros que encajan de
manera perfecta dentro de este contexto, ellos son excelentes candidatos para la
exploracin, la experimentacin y para establecer conjeturas. Como los nmeros
de Fibonacci y de Lucas, ellos 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.
Figura 1.13: Regularidad Nmeros Piramidales Hexagonales
1.8. NMEROS DE CATALN 43
Figura 1.14: El Problema de la Triangulacin de Euler
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.
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:
:
_
.
1.8. NMEROS DE CATALN 45
Ya que (: + 1)[
_
2:
:
_
(se propone esta armacin como ejercicio para el
lector)
13
, de esto se sigue que todo nmero de Catalan es entero positivo. A
continuacin se presentan los primeros nmeros de Catalan:
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
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
:
_
13
ojb signica que o es factor de b, o que o divide a b.
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
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
consigue 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 \ :
47
48 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. Asumiendo que
hay enteros ,
0
, r y r
0
tal 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 49
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 matematicas 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 argumento 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 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 pude 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 seleccionados
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 a, 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
[ + (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 enel 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 simbolo 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 par.
La suma de un entero par y uno impar es impar.
El producto de un entero par y uno impar es par.
Si el cuadrado de un entero es par, entonces el entero es par.
Si el cuadrado de un entero es impar, entonces el entero es impar.
Ejercicios 2.1
Encuentre el cociente y el residuo cuando el primer entero se divide por el
segundo.
1. 78, 11
2. 57, 75
3. 325, 13
4. 23, 25
Denote con )(:) 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.
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
2.2. CONFIGURACIONES NUMRICAS 57
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:
2.2. CONFIGURACIONES NUMRICAS 59
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
2.3. NMEROS PRIMOS Y COMPUESTOS 61
14.
123456789 9 = 111111111
123456789 18 = 222222222
123456789 27 = 333333333
123456789 36 = 444444444
123456789 45 = 555555555
15.
4 4 = 16
34 34 = 1156
334 334 = 111556
3334 3334 = 11115556
33334 33334 = 1111155556
16.
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:
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 Teorema 42; es decir, 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. (por contradiccin) 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.
4
u es la letra griega nu.
Este hecho puede usarse para determinar cuando un entero : _ 2 es primo,
como en el siguiente ejemplo.
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.
Figura 2.2: Criba de Eratstenes
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
: _ 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
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.
4
ln a denota el logaritmo natural de a.
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
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).
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.
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)
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.
2.4. NMEROS DE FERMAT 71
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
2.4. NMEROS DE FERMAT 73
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.
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 exactamenete 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.
75
76 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 77
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 numero 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
tiene porque ser nica. 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, d), 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.
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 incluyo en el Libro VII de su extraordiario trabajo, Los
elementos. El algoritmo, sin embargo, probablemente era antes conocido. sta
es una herramienta fundamental en la 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
:
3.2. EL ALGORITMO DE EUCLIDES 87
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
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.
Ejercicios 3.2
Usando el algoritmo euclidiano, encuentre el MCD de los enteros dados.
1. 1024, 1000
3.3. EL TEOREMA FUNDAMENTAL DE LA ARITMTICA 89
2. 2024, 1024
3. 2076, 1076
4. 2076, 1776
5-8. Usando el algoritmo euclidiano, exprese el MCD de cada pareja en los
Ejercicios 1-4 como una 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.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 Elementoe de Euclides.
Antes de enunciarlo formalmente y demostrarlo, se necesitan dos dos lemas
fundamentales. A lo largo de estos lemas, se asumir que todas las letras denotan
nmeros enteros positivos.
Lema 93 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 94 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 95 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.
Teorema 96 (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 97 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 98 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 99 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 100 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,22| +97,23+97,24| +97,25| +97,26|
= 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 101 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 102 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, dnde
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 dada, se necesita que se
proponga un fundamento en forma del siguiente lema.
Lema 103 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 104 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 105 (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.
3.4. Mnimo Comn Multiplo
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 vacio; 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
3.4. MNIMO COMN MULTIPLO 101
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.
Sean a, / enteros positivos con las siguientes descomposicines 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:
Observacin
[a, /] = j
maxfa1;b1g
1
j
maxfa2;b2g
2
j
maxfan;bng
n
El siguiente ejemplo ilustra la tcnica anterior.
Ejemplo 106 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 107 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 108 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 109 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 110 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 111 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 112 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 113 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 114 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)
This is the body (mainmatter) of the Standard LaTeX Book shell document.
The front matter has a number of sample entries that you should replace
with your own.Replace this text with the body of your book. Do not delete the
TeX eld found above in a paragraph by itself or the numbering of dierent
objects will be wrong.
Changes to the typeset format of this shell and its associated L
A
T
E
X format-
ting le (book.cls) are not supported by MacKichan Software, Inc. If you wish
to make such changes, please consult the L
A
T
E
X manuals or a local L
A
T
E
X expert.
If you modify this document and export it as Standard LaTeX Book.shl
in the Shells\Standard LaTeX directory, it will become your new Standard
LaTeX Book style shell.
The typesetting specication selected by this shell document uses the default
class options. There are a number of class options supported by this typesetting
specication. The available options include setting the paper size and the point
size of the font used in the body of the document. Select Typeset, Options and
Packages, the Class Options tab and then click the Modify button to see the class
options that are available for this typesetting specication.
Captulo 4
Features of this Shell
4.1. Section
Use the Section tag for major sections, and the Subsection tag for subsec-
tions.
4.1.1. Subsection
This is just some harmless text under a subsection.
Subsubsection
This is just some harmless text under a subsubsection.
Subsubsubsection This is just some harmless text under a subsubsubsection.
Subsubsubsubsection This is just some harmless text under a subsub-
subsubsection.
4.2. Tags
You can apply the logical markup tag Emphasized.
You can apply the visual markup tags Bold, Italics, Roman, Sans Serif,
Slanted, Small Caps, and Typewriter.
You can apply the special, mathematics only, tags BLACKBOARD BOLD,
(///J(/THJ(, and fraktur. Note that blackboard bold and calligraphic are
correct only when applied to uppercase letters A through Z.
You can apply the size tags t i ny , scriptsize, footnotesize, small, normalsize, large,
Large, LARGE, huge and Huge.
107
108 CAPTULO 4. FEATURES OF THIS SHELL
This is a Body Math paragraph. Each time you press the Enter key, Scientic
WorkPlace switches to mathematics mode. This is convenient for carrying out
scratchpad computations.
Following is a group of paragraphs marked as Short Quote. This environment
is appropriate for a short quotation or a sequence of short quotations.
The buck stops here. Harry Truman
Ask not what your country can do for you; ask what you can do for
your country. John F Kennedy
I am not a crook. Richard Nixon
Its no exaggeration to say the undecideds could go one way or an-
other. George Bush
I did not have sexual relations with that woman, Miss Lewinsky. Bill
Clinton
The Long Quotation tag is used for quotations of more than one paragraph.
Following is the beginning of Alices Adventures in Wonderland by Lewis Car-
roll:
Alice was beginning to get very tired of sitting by her sister
on the bank, and of having nothing to do: once or twice she had
peeped into the book her sister was reading, but it had no pictures
or conversations in it, and what is the use of a book, thought Alice
without pictures or conversation?
So she was considering in her own mind (as well as she could,
for the hot day made her feel very sleepy and stupid), whether the
pleasure of making a daisy-chain would be worth the trouble of get-
ting up and picking the daisies, when suddenly a White Rabbit with
pink eyes ran close by her.
There was nothing so very remarkable in that; nor did Alice think
it so very much out of the way to hear the Rabbit say to itself, Oh
dear! Oh dear! I shall be late! (when she thought it over afterwards,
it occurred to her that she ought to have wondered at this, but at
the time it all seemed quite natural); but when the Rabbit actually
took a watch out of its waistcoat-pocket, and looked at it, and then
hurried on, Alice started to her feet, for it ashed across her mind
that she had never before seen a rabbit with either a waistcoat-
pocket, or a watch to take out of it, and burning with curiosity, she
ran across the eld after it, and fortunately was just in time to see
it pop down a large rabbit-hole under the hedge.
In another moment down went Alice after it, never once consid-
ering how in the world she was to get out again.
Use the Verbatim tag when you want L
A
T
E
X to preserve spacing, perhaps
when including a fragment from a program such as:
4.3. MATHEMATICS AND TEXT 109
#include <iostream> // < > is used for standard libraries.
void main(void) // "main" method always called first.
{
cout << "Hello World."; // Send to output stream.
}
4.3. Mathematics and Text
Let H be a Hilbert space, C be a closed bounded convex subset of H, T a
nonexpansive self map of C. Suppose that as : , a
n;k
0 for each /, and
n
=

1
k=0
(a
n;k+1
a
n;k
)
+
0. Then for each r in C,
n
r =

1
k=0
a
n;k
T
k
r
converges weakly to a xed point of T .
The numbered equation
n
tt
n +n
5
+n[n[
p2
= 0 in R
3
[0, [ (4.1)
is automatically numbered as equation 4.1.
4.4. Lists Environments
You can create numbered, bulleted, and description lists using the Item Tag
popup list on the Tag toolbar.
1. List item 1
2. List item 2
a) A list item under a list item.
The typeset style for this level is dierent than the screen style. The
screen shows a lower case alphabetic character followed by a period
while the typeset style uses a lower case alphabetic character sur-
rounded by parentheses.
b) Just another list item under a list item.
1) Third level list item under a list item.
a
0
Fourth and nal level of list items allowed.
Bullet item 1
Bullet item 2
Second level bullet item.
Third level bullet item.
Fourth (and nal) level bullet item.
110 CAPTULO 4. FEATURES OF THIS SHELL
Description List Each description list item has a term followed by the de-
scription of that term. Double click the term box to enter the term, or to
change it.
Bunyip Mythical beast of Australian Aboriginal legends.
4.5. Theorem-Like Environments
The following theorem-like environments (in alphabetical order) are available
in this style.
Acknowledgement 115 This is an acknowledgement
Algorithm 116 This is an algorithm
Axiom 117 This is an axiom
Caso 118 This is a case
Claim 119 This is a claim
Conclusion 120 This is a conclusion
Condition 121 This is a condition
Conjecture 122 This is a conjecture
Corolario 123 This is a corollary
Criterion 124 This is a criterion
Denicin 125 This is a denition
Ejemplo 126 This is an example
Ejercicio 127 This is an exercise
Lema 128 This is a lemma
Demostracin. This is the proof of the lemma.
Notation 129 This is notation
Problema 130 This is a problem
Proposition 131 This is a proposition
Observacin 132 This is a remark
Summary 133 This is a summary
Teorema 134 This is a theorem
Proof of the Main Theorem. This is the proof.
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.
111
112 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 113
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 115
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 optendr [1, 3, 5,
7]. Si la queremos ingresar manualmente presionamos F2 y en la barra de intro-
duccin de expresiones digitamos: VECTOR(2.n-1 , n, 1, 4), en donde 2:1
es la frmula de la funcin con variable : que va desde uno a cuatro segn nues-
tras indicaciones. Pulsemos Enter, simplicar (=) y aparecer en la ventana de
lgebra el mismo vector generado anteriormente.
A.3.4. Introducir Matriz
De igual forma que para montar un vector, Derive ofrece la 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.
Apndice B
Afterword
The back matter often includes one or more of an index, an afterword, ac-
knowledgements, a bibliography, a colophon, or any other similar item. In the
back matter, chapters do not produce a chapter number, but they are entered
in the table of contents. If you are not using anything in the back matter, you
can delete the back matter TeX eld and everything that follows it.
117

Teoria Numeros Koshy BorradorEnEspanol

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Teoria Numeros Koshy BorradorEnEspanol

Uploaded by

Copyright:

Available Formats

Una Introduccin a la Teora de Nmeros

Algunas aplicaciones con DERIVE

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

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

You might also like