Introduccion a la teoria de numeros

Vista previa del material en texto

Introducción a la teoría 
de números
F E L I P E Z A L D Í V A R
Sección de Obras de Ciencia y Tecnología
INTRODUCCIÓN A LA TEORÍA DE NÚMEROS
Comité de selección de obras
Dr. Antonio Alonso
Dr. Francisco Bolívar Zapata
Dr. Javier Bracho
Dr. Juan Luis Cifuentes
Dra. Rosalinda Contreras
Dra. Julieta Fierro
Dr. Jorge Flores Valdés
Dr. Juan Ramón de la Fuente
Dr. Leopoldo García-Colín Scherer
Dr. Adolfo Guzmán Arenas
Dr. Gonzalo Halffter
Dr. Jaime Martuscelli
Dra. Isaura Meza
Dr. José Luis Morán-López
Dr. Héctor Nava Jaimes
Dr. Manuel Peimbert
Dr. José Antonio de la Peña
Dr. Ruy Pérez Tamayo
Dr. Julio Rubio Oca
Dr. José Sarukhán
Dr. Guillermo Soberón
Dr. Elías Trabulse
FELIPE ZALDÍVAR
Introducción
a la teoría de números
FONDO DE CULTURA ECONÓMICA
Primera edición, 2012
Zaldívar, Felipe
Introducción a la teoría de números / Felipe Zaldívar. — México : FCE, 2012
198 p. ; ilus. ; 23 x 17 cm— (Colec. Sección de Obras de Ciencia y Tecnología)
ISBN 978-607-16-0738-6
1. Números, Teoría de I. Ser. II. t.
LC QA241 Dewey 512.7 Z324i
Distribución mundial
Diseño de portada: Laura Esponda Aguilar
D.R. © 2012, Fondo de Cultura Económica
Carretera Picacho-Ajusco, 227; 14738 México, D. F.
Empresa certificada ISO 9001: 2008
Comentarios: laciencia@fondodeculturaeconomica.com
www.fondodeculturaeconomica.com
Tel. (55) 5227-4672; fax (55) 5227-4640
Se prohíbe la reproducción total o parcial de esta obra, sea cual fuere
el medio, sin la anuencia por escrito del titular de los derechos.
ISBN 978-607-16-0738-6
Impreso en México ● Printed in Mexico
ÍNDICE GENERAL
Prólogo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Matemáticos cuyos trabajos se han citado en el libro . . . . . . . 12
Lista de símbolos más usados . . . . . . . . . . . . . . . . . . . . 14
I. El teorema fundamental de la aritmética . . . . . . . . . 15
I.1 Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . 16
I.1.1 El algoritmo de la división . . . . . . . . . . . . 17
I.1.2 Máximo común divisor . . . . . . . . . . . . . . 18
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
I.2 Primos y factorización única . . . . . . . . . . . . . . . . . 23
I.2.1 Factorización única . . . . . . . . . . . . . . . . 24
I.2.2 La criba de Eratóstenes . . . . . . . . . . . . . . 25
I.2.3 Infinitud del conjunto de primos . . . . . . . . . 26
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
I.3 El algoritmo de Euclides . . . . . . . . . . . . . . . . . . . 28
I.3.1 El mínimo común múltiplo . . . . . . . . . . . . 30
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
I.4 Ecuaciones diofantinas lineales . . . . . . . . . . . . . . . 32
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
II. Congruencias y criptografía . . . . . . . . . . . . . . . . . . 37
II.1 Congruencias y aritmética modular . . . . . . . . . . . . 38
II.1.1 Congruencias lineales . . . . . . . . . . . . . . . 42
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
II.2 Los teoremas de Fermat y Euler . . . . . . . . . . . . . . . 50
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
II.3 Criptografía . . . . . . . . . . . . . . . . . . . . . . . . . . 55
II.3.1 Cifradores de substitución . . . . . . . . . . . . 56
II.3.2 Criptoanálisis . . . . . . . . . . . . . . . . . . . . 57
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
II.4 El criptosistema RSA . . . . . . . . . . . . . . . . . . . . . 60
II.4.1 Un algoritmo para calcular potencias y raíces . 65
II.4.2 Un algoritmo para escribir un decimal en bi-
nario . . . . . . . . . . . . . . . . . . . . . . . . . 67
7
8 ÍNDICE GENERAL
II.4.3 Eficiencia de algunos algoritmos . . . . . . . . . 67
II.4.4 Eficiencia del algoritmo de Euclides . . . . . . . 67
II.4.5 Eficiencia del cálculo de potencias y raíces mó-
dulo n . . . . . . . . . . . . . . . . . . . . . . . . 69
II.4.6 Firmas digitales . . . . . . . . . . . . . . . . . . . 71
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
III. Números perfectos y funciones multiplicativas . . . . . . 73
III.1 Primos de Mersenne y números perfectos . . . . . . . . . 73
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
III.2 Funciones multiplicativas . . . . . . . . . . . . . . . . . . 77
III.2.1 Divisores y la función φ de Euler . . . . . . . . . 77
III.2.2 El número de divisores de un entero . . . . . . . 79
III.2.3 La función µ de Möbius . . . . . . . . . . . . . . 79
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
IV. Raíces primitivas y logaritmos discretos . . . . . . . . . . 84
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
IV.1 Raíces primitivas . . . . . . . . . . . . . . . . . . . . . . . 86
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
IV.1.1 Raíces primitivas para primos . . . . . . . . . . 88
El exponente de U(Z/n) . . . . . . . . . . . . . . . . 89
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
IV.1.2 Raíces primitivas para potencias de primos . . . 90
Raíces primitivas para potencias de 2 . . . . . . . . . 92
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
IV.1.3 Raíces primitivas en el caso general . . . . . . . 93
Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . 94
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
IV.2 Logaritmos discretos . . . . . . . . . . . . . . . . . . . . . 95
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
IV.3 El intercambio de claves de Diffie-Hellman . . . . . . . . 96
IV.4 El criptosistema de ElGamal . . . . . . . . . . . . . . . . . 97
IV.4.1 Firmas digitales usando ElGamal . . . . . . . . 100
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
V. Residuos cuadráticos . . . . . . . . . . . . . . . . . . . . . . . 102
V.1 Residuos cuadráticos y raíces primitivas módulo p . . . . 104
V.1.1 ¿Cuándo es −1 un RC módulo p? . . . . . . . . 106
V.1.2 ¿Cuándo es 2 un RC módulo p? . . . . . . . . . 109
ÍNDICE GENERAL 9
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
V.2 La ley de reciprocidad cuadrática . . . . . . . . . . . . . . 113
V.2.1 Congruencias cuadráticas en general . . . . . . 119
V.2.2 Primos de la forma ak + b . . . . . . . . . . . . 122
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
V.3 El símbolo de Jacobi . . . . . . . . . . . . . . . . . . . . . . 124
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
V.4 El criptosistema de Rabin . . . . . . . . . . . . . . . . . . 130
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
VI. Sumas de potencias . . . . . . . . . . . . . . . . . . . . . . . . . 134
VI.1 Ternas Pitagóricas . . . . . . . . . . . . . . . . . . . . . . . 136
VI.1.1 Una excursión por la geometría . . . . . . . . . 138
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
VI.2 La conjetura de Fermat . . . . . . . . . . . . . . . . . . . . 142
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
VI.3 Sumas de dos cuadrados . . . . . . . . . . . . . . . . . . . 145
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
VI.4 Sumas de cuatro cuadrados . . . . . . . . . . . . . . . . . 148
VI.4.1 Sumas de tres cuadrados . . . . . . . . . . . . . 150
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
VI.4.2 Un poco de historia . . . . . . . . . . . . . . . . 151
VII. La ecuación de Pell y aproximaciones diofantinas . . . . 154
VII.1 La ecuación de Pell: un caso particular . . . . . . . . . . . 155
VII.1.1 El problema del ganado de Arquímedes . . . . . 156
VII.1.2 El caso particular de la ecuación de Pell . . . . . 160
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
VII.2 La ecuación de Pell: el caso general . . . . .. . . . . . . . 164
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
VII.3 Aproximación diofantina y la ecuación de Pell . . . . . . 167
VII.3.1 La existencia de soluciones de la ecuación de
Pell . . . . . . . . . . . . . . . . . . . . . . . . . . 170
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
VIII. Números congruentes y curvas elípticas . . . . . . . . . . . 177
VIII.1 Números congruentes . . . . . . . . . . . . . . . . . . . . 178
VIII.1.1 Puntos racionales en ciertas cúbicas . . . . . . . 181
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
VIII.2 Curvas elípticas . . . . . . . . . . . . . . . . . . . . . . . . 181
10 ÍNDICE GENERAL
VIII.2.1 La operación de grupo . . . . . . . . . . . . . . . 182
VIII.2.2 El teorema de Mordell . . . . . . . . . . . . . . . 186
VIII.2.3 Reducción módulo p . . . . . . . . . . . . . . . . 187
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
VIII.3 La función L de Hasse-Weil de una curva elíptica . . . . . 190
Bibliografía . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
Índice analítico y onomástico . . . . . . . . . . . . . . . . . . . . . 197
PRÓLOGO
Dicho esto, rogó al bachiller que, si era poeta, le hiciese
merced de componerle unos versos que tratasen de la des-
pedida que pensaba hacer de su señora Dulcinea del Tobo-
so, y que advirtiese que en el principio de cada verso había
de poner una letra de su nombre, de manera que al fin de
los versos, juntando las primeras letras, se leyese:Dulcinea
del Toboso.
El bachiller respondió que puesto que él no era de los
famosos poetas que había en España, que decían que no
eran sino tres y medio, que no dejaría de componer los
tales metros, aunque hallaba una dificultad grande en su
composición, a causa que las letras que contenían el nom-
bre eran diez y siete; y que si hacía cuatro castellanas de a
cuatro versos, sobraría una letra; y si de a cinco, a quien lla-
man décimas o redondillas, faltaban tres letras; pero con
todo eso, procuraría [. . . ] lo mejor que pudiese [. . . ]
Don Quijote, Segunda Parte, capítulo iv.
Los números primos —como el 17, el cual Cervantes finge que el bachiller de-
be factorizar— han fascinado a los matemáticos desde tiempos remotos: por el
teorema fundamental de la aritmética, son los átomos a partir de los cuales se
construyen todos los otros enteros mayores que 1 y exhiben propiedades que
atraen y maravillan al mismo tiempo, y su aparente sencillez esconde rique-
zas que se asoman apenas uno se detiene a reflexionar un poco; por ejemplo,
aun cuando existe un número infinito de ellos, en ocasiones suelen estar tan
dispersos que hay lagunas arbitrariamente grandes de enteros que carecen de
primos, y es muy fácil visualizar algunas propiedades acerca de los primos y
sin embargo puede ser muy difícil dar una demostración de estas propiedades;
por ejemplo, una vista rápida a una tabla de los primeros números primos, diga-
mos menores que 1000, puede mostrar que en ocasiones los primos aparecen
separados por la distancia mínima de 2, por ejemplo 11 y 13, 17 y 19, 29 y 31 (a
estos pares de números primos se los llama primos gemelos), y uno puede con-
jeturar que hay un número infinito de éstos; no obstante, a pesar de progresos
recientes, todavía no se tiene una demostración de esta conjetura. La historia
11
12 PRÓLOGO
de la teoría de números, o aritmética superior, está llena de conjeturas como la
anterior, muy fáciles de hacer, aparentemente naturales, elementales en su for-
mulación y cuya demostración está en muchas ocasiones todavía muy lejana.
La atracción que ejerce la teoría de números sólo es comparable a la de
la geometría, ambas con raíces profundas en la historia (y prehistoria) de la
humanidad. En todas las culturas del norte y sur, este y oeste, impulsados por
simple curiosidad, aparentemente sin conexión con la “realidad” o “aplicacio-
nes”, en tablillas con textos cuneiformes de los babilonios o en palimpsestos
de origen griego, en estelas mayas o en manuscritos árabes, matemáticos cuyo
nombre recuerda la historia o cuyas aportaciones sobreviven al olvido de sus
nombres adornan la historia de nuestra ciencia.
Este libro es una introducción elemental a la aritmética superior. Comen-
zando con una discusión sencilla de la noción de divisibilidad, siguiendo la
tradición clásica introduce las propiedades elementales de las congruencias,
de las cuales deduce inmediatamente una aplicación a la criptografía de clave
pública; después estudia en forma económica, y con un lenguaje cercano al de
la teoría de grupos, la existencia de raíces primitivas, para dar luego una apli-
cación al intercambio de claves y al criptosistema de ElGamal, ambos basados
en la noción de logaritmo discreto. Después, se estudian congruencias cuadrá-
ticas, entre ellas, la ley de reciprocidad cuadrática de Gauss, Legendre y Euler,
y se aplica lo anterior al criptosistema de Rabin. El libro incluye un estudio de
algunas ecuaciones diofantinas de grado 2 y 3, desde la existencia y caracteriza-
ción de ternas pitagóricas hasta la formulación de la conjetura de Fermat, para
finalizar con un estudio de la llamada ecuación de Pell. El último capítulo es
una introducción elemental a la aritmética de las curvas elípticas.
Una novedad del libro es que, en muchos casos y cuando es necesario pa-
ra algún tipo de aplicaciones, las demostraciones se dan en tal forma que per-
mitan su algoritmización casi inmediata, lo cual se refuerza en ocasiones dan-
do el pseudocódigo correspondiente, de tal manera que el estudiante con in-
terés en aspectos computacionales pueda escribir un programa para la imple-
mentación de estos algoritmos. Sin llegar a la exageración, se han incluido al-
gunas aplicaciones de interés relativamente reciente, tales como los criptosiste-
mas de RSA, ElGamal y Rabin que sólo requieren los conocimientos incluidos
en el texto.
Matemáticos cuyos trabajos se han citado en el libro
1) Pitágoras, circa 572–500 a.C.
2) Euclides, 323-285 a.C.
PRÓLOGO 13
3) Arquímedes, 287-212 a.C.
4) Eratóstenes, circa 230 a.C.
5) Diofanto, circa 250 d.C.
6) Sun-Tzu, circa siglo v d.C.
7) Al-Khwarizmi, circa 780-850
8) Bhaskara (1114–circa 1185)
9) Leonardo de Pisa, Fibonacci, circa 1175–1250
10) Claude Bachet, 1587–1638
11) Marin Mersenne, 1588–1648
12) Pierre de Fermat, 1601–1655
13) Bernard Frenicle de Bessy, circa 1602–1675
14) John Pell, 1611–1683
15) Leonhard Euler, 1707–1783
16) Joseph-Louis Lagrange, 1736–1813
17) Adrien-Marie Legendre, 1752–1833
18) Sophie Germain, 1776–1831
19) Carl Friedrich Gauss, 1777–1855
20) August Ferdinand Möbius, 1790–1868
21) Gabriel Lamé, 1795–1870
22) Carl Gustav Jacobi, 1804–1851
23) Peter Lejeune Dirichlet, 1805–1859
24) Joseph Liouville, 1809–1882
25) Ernst Eduard Kummer, 1810–1893
26) Edouard Lucas, 1842–1891
27) AxelThue, 1863–1922
28) Emil Artin, 1898–1962
29) Jean-Pierre Serre, 1926–
30) Barry Mazur, 1937–
31) Gerhard Frey, 1944–
32) Kenneth Ribet, 1948–
33) AndrewWiles, 1953–
14 PRÓLOGO
Lista de símbolos más usados
Símbolo Significado Página(s) en que se introduce
a ∣b a divide a b 16
a∤b a no divide a b 16
mcd(a, b) máximo común divisor de a y b 20
mcm[a, b] mínimo común múltiplo de a y b 30
a ≡ b (mód m) a es congruente con b módulo m 37
φ(m) función de Euler 52
σ(n) suma de los divisores de n 74
τ(n) número de divisores de n 79
µ(n) función de Möbius 79
ordn(a) orden de a módulo n 84
log(a) logaritmo discreto de a 95
(a
p
) símbolo de Legendre 105
⌈x⌉ menor entero mayor o igual que x 114
⌊x⌋ mayor entero menor o igual a x 67 y 114
( a
m
) símbolo de Jacobi 124
Z el anillo de enteros 15
Z/m el anillo de enteros módulo m 38
(Z/n)∗ = U(Z/n) grupo de unidades módulo n 41 y 84
I. EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
El conjunto Z de los números enteros positivos y negativos
Z = {0, ±1, ±2, ±3, . . .}
es un anillo conmutativo con uno, es decir, se tienen dos operaciones, llamadas
suma y producto, que satisfacen:i) Propiedades de la suma
1) La suma es asociativa, esto es, a+(b+c) = (a+b)+c, para cualesquiera
a, b, c ∈ Z.
2) Existe un neutro aditivo, a saber el 0 ∈ Z, que satisface
a + 0 = a = 0 + a
para todo a ∈ Z.
3) Cada entero a ∈ Z tiene un inverso aditivo, −a ∈ Z, que satisface
a + (−a) = 0 = −a + a
para todo a ∈ Z.
4) La suma es conmutativa, es decir, para cualesquiera a, b ∈ Z, se tiene
que
a + b = b + a.
ii) Propiedades del producto
1) El producto es asociativo, esto es, a(bc) = (ab)c, para cualesquiera
a, b, c ∈ Z.
2) Existe un neutro multiplicativo, a saber el 1 ∈ Z, que satisface
a ⋅ 1 = a = 1 ⋅ a
para todo a ∈ Z.
3) El producto es conmutativo, es decir, para cualesquiera a, b ∈ Z, se tiene
que
ab = ba.
15
16 EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
iii) Distributividad. La suma y el producto de Z se relacionan mediante la
igualdad
a(b + c) = ab + ac,
para todos los a, b, c ∈ Z.
Como en todo anillo conmutativo con uno, se satisfacen las propiedades
siguientes—las propiedades 3) y 4) se conocen como las reglas de los signos—:
1) a ⋅ 0 = 0, para todo a ∈ Z.
2) (−1) ⋅ a = −a, para todo a ∈ Z.
3) a(−b) = −(ab) = (−a)b.
4) (−a)(−b) = ab.
Más aún, el anilloZ es un dominio entero, es decir, si ab = 0 enZ, entonces
a = 0 o b = 0. Esta propiedad es equivalente a la ley de cancelación para el
producto en Z: si ab = ac en Z y a ≠ 0, entonces b = c. Observe que en Z
los únicos enteros que tienen inverso multiplicativo son los enteros ±1 (vea el
ejercicio 5).
I.1 Divisibilidad
Si a, b son dos enteros, con b ≠ 0, diremos que a divide a b, o que b es múlti-
plo de a, si existe otro entero q tal que b = aq. Usaremos la notación a ∣b para
decir que a divide a b y también diremos que a es un divisor de b. Si a no divi-
de a b lo denotaremos mediante a∤b. La relación de divisibilidad satisface las
propiedades siguientes:
Proposición I.1.
1) a ∣a, para todo a ≠ 0.
2) Si a ∣b y b ∣c, entonces a ∣c.
3) 1 ∣a, para todo a ∈ Z.
4) a ∣0, para todo a ≠ 0.
5) Si a ∣b, entonces a ∣br, para cualquier r ∈ Z.
6) Si a ∣b y a ∣c, entonces a ∣b + c.
EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA 17
7) Si a ∣b y a ∣c, entonces a divide a cualquier combinación lineal de b y c, esto
es, a ∣br + cs, para cualesquiera r, s ∈ Z.
8) Si a ∣b, entonces a ∣−b, −a ∣b, −a ∣−b, ∣a∣ ∣ ∣b∣.
9) Si a ∣b y b ∣a, entonces a = ±b.
10) Si a ∣1, entonces a = ±1.
11) Si a ∣b, entonces ∣a∣ ≤ ∣b∣.
Demostración. Sólo probaremos algunas de estas propiedades, dejando las de-
más como un ejercicio. Para 1), se tiene que a = a ⋅ 1. Para 2), b = aq y c = bq′
implican que c = bq′ = aqq′ y así a ∣c.
I.1.1 El algoritmo de la división
Un algoritmo es una lista de instrucciones1 para hacer algo; por ejemplo, una
serie de instrucciones para calcular un número.
Teorema I.2 (Algoritmo de la división). Si a, b ∈ Z, con b ≠ 0, entonces existen
q, r ∈ Z tales que
a = bq + r con 0 ≤ r < ∣b∣.
El entero q se llama el cociente y el entero r es el residuo de dividir a entre b.
Demostración. Podemos suponer que a y b no son negativos. Considere el co-
ciente a/b y localícelo en la recta real:
t − 1 a/b t
y seaM el conjunto de números enteros mayores que a/b. Por el principio del
buen orden,M tiene un elemento menor, digamos t (en la gráfica anterior, t es
el número que está a la derecha de a/b). Entonces, t − 1 ≤ a/b < t. Pongamos
q = t−1 de tal forma que q ≤ a/b < q+1 y así bq ≤ a < (q+1)b. Sea r ∶= a−bq.
Entonces, las desigualdades anteriores dicen que 0 ≤ r < b y así a = bq + r con
0 ≤ r < b, como se quería.
1La palabra algoritmo, tiene una etimología híbrida: originalmente es de origen árabe, relacionada
con el matemático Al-Juarismi, quien introdujo la numeración decimal de los indios en la cultura
árabe del siglo ix. Al llegar estos conocimientos a la Europa de la Edad Media, se llamó algoristas a
quienes calculaban usando los números arábigos en notación decimal. Por esas cosas extrañas que
suelen suceder, la palabra algoritmo aparenta llevar la raíz griega arithmos, que significa número.
18 EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
Advierta que si al dividir a entre b, en a = bq + r el residuo r = 0, enton-
ces b ∣a.
Observación. Así como está formulado y demostrado, el teorema anterior
no parece un algoritmo. Sin embargo, podríamos pensar en cómo hacerlo con
un conjunto de instrucciones de la manera siguiente:
1. Divida a entre b para obtener el racional a/b.
2. Escoja el entero q que esté a la izquierda o sea igual a a/b.
3. Ponga r ∶= a − bq.
Note que si se tiene una calculadora y los números con que trabajamos no
sonmuy grandes, lo anterior es bastante rápido. Sin embargo, estas “instruccio-
nes” no son de mucha ayuda si queremos programarlas en una computadora.
En el libro vii de los Elementos de Euclides, la proposición vii.2 describe un
algoritmo para dividir a entre b, cada uno de cuyos pasos es una resta:
1. Si a < b, ponga q = 0 y r = a; es decir, a = b ⋅ 0 + a.
2. Si a ≥ b, calcule a − b. Si a − b < a, ponga q ∶= 1 y r ∶= a − b, por lo que
a = b ⋅ 1 + (a − b).
3. Si a − b ≥ b, calcule (a − b) − b = a − 2b. Si a − 2b < a, ponga q ∶= 2 y
r ∶= a − 2b, y así a = b ⋅ 2 + (a − 2b).
4. Si a − 2b ≥ b, calcule (a − 2b) − b = a − 3b, etcétera; esto es, continúe
restando b hasta que el resultado sea menor que a, es decir, hasta que
a − qb < a, y entonces ponga r ∶= a − qb.
I.1.2 Máximo común divisor
Sean a, b dos enteros. Note que el 1 siempre es un divisor común de a y de b
por I.1.3 (p. 16).2 Si a = 0 = b, entonces por I.1.4 cualquier entero distinto de
0 divide a a y a b y por lo tanto no existe un entero mayor que divida a am-
bos. Supongamos entonces que alguno de a o b es ≠ 0. Sin perder generalidad
supongamos que a ≠ 0. Por I.1.11 (p. 17), todos los divisores de a son ≤ ∣a∣ y
así el conjunto de divisores comunes de a y de b tiene un elemento mayor. A
este entero se le llamamáximo común divisor de a y b. Una forma equivalente
2Si no se hace referencia explícita a capítulo o sección, estos números (I.1, I.1.4, etc.) remiten a
teoremas, proposiciones, etc., los cuales tienen numeración corrida dentro del capítulo; por ejemplo,
a la Proposición I.1 ha seguido el Teorema I.2. Por supuesto, I.1.4 remite al inciso 4 de la Propo-
sición I.1.
EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA 19
de definirlo es, a saber, el máximo común divisor de a y b es un entero  que
satisface:
1)  ∣a y  ∣b, es decir,  es divisor común.
2) Si d es cualquier entero tal que d ∣a y d ∣b, entonces d ∣ . Note que I.1.11
(p. 17) implica que en este caso ∣d∣ ≤ ∣∣, por lo que  es, en efecto, el divisor
común máximo.
Teorema I.3. Sean a, b dos enteros con uno de ellos distinto de cero; entonces:
1) Existe un máximo común divisor de a y b y es la menor combinación lineal
positiva de a y b, es decir, es de la forma as + bt, con s, t ∈ Z.
2) Cualesquiera dos máximos comunes divisores de a y b difieren sólo por el
signo.
Demostración.
1) Como a ≠ 0 o b ≠ 0, entonces el conjunto de combinaciones lineales
distintas de cero de a, b
M = {as + bt ∶ s, t ∈ Z} − {0}
es no vacío y, de hecho, eligiendo s, t adecuadamente se tiene que existen com-
binaciones lineales as+bt > 0, por lo queM∩N ≠ ∅. Por el principio del buen
orden existe un elemento menor  en M ∩ N, es decir,  es la menor combi-
nación lineal positiva de a, b, digamos  = as0 + bt0. Mostraremos ahora que
 ∣a y  ∣b. Basta mostrar que  ∣a, y para esto supongamos que ∤a. Entonces
∤−a, y por lo tanto ∤ ∣a∣, por lo que podemos suponer, sin perder generali-
dad, que a > 0, y como ∤a entonces a = q + r con 0 < r < . Observamos
ahora que r = a − q ∈ M, ya que
r = a − q = a − (as0 + bt0)q = a(1 − s0q) + b(−t0q),
esto es, r es combinación lineal de a, b, y como r > 0 entonces r es una combi-
nación lineal positiva de a, b, lo cual contradice la minimalidad de , puesto
que r < . Se debe entonces tener que  ∣a e igualmente  ∣b.
Finalmente, si d ∈ Z es tal que d ∣a y d ∣b, entonces d divide a cualquier
combinación lineal de a y b, en particular d ∣ . Hemos así probado que es
un máximo común divisor de a y b.
2) Si 1 y 2 son dosmáximos comunes divisores de a y b, por la propiedad
2 de la definición, 1 ∣ 2 y 2 ∣ 1. Por I.1.9 (p. 17) se sigue que 1 = ±2.
20 EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
La propiedad 2 del teorema anterior nos dice que al elegir el signo positivo
se tiene un únicomáximo común divisor de a y b, al que denotaremosmedian-
te  = mcd(a, b). La propiedad 1 del teorema anterior nos dice que el mcd de
a y b se puede escribir de la forma
 = mcd(a, b) = as + bt,
con s, t ∈ Z y, de hecho,  es elmenor entero positivo que es combinación lineal
de a y b. En la sección I.3 (p. 28) daremos un algoritmo, bastante eficiente, para
calcular el mcd de dos enteros.
Dados dos enteros a, b, se dice que son coprimos si mcd(a, b) = 1. El resul-
tado siguiente3 es de fundamental importancia para la aritmética.
Teorema I.4 (Euclides). Si a ∣bc ymcd(a, b) = 1, entonces a ∣c.
Demostración. Como 1 = mcd(a, b), entonces 1 es combinación lineal de a y
b, digamos 1 = as + bt. Multiplicando esta igualdad por c queda
c = c ⋅ 1 = acs + bct,
donde a ∣acs y a ∣bct, ya que a ∣bc. Se sigue que a ∣acs + bct = c, esto es, a ∣c
como se quería.
En este teorema es importante observar que la condición mcd(a, b) = 1 es
necesaria, pues sin esta condición puede suceder que a ∣bc y sin embargo a∤b
y a∤c. Por ejemplo, 6 ∣(2)(3) pero 6∤2 y 6∤3.
Un entero p se dice que es primo si p ≠ 0, ±1 y si sus únicos divisores son
±1 y ±p. Se acostumbra considerar sólo los primos positivos, ya que si p es
primo entonces −p también es primo. Cuando dos primos difieren a lo más
por un signo, decimos que son asociados. Así, todo primo es asociado de un
primo positivo. Un entero a que no sea 0 o ±1 y que no sea primo se llama
compuesto.
Ejemplo 1. Los enteros siguientes son primos: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37.
Nuestro objetivo ahora es probar que todo entero a > 1 se puede factorizar,
en forma esencialmente única, como producto de primos, de tal forma que los
enteros primos son como los ladrillos a partir de los cuales se construyen todos
los otros enteros. La parte importante de este resultado es la unicidad de la
factorización, y para probar esto necesitaremos una consecuencia del teorema
I.4 de Euclides, para lo cual precisamos también el cálculo siguiente:
3Véase la proposición 30 del libro vii de los Elementos de Euclides.
EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA 21
Lema I.5. Si p es primo, entoncesmcd(p, a) = {1 si p∤a
p si p ∣a
Demostración. Los únicos divisores positivos de p son 1 y p, así quemcd(p, a)
es 1 o p. Se sigue que p∤a ⇔ mcd(p, a) = 1 y p ∣a ⇔ mcd(p, a) = p.
Usando este lema, junto con el teorema de Euclides I.4, se tiene la conse-
cuencia4 siguiente:
Corolario I.6. Si p es primo y p ∣ab, entonces p ∣a o p ∣b.
Demostración. Si p ∣a nohay nada que probar. Supongamos entonces que p∤a;
entonces, por el lema anterior mcd(p, a) = 1 y como p ∣ab, por el teorema de
Euclides se sigue que p ∣b.
El resultado siguiente, nos será útil en varias instancias, en particular para
concluir que el algoritmo de desencriptamiento de RSA en efecto recupera el
mensaje original.
Corolario I.7. Si a ∣c y b ∣c ymcd(a, b) = 1, entonces ab ∣c.
Demostración. Escribamos c = aq y c = bq′. Como 1 = as + bt, multiplicando
por c obtenemos
c = acs + bcs = abq′s + baqt = ab(q′s + qt)
y así ab ∣c.
Ejercicios
1) Demuestre las propiedades listadas en la página 16 antes de sección I.1.
2) Demuestre las propiedades faltantes en la proposición I.1.
3) Demuestre la unicidad del cociente q y del residuo r en el algoritmo de la
división.
4) Demuestre que si a divide cualquier combinación lineal bs + ct de b y c,
entonces a ∣b y a ∣c.
5) Demuestre que si a ∣1 entonces a = ±1.
6) Use inducción (sobre n) para probar que si a ∣b1, . . . , a ∣bn y r1, . . . , rn ∈ Z
son arbitrarios, entonces a ∣(r1b1 +⋯ + rnbn).
4De hecho, este corolario es la proposición 30 del libro vii de los Elementos de Euclides.
22 EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
7) Si a ∣b, demuestre que mcd(a, b) = ∣a∣.
8) Si mcd(a, b) = 1 = mcd(a, c), demuestre que mcd(a, bc) = 1.
9) Si a ≠ 0, demuestre que mcd(a, 0) = ∣a∣.
10) Demuestre que mcd(a, b) = mcd(∣a∣, ∣b∣).
11) Sean a, b ∈ Z y d = mcd(a, b). Si a = da′ y b = db′, demuestre que
mcd(a′, b′) = 1, es decir, que a′, b′ son coprimos.
12) Si a, b son coprimos y c ∣a, demuestre que b y c son coprimos también.
13) Demuestre que si c ≥ 1, entonces mcd(ca, cb) = c ⋅mcd(a, b).
14) Demuestre que si m es combinación lineal de a y b, entonces para todo
r ∈ Z se tiene que rm también es combinación lineal de a y b.
15) Si d es combinación lineal de a, b y b es combinación lineal de a, c, de-
muestre que d es combinación lineal de a y c.
16) Los ejemplos siguientes ilustran el concepto de combinación lineal de dos
enteros:
i. Escriba 24 como combinación lineal de 3 y 6.
ii. Muestre que 52 no es combinación lineal de 20 y 15.
iii. Sim es impar, demuestre que no es combinación lineal de 198 y 290.
iv. Si m = 3t + 1 con t ∈ Z, demuestre que m no es combinación lineal
de 45 y 1251.
17) Si d ∣a , d ∣bc y mcd(a, b) = 1, demuestre que d ∣c.
18) Si a, b son coprimos, demuestre que para toda c ∈ Z se tiene que
mcd(a, bc) = mcd(a, c).
19) Si mcd(a,m) = 1 = mcd(b,m), demuestre que mcd(ab,m) = 1.
20) Si p es primo y p ∣a1⋯an, demuestre (por inducción sobre n) que existe
un índice j entre 1 y n tal que p ∣a j.
21) Si p es primo y p ∣an para n ∈ N, demuestre que p ∣a.
22) Dé ejemplos donde las afirmaciones de los dos ejercicios anteriores sean
falsas cuando p no es primo.
EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA 23
I.2 Primos y factorización única
Teorema I.8 (Teorema fundamental de la aritmética). Todo entero a que no
sea 0 o ±1 se puede factorizar de la forma
a = p1p2⋯pr
con los pi primos, y esta factorización de a es esencialmente única, es decir, si
a = q1q2⋯qs
es otra factorización de a con los q j primos, entonces r = s y existe una biyección
σ ∶ Ir → Ir tal que pi = qσ(i), donde Ir = {1, 2, 3, . . . , r} ⊆ N.
Demostración.
Existencia de la factorización: Como a no es igual a 0 o ±1, entonces ∣a∣ > 1 por
lo que a > 1 o a < −1. Si a < −1, entonces −a > 1 y si factorizamos −a como
producto de primos, digamos −a = p1p2⋯pr , entonces a = (−p1)p2⋯pr es la
factorización deseada. Podemos entonces suponer que a > 1 y entonces hare-
mos inducción sobre el entero positivo a. Si a es primo, digamos a = p, enton-
ces esta es la factorización deseada. Si a no es primo, entonces a es compuesto
y lo podemos escribir como a = bc con 1 < b < a y 1 < c < a. Por hipótesis
de inducción, como b y c son menores que a, estos se pueden factorizar como
producto de primos, digamos:
b = p1⋯pm y c = q1⋯qn
con los pi y q j primos. Juntando estas dos factorizaciones se tiene que:
a = bc = p1⋯pmq1⋯qn
es una factorización de a en primos.
Unicidad de la factorización: Supongamos que
a = p1⋯pr = q1⋯qs
son dos factorizaciones de a con los pi y q j primos. Sin perder generalidad
podemos suponer que r ≤ s. Entonces, la igualdad
p1p2⋯pr = q1q2⋯qs (I.2.1)
implica que p1 ∣q1q2⋯qs y como p1 es primo, por el corolario al primer teorema
de Euclides se sigue que p1 divide a algún q j. Reordenando los primos q j, si
hiciera falta, podemos suponer que q j = q1, por lo que p1 ∣q1 y como ambos
24 EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
son primos esto implica que p1 = q1. Así, podemos cancelar p1 = q1 de la
igualdad (I.2.1) para obtener
p2p3⋯pr = q2q3⋯qs , (I.2.2)
y esta igualdad implica que p2 divide a q2q3⋯qs; y de nuevo, usando el mismo
argumento anterior, se sigue que p2 = q j para 2 ≤ j ≤ s. Reordenando de nuevo
podemos suponer que p2 = q2. Cancelamos este factor de (I.2.2) para obtener
p3p4⋯pr = q3q4⋯qs . (I.2.3)
Procedemos recursivamente de esta forma hasta cancelar todos los primos
pi (recuerde que estamos suponiendo que r ≤ s) para que al final quede
1 = qr+1⋯qs ,
lo cual es imposible, a menos que al mismo tiempo se hayan cancelado todos
los primos q j, es decir, r= s. Nótese que en el procedimiento anterior en ca-
da paso se hacía una reordenación de los primos q j. Esto nos da la biyección
deseada.
Si a > 1 es un entero y se tiene la factorización provista por el teorema
anterior:
a = p1p2⋯pr ,
entonces juntando los primos iguales podemos escribir esta factorización en
la forma
a = pe11 p
e2
2 ⋯p
et
t ,
con los p j primos distintos y los exponentes e j ≥ 1.
I.2.1 Factorización única
El hecho de que todos los enteros (≠ 0, ±1) se puedan factorizar en forma única
como producto de primos es tan familiar que hay el peligro de que se asuma
que esto sucede siempre. Que no es así lo muestra el ejemplo siguiente:
Ejemplo 2. Sea P = {0, ±2, ±4, ±6, . . .} el conjunto de todos los enteros pares.
Con el producto y suma usuales, P es un anillo conmutativo (sin uno) y es
dominio entero (sin uno). Se define el concepto de divisibilidad en P como
uno espera, esto es, dados dos enteros pares a, b ∈ P, diremos que a ∣b si a ≠ 0
y si existe q ∈ P tal que b = aq. Por ejemplo, 2 ∣8, ya que 8 = 2 ⋅ 4. Pero 2∤6,
pues no existe un entero par q tal que 6 = 2q.
EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA 25
Podemos también definir el concepto de primo en P, a saber, un entero par
p ∈ P se dice que es primo si p ≠ 0 y si no es divisible por ningún elemento de
P. Note que en P ningún número es divisible por sí mismo, ya que la igualdad
a = a ⋅ 1 no es posible en P porque 1 /∈ P. Por ejemplo, los números
2, 6, 10, 14, 18, 22, 26, 30
son primos de P.
Observe ahora que el teorema de Euclides I.4 no es válido en P; por ejem-
plo, para el primo p = 6 y para los enteros a = 10 y b = 18 se tiene que p ∣ab
pero p∤a y p∤b. Esto trae como consecuencia que en P no hay factorización
única; por ejemplo,
180 = 6 ⋅ 30 = 10 ⋅ 18,
con 6, 30 y 10, 18 primos de P.
I.2.2 La criba de Eratóstenes
Regresando a la aritmética usual de Z, con respecto a los números primos una
primera pregunta que se ocurre es ¿cómo encontrar los primos en la lista de
todos los enteros positivos? El método siguiente se debe a Eratóstenes, y es
como sigue: para hallar los primos en una lista de enteros positivos del 1 al
n, primero listamos los enteros positivos entre 1 y n; después, como 1 no es
primo por definición, lo tachamos de la lista:
/1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, . . . , n.
El primer entero no tachado después del 1 es primo; en este caso es el 2. Des-
pués, en la lista anterior, tachamos todos los múltiplos de 2, con excepción
del 2:
/1, 2, 3, /4, 5, /6, 7, /8, 9, /10, 11, . . . , n.
El primer entero no tachado es primo; en este caso es el 3. Después tachamos
todos los múltiplos de 3, exceptuando el 3:
/1, 2, 3, /4, 5, /6, 7, /8, /9, /10, 11, . . . , n.
El primer entero no tachado es primo; en este caso es el 5. Después tachamos
todos los múltiplos de 5, exceptuando el 5; y el primer entero no tachado será
primo, en este caso el 7. Por ejemplo, si quisiéramos todos los primos menores
que n = 20, la lista anterior sería
/1, 2, 3, /4, 5, /6, 7, /8, /9, /10, 11, /12, 13, /14, /15, /16, 17, /18, 19, /20,
26 EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
por lo que 2, 3, 5, 7, 11, 13, 17, 19 son todos los primos menores que 20. El mé-
todo anterior se llama la criba de Eratóstenes porque funciona como una co-
ladera o criba al filtrar los primos de la lista del 1 al n. El ejercicio 24 en la
página siguiente nos dice que para encontrar la lista de primos del 1 al n bas-
ta ir tachando múltiplos de primos, hasta que lleguemos al primo p más cer-
cano a
√
n.
I.2.3 Infinitud del conjunto de primos
Si se calcula una lista de números primos, usando, por ejemplo, la criba de
Eratóstenes, se observa que conforme crecen los primos se van haciendo esca-
sos, de tal forma que algunas veces aparecen lagunas de enteros compuestos,
y esta “prueba” empírica parece sugerir que podría haber sólo un número fini-
to de primos. Que esto no es así lo comprueba el siguiente elegante argumento
de Euclides:5
Proposición I.9 (Euclides). El conjunto de primos es infinito.
Demostración. Supongamos que el conjunto de primos es finito y listemos sus
elementos: 2, 3, 5, . . . , p. Si consideramos el entero
a ∶= 2 ⋅ 3 ⋅ 5⋯p + 1,
observamos que a no es divisible por los primos de la lista anterior, ya que
al dividirlo entre cualquiera de ellos a deja residuo 1. Ahora, por el teorema
fundamental de la aritmética a tiene un factor primo que, por lo que vimos
antes, no está en la lista anterior. Esto es una contradicción.
La existencia de lagunas arbitrarias en la sucesión de primos es el contenido
del teorema siguiente:
Teorema I.10. Dado cualquier entero positivo k, existen k enteros compuestos
consecutivos.
Demostración. Considere los k enteros consecutivos siguientes:
(k + 1)! + 2, (k + 1)! + 3, . . . , (k + 1)! + k, (k + 1)! + k + 1,
y observe que cada uno de ellos es compuesto porque ℓ divide a (k + 1)! + ℓ
para 2 ≤ ℓ ≤ k + 1.
5Véase la proposición 20 del libro ix de los Elementos de Euclides.
EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA 27
Ejercicios
23) Use el teorema fundamental de la aritmética para demostrar que si a, b ∈ Z
se escriben como
a = pr11 p
r2
2 ⋯p
rm
m con ri ≥ 0,
b = ps11 p
s2
2 ⋯p
sm
m con si ≥ 0
(donde tomamos todos los factores primos que aparecen en a y b y los po-
nemos en ambas factorizaciones con exponente 0 si de hecho no aparecen
en uno de ellos de tal forma que p0 = 1 por definición), entonces:
mcd(a, b) = pγ11 p
γ2
2 ⋯p
γm
m con γi = mı́n{ri , si}.
24) Si m > 2 no es primo, demuestre que existe un primo p que divide a m y
además p ≤
√
m.
25) Si p es un primo impar, observe que al dividirlo entre 4 deja residuo 1
o deja residuo 3. Demuestre que hay un número infinito de primos de la
forma p = 4n+3. También es cierto que hay un número infinito de primos
de la forma p = 4n + 1; sin embargo, la demostración no es tan sencilla
como la que seguramente obtuvo el lector para el caso de primos de la
forma p = 4n+ 3. ¿Podría decir dónde falla esa demostración para el caso
p = 4n + 1?
26) Demuestre que todo primo p > 3 es de la forma 6n+1 o 6n+5. Demuestre
que hay un número infinito de primos de la forma p = 6n + 5.
27) Describa todos los primos de P.
28) Demuestre que todo entero distinto de cero deP se puede factorizar como
producto de primos de P.
29) Ya vimos que 180 tiene dos factorizaciones en P. Encuentre una tercera.
30) Encuentre el menor entero positivo par con dos factorizaciones distin-
tas en P. ¿Es 180 el menor entero positivo par con tres factorizaciones
distintas en P? Encuentre el menor entero par con cuatro factorizacio-
nes distintas.
31) El entero par 12 tiene una única factorización como producto de primos
en P, a saber, 12 = 2 ⋅ 6. Describa todos los enteros pares que tienen facto-
rización única en P.
32) Si m, n son coprimos, demuestre que los divisores de mn son de la forma
dd′, con d ∣m y d′ ∣n, y además d y d′ son coprimos.
28 EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
I.3 El algoritmo de Euclides
Dados dos números enteros a, b se tiene la pregunta natural de cómo se pue-
de calcular, en forma eficiente, el mcd(a, b). Una primera idea, ineficiente, es
listar todos los divisores positivos de a y luego los de b. De estas listas se elige
entonces el mayor divisor positivo común. El algoritmo siguiente, debido a Eu-
clides,6 es bastante más eficiente que el método anterior, como veremos más
adelante. Antes necesitaremos el resultado siguiente:
Lema I.11. Sean a, b, q enteros. Entonces,mcd(a, b) = mcd(a + qb, b). En par-
ticular, si b ≠ 0 y a = bq + r con 0 ≤ r < b, entoncesmcd(a, b) = mcd(b, r).
Demostración. Sea d un divisor común de a y b. Entonces, d divide a a + qb
por I.1.7 (p. 17). Así, d es divisor común de b y a + qb. Recíprocamente, si d es
un divisor común de b y a+qb, como d ∣b entonces d ∣qb y así, por I.1.6 (p. 16),
se sigue que d divide a (a + qb) − qb = a, por lo que d es divisor común de
a y b. Hemos mostrado que los divisores comunes de a y b son los mismos
divisores comunes de a + qb y b, por lo que sus mcd deben coincidir. Para la
segundaafirmación: mcd(a, b) = mcd(r + bq, b) = mcd(r, b).
El algoritmo de Euclides para calcular el mcd(a, b) de dos enteros a, b
dados es como sigue: para comenzar podemos suponer que a y b son ambos
positivos por I.1.8 (p. 17). Supongamos además que a ≥ b. Entonces,
1. Dividiendo a entre b escribamos:
a = bq1 + r1 con 0 ≤ r1 < b. (I.3.1)
Si r1 = 0, entonces a = bq1 por lo que b ∣a y así mcd(a, b) = b, por el
ejercicio 7 (p. 22).
2. Si r1 > 0, entonces dividimos b entre r1:
b = r1q2 + r2 con 0 ≤ r2 < r1 . (I.3.2)
Si r2 = 0, por el ejercicio 7 mcd(b, r1) = r1 y por el lema anterior aplicado
a la ecuación (I.3.1), mcd(a, b) = mcd(b, r1) y así mcd(a, b) = r1.
3. Si r2 > 0, entonces dividimos r1 entre r2:
r1 = r2q3 + r3 con 0 ≤ r3 < r2 . (I.3.3)
Se tienen de nuevo dos casos: Si r3 = 0, entonces r2 ∣r1 y mcd(r1 , r2) = r2
por el ejercicio 7, y por el lema anterior aplicado a la ecuación (I.3.2),
mcd(b, r1) = mcd(r1 , r2) por lo que mcd(a, b) = r2.
6Véanse las proposiciones 1 y 2 del libro vii de los Elementos de Euclides.
EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA 29
4. Si r3 > 0, dividimos r2 entre r3:
r2 = r3q4 + r4 con 0 ≤ r4 < r3 (I.3.4)
y procedemos como antes. Y así sucesivamente.
Este proceso tiene que terminar, pues se van obteniendo enteros positivos:
0 ≤ rn+1 < rn < ⋯ < r3 < r2 < r1 < b
en las igualdades
a = bq1 + r1 con 0 ≤ r1 < b
b = r1q2 + r2 con 0 ≤ r2 < r1
r1 = r2q3 + r3 con 0 ≤ r3 < r2
r2 = r3q4 + r4 con 0 ≤ r4 < r3
⋮
rn−3 = rn−2qn−1 + rn−1 con 0 ≤ rn−1 < rn−2
rn−2 = rn−1qn + rn con 0 ≤ rn < rn−1
rn−1 = rnqn+1 + 0 con rn+1 = 0,
y el resultado neto se expresa como sigue:
Teorema I.12 (Algoritmo de Euclides). Si a, b ∈ Z, en las igualdades anteriores
el último residuo distinto de cero, rn, es el mcd de a y b. Más aún, despejando
rn de la igualdad correspondiente y substituyendo en las anteriores, se obtiene rn
como combinación lineal de a y b.
Demostración.
La última igualdad nos dice que rn ∣rn−1, por lo quemcd(rn−1, rn) = rn y la pen-
última igualdad implica, por el lema, que mcd(rn−1, rn−2) = mcd(rn−1, rn) =
rn. Subiendo en la lista de igualdades anterior se sigue que
rn = mcd(rn−1, rn)
= mcd(rn−1, rn−2)
⋮
= mcd(r2, r1)
= mcd(r1, b)
= mcd(a, b)
y por lo tanto rn = mcd(a, b).
30 EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
Finalmente, despejando rn de la penúltima igualdad, y substituyendo el va-
lor despejado de rn−1 de la igualdad previa en la fórmula para rn, obtenemos rn
como combinación lineal de los residuos anteriores. Se procede recursivamen-
te como antes para al final expresar rn como combinación lineal de a y b.
Ejemplo 3.Usando el algoritmode Euclides, calcularmcd(14, 400) y expresarlo
como la combinación lineal correspondiente:
400 = (14)(28) + 8
14 = (8)(1) + 6
8 = (6)(1) + 2
6 = (2)(3).
Como el último residuo distinto de 0 es 2, se tiene que mcd(14, 400) = 2.
Finalmente, despejando de las igualdades anteriores, tenemos
2 = 8 − (6)(1)
= 8 − (14 − (8)(1))(1)
= (8 + 8) − 14 = 8(2) − 14
= (400 − 14(28))2 − 14 = 400(2) − 14(56) − 14
= 400(2) + 14(−57),
y esta es la combinación lineal buscada.
Nota. En los despejes anteriores las multiplicaciones van quedando indicadas
para al final poder factorizar en cada sumando los números a = 400 y b = 14
conservando su signo.
I.3.1 El mínimo común múltiplo
Dados dos enteros a, b, distintos de cero, podemos considerar los múltiplos
comunes de a y b (por ejemplo, el producto ab es múltiplo común de a y b).
Observemos ahora que sim es múltiplo común de a y b, entonces −m también
esmúltiplo común, por lo que existenmúltiplos comunes positivos, y así, por el
principio del buen orden, existe el menor de los múltiplos comunes positivos,
al cual se le llama el mínimo común múltiplo de a y b, y lo denotaremos por
mcm[a, b].
Lema I.13. Si a, b ∈ Z−{0} y m es cualquier múltiplos común de a y b, entonces
mcm[a, b] divide a m.
EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA 31
Demostración. Escribamos  = mcm[a, b]. Como a ≠ 0 y b ≠ 0, entonces
 ≠ 0. Si ahora dividimos m entre  y escribimos m = q + r con 0 ≤ r < ,
si sucediera que r ≠ 0 observamos que, como a ∣m y a ∣ , entonces de r =
m − q se sigue que a ∣r. Similarmente b ∣r. Por consiguiente, r es múltiplo
común positivo de a y b, pero como r < , esto contradice la minimalidad de
. Se sigue que r = 0, por lo que  ∣m.
Proposición I.14. Si a, b ∈ Z − {0}, entoncesmcm[a, b]mcd(a, b) = ∣ab∣.
Demostración. Por el ejercicio 35, que aparece a continuación, mcm[a, b] =
mcm[a,−b], y por lo tanto es suficiente probar la proposición para enteros a >
0 y b > 0. Consideremos primero el caso cuando mcd(a, b) = 1 y pongamos
 = mcm[a, b]. Como a ∣ , entonces  = at con t ∈ Z, y como b ∣  entonces
b ∣at; pero como mcd(a, b) = 1, el primer teorema de Euclides implica que
b ∣ t. Se sigue que b ≤ t y así ab ≤ at = . Pero como ab es múltiplo común de
a y b, entonces no puede suceder que ab < at = . Se debe tener entonces que
ab = at = , es decir,
mcm[a, b] =  = ab = 1 ⋅ (ab) = mcd(a, b) ⋅ ab.
Consideremos ahora el caso general, esto es, cuando mcd(a, b) = d > 1.
Dividiendo entre d se sigue quemcd(a/d , b/d) = 1 y aplicando el caso anterior
a los enteros a/d y b/d se obtiene que
mcm[a/d , b/d]mcd(a/d , b/d) = a
d
b
d
= ab
d2
,
y multiplicando esta igualdad por d2 queda
d ⋅mcm[a/d , b/d] d ⋅mcd(a/d , b/d) = d2 ⋅ ab
d2
,
es decir,
mcm[a, b]mcd(a, b) = ab,
puesto que d ⋅mcm[a/d , b/d] = mcm[da/d , db/d] = mcm[a, b] por el ejerci-
cio 36 (en la página siguiente), y similarmente para el mcd por el ejercicio 13
(p. 22).
32 EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
Ejercicios
33) Usando el algoritmo de Euclides calcule los siguientes máximos comunes
divisores:
i. mcd(2947, 3997).
ii. mcd(329, 1005).
iii. mcd(1302, 1224).
iv. mcd(7469, 2464).
v. mcd(2689, 4001).
vi. mcd(1109, 4999).
vii. mcd(1819, 3587).
34) Exprese cada mcd(a, b) del ejercicio anterior como combinación lineal
de los enteros a, b dados.
35) Demuestre que mcm[a, b] = mcm[a,−b].
36) Si t > 0 demuestre que mcm[ta, tb] = t ⋅mcm[a, b].
37) Con la misma notación del ejercicio 23 (p. 27), demuestre que
mcm[a, b] = pδ11 p
δ2
2 ⋯p
δm
m con δi = máx{ri , si}.
38) Si a1, . . . , ar son enteros, demuestre que a1⋯ar ≤ mcm[a1, . . . , ar] si y
sólo si los enteros a1, . . . , ar son coprimos por pares.
I.4 Ecuaciones diofantinas lineales
Recordaremos ahora cómo se hallan la soluciones de una ecuación diofantina
lineal en dos incógnitas, es decir, de la forma
ax + by = c (I.4.1)
con a, b, c ∈ Z dados; es decir, estudiaremos ecuaciones diofantinas lineales
en dos variables. Resolver esta ecuación quiere decir hallar todos los valores
de x , y ∈ Z que al substituirlos en la ecuación anterior la vuelven una igual-
dad verdadera. Por ejemplo, la ecuación 2x + 3y = 10 tiene la solución x = 2,
EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA 33
y = 2; pero también tiene la solución x = −1, y = 4. Más adelante veremos que,
de hecho, tiene un número infinito de soluciones. En contraste, la ecuación
2x + 4y = 5 no tiene ninguna solución entera ya que cualesquiera que sean
x , y ∈ Z, 2x +4y es par y así no puede ser igual a 5. Esto nos muestra que antes
de comenzar a buscar soluciones de las ecuaciones ax + by = c es conveniente
saber si tienen o no soluciones. Para esto observemos que si x , y ∈ Z son so-
luciones de (I.4.1), entonces ax + by = c es una combinación lineal de a y b.
Ahora, si d = mcd(a, b), como d ∣a y d ∣b, entonces d divide a cualquier com-
binación lineal de a y b y por lo tanto divide a c. Hemos así probado que si la
ecuación (I.4.1) tiene soluciones en Z, entonces mcd(a, b)∣c. Recíprocamente,
supongamos que d = mcd(a, b)∣c. Consideremos entonces la ecuación
ax + by = d con d = mcd(a, b) (I.4.2)
y notemos que como el mcd es combinación lineal de a y b —por ejemplo,
usando el algoritmo de Euclides (p. 28)—, entonces existen x′0, y′0 tales que
ax′0 + by′0 = d , (I.4.3)
es decir, x′0, y′0 es una solución de la ecuación (I.4.2); hemos así mostrado que
(I.4.2) siempre tiene soluciones.
Observemos ahora que comod ∣c por hipótesis, entonces c = dq con q ∈ Z,
y así multiplicando (I.4.3) por q se obtiene
a(x′0q) + b(y′0q) = dq = c,
es decir, x0 ∶= x′0q y y0 ∶= y′0q es una solución de la ecuación (I.4.1). Hemos
así probado que si d = mcd(a, b)∣c, entonces la ecuación ax + by = c tiene
soluciones. De hecho hemos dado un método para hallar una de estas solucio-
nes: usando el algoritmo de Euclides escribimos d = mcd(a, b) como combi-
nación lineal de a y b para obtener ax′0 + by′0 = d y luego escribimos c = dq de
tal forma que x0 = x′0q y y0 = y′0q es una solución particular de ax + by = c.
Resumiendo, los argumentos anteriores demuestran que la ecuación ax +
by = c con a, b, c ∈ Z tiene soluciones enteras si y sólo simcd(a, b)∣c.
Supongamos ahora que ya sabemos que la ecuación ax + by = c tiene solu-
ciones; con el método esbozado arriba podemos hallar una solución particular
(x0, y0), pero ahora queremos encontrar todas las soluciones. Para esto, obser-
vemos que si (x0, y0) y (x1, y1) son dos soluciones de ax + by = c, entonces
ax1 + by1 = c = ax0 + by0,
34 EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
por lo que a(x1 − x0) + b(y1 − y0) = 0, es decir, (x1 − x0, y1 − y0) es solución
de la ecuación
ax + by = 0,
a la que llamamos una ecuación homogénea porque el término independiente
es 0. Observamos también que cualquier ecuación homogénea siempre tiene
soluciones porque mcd(a, b)∣0. Ahora, si (x , y) es cualquier solución de la
ecuación homogénea ax + by = 0 y si (x0, y0) es una solución particular de
la ecuación ax + by = c, entonces (x0 + x , y0 + y) también es solución de ax +
by = c, puesto que
a(x0 + x) + b(y0 + y) = (ax0 + by0) + (ax + by) = c + 0 = c.
Resumiendo, hemos probado que todas las soluciones de la ecuación ax+by = c
son de la forma
x = x0 + x , y = y0 + y,
donde (x0, y0) es una solución particular de ax + by = c, y (x , y) es cualquier
solución de la ecuación homogénea asociada ax + by = 0.
Así, para hallar todas las soluciones de ax + by = c sólo nos falta saber
cómo encontrar todas las soluciones de ax + by = 0. Para esto último obser-
vemos que si d = mcd(a, b) y a = da′, b = db′, entonces mcd(a′, b′) = 1 y
se tiene que toda solución de ax + by = 0 es una solución de a′x + b′y = 0
y recíprocamente. En efecto, si (x , y) es una solución de ax + by = 0, enton-
ces ax + by = 0 y así da′x + db′y = 0, por lo que cancelando d se sigue que
a′x + b′y = 0, es decir, (x , y) es solución de a′x + b′y = 0. Recíprocamente, si
(x , y) es solución de a′x+b′y = 0, entonces a′x+b′y = 0, y multiplicando por
d se sigue que 0 = d ⋅ 0 = da′x + db′y = ax + by, por lo que (x , y) es solución
de ax + by = 0.
Es suficiente entonces encontrar todas las soluciones de la ecuación homo-
génea
a′x + b′y = 0 con mcd(a′, b′) = 1.
Pero esto es sencillo: todas las soluciones de la ecuación a′x + b′y = 0 con
mcd(a′, b′) = 1 son de la forma
x = b′t y y = −a′t con t ∈ Z.
En efecto, los números de la forma anterior son soluciones, como se mues-
tra fácilmente al substituirlos en a′x+b′y = 0. Recíprocamente, si (x , y) es cual-
quier solución de a′x + b′y = 0, entonces a′x + b′y = 0, por lo que a′x = −b′y,
esto es, a′ ∣−b′y; y como mcd(a′, b′) = 1, el teorema I.4 de Euclides (p. 20)
EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA 35
implica que a′ ∣−y, por lo cual y = −a′t con t ∈ Z. Se sigue que a′x = −b′y =
−b′(−a′t) = a′b′t de donde, cancelando a′, se obtiene que x = b′t como se
quería. En resumen, hemos probado el siguiente enunciado:
Proposición I.15. Si a, b ∈ Z − {0}, la ecuación diofantina ax + by = c tiene
soluciones enteras si y sólo simcd(a, b)∣c. Más aún, todas las soluciones son de
la forma
x = x0 + b′t con b = b′d , d = mcd(a, b)
y = y0 − a′t con a = a′d , d = mcd(a, b),
con t ∈ Z arbitrario y con (x0, y0) una solución particular de ax + by = c que se
puede hallar con el algoritmo de Euclides.
Ejemplo 4.Cómohallar todas las soluciones de la ecuación diofantina 4x+6y =
8. En este ejemplomcd(4, 6) = 2 y 2 ∣8, por lo que sí existen soluciones. Para en-
contrar una solución particular escribimos el máximo común divisor 2 como
combinación lineal: 2 = 4(−1) + 6(1); ahora, como 8 = 2(4), multiplicamos
por 4 para obtener la solución particular x0 = 4(−1) = −4, y0 = 4(1) = 4 de
4x + 6y = 8. Dividiendo los coeficientes de la ecuación por el mcd(4, 6) = 2,
se obtiene la ecuación homogénea 2x + 3y = 0 cuyas soluciones son x = 3t,
y = −2t con t ∈ Z. Así, las soluciones de la ecuación dada 4x + 6y = 8 son
x = −4 + 3t, y = 4 − 2t con t ∈ Z.
Ejercicios
39) Encuentre todas las soluciones de las ecuaciones diofantinas siguientes:
i. 243x + 198y = 9.
ii. 43x + 64y = 1.
iii. 6x + 10y = 1.
iv. 35x + 17y = 14.
v. 15x + 21y = 10.
vi. 71x − 50y = 1.
vii. 93x + 81y = 3.
40) Describa todas las soluciones enteras de cada una de las siguientes ecua-
ciones diofantinas:
i. 105x + 121y = 1.
36 EL TEOREMA FUNDAMENTAL DE LA ARITMÉTICA
ii. 12345x + 67890y = mcd(12345, 67890).
iii. 54321x + 9876y = mcd(54321, 9876).
41) Suponga que los enteros a y b son coprimos y de signos opuestos. Mues-
tre que la ecuación diofantina ax + by = c tiene un número infinito de
soluciones positivas para cualquier valor de c dado.
42) Considere tres enteros positivos a, b, c tales que a + b > c. Muestre que la
ecuación ax + by = c no tiene soluciones enteras.
II. CONGRUENCIAS Y CRIPTOGRAFÍA
Dado un entero m ≥ 1 fijo, usando la divisibilidad en Z, definimos la rela-
ción siguiente: dados dos enteros a, b ∈ Z, diremos que a es congruente con
b según el módulo m, si m ∣a − b. Usaremos la notación a ≡ b mód m para
indicar que m ∣a − b. Nótese así que decir que a ≡ 0 mód m es lo mismo que
decir que m ∣a.
Lema II.1. Fijo un entero m ≥ 1, la relación de congruencia módulo m es una
relación de equivalencia en Z.
Demostración. Es reflexiva, puesto que si a ∈ Z, entonces m ∣a − a = 0, por lo
que a ≡ a mód m.
Es simétrica, pues si a ≡ b mód m, entoncesm ∣a − b, es decir, a−b = mq,
por lo cual b − a = m(−q), y así m ∣b − a, esto es, b ≡ a mód m.
Es transitiva, ya que si a ≡ b mód m y b ≡ c mód m, entoncesm ∣a − b y
m ∣b − c, por lo que m ∣(a − b) + (b − c) = a − c, o sea, a ≡ c mód m.
Ejemplo 1. Si m = 2 y a, b ∈ Z, la relación a ≡ b mód m quiere decir que a y b
tienen la misma paridad, es decir, ambos son pares o ambos son impares.
Las propiedades siguientes se verifican fácilmente:
Proposición II.2. Sea m ≥ 1 un entero fijo. Entonces
1) Si a ≡ b mód m y c ∈ Z, entonces a + c ≡ b + c mód m.
2) Si a ≡ b mód m y c ∈ Z, entonces ac ≡ bc mód m.
3) Si a ≡ b mód m y a′ ≡ b′ mód m, entonces a + a′ ≡ b + b′ mód m.
4) Si a ≡ b mód m y a′ ≡ b′ mód m, entonces aa′ ≡ bb′ mód m.
Demostración.
1) Como m ∣a − b, entonces m ∣(a − b) = (a + c) − (b + c).
2) Como m ∣a − b, entonces m ∣c(a − b) = ac − bc.
37
Nacida de la necesidad primaria del hombre de contar y medir, 
la aritmética, al igual que la geometría, tiene su origen en los tiempos 
prehistóricos. Las grandes civilizaciones antiguas desarrollaron 
un sistema propio de numeración y operaciones básicas, pero el creado 
en la India se impuso por su aparente sencillez: la utilización del cero
y de la notación con valor numérico posicional. Desde entonces 
comenzó el desarrollo de la teoría de números.
Este libro es una introducción elemental a la teoría de números
o aritmética superior: comienza con un análisis de la noción de divisibilidad
e introduce las propiedades elementales de las congruencias,
las congruencias cuánticas y las raíces primitivas, para concluir
con el estudio de algunas ecuaciones diofantinas de segundo
y tercer grado. El capítulo final es una introducción elemental
a la aritmética de curvas elípticas. Una novedad del libro
es la inclusión de algunas aplicaciones de interés actual, tales
como el intercambio de claves Diffie-Hellman y los criptosistemas
de clave pública RSA, ElGamal y de Rabin.
C I E N C I A
Y T E C N O L O G Í A
 w
w
w
.fo
nd
od
ec
ul
tu
ra
ec
on
om
ic
a.
co
m
9 786071 607386
<<
 /ASCII85EncodePages false/AllowTransparency false
 /AutoPositionEPSFiles true
 /AutoRotatePages /None
 /Binding /Left
 /CalGrayProfile (Dot Gain 20%)
 /CalRGBProfile (Adobe RGB \0501998\051)
 /CalCMYKProfile (U.S. Web Coated \050SWOP\051 v2)
 /sRGBProfile (sRGB IEC61966-2.1)
 /CannotEmbedFontPolicy /Error
 /CompatibilityLevel 1.4
 /CompressObjects /Tags
 /CompressPages true
 /ConvertImagesToIndexed true
 /PassThroughJPEGImages true
 /CreateJobTicket false
 /DefaultRenderingIntent /Default
 /DetectBlends true
 /DetectCurves 0.0000
 /ColorConversionStrategy /CMYK
 /DoThumbnails false
 /EmbedAllFonts true
 /EmbedOpenType false
 /ParseICCProfilesInComments true
 /EmbedJobOptions true
 /DSCReportingLevel 0
 /EmitDSCWarnings false
 /EndPage -1
 /ImageMemory 1048576
 /LockDistillerParams false
 /MaxSubsetPct 100
 /Optimize true
 /OPM 1
 /ParseDSCComments true
 /ParseDSCCommentsForDocInfo true
 /PreserveCopyPage true
 /PreserveDICMYKValues true
 /PreserveEPSInfo true
 /PreserveFlatness true
 /PreserveHalftoneInfo false
 /PreserveOPIComments true
 /PreserveOverprintSettings true
 /StartPage 1
 /SubsetFonts true
 /TransferFunctionInfo /Apply
 /UCRandBGInfo /Preserve
 /UsePrologue false
 /ColorSettingsFile (None)
 /AlwaysEmbed [ true
 ]
 /NeverEmbed [ true
 ]
 /AntiAliasColorImages false
 /CropColorImages true
 /ColorImageMinResolution 300
 /ColorImageMinResolutionPolicy /OK
 /DownsampleColorImages true
 /ColorImageDownsampleType /Bicubic
 /ColorImageResolution 300
 /ColorImageDepth -1
 /ColorImageMinDownsampleDepth 1
 /ColorImageDownsampleThreshold 1.50000
 /EncodeColorImages true
 /ColorImageFilter /DCTEncode
 /AutoFilterColorImages true
 /ColorImageAutoFilterStrategy /JPEG
 /ColorACSImageDict <<
 /QFactor 0.15
 /HSamples [1 1 1 1] /VSamples [1 1 1 1]
 >>
 /ColorImageDict <<
 /QFactor 0.15
 /HSamples [1 1 1 1] /VSamples [1 1 1 1]
 >>
 /JPEG2000ColorACSImageDict <<
 /TileWidth 256
 /TileHeight 256
 /Quality 30
 >>
 /JPEG2000ColorImageDict <<
 /TileWidth 256
 /TileHeight 256
 /Quality 30
 >>
 /AntiAliasGrayImages false
 /CropGrayImages true
 /GrayImageMinResolution 300
 /GrayImageMinResolutionPolicy /OK
 /DownsampleGrayImages true
 /GrayImageDownsampleType /Bicubic
 /GrayImageResolution 300
 /GrayImageDepth -1
 /GrayImageMinDownsampleDepth 2
 /GrayImageDownsampleThreshold 1.50000
 /EncodeGrayImages true
 /GrayImageFilter /DCTEncode
 /AutoFilterGrayImages true
 /GrayImageAutoFilterStrategy /JPEG
 /GrayACSImageDict <<
 /QFactor 0.15
 /HSamples [1 1 1 1] /VSamples [1 1 1 1]
 >>
 /GrayImageDict <<
 /QFactor 0.15
 /HSamples [1 1 1 1] /VSamples [1 1 1 1]
 >>
 /JPEG2000GrayACSImageDict <<
 /TileWidth 256
 /TileHeight 256
 /Quality 30
 >>
 /JPEG2000GrayImageDict <<
 /TileWidth 256
 /TileHeight 256
 /Quality 30
 >>
 /AntiAliasMonoImages false
 /CropMonoImages true
 /MonoImageMinResolution 1200
 /MonoImageMinResolutionPolicy /OK
 /DownsampleMonoImages true
 /MonoImageDownsampleType /Bicubic
 /MonoImageResolution 1200
 /MonoImageDepth -1
 /MonoImageDownsampleThreshold 1.50000
 /EncodeMonoImages true
 /MonoImageFilter /CCITTFaxEncode
 /MonoImageDict <<
 /K -1
 >>
 /AllowPSXObjects false
 /CheckCompliance [
 /None
 ]
 /PDFX1aCheck false
 /PDFX3Check false
 /PDFXCompliantPDFOnly false
 /PDFXNoTrimBoxError true
 /PDFXTrimBoxToMediaBoxOffset [
 0.00000
 0.00000
 0.00000
 0.00000
 ]
 /PDFXSetBleedBoxToMediaBox true
 /PDFXBleedBoxToTrimBoxOffset [
 0.00000
 0.00000
 0.00000
 0.00000
 ]
 /PDFXOutputIntentProfile (None)
 /PDFXOutputConditionIdentifier ()
 /PDFXOutputCondition ()
 /PDFXRegistryName ()
 /PDFXTrapped /False
 /CreateJDFFile false
 /Description <<
 /ARA <FEFF06270633062A062E062F0645002006470630064700200627064406250639062F0627062F0627062A002006440625064606340627062100200648062B062706260642002000410064006F00620065002000500044004600200645062A064806270641064206290020064406440637062806270639062900200641064A00200627064406450637062706280639002006300627062A0020062F0631062C0627062A002006270644062C0648062F0629002006270644063906270644064A0629061B0020064A06450643064600200641062A062D00200648062B0627062606420020005000440046002006270644064506460634062306290020062806270633062A062E062F062706450020004100630072006F0062006100740020064800410064006F006200650020005200650061006400650072002006250635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E0635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E>
 /BGR <FEFF04180437043f043e043b043704320430043904420435002004420435043704380020043d0430044104420440043e0439043a0438002c00200437043000200434043000200441044a0437043404300432043004420435002000410064006f00620065002000500044004600200434043e043a0443043c0435043d04420438002c0020043c0430043a04410438043c0430043b043d043e0020043f044004380433043e04340435043d04380020043704300020043204380441043e043a043e043a0430044704350441044204320435043d0020043f04350447043004420020043704300020043f044004350434043f0435044704300442043d04300020043f043e04340433043e0442043e0432043a0430002e002000200421044a04370434043004340435043d043804420435002000500044004600200434043e043a0443043c0435043d044204380020043c043e0433043004420020043404300020044104350020043e0442043204300440044f0442002004410020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200441043b0435043404320430044904380020043204350440044104380438002e>
 /CHS <FEFF4f7f75288fd94e9b8bbe5b9a521b5efa7684002000410064006f006200650020005000440046002065876863900275284e8e9ad88d2891cf76845370524d53705237300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c676562535f00521b5efa768400200050004400460020658768633002>
 /CHT <FEFF4f7f752890194e9b8a2d7f6e5efa7acb7684002000410064006f006200650020005000440046002065874ef69069752865bc9ad854c18cea76845370524d5370523786557406300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c4f86958b555f5df25efa7acb76840020005000440046002065874ef63002>
 /CZE <FEFF005400610074006f0020006e006100730074006100760065006e00ed00200070006f0075017e0069006a007400650020006b0020007600790074007600e101590065006e00ed00200064006f006b0075006d0065006e0074016f002000410064006f006200650020005000440046002c0020006b00740065007200e90020007300650020006e0065006a006c00e90070006500200068006f006400ed002000700072006f0020006b00760061006c00690074006e00ed0020007400690073006b00200061002000700072006500700072006500730073002e002000200056007900740076006f01590065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f007400650076015900ed007400200076002000700072006f006700720061006d0065006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076011b006a016100ed00630068002e>
 /DAN <FEFF004200720075006700200069006e0064007300740069006c006c0069006e006700650072006e0065002000740069006c0020006100740020006f007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400650072002c0020006400650072002000620065006400730074002000650067006e006500720020007300690067002000740069006c002000700072006500700072006500730073002d007500640073006b007200690076006e0069006e00670020006100660020006800f8006a0020006b00760061006c0069007400650074002e0020004400650020006f007000720065007400740065006400650020005000440046002d0064006f006b0075006d0065006e0074006500720020006b0061006e002000e50062006e00650073002000690020004100630072006f00620061007400200065006c006c006500720020004100630072006f006200610074002000520065006100640065007200200035002e00300020006f00670020006e0079006500720065002e>
 /DEU <FEFF00560065007200770065006e00640065006e0020005300690065002000640069006500730065002000450069006e007300740065006c006c0075006e00670065006e0020007a0075006d002000450072007300740065006c006c0065006e00200076006f006e002000410064006f006200650020005000440046002d0044006f006b0075006d0065006e00740065006e002c00200076006f006e002000640065006e0065006e002000530069006500200068006f006300680077006500720074006900670065002000500072006500700072006500730073002d0044007200750063006b0065002000650072007a0065007500670065006e0020006d00f60063006800740065006e002e002000450072007300740065006c006c007400650020005000440046002d0044006f006b0075006d0065006e007400650020006b00f6006e006e0065006e0020006d006900740020004100630072006f00620061007400200075006e0064002000410064006f00620065002000520065006100640065007200200035002e00300020006f0064006500720020006800f600680065007200200067006500f600660066006e00650074002000770065007200640065006e002e>/ESP <FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f00730020005000440046002000640065002000410064006f0062006500200061006400650063007500610064006f00730020007000610072006100200069006d0070007200650073006900f3006e0020007000720065002d0065006400690074006f007200690061006c00200064006500200061006c00740061002000630061006c0069006400610064002e002000530065002000700075006500640065006e00200061006200720069007200200064006f00630075006d0065006e0074006f00730020005000440046002000630072006500610064006f007300200063006f006e0020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e003000200079002000760065007200730069006f006e0065007300200070006f00730074006500720069006f007200650073002e>
 /ETI <FEFF004b00610073007500740061006700650020006e0065006900640020007300e4007400740065006900640020006b00760061006c006900740065006500740073006500200074007200fc006b006900650065006c007300650020007000720069006e00740069006d0069007300650020006a0061006f006b007300200073006f00620069006c0069006b0065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740069006400650020006c006f006f006d006900730065006b0073002e00200020004c006f006f0064007500640020005000440046002d0064006f006b0075006d0065006e00740065002000730061006100740065002000610076006100640061002000700072006f006700720061006d006d006900640065006700610020004100630072006f0062006100740020006e0069006e0067002000410064006f00620065002000520065006100640065007200200035002e00300020006a00610020007500750065006d006100740065002000760065007200730069006f006f006e00690064006500670061002e000d000a>
 /FRA <FEFF005500740069006c006900730065007a00200063006500730020006f007000740069006f006e00730020006100660069006e00200064006500200063007200e900650072002000640065007300200064006f00630075006d0065006e00740073002000410064006f00620065002000500044004600200070006f0075007200200075006e00650020007100750061006c0069007400e90020006400270069006d007000720065007300730069006f006e00200070007200e9007000720065007300730065002e0020004c0065007300200064006f00630075006d0065006e00740073002000500044004600200063007200e900e90073002000700065007500760065006e0074002000ea0074007200650020006f007500760065007200740073002000640061006e00730020004100630072006f006200610074002c002000610069006e00730069002000710075002700410064006f00620065002000520065006100640065007200200035002e0030002000650074002000760065007200730069006f006e007300200075006c007400e90072006900650075007200650073002e>
 /GRE <FEFF03a703c103b703c303b903bc03bf03c003bf03b903ae03c303c403b5002003b103c503c403ad03c2002003c403b903c2002003c103c503b803bc03af03c303b503b903c2002003b303b903b1002003bd03b1002003b403b703bc03b903bf03c503c103b303ae03c303b503c403b5002003ad03b303b303c103b103c603b1002000410064006f006200650020005000440046002003c003bf03c5002003b503af03bd03b103b9002003ba03b103c42019002003b503be03bf03c703ae03bd002003ba03b103c403ac03bb03bb03b703bb03b1002003b303b903b1002003c003c103bf002d03b503ba03c403c503c003c903c403b903ba03ad03c2002003b503c103b303b103c303af03b503c2002003c503c803b703bb03ae03c2002003c003bf03b903cc03c403b703c403b103c2002e0020002003a403b10020005000440046002003ad03b303b303c103b103c603b1002003c003bf03c5002003ad03c703b503c403b5002003b403b703bc03b903bf03c503c103b303ae03c303b503b9002003bc03c003bf03c103bf03cd03bd002003bd03b1002003b103bd03bf03b903c703c403bf03cd03bd002003bc03b5002003c403bf0020004100630072006f006200610074002c002003c403bf002000410064006f00620065002000520065006100640065007200200035002e0030002003ba03b103b9002003bc03b503c403b103b303b503bd03ad03c303c403b503c103b503c2002003b503ba03b403cc03c303b503b903c2002e>
 /HEB <FEFF05D405E905EA05DE05E905D5002005D105D405D205D305E805D505EA002005D005DC05D4002005DB05D305D9002005DC05D905E605D505E8002005DE05E105DE05DB05D9002000410064006F006200650020005000440046002005D405DE05D505EA05D005DE05D905DD002005DC05D405D305E405E105EA002005E705D305DD002D05D305E405D505E1002005D005D905DB05D505EA05D905EA002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E05D005DE05D905DD002005DC002D005000440046002F0058002D0033002C002005E205D905D905E005D5002005D105DE05D305E805D905DA002005DC05DE05E905EA05DE05E9002005E905DC0020004100630072006F006200610074002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E>
 /HRV (Za stvaranje Adobe PDF dokumenata najpogodnijih za visokokvalitetni ispis prije tiskanja koristite ove postavke. Stvoreni PDF dokumenti mogu se otvoriti Acrobat i Adobe Reader 5.0 i kasnijim verzijama.)
 /HUN <FEFF004b0069007600e1006c00f30020006d0069006e0151007300e9006701710020006e0079006f006d00640061006900200065006c0151006b00e90073007a00ed007401510020006e0079006f006d00740061007400e100730068006f007a0020006c006500670069006e006b00e1006200620020006d0065006700660065006c0065006c0151002000410064006f00620065002000500044004600200064006f006b0075006d0065006e00740075006d006f006b0061007400200065007a0065006b006b0065006c0020006100200062006500e1006c006c00ed007400e10073006f006b006b0061006c0020006b00e90073007a00ed0074006800650074002e0020002000410020006c00e90074007200650068006f007a006f00740074002000500044004600200064006f006b0075006d0065006e00740075006d006f006b00200061007a0020004100630072006f006200610074002000e9007300200061007a002000410064006f00620065002000520065006100640065007200200035002e0030002c0020007600610067007900200061007a002000610074007400f3006c0020006b00e9007301510062006200690020007600650072007a006900f3006b006b0061006c0020006e00790069007400680061007400f3006b0020006d00650067002e>
 /ITA <FEFF005500740069006c0069007a007a006100720065002000710075006500730074006500200069006d0070006f007300740061007a0069006f006e00690020007000650072002000630072006500610072006500200064006f00630075006d0065006e00740069002000410064006f00620065002000500044004600200070006900f900200061006400610074007400690020006100200075006e00610020007000720065007300740061006d0070006100200064006900200061006c007400610020007100750061006c0069007400e0002e0020004900200064006f00630075006d0065006e007400690020005000440046002000630072006500610074006900200070006f00730073006f006e006f0020006500730073006500720065002000610070006500720074006900200063006f006e0020004100630072006f00620061007400200065002000410064006f00620065002000520065006100640065007200200035002e003000200065002000760065007200730069006f006e006900200073007500630063006500730073006900760065002e>
 /JPN <FEFF9ad854c18cea306a30d730ea30d730ec30b951fa529b7528002000410064006f0062006500200050004400460020658766f8306e4f5c6210306b4f7f75283057307e305930023053306e8a2d5b9a30674f5c62103055308c305f0020005000440046002030d530a130a430eb306f3001004100630072006f0062006100740020304a30883073002000410064006f00620065002000520065006100640065007200200035002e003000204ee5964d3067958b304f30533068304c3067304d307e305930023053306e8a2d5b9a306b306f30d530a930f330c8306e57cb30818fbc307f304c5fc59808306730593002>
 /KOR <FEFFc7740020c124c815c7440020c0acc6a9d558c5ec0020ace0d488c9c80020c2dcd5d80020c778c1c4c5d00020ac00c7a50020c801d569d55c002000410064006f0062006500200050004400460020bb38c11cb97c0020c791c131d569b2c8b2e4002e0020c774b807ac8c0020c791c131b41c00200050004400460020bb38c11cb2940020004100630072006f0062006100740020bc0f002000410064006f00620065002000520065006100640065007200200035002e00300020c774c0c1c5d0c11c0020c5f40020c2180020c788c2b5b2c8b2e4002e>
 /LTH <FEFF004e006100750064006f006b0069007400650020016100690075006f007300200070006100720061006d006500740072007500730020006e006f0072011700640061006d00690020006b0075007200740069002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b00750072006900650020006c0061006200690061007500730069006100690020007000720069007400610069006b007900740069002000610075006b01610074006f00730020006b006f006b007900620117007300200070006100720065006e006700740069006e00690061006d00200073007000610075007300640069006e0069006d00750069002e0020002000530075006b0075007200740069002000500044004600200064006f006b0075006d0065006e007400610069002000670061006c006900200062016b007400690020006100740069006400610072006f006d00690020004100630072006f006200610074002000690072002000410064006f00620065002000520065006100640065007200200035002e0030002000610072002000760117006c00650073006e0117006d00690073002000760065007200730069006a006f006d00690073002e>/LVI <FEFF0049007a006d0061006e0074006f006a00690065007400200161006f00730020006900650073007400610074012b006a0075006d00750073002c0020006c0061006900200076006500690064006f00740075002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006100730020006900720020012b00700061016100690020007000690065006d01130072006f00740069002000610075006700730074006100730020006b00760061006c0069007401010074006500730020007000690072006d007300690065007300700069006501610061006e006100730020006400720075006b00610069002e00200049007a0076006500690064006f006a006900650074002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006f002000760061007200200061007400760113007200740020006100720020004100630072006f00620061007400200075006e002000410064006f00620065002000520065006100640065007200200035002e0030002c0020006b0101002000610072012b00200074006f0020006a00610075006e0101006b0101006d002000760065007200730069006a0101006d002e>
 /NLD (Gebruik deze instellingen om Adobe PDF-documenten te maken die zijn geoptimaliseerd voor prepress-afdrukken van hoge kwaliteit. De gemaakte PDF-documenten kunnen worden geopend met Acrobat en Adobe Reader 5.0 en hoger.)
 /NOR <FEFF004200720075006b00200064006900730073006500200069006e006e007300740069006c006c0069006e00670065006e0065002000740069006c002000e50020006f0070007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740065007200200073006f006d00200065007200200062006500730074002000650067006e0065007400200066006f00720020006600f80072007400720079006b006b0073007500740073006b00720069006600740020006100760020006800f800790020006b00760061006c0069007400650074002e0020005000440046002d0064006f006b0075006d0065006e00740065006e00650020006b0061006e002000e50070006e00650073002000690020004100630072006f00620061007400200065006c006c00650072002000410064006f00620065002000520065006100640065007200200035002e003000200065006c006c00650072002000730065006e006500720065002e>
 /POL <FEFF0055007300740061007700690065006e0069006100200064006f002000740077006f0072007a0065006e0069006100200064006f006b0075006d0065006e007400f300770020005000440046002000700072007a0065007a006e00610063007a006f006e00790063006800200064006f002000770079006400720075006b00f30077002000770020007700790073006f006b00690065006a0020006a0061006b006f015b00630069002e002000200044006f006b0075006d0065006e0074007900200050004400460020006d006f017c006e00610020006f007400770069006500720061010700200077002000700072006f006700720061006d006900650020004100630072006f00620061007400200069002000410064006f00620065002000520065006100640065007200200035002e0030002000690020006e006f00770073007a0079006d002e>
 /PTB <FEFF005500740069006c0069007a006500200065007300730061007300200063006f006e00660069006700750072006100e700f50065007300200064006500200066006f0072006d00610020006100200063007200690061007200200064006f00630075006d0065006e0074006f0073002000410064006f0062006500200050004400460020006d00610069007300200061006400650071007500610064006f00730020007000610072006100200070007200e9002d0069006d0070007200650073007300f50065007300200064006500200061006c007400610020007100750061006c00690064006100640065002e0020004f007300200064006f00630075006d0065006e0074006f00730020005000440046002000630072006900610064006f007300200070006f00640065006d0020007300650072002000610062006500720074006f007300200063006f006d0020006f0020004100630072006f006200610074002000650020006f002000410064006f00620065002000520065006100640065007200200035002e0030002000650020007600650072007300f50065007300200070006f00730074006500720069006f007200650073002e>
 /RUM <FEFF005500740069006c0069007a00610163006900200061006300650073007400650020007300650074010300720069002000700065006e007400720075002000610020006300720065006100200064006f00630075006d0065006e00740065002000410064006f006200650020005000440046002000610064006500630076006100740065002000700065006e0074007200750020007400690070010300720069007200650061002000700072006500700072006500730073002000640065002000630061006c006900740061007400650020007300750070006500720069006f006100720103002e002000200044006f00630075006d0065006e00740065006c00650020005000440046002000630072006500610074006500200070006f00740020006600690020006400650073006300680069007300650020006300750020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e00300020015f00690020007600650072007300690075006e0069006c006500200075006c0074006500720069006f006100720065002e>
 /RUS <FEFF04180441043f043e043b044c04370443043904420435002004340430043d043d044b04350020043d0430044104420440043e0439043a043800200434043b044f00200441043e043704340430043d0438044f00200434043e043a0443043c0435043d0442043e0432002000410064006f006200650020005000440046002c0020043c0430043a04410438043c0430043b044c043d043e0020043f043e04340445043e0434044f04490438044500200434043b044f00200432044b0441043e043a043e043a0430044704350441044204320435043d043d043e0433043e00200434043e043f0435044704300442043d043e0433043e00200432044b0432043e04340430002e002000200421043e043704340430043d043d044b04350020005000440046002d0434043e043a0443043c0435043d0442044b0020043c043e0436043d043e0020043e0442043a0440044b043204300442044c002004410020043f043e043c043e0449044c044e0020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200431043e043b043504350020043f043e04370434043d043804450020043204350440044104380439002e>
 /SKY <FEFF0054006900650074006f0020006e006100730074006100760065006e0069006100200070006f0075017e0069007400650020006e00610020007600790074007600e100720061006e0069006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b0074006f007200e90020007300610020006e0061006a006c0065007001610069006500200068006f0064006900610020006e00610020006b00760061006c00690074006e00fa00200074006c0061010d00200061002000700072006500700072006500730073002e00200056007900740076006f00720065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f00740076006f00720069016500200076002000700072006f006700720061006d006f006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076016100ed00630068002e>
 /SLV <FEFF005400650020006e006100730074006100760069007400760065002000750070006f0072006100620069007400650020007a00610020007500730074007600610072006a0061006e006a006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b006900200073006f0020006e0061006a007000720069006d00650072006e0065006a016100690020007a00610020006b0061006b006f0076006f00730074006e006f0020007400690073006b0061006e006a00650020007300200070007200690070007200610076006f0020006e00610020007400690073006b002e00200020005500730074007600610072006a0065006e006500200064006f006b0075006d0065006e0074006500200050004400460020006a00650020006d006f0067006f010d00650020006f0064007000720065007400690020007a0020004100630072006f00620061007400200069006e002000410064006f00620065002000520065006100640065007200200035002e003000200069006e0020006e006f00760065006a01610069006d002e>
 /SUO <FEFF004b00e40079007400e40020006e00e40069007400e4002000610073006500740075006b007300690061002c0020006b0075006e0020006c0075006f00740020006c00e400680069006e006e00e4002000760061006100740069007600610061006e0020007000610069006e006100740075006b00730065006e002000760061006c006d0069007300740065006c00750074007900f6006800f6006e00200073006f00700069007600690061002000410064006f0062006500200050004400460020002d0064006f006b0075006d0065006e007400740065006a0061002e0020004c0075006f0064007500740020005000440046002d0064006f006b0075006d0065006e00740069007400200076006f0069006400610061006e0020006100760061007400610020004100630072006f0062006100740069006c006c00610020006a0061002000410064006f00620065002000520065006100640065007200200035002e0030003a006c006c00610020006a006100200075007500640065006d006d0069006c006c0061002e>
 /SVE <FEFF0041006e007600e4006e00640020006400650020006800e4007200200069006e0073007400e4006c006c006e0069006e006700610072006e00610020006f006d002000640075002000760069006c006c00200073006b006100700061002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400200073006f006d002000e400720020006c00e4006d0070006c0069006700610020006600f60072002000700072006500700072006500730073002d007500740073006b00720069006600740020006d006500640020006800f600670020006b00760061006c0069007400650074002e002000200053006b006100700061006400650020005000440046002d0064006f006b0075006d0065006e00740020006b0061006e002000f600700070006e00610073002000690020004100630072006f0062006100740020006f00630068002000410064006f00620065002000520065006100640065007200200035002e00300020006f00630068002000730065006e006100720065002e>