Numeros Primos y Compuestos

Captulo 1
N umeros primos y compuestos

En este captulo consideraremos algunas propiedades del conjunto de los n umeros
enteros y positivos: 1, 2, 3, . . . Es costumbre utilizar la letra N para designar a di-
cho conjunto, as como Z es la notacion usual en Matematicas para representar al
conjunto de todos los n umeros enteros (positivos, negativos y cero). La aritmetica
elemental se ocupa del estudio de las operaciones basicas de los enteros, suma, res-
ta y multiplicaci on y, junto con la Geometra Eucldea, constituye los cimientos y
aporta los primeros modelos sobre los que luego se construyen y conforman otras
ramas de la Matematica. En los sucesivo supondremos ciertos conocimientos de la
Aritmetica elemental para pasar directamente a estudiar la relacion de divisibilidad.
1.1. El teorema fundamental de la aritmetica
Un entero positivo p > 1 es un n umero primo si sus unicos divisores positivos
son 1 y p. Por ejemplo los n umeros 2, 3, 5, 7, 11, 13 son primos. Los enteros positivos
mayores que 1 que no son primos se llaman compuestos.
El concepto de n umero primo se remonta a la antig uedad. Los griegos posean
dicho concepto, as como una larga lista de teoremas y propiedades relacionadas con
el. Los cuatro ejemplos siguientes aparecen el Los Elementos de Euclides:
Todo entero positivo, distinto de 1, es un producto de primos.
Teorema fundamental de la aritmetica: Todo entero positivo puede descom-
ponerse de manera unica en un producto de primos.
Existen innitos n umeros primos.
1
2 CAP
ITULO 1. N
UMEROS PRIMOS Y COMPUESTOS

Podemos obtener una lista de los n umeros primos por medio del metodo cono-
cido con el nombre de Criba de Eratostenes.
Estas propiedades justican la importancia de los n umeros primos y la curiosi-
dad que han inspirado entre los matematicos de todas las epocas.
Proposicion 1.1.1. Todo entero positivo mayor que 1 es un producto de n umeros
primos.
Demostracion. Por induccion. La hipotesis es cierta en el caso n = 2. Supongamosla
cierta para n m y probemos que m + 1 es un producto de primos.
Si tenemos tanta suerte que m + 1 es primo, entonces no hay nada que de-
mostrar; en caso contrario m + 1 se podra escribir de la forma m + 1 = n
1
n
2
con
1 < n
1
n
2
< m + 1. Por ser n
1
y n
2
menores que m + 1 y mayores que 1, ambos
seran productos de primos y tambien lo habra de ser m + 1.
Sean a y b dos n umeros enteros alguno de los cuales es distinto de 0. El maximo
com un divisor de a y b es el mayor entero positivo (a, b) que divide a ambos a y b. El
caso en que (a, b) = 1 recibe un nombre especial, se dice que a y b son primos relativos
o primos entre s. El mnimo com un m ultiplo [a, b] es el menor entero no negativo
que es divisible por a y por b. Si a y b son primos relativos entonces [a, b] = [ab[. En
general se verica que [ab[ = (a, b)[a, b].
Proposicion 1.1.2 (Algoritmo de la division). Dados dos enteros cualesquiera a y
b (a > 0), existen dos unicos enteros q y r tales que b = aq + r, 0 r < a. Si a b
entonces 0 < r < a.
Demostracion. Considerese el conjunto b qa, q Z. Sea r el menor n umero no
negativo de la sucesion. Obviamente r = b qa para alg un q. Es claro que r < a.
En caso contrario 0 b (q + 1)a = r a < r y entonces r no ya sera el mnimo
entero positivo con esa propiedad. La unicidad de r implica la de q.
Algoritmo de Euclides. Supongamos que a > b y a = bc + r, a r < b.
Es claro que todo divisor com un de a y b lo es tambien de b y r, y viceversa. En
particular (a, b) = (b, r). Esta estrategia puede ser iterada. El ultimo resto distinto
de 0 es el maximo com un divisor de los n umeros a y b.
Proposicion 1.1.3. Fijados b y c, existen enteros x
0
y y
0
tales que (b, c) = bx
0
+cy
0
.
Demostracion. Consideremos el menor entero positivo l del conjunto bx + cy :
x, y Z. Sea l = bx
0
+ cy
0
. Si l b, existen q y r tales que b = lq + r, 0 < r < l.
r = b ql = b q(bx
0
+ cy
0
) = b(1 qx
0
) + c(qy
0
).
1.1. EL TEOREMA FUNDAMENTAL DE LA ARITM
ETICA 3
Entonces r pertenece al conjunto, es positivo y menor que l; y eso contradice la
eleccion del entero l. Luego l [ b. Por la misma razon l [ c. Es decir, l [ (b, c).
Por otra parte (b, c) [ b y (b, c) [ c. En particular (b, c) [ (bx
0
+ cy
0
). Por lo
tanto hemos probado que l = bx
0
+ cy
0
= (b, c).
Corolario 1.1.4. Si p es primo y p [ ab, entonces p [ a o p [ b.
Demostracion. Si p a entonces (p, a) = 1 y, por la proposicion anterior, existen
x
0
, y
0
tales que 1 = px
0
+ ay
0
.
Luego b = bpx
0
+ bay
0
. Obviamente p [ bpx
0
y por hipotesis p [ bay
0
. De
aqu concluimos que p [ b.
Estamos ahora en condiciones de probar el teorema fundamental de la ar-
itmetica.
Proposicion 1.1.5 (Teorema Fundamental de la Aritmetica). Todo entero positivo
puede descomponerse en producto de n umeros primos de manera unica, salvo por
una reordenacion de los factores.
Demostracion. Consideremos el menor entero n 2 para el que no sea cierto. En-
tonces existiran dos factorizaciones distintas de n,
p
1
1
p
k
k
= q
1
1
q
h
h
donde todos los primos p
i
son distintos de los q
j
. En caso contrario podramos
dividir por alg un primo com un y tendramos un entero menor que n para el que no
se cumplira el teorema fundamental de la aritmetica.
Como p
1
divide a q
1
1
q
h
h
, por el corolario anterior sabemos que p
1
divide a
q
1
, lo cual es imposible porque q
1
es primo y distinto de p
1
, o divide a q
1
1
1
q
2
2
q
h
h
.
Iteramos el argumento sucesivamente hasta llegar a una contradiccion.
Observaci on 1.1.6. El teorema fundamental de la aritmetica puede parecer demasi-
ado obvio. Eso es debido a que el anillo Z no nos deja ver el bosque de los demas
anillos.
Consideremos por ejemplo el anillo de los enteros Z[
5] = a + b
5 :
a, b Z. Los enteros 1 + 2
5, 1 2
5, 3 y 7 son primosdiferentes en ese

anillo y sin embargo (1 + 2
5)(1 2
5) = 3 7.
En este anillo no se cumple el teorema fundamental de la aritmetica.
4 CAP
ITULO 1. N

1.2. Algunos resultados acerca de la distribucion
de los n umeros primos
Mathematicians have tried in vain to discover some order in the sequence of
prime numbers but we have every reason to believe that there are some mysteries
which the human mind will never penetrate. L. Euler (1770).
La sucesion de los n umeros primos ha interesado a los matematicos a lo largo
de su historia. De una manera sencilla pueden formularse preguntas acerca de este
conjunto de n umeros cuya respuesta es muy difcil. Por ejemplo, Existe una formula
explcita para la funcion f(n) = p
n
=enesimo n umero primo?, Hay alguna funcion
elemental f tal que f(n) sea primo para todo n?
Es claro que una respuesta positiva a estas preguntas nos dara informacion
acerca de como los n umeros primos aparecen en la sucesion de los n umeros naturales.
El polinomio f(x) = x
2
x+41 toma valores primos para n = 0, 1, . . . , 40, sin
embargo f(41) = 41
2
.
Fermat conjeturo que todos los n umeros de la forma F
n
= 2
2
n
+1 son primos.
Los cuatro primeros F
1
= 5, F
2
= 17, F
3
= 257 y F
4
= 65537 lo son, pero Euler
probo que F
5
= 641 6700417 es compuesto y, por tanto, que la conjetura de Fermat
es falsa. Es mas, nadie ha podido encontrar hasta ahora otro primo de Fermat.
Pero tampoco nadie ha podido demostrar que hay innitos n umeros compuestos de
Fermat.
El n umero de Fermat mas peque no para el que no se conoce si es primo o
compuesto es F
33
, y el n umero compuesto de Fermat mas grande que se conoce es
F
2478782
, que es divisible por 3 2
2478782
+ 1.
Existe para cada entero positivo n un n umero primo tal que n < p 2n?,
Es todo n umero par mayor que dos la suma de dos primos?. La primera de estas
preguntas es conocida bajo el nombre de Postulado de Bertrand y fue contestada
por Chebychev en 1850. La segunda es la Conjetura de Goldbach y su respuesta nos
es a un desconocida.
Otro problema interesante es el de los primos gemelos. Por ejemplo: 3 y 5,
5 y 7, 11 y 13, 17 y 19, 29 y 31 etc. Existen innitas parejas de primos gemelos?
Formulado ya por los griegos, es uno de los problemas mas antiguos de la Matematica
que, sin embargo, todava espera su solucion.
El resultado basico acerca de la distribucion de los n umeros primos es conocido
bajo el nombre de Teorema de los N umeros Primos.
Sea x un n umero real positivo y designemos con (x) el n umero de primos
1.2. ALGUNOS RESULTADOS ACERCADE LADISTRIBUCI
ONDE LOS N
UMEROS PRIMOS5
menores o iguales que x; el teorema del n umero primo consiste en la igualdad:
(1.1) lm
x
(x)
x/ log x
= 1.
Legendre, en 1798, fue el primer matematico que conjeturo la igualdad anterior.
Por esas fechas Gauss estaba tambien interesado en el mismo problema y haba
construido tablas que incluan todos los primos entre 2 y 3,000,000. Utilizando esta
monta na de material experimental Gauss conjeturo que la densidad de primos en
un entorno del entero n es
1
log n
y, por lo tanto, el n umero de primos en el intervalo
(m, n) debera ser aproximadamente igual a
(1.2)
_
n
m
dx
log x
.
En sus tablas, Gauss encontro que entre 2,600,000 y 2,700,000 existen 6762 pri-
mos, mientras que el valor de la integral anterior entre esos dos valores es 6761, 332...
Chebychev, en sus intentos de probar la conjetura de Gauss-Legendre, de-
mostro que existen dos constantes positivas c y C, tales que 0 < c 1 C <
y
c
x
log x
(x) C
x
log x
para todo x 2.
Un avance enorme fue dado por B. Riemann quien redacto un famoso artculo acerca
de este problema en el a no 1850. La idea brillante de Riemann fue conectar el estudio
de la funcion (x) con el de la funcion (s) =
n=1
1
n
s
(la funcion zeta de Riemann),
denida para valores complejos de s. En particular, el comportamiento asintotico de
(x) cuando x tiende a innito esta relacionado con la ubicacion de los ceros de la
funcion zeta de Riemann (es decir, los puntos donde se anula esta funcion)
Sin embargo el plan de Riemann para demostrar el teorema de los n umeros
primos no pudo llevarse a acabo hasta mucho mas tarde, cuando se dispuso de
la teora de funciones analticas, de la cual Riemann fue uno de los fundadores
y de la que puede armarse que buena parte de sus resultados fueron obtenidos
para aplicarlos a problemas de la teora de n umeros. Durante la ultima decada del
siglo XIX, Hadamard y de la Vallee Poussin, independientemente, desarrollaron los
metodos de Riemann y al teora de funciones analticas para conseguir la primera
demostracion del teorema conjeturado por Gauss y Legendre. Sin embargo, una
de las propiedades que Riemann predijo acerca de (s) permanece todava sin ser
demostrada: la llamada Hipotesis de Riemann que asegura que todos los ceros no
reales de la funcion (s) tienen parte real = 1/2. Digamos que, cuanto mas precisa
es la informacion acerca de los ceros de (s), tanto mas precisa es la estimacion que
podemos obtener de la diferencia
(x)
_
x
2
dt
log t
.
6 CAP
ITULO 1. N

La hipotesis de Riemann, junto con el problema P = NP y el problema
de Navier-Stokes, constituye la triloga de problemas abiertos mas famosa de la
matematica de principios de este siglo.
1.2.1. Desde Euclides hasta Euler
Proposicion 1.2.1. Existen innitos n umeros primos
Demostracion 1 (Euclides). Supongamos que solo hay un n umero nito de primos
p
1
, p
2
, . . . , p
n
. Cualquier primo q que divida a m = p
1
p
n
+ 1 tiene que dividir
tambien a p
1
p
n
y por lo tanto a la diferencia, que es 1.
Demostracion 2 (Polya). Esta demostracion esta basada en el hecho de que los
n umeros de Fermat son primos entre s. Por lo tanto al menos hay tantos primos
como n umeros de Fermat; es decir innitos.
Si m es par, entonces
x
m
1
x+1
= x
m1
x
m2
+ 1. Para x = 2
2
n
y m = 2
k
tenemos que
F
n+k
2
F
n
=
x
m
1
x+1
es un entero, luego F
n
[ F
n+k
2. Entonces cualquier
divisor de F
n
y F
n+k
debe ser tambien un divisor de F
n+k
2 y por lo tanto de 2.
Como los F
n
son impares necesariamente el unico divisor com un posible es el 1.
Demostracion 3. Supongamos que existe un n umero nito de primos p
1
, . . . , p
k
. To-
dos los enteros positivos menores que x se tendran que escribir de la forma p
1
1
p
k
k
para algunos enteros 0
i
log x/ log p
i
log x/ log 2. Entonces el n umero de
posibles p
1
1
p
k
k
menores que x es a lo mas (1 + log x/ log 2)
k
, que es claramente
menor que x si x es sucientemente grande.
Teorema 1.2.2. (Euler) La suma de los inverso de los primos es innita
p
1
p
= .
Demostracion. Euler denio la funcion (s) =
n=1
1
n
s
para todo n umero real s > 1,
y observo la siguiente identidad
p
_
1
1
p
s
_
1
=
n=1
1
n
s
Para demostrar esto ultimo observemos que
_
1
1
p
s
_
1
= 1 +
1
p
s
+
1
p
2s
+
1
p
3s
+
y que al considerar el producto cuando recorremos todos los primos p obtenemos
ONDE LOS N
UMEROS PRIMOS7
una suma innita de la forma
1
n
s
sobre el 1 y todos los enteros que son producto
de potencias de primos. Es decir, sobre todos los enteros positivos. Ademas, como
la factorizacion en primos es unica salvo el orden de los factores, cada n aparece
solamente una vez en el sumatorio.
Tomando logaritmos en la identidad tenemos
p
log
_
1
1
p
s
_
= log
_

n=1
1
n
s
_
.
Ahora tenemos en cuenta que log(1 x) x2x
2
para 0 < x 1/2 para deducir
que
p
1
p
s
log
_

n=1
1
n
s
_
2
p
1
p
2s
.
Cuando s 1 el segundo sumatorio del segundo termino esta acotado pero el
primero no lo esta debido a la divergencia de la serie armonica. Luego la suma de
los inversos de los primos tiene que ser tambien divergente.
Esta demostracion de Euler es un hito en el desarrollo de la teora y fue la
base sobre la que B. Riemann construyo el plan antes mencionado. Que la serie de
los recprocos de los primos sea divergente nos da mas informacion sobre la sucesion
de los n umeros primos que el mero hecho de la existencia de innitos de ellos.
Es el momento de se nalar que Viggo Brun demostro que la suma de los inversos
de los primos gemelos es convergente,
(1.3)
p, p+2=p
1
p
< +,
aunque, como mencionamos antes, es un problema abierto saber si existen innitos
de ellos.
1.2.2. El teorema de Chebychev
Aunque el metodo de Chebychev, de caracter elemental, no fue lo suciente-
mente poderoso como para demostrar el teorema del n umero primo, s lo fue para
demostrar que el orden de magnitud de (x) era el que se pronosticaba.
Chebychev observo que los factoriales y los n umeros combinatorios escondan
mucha informacion sobre los n umeros primos. Esto lo podemos apreciar en los dos
lemas siguientes, que van a ser piezas claves en la demostracion del teorema de
Chebychev.
8 CAP
ITULO 1. N

Lema 1.2.3. Para todo entero positivo n 2 se tiene que
pn
p < 4
n
.
Demostracion. Lo haremos por induccion sobre n. Es claro para n = 2 y supongamos
que es cierto para todo entero menor que n.
Si n es par, claramente
pn
p =
pn1
p < 4
n1
< 4
n
.
Si n = 2k + 1 es impar, la observacion crucial es que el producto
k+1<p2k+1
p
divide (y como consecuencia es menor) al n umero combinatorio
_
2k + 1
k + 1
_
=
(2k + 1)(2k) (k + 2)
1 k
ya que cada primo involucrado en el producto divide al numerador pero no al de-
nominador.
Por otra parte, como el n umero combinatorio
_
2k+1
k+1
_
=
_
2k+1
k
_
aparece dos veces
en el desarrollo de (1 + 1)
2k+1
, es en particular menor o igual que 4
k
, la mitad del
valor de esta ultima expresion. Finalmente utilizamos la hipotesis de induccion para
llegar a
pn
p =
pk+1
p
k+1<p2k+1
p < 4
k+1
4
k
= 4
2k+1
= 4
n
.
Lema 1.2.4 (Legendre). El exponente del primo p en al factorizacion de n! es
exactamente
k
_
n
p
k
_
Demostracion. Para todo x real llamemos e
p
(x) al exponente de p en x|! = 1
2 x|. Ya que solo los m ultiplos de p en este producto colaboran en el exponente
e
p
(x), si escribimos el producto de estos m ultiplos como p (2p) (
x
p
|p) = p
x
p
x
p
|!
podemos ver que
e
p
(x) =
_
x
p
_
+ e
p
_
x
p
_
=
_
x
p
_
+
_
x
p
2
_
+ e
p
_
x
p
2
_
= =
k
_
x
p
k
_
.
ONDE LOS N
UMEROS PRIMOS9
Corolario 1.2.5. El exponente de p en
_
2n
n
_
es
s
p
=
k1
__
2n
p
k
_
2
_
n
p
k
__
_
log(2n)
log p
_
.
Demostracion. Es consecuencia inmediata del lema anterior y de la observacion de
que [2y] 2[y] es 0 o 1 para todo y > 0. La desigualdad se deduce del hecho de que
si k > log(2n)/ log p, todas las partes enteras involucradas valen cero.
Teorema 1.2.6 (Chebychev). Existen constantes positivas 0 < c 1 C <
tales que para todo x 2,
(1.4) c
x
log x
(x) C
x
log x
.
Demostracion. Separando los primos menores que
n en el lema 1.2.2 tenemos que

(
n)
(n)(
n)
n<pn
p 4
n
.
Tomando logaritmos y observando que (
n)
n vemos que
(n) (2 log 4)
n
log n
+ (
n)
_
2 log 4 +
log n
n
_
n
log n
4
n
log n
.
Para la cota inferior observemos primero que, como
_
2n
n
_
es el termino mas
grande de los 2n + 1 terminos del desarrollo de Newton de (1 + 1)
2n
entonces,
(1.5)
2
2n
2n + 1

_
2n
n
_
.
El corolario 1.2.5 nos permite deducir que
2
2n
2n + 1

_
2n
n
_
p2n
p
log(2n)/ log p
= (2n)
(2n)
.
Tomando logaritmos,
(2n)
(2 log 2)n log(2n + 1)
log(2n)
.
Finalmente, para cualquier n umero real x se obtiene
(x) (2[x/2])
(2[x/2] + 1) log 2 log(2[x/2] + 1)
log(2[x/2])
(1.6)
(x 1) log 2 log(x + 1)
log x
. (1.7)
10 CAP
ITULO 1. N

Esta ultima cantidad es mayor que
x
2 log x
para todo x > 100, y para los x 100 se
puede comprobar a mano que tambien es cierto que (x)
x
2 log x
.
Teorema 1.2.7 (Postulado de Bertrand). Para todo n > 1 existe un n umero primo
p tal que n < p < 2n.
Demostracion. Empecemos demostrando que si
2
3
n < p n entonces s
p
= 0, donde
s
p
era el exponente de p en
_
2n
n
_
. Como p
2
> 2n, todas las partes enteras de los
terminos del sumatorio en el corolario 1.2.5 se anulan si k 2. Es decir, s
p
=
_
2n
p
_
2
_
n
p
_
. Pero en el rango que nos ocupa
_
2n
p
_
= 2 y
_
n
p
_
= 1.
Por lo tanto, si no hubiera ning un primo p tal que n < p < 2n, tendramos
4
n
2n + 1

_
2n
n
_
=
p2n/3
p
s
p
=
2n
p
s
p
2n<p2n/3
p
s
p
2n
(2n)
2n<p2n/3
p
(2n)
2n
4
2n/3
,
donde en el pen ultimo paso hemos utilizado el corolario 1.2.5 y en el ultimo, el lema
1.2.2.
Tomando logaritmos llegamos a la desigualdad
log 4
3

2 log(2n)
n
+
log(2n + 1)
n
que es falsa para n 500. Para los n < 520 observemos que al sucesion de primos
2, 3, 5, 7, 13, 23, 43, 83, 163, 317, 521 tienen la propiedad de que cada uno es mayor
que su antecesor pero menor que su doble.
En una memoria publicada en el a no 1850 Chebychev introdujo la funcion:
(x) =
px
log p,
donde la suma esta tomada tomada sobre todos los primos p menores o iguales que
x, y Riemann, en su famosa memoria por razones tecnicas que se entender an mas
tarde, considero la funcion
(x) =
p
m
x
log p
1.3. EJERCICIOS DEL CAP
ITULO 1 11
donde en este caso la suma esta extendida sobre todas las combinaciones de un
primo p con un entero positivo m, tales que p
m
x.
Teorema 1.2.8. Los tres cocientes
(x)
x
,
(x)
x
,
(x)
x/ log x
tienen los mismos lmites de indeterminacion cuando x .
Demostracion. Sean
A
1
= lmsup
x
(x)
x
, A
2
= lmsup
x
(x)
x
, A
3
= lmsup
x
(x)
x/ log x
a
1
= lminf
x
(x)
x
, a
2
= lminf
x
(x)
x
, a
3
= lminf
x
(x)
x/ log x
.
Tenemos que
(x) (x) =
px
log p
m,
p
m
x
1
px
log p
_
log x
log p
_
(log x)(x).
Por lo tanto
(x)
x

(x)
x

(x)
x/ log x
para todo x. Es decir, A
1
A
2
A
3
.
Por otro lado, consideramos la funcion auxiliar (x) =
2 log log x
log x
, que en partic-
ular satisface que x
(x)
= log
2
x y tenemos que
(x)
x
1(x)
<px
log p
_
(x) (x
1(x)
)
_
log(x
1(x)
).
Y como (x
1
) x
1(x)
, obtenemos la relacion
(x)
x
(1 (x))
_
(x)
x/ log x

log x
x
(x)
_
(1 (x))
(x)
x/ log x

1
log x
.
Tomando lmites superiores obtenemos que A
3
A
1
. Por tanto A
1
= A
2
= A
3
. La
identidad a
1
= a
2
= a
3
se demuestra de manera analoga.
1.3. Ejercicios del captulo 1
1.3.1. D. Pedro le dijo a D. Sixto: Tengo tres hijas, el producto de sus edades es 36,
y la suma el n umero de tu portal.
12 CAP
ITULO 1. N

Me falta un dato, dijo D. Sixto.
Tienes razon. La mayor toca el piano, aclaro D. Pedro.
Que edades tenan las hijas de D. Pedro?
1.3.2. La Real Sociedad Matematica Espa nola todos los a nos invita a sus socios
a su congreso anual. Este a no el 27, 181818.. % de los asistentes eran mujeres, el
55, 555... % eran mayores de 30 a nos y el 37 % llevaron alg un libro de matematicas.
Sabiendo que el n umero de socios no es mayor que 15,000, Podras calcular el
n umero de asistentes?
1.3.3. Determinar una condicion necesaria y suciente para que la suma de los n
primeros n umeros naturales divida a su producto.
1.3.4. Encontrar todas las ternas de enteros positivos a, b, c tales que (a, b, c) = 10
y [a, b, c] = 100.
1.3.5. Probar que (a
2
, b
2
) = (a, b)
2
.
1.3.6. Probar que si (a, b) = 1 y ab es un cuadrado, entonces a y b tambien son
cuadrados.
1.3.7. Demostrar que (2
a
1, 2
b
1) = 2
(a,b)
1 para todo a y b.
1.3.8. He comprado bolgrafos a 101 pesetas y rotuladores a 140 pesetas. Si me he
gastado en total 2993 pesetas, cuantos he comprado de cada?
1.3.9. Dar una condicion necesaria y suciente para que con dos cantaras de m y
n litros se puedan medir l litros a la orilla de un rio.
1.3.10. Sea S un conjunto de n enteros no necesariamente distintos. Demostrar que
alg un subconjunto no vaco de S posee una suma divisible por n.
1.3.11. Demostrar que todo n primo con 10 tiene innitos m ultiplos cuyos dgitos
en base 10 son todos unos.
1.3.12. Demostrar que si 5
n
y 2
n
empiezan por la misma cifra en su expresion
decimal, entonces dicha cifra es 3.
1.3.13. Sea r un entero positivo. Demostrar que
n
k=1
k
r
=
n
r+1
r + 1
+ Q
r
(n),
donde Q
r
(n) es un polinomio de grado r con coecientes racionales.
ITULO 1 13
1.3.14. Demostrar que p
n+1
p
1
p
2
p
n
+ 1 para todo n 1. Demostrar por
induccion que p
n
2
2
n
. Deducir que (x) log
2
log
2
x 1, x 2.
1.3.15. Demostrar que existen innitos primos de la forma 4n + 3 y de la forma
6n + 5.
1.3.16. Demostrar que F
n
=
n1
i=0
F
i
+ 2. Deducir que (F
m
, F
n
) = 1 para n ,= m y
de aqu la existencia de innitos primos.
1.3.17. Demostrar que para todo > 0 y para todo > 0, existen a, b tales que
[
a
b
[ < y a + b es primo. Demostrar que este resultado es equivalente a la
existencia de innitos n umeros primos.
n
+ 1 es primo, entonces n es cero o una potencia de 2.
n
1 es primo, n ha de ser primo.
1.3.20. Demostrar que n
4
+ 4 solo es primo para n = 1.
1.3.21. Demostrar que un polinomio P(n) con coecientes enteros no puede ser
primo para todo n.
1.3.22. Sea =
n1
p
n
10
n
2
, donde p
n
es el primo enesimo. Demostrar que tiene
la propiedad de que p
m
= [10
m
2
] 10
2m1
[10
(m1)
2
] para todo m.
1.3.23. Demostrar que lmsup
n
p
n+1
p
n
= , donde p
n
denota el primo n-
esimo. De otra manera, demostrar que para todo k, existen k n umeros compuestos
consecutivos.
1.3.24. Sea
2
(x) =n umero de primos gemelos menores o iguales que x. Sabiendo
que
2
(x) < C
x
log
2
x
para alguna constante positiva C, demostrar que la suma de los
inversos de los primos gemelos converge.
1.3.25. Demostrar que para todo x 2,
px
1
p
log log x 10.
1.3.26. Demostrar, utilizando el teorema de Chebychev, que si n > 6 entonces n
puede escribirse como suma de primos distintos.
1.3.27. Demostrar, utilizando el teorema de Chebychev, que si n > 1, entonces n!
no puede ser una k-potencia.
1.3.28. Probar que
n
j=1
1
j
no es entero si n > 1.
14 CAP
ITULO 1. N

1.3.29. En cuantos ceros acaba 371!?
1.3.30. Hallar todos los primos p tales que p, p + 4, p + 6, p + 10, p + 12, p + 16 y
p + 22 sean primos.
1.3.31. Un cuadrado de n n n umeros enteros se dice que es magico si la suma de
los n umeros de cada una de sus las o columnas, as como de cada una de las dos
diagonales principales, es el mismo. Encontrar un cuadrado magico 3 3 formado
todo por n umeros primos.
1.3.32. Probar que existen dos constantes positivas c y C tales que
cnlog n < p
n
< Cnlog n,
para todo n, donde p
n
es el primo enesimo.
1.3.33. Demostrar que
log 2 lminf
x
(x)
x/ log x
lmsup
x
(x)
x/ log x
2 log 2.
1.3.34. Mejorar alguna de las cotas del problema anterior utilizando otros n umeros
combinatorios.
En los ejercicios siguientes utilizamos la notacion f(x) g(x) para indicar que
lm
x
f(x)
g(x)
= 1.
1.3.35. Demostrar que p
n
nlog n es equivalente al teorema del n umero primo.
1.3.36. Sea la funcion Li(x) =
_
x
2
dt
log t
. Demostrar que Li(x) x/ log x.
1.3.37. Demostrar que el teorema del n umero primo es equivalente a que
log[1, 2, . . . , n] n.
Captulo 2
Funciones aritmeticas
En el captulo anterior hemos podido apreciar algunos aspectos de la Teora
de los N umeros y el tipo de problemas que pretende resolver. Ne debe extra nar
que ciertas funciones denidas sobre los naturales tengan en ella una importancia
capital, tanto por su utilidad como por ser un objeto de estudio en s mismas.
Estas funciones, reales o complejas, son las funciones aritmeticas.
2.1. Funciones aritmeticas mas comunes
2.1.1. Propiedades generales
Dentro de todas las funciones aritmeticas hay unas que merecen especial aten-
cion por la importancia de sus propiedades y porque engloban a la mayora de las
funciones aritmeticas interesantes: son las funciones multiplicativas.
Denicion 2.1.1. Diremos que una funcion f es multiplicativa si f(nm) = f(n)f(m)
siempre que (n, m) = 1.
Denicion 2.1.2. Diremos que una funcion f es completamente multiplicativa si
f(nm) = f(n)f(m) para todo n, m.
Observemos que si n = p
1
1
p
k
k
y f es una funcion multiplicativa entonces
f(n) =
i
f(p
i
i
).
Proposicion 2.1.3. Si f(n) es una funcion multiplicativa entonces g(n) =
d|n
f(d)
tambien lo es.
15
16 CAP
ITULO 2. FUNCIONES ARITM
ETICAS
Demostracion. Observemos que si (m, n) = 1, todo divisor d de mn ha de ser de la
forma d = d
1
d
2
donde d
1
y d
2
han de ser divisores de m y n respectivamente. De
igual manera, cada pareja de divisores de m y n nos da un divisor de mn. Entonces
tenemos
g(mn) =
d|mn
f(d) =
d
1
|m
d
2
|n
f(d
1
d
2
) =
_
_
d
1
|m
f(d
1
)
_
_
_
_
d
2
|n
f(d
2
)
_
_
= g(m)g(n).
Ahora centraremos nuestra atencion sobre las funciones aritmeticas mas in-
teresantes, empezando con la funcion divisor.
2.1.2. La funcion divisor
La funcion divisor d(n) se dene como el n umero de divisores de n:
d(n) =
d|n
1.
Si n = p
1
1
p
r
r
, los divisores de n son de la forma d = p
1
1
p
r
r
, 0
i

i
, i =
1, . . . , r.
Proposicion 2.1.4. La funcion d(n) es multiplicativa.
Demostracion. Es una consecuencia inmediata de la proposicion 2.1.3
Corolario 2.1.5. Si n = p
1
1
p
r
r
entonces d(n) =
i
(1 +
i
).
Demostracion. Como la funcion divisor es multiplicativa entonces d(n) =
i
d(p
i
i
) =
i
(1 +
i
).
2.1.3. La funcion , los n umeros perfectos y los primos de
Mersenne
La funcion se dene de la forma
(n) =
d|n
d.
Como la funcion f(n) = n es multiplicativa, el siguiente resultado se sigue tambien
de la proposicion 2.1.3.
2.1. FUNCIONES ARITM
ETICAS M
AS COMUNES 17
Proposicion 2.1.6. La funcion es multiplicativa.
Proposicion 2.1.7. Si n =
r
i=1
p
i
i
, entonces
(n) =
r
i=1
p
i
+1
i
1
p
i
1
.
Demostracion. Al ser una funcion multiplicativa es suciente demostrar que (p
i
i
) =
p
i
+1
1
1
p
i
1
.
(p
i
i
) = 1 + p
i
+ p
2
i
+ + p
i
i
=
p
i
+1
i
1
p
i
1
.
Con la funcion esta relacionado el clasico problema de los n umeros perfectos.
Decimos que un entero positivo n es perfecto si la suma de sus divisores menores
que n coincide con n. Es decir, si (n) = 2n. El primer n umero perfecto es el 6 cuyos
divisores son 1, 2, 3 y 6. El siguiente es 28 = 1 + 2 + 4 + 7 + 14.
El siguiente teorema caracteriza los n umeros pares perfectos.
Teorema 2.1.8. Un n umero par es perfecto si y solo si n = 2
m1
(2
m
1) con 2
m
1
primo.
Demostracion. Si 2
m
1 es primo entonces (n) = (2
m1
)(2
m
1) = (2
m
1)2
m
=
2n y n es un n umero perfecto.
Por otro lado, si n es par, n se puede escribir de la forma n = 2
m1
s con s
impar y m 2. Por ser n un n umero perfecto tenemos que
2
m
s = 2m = (n) = (2
m1
)(s) = (2
m
1)(s).
Entonces (s) = s +
s
2
m
1
. Como (s) es un entero, 2
m
1 tiene que ser un divisor
de s y por lo tanto
s
2
m
1
tambien.
Ya que (s) es la suma de todos los divisores de s, entonces s y
s
2
m
1
han de
ser los unicos divisores de s. Es decir
s
2
m
1
= 1 y ademas s tiene que ser primo.
Aunque en este teorema han quedado perfectamente caracterizados los n umeros
perfectos pares, es un problema abierto responder a la pregunta de si existen inni-
tos n umeros pares perfectos, que es lo mismo que responder sobre la existencia de
innitos primos de la forma 2
m
1, los llamados primos de Mersenne.
Tambien se desconoce la existencia de n umeros perfectos impares. No se ha
encontrado ninguno pero no se ha demostrado que no existan.
18 CAP
ETICAS
2.1.4. La funcion de Moebius
Una de las funciones aritmeticas mas importantes en la teora analtica de
los n umeros es la funcion de Moebius. Aunque la primera denicion de la funcion
pueda resultar algo articial en un principio, aparece de manera natural cuando, por
ejemplo, se trata de contar el n umero de primos menores que una cantidad dada.
Esto lo veremos posteriormente.
La funcion de Moebius (n) se dene de la siguiente manera:
(n) =
_
_
1 si n = 1,
(1)
k
si n es el producto de k primos distintos
0 si n tiene alg un divisor cuadrado mayor que 1.
Proposicion 2.1.9. La funcion (n) es multiplicativa.
Demostracion. Si (m, n) = 1 entonces m = p
1
1
p
r
r
y n = q
1
1
q
s
s
con los p
i
distintos de los q
j
.
Si alguno de los
i
o de los
j
es mayor que 1, entonces m o n tienen alg un
divisor cuadrado que tambien lo sera de mn. En este caso (mn) = (m)(n) = 0.
Si
1
= =
r
=
1
= =
s
= 1 entonces (m) = (p
1
p
r
) = (1)
r
,
(n) = (q
1
q
s
) = (1)
s
y (p
1
p
r
q
1
q
s
) = (1)
r+s
.
Proposicion 2.1.10.
d|n
(d) =
_
1, si n = 1
0, si n > 1
.
Demostracion. Al ser (n) multiplicativa, la funcion g(n) =
d|n
(d) tambien lo es
y por lo tanto, si n > 1, g(n) =
p|n
g(p
. Pero si p es primo, g(p
) =
d|p
(d) =
(1) + (p) + (p
2
) + + (p
) = 1 1 + 0 + + 0 = 0.
2.1.5. La funcion de Euler
La funcion (n) se dene como el n umero de enteros positivos primos con n y
menores o iguales que n.
Proposicion 2.1.11. La funcion (n) es multiplicativa.
Demostracion. Por la proposicion 2.1.10, la funcion (n) tambien se puede escribir
como
(n) =
kn
d|(k,n)
(d).
ETICAS M
AS COMUNES 19
Reordenando las sumas tenemos
(n) =
d|n
(d)
n
d
= n
d|n
(d)
d
.
La demostracion se termina con la observacion de que al ser (d) multiplicativa,
tambien lo es
(d)
d
. Entonces la funcion
(n)
n
, y por tanto la funcion (n), es multi-
plicativa.
Corolario 2.1.12.
(n) = n
p|n
_
1
1
p
_
Demostracion. Solamente hay que observar que
(n)
n
es multiplicativa y que
(p
)
p
=
p
p
1
p
= 1
1
p
.
Proposicion 2.1.13.
d|n
(d) = n.
Demostracion. La funcion g(n) =
d|n
(d) es multiplicativa. Por lo tanto solo hay
que demostrar que g(p
m
) = p
m
para todo primo p y para todo entero positivo m,
Esto es,
g(p
m
) =
d|p
m
(d) = (1) + (p) + (p
2
) + + (p
m
) =
= 1 + (p 1) + (p
2
p) + + (p
m
p
m1
) = p
m
.
2.1.6. Promedio de funciones aritmeticas
En general, las funciones aritmeticas se comportan de un modo bastante irreg-
ular. Los valores d(n), (n), (n) no dependen tanto de la magnitud de n como de
su factorizacion en n umeros primos.
Tiene por tanto mayor sentido preguntarse por el comportamiento de dichas
funciones en media. Veremos por ejemplo que
D(x) =
nx
d(n) x log x
20 CAP
ETICAS
y que
(x) =
nx
(n)

2
6
x
2
.
El siguiente teorema va a ser una herramienta importante para estimar sumas por
medio de integrales.
Teorema 2.1.14 (Identidad de Abel). Para toda funcion aritmetica a(n), sea A(x) =
nx
a(n) y sea f una funcion con derivada continua en [1, ). Entonces tenemos
nx
a(n)f(n) = A(x)f(x)
_
x
1
A(t)f
(t)dt.
Demostracion. Utilizaremos el hecho de que a(n) = A(n) A(n 1) y que f(n)
f(n 1) =
_
n
n1
f
(t)dt. Denimos tambien a(0) = 0 y k = x|.
1nk
a(n)f(n) =
1nk
(A(n) A(n 1)) f(n)
=
1nk
A(n)f(n)
0nk1
A(n)f(n + 1)
=
1nk1
A(n) (f(n) f(n 1)) + A(k)f(k)
=
1nk1
A(n)
_
n+1
n
f
(t)dt + A(k)f(k)
=
_
k
1
A(t)f
(t)dt + A(x)f(x)
_
x
k
A(t)f
(t)dt
= A(x)f(x)
_
x
1
A(t)f
(t)dt.
En los calculos posteriores nos va a interesar el orden de magnitud de algunas
funciones mas que su valor exacto. Para ello introducimos la siguiente notacion:
Notacion:
a) f(x) = O(g(x)) cuando x si existe una constante positiva C tal que
[f(x)[ C[g(x)[ para x sucientemente grande.
b) f(x) = o(g(x)), cuando x si lm
x
f(x)
g(x)
= 0.
Analogamente se denen f(x) = O(g(x)) y f(x) = o(g(x)) cuando x x
0
.
ETICAS M
AS COMUNES 21
Tambien usaremos la notacion f(x) g(x) y la notacion f(x) g(x) para
indicar que existe una constante positiva C tal que f(x) Cg(x) y f(x) Cg(x)
respectivamente.
2.1.7. La constante de Euler
Proposicion 2.1.15.
n
k=1
1
k
= log n + + O(1/n),
donde es la constante de Euler.
Demostracion. Aplicaremos la identidad de Abel a la funcion aritmetica mas sencilla
de todas, a(n) = 1, y a la funcion f(x) =
1
x
para estimar las sumas parciales de la
serie armonica.
Dichas funciones cumplen las condiciones de la identidad de Abel con A(x) =
x| y f
(x) =
1
x
2
. Tenemos entonces que
n
k=1
1
k
=
A(n)
n
+
_
n
1
A(t)
t
2
dt = 1 +
_
n
1
t (t)
t
2
dt
= 1 + log n
_

1
(t)
t
2
dt +
_

n
(t)
t
2
dt.
Observemos que la ultima integral es O
_
1
n
_
. Entonces
lm
n
_
n
k=1
1
k
log n
_
= 1
_

1
(t)
t
2
dt.
Esta constante es la llamada de Euler:
= lm
n
_
n
k=1
1
k
log n
_
.
La constante de Euler es una de las constantes, como y como e, que aparecen
de una manera natural en las matematicas. Sin embargo se desconoce, por ejemplo,
si es un n umero racional o irracional.
22 CAP
ETICAS
2.1.8. Formulas de Mertens
Teorema 2.1.16.
a)
px
log p
p
= log x + O(1), x
b)
px
1
p
= log log x + B + O
_
1
log x
_
, x
Demostracion. En la prueba de estas leyes asint oticas vamos a utilizar la formula
log(m!) = mlog mm + O(log m),
que la podemos deducir comparando log(m!) con la integral
_
m
1
log tdt = mlog m
m, ya que la diferencia
k=1
log k
_
m
1
log tdt
k=1
log k
_
k
k1
log tdt
k=2
[log k log(k 1)[
m
k=1
O(1/k) = O(log m)
a) Por el lema 1.2.4 sabemos que m! =
pm
p
p
, donde
p
=
m
p
|+
m
p
2
|+ .
Tomando logaritmos obtenemos la relacion:
log(m!) =
pm
_
m
p
_
log p +
pm
_
k2
_
m
p
k
_
log p
_
= m
pm
log p
p
+
pm
__
m
p
_
m
p
_
log p + O(m)
= m
pm
log p
p
+ O
_
pm
log p
_
+ O(m).
Teniendo en cuenta que log(m!) = mlog m+O(m) y que
pm
log p (log m)(m) =
O(m), resulta que:
mlog m + O(m) = m
pm
log p
p
+ O(m).
Es decir,
pm
log p
p
= log m + O(1).
ETICAS M
AS COMUNES 23
b) La segunda suma la escribimos de la forma
px
1
p
=
px
1
log p
log p
p
=
nx
1
log n
a(n),
donde a(n) =
log p
p
si n es primo y a(n) = 0 en caso contrario.
Estamos en condiciones de aplicar el lema de sumacion de Abel:
px
1
p
=
1
log x
A(x) +
_
x
2
A(t)
t(log t)
2
dt,
donde
A(t) =
nt
a(n) =
pt
log p
p
= log t + O(1)
por el resultado anterior.
Tenemos que:
_
x
2
A(t)
t(log t)
2
dt =
_
x
2
dt
t log t
+
_
x
2
A(t) log t
t(log t)
2
dt = I
1
+ I
2
.
I
1
=
_
x
2
dt
t log t
= log log x log log 2.
I
2
=
_

2
A(t) log t
t(log t)
2
dt
_

x
O(1)
t(log t)
2
dt
=
_

2
A(t) log t
t(log t)
2
dt + O
_
1
log x
_
.
Por lo tanto,
px
1
p
= log log x + B + O
_
1
log x
_
,
donde
B = 1 log log 2 +
_

2
A(t) log t
t(log t)
2
dt.
Observaci on 2.1.17. Puede demostrarse que la constante B tiene la forma sigu-
iente:
B = +
p
_
log
_
1
1
p
_
+
1
p
_
,
24 CAP
ETICAS
2.1.9. La funcion r(n). Puntos de coordenadas enteras sobre
circunferencias
Dado un entero positivo n, se dene r(n) como el n umero de sus representa-
ciones como suma de dos cuadrados.
r(n) = #n = t
2
+ s
2
: s, t Z.
Por ejemplo 1 = (1)
2
+ 0
2
= 0
2
+ (1)
2
y, por tanto r(1) = 4. De igual manera
tenemos r(2) = 4, r(3) = 0, r(4) = 4, r(5) = 8, r(6) = 0, r(7) = 0, r(8) = 4, etc..
Basta echar una ojeada a una tabla de valores de r(n) para percibir su caracter
irregular. Por ello es razonable denir la funcion
R(n) =
n
k=1
r(k)
de tal manera que
R(n)
n
sea un promedio de r(k) y esperar que esta nueva funcion
tenga una distribucion de valores mas regular.
Ambas funciones tienen una representaci on muy sencilla en trminos del retculo
fundamental:
r(n) = n umero de puntos del retculo Z
2
(de coordenadas enteras) que estan
situados sobre la circunferencia de radio

n y centro el origen.
R(n) = n umero de puntos de coordenadas enteras situados en el crculo de
centro el origen y radio

n.
El siguiente resultado, debido a Gauss, nos da el orden de magnitud de la
funcion R(n) para valores grandes del entero n.
Teorema 2.1.18.
R(n) = n + O(
n).
Demostracion. A cada punto de coordenadas enteras le asociamos el cuadrado de
area uno, Q
, que le tiene como vertice suroeste. El n umero R(n) es igual al area

de la region F del plano formada por la union de los cuadrados Q
tales que
esta dentro del crculo x
2
+ y
2
n.
Este area no es exactamente igual al area del crculo de radio
n, pues algunos
de los cuadrados escogidos tienen parte fuera del crculo, mientras que quedan por-
ciones dl crculo sin recubrir.
Sin embargo podemos trazar dos crculos C
1
y C
2
centrados en el origen y de
radios respectivos

n
2 y

n +
2 tales que
C
1
F C
2
.
ETICAS M
AS COMUNES 25
Por lo tanto, (
2)
2
R(n) (
n +
2)
2
, lo cual implica que R(n) =
n + O(
n).
Este resultado fue obtenido por Gauss a principios del siglo pasado. En torno
al a no 1906, W. Sierpinski demostro que el error E(n) = [R(n) n[ era O(n
1/3
). El
mejor resultado hasta la fecha se debe a Iwaniec: E(n) = O(n
7
22
+
) para todo > 0.
En el otro sentido Hardy y Landau probaron que la relacion E(n) = O(n
1/4
)
es falsa. Es un famoso problema de la teora de los n umeros encontrar el orden de
magnitud exacto del error E(n). Es cierto que E(n) = O(n
1/4+
) para todo > 0?
2.1.10. Promedio de la funcion divisor
La funcion d(n) ha sido estudiada en el captulo anterior. Analogamente al
caso anterior, consideramos,
D(n) =
n
k=1
d(k).
EL cociente
D(n)
n
mide el n umero de divisores que, en promedio, tiene un n umero
comprendido entre 1 y n.
Veamos la interpretacion geometrica: d(n) es el n umero de puntos de coorde-
nadas enteras del primer cuadrante que estan sobre la hiperbola xy = n y D(n) es el
n umero de puntos que se encuentran en la region R comprendida entre la hiperbola
xy = n y las rectas x = 1, y = 1.
Teorema 2.1.19.
D(n) = nlog n + (2 1)n + O(
n)
Demostracion.
D(n) =
kn
d(k) =
kn
ab=k
1 =
abn
1
=
abn
a
n
1 +
abn
b
n
1
abn
a,b
n
1 = 2
abn
a
n
[
n]
2
= 2
n
_
n
a
_
n + O(
n) = 2
n
n
a
n + O(
n)
= 2nlog(
n) + 2n n + O(
n).
26 CAP
ETICAS
2.1.11. Puntos visibles desde el origen
Un punto de coordenadas enteras es visible desde el origen si el segmento
rectilneo que une dicho punto con el origen no contiene a ning un otro.
Es facil observar que el punto de coordenadas enteras (a, b) es visible desde el
origen si y solo si (a, b) = 1.
Consideremos la region cuadrada del plano 1 x r, 1 y r.
Sea N(r) el n umero de puntos de coordenadas enteras en este cuadrado y sea
N
(r) el n umero de ellos que son visibles desde el origen.

El cociente
N
(r)
N(r)
mide la proporcion de puntos del cuadrado que son visibles
desde el origen.
Teorema 2.1.20. El conjunto de coordenadas enteras visibles desde el origen tiene
densidad
6
2
.
Demostracion. Por simetra tenemos que
N
(r) = 1 + 2
1nr
1mn
(m,n)=1
1 = 1 + 2
1nr
(r)
donde es la funcion de Euler.
Recordando que (n) =
d|n
(d)
n
d
y reordenando las sumas tenemos
nr
(n) =
nr
d|n
(d)
n
d
=
nr
q,d
qd=r
(d)q
=
q,d
qdr
(d)q =
dr
(d)
q[r/d]
q =
dr
(d)
_
[r/d]([r/d] + 1)
2
_
=
dr
(d)
_
r
2
d
2
+ O(
r
d
)
_
=
r
2
2
dr
(d)
d
2
+ O
_
r
dr
1
d
_
=
r
2
2
d=1
(d)
d
2

r
2
2
d>r
(d)
d
2
+ O
_
r
dr
1
d
_
=
r
2
2
d=1
(d)
d
2
+ O(r log r).
Para calcular la constante
d=1
(d)
d
2
volvamos a la identidad de Euler comentada
en el captulo 1.
ITULO 2 27
Si s > 1 tenamos que (s) =
n=1
1
n
s
=
p
_
1
1
p
s
_
1
. Entonces
1
(s)
=
p
_
1
1
p
s
_
=
n=1
(n)
n
s
.
Es bien conocido que (2) =

2
6
. Asumiendo este hecho, tenemos que
nr
(n) =
3
2
r
2
+ O(r log r).
Obviamente N(r) = r
2
+ O(r). Luego
N
(r)
N(r)
=
6
2
r
2
+ O(r log r)
r
2
+ O(r)
=
6
2
+ O
_
log r
r
_
1 + O
_
1
r
_ .
Haciendo tender r a innito obtenemos el teorema.
2.2.1. El conserje de un hotel cierra todas las puertas el primer da, el segundo abre
las pares, el tercer da vuelve (si estaba abierta la cierra y viceversa) las m ultiplos
de 3, el cuarto da las m ultiplos de 4, etcetera.
Que puertas quedaran cerradas al nal del proceso?
2.2.2. Demostrar que la funcion f(n) = [
n] [
n 1] es multiplicativa pero no
completamente multiplicativa.
2.2.3. Caracterizar los n umeros que tienen 60 divisores.
2.2.4. Demostrar que n es perfecto si y solo si
d|n
1
d
= 2.
2.2.5. Determinar los enteros n tales que
d|n
d = n
2
.
m|n
d(m
2
) = d
2
(n).
n=1
d(n)
n
2
=

4
36
.
28 CAP
ETICAS
2.2.8. Demostrar que, dado k 1, la suma de los inversos de los enteros positivos
con exactamente k divisores es convergente si y solo si k es impar.
2.2.9. Demostrar las identidades
d|n
d = n
d(n)/2
,
m|n
d
3
(m) =
_
_
m|n
d(m)
_
_
2
.
2.2.10. Demostrar que un n umero perfecto impar no puede ser de la forma p
,
p, q primos. Demostrar que tampoco de la forma p
, p, q, r primos.
2.2.11. Demostrar que para todo > 0 se tiene d(n) = O(n
). Demostrar tambien
que la estimacion d(n) = (log n)
r
no es cierta para ning un r.
mn
(m,n)=1
m =
n(n)
2
.
2.2.13. Calcular lmsup
n
(n)
n
y lminf
n
(n)
n
.
2.2.14. Demostrar que el conjunto
_
(n)
n
, n 1
_
es denso en el intervalo [0, 1].
2.2.15. Demostrar que (n) = O(nlog n).
1
2
<
(n)(n)
n
2
1.
2.2.17. Usar los dos ejercicios anteriores para concluir que (n) n/ log n.
2.2.18. Buscar todos los enteros tales que a) (n) =
n
2
, b) (n) = (2n), c) (n) =
12.
d
2
|n
(d) = [(n)[.
2.2.20. Sea g(n) =
d|n
f(d). Demostrar que f(n) =
d|n
(d)g(n/d).
2.2.21. La funcion de Mandgoldt se dene de la siguiente manera:
(n) =
_
log p, si n es una potencia de un primo p
0 en otro caso.
Demostrar que
d|n
(d) = log n y que
d|n
(d) log d = (n).
Demostrar tambien que
(s)
(s)
=
n=1
(n)
n
s
.
ITULO 2 29
2.2.22. Demostrar que para cada 0 < 1 se tiene el desarrollo asintotico
nx
1
n
=
x
1
1
+ c
+ O(x
)
para una constante c
.
2.2.23. Estimar el n umero de fracciones irreducibles en el intervalo [0, 1] con de-
nominador menor o igual que N.
2.2.24. Sea r
3
(n) = #n = x
2
+y
2
+z
2
: x, y, z Z. Hallar una formula asintotica
para R
3
(x) =
nx
r
3
(n).
2.2.25. Se dice que un entero positivo es libre de cuadrados si no es divisible por
ning un cuadrado mayor que 1. Utilizar el ejercicio anterior para estimar el n umero
de enteros positivos menores que x que son libres de cuadrados.
2.2.26. Hallar una formula asintotica para
nx
(n) donde (n) =
d|n
d.
30 CAP
ETICAS
Captulo 3
Congruencias
3.1. Clases residuales
En su obra Disquisitiones Arithmeticae, publicada en el a no 1801, Gauss in-
trodujo en las Matematicas el concepto de congruencia.
Supongamos que a, b y m > 0 son n umeros enteros. Diremos que a y b son
congruentes modulo m si m [ ab y designaremos esta situacion mediante el smbolo
a b (mod m).
La congruencia es una relacion de equivalencia puesto que verica las propiedades
reexiva, simetrica y transitiva. Por lo tanto podemos agrupar a los enteros en fa-
milias disjuntas de manera que dos n umeros son congruentes modulo m si y solo si
estan en la misma. Estas familias se denominan clases residuales modulo m, y se
designa por Z
m
al conjunto formado por ellas.
De la denicion anterior se deducen inmediatamente las siguientes propiedades.
Proposicion 3.1.1. Si a b (mod m) y c d (mod m), entonces
i) a + b c + d (mod m).
ii) ka kb (mod m) para todo entero k Z.
iii) ac bd (mod m).
iv) a
n
b
n
(mod m)
v) f(a) f(b) (mod m) para todo polinomio f con coecientes enteros.
Los enteros 0, 1, . . . , m1 estan en clases residuales distintas. Como todo entero
n puede escribirse de manera unica de la forma n = mc+r con 0 r m1, resulta
31
32 CAP
ITULO 3. CONGRUENCIAS
que todo entero es congruente modulo m con uno de los enteros 0, 1, . . . , m1. En
particular existen exactamente m clases residuales modulo m y cualquier conjunto
de enteros incongruentes modulo m constituyen un sistema residual completo.
El conjunto Z
m
, m 2, dotado de las operaciones suma y producto emanadas
de la proposicion anterior es un anillo conmutativo cuyo elemento neutro aditivo,
clase 0, es 0 = (m) = mZ y cuya unidad multiplicativa es 1 + (m).
Proposicion 3.1.2. Si a
1
, . . . , a
m
es un sistema residual completo y (k, m) = 1,
entonces el conjunto ka
1
, . . . , ka
m
tambien es un sistema residual completo.
Demostracion. Si ka
i
ka
j
(mod m) entonces m [ k(a
i
a
j
). Pero al ser k y m
primos entre s, m [ (a
i
a
j
). Es decir, los ka
i
son incongruentes entre s modulo m
y por lo tanto forman un sistema residual completo.
De una manera analoga podemos denir un sistema residual reducido como
todo conjunto de (m) residuos incongruentes modulo m, cada uno de ellos primo
con m. De manera similar se demuestra la siguiente proposicion.
Proposicion 3.1.3. Si a
1
, . . . , a
(m)
es un sistema residual reducido y (k, m) = 1,
entonces el conjunto ka
1
, . . . , ka
m
tambien es un sistema residual reducido.
Se designa por Z
m
al conjunto de las clases residuales primas con m. Es facil
ver que constituyen un grupo multiplicativo de orden (m).
3.2. Congruencias lineales
En esta seccion intentaremos resolver la ecuacion en congruencias mas sencilla
de todas: la congruencia lineal.
Teorema 3.2.1. Si (a, m) = 1, la congruencia ax b (mod m) tiene exactamente
una solucion modulo m.
Demostracion. Por la proposicion 3.1.2, el conjunto a, 2a, . . . , ma es un sistema
residual completo. En particular uno y solo uno de los residuos sera congruente con
b modulo m.
Lema 3.2.2. Si ac bc (mod m) y d = (m, c), entonces a b (mod m/d).
Demostracion. Como m [ c(b a), entonces (m/d) [ (c/d)(a b). Pero como
(m/d, c/d) = 1, entonces (m/d) [ a b.
3.2. CONGRUENCIAS LINEALES 33
Teorema 3.2.3. Supongamos que (a, m) = d. Si d b la congruencia
ax b (mod m)
no tiene soluciones, mientras que si d [ b la congruencia tiene exactamente d solu-
ciones modulo m que vienen dadas por
x
1
, x
1
+ m
1
, . . . , x
1
+ (d 1)m
1
,
donde x
1
es la solucion de la congruencia a
1
x b
1
(mod m
1
) y a
1
=
a
d
, b
1
=
b
d
.
Demostracion. Si la congruencia tiene alguna solucion entonces, como d [ a y d [ b,
necesariamente tendra que dividir a b.
Cualquier solucion x de ax b (mod b) debe serlo tambien de a
1
x b
1
(mod m
1
). Pero como (a
1
, m
1
) = 1 la solucion x
1
es unica modulo m
1
. Sin embargo la
clase residual modulo m
1
a la que pertenece x
1
consta de d clases residuales distintas
modulo m, es decir, las clases a las que pertenecen los n umeros x
1
, x
1
+m
1
, . . . , x
1
+
(d 1)m
1
. Por lo tanto la congruencia ax b (mod m) tiene exactamente d
soluciones distintas.
Hemos visto que las congruencias lineales se reducen a resolver congruencias
donde el modulo y el coeciente de la x son primos entre s.
La manera mas economica de resolver esta ecuacion consiste en resolver primero
la ecuacion ax 1 (mod m) utilizando el algoritmo de Euclides y multiplicar dicha
solucion por b.
Ejemplo: Resolver la ecuacion 51x 27 (mod 123).
Observemos primero que (51, 123) = 3 y que 3 divide a 27. Luego esta con-
gruencia tendra exactamente 3 soluciones que seran x
1
, x
1
+ 41, x
1
+ 82 donde x
1
es la solucion de la congruencia 17x 9 (mod 41). Para resolver esta congruencia
resolvemos primero la congruencia 17x 1 (mod 41) con el algoritmo de Euclides:
41 = 2 17 + 7
17 = 2 7 + 3
7 = 2 3 + 1
Yendo hacia atras tenemos que 1 = 7 2 3 = 7 2(17 2 7) = 5 7 2 17 =
5(41 2 17) 2 17 = 5 41 12 17. Es decir, 17 (12) 1 (mod 41) y por lo
tanto 17 (12 9) 9 (mod 41).
Luego x
1
108 15 (mod 41), y las tres soluciones de la congruencia
original son 15, 56 y 97.
34 CAP
Teorema 3.2.4 (Euler-Fermat). Si (a, m) = 1, entonces a
(m)
1 (mod m).
Demostracion. Sea r
1
, . . . , r
(m)
un sistema residual reducido modulo m. Entonces,
por la proposicion 3.1.3, ar
1
, , ar
(m)
es tambien un sistema residual reducido
modulo m. Los productos de todos los elementos en cada sistema tienen que coincidir
modulo m,
r
1
r
(m)
a
(m)
r
1
r
(m)
(mod m)
y como r
1
r
(m)
es primo con m, podemos cancelarlo (ver lema 3.2.2) para obtener
a
(m)
1 (mod m).
Teorema 3.2.5 (Fermat). Para todo primo p y para todo entero a tal que (a, p) = 1,
se verica la congruencia a
p1
1 (mod p).
Demostracion. Basta con observar que (p) = p 1.
El teorema de Euler-Fermat nos proporciona una solucion explcita de la con-
gruencia ax b (mod m) cuando (a, m) = 1. Esta es x = ba
(m)1
.
En el ejemplo anterior tendramos que x
1
9 17
39
(mod 41). Para calcular
17
39
(mod 41) calculamos
17
2
0
17 (mod 41)
17
2
1
2 (mod 41)
17
2
2
4 (mod 41)
17
2
3
16 (mod 41)
17
2
4
10 (mod 41)
17
2
5
18 (mod 41)
y como 39 = 2
5
+ 2
2
+ 2
1
+ 2
0
entonces 17
39
18 4 2 17 29 (mod 41). Luego
x
1
29 9 15 (mod 41) y a partir de aqu se procede como antes.
3.3. Congruencias polinomicas. Teorema de La-
grange
El estudio de congruencias polinomicas de grado superior resulta mas compli-
cado.

Unicamente para las congruencias de grado 2 existe un metodo razonable (que
se ver a en el siguiente captulo) para decidir cuando tienen solucion.
Cuando el modulo es primo tenemos, sin embargo, el siguiente teorema.
3.3. CONGRUENCIAS POLIN
OMICAS. TEOREMA DE LAGRANGE 35

Teorema 3.3.1 (Lagrange). Dado un primo p, sea f(x) = c
0
+c
1
x + +c
n
x
n
un
polinomio de grado n con coecientes enteros tal que p c
n
. Entonces la congruencia
polinomica f(x) 0 (mod p) tiene, a lo mas, n soluciones.
Demostracion. Vamos a proceder por induccion sobre el grado del polinomio.
El caso n = 1 ha sido estudiado anteriormente. La congruencia c
0
+ c
1
x 0
(mod p) tiene una solucion si (c
1
, p) = 1.
Hagamos la hipotesis de que el teorema es cierto para n1: si x
1
es una solucion
de c
0
+ + c
n
x
n
0 (mod p), la ecuacion c
1
(x x
1
) + + c
n
(x
n
x
n
1
) 0
(mod p) debe ser vericada por cualquier otra solucion.
Es decir, existen enteros a
2
, a
3
, . . . , a
n
tales que
(x x
1
)(c
n
x
n1
+ a
2
x
n2
+ + a
n
) 0 (mod p)
debe ser satisfecha por todas las soluciones de nuestra ecuacion.
Como p es primo, las soluciones distintas de x
1
deben serlo tambien de c
n
x
n1
+
a
2
x
n2
+ + a
n
0 (mod p) y, por hipotesis de induccion, existen, a lo sumo,
n 1 soluciones de esta ecuacion, lo cual completa la demostracion del teorema de
Lagrange.
Corolario 3.3.2. Si la congruencia
c
n
x
n
+ c
n1
x
n1
+ + c
0
0 (mod p)
tiene mas de n soluciones, entonces los coecientes c
0
, c
1
, . . . , c
n
deben ser m ultiplos
de p.
Demostracion. Supongamos que no es cierto y sea r el mayor entero tal que p c
r
.
La congruencia del corolario es equivalente a la congruencia c
r
x
r
+ + c
0
0
(mod p), que tiene a lo mas r soluciones. La contradicci on surge porque estamos
suponiendo que tiene por lo menos n + 1 soluciones.
En particular consideremos la congruencia
(x 1)(x 2) (x (p 1)) (x
p1
1) 0 (mod p).
El grado de esta congruencia es p2 y, sin embargo, tiene p1 soluciones por
el teorema de Euler-Fermat. Por lo tanto, todos los coecientes deben ser m ultiplos
de p.
Teorema 3.3.3 (Wilson).
(p 1)! + 1 0 (mod p).
36 CAP
Demostracion. Aplicar la observacion anterior al termino independiente.
Observaci on: Toda congruencia de la forma
a
n
x
n
+ + a
0
0 (mod p)
es equivalente a una de grado menor o igual que p 1. Para verlo basta con aplicar
el teorema de Fermat x
p
x (mod p).
3.4. Congruencias simultaneas. Teorema Chino del
resto
A continuacion vamos a cambiar de tercio y en vez de una sola congruencia
vamos a considerar sistemas de ellas.
Consideremos el sistema
_
_
x b
1
(mod m
1
)
x b
2
(mod m
2
)

x b
k
(mod m
k
)
donde (m
i
, m
j
) = 1, i ,= j.
Denamos m = m
1
m
2
m
k
= m
1
M
1
= = m
k
M
k
.
Como (m
j
, M
j
) = 1 sabemos que existe una solucion unica, modulo m
j
de la
ecuacion M
j
x 1 (mod m
j
). Sea M
j
dicha solucion y consideremos el n umero
x
= M
1
M
1
b
1
+ + M
k
M
k
b
k
.
Es claro que x
M
j
M
j
b
j
b
j
(mod m
j
) para todo j, ya que M
i
es un m ultiplo
de m
j
para i ,= j y M
j
M
j
1 (mod b
j
).
Por otra parte, si x es otra solucion del sistema entonces x x
(mod m
j
)
para todo j y, como los n umeros m
1
, . . . , m
k
son primos entre s, resulta que x x
(mod m).
Hemos demostrado entonces el siguiente teorema:
Teorema 3.4.1 (Chino del resto). Si los n umeros m
1
, . . . , m
k
son primos entre s,
entonces el sistema
_
_
x b
1
(mod m
1
)
x b
2
(mod m
2
)

x b
k
(mod m
k
)
3.4. CONGRUENCIAS SIMULTANEAS. TEOREMA CHINO DEL RESTO 37
tiene una unica solucion modulo m y esta viene dada por
x
= M
1
M
1
b
1
+ + M
k
M
k
b
k
.
Veamos ahora una aplicacion del teorema chino del resto a congruencias polinomi-
cas respecto a un modulo compuesto.
Supongamos que los n umeros m
1
, . . . , m
k
son primos entre s dos a dos y con-
sideramos la congruencia
a
n
x
n
+ + a
0
0 (mod m).
Esta ecuacion es equivalente al sistema
_
_
a
n
x
n
+ + a
0
0 (mod m
1
)

a
n
x
n
+ + a
0
0 (mod m
1
)
Teorema 3.4.2. El n umero de races de la ecuacion es el producto de races de cada
una de las congruencias que aparecen en el sistema.
Demostracion. En primer lugar es claro que cada solucion de la ecuacion satisface
el sistema.
Por otro lado, si r
1
, . . . , r
k
es un sistema de soluciones del sistema y si x es la
solucion de
_
_
x r
1
(mod m
1
)

x r
k
(mod m
k
)
dada por la proposicion anterior, entonces
a
n
x
n
+ + a
0
a
n
r
n
j
+ + a
0
0 (mod m
j
)
para todo j y, por tanto,
a
n
x
n
+ + a
0
0 (mod m
1
m
k
).
38 CAP
Ejemplo: Para resolver x
3
+ 2x 3 0 (mod 15) escribimos el sistema
_
x
3
+ 2x 3 0 (mod 3)
x
3
+ 2x 3 0 (mod 5)
.
La primera de estas ecuaciones tiene soluciones x = 0, 1, 2 modulo 3 y la segunda
x = 1, 3, 4 modulo 5.
Por lo tanto, la ecuacion x
3
+ 2x 3 0 (mod 15) tiene 9 soluciones. Para
encontrarlas teneos que resolver los 9 sistemas
_
x a (mod 3)
x b (mod 5)
a = 0, 1, 2 b = 1, 3, 4.
Por lo visto en los ejemplos anteriores, el problema de encontrar las soluciones
de
P(x) = a
n
x
n
+ + a
0
0 (mod p
1
1
p
r
r
)
queda reducido a estudiar congruencias de la forma P(x) 0 (mod p
), donde p
es un n umero primo.
A continuacion vamos a presentar una estrategia que nos permite reducir dicho
estudio al caso sencillo = 1.
Si
f(a) 0 (mod p
), 0 a < p
,
entonces f(a) 0 (mod p
1
) y a sera de la forma a = qp
1
+r con 0 r < p
1
para alg un q, 0 q < p.
Claramente f(a) f(r) 0 (mod p
1
) y decimos que r ha sido generado
por a.
Es decir, cada solucion de f(x) 0 (mod p
) genera otra de f(x) 0

(mod p
1
).
Pero precisamente estamos buscando el proceso contrario. Si f(r) 0 (mod p
1
),
cuando existe un a tal que f(a) 0 (mod p
) y que genere r? Cuando esto ocurra

diremos que r puede subirse de p
1
a p
.
Teorema 3.4.3. Sea 2 y r una solucion de
f(x) 0 (mod p
1
), 0 r < p
1.
a) Si f
(r) , 0 (mod p), entonces r se sube de manera unica de p

1
a p
.
b) f
(r) 0 (mod p)
3.5. RA
ICES PRIMITIVAS 39
b
1
) Si f(r) 0 (mod p
), entonces r puede subirse de p

1
a p
de p formas
diferentes.
b
2
) Si f(r) , 0 (mod p
), entonces r no puede subirse de p

1
a p
.
Demostracion. Si a genera r, a tiene que ser de la forma
a = r + qp
1
, 0 r < p
1
, 0 q < p
y ademas f(a) 0 (mod p
).
Por lo formula de Taylor en el punto r tenemos
f(r + qp
1
) = f(r) + qp
1
f
(r) + (qp
1
)
2
f
(r)
2
+
Observemos que todos los sumandos a partir del tercero son m ultiplos de p
. Luego
0 f(r + qp
1
) f(r) + qp
1
f
(r) (mod p
).
Como f(r) = kp
1
para alg un entero k, deberemos encontrar q tal que
k + qf
(r) 0 (mod p).

Si f
(r) , 0 (mod p) dicho q existe y es unico y por tanto r puede subirse de

manera unica.
Si f
(r) 0 (mod p) y f(r) 0 (mod p
) entonces p [ k y k + qf
(r) 0
(mod p) para todo q, 0 q < p. Es decir, r se puede subir de p maneras diferentes.
Si f
(r) 0 (mod p) y f(r) , 0 (mod p
) entonces p k y r no se puede
subir porque no existe ning un q tal que k + qf
(r) 0 (mod p).

3.5. Races primitivas
Supomgamos que (a, m) = 1. El teorema de Euler nos asegura que a
(m)
1
(mod m), pero es posible que (m) no sea necesariamente el entero positivo mas
peque no que verica la ecuacion a
x
1 (mod m).
Denicion 3.5.1. Dados dos n umeros primos entre s, a y m, llamaremos exponente
de a modulo m al menor entero positivo e tal que a
e
1 (mod m). Usaremos la
notacion e = exp
m
(a).
Claramente si a b (mod m) se verica que exp
m
(a) = exp
m
(b). Esto nos
permite considerar, indistintamente, exponentes de enteros o de clases residuales
primas modulo m.
40 CAP
Teorema 3.5.2. Si e = exp
m
(a) entonces los n umeros a
0
, a
1
, . . . a
e1
son incongru-
entes entre s modulo m.
Ademas a
k
a
j
(mod m) si y solo si k j (mod e); en particular a
k
1
(mod m) si y solo si k es divisible por e.
Demostracion. Sean k = c
1
e +r
1
, j = c
2
e +r
2
, 0 r
1
r
2
< e y supongamos que
a
k
a
j
(mod m). Entonces a
r
1
a
r
2
(mod m), lo que implica que a
r
2
r
1
1
(mod m) y, por tanto, r
1
= r
2
debido a la propia denicion del exponente e.
Los n umeros exp
m
(a) son, por tanto, divisores del n umero (m).
Puede darse el caso de que exista g de manera que exp
m
(g) = (m). Es este un
caso importante que recibe un nombre especial, se dice que g es una raz primitiva
modulo m.
La existencia de una raz primitiva g es equivalente a que el grupo multiplica-
tivo Z
m
sea cclico y generado por las potencias de g.
A continuaci on vamos a caracterizar los modulos m para los que existen races
primitivas.
Teorema 3.5.3. Existen races primitivas modulo m si y solo si m = 1, 2, 4, p
k
, 2p
k
,
donde p designa a un n umero primo impar.
Demostracion. Veremos primero que si m es de la forma 1, 2, 4, p
k
o 2p
k
con p primo
impar, entonces Z
m
es cclico. Lo haremos en varios pasos:
(1) Los casos m = 1, 2 son triviales. Z
4
= 1, 3 y es claro que 3 es una raz
primitiva.
(2) Consideremos ahora Z
p
con p primo impar.
Sea f(d) = #a Z
p
: exp
m
(a) = d, donde d es un divisor de (p) = p 1.
Es claro que
d|p1
f(d) = p 1.
Por otro lado sabemos que
d|p1
(d) = p 1. Si probamos la desigualdad
f(d) (d) para todo d [ p 1, las dos identidades anteriores fuerzan la
igualdad f(d) = (d) para todo divisor de p 1. En particular f(p 1) =
(p 1). Es decir, existen (p 1) races primitivas modulo p.
Para completar el argumento solo nos queda demostrar la desigualdad f(d)
(d):
Dado d [ p 1, si f(d) ,= 0 necesariamente existe un elemento a Z
p
tal que
d = exp
p
(a) y, en particular, a
d
1 (mod p).
3.5. RA
ICES PRIMITIVAS 41
La congruencia x
d
1 (mod p) admite, a lo mas, d soluciones modulo p y
como la coleccion 1, a, . . . , a
d1
la satisface y son, ademas, incongruentes entre
s modulo p, constituyen un conjunto completo de soluciones.
Solo nos queda contar cuantas de entre ellas tienen exponente igual a d. Es
claro que exp
p
(a
k
) = d si y solo si (k, d) = 1 y, por tanto, su cardinal es (d)
como queramos demostrar.
(3) Sea g una raz primitiva modulo p. Es claro que g + tp es tambien una raz
primitiva modulo p cualquiera que sea el entero t.
Consideremos
(g + tp)
p1
= g
p1
+ (p 1)g
p2
tp + Ap
2
= 1 + sp g
p2
tp + Bp
2
= 1 + p(s gp
p2
t) + Bp
2
,
donde A, s, B son enteros y g
p1
= 1 + sp.
Podemos elegir el entero t de manera que s g
p2
t , 0 (mod p), es decir,
(g + tp)
p1
= 1 + pu, u 0 (mod p).
Vamos a probar que, con dicha eleccion, g + tp es una raz primitiva modulo
p
k
, para todo k 1.
Supongamos que (g + tp)
d
1 (mod p
k
), siendo d un divisor de (p
k
) =
p
k
(p 1).
Como g
d
1 (mod p) y g es una raz primitiva modulo p, d habra de ser
un m ultiplo de p 1 y, por tanto, podemos suponer que tiene la forma d =
p
l
(p 1), 0 l k 1.
Ahora bien, como
(g + tp)
p
l
(p1)
= (1 + up)
p
l
= 1 + u
l+1
p
l+1
con u
l+1
, 0 (mod p), necesariamente ha de ser l = k 1.
(4) En el caso restante, m = 2p
k
, p primo impar, podemos proceder de la manera
siguiente:
Sea g una raz primitiva modulo p
k
. Obviamente g +p
k
tambien lo es. Sea h el
elemento impar del conjunto g, g + p
k
. Vamos a ver que h es raz primitiva
modulo 2p
k
.
Como h
(2p
k
)
h
(p
k
)
1 (mod p
k
) y obviamente h
(2p
k
)
1 (mod 2),
entonces h
(2p
k
)
1 (mod 2p
k
).
42 CAP
Por otro lado, si d divide a (2p
k
) = (p
k
) y es tal que h
d
1 (mod 2p
k
),
al ser h impar, tambien sera cierto que h
d
1 (mod p
k
) y por tanto g
d
1
(mod p
k
). Pero como g es una raz primitiva modulo p
k
entonces (p
k
) [ d, lo
que implica que d = (2p
k
). Luego h es una raz primitiva.
Para concluir la demostracion del teorema tenemos que probar que Z
m
no es
cclico si m no es uno de los enteros considerados en los casos anteriores. Lo haremos
en dos pasos.
(5) Caso m = 2
k
, k 3.
Es una consecuencia de la observacion siguiente: Si a es un n umero impar,
entonces a
(2
n
)
2
1 (mod 2
k
).
Lo demostraremos por induccion en k. El caso k = 3 se comprueba directa-
mente. Observemos que
(2
3
)
2
= 2 y que 1
2
3
2
5
2
7
2
1 (mod 2
3
).
Supongamos el resultado cierto para k: a
(2
k
)
2
= 1 + 2
k
n. Elevando ambos
miembros al cuadrado obtenemos
a
(2
k
)
= 1 + (n + n
2
2
k1
)2
k+1
1 (mod 2
k+1
).
Basta, pues, observar que (2
k
) = 2
k1
=
1
2
(2
k+1
).
(6) En el caso general m = 2
k
p
a
1
1
p
a
r
r
, donde k 2 si r = 1 y r 2 si k =
0 o k = 1, tambien demostraremos que si (a, m) = 1 entonces a
(m)
2
1
(mod m).
Sea g una raz primitiva modulo p
a
1
1
, y sea n un entero positivo tal que g
n
a
(mod p
a
1
1
).
Tenemos que
a
(m)
2
g
n
(m)
2
g
(p
a
1
1
)
1
2
n(2
k
)(p
a
2
2
)(p
a
r
r
)
(mod m).
Es claro que bajo nuestras hipotesis sobre el n umero m, podemos armar que
el exponente
1
2
n(2
k
)(p
a
2
2
) (p
a
r
r
) es un entero.
En particular la congruencia anterior nos indica que
a
(m)
2
1 (mod p
a
1
1
).
De manera analoga podemos probar que
a
(m)
2
1 (mod p
a
i
i
), i = 1, . . . , r.
ITULO 3 43
Nos queda por probar que la congruencia anterior tambien se verica para el
modulo 2
k
.
Si k 3 aplicamos la misma demostracion del caso (5) para obtener que
a
(2
k
)
2
1 (mod 2
k
).
Y como
(2
k
)
2
es un divisor de
(m)
2
habramos acabado.
Si k 2 tenemos que (m) = (2
k
)(p
a
1
1
) (p
a
r
r
) = 2n(2
k
) para alg un
entero n. Por tanto, tambien es cierto que
a
(m)
2
= a
n(2
k
)
1 (mod 2
k
),
como queramos probar.
En el apartado (2) hemos observado que existen exactamente (p 1) =
((p)) races primitivas modulo el primo impar p. Esto sigue siendo cierto para
el caso general.
Sea g una raz primitiva modulo m. Es claro que el conjunto
g
k
: 1 k (m), (k, (m)) = 1
consiste, precisamente, de todas las races primitivas modulo m. Por lo tanto, si
m = 1, 2, 4, p
k
o 2p
k
, p primo impar, existen exactamente ((m)) races primitivas
modulo m o, lo que es igual, el grupo cclico Z
m
tiene ((m)) generadores.
Observemos tambien que, jada una raz primitiva g modulo m, entonces
1, g, . . . , g
(m)1
es un sistema residual reducido modulo m.
Por lo tanto, dado a, primo con m, podemos asignarle un unico n umero k, 0
k (m) 1 de manera que a g
k
(mod m).
3.6.1. Se ha escrito un n umero. Luego se ha escrito otro, permutando las cifras del
primero. La diferencia de los dos n umeros es 391738X Que dgito es la ultima cifra
representada por X?
3.6.2. Sea S un conjunto de n enteros no necesariamente distintos. Demostrar que
alg un subconjunto no vaco de S posee una suma divisible por n.
44 CAP
n
k=1
k10
k
es m ultiplo de 3 si y solo si n , 1 (mod 3).
3.6.4. Hallar el resto al dividir el n umero 999 998 997 . . . 003 002 001 000 entre
13.
3.6.5. El n umero n expresado en base 2 se escribe 10010100111010100011, Decir si
es m ultiplo de 3.
3.6.6. Probar el recproco del teorema de Wilson: Si (n 1)! + 1 0 (mod n),
entonces n es primo.
3.6.7. Demostrar que si n + 2 es primo, n > 1, entonces n2
n
+ 1 no es primo.
3.6.8. Sea la funcion f(x, y) =
y1
2
[B
2
1[ (B
2
1)+2 donde B = x(y +1) +
y! + 1.
a) Demostrar que f(x, y) es primo para todo x, y Z.
b) Demostrar que para todo primo p ,= 2, existen unos unicos x e y tales que
f(x, y) = p.
3.6.9. Demostrar que para todo n 3,
(n) = 1 +
n
j=3
_
(j 2)! j
_
(j 2)!
j
__
.
3.6.10. Sean a, b, x
0
enteros positivos, y sea x
n
= ax
n1
+ b para todo n 1.
Demostrar que x
n
no puede ser primo para todo n.
3.6.11. D. Jose estudio en un colegio que tena entre 150 y 300 colegiales. Ahora,
aunque no recuerda el n umero de colegiales que eran, s se queja de no haber podido
practicar ni f utbol, ni baloncesto, ni balonmano porque, cuando en cada deporte se
intentaba organizar el colegio en equipos, siempre faltaba o sobraba uno. Podras
recordar a D.Jose cuantos colegiales eran?
3.6.12. Caracterizar los enteros x que satisfacen simultaneamente las congruencias
x 7 (mod k), 2 k 10. Puede alguno de estos enteros ser un cuadrado?
3.6.13. Hallar todas las soluciones de la congruencia x
3
+2x
2
x+6 0 (mod 98).
3.6.14. Demostrar que si a
h
1 (mod n) para todo a, (a, n) = 1, entonces h
divide a (n).
3.6.15. Demostrar que el conjunto de puntos de coordenadas visibles desde el origen
contiene cuadrados vacos tan grandes como queramos.
3.6.16. Demostrar que a
560
1 (mod 561) para todo (a, 561) = 1.
ITULO 3 45
3.6.17. Para cada entero positivo n encontrar la ultima cifra de 13
n!
.
3.6.18. Demostrar que existen innitos enteros positivos que no son suma de tres
cuadrados.
3.6.19. Sea F
n
un n umero de Fermat y p un primo. Demostrar que si p divide a F
n
entonces p = 2
n+1
k + 1 para alg un entero k.
3.6.20. Probar que todo entero satisface alguna de las congruencias
x 0 (mod 2), x 3 (mod 3), x 1 (mod 4),
x 3 (mod 8), x 7 (mod 12), x 23 (mod 24).
3.6.21. Sea m el menor modulo de un sistema de congruencias de modulos distintos
que, como el del problema anterior, cubre todos los enteros. Hallar un sistema con
m = 3. En el problema anterior, m = 2.
Erdos conjeturo que se puede elegir m arbitrariamente grande pero nadie ha
sido capaz de probarlo.
46 CAP
Captulo 4
Ley de reciprocidad cuadratica
En el captulo anterior hemos desarrollado con detalle la teora de las congru-
encias lineales ax + b c (mod m). Ahora vamos a considerar las congruencias
cuadraticas x
2
a (mod m).
4.1. Residuos cuadraticos
Denicion 4.1.1. Dada una clase residual prima modulo m, representada por el
entero a, diremos que es un residuo cuadratico si la congruencia x
2
a (mod m)
tiene solucion. En caso contrario diremos que a es un residuo cuadratico.
Es claro que el caracter cuadratico es independiente del representante elegido.
En lo sucesivo mantendremos la ambig uedad consistente en hablar de un entero
particular como residuo o no residuo, en vez de mencionar a la clase residual que lo
contiene.
Proposicion 4.1.2. Sea p un n umero primo impar. Existen exactamente
p1
2
resid-
uos cuadraticos y
p1
2
residuos no cuadraticos modulo p.
Demostracion. Consideremos el siguiente sistema residual completo modulo p:
_
p 1
2
, . . . , 1, 0, 1, . . . ,
p 1
2
_
.
Como (k)
2
= k
2
, existen, a lo mas,
p1
2
residuos cuadraticos.
Por otro lado, la congruencia k
2
j
2
(mod p), 1 k, j
p1
2
, necesaria-
mente implica la igualdad k = j:
47
48 CAP
ITULO 4. LEY DE RECIPROCIDAD CUADR
ATICA
(k j)(k +j) 0 (mod p) implica que k j 0 (mod p) o bien k +j 0
(mod p), lo que junto con la relacion 1 k, j
p1
2
nos da k = j.
Por lo tanto, los n umeros 1
2
, 2
2
, . . . ,
_
p1
2
_
2
son incongruentes entre s modulo
p.
Denicion 4.1.3. Dado un n umero primo impar p, el smbolo de Legendre
_
a
p
_
es
la funcion aritmetica denida de la forma siguiente:
_
a
p
_
=
_
_
0, si a 0 (mod p)
+1, si a es un residuo cuadratico
1, si a no es un residuo cuadratico
Proposicion 4.1.4 (Criterio de Euler). Sea p un n umero impar. Tenemos que
_
n
p
_
n
p1
2
(mod p), para todo entero n.
Demostracion. Si n 0 (mod p), entonces el resultado es inmediato.
Supongamos que (n, p) = 1. El teorema de Fermat nos dice que n
p1
2
1
(mod p).
Es decir, (n
p1
2
1)(n
p1
2
+ 1) 0 (mod p) y por lo tanto, una de las dos
relaciones siguientes debe ser vericada:
i) n
p1
2
1 0 (mod p).
ii) n
p1
2
+ 1 0 (mod p).
Si
_
n
p
_
= 1, la ecuacion x
2
n (mod p) tiene solucion. En particular n
p1
2

x
p1
1 (mod p): es decir, n verica i): n
p1
2
1 =
_
n
p
_
(mod p).
Observemos que la ecuacion x
p1
2
1 (mod p) tiene como soluciones los
p1
2
residuos cuadraticos y que, por el teorema de Lagrange, no puede tener mas
soluciones.
Si
_
n
p
_
= 1, entonces n no es un residuo cuadratico y por tanto n
p1
2
1
(mod p). Necesariamente n
p1
2
1 (mod p).
Corolario 4.1.5. El smbolo de Legendre es una funcion completamente multiplica-
tiva.
4.1. RESIDUOS CUADR
ATICOS 49
Demostracion.
_
mn
p
_
(mn)
p1
2
m
p1
2
n
p1
2
_
m
p
__
n
p
_
(mod p).
Pero como los valores que toma el smbolo de Legendre son +1, 0, 1, nece-
sariamente tenemos la igualdad
_
mn
p
_
=
_
m
p
__
n
p
_
.
4.1.1. Calculo de los smbolos
_
1
p
_
y
_
2
p
_
Proposicion 4.1.6. Sea p un n umero impar. Tenemos que
_
1
p
_
= (1)
p1
2
=
_
+1, si p 1 (mod 4)
1, si p 3 (mod 4).
Demostracion. Basta con aplicar el criterio de Euler y observar, como antes, que
ambos miembros de la congruencia toman los valores +1 o 1 y, por tanto, la
congruencia implica la igualdad.
Proposicion 4.1.7. Para todo primo impar p tenemos la identidad:
_
2
p
_
= (1)
p
2
1
2
=
_
+1, si p 1 (mod 8)
1, si p 3 (mod 8).
Demostracion. Consideremos las
p1
2
congruencias siguientes:
_
_
p 1 1(1)
1
(mod p)
2 2(1)
2
(mod p)
p 3 3(1)
3
(mod p)
4 4(1)
4
(mod p)

r
p1
2
(1)
p1
2
(mod p)
donde r es
p1
2
o p
p1
2
seg un el caso.
50 CAP
ATICA
Multipliquemos estos sistemas de congruencias y observemos que cada entero
situado en los miembros de la parte izquierda es necesariamente par. Resulta que:
2 4 6 (p 1)
_
p 1
2
_
!(1)
1+2++
p1
2
(mod p).
Es decir,
2
p1
2
_
p 1
2
_
!
_
p 1
2
_
!(1)
p
2
1
8
(mod p).
Podemos dividir por (
p1
2
)! para obtener
_
2
p
_
2
p1
2
(1)
p
2
1
8
(mod p)
que, por la misma razon de la proposicion anterior, implica la igualdad:
_
2
p
_
= (1)
p
2
1
8
.
4.1.2. Ley de reciprocidad cuadratica
La ley de reciprocidad cuadratica fue descubierta por Euler en torno al a no
1745. Gauss, a su vez, tambien la descubrio y produjo la primera demostracion
completa en 1796, varios a nos despues de sus Disquisitiones Arithmeticae.
Hoy en da se conocen muchas demostraciones distintas. A continuaci on vamos
a presentar una de las mas sencillas conceptualmente, que esta basada en el siguiente
lema de Gauss.
Lema 4.1.8 (de Gauss). Sea p un primo impar y a un entero no divisible por el.
Dado x = 1, . . . ,
p1
2
, sea ax
x
u
x
(mod p), donde u
x
es un entero del conjunto
1, 2, . . . ,
p1
2
y
x
= 1. Entonces
_
a
p
_
=
1
p1
2
.
Demostracion. En primer lugar observemos que dado x, 1 x
p1
2
, tanto el
entero u
x
, 1 u
x

p1
2
como el n umero
x
estan unvocamente determinados por
la relacion
ax
x
u
x
(mod p).
4.1. RESIDUOS CUADR
ATICOS 51
En efecto, si ax
1
u (mod p) y ax
2
u (mod p), entonces a(x
1
+ x
2
) 0
(mod p), lo que es imposible por ser 1 x
1
, x
2

p1
2
.
Multiplicando las congruencias para cada x, 1 x
p1
2
obtenemos
a
p1
2
1 2
p 1
2

1
p1
2
1 2
p 1
2
(mod p).
Es decir
a
p1
2

1
p1
2
(mod p).
Basta entonces con aplicar el criterio de Euler para concluir el teorema.
Teorema 4.1.9 (Ley de reciprocidad cuadratica). Sean p y q n umeros primos im-
pares distintos. Tenemos que
_
p
q
__
q
p
_
= (1)
(p1)(q1)
4
.
Demostracion. Sean p = 2n + 1, q = 2m + 1. Apliquemos el lema de Gauss para
a = q con respecto al conjunto 1, 2, . . . , n, n =
p1
2
.
Tenemos, para cada x, 1 x n,
qx
x
u
x
(mod p) con 1 u
x
n, e
x
= 1.
Es decir, qx =
x
u
x
+py donde
x
, u
x
, y estan unvocamente determinados por
estas condiciones cuando x esta dado.
En particular
x
toma el valor 1 si y solo si qx = py u
x
. O, lo que es lo
mismo,
py = qx + u
x
, con 1 u
x
n.
Ello implica que y > 0 y, ademas,
y
1
p
(qx + u
x
)
1
p
(q + 1)n <
q + 1
2
= m + 1.
En otras palabras, e
x
= 1 si y solo si podemos jar un y tal que la pareja
(x, y) satisface las condiciones
_
_
1 x n
1 y m
1 py qx n.
52 CAP
ATICA
Consiguientemente, si N designa al n umero de tales parejas, el lema de Gauss
nos da
_
q
p
_
= (1)
N
.
Analogamente
_
p
q
_
= (1)
M
,
donde M es el n umero de parejas (x, y) que verican
_
_
1 x n
1 y m
1 qx py m.
Ahora como p y q son primos entre s y 1 x < p entonces qx py no puede ser
nunca cero y podemos escribir
_
p
q
__
q
p
_
= (1)
M+N
,
donde ahora M + N es el n umero de parejas que satisfacen las condiciones
_
_
1 x n
1 y m
n qx py m.
Sea S el n umero de parejas (x, y) tales que
_
_
1 x n
1 y m
qx py < n.
Sea T el n umero de parejas (x
, y
) que verican
_
_
1 x
n
1 y
m
qx
py
> m.
Entre estos conjuntos existe una correspondencia biyectiva dada por
_
x
= n + 1 x
y
= m + 1 y.
Por lo tanto S = T. Por otro lado M+N+S+T = mn, entonces (1)
M+N
= (1)
mn
y el teorema queda demostrado.
4.1. RESIDUOS CUADR
ATICOS 53
4.1.3. Ejemplos y aplicaciones
La ley de reciprocidad cuadratica es uno de los resultados mas notables de
la Teora de los N umeros: una relacion sorprendente y a la vez sencilla entre las
propiedades de las congruencias x
2
q (mod p) y x
2
p (mod q). Es tambien
pieza importante de otras teoras aritmeticas.
a) La ley de reciprocidad cuadratica nos permite calcular el valor de
_
m
p
_
en
muchos casos.
Ejemplo 1: Supongamos que queremos estudiar si la congruencia x
2
315
(mod 65537) tiene solucion.
Por supuesto podramos ir comprobando todos los restos modulo 65537, pero la
ley de reciprocidad cuadratica nos proporciona un metodo mucho mas rapido.
Recordemos que el smbolo de Legendre es una funcion multiplicativa.
_
315
65537
_
=
_
3
2
5 7
65537
_
=
_
3
2
65537
__
5
65537
__
7
65537
_
=
_
5
65537
__
7
65537
_
= (1)
465536
4
_
65537
5
_
(1)
665536
4
_
65537
7
_
=
_
2
5
__
2
7
_
= (1)
251
8
(1)
491
8
= 1.
Es decir, la congruencia x
2
315 (mod 65537) carece de solucion.
Ejemplo 2: Queremos saber si la congruencia x
2
236 (mod 257) tiene
solucion.
Procedemos como en el ejemplo anterior,
_
236
257
_
=
_
21
257
_
=
_
1
257
__
3
257
__
7
257
_
= (1)
2571
2
_
257
3
_
(1)
2562
4
_
257
7
_
(1)
2566
4
=
_
2
3
__
5
7
_
= (1)(1) = 1.
Luego existe solucion de la congruencia x
2
236 (mod 257). Sin embargo,
la ley no nos da una pauta para encontrarla.
b) Otro ejemplo interesante de aplicaciones es el siguiente. Queremos saber para
que primos, la congruencia x
2
3 (mod p) tiene solucion. Es decir, para
54 CAP
ATICA
que valores de p se tiene que
_
3
p
_
= 1.
_
3
p
_
=
_
p
3
_
(1)
p1
2
.
Como
_
p
3
_
=
_
+1 si p 1 (mod 3)
1 si p 1 (mod 3)
y
(1)
p1
2
=
_
+1 si p 1 (mod 4)
1 si p 1 (mod 4)
resulta que
_
3
p
_
=
_
+1 si p 1 (mod 12)
1 si p 5 (mod 12).
4.2.1. Demostrar que existen innitos primos de la forma 4n + 1.
4.2.2. Hallar los primos p para los cuales la ecuacion x
2
5 (mod p) tiene solu-
cion.
4.2.3. a) Dar una condicion necesaria y suciente para que la progresion aritmetica
an + b tenga innitos cuadrados.
b) Utilizar el apartado anterior para estudiar la existencia de innitos cuadra-
dos en la progresion 160 + 103n.
4.2.4. Dar una condicion necesaria y suciente, en funcion de a, b y c, para que
la congruencia ax
2
+ bx + c 0 (mod p) tenga solucion. Aplicar esto ultimo para
estudiar la existencia de soluciones de la congruencia 5x
2
13x+8 0 (mod 37).
4.2.5. Caracterizar los primos para los que tiene solucion la congruencia 5x
2
3x+
1 0 (mod p).
4.2.6. Demostrar que para todo polinomio Q(x) = ax
2
+bx+c, no constante, existen
innitos primos para los que la congruencia Q(x) 0 (mod p) tiene solucion.
4.2.7. Demostrar que el producto de todos los residuos cuadraticos positivos y menores
que p es congruente con (1)
p+1
2
modulo p.
ITULO 3 55
4.2.8. Demostrar que la congruencia x
5
300x (mod 101) tiene una unica solu-
cion.
4.2.9. Demostrar que la suma de tres cuadrados consecutivos no puede ser m ultiplo
de 19.
4.2.10. Demostrar que si (x, y) = 1 entonces x
2
+ y
2
no es divisible por ning un
primo p 3 (mod 4).
4.2.11. Demostrar que n puede escribirse como suma de dos cuadrados si y solo si
en su factorizacion en n umeros primos,
n = 2
p
j
1 (mod 4)
p
j
j
q
k
3 (mod 4)
q
k
k
todos los
k
son pares.
4.2.12. Considerese la congruencia x
2
a (mod p
s
) con p primo, s 1, a =
p
t
b, (b, p) = 1. Probar que
a) si t s, la congruencia tiene solucion.
b) si t < s, la congruencia tiene solucion si y solo si t es par y b es un residuo
cuadratico modulo p.
4.2.13. Probar que
p
x=1
_
x
p
__
x+1
p
_
= 1 si p es cualquier primo impar.
56 CAP
ATICA
Captulo 5
Ejemplos de ecuaciones diofanticas
En este captulo estudiaremos la resolucion de ecuaciones en n umeros enteros.
Son las llamadas ecuaciones diofanticas.
La ecuacion x
n
+ y
n
= z
n
, xyz ,= 0 es sin lugar a dudas la mas famosa de
todas. Pierre de Fermat (1601-65) dijo haber demostrado que to tena soluciones
enteras para n 3, pero que la bella demostracion que haba obtenido era demasia-
do larga para poder escribirla en los margenes de su ejemplar del libro de Diofanto,
como acostumbraba a hacer con muchas de sus observaciones. Este problema cono-
cido como el

Ultimo Teorema de Fermat fue resuelto por Andrew Wiles en 1995.
La demostracion de Wiles sobrepasa con creces los propositos de este libro, y nos
conformaremos estudiando la ecuacion de Fermat para los casos n = 2, 3 y 4.
5.1. Las ternas pitagoricas
Las ternas (x, y, z) tales que x
2
+ y
2
= z
2
se denomina ternas pitagoricas y
originan triangulos rectangulos con lados enteros.
Estudiaremos ecuaciones mas generales del tipo
ax
2
+ by
2
= cz
2
, a, b, c Z.
En general esta ecuacion no tiene por que tener soluciones, pero si encontramos una
solucion (x
0
, y
0
, z
0
) vamos a poder hallar el resto por un procedimiento sencillo.
Observemos que buscar las soluciones enteras de ax
2
+by
2
= cz
2
es equivalente
a buscar las soluciones racionales de ax
2
1
+by
2
1
= c, donde hemos hecho x
1
=
x
z
, y
1
=
y
z
.
Es decir, habremos de encontrar los puntos (x, y) de coordenadas racionales
57
58 CAP
ITULO 5. EJEMPLOS DE ECUACIONES DIOF
ANTICAS
sobre la elipse ax
2
+ by
2
= c.
Supongamos que mediante una simple inspeccion hemos encontrado un punto
(x
0
, y
0
) de coordenadas racionales sobre la elipse. Ahora trazamos una recta que
pase por dicho punto y con pendiente r Q. Esta recta cortara a la elipse en otro
punto (x
0
, y
0
).
Si y y
0
= r(x x
0
) es la ecuacion de la recta y la sustituimos en la ecuacion
de la elipse, ax
2
+b(y
0
+r(x x
0
))
2
= c obtenemos una ecuacion de segundo grado
que tendra como soluciones x
0
y x
0
.
Ahora bien, la suma de las soluciones de una ecuacion de segundo grado con
coecientes racionales es racional. Por lo tanto, si x
0
era racional, x
0
debe ser racional
y sustituyendo en la recta anterior tenemos que y
0
tambien es racional.
Por otra parte, dos puntos de coordenadas racionales sobre la elipse nos de-
terminan una recta de pendiente racional. Es decir, existe una biyecci on entre las
soluciones enteras de la ecuacion original y los puntos x
0
, y
0
obtenidos seg un el
metodo anterior.
Ahora estamos en condiciones de demostrar nuestro primer teorema.
Teorema 5.1.1. Todas las soluciones enteras de la ecuacion x
2
+ y
2
= z
2
vienen
dadas por la formula
_
_
x = (n
2
m
2
)t
y = 2mnt
z = (n
2
+ m
2
)t
donde t Z y n, m son enteros primos entre s y de distinta paridad.
Demostracion. Empezaremos calculando las soluciones primitivas entre s, (x, y) =
(x, z) = (y, z) = 1.
Intentaremos hallar todas las soluciones racionales de la ecuacion x
2
+ y
2
= 1
a partir de la solucion (x
0
, y
0
) = (1, 0).
Trazaremos una recta de pendiente
n
m
(fraccion irreducible) que pase por el
punto (1, 0). Esta es la recta y =
n
m
(x1). Ahora calculamos su punto de interseccion
con la elipse resolviendo la ecuacion
x
2
+
_
n
m
(x 1)
_
2
= 1.
As obtenemos x
0
= 1, la solucion de la que partamos, y x
0
=
n
2
m
2
n
2
+m
2
.
Sustituyendo en la recta obtenemos y
0
=
2mn
n
2
+m
2
. Es decir,
_
n
2
m
2
n
2
+ m
2
_
2
+
_
2mn
n
2
+ m
2
_
2
= 1,
5.1. LAS TERNAS PITAG
ORICAS 59
y por lo tanto
(n
2
m
2
)
2
+ (2mn)
2
= (n
2
+ m
2
)
2
.
Entonces x = n
2
m
2
, y = 2mn, , z = m
2
+n
2
y como estamos pidiendo que las
soluciones sean primitivas, ademas de que (n, m) = 1 debe ocurrir que n y m deben
de tener distinta paridad. El resto de las soluciones vienen de multiplicar x, y, z por
un mismo entero t.
5.1.1. La ecuacion x
4
+ y
4
= z
2
Aunque ya hemos se nalado que la demostracion del

Ultimo Teorema de Fermat
es realmente difcil, hay algunos exponentes n para los que la demostracion esta al
nivel de este libro.
Empezaremos haciendolo para n = 4 utilizando para ello el llamado metodo del
descenso, inventado por Fermat y de uso muy frecuente en la teora de los n umeros.
De hecho demostraremos un poco mas:
Teorema 5.1.2. La ecuacion x
4
+y
4
= z
2
no tiene soluciones en enteros si xyz ,= 0.
Demostracion. Supongamos que nuestra ecuacion tiene alguna solucion. De todas
las soluciones que pueda tener elijamos la solucion mnima. Sea u el menor entero
positivo tal que x
4
+ y
4
= u
2
para alg un x, y.
A partir de esta solucion encontraremos una solucion menor obteniendo as una
contradiccion (Metodo del descenso).
La ecuacion x
4
+y
4
= u
2
se puede expresar como una terna pitagorica (x
2
)
2
+
(y
2
)
2
= u
2
.
Obviamente (x, y) = 1. Si (x, y) = d tendramos
_
x
d
_
4
+
_
y
d
_
4
=
_
u
d
2
_
2
obtenine-
do una solucion menor.
Por el teorema 5.1.1 tenemos
_
_
x
2
= n
2
m
2
y
2
= 2mn
n = m
2
+ n
2
para alg un par m, n con (m, n) = 1 y de distinta paridad.
Si n es par entonce x
2
= n
2
m
2
1 (mod 4), lo cual es imposible porque
1 no es un residuo cuadratico modulo 4. Entonces n es impar y m es par. Si
escribimos m = 2m
tenemos que (y/2)

2
= nm
. Es claro que si (n, m) = 1 entonces

60 CAP
ANTICAS
(n, m
) = 1. Y como su producto es un cuadrado, entonces cada uno de ellos ha de

ser un cuadrado: n = b
2
, m
= a
2
.
Tenemos entonces que x
2
= n
2
m
2
= b
4
4a
4
. Es decir, (2a
2
)
2
+ x
2
= (b
2
)
2
y nos encontramos con otra terna pitagorica. Aplicando de nuevo el teorema 5.1.1,
_
_
2a
2
= 2rs
x
2
= r
2
s
2
b
2
= r
2
+ s
2
con (r, s) = 1 y de distinta paridad.
De nuevo tenemos dos enteros r, s primos entre s y cuyo producto es un cuadra-
do y por lo tanto lo son cada uno de ellos: r = c
2
, s = d
2
.
Sustituyendo obtenemos c
4
+d
4
= b
2
, una solucion de nuestra ecuacion original.
Pero b < b
4
+ m
2
= u contradiciendo el hecho de que u era la mnima solucion
posible.
5.1.2. La ecuacion x
3
+ y
3
= z
3
Antes de estudiar esta ecuacion haremos algunas observaciones sobre el anillo
Z[] = a + b : a, b Z,
donde = e
2/3
, raz c ubica de la unidad. Las demostraciones se dejan como
1) 1 + +
2
= 0 y =
2
.
2) N(a + b) = a
2
ab + b
2
. ejercicio.
3) Las unidades de Z[] son 1, ,
2
.
4) Si N(a + b) es un primo en Z , entonces a + b es un primo en Z[].
5) El anillo Z[] es un anillo eucldeo y por tanto de factorizacion unica. Todo
entero se descompone en sus factores primos de manera unica excepto el orden
y las unidades.
6) El entero 1 es primo en Z.
La aritmetica de Z[] tiene gran interes, ya que precisamente es en Z[] donde
la ecuacion x
3
+ y
3
= z
3
se factoriza:
x
3
+ y
3
= (x + y)(x + y
2
)(x
2
+ y) = z
3
.
ORICAS 61
Teorema 5.1.3. La ecuacion x
3
+y
3
= z
3
, xyz ,= 0 no tiene soluciones en enteros.
Demostracion. De hecho demostraremos algo mas: la ecuacion anterior no tiene
soluciones en Z[].
Supongamos que x, y, z son tres elementos no nulos de Z[] tales que x
3
+y
3
=
z
3
. No hay nada que nos impida suponer que x, y, z son primos relativos dos a dos
en Z[]. Si d Z[] dividiera a dos de ellos, podramos dividir la ecuacion entre d
3
y x/d, y/d, z/z sera una solucion de la ecuacion.
Lema 5.1.4. a + b 0, 1 o 1 (mod 1 ).
Demostracion. Observemos que a+b a+b (mod 1). Por otra parte a+b =
3q + r, 0 r < 3. Entonces,
a + b a + b 3q + r r (mod 1 )
porque 3 es un m ultiplo de 1 en Z[].
Lema 5.1.5. Si Z[] y 1 (mod 1 ), entonces
3
1 (mod (1
)
4
).
Demostracion. Como 1 (mod 1 ) entonces = (1 ) 1 para alg un
entero Z[].
Elevando al cubo,
3
=
3
(1 )
3
3
2
(1 )
2
+ 3(1 ) 1.
Observemos ahora que 3 =
2
(1 )
2
. Sustituyendo,
3
=
3
(1 )
3
2
(1 )
4
2
(1 )
3
= (1 )
3
(
2
2
) (
2
2
(1 )
4
) 1.
Para terminar la demostracion debemos ver que (1)
3
(
2
2
) 0 (mod (1
)
4
). Es decir, debemos ver que (
2
2
) 0 (mod 1 ).
Si 0 (mod 1), ya esta demostrado. En otro caso, por el lema anterior,
1 (mod 1 ) y entonces
2
1 (mod 1 ). Por tanto
2

2
0
(mod 1 ) y el lema queda demostrado.
Lema 5.1.6. Si x
3
+ y
3
= z
3
entonces x, y o z tiene que ser divisible por 1 .
62 CAP
ANTICAS
Demostracion. Por el lema 5.1.5, si ninguno de ellos fuese divisible por 1 ten-
dramos
_
_
x
3
1 (mod (1 )
4
)
y
3
1 (mod (1 )
4
)
z
3
1 (mod (1 )
4
).
Entonces (1) + (1) (1) 0 (mod (1 )
4
) y los posibles valores que po-
dramos obtener seran 1, 1, 3, 3.
Pero N(1) = 1 y N(3) = 9. Por otro lado N((1 )
4
) = N
4
(1 ) = 3
4
=
81 y la norma es mayor que la de los dos anteriores.
Podemos suponer que es z quien es divisible por 1 , ya que la ecuacion
x
3
+y
3
= z
3
es equivalente a las ecuaciones (x)
3
+z
3
= y
3
y (y)
3
+z
3
= x
3
.
Ahora nos disponemos a terminar la demostracion de nuestro teorema. Para
ello volveremos a utilizar el metodo del descenso.
De entre todas las soluciones de x
3
+y
3
= z
3
donde 1 divida a z, elijamos
una solucion de manera que la potencia de 1 que divida a z sea mnima.
Recordemos que
(x + y)(x +
2
y)(
2
xy) = x
3
+ y
3
= z
3
.
Como z
3
0 (mod 1 ) y Z[] es un anillo de factorizacion unica, uno de los
factores x + y, x +
2
y,
2
x + y es m ultiplo de 1 .
Por otra parte,
x + y x +
2
y
2
x + y 0 (mod 1 ).
Entonces
_
_
x + y = (1 )A
x +
2
y = (1 )B
2
x + y = (1 )C
.
De la relacion 1 + +
2
= 0 tenemos
(x + y) + (x +
2
y) + (
2
x + y) = (1 )(A + B + C) = 0.
Seguidamente vamos a ver que (A, B) = (A, C) = (B, C) = 1. En efecto si
[ (x + y) y [ (x +
2
y), entonces [ (x + y) y [ (x +
2
y) y por tanto
divide a la diferencia. Es decir [ y(1
2
). Tambien [
2
(x + y). Restando de
nuevo tenemos que [ x(1
2
).
ORICAS 63
Como desde un principio hemos supuesto que (x, y) = 1, entonces tiene que
ser necesariamente 1 o uno de sus asociados. Por lo tanto (A, B) = 1. De igual
manera se demuestra el resto de los casos.
Podemos escribir la ecuacion de la forma
z
3
= (x + y)(x +
2
y)(
2
x + y) = ABC(1 )
3
.
Es decir,
_
z
1
_
3
= ABC con (A, B, C) = 1.
Como Z[] es un anillo de factorizacion unica tenemos que
A =
3
, B =
3
, C =
3
,
donde , , son unidades y = 1.
Como (x, y, z) = 1, x e y no pueden ser m ultiplos de 1; y por el lema 5.1.5,
si x 1 (mod 1 ) entonces x
2
1 (mod (1 )
4
). Igualmente para y.
Tenemos entonces que
x
3
+ y
3
1 +1 0 (mod (1 )
4
).
(Recordemos que x y (mod 1 )).
Hemos demostrado as que A, B o C deben ser m ultiplos de 1. Por ejemplo
C.
C =
3
= (1 )
3r
3
0
.
Supongamos que (1)
es la potencia de 1 que divide a z. Entonces 3+3r = 3

y por lo tanto r = 1.
De la relacion A + B + C = 0 tenemos
3
+
3
+
_
(1 )
1
0
_
3
= 0.
Y casi hemos llegado a una solucion donde el exponente donde el exponente de 1
en z es menor que . Pero todava nos estorban , y .
Como A =
3
y B =
3
no son m ultiplos de 1 entonces
3
1
(mod (1 )
4
) y
3
1 (mod (1 )
4
). De aqu,
3
+
3
+
3
0 (mod (1 )
3
).
Por otro lado sabemos que = 1. Como = , entonces
2
= 1. Es
decir, = = .
Dividiendo la ecuacion por , las unidades que nos quedan son 1 o 1, y ahora
s que las podemos meter dentro del parentess para obtener una solucion que entra
en contradicci on con la hipotesis en el metodo del descenso.
64 CAP
ANTICAS
5.1.3. Representacion de enteros como suma de dos cuadra-
dos
En esta seccion vamos a estudiar que enteros son representables como suma
de dos cuadrados.
En el captulo 2 analizamos el comportamiento en media de la funcion
r(n)#n = a
2
+ b
2
: a, b Z.
Concretamente vimos que
R(x) =
nx
r(n) = x + O(
x).
Sin embargo ahora vamos a considerar la ecuacion n = x
2
+ y
2
para un n dado y
podremos saber el n umero de soluciones de dicha ecuacion en funcion de la factor-
izacion de n en n umeros primos.
Recordemos que el estudio de la factorizacion de x
3
+ y
3
= z
3
lo hacamos en
Z[] porque era all donde x
3
+ y
3
se poda factorizar.
No es de extra nar por tanto que el estudio de nuestra ecuacion lo hagamos en
Z[i], que es donde se puede factorizar x
2
+ y
2
= (x + iy)(x iy).
Hagamos primeramente una serie de observaciones sobre el anillo Z[i] = a+bi :
a, b Z
1) N(a + bi) = (a + bi)(a bi) = a
2
+ b
2
.
2) Las unidades de Z[i] son 1, i.
3) Z[i] es un anillo eucldeo y por tanto de factorizacion unica.
4) Si a + bi es primo en Z[i], entonces a + bi divide a un primo racional.
5) Primos en Z[i]. Despues de 4), los primos en Z[i] los podemos buscar entre los
divisores de los primos racionales.
i) p = 2.
Si N(a + bi) = 2, entonces a + bi = 1 + i o cualquiera de sus asociados.
ii) p 3 (mod 4).
Si p no fuese primo en Z[i], existiran a y b tales que p = (a+bi)(abi) =
a
2
+ b
2
. Pero esto es imposible porque la suma de dos restos cuadraticos
modulo 4 nunca puede ser 3.
Todos los primos p 3 (mod 4) en Z, son tambien primos en Z[i].
ORICAS 65
a) p 1 (mod 4).
En el captulo de la Ley de Reciprocidad cuadratica vimos que si p
1 (mod 4) entonces 1 era un residuo cuadratico modulo p. Entonces
existira un x tal que x
2
1 (mod p). Es decir p [ x
2
+1 = (x+i)(xi).
Si p fuese primo en Z[i] debera dividir a alguno de estos factores. Pero ni
x/p +i/p, ni x(p i/p son enteros en Z[i]. Luego p tiene que tener alg un
divisor de la forma a + bi; p = (a + bi)(a bi) = a
2
+ b
2
. Veremos ahora
que a + bi es primo en Z[i].
Si no fuese as tendramos que a +bi =)(c +di)(e +fi), donde la norma
de los factores es mayor que 1. Pero eso es imposible p = N(a + bi) =
N(c + di)N(e + fi).
Resumiendo, hemos demostrado que los primos de Z[i] son 1 + i, los
primos racionales p 3 (mod 4) y los divisores (que siempre existen)
de los primos racionales p 1 (mod 4).
Teorema 5.1.7. Si
n = 2
p
j
(4)
p
r
j
j
q
i
3(4)
q
s
i
i
,
entonces
r(n) =
_
4
j
(1 + r
j
) si s
i
es par para todo i
0 en otro caso.
Demostracion. El primer paso sera descomponer n en sus factores primos en Z[i]:
n
= i
t
(1 + i)
2
j
(a + bi)
r
j
(a bi)
r
j
i
q
s
i
i
.
Buscamos el n umero de descomposiciones de n de la forma n = A
2
+ B
2
= (A +
Bi)(A Bi).
Cada uno de estos factores sera de la forma
A + Bi = i
t
1
(1 + i)
j
(a + bi)
r
j,1
(a bi)
r
j,2
i
q
s
i,1
i
A Bi = (i)
t
1
(1 i)
j
(a bi)
r
j,1
(a + bi)
r
j,2
i
q
s
i,1
i
.
Igualando normas tenemos que
_
1
=
r
j,1
+ r
j,2
= r
j
2s
i,1
= s
i
.
66 CAP
ANTICAS
De aqu se sigue que una condicion necesaria para que n sea suma de dos cuadrados
es que todos los s
i
sean pares.
En ese caso tendremos, para cada j, r
j
+ 1 posibles elecciones de los r
j,1
y
cuatro posibles elecciones de t
1
, lo que demuestra el teorema.
5.1.4. Suma de cuatro cuadrados
Hemos visto que hay n umeros que no se pueden escribir como suma de dos
cuadrados y es un ejercicio comprobar que si n 7 (mod 8) entonces n no se puede
escribir como suma de tres cuadrados. Sera la suma de cuatro cuadrados suciente
para representar cualquier entero?
Teorema 5.1.8 (Lagrange). Todo n umero natural puede expresarse como suma de
cuatro cuadrados.
Demostracion. Despues del siguiente lema, bastara con demostrar que todo primo
p es suma de cuatro cuadrados.
Lema 5.1.9 (Euler). Si n = x
2
1
+ x
2
2
+ x
2
3
+ x
2
4
y m = y
2
1
+ y
2
2
+ y
2
3
+ y
2
4
, entonces
nm = z
2
1
+ z
2
2
+ z
2
3
+ z
2
4
para algunos enteros z
1
, z
2
, z
3
, z
4
.
Demostracion. Basta con comprobar la relacion
(x
2
1
+ x
2
2
+ x
2
3
+ x
2
4
)(y
2
1
+ y
2
2
+ y
2
3
+ y
2
4
)
= (x
1
y
1
+ x
2
y
2
+ x
3
y
3
+ x
4
y
4
)
2
+ (x
1
y
2
x
2
y
1
+ x
3
y
4
x
4
y
3
)
2
+(x
1
y
3
x
3
y
1
+ x
4
y
2
x
2
y
4
)
2
+ (x
1
y
4
x
4
y
1
+ x
2
y
3
x
3
y
2
)
2
Lema 5.1.10. Sea p primo impar. Entonces existe un m, 1 m < p tal que
mp = x
2
1
+ x
2
2
+ x
2
3
+ x
2
4
.
Demostracion. Consideremos los conjuntos
S
1
= 0
2
, 1
2
, . . . ,
_
p 1
2
_
2
S
2
= 0
2
, 1
2
, . . . ,
_
p 1
2
_
2
1.
ORICAS 67
Los elementos de S
1
son incingruentes entre s modulo p. En efecto, si x
2
y
2
(mod p) entonces p [ (xy)(x+y). Pero eso es imposible porque 0 < xy < x+y < p.
Por la misma razon los elementos de S
2
tambien son incongruentes entre s.
Ambos conjuntos tienen
p+1
2
elementos. Como entre los dos tienen p + 1 elementos,
dos de ellos, uno de S
1
y otro e S
2
, han de ser incongruentes entre s.
x
2
y
2
1 (mod p).
Es decir, x
2
+ y
2
+ 1
2
+ 0
2
= mp. Solo falta por ver que m < p. Pero esto sigue de
la relacion
m =
x
2
+ y
2
+ 1
p

(
p1
2
)
2
+ (
p1
2
)
2
+ 1
p
< p.
La conclusion del teorema de Lagrange es consecuencia del siguiente lema.
Lema 5.1.11. Si m es el menor entero que verica el lema anterior entonces m = 1.
Demostracion. Sea m el mnimo entero tal que mp = x
2
1
+x
2
2
+x
2
3
+x
2
4
. Si m es par
tenemos las siguientes posibilidades: todos los x
i
son impares, todos los x
i
son pares
o exactamente dos x
i
son pares y los otros dos impares.
En cualquier caso podramos escribir
m
2
p =
_
x
1
+ x
2
2
_
2
+
_
x
1
x
2
2
_
2
+
_
x
3
+ x
4
2
_
2
+
_
x
3
x
4
2
_
2
.
Todos los n umeros en el interior de los parentesis son enteros, as como
m
2
.
Pero entonces
m
2
vericara el lema anterior y ya no sera m el mnor n umero que lo
hiciera.
Por lo tanto hemos demostrado que m ha de ser impar. Nuestro objetivo es
demostrar que m = 1. Vamos a suponer que m 3 y llegaremos a una contradicci on.
Denamos los y
i
de la manera siguiente:
y
i
x
i
(mod m),
m1
2
y
i

m1
2
.
De manera obvia se verica
y
2
1
+ y
2
2
+ y
2
3
+ y
2
4
x
2
1
+ x
2
2
+ x
2
3
+ x
2
4
0 (mod m).
Escribamos
mn = y
2
1
+ y
2
2
+ y
2
3
+ y
2
4
4
_
m1
2
_
2
< m
2
.
68 CAP
ANTICAS
Es decir, n < m.
Si n = 0, y
1
= y
2
= y
3
= y
4
= 0 y entonces x
i
0 (mod m) y por lo tanto
x
2
i
0 (mod m
2
). Luego
mp = x
2
1
+ x
2
2
+ x
2
3
+ x
2
4
= km
2
y p = km con 1 < m < p, lo cual es imposible porque p es primo.
Entonces podemos suponer que n > 0. Hagamos el siguiente producto utilizan-
do el lema 5.1.9:
m
2
pn = (x
2
1
+ x
2
2
+ x
2
3
+ x
2
4
)(y
2
1
+ y
2
2
+ y
2
3
+ y
2
4
) = z
2
1
+ z
2
2
+ z
2
3
+ z
2
4
.
Como x
i
y
i
(mod m), tenemos
z
2
x
1
y
2
x
2
y
1
+ x
3
y
4
x
4
y
3
x
1
x
2
x
2
x
1
+ x
3
x
4
x
4
x
3
0 (mod m)
z
3
x
1
y
3
x
3
y
1
+ x
4
y
2
x
2
y
4
x
1
x
3
x
3
x
1
+ x
4
x
2
x
2
x
4
0 (mod m)
z
4
x
1
y
4
x
4
y
1
+ x
2
y
3
x
3
y
2
x
1
x
4
x
4
x
1
+ x
2
x
3
x
3
x
2
0 (mod m)
z
1
x
1
y
1
+ x
2
y
2
+ x
3
y
3
+ x
4
y
4
x
2
1
+ x
2
2
+ x
2
3
+ x
2
4
= mp 0 (mod m)
Ahora podemos escribir
pn =
_
z
1
m
_
2
+
_
z
2
m
_
2
+
_
z
3
m
_
2
+
_
z
4
m
_
2
donde los z
i
/m son enteros.
Es decir, hemos encontrado un n < m que verica la hipotesis inicial y con-
tradice el hecho de que m sea el menor entero que la cumple. Por lo tanto hemos
completado la demostracion.
El teorema de Lagrange es un caso particular del problema de Waring, que
consiste en hallar, para cada k 2, el menor entero g(k) con la propiedad de
que todo entero positivo se puede escribir como suma de g(k) k-potencias. Hilbert
demostro que g(k) existe para todo k 2 y el teorema de Lagrange demuestra
que g(2) = 4. Como una aplicacion del teorema de Lagrange demostraremos que
g(4) 53.
ITULO 6 69
Teorema 5.1.12. Todo entero positivo puede expresarse como suma de 53 cuartas
potencias.
Demostracion.
Lema 5.1.13.
6
_
4
i=1
x
2
i
_
2
=
1i<j4
(x
i
+ x
j
)
4
+ (x
i
x
j
)
4
.
Demostracion. Es una simple comprobacion.
EL teorema de Lagrange nos dice que todo n umero natural se puede escribir
como suma de cuatro cuadrados. Luego todo m ultiplo de 6 se podra escribir de la
forma 6n
2
1
+ 6n
2
2
+ 6n
3
3
+ 6n
2
4
. Ya cada uno de los sumandos, por el lema anterior,
se puede escribir como suma de 12 cuartas potencias. Es decir, todo m ultiplo de 6
puede escribirse como suma de 48 cuartas potencias.
Para nalizar, si n = 6k + r, 0 r < 6, entonces
n = 6k + r =
48
i=1
z
4
i
+
r
j=1
1
4
.
En el pero de los casos necesitaremos 53 cuartas potencias.
5.2.1. Hallar todas las ternas de cuadrados en progresion aritmetica.
5.2.2. Demostrar que la ecuacion x
2
+ y
2
= 7z
2
no tiene soluciones en enteros
positivos.
5.2.3. Demostrar que si un triangulo rectangulo tiene lados de longitud entera en-
tonces la suma de los lados divide al producto de los mismos.
5.2.4. Hallar todas las soluciones enteras de la ecuacion x
2
+ y
2
= z
4
.
5.2.5. Hallar todas las soluciones en enteros positivos de la ecuacion
1
x
+
1
y
=
1
z
.
5.2.6. Hallar todas las soluciones en enteros positivos de la ecuacion
1
x
2
+
1
y
2
=
1
z
2
.
5.2.7. Demostrar que la ecuacion
1
x
4
+
1
y
4
=
1
z
2
no tiene soluciones enteras.
70 CAP
ANTICAS
5.2.8. Probar que x
4
+ 4y
4
= z
2
no tiene soluciones con xy ,= 0.
5.2.9. Probar que x
4
y
4
= z
2
no tiene soluciones con yz ,= 0.
5.2.10. Hallar todas las soluciones en enteros positivos de la ecuacion 11050 =
x
2
+ y
2
.
5.2.11. Demostrar que la unica solucion en enteros positivos de la ecuacion y
2
=
x
3
1 es y = 3, x = 2.
Captulo 6
Aproximacion de n umeros reales
por racionales
En la antigua Grecia los n umeros tenan un caracter magico y divino. EL
primer lugar de la jerarqua lo ocupaban los n umeros primos, despues el resto de los
n umeros enteros. Haba otros sin el mismo grado de perfeccion, los que se expresan
como cociente de dos enteros. Entonces pareca inconcebible que existiera otra clases
de n umeros. Cuenta la leyenda que el primer matematico que demosttro que la
diagonal de un cuadrado de lado 1 no puede ser el cociente de dos enteros, pago muy
cara su hereja.
Estamos en otros tiempos y podemos empezar este captulo demostrando que
2 es un n umero irracional.
Teorema 6.0.12.
2 es irracional.
Demostracion. Si
2 = a/b entonces 2b
2
= a
2
. Pero entonces el exponente de 2 de
la parte izquierda es impar, mientras el del de la derecha es par.
Despues de este sencillo ejercicio a estudiar como se aproximan los n umeros
reales por racionales.
6.1. Aproximacion de n umeros reales por racionales
Proposicion 6.1.1. Sea real y N > 1. Entonces existe un racional
h
k
, k N tal
que

h
k
<
1
kN
.
Demostracion. Si =
p
q
, con q N entonces

p
q
= 0
1
kN
.
71
72CAP
ITULO6. APROXIMACI
ONDE N
UMEROS REALES POR RACIONALES

Si =
p
q
con q > N o es irracional, construyamos los n umeros (m) =
m [m], m = 1, . . . , N.
Ahora aplicamos el principio del palomar al intervalo [0, 1] dividido en N trozos
de longitud 1/N.
[0, 1/N), [1/N, 2/N), . . . , [(N 1)/N, 1).
Si existe un m tal que (m) esta en el primer intervalo, tendramos [m [m][ <
1/N, Dividiendo entre m obtenemos la aproximaci on deseada:

[m]
m
<
1
mN
.
SI no existiera tal m, tendramos N n umeros en N1 intervalos. Luego dos de ellos,
(m) y (m
) tendran que estar en el mismo intervalo, por lo que su distancia sera

menor que 1/N,
[m [m] (m
[m
])[ <
1
N
.
Dividiendo entre mm
obtenemos el resultado deseado:

[m] [m
]
mm
<
1
(mm
)N
.
Proposicion 6.1.2. El n umero es irracional si y solo si existen innitas fracciones
a
b
tales que

a
b
<
1
b
2
.
Demostracion. Por la proposicion anterior sabemos que para cada n existe una
fraccion
a
n
b
n
tal que

a
n
b
n
<
1
nb
n
con b
n
n. Entonces

a
n
b
n
<
1
b
2
n
.
Si solo hubiese un n umero nito de fracciones
a
n
b
n
cumpliendo dicha propiedad,
una misma fraccion tendran lugar para innitos n:
a
n
b
n
=
a
b
para innitos n. Es decir,

a
b
<
1
bn
para innitos valores de n, y tendramos que =
a
b
.
6.2. IRRACIONALIDAD DE Y DE E
M
73
En el otro sentido, supongamos que =
p
q
, (p, q) = 1, es un racional y que
existen innitos racionales
a
b
tales que si
p
q

a
b
<
1
b
2
. Como
1
bq

p
q

a
b
para
a
b
,=
p
q
entonces necesariamente tenemos que b < q, lo que limita a un n umero nito
las posibilidades de los racionales
a
b
.
El resultado de la proposicion 6.1.2 puede ser mejorado en el sentido de susti-
tuir [
a
b
[ <
1
b
2
por [
a
b
[ <
1
5b
2
, que es la mejor constante posible.
Demostrar que un n umero real es irracional puede constitutir un problema
muy difcil. La siguiente observaci on nos puede ayudar en algunos casos.
Si
P
Q
,
p
q
son racionales distintos es claro que
P
Q

p
q
=
[Pq pQ[
Qq

1
Qq
.
Por lo tanto para ver que un n umero es irracional basta con obtener una sucesion
de racionales
p
n
q
n
tales que

p
n
q
n
= o
_
1
q
n
_
.
6.2. Irracionalidad de y de e
m
La estrategia sugerida anteriormente para ver si un n umero es irracional no
siempre es facil de aplicar. Afortunadamente las propiedades intrnsecas de ciertos
n umeros nos permiten combinarla con otro tipo de argumentos para demostrar que
son irracionales.
Teorema 6.2.1. es irracional.
Demostracion. Supongamos que es racional, =
n
m
. Consideremos el polinomio
p(x) = x(n mx).
Veamos primero que D
j
x
_
p
k
(x)
k!
_
es un entero en x = 0 y en x = .
D
j
x
_
p
k
(x)
k!
_
= D
j
x
_
1
k!
x
k
(n mx)
k
_
=
1
k!
0rk
0sk
a
r,s
x
r
(n mx)
s
para ciertos enteros a
r,s
.
74CAP
ITULO6. APROXIMACI
ONDE N

Si r > 0 y s > 0, entonces
1
k!
a
r,s
x
r
(n mx)
s
se anula en x = 0 y en x = =
n/m.
Si r = 0, entonces x
k
ha sido derivado por lo menos k veces y por lo tanto k!
debe dividir a a
0,s
.
Tenemos entonces que
1
k!
a
0,s
(n mx)
s
es entero en x = 0 y en x = n/m.
Por ultimo, si s = 0, a
r,0
sera m ultiplo de m
k
k! por la misma razon anterior.
En este caso
1
k!
a
r,0
x
r
tambien es entero en x = 0 y en x = n/m porque r k.
Una vez visto esto pasemos a demostrar nuestro teorema. Por denicion
e
p(x)
=
k=0
p
k
(x)
k!
.
Entonces
_

0
sin x e
p(x)
dx =
k=0
_

0
sin x
p
k
(x)
k!
dx.
Integrando por partes tenemos
_

0
sin x
p
k
(x)
k!
dx = cos x
_
p
k
(x)
k!
_
0
+
_

0
cos x
_
p
k
(x)
k!
_
dx.
Integrando otra vez por partes,
_

0
cos x
_
p
k
(x)
k!
_
dx = sin x
_
p
k
(x)
k!
_
0

_

0
sin x
_
p
k
(x)
k!
_
dx.
En un n umero nito de pasos obtendremos
_
0
sin x
p
k
(x)
k!
como una suma nita de
terminos de la forma sin x
_
p
k
(x)
k!
_
j)
[
0
y cos x
_
p
k
(x)
k!
_
j)
[
0
.
Como las funciones sin x, cos x y
_
p
k
(x)
k!
_
j)
toman valores enteros en x = 0 y
x = , el valor de la integral sera un n umero entero para todo k.
Ademas las funciones sin x y
p
k
(x)
k!
son estrictamente positivas en el intervalo
(0, ). Luego la integral
_
0
sin x
p
k
(x)
k!
dx debe ser un n umero entero mayor o igual
que 1.
Por tanto la integral
_
0
sin x e
p(x)
debera ser innita, lo cual es absurdo porque
estamos integrando sobre un intervalo nito una funcion acotada en dicho intervalo.
Teorema 6.2.2. El n umero e
m
es irracional para todo entero m ,= 0.
6.3. N
UMEROS ALGEBRAICOS Y TRASCENDENTES 75

Demostracion. Consideremos el polinomio p(x) = x(mx). Por las mismas razones
que en el teorema anterior, D
j
x
_
p
k
(x)
k!
_
toma valores enteros en x = 0 y en x = m.
Tambien tenemos
_
m
0
e
x
e
p(x)
dx =
_
m
0
e
x
k=0
p
k
(x)
k!
dx =
k=0
_
m
0
e
x
p
k
(x)
k!
dx.
Integrando por partes,
_
m
0
e
x
p
k
(x)
k!
dx = e
x
_
p
k
(x)
k!
_
m
0

_
m
0
e
x
_
p
k
(x)
k!
_
dx.
Repitiendo el proceso un n umero nito de veces, el valor de la integral para cada k
sera de la forma e
m
z
1
+ z
2
, z
1
, z
2
Z.
Tambien cada una de las integrales es estrictamente positiva porque las fun-
ciones e
x
y p
k
(x) son estrictamente positivas en el intervalo (0, m).
Si e
m
fuese racional, e
m
=
a
b
, entonces e
m
z
1
+ z
2

1
b
y
_
m
0
e
x
e
p(x)
dx
0
1
b
=
lo cual es absurdo porque la integral es nita.
Curiosamente, aunque casi todos los n umeros son irracionales, son pocos los
que se conocen explcitamente. En general es un problema muy difcil demostrar la
racionalidad o irracionalidad de un n umero real dado.
Por ejemplo se desconoce si la constante de Euler,
= lm
k
_
k
n=1
log k
_
es un n umero irracional, y en la misma situacion se encuentra el n umero
e
.
6.3. N umeros algebraicos y trascendentes
Dentro de los n umeros irracionales, hay algunos mas irracionales que otros.
Un n umero irracional es aquel que no satisface ninguna ecuacion polinomica de
grado 1 con coecientes enteros. Por ejemplo,
2. Sin embargo este n umero satisface

76CAP
ITULO6. APROXIMACI
ONDE N

una ecuacion polinomica de grado 2, x
2
2 = 0 y, de alguna manera, podemos decir
que es menos irracional que por ejemplo
3
2, que satisface una ecuacion polinomica

de grado 3.
Denicion 6.3.1. Un n umero es un n umero algebraico de orden n si es raz de
un polinomio irreducible de grado n con coecientes enteros.
Existen n umeros reales que no son algebraicos de ning un orden? La respuesta
es armativa. De hecho sabemos mucho mas: el conjunto de los n umeros algebraicos
es numerable y, por tanto, en el sentido de la teora de la medida de Lebesgue casi
ning un punto es algebraico. Si escogemos al azar un punto de la recta real, con
probabilidad igual a 1 se correspondera con un n umero no algebraico.
A estos n umeros no algebraicos les llamaremos trascendentes.
Teorema 6.3.2 (Liouville). Si es un n umero algebraico de orden n 2, existe
una constante C
> 0 tal que

p
q
>
C
q
n
para todo par de enteros p, q.
Demostracion. Si es algebraico de orden n, existira un polinomio irreducible
f(x)a
n
x
n
+ + a
1
x + a
0
tal que f() = 0.
Sea M = sup
1<x<+1
[f
(x)[. Si

p
q
< 1, por el teorema del valor medio

tenemos que para alg un x ( 1, + 1),
f() f(
p
q
)

p
q
[f
(x)[

p
q
M.
Como f() = 0, tenemos

p
q
[f(p/q)[
M
.
Sustituyendo en el polinomio, f(p/q) es un n umero racional con denominador menor
o igual que q
n
y distinto de 0 por ser irreducible. Entonces

p
q
1/M
q
n
y el teorema esta demostrado tomando C
= 1/M.
6.3. N
UMEROS ALGEBRAICOS Y TRASCENDENTES 77

El estudio de la trascendencia de un n umero es bastante mas difcil que el
estudio de su irracionalidad.
Sabemos que y e son n umeros trascendentes. La trascendencia de fue de-
mostrada por Lindemann, acabando as con el famosi porblema de la cuadratura
del crculo: a partir de un crculo de diametro 1, podemos construir con regal y
compas un cuadrado del mismo area? Esto equivaldra a construir el n umero

.
Ahora bien las construcciones con regla y compas involucran la resolucion de ecua-
ciones de primer grado, interseccion de dos rectas, o de segundo grado, intersecci on
de una recta y una circunferencia o de dos circunferencias entre s. Si un n umero
es construible entonces es raz de un polinomio irreducible (en Z) con coecientes
enteros de grado igual a una potencia de 2.
Como
es trascendente, en particular no puede ser construible y por lo tanto

no podemos cuadrar el crculo.
Teorema 6.3.3 (Hermite). El n umero e es trascendente.
Demostracion. Supongamos, por el contrario, que es algebraico y que satisface la
ecuacion
a
n
e
n
+ a
n1
e
n1
+ + a
1
e + a
0
= 0
de coecientes enteros, con a
0
,= 0 y a
n
,= 0.
Fijado un n umero primo p construimos el polinomio
P(x) = x
p1
(x 1)
p
(x n)
p
y la funcion
I(y) =
_
y
0
e
yx
P(x)dx, y 0.
Integrando por partes repetidas veces obtenemos la expresion
I(y) = e
y
d
j=0
P
j)
(0)
d
j=0
P
j)
(y)
donde d = (n + 1)p 1 es el grado del polinomio P(x).
Consideremos la cantidad
A = a
0
I(0) + + a
n
I(n) =
d
j=0
n
k=0
a
k
_
e
k
P
j)
(0) P
j)
(k)
_
=
d
j=0
n
k=0
a
k
P
j)
(k).
Tenemos que:
78CAP
ITULO6. APROXIMACI
ONDE N

1) P
j)
(k) es un m ultiplo de p! si j p.
2) P
j)
(k) = 0 si j < p y 1 k n o si j < p 1 y k = 0.
3) P
j)
(k) es un entero divisible por p! excepto en el caso j = p 1, k = 0.
4) P
p1)
(0) = (p1)!(1)
np
(n!)
p
. Luego , si p > n entonces P
p1)
(0) es un entero
divisible por (p 1)! pero no por p!.
Recapitulemos: si p > n entonces A es un entero distinto de cero y divisible por
(p 1)!.
Por otro lado, de la denicion de la funcion I(y) se obtiene facilmente la
estimacion:
[I(y)[ ye
y
sup
0xy
[P(x)[ ye
y
(n + y)
d
.
Luego
[A[
n
j=1
[a
j
[[I(j)[ max
j
[a
j
[
n
j=1
je
j
(n + j)
d
max
j
[a
j
[e
n
n
2
(2n)
d
max
j
[a
j
[e
n
n
2
(2n)
(n+1)p1
C
p
para alguna constante positiva C = C(n).
Si p es sucientemente grande resulta absurdo que (p 1)! C
p
.
6.4. Sucesiones uniformemente distribuidas
Denicion 6.4.1. Decimos que una sucesion de n umeros reales a
n
[0, 1] esta uni-
formemmente distribuida si para todo intervalo I [0, 1],
lm
N
#a
j
I, j = 1, 2 . . . , N
N
= [I[.
Esto es lo mismo que decir que
lm
N
1
N
N
j=1
I
(a
j
) = [I[,
donde
I
es la funcion caracterstica del intervalo I.
Teorema 6.4.2 (H. Weyl). Si es un n umero irracional entonces la sucesion (n)
esta uniformemente distribuida en [0, 1].
6.4. SUCESIONES UNIFORMEMENTE DISTRIBUIDAS 79
Vamos a descomponer en varias etapas la demostracion de este teorema.
Una particion del intervalo [0, 1] es un conjunto de puntos 0 = t
0
< t
1
< <
t
n
= 1.
Una funcion acotada y denida en [0, 1], es continua y denida a trozos si
existe una particion 0 = t
0
< t
1
< < t
n
= 1 del intervalo [0, 1] de manera que la
restriccion de f a cada intervalo [t
i1
, t
i
), i = 1, . . . , n sea una funcion continua.
El caso en el que la funcion continua a trozos es igual a una constante en cada
intervalo [t
i1
, t
i
) recibe un nombre especial, se dice que f es una funcion escalonada.
Es decir, f es escalonada si es de la forma
f(x) =
n
k=1
a
k
[t
k1
,t
k
)
(x) donde
[t
k1
,t
k
)
(x) =
_
1 si x [t
k1
, t
k
)
0 en otro caso.
Lema 6.4.3. Una condicion necesaria y suciente para que una sucesion a
n

[0, 1] este uniformemente distribuida en [0, 1] es que
lm
n
1
n
n
k=1
f(a
k
) =
_
1
0
f(x)dx
para toda funcion f continua a trozos.
Demostracion. i) Si la igualdad (6.4.3) es cierta para toda funcion continua a trozos,
en particular es cierta para la funcion caracterstica de un intervalo I = [a, b) [0, 1),
es decri:
lm
n
#a
j
I, j = 1, 2, . . . , n
n
= lm
n
1
n
n
k=1
[a,b)
(a
k
) =
_
1
0
[a,b)
(x)dx = b a
ii) El hecho de que a
n
este distribuida uniformemente es equivalente a armar
que la igualdad (6.4.3) es cierta para funciones escalonadas. Basta con observar que
toda funcion continua a trozos puede aproximarse por funciones escalonadas; es
decir, que para todo > 0 podemos encontrar funciones escalonadas f
1
y f
2
tales
que f
1
f f
2
y
_
1
0
(f
2
(x) f
1
(x))dx . Por tanto
lmsup
n
1
n
n
k=1
f(a
k
) lm
n
f
2
(a
k
) =
_
1
0
f
2
(x)
_
1
0
f(x)dx + .
80CAP
ITULO6. APROXIMACI
ONDE N

lminf
n
1
n
n
k=1
f(a
k
) lm
n
f
1
(a
k
) =
_
1
0
f
1
(x)
_
1
0
f(x)dx .
Teorema 6.4.4. Una condicion suciente y necesaria para que la sucesion a
n
este uniformemente distribuida en el intervalos [0, 1] es que

lm
n
1
n
n
k=1
e
2ima
k
= 0
para todo entero m ,= 0.
Demostracion. a) La condicion es necesaria: Para probarlo, como e
ix
= cos x+i sin x,
basta con aplicar el lema 6.4.3 a las funciones f(x) = cos(2mx) y f(x) = sin(2mx)
y observar que
_
1
0
cos(2mx)dx =
_
1
0
sin(2mx)dx = 0
si m Z, m ,= 0.
b) La suciencia es un poco mas delicada y esta basada en el hecho de que
toda funcion continua f en el intervalo [0, 1] tal que f(0) = f(1) puede aproximarse
uniformemente por polinomios trigonometricos de la forma
P(x) = b
0
+ (b
1
cos(2x) + c
1
sin(2x) + + (b
m
cos(2mx) + c
m
sin(2mx)
Si
lm
n
1
n
m
k=1
cos(2ma
k
) + i sin(2ma
k
) = 0
para todo m > 0, entonces
lm
n
1
n
n
k=1
P(a
k
) = b
0
=
_
1
0
P(x)dx
para todo polinomio trigonometrico P(x) y, por lo expuesto anteriormente,
lm
n
1
n
n
k=1
f(a
k
) =
_
1
0
f(x)dx
para toda funcion continua.
Finalmente basta con observar que si f es continua a trozos, podemos encontrar
dos funciones continuas y periodicas tales que f
1
f f
2
y
_
1
0
(f
2
(x) f
1
(x))dx
.
6.4. SUCESIONES UNIFORMEMENTE DISTRIBUIDAS 81
Demostracion del teorema 6.4.2. Tenemos que probar que para todo entero positivo
m,
lm
n
1
n
n
k=1
e
2im(n)
= 0.
Utilizaremos el hecho de que e
2im(n)
= e
2imn
y que
n
k=1
e
2ikx
=
e
2ix
e
2i(n+1)x
1e
2ix
cuando x no es un entero.
Al ser irracional m nunca va a ser un entero y entonces
1
n
n
k=1
e
2im(n)
=
1
n
e
2im
e
2i(n+1)m
1 e
2im
1
n
2
[1 e
2im
[
,
que tiende a cero cuando n .
Hacer estimaciones no triviales del tipo
e
2ia
j
es un instrumento clave para
resolver muchos problemas en teora de n umeros.
Po ejemplo, la sucesion (n
k
) se trata en el problema de Waring, y la sucesion
(p) donde p recorre los primos, en la conjetura de Goldbach.
El teorema de H. Weyl, y sus extensiones a dimensiones mayores, es un resul-
tado importante no solo en la teora de los N umeros, sino tambien en Geometra y
Sistemas din namicos.
En el parrafo siguiente consideraremos otra generalizacion del caso (a
n
x), a
n

que es valida para casi todos los n umeros x (0, 1], en el sentido de la teora de
la medida.
6.4.1. N umeros normales
Dado el n umero real x [0, 1) con desarrollo decimal x = 0, x
1
x
2
. . . x
k
. . . , y
dado un dgito m 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, el n umero
#x
j
= m, j = 1, . . . , N
N
mide la frecuencia con la que el dgito m aparece en al sucesion de las N primeras
cifras decimales de x.
Denicion 6.4.5. Un n umero x [0, 1) sera llamado normal si, para todo dgito
m, existe
lm
N
#x
j
= m, j = 1, . . . , N
N
=
1
10
.
82CAP
ITULO6. APROXIMACI
ONDE N

En otras palabras, un n umero normal es aquel que tiene la misma proporcion
de cada uno de los dgitos en su desarrollo decimal.
Es facil construir n umeros normales, como 0, 1234567890123456789012.. y no
normales, por ejemplo, 0, 121212 . . . El siguiente teorema de E. Borel tiene conex-
iones interesantes con otras ramas de las Matematicas, tales como la Teora Ergodica
y la Probabilidad.
Teorema 6.4.6. Excepto por un conjunto de medida cero, todos los n umeros son
normales.
La demostracion la vamos a basar en una extension del Teorema de H. Weyl.
Teorema 6.4.7. Sea a
n
una sucesion creciente de n umeros enteros. Para casi
todo n umero real x (es decir, excepto por un conjunto de medida igual a cero), la
sucesion (a
n
x) esta uniformemente distribuida en el intervalo [0, 1).
Demostracion. Fijado el n umero entero m ,= 0, consideremos las sumas
S
M
(x) =
1
M
M
n=1
e
2ima
n
x
y la integrales
_
1
0
[S
M
(x; m[
2
dx =
1
M
2
M
n,k=1
_
1
0
e
2im(a
n
a
k
)x
dx =
1
M
,
ya que si n ,= k, entonces
_
1
0
e
2im(a
n
a
k
)x
dx = 0.
Por lo tanto, si consideramos la serie
F(x; m) =
N=1
[S
N
2(x; m)[
2
resulta que
_
1
0
F(x; m)dx = lm
k
_
1
0
k
N=1
[S
N
2(x; m)[
2
dx =
N=1
1
N
2
< .
Por lo tanto, para cada entero m ,= 0, ha de vericarse que F(x; m) < en casi
todo x; es decir, excepto en un conjunto B
m
de medida cero.
En particular, si x , B
m
entonces lm
N
S
N
2(x; m) = 0.
6.5. EJERCICIOS 83
Dado el entero positivo M podemos encontrar N = [
M] tal que N
2
M <
(N + 1)
2
. Entonces
S
M
(x; m) =
1
M
_
N
2
n=1
e
2ima
n
x
+
M
n=N
2
+1
e
2ima
n
x
_
y
[S
M
(x; m)[ [S
N
2(x; m)[ +
2N + 1
M
.
Luego si x , B
m
tenemos que
lm
M
S
M
(x; m) = 0.
Finalmente el conjunto B =
m=0
B
m
es de medida cero y verica que si x , B
entonces
lm
M
1
M
M
n=1
e
2ima
n
x
= 0
para todo m ,= 0. En particular la sucesion (a
n
x) esta uniformemente distribuida en
[0, 1).
Demostracion del teorema 6.4.6. Consideremos la sucesion a
n
= 10
n
. Seg un el teo-
rema anterior, existe un conjunto de medida cero B tal que si x , B entonces (10
n
x)
esta uniformemente distribuida.
Dado el dgito k = 0, 1, . . . , 9 consideremos el intervalo I
k
= [
k
10
,
k+1
10
). La
condicion de distribucion uniforme implica que
lm
N
1
N
N
n=1
I
k
(10
n
x) =
_
1
0
I
k
(x)dx =
1
10
.
La demostracion se concluye observando que si 0, x
1
x
2
. . . x
n
. . . es el desarrollo dec-
imal del n umero x, entonces (10
n
x) = 0, x
n+1
. . . Es decir, (10
n
x) I
k
si y solo si
x
n+1
= k.
6.5. Ejercicios
3
2 es irracional.
6.5.2. Demostrar que el logaritmo decimal de un racional positivo, o bien es entero,
o bien es irracional.
84CAP
ITULO6. APROXIMACI
ONDE N

6.5.3. Demostrar que si existen innitas fracciones
a
n
b
n
tales que lm
n
b
n

a
n
b
n
=
0, entonces es irracional. Como aplicacion demostrar que e es irracional.
6.5.4. Sea p(n) un polinomio con coecientes enteros y positivos. Demostrar que
n=1
1
10
p(n)
es racional si y solo si p(n) es de grado 1.
2
p
q
>
1
4q
2
para todo par de enteros p, q.
6.5.6. Hallar tres fracciones a/b tales que [
6 a/b[ < b
2
.
n=1
1
10
n!
es trascendente.
6.5.8. Sea =
n
5
n
5
. Demostrar que =
_
3 +
es irracional.
6.5.9. Demostrar que todo n umero racional perteneciente al intervalo [0, 1] se puede
expresar como una suma nita de fracciones distintas con numerador 1.
6.5.10. Demostrar que la sucesion (n!e) no esta uniformemente distribuida.
6.5.11. En el primer examen saco un 8[ sin 1[, en el segundo 8[ sin 6[, en el tercero
8[ sin 9[, y as sucesivamente. Demostrar que si el n umero de examenes es sucien-
temente grande, la media me saldra aprobado.
6.5.12. Demostrar que, dados dos enteros a, b, a ,= 0, la sucesion (an + b)
esta uniformemente distribuida si y solo si es irracional.
6.5.13. Demostrar que la sucesion (log n) no esta uniformemente distribuida.
6.5.14. Demostrar que la sucesion: parte fraccionaria de
_
5+1
2
_
n
no esta uniforme-
mente distribuida.
6.5.15. Demostrar que existe un n tal que (ne) tiene un 7 en el lugar 77.
6.5.16. Demostrar que existe un n tal que [10000(n)] = 2001.
6.5.17. Calcular
lm
x
1
x
x
n=1
1
n
3 [n
3] + 1
.
6.5.18. Demostrar que casi todo x en [0, 1) es normal en todas las bases.
6.5.19. Demostrar que los n umeros = 0,12345678910111213... y = 0, 2357111317192329 . . .
son irracionales.
6.5.20. Sean a, b enteros, b ,= 0. Demostrar que tan(
4
a
b
) es racional si y solo si b
es entero.
6.5.21. Demostrar que si es irracional entonces la sucesion (n
2
) esta uniforme-
mente distribuida.
Captulo 7
La distribucion de los n umeros
primos
En este captulo estudiaremos la funcion (x) que cuenta el n umero de primos
menores o iguales que x, y haremos enfasis en la formula asint otica
(x)
x
log x
,
que es conocida como teorema de los n umeros primos.
En el captulo 1 vimos la formulaci on equivalente
(x) x o lm
x
(x)
x
= 1,
en terminos de la funcion de Chebychev
(x) =
p
m
x
log p =
nx
(n)
que resulta mas conveniente porque la funcion tiene propiedades mas sencillas de
desvelar por medios analticos.
La teora que vamos a considerar fue esbozada por B. Riemann en una maravil-
losa memoria del a no 1860 tituladaUeber die Anzahl der Primzahlen unter einen
gegebenen Grosse. En tan solo ocho paginas Riemann exhibe las profundas conex-
iones que existen entre y la funcion de la variable compleja s = + i. En
particular, el teorema de los n umeros primos es una consecuencia de la no anulaci on
de la funcion en la lnea vertical = 1 y fue demostrado, independientemente, por
J. Hadamard y C.J, de la Vallee Poussin, mas de 30 a nos despues de la aparicion
del trabajo de B. Riemann.
85
86 CAP
ITULO 7. LA DISTRIBUCI
ON DE LOS N
UMEROS PRIMOS
Existe una realacion explcita entre la estimacion de la diferencia (x) x y
los ceros de la funcion en la banda 0 1.
Riemann formul o la hipotesis de que estos ceros estasn situados precisamente
en le lnea vertical = 1/2. Esta conjetura es uno de los problemas mas famosos de
las Matematicas y posee una rica, y a veces pintoresca, historia.
A diferencia de los captulos anteriores donde, en general no hemos necesitado
mas que metodos elementalesque incolucran a lo sumo, al calculo diferencial de
una variable real, este captulo necesita la teora de funciones analticas y algunas
propiedades de la transformada de Fourier. Ello no debe extra narnos, por cuanto
el estudio de la distribucion de los n umeros primos fue uno de los motores que
propulso el desarrollo de la teora de funciones y del analisis armonico, dando lugar
a teoras a la vez profundas y bellas.
En torno al a no 1950 A. Selberg y P. Erdos encontraron una demostracion ele-
mental de la ley asint otica, es decir, sin el recurso a la teora de funciones analticas.
En este captulo vamos a presentar la demostracion clasica siguiendo el camino
indicado por B. Riemann, y supondremos al lector familiarizado con la variable
compleja.
7.0.1. La funcion de Riemann y el Teorema de los n umeros
primos
Recordemos que Euler introdujo la funcion (s) =
n=1
1
n
s
, denida para todo
real s > 1 para demostrar la existencia de innitos primos como consecuencia de la
divergencia de la serie armonica
n
1
n
.
En lo sucesivo usaremos la notacion tradicional de la Teora de los N umeros
y designaremos con las letras y a las partes real e imaginaria, respectivamente,
del n umero complejo s.
Siguiendo a Riemann, conviene extender el dominio de al semiplano complejo
'(s) = > 1, donde la serie
n=1
n
s
es absolutamente convergente y dene a una
funcion analtica. En este semiplano tambien es cierta la identidad de Euler que
conecta la sucesion de todos los enteros positivos con la de los n umeros primos
(s) =
n=1
1
n
s
=
p
_
1
1
p
s
_
1
.
La demostracion es identica a aquella que presentamos en el captulo 1 para s real,
s > 1.
Tomando logaritmos en la identidad anterior y utilizando el desarrollo en serie
87
de Taylor de la funcion
log(1 z) =
m=1
z
m
m
,
valido en [z[ < 1, obtenemos
(7.1) log (s) =
p
log
_
1
1
p
s
_
=
m1
1
m
1
p
ms
.
Si derivamos termino a termino la identidad anterior, obtenemos que
(s)
(s)
=
m1
log p
p
ms
.
Recordando que la funcion de Mangoldt esta denida por
(n) =
_
log p si n = p
m
0 en otro caso
podemos escribir la identidad
(s)
(s)
=
n=1
(n)
n
s
.
7.0.2. El teorema del n umero primo
El teorema del n umero primo consiste en establecer la ley asintotica (x)
x
log x
, que como vimos en el primer captulo, es equivalente a (x) x, x .
Teorema 7.0.22 (Teorema de los n umeros primos). (x) x cuando x .
Por razones que se ver an mas adelante conviene introducir la funcion primitiva
1
(x) =
_
x
0
(t)dt.
Lema 7.0.23. Si
1
(x)
x
2
2
entonces (x) x.
Demostracion. Dado c > 1, por ser (t) creciente tenemos la desicualdad
(x)
1
(c 1)x
_
cx
x
(t)dt =
1
(c 1)x
(
1
(cx)
1
(x))
=
1
(c 1)x
_
(cx)
2
2

x
2
2
+ o(x
2
)
_
= x
c + 1
2
+ o(x).
88 CAP
ON DE LOS N
UMEROS PRIMOS
Para todo c > 1 se tiene que
lmsup
x
(x)
x

c + 1
2
,
y esto es cierto para todo c > 1. Tomando el lmite cuando c 1, obtenemos
nalmente que lmsup
x
(x)
x
1. Un argumento similar, pero con c < 1, permite
demostrar que lminf
x
(x)
x
1.
Nuestro objetivo es entonces demostrar que lm
x
1
(x)
x
2
=
1
2
. En el lemma
7.0.25 obtendremos una formula explcita para
1
(x) donde aparece involucrada la
funcion . Pero antes necesitamos un lema tecnico.
Lema 7.0.24. Dados c > 0, y > 0 y k 1 tenemos que
1
2i
_
c+i
ci
y
s
s(s + 1) (s + k)
ds =
_
_
_
0, si 0 y 1
1
k!
_
1
1
y
_
k
, si y > 1.
Demostracion. Es un sencillo calculo de residuos. Consideremos la circunferencia
de radio R, muy grande, centrada en el origen. La recta vertical = c corta a la
circunferencia en dos puntos c iT(R) y la divide en dos arcos, uno mas grande a la
izquierda al que llamaremos
1
R
, y otro mas peque no a la derecha, al que llamaremos
2
R
. Conviene hacerse un dibujo.
Si 0 < y 1 consideramos el recinto cuya frontera es
2
R
y el trozo de recta
vertical c iT(R).
Como la funcion
y
s
s(s+1)(s+k)
ds es analtica en ese recinto, su integral a lo largo
de la frontera es cero, luego
_
c+iT(R)
ciT(R)
y
s
s(s + 1) (s + k)
ds =
_
2
R
y
s
s(s + 1) (s + k)
ds.
Pero cuando s
2
R
tenemos la estimacion
y
s
s(s + 1) (s + k)
y
c
R(R 1) (R k)

1
R
k+1
.
Por lo tanto

2
R
y
s
s(s + 1) (s + k)
ds
1
R
k
y
_
c+i
ci
= lm
R
_
c+iT(R)
ciT(R)
y
s
s(s + 1) (s + k)
ds = 0.
89
Si y > 1 consideramos el recinto cuya frontera es
1
R
y el trozo de recta vertical
c iT(R). En este recinto, si R es sucientemente grande, la funcion tiene polos en
j = 0, 1, . . . , k. Tenemos entonces
1
2i
_
c+iT(R)
ciT(R)
y
s
s(s + 1) (s + k)
ds +
1
2i
_
1
R
y
s
s(s + 1) (s + k)
ds
=
k
j=0
Res
_
y
s
s(s + 1) (s + k)
, j
_
=
k
j=0
(1)
j
y
j
j!(k j)!
=
1
k!
_
1
1
y
_
k
.
La demostracion naliza observando que la integral
_
1
R
0 por las mismas razones
que en el caso anterior.
Lema 7.0.25. Para todo c > 1 tenemos la formula
1
(x)
x
2

1
2
_
1
1
x
_
2
=
1
2i
_
c+i
ci
x
s1
s(s + 1)
_
(s)
(s)

1
s 1
_
ds.
Demostracion. Dado c > 1, utilizamos el lema 7.0.24 para escribir
1
(x)
x
2
=
1
x
nx
_
1
n
x
_
(n) =
1
x
=
n=1
(n)
1
2i
_
c+i
ci
(x/n))
s
s(s + 1)
ds
=
1
2i
_
c+i
ci
x
s1
s(s + 1)
n=1
(n)
n
s
ds
=
1
2i
_
c+i
ci
x
s1
s(s + 1)
_
(s)
(s)
ds
_
ds.
El lema 7.0.24 tambien nos da
1
2i
_
c+i
ci
x
s1
s(s + 1)
1
s 1
ds =
1
2
_
1
1
x
_
2
.
Basta entonces con restar las dos identidades para demostrar el lema. Observemos
que la hipotesis '(s) > 1 implica que todas las series y las integrales consideradas
son absolutamente convergentes.
Los lemas 7.0.23 y 7.0.25 nos muestran el teorema del n umero primo es equiv-
alente a demostrar que para cualquier c > 1,
lm
x
_
c+
ci
x
s1
s(s + 1)
_
(s)
(s)

1
s 1
_
ds = 0.
90 CAP
ON DE LOS N
UMEROS PRIMOS
Examinemos este lmite. La lnea de integracion s = c +i, < < +
permite sacar el factor x
c1
fuera de la integral, pero x
c1
si c > 1.
Una estrategia natural consiste en trasladar la lnea de integraci on a la lnea
c = 1. Pero para hacerlo necesitamos conocer mejor las propiedades de la funcion
(s)
(s)

1
s 1
: analiticidad y crecimiento en un entorno de esa lnea, ausencia de
ceros de en 1 + i, etc..
Supongamos por un momento que podemos trasladar la lnea de integracion
a s = 1 + i y escribir la integral en la forma siguiente despues de hacer el cambio
s = 1 + i:
_

e
i log x
h()d =

h(log x),
donde
h() =
1
(1 + i)(2 + i)
_
(1 + i)
(1 + i)

1
i
_
.
Si ademas demostramos que h es integrable, el Teorema de Riemann-Lebesgue nos
dara entonces
lm
x
h(log x) = 0
y, por tanto,
1
(x)
x
2
2
, x .
En lo que resta del captulo nos dedicaremos a probar los pasos necesarios para
completar esta estrategia.
Observar primero que los posibles polos de

(s)
(s)
van a venir de los polos y de los
ceros de (s). En efecto, si (s) tiene un polo o un cero en s = s
0
podemos escribir
(s) = (s s
0
)
k
g(s) con k ,= 0, g(s) analtica en s
0
y tal que g(s
0
) ,= 0. Tomando
logaritmos y derivando obtenemos
(s)
(s)
=
k
s s
0
+
g
(s)
g(s)
,
que tiene un polo en s = s
0
de residuo k.
El unico polo de la funcion se analiza en el siguiente lema.
Lema 7.0.26. La funcion tiene una extension al semiplano '(s) > 0, como una
funcion meromorfa cuya unica singularidad, situada en s = 1, es un polo simple de
residuo igual a 1.
91
Demostracion. La formula de sumacion de Abel nos permite escribir
nx
1
n
s
=
[x]
x
s
+ s
_
x
1
[y]
y
s+1
dy =
[x]
x
s
+ s
_
x
1
1
y
s
dy s
_
x
1
y
y
s+1
dy (7.2)
=
s
s 1
s
_

1
y
y
s+1
dy +
[x]
x
s

sx
s
s 1
+ s
_

x
y
y
s+1
dy (7.3)
si '(s) > 1. Y si hacemos tender x a innito obtenemos
(7.4) (s) =
s
s 1
s
_

1
y
y
s+1
dy
que es una funcion meromorfa con un solo polo en s = 1 con residuo 1.
La funcion no va a tener ceros en la region 1. El caso facil > 1 se
analiza en el siguiente lema y el caso = 1 esta recogido en el apartado 4) del lema
7.0.28.
Lema 7.0.27. Si > 1 entonces (s) ,= 0.
Demostracion.
1
[(s)[
=
1
1
p
s
p
_
1 +
1
p
n=1
1
n
= () < . (7.5)
Lema 7.0.28. La funcion verica las estimaciones siguientes.
1) En la region 1, [[ 2:
[( + i)[ log [[.
2) En la region 1/2 < 1 < 1, [[ 2:
[( + i)[
[[
.
3) En la region 1, [[ 3:
[
( + i)[ log
2
[[.
4) Para todo se cumple que (1 + i) ,= 0.
92 CAP
ON DE LOS N
UMEROS PRIMOS
5) En la region 1, tenemos
1
[( + i)[
log
7
[[.
Demostracion. Observemos primero que si > 0 y s ,= 1, las formulas 7.2 y 7.4 nos
dan la expresion
(7.6) (s) =
nx
1
n
s

[x]
x
s
+
s
s 1
1
x
s1
s
_

x
t
t
s+1
dt.
1) Si 2, tenemos que [(s)[ () (2) =
2
/6.
Si 1 < 2, los sumandos de la parte derecha de (7.6) los podemos acotar
de la siguiente manera:
nx
1
n
s
nx
1
n
nx
1
n
log x
[x]
x
s
x
1
1
s
s 1
1
x
s1

+[[
[[
x
1
2 +[[
[[
=
2
[[
+ 1 2
s
_

x
t
t
s+1
dt
( +[[)
_

x
dt
t
+1
(2 +[[)
_

x
dt
t
2
=
2 +[[
x
.
Tomando x = [[ obtenemos la estimacion deseada.
2) En este caso las estimaciones son
nx
1
n
s
nx
1
n
nx
1
n
1

x
[x]
x
s
x
1
x
s
s 1
1
x
s1

+[[
[[
x
1
1 +[[
[[
x
3
2
x
s
_

x
t
t
s+1
dt
(1 +[[)
_

x
dt
t
2
= (1 +[[)
x
1
1
.
Tomando de nuevo x = [[ y observando que 0 < < 1/2 obtenemos la estimacion.
3) Sea s = + i un punto situado en la region 1, 2 y sea C un
circunferencia centrada en s y con un radio < 1/2 que jaremos mas tarde. Una
93
aplicacion de la formula de Cauchy nos da
[
(s)[ =
1
2i
_
C
(z)
(z s)
2
dz
,
donde M es el valor maximo de [(z)[ en C.
Para la parte de C que esta en '(z) 1 utilizamos la estimacion dada en 1):
(z) log [[.
Para la parte de C que esta en '(z) < 1 observemos que '(z) '(s) 1
y que [[ + 1/2 [(z)[ [(s)[ = [[ 2. En este caso utilizamos la
estimacion dada en 2): (z)
(z)

||
.
Tomando =
1
log ||
obtenemos que M log [[ y de aqu la estimacion que
buscabamos.
4) Comencemos con la identidad
(7.7) 3 + 4 cos + cos(2) = 2(1 + cos )
2
> 0.
La formula (7.1) implica que en particular podemos escribir
log (s) =
n=1
c
n
n
s
,
con c
n
= 1/m si n = p
m
y c
n
= 0 en otro caso. En particular tenemos que c
n
0
para todo n. Por otra parte
log [(s)[ = '(log (s)) =
n=1
c
n
cos( log n)
n
.
Si aplicamos la identidad (7.7) a los tres casos s = , + i, + 2i con > 1,
podemos escribir:
3 log [()[ + 4 log [( + i)[ + log [( + 2i)[ =
=
n=1
c
n
3 + 4 cos( log n) + cos(2 log n)
n
0.
Por tanto,
(7.8) [()[
3
[( + i)[
4
[( + 2i)[ 1
, que es equivalente a
[( 1)()[
3
( + i)
1
4
[( + 2i)[
1
1
.
94 CAP
ON DE LOS N
UMEROS PRIMOS
Supongamos que existiese tal que (1 + i) = 0. En ese caso lm
1
+
(+i)
1
=
(1 + it), lm
1
+( 1)() = 1 y lm
1
+ ( + 2i) = (1 + 2i) y llegamos a
una contradicci on por que lm
1
+
1
1
= .
Luego no puede anularse en la recta = 1.
5) De (7.8) obtenemos la estimacion
1
[( + i)[
[()[
3/4
[( + 2i)[
1/4
.
En la region 1 2, [[ 2, tenemos que
[()[
1
1
, [( + 2i)[ log [[,
que sustituidas en la estimacion anterior producen
[( + i)[ B
( 1)
3/4
(log [[)
1/4
, 1 2, [[ 2,
donde B > 0 es una constante.
Consideremos > . Podemos escribir
[( + i) ( + i)[
_

(t + i)dt A( ) log
2
[[.
Esto nos da
[( + i)[ [( + i)[ [( + i) ( + i)[ B
( 1)
3/4
(log [[)
1/4
A( ) log
2
[[.
Finalmente escogemos = +
_
B
2A
_
4
1
log
9
||
y al sustituir obtenemos
[( + i)[
B
4
16A
3
1
log
7
[[
.
Con el lema anterior en nuestra mano resulta muy facil justicar el traslado
de la lnea vertical c + i con c > 1 a la lnea 1 + i en al formula del lema 7.0.25.
Consideremos el el contorno rectangular de lados verticales 1+i, c+i, [[
T y lados horizontales + iT, iT, 1 c.
Los lemas 7.0.26 y 7.0.28 nos dicen que la funcion
f(s) =
x
s1
s(s + 1)
_
(s)
(s)

1
s 1
_
95
es analtica en un entorno del rectangulo R; ademas en los lados horizontales tenemos
que
[f( + i)[ x
c1
log
9
T
T
2
.
Es decir, jado x > 0, la integral sobre los lados horizontales de la funcion f tiende
a 0 cuando T .
Por lo tanto,
_
c+i
ci
f(s)ds =
_
1+
1
f(s)ds.
Es decir,
1
(x)
x
2

1
2
_
1
1
x
_
2
=
1
2i
_

e
i log x
(1 + i)(2 + i)
_
(1 + i)
(1 + i)

1
i
_
d.
Por otra parte la funcion
h() =
1
(1 + i)(2 + i)
_
(1 + i)
(1 + i)

1
i
_
d
verica la acotacion
[h()[
log
9
[[
1 +[[
2
y por lo tanto es integrable y, culminando la estrategia esbozada en la seccion anteri-
or, podemos invocar al Teorema de Riemann-Lebesgue para concluir la demostracion
del teorema de los n umeros primos.

Numeros Primos y Compuestos

Uploaded by

Document Information

Original Description:

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

Numeros Primos y Compuestos

Uploaded by

Copyright:

Available Formats

Captulo 1

N umeros primos y compuestos

UMEROS PRIMOS Y COMPUESTOS

5, 3 y 7 son primosdiferentes en ese

UMEROS PRIMOS Y COMPUESTOS

UMEROS PRIMOS Y COMPUESTOS

UMEROS PRIMOS Y COMPUESTOS

n en el lema 1.2.2 tenemos que

UMEROS PRIMOS Y COMPUESTOS

UMEROS PRIMOS Y COMPUESTOS

UMEROS PRIMOS Y COMPUESTOS

ITULO 2. FUNCIONES ARITM

ITULO 2. FUNCIONES ARITM

. Pero si p es primo, g(p

ITULO 2. FUNCIONES ARITM

(t)dt. Denimos tambien a(0) = 0 y k = x|.

ITULO 2. FUNCIONES ARITM

ITULO 2. FUNCIONES ARITM

, que le tiene como vertice suroeste. El n umero R(n) es igual al area

ITULO 2. FUNCIONES ARITM

(r) el n umero de ellos que son visibles desde el origen.

ITULO 2. FUNCIONES ARITM

ITULO 2. FUNCIONES ARITM

OMICAS. TEOREMA DE LAGRANGE 35

) genera otra de f(x) 0

) y que genere r? Cuando esto ocurra

(r) , 0 (mod p), entonces r se sube de manera unica de p

), entonces r puede subirse de p

), entonces r no puede subirse de p

(r) 0 (mod p).

(r) , 0 (mod p) dicho q existe y es unico y por tanto r puede subirse de

(r) 0 (mod p) y f(r) 0 (mod p

(r) 0 (mod p) y f(r) , 0 (mod p

(r) 0 (mod p).

ITULO 4. LEY DE RECIPROCIDAD CUADR

ITULO 4. LEY DE RECIPROCIDAD CUADR

ITULO 4. LEY DE RECIPROCIDAD CUADR

ITULO 4. LEY DE RECIPROCIDAD CUADR

ITULO 4. LEY DE RECIPROCIDAD CUADR

ITULO 5. EJEMPLOS DE ECUACIONES DIOF

tenemos que (y/2)

. Es claro que si (n, m) = 1 entonces

ITULO 5. EJEMPLOS DE ECUACIONES DIOF

) = 1. Y como su producto es un cuadrado, entonces cada uno de ellos ha de

ITULO 5. EJEMPLOS DE ECUACIONES DIOF

es la potencia de 1 que divide a z. Entonces 3+3r = 3

ITULO 5. EJEMPLOS DE ECUACIONES DIOF

ITULO 5. EJEMPLOS DE ECUACIONES DIOF

ITULO 5. EJEMPLOS DE ECUACIONES DIOF

ITULO 5. EJEMPLOS DE ECUACIONES DIOF

UMEROS REALES POR RACIONALES

) tendran que estar en el mismo intervalo, por lo que su distancia sera

obtenemos el resultado deseado:

UMEROS REALES POR RACIONALES

UMEROS ALGEBRAICOS Y TRASCENDENTES 75

2. Sin embargo este n umero satisface

UMEROS REALES POR RACIONALES

2, que satisface una ecuacion polinomica

> 0 tal que

< 1, por el teorema del valor medio

UMEROS ALGEBRAICOS Y TRASCENDENTES 77

es trascendente, en particular no puede ser construible y por lo tanto

UMEROS REALES POR RACIONALES