Documente Academic
Documente Profesional
Documente Cultură
Teora Elemental de N
umeros
por Enrique Arrondo(*)
Versi
on del 19 de Enero de 2009
Aunque en orden diverso, estas notas est
an basadas en el libro Elementary Number Theory, de David
M. Burton, donde el lector puede profundizar en los detalles.
0. Preliminares
1. Divisibilidad y factorizacion en enteros
2. Teora de congruencias
3. Funciones aritmeticas
4. Ordenes,
races primitivas e ndices
5. Congruencias cuadr
aticas
6. Ecuaciones diof
anticas
7. Fracciones continuas
0. Preliminares
Definici
on. Denotaremos por Z al conjunto de n
umeros enteros. Dado a Z, denotaremos
por Za al conjunto de los n
umeros enteros mayores o iguales que a. De esta forma
evitaremos polemicas esteriles sobre si los n
umeros naturales empiezan con el 0 o con el 1,
y escribiremos simplemente Z0 o Z1 seg
un nos haga falta.
Teorema 0.1 (Principio del buen orden). Sea a un n
umero entero y sea S Za un
subconjunto no vaco de Za . Entonces S tiene un elemento mnimo.
Demostraci
on: Como S es no vaco, existe b S. Como S Za , entonces a b.
Considerando el conjunto finito {a, a + a, . . . , b 1, b}, tomamos c el menor elemento de tal
conjunto que este en S (sabemos que, en el peor de los casos, b lo esta). Es claro entonces
que c es un elemento mnimo de S.
Teorema 0.2 (Principio de induccion). Sea P una propiedad relativa a los n
umeros de
Za . Supongamos que se verifica alguna de las dos siguientes hipotesis:
(i) (Inducci
on debil): P es cierta para el n
umero a y cada vez que P es cierta para cada
n Za entonces P es cierta para n + 1.
(ii) (Inducci
on fuerte): P es cierta para el n
umero a y cada vez que P es cierta para todos
los n
umeros de a a n entonces P es cierta para n + 1.
Entonces P es cierta para todo n Za .
Demostraci
on: Sea S el conjunto de enteros mayores o iguales que a que no verifica la
propiedad P . Como estamos suponiendo que a verifica P , entonces a 6 S. El teorema
estara demostrado si demostramos que S es el conjunto vaco. Supongamos entonces, por
reduccion al absurdo, que S es no vaco. Por el principio del buen orden, el conjunto S
tendra un mnimo m. Esto quiere decir que los n
umeros a, a + 1, . . . , m 1 no estan en S,
es decir, verifican la propiedad P . Pero tanto (i) como (ii) aplicadas a n = m 1 implican
que entonces m tambien verifica P , lo que contradice que m este en S.
Observaci
on 1.7. El resultado anterior nos permite clasificar los n
umeros seg
un el resto
que den al dividir por un n
umero dado. Por ejemplo, dividiendo por 4, es claro que todo
entero es de alguna de las siguientes formas: 4k, 4k + 1, 4k + 2, 4k + 3. Claramente,
los n
umeros de la forma 4k nunca seran primos, y el u
nico n
umero primo de la forma
4k + 2 es p = 2. Por tanto, seg
un el Teorema 1.4, habra infinitos primos de la forma
4k + 1 o de la forma 4k + 3 (veremos mas adelante que hay infinitos de cualquiera de las
dos formas). Veamos de momento que existen infinitos n
umeros primos de la forma 4k + 3
(mas en general, un teorema de Dirichlet asegura que, dados enteros a, b con mcd(a, b) = 1,
existen infinitos n
umeros primos de la forma ak + b; la demostracion de este teorema
requiere tecnicas mucho m
as avanzadas que las presentes en estas notas, por lo que s
olo
demostraremos casos muy particulares). El lector reconocera aqu (y en demostraciones
de resultados parecidos) la tecnica de la demostracion de Euclides para la existencia de
infinitos n
umeros primos (Teorema 1.4). Si suponemos que p1 , p2 , . . . , pr son todos los
n
umeros primos de la forma 4k + 3, consideramos el n
umero n = 4p1 p2 . . . pr 1. Como
al menos alg
un pi es 3, se tiene n 2. Por el Teorema Fundamental de la Aritmetica
(Teorema 1.2), n ser
a producto finito de n
umeros primos (necesariamente distintos de 2,
porque n es impar). No pueden ser todos de la forma 4k + 1, porque entonces su producto
n sera tambien de la forma 4k + 1, mientras que n es de la forma 4k + 3. Por tanto, n
es divisible por alg
un n
umero primo de la forma 4k + 3, es decir, es divisible por alg
un p i .
Por el Lema 1.1(i), pi | 1, lo que es absurdo.
Teorema 1.8 (Bezout). Dados a, b Z, entonces el conjunto {ax + by Z | x, y Z}
es el conjunto de los m
ultiplos de d = mcd(a, b). En particular, mcd(a, b) = 1 si y s
olo si
existen x, y Z tales que ax + by = 1.
Demostraci
on: Podemos suponer que a y b son distintos de cero, ya que en caso contrario
el resultado es inmediato. Observese que, como d|a, b, entonces el Lema 1.1(ii) implica
d|ax + by para todo x, y Z. Basta entonces demostrar que cualquier m
ultiplo de d se
escribe de la forma ax + by, para lo cual es suficiente verlo para d.
Consideramos el conjunto S = {ax + by | x, y Z, ax + by 1}. Como a2 + b2 > 0,
se tiene que S es no vaco, ya que contiene al menos a a2 + b2 . Por el Principio del Buen
Orden (viendo S como subconjunto de Z1 ), se sigue que S tiene un elemento mnimo, que
sera de la forma d0 = ax + by. Queremos ver que d0 = d, lo que terminara la demostraci
on.
Veamos primero que d0 |a. Para ello efectuamos la division eucldea y tendremos a =
qd0 + r, con 0 r < d0 . Escribimos entonces
r = a qd0 = a q(ax + by) = a(1 q) + b(qy).
Como r < d0 y d0 es minimo en S, no puede ser que r este en S, por lo que la igualdad
anterior implica r 0, luego r = 0 y por tanto d0 |a. De forma analoga se demuestra d0 |b.
6
Demostraci
on: Es claro que los n
umeros de la forma pc11 pc22 . . . pcrr , con 0 ci ai ,
son divisores positivos de a. Recprocamente, sea d un divisor positivo de a. Existir
a
por tanto otro entero q, tambien positivo, tal que a = qd. Si q = 1 o d = 1 el resultado es trivial, as que supondremos q, d 2. Por el Teorema Fundamental de la
a0
a0
a0
a00
a00
a00
Aritmetica podremos escribir q = p01 1 p02 2 . . . p0s s y d = p001 1 p002 2 . . . p00t t . Por tanto,
a0
a0
a0
a00
a00
a00
a = p01 1 p02 2 . . . p0s s p001 1 p002 2 . . . p00t t es una descomposicion de a en factores primos (en
que puede haber primos repetidos). Por la unicidad demostrada en el Teorema 1.15, necea00
a00
a00
sariamente los factores de p001 1 p002 2 . . . p00t t son parte de los factores de pa1 1 pa2 2 . . . par r . Esto
a00
a00
a00
quiere decir que p001 1 p002 2 . . . p00t t = pc11 pc22 . . . pcrr , con 0 ci ai , lo que demuestra el
resultado.
Corolario 1.17. Sean a, b enteros positivos tales que mcd(a, b) = 1. Entonces:
(i) Los divisores positivos de ab son los productos de la forma dd0 , con d|a y d0 |b y d, d0 > 0.
(ii) Si ab = cn para alg
un c Z1 , entonces a = un y b = v n para ciertos u, v Z.
Demostraci
on: Como mcd(a, b) = 1, en las factorizaciones en factores primos
a = pk11 pk22 . . . pkr r
b = q1l1 q2l2 . . . qsls
se tiene pi 6= qj para todo i = 1, 2, . . . , r y j, 1, 2, . . . , s. Por tanto, la factorizaci
on en
factores primos de ab es
ab = pk11 pk22 . . . pkr r q1l1 q2l2 . . . qsls ,
luego los divisores positivos de ab son, por la Proposicion 1.16, los n
umeros de la forma
k10 k20
kr0 l10 l20
ls0
p1 p2 . . . pr q1 q2 . . . qs , con 0 ki0 ki y 0 lj0 lj , es decir, el producto de un divisor
positivo de a y un otro de b. Esto demuestra (i).
Para la parte (ii), sea p un primo que divide a c. En particular, p|cn = ab =
pk11 pk22 . . . pkr r q1l1 q2l2 . . . qsls . Por el Corolario 1.14, se sigue que p es un pi o un qj , luego la
k0
k0
k 0 l0 l0
l0
factorizaci
on en primos de c se escribe de la forma c = p11 p22 . . . pr r q11 q22 . . . qss . Por tanto,
nk0 nl0 nl0
nl0
nk0 nk0
pk11 pk22 . . . pkr r q1l1 q2l2 . . . qsls = ab = cn = p1 1 p2 2 . . . pr r q1 1 q2 2 . . . qs s . Por la unicidad del
Teorema 1.15, se sigue que ki = nki0 para i = 1, 2, . . . , r y lj = nlj0 para j = 1, 2, . . . , s. Por
k0
k0
k0
l0 l0
l0
n
n
umero entero, entonces c no es un n
umero racional.
10
Demostraci
on: Si a = pk11 pk22 . . . pkr r es la descomposicion de a en factores primos, entonces
la descomposici
on de an en factores primos sera
1 nk2
r
. . . pnk
an = pnk
r .
1 p2
k00
c = p11 p22 . . . pr r
con 0 ki00 nki para i = 1, 2, . . . , r. Por tanto,
nk10 +k100 nk20 +k200
p2
a n = bn c = p 1
nkr0 +kr00
. . . pr
Para la u
ltima parte, si n c fuera racional, se poda escribir n c = ab , con a, b enteros
positivos. Por tanto, an = bn c, y por la parte ya demostrada llegaramos a la contradicci
on
que c debe ser una potencia n-esima de un n
umero entero.
Para el c
alculo del m
aximo com
un divisor no siempre es practico usar la Proposici
on
1.16 (que requiere, por ejemplo, saber factorizar los n
umeros en cuestion). Usaremos en
cambio muchas veces el metodo mas clasico:
Teorema 1.19 (Algoritmo de Euclides). Sean a, b n
umeros enteros con b > 0. Definimos
por recurrencia r1 = a, r0 = b y, supuestos definidos rk1 , rk con rk 6= 0, definimos rk+1
como el resto de la divisi
on eucldea de de rk1 entre rk . Entonces, existe alg
un n tal que
rn = 0, y se verifica adem
as que rn1 = mcd(a, b).
Demostraci
on: De la definici
on por recurrencia se sigue que 0 rk+1 < rk para todo
k 0. Por tanto r0 , r1 , . . . forma una sucesion estrictamente decreciente de enteros no
negativos, por lo que tiene que ocurrir rn = 0 para alg
un miembro de la sucesion. Por
otra parte, si para cada k = 0, . . . , n escribimos la division rk1 = qk rk + rk+1 , por la
Proposicion 1.5(i) se tendr
a mcd(rk1 , rk ) = mcd(qk rk + rk+1 , rk ) = mcd(rk+1 , rk ). Por
tanto:
mcd(a, b) = mcd(r1 , r0 ) = mcd(r0 , r1 ) = . . . = mcd(rn1 , rn ) = mcd(rn1 , 0) = rn1 .
11
x = x0 + t
d
a
y = y0 t
d
con t Z.
Demostraci
on: Que la ecuaci
on tenga solucion si y solo si d|c (es decir, c es un m
ultiplo de
d) es una mera reformulaci
on del Teorema 1.8. Por otra parte, supongamos que tenemos
una solucion fija x0 , y0 , es decir, c = ax0 +by0 . El hecho de que a, b no son simultaneamente
cero quiere decir que d 6= 0, por lo que podemos dividir por d. Es claro entonces que los
pares de la forma (x0 + db t, y0 ad t) son solucion de la ecuacion.
Recprocamente, si x, y es una solucion de la ecuacion, entonces ax + by = ax0 + by0 ,
que es equivalente a a(x x0 ) = b(y0 y) o tambien ad (x x0 ) = db (y0 y), por lo que
12
a b
d | d (y0
Ejemplo 1.22. Retomemos el Ejemplo 1.20 para ver como resolver de forma practica una
ecuacion como la del teorema anterior. Nos planteamos resolver la ecuacion 72x + 28y = 8.
Como mcd(72, 28) = 4 y 4|8, la ecuacion tiene solucion. Ademas, vimos que podemos
escribir 4 = 2 72 5 28, por lo que multiplicando por 2 obtenemos que x0 = 4, y0 = 10
es una soluci
on. Las soluciones de la ecuacion seran, por tanto, de la forma
(
x=
4 + 7t
y = 10 18t
con t Z. Observese que este proceso puede interpretarse como encontrar todos los puntos
de la recta 72x+28y = 8 del plano afn que tienen sus dos coordenadas enteras. El Teorema
1.21 nos da una caracterizaci
on de cuando una recta afn dada por una ecuacion implcita
con coeficientes enteros tiene puntos con coordenadas enteras. Ademas, en caso afirmativo,
los puntos de coordenadas enteras se pueden obtener dando valores enteros a una ecuaci
on
parametrica (con coeficientes enteros) de la recta.
13
2. Teora de congruencias
Definici
on. Fijado un n
umero entero positivo n y dados n
umeros enteros a, b, diremos
que a es congruente con b m
odulo n, y lo denotaremos con a b (mod n), si n|a b.
Proposici
on 2.1. Fijado un entero n > 0 y dados n
umeros enteros a, b, c, d, se tiene:
(i) a a (mod n).
(ii) a b (mod n) si y s
olo si b a (mod n).
(iii) Si a b (mod n) y b c (mod n), entonces a c (mod n).
(iv) Si a b (mod n) y c d (mod n), entonces y a + c b + d (mod n).
(v) Si a b (mod n) y c d (mod n),, entonces ac bd (mod n).
(vi) Si ac bc (mod n), entonces a b (mod nd ), donde d = mcd(c, n). En particular, si
mcd(c, n) = 1, entonces ac bc (mod n) si y solo si a b (mod n).
Demostraci
on: Es un simple ejercicio que se deja al lector. Hagamos al menos la demostracion de la parte (vi). Por definicion, ac bc (mod n) quiere decir n|acbc = (ab)c.
Dividiendo por d tendremos nd |(a b) dc . Como mcd( nd , dc ) = 1 (ver Proposicion 1.5(ii)),
por el Lema de Euclides (Teorema 1.13) se sigue nd |(a b), es decir, a b (mod nd ).
Observaci
on 2.2. En lenguaje mas matematico, observese que las tres primeras propiedades de la Proposici
on 2.1 est
an diciendo que la relacion (mod n) es una relaci
on de
equivalencia ((i) es la propiedad reflexiva, (ii) es la simetrica y (iii) es la transitiva). El
la unicidad de la divisi
on eucldea (Teorema 1.6) implica que a = cn + s es precisamente
la division eucldea de a , por lo que s = r.
De hecho, la proposici
on anterior no hace sino decir en otro lenguaje un resultado
que ya conocamos: que, fijado n, cada n
umero entero se puede escribir de una sola de
las formas nk + r, con r {0, 1, . . . , n 1}. Si cambiamos el conjunto {0, 1, . . . , n 1},
tendremos la siguiente definici
on.
Definici
on. Se llama sistema completo de restos m
odulo n a un conjunto R de n
umeros
enteros tales que cada a Z es congruente modulo n a un elemento de R y solo a uno.
Por ejemplo, {8, 3, 6, 1} sera un sistema completo de restos modulo 4, ya que
8 0 (mod 4), 3 1 (mod 4), 6 2 (mod 4) y 1 3 (mod 4). En otras palabras,
comparando con la Observaci
on 1.7, estamos diciendo que cada n
umero entero es de una
y solo una de las formas 4k + 8, 4k 3, 4k + 6, 4k 1. Una particion as puede parecer
arbitraria, pero por ejemplo el lector puede darse cuenta ahora de que nuestra demostraci
on
de la existencia de infinitos n
umeros primos de la forma 4k + 3 utilizaba en realidad los
n
umeros de la forma 4k 1.
Damos a continuaci
on un metodo u
til para caracterizar sistemas completos de restos
modulo un n
umero n (que da en particular, como condicion necesaria, que deben ser
conjuntos de n elementos).
Lema 2.4. Sea n un n
umero entero positivo y sea R = {r1 , r2 , . . . , rm } un conjunto de
0
respectivamente los restos de la division eucldea entre
n
umeros enteros. Sean r10 , r20 , . . . , rm
n de r1 , r2 , . . . , rm . Entonces son equivalentes:
(i) R es un sistema completo de restos modulo n.
(ii) m n y para cada i 6= j se tiene ri 6 rj (mod n).
0
coinciden, en cierto orden, con 0, 1, . . . , n 1.
(iii) Los n
umeros r10 , r20 , . . . , rm
Demostraci
on: Haremos la demostracion de forma cclica.
(i)(ii): Como cada uno de los n
umeros 0, 1, . . . , n 1 son congruentes modulo n a
alg
un elemento de R y dos de ellos no son congruentes entre s, necesariamente R debe
contener al menos n elementos, es decir, m n.
Adem
as, si para alg
un i 6= j fuera ri rj (mod n), entonces el n
umero ri sera
simultaneamente congruente m
odulo n con ri y rj , contrario a la definicion de sistema
completo.
(ii)(iii): Si i 6= j, tenemos por hipotesis ri 6 rj (mod n), luego, por la Proposici
on
0
0
0
0
0
2.3, se tendr
a ri 6= rj . Por tanto, los n
umeros r1 , r2 , . . . , rm son m n
umeros distintos entre
los n n
umeros 0, 1, . . . , n 1. Como m n, ambos sistemas de n
umeros deben coincidir.
15
Ejemplo 2.6. Se pueden usar las congruencias para dar criterios de divisibilidad. Recordemos que un n
umero con expresi
on decimal ar ar1 . . . a1 a0 quiere decir el n
umero n =
r
r1
ar 10 + ar1 10
+ . . . + a1 10 + a0 . Entonces, por ejemplo:
Como 10 1 (mod 3), se sigue de las propiedades del Lema 2.1 que n ar +
ar1 + . . . + a1 + a0 (mod 3). En particular se obtiene el resultado conocido: un n
umero
es divisible por 3 si y s
olo si la suma de sus cifras es divisible por 3.
Como tambien 10 1 (mod 9), se obtiene del mismo modo que un n
umero es
divisible por 9 si y s
olo si la suma de sus cifras es divisible por 9. Mas a
un, de la congruencia
n ar + ar1 + . . . + a1 + a0 (mod 3) se sigue la clasica prueba del nueve. Por ejemplo,
si queremos multiplicar 53914 por 13518, usamos que
161277 1 + 6 + 1 + 2 + 7 + 7 = 24 2 + 4 = 6 (mod 9)
16
140263 1 + 4 + 0 + 2 + 6 + 3 = 16 1 + 6 = 7 (mod 9)
por lo que debe ser
161277 140263 6 7 = 42 4 + 2 = 6 (mod 9).
Por tanto, una forma de comprobar que el producto esta bien calculado es comprobar del
mismo modo que es congruente con 6 modulo 9. Y, en efecto, tenemos:
22621195851 2 + 2 + 6 + 2 + 1 + 1 + 9 + 5 + 8 + 5 + 1 = 42 4 + 2 = 6 (mod 9).
Obviamente, si la prueba no sale es que la operacion esta mal hecha, pero el que salga bien
la prueba no implica que la operacion este bien hecha (por ejemplo, 22531195851 hubiera
dado el mismo resultado m
odulo 9).
Si usamos ahora 10 1 (mod 11), obtenemos el criterio que un n
umero es divisible
por 11 si y s
olo si la suma con signo alternado de sus cifras es divisible por 11, ya que
r
n (1) ar + (1)r1 ar1 + . . . a1 + a0 (mod 11). De hecho, este hecho nos permite
inventarnos una prueba del once. Siguiendo con el ejmplo anterior, tendremos:
161277 1 + 6 1 + 2 7 + 7 = 6 (mod 11)
140263 1 + 4 0 + 2 6 + 3 = 2 (mod 11)
por lo que debe ser
161277 140263 6 2 = 12 1 + 2 = 1 (mod 11).
En efecto, tenemos
22621195851 2 2 + 6 2 + 1 1 + 9 5 + 8 5 + 1 = 12 1 + 2 = 1 (mod 11).
Observese que esta nueva prueba servira para reforzar la prueba del nueve, ya que ahora
22531195851 2 2 + 5 3 + 1 1 + 9 5 + 8 5 + 1 = 10 6 1 (mod 11), lo que indica
que 22531195851 no puede ser el producto.
Muchas veces es m
as sencillo reducir una congruencia modulo un entero n a congruencias con m
odulos m
as peque
nos que n. El siguiente resultado explica como:
Proposici
on 2.7. Sean n1 , n2 , . . . , nr n
umeros naturales tales que mcd(ni , nj ) = 1 si
i 6= j. Entonces, para cada par de enteros a, b se tiene que a b (mod n1 n2 . . . nr ) si y
s
olo si a b (mod n1 ), a b (mod n2 ), . . . , a b (mod nr ).
Demostraci
on: Por definici
on, a b (mod n1 n2 . . . nr ) si y solo si n1 n2 . . . nr |a b. Como
mcd(ni , nj ) = 1 si i 6= j, el Corolario 1.12 implica que n1 n2 . . . nr |a b es equivalente a
que, para cada i = 1, 2, . . . , r, se tenga ni |a b, es decir, a b (mod ni ).
Si en cambio queremos pasar de una congruencia modulo n a congruencias modulo un
u
nico divisor de n, entonces el resultado es mas complicado:
17
Proposici
on 2.8. Si d|n entonces a b (mod nd ) si y solo si a b + i nd (mod n) para
alg
un i {0, 1, . . . , d 1}. Adem
as, los n
umeros b, b + nd , . . . , b + (d 1) nd son dos a dos
incongruentes m
odulo n.
Demostraci
on: Por una parte, es claro que, si a b + i nd (mod n), entonces existe c Z
tal que a b i nd = cn. Por tanto, a = b + nd (i + cd), luego a b (mod nd ).
Recprocamente, si a b (mod
division eucldea de t entre d:
n
d ),
t = qd + r
con 0 r < d. Por tanto, podremos escribir
a=b+
n
n
n
t = b + (qd + r) = b + nq + r .
d
d
d
n
x = x0 + t
d
a
y = y t.
0
d
Entonces las soluciones de la congruencia son los enteros x de la forma x x0 (mod nd )
que, por la Proposici
on 2.8, da d soluciones modulo n.
Ejemplo 2.10. Consideremos la congruencia lineal 72x 8 (mod 28). Como indica la
demostraci
on de la Proposici
on 2.9, para resolverla, debemos resolver primero la ecuaci
on
18
x a1 (mod n1 )
x a2 (mod n2 )
..
x ar (mod nr )
tiene soluci
on, que adem
as es u
nica modulo n1 n2 . . . nr .
Demostraci
on: Para cada i = 1, 2, . . . , r definimos
Ni =
n1 n2 . . . nr
= n1 n2 . . . ni1 ni+1 . . . nr .
ni
Ejemplo 2.12. Veamos que el resultado anterior se puede usar incluso si los ni no
son todos primos entre s (con la diferencia de que entonces puede ocurrir que el sistema
de congruencias no tenga soluci
on). Supongamos por ejemplo que queremos resolver el
sistema de congruencias
x 5 (mod 24)
x 1 (mod 28)
x 4 (mod 15)
Evidentemente, no estamos en las condiciones del Teorema Chino del Resto, ya que, por
ejemplo, mcd(24, 28) = 4. Sin embargo, podemos usar la Proposicion 2.7 para sustituir
nuestro sistema por el sistema equivalente:
x 5 (mod 8)
x 5 (mod 3)
x 1 (mod 4)
x 1 (mod 7)
x 4 (mod 3)
x 4 (mod 5).
Por supuesto, seguimos sin estar en las hipotesis del Teorema Chino del Resto, pero ahora
vamos a poder quitar las congruencias que nos sobran. En primer lugar, tenemos las congruencias x 5 (mod 3) y x 4 (mod 3), que son equivalentes, ya que 5 4 (mod 3),
as que podemos eliminar una de ellas. A
un tenemos el par de congruencias x 5 (mod 8)
y x 1 (mod 4) que no nos permiten aplicar el Teorema Chino del Resto. En este caso,
observamos que x 5 (mod 8) implica obviamente x 5 (mod 4), que es equivalente
a x 1 (mod 4), porque 5 1 (mod 4). As pues, podemos eliminar la congruencia
x 1 (mod 4) y tenemos ya el sistema equivalente de congruencias:
x 5 (mod 8)
x 5 (mod 3)
x 1 (mod 7)
x 4 (mod 5)
que ya est
a en las hip
otesis del Teorema Chino del Resto, luego ya sabemos que tiene
solucion (vale la pena hacer aqu una pausa para observar que podra haber ocurrido que,
20
en lugar de encontrar congruencias equivalentes modulo 4, hubieramos encontrado congruencias incompatibles; esto hubiera querido decir que el sistema de partida es incompatible y
no tiene soluci
on). Aplicamos ahora el metodo de resolucion que nos da el Teorema Chino
del Resto, es decir, resolvemos primero (con el metodo explicado en el Ejemplo 2.10) las
congruencias:
105x 5(mod 8), que tiene como solucion x 5(mod 8).
280x 5(mod 3), que tiene como solucion x 2 (mod 3).
120x 1(mod 7), que tiene como solucion x 1 (mod 7).
168x 4(mod 5), que tiene como solucion x 2 (mod 5).
La solucion final queda, por tanto
x 105 5 + 280 2 + 120 1 + 168 2 = 1541 701 (mod 840).
Como nos indica el ejemplo anterior, para estudiar congruencias, basta estudiar congruencias m
odulo la potencia de un primo. El caso mas simple es el de congruencias modulo
un primo, sobre el que se pueden demostrar toda una serie de resultados. El primero de
todos es el siguiente:
Teorema 2.13 (Fermat). Sea p un n
umero primo. Entonces, para cada a Z no divisible
p1
por p se tiene a
1 (mod p). Como consecuencia, ap a (mod p) para cualquier
a Z.
Demostraci
on: Por la Proposici
on 2.5(iii), sabemos que, si mcd(a, p) = 1, los n
umeros
0, a, 2a, . . . , (p 1)a forman un sistema completo de restos modulo p. Por el Lema 2.4, esto
quiere decir que sus restos al dividir por p son, en cierto orden, 0, 1, 2, . . . , p 1. Como
obviamente el cero del primer conjunto se corresponde con el cero del segundo, se tiene que
los n
umeros a, 2a, . . . , (p1)a son congruentes modulo p, en cierto orden, con 1, 2, . . . , p1.
Multiplicando todas las congruencias tendremos (p 1)!ap1 (p 1)! (mod p). Adem
as,
como p es un n
umero primo, es coprimo con todos los factores 1, 2, . . . , p 1 de (p 1)!,
luego (Corolario 1.10) mcd((p 1)!, p) = 1. Se sigue entonces de la Proposicion 2.1(vi) que
ap1 1 (mod p).
La congruencia anterior implica automaticamente ap a (mod p), siempre bajo la
hipotesis mcd(a, p) = 1. Si en cambio p|a, entonces tanto ap como a son congruentes con
cero modulo p, luego la congruencia ap a (mod p) es tambien valida en este caso.
La propiedad del Teorema de Fermat no es caracterstica de los n
umeros primos, ya
que hay n
umeros compuestos que satisfacen lo mismo.
21
Definici
on. Se llama n
umero pseudoprimo en base a a un n
umero compuesto n tal que
an a (mod n). Se llama simplemente n
umero pseudoprimo a un n
umero compuesto n tal
n
que 2 2 (mod n). Finalmente, se llama pseudoprimo absoluto o n
umero de Carmichael
n
a un n
umero compuesto n tal que a a (mod n) para cualquier n
umero entero a.
Obviamente son mucho m
as interesantes (y mas difciles de encontrar) los n
umeros de
Carmichael que los pseudoprimos (aunque los matematicos chinos de hace 25 siglos pensaban que no haba n
umeros pseudoprimos). De ambos se sabe que hay infinitos de ellos. En
el caso de pseudoprimos, no cuesta mucho ver que, dado un n
umero pseudoprimo impar
n
n, entonces 2 1 es tambien un n
umero pseudoprimo, lo que permite construir infinitos
pseudoprimos (basta empezar por 341 = 11 31, que es el primer n
umero pseudoprimo).
Para n
umeros de Carmichael, nos limitaremos a dar el siguiente resultado:
Proposici
on 2.14. Sea n = p1 p2 . . . pr un producto de r primos distintos, con r > 1. Si
para cada i = 1, 2, . . . , r se tiene pi 1|n 1, entonces n es un n
umero de Carmichael.
Demostraci
on: Claramente n es compuesto, porque r > 1, as que hay que demostrar que
n
a a (mod p1 p2 . . . pr ) para todo entero a. Por la Proposicion 2.7, hay que demostrar
que, para cada i = 1, 2, . . . , r, se tiene an a(mod pi ). Obviamente esto es cierto si pi |a,
as que podemos suponer mcd(a, pi ) = 1. En tal caso, por el Teorema de Fermat se tendr
a
pi 1
n1
a
1 (mod pi ) y, como por hipotesis pi 1|n1, se tendra tambien a
1(mod pi ),
n
lo que implica a a(mod pi ).
Ejemplo 2.15. Con la proposicion anterior, se demuestra que 561 = 3 11 17 es un
n
umero de Carmichael (de hecho es el primero de todos). Otros ejemplos obtenidos de este
modo son los n
umeros 1729 = 7 13 19, 6601 = 7 23 41 y 10585 = 5 29 73. Aunque
no verifiquen el critero de la proposicion anterior, tambien son n
umeros de Carmichael
1105 = 5 13 17, 2821 = 7 13 31, 15841 = 7 31 73 y 16046641 = 13 37 73 457 (uno
de los pocos conocidos con cuatro factores, descubierto por el propio Carmichael). S
olo en
1994 se demostr
o que existen infinitos n
umeros de Carmichael. Son tan escasos que s
olo
hay 43 de ellos menores que un millon.
Ejemplo 2.16. Si consideramos el conjunto de restos modulo 11, observamos que tenemos
los pares disjuntos {2, 6}, {3, 4}, {5, 9}, {7, 8} con la propiedad de que el producto de los
elementos de un par es congruente con 1 modulo 11. Ademas, la union de todos los pares
da el conjunto {2, 3, 4, 5, 6, 7, 8, 9}, por lo que tendremos
2 3 4 5 6 7 8 9 = (2 6)(3 4)(5 9)(7 8) 1 (mod 11).
Esto no es casualidad, y para cada n
umero primo tenemos la misma situacion, lo que nos
permite demostrar el siguiente teorema.
22
Observaci
on 2.18. N
otese que, al contrario que pasa con el teorema de Fermat, la
propiedad anterior s que caracteriza a los n
umeros primos. En efecto, dado un n
umero
compuesto n, si d 6= 1, n es un divisor suyo, se tendra que d es uno de los factores de
(n 1)!, por lo que (n 1)! 0 (mod d). Por tanto, no puede ser (n 1)! 1 (mod n).
En realidad, no es difcil demostrar que, si n > 4 es un n
umero compuesto, entonces
(n 1)! 0 (mod n).
El Teorema de Wilson tiene el siguiente corolario inesperado:
Teorema 2.19. Si p es primo, la congruencia x2 1 (mod p) tiene solucion si y s
olo si
p = 2 o bien p 1 (mod 4).
Demostraci
on: Supongamos primero que la congruencia tiene una solucion, que llamaremos
a. Obviamente, a no puede ser divisible por p, porque en tal caso a2 0 (mod p). Para
ver que p = 2 o bien p 1 (mod 4) basta demostrar que p 6 3 (mod 4). En efecto, si
fuera p 3 (mod 4), entonces p1
sera un n
umero impar, y como a2 1 (mod p),
2
entonces
ap1 = (a2 )
p1
2
(1)
p1
2
mientras que el Teorema de Fermat (Teorema 2.13), implica ap1 1 (mod p), lo que da
una contradicci
on.
Recprocamente, supongamos p = 2 o bien p 1 (mod 4) y veamos que la congruencia
tiene soluci
on. Es claro que x2 1 (mod 2) tiene solucion (de hecho, cualquier x impar
23
lo es), as que podemos limitarnos al caso p 1 (mod 4). En tal caso, tenemos que
es un n
umero par. Esto quiere decir que el n
umero de congruencias (triviales)
p1
2
1 (p 1) (mod p)
2 (p 2) (mod p)
..
.
p1
p+1
(mod p)
2
2
es par. Por tanto, multiplic
andolas todas tendremos
p1
p+1
)! (p 1)(p 2) . . .
(mod p)
2
2
de donde se deduce, usando el Teorema de Wilson para la u
ltima congruencia,
p 1 2
p+1 p1
(
)! (p 1)(p 2) . . .
(
)! = (p 1)! 1 (mod p).
2
2
2
(
Por tanto, x = ( p1
on de x2 1 (mod p).
2 )! es una soluci
24
3. Funciones aritmeticas
Vamos a intentar extender ahora el Teorema de Fermat (Teorema 2.13) cuando el
exponente es un n
umero arbitrario n no necesariamente primo. Mirando a la demostraci
on,
vamos a necesitar multiplicar s
olo los restos modulo n que sean coprimos con n (pues si
no, no podramos cancelarlos luego). Ahora bien, cuantos restos hay coprimos con n?
Claramente, esto depender
a de n, es decir, sera una funcion, a la que de momento damos
un nombre (nuestro objetivo en este captulo sera estudiar funciones de este tipo):
Definici
on. Se llama funci
on de Euler a la funcion : Z1 Z que asocia a cada
entero n 1 el n
umero (n) de enteros r {1, 2, . . . , n} tales que mcd(r, n) = 1. N
otese
que, como ni r = 0 ni r = n verifican mcd(r, n) = 1, se puede definir tambien (n) como
el n
umero de enteros r {0, 1, . . . , n 1} tales que mcd(r, n) = 1.
Con esta definici
on, la generalizacion del Lema 2.4 (en realidad solo la implicaci
on
que nos intereresa) es la siguiente:
Lema 3.1. Sea n un n
umero entero positivo y sean r1 , r2 , . . . , rm n
umeros enteros enteros
tales que, m (n), para todo i = 1, 2, . . . , m se tiene mcd(ri , n) = 1 y mcd(ri , rj ) = 1
si j 6= i. Entonces, los restos de la division eucldea de r1 , r2 , . . . , rm entre n son todos
distintos y coinciden, en cierto orden, con los n
umeros entre 0 y n que son coprimos con
n.
Demostraci
on: Consideramos en primer lugar los n
umeros s1 , s2 , . . . , sr {0, 1, . . . , n 1}
tales que mcd(sj , n) 6= 1 para j = 1, 2, . . . , r. Observese que, por definicion, r = n
(n). Como s1 , s2 , . . . , sr forman parte de un sistema completo de restos modulo n, son
incongruentes dos a dos m
odulo n. Ademas, ning
un ri es congruente modulo n con ning
un
sj , ya que eso querra decir que mcd(ri , n) = mcd(sj , n), contra nuestra hipotesis. Por
tanto, por el Lema 2.4, como m + r = m + n (m) n, se tiene que los restos de la
division de r1 , r2 , . . . , rm , s1 , s2 , . . . , sr entre n son todos distintos y coinciden, en cierto
orden con 0, 1, . . . , n 1. Como los restos de s1 , s2 , . . . , sr son ellos mismos, el resultado
queda demostrado.
Con estas herramientas, podemos proceder ya a generalizar el Teorema de Fermat:
Teorema 3.2 (Euler). Dado un n
umero entero n 2, entonces para cada n
umero entero
(n)
a tal que mcd(a, n) = 1 se tiene a
1 (mod n).
Demostraci
on: Sean r1 , . . . , r(n) los enteros positivos menores que n tales que mcd(ri , n) =
1. Como mcd(a, n) = 1, la Proposicion 1.9 implica que mcd(ari , n) = 1 para todo i =
1, 2, . . . , (n) y, si j 6= i, la Proposicion 2.1(vi) implica ari 6 arj (mod n). Por el Lema
25
3.1, los n
umeros ar1 , . . . , ar(n) son congruentes, en alg
un orden, con r1 , . . . , r(n) m
odulo
n. Por tanto, haciendo el producto de todos ellos tendremos
a(n) r1 . . . r(n) r1 . . . r(n) (mod n).
Como mcd(r1 . . . r(n) , n) = 1 (por la Proposicion 1.9), la Proposicion 2.1(vi) implica
a(n) 1 (mod n).
Como consecuencia, obtenemos un metodo practico para resolver una congruencia
lineal:
Corolario 3.3. Si mcd(a, n) = 1, la congruencia lineal ax b (mod n) es equivalente a
x a(n)1 b (mod n).
Demostraci
on: Por la Proposici
on 2.9), la congruencia tiene una u
nica solucion, as que
(n)1
basta ver que a
b es una soluci
on. Pero esto es inmediato, ya que a(a(n)1 b) = a(n) b
es, por el Teorema de Euler, congruente con b modulo n.
Observaci
on 3.4. Claramente, el Teorema de Euler es una generalizacion del peque
no
teorema de Fermat, ya que si p es un n
umero primo es claro que (p) = p 1 (puesto
que 1, 2, . . . , p 1 son los n
umeros coprimos con p y menores que el). Mas en general, si
k
n = p , con p n
umero primo, es claro que los enteros positivos menores o iguales que n
que no son primos con n son los m
ultiplos de p, es decir, 1 p, 2 p, . . . , pk1 p. Como hay
pk1 de ellos, se sigue entonces que
1
(pk ) = pk pk1 = pk1 (p 1) = pk (1 ).
p
Calcular (n) para un n arbitrario no parece a priori facil. Sin embargo, tenemos la
siguiente propiedad que resuelve el problema.
Teorema 3.5. Si mcd(m, n) = 1, entonces (mn) = (m)(n).
Demostraci
on: Escribimos los primeros mn n
umeros en forma de rectangulo n m:
m1
2m 1
..
.
1
m+1
..
.
2
m+2
..
.
...
...
i
m+i
..
.
...
...
jm + 1
..
.
jm + 2
..
.
...
jm + i
..
.
. . . jm + m i
..
.
(n 1)m + 1
(n 1)m + 2
...
(n 1)m + i
26
...
mn 1
m
2m
..
.
(j + 1)m
..
.
mn
y
a12 1 (mod 7),
de donde se deduce a12 1 (mod 35).
Definici
on. Una funci
on aritmetica es una funcion f : Z1 Z. Se dice ademas que es
multiplicativa si f (mn) = f (m)f (n) cuando mcd(m, n) = 1.
Ejemplo 3.8.
plicativas:
1) La funci
on identicamente cero es claramente multiplicativa.
2) Si una funci
on multiplicativa f no es identicamente cero, existe n Z1 tal que
f (n) 6= 0. Como se tiene f (n) = f (n 1) = f (n)f (1), se sigue entonces f (1) = 1. Esto
sugiere otro segundo ejemplo trivial de funci
on aritmetica multiplicativa:
f (n) =
1
0
si n = 1
si n > 1
f (d)
d|n
X
d|m,d0 |n
f (dd0 ) =
f (d)f (d0 ) =
d|m,d0 |n
X
d|m
28
f (d)
X
d0 |n
f (d0 ) = F (m)F (n).
Observaci
on 3.11. El hecho de que las funciones y anteriores son multiplicativas se puede deducir directamente de su propia definicion. En efecto, dado un n
umero
k1 k2
p1 p2 . . . pkr r , con p1 , . . . , pr primos distintos, sus divisores son (por la Proposicion 1.16)
los n
umeros de la forma pa1 1 . . . par r con 0 ai ki , es decir, los sumandos de
(1 + p1 + p21 + . . . + pk11 )(1 + p2 + p22 + . . . + pk22 ) . . . (1 + pr + p2r + . . . + pkr r ).
Claramente hay (k1 + 1)(k2 + 1) . . . (kr + 1) sumandos por lo que
(pk11 pk22 . . . pkr r ) = (k1 + 1)(k2 + 1) . . . (kr + 1)
y
(pk11 pk22 . . . pkr r ) = (1 + p1 + p21 + . . . + pk11 )(1 + p2 + p22 + . . . + pk22 ) . . . (1 + pr + p2r + . . . + pkr r )
29
o equivalentemente
(pk11 pk22 . . . pkr r ) =
Con estas descripciones, si mcd(m, n) = 1, eso quiere decir que sus factorizaciones son,
como en la demostraci
on del Teorema 3.9, de la forma m = pk11 pk22 . . . pkr r y n = q1l1 q2l2 . . . qsls ,
con pi 6= qj para todo i = 1, 2, . . . , r y j, 1, 2, . . . , s. Por tanto, mn factoriza como mn =
pk11 pk22 . . . pkr r q1l1 q2l2 . . . qsls , y se tiene
(mn) = (k1 + 1)(k2 + 1) . . . (kr + 1)(l1 + 1)(l2 + 1) . . . (ls + 1) = (m) (n)
y
(mn) =
Proposici
on 3.12. Sea : Z1 {1, 0, 1} la funcion definida por:
1
(n) =
0
(1)r
si n = 1
si existe un primo p tal que p2 |n
si n = p1 p2 . . . pr con p1 , p2 , . . . , pr primos distintos
Entonces
(i) es multiplicativa.
P
1 si n = 1
(ii)
d|n (d) =
0 si n > 1.
Demostraci
on: Veamos primero la parte (i). Sean por tanto m, n Z1 con mcd(m, n) =
1. Distinguimos tres casos:
Si m = 1 o n = 1, es evidente que (mn) = (m)(n), ya que (1) = 1.
Si existe un primo p cuyo cuadrado divide a m (resp. n), entonces su cuadrado divide
tambien a mn, luego (mn) = 0, que conicide con (m)(n) ya que (m) (resp. (n)) es
cero.
30
Definici
on. La funci
on definida en el teorema anterior se llama funci
on de M
obius.
Teorema 3.13. Sea f una funci
on aritmetica (no necesariamente multiplicativa) y sea F
P
la funcion definida por F (n) = d|n f (d). Entonces:
P
P
(i) (Formula de inversi
on de M
obius) f (n) = d|n (d)F ( nd ) = d|n ( nd )F (d).
Pn
Pn n
(ii)
i=1 F (i) =
k=1 k f (k).
Demostraci
on: Es claro que, en (i), las dos expresiones para f (n) son iguales, as que basta
demostrarlo para la primera expresion. Tendremos entonces:
X
d|n
X
X
X
n
(d)F ( ) =
(d)
f (c) =
(d)f (c).
d
n
n
d|n
c| d
d|n,c| d
La primera observaci
on ahora es que el conjunto de pares (d, c) tales que d|n y c| nd es igual
al conjunto de pares (d, c) tales que c|n y d| nc . Por tanto, la igualdad anterior prosigue
como
X
X
X
X
n
(d)F ( ) =
(d)f (c) =
f (c)
(d) .
d
n
n
d|n
c|n,d| c
c|n
por lo que
c|n
f (c)
d| n
c
(d) = f (n).
31
n
c
n
c
=1
> 1,
d| c
F (i) =
i=1
n
X
X
i=1
n X
X
f (d) =
f (d).
i=1 d|i
d|i
La observaci
on central es que basta demostrar que, para cada k = 1, . . . , n, f (k) aparece
n
a tantas veces como k sea un divisor
k veces en la suma anterior. Y en efecto, k aparecer
de un n
umero i {1, 2, . . . , n}. Como k es divisor de 1 k, 2 k, . . . , nk k, el resultado sigue
inmediatamente.
Ejemplo 3.14. Aplicando el resultado anterior a los casos 3, 4, y 5 del Ejemplo 3.10,
deducimos respectivamente las siguientes formulas para todo n Z1 :
Si f = 1 y F = :
X
d|n
n
X
n
( ) (d) = 1
d
(i) =
i=1
k=1
si f = id y F = :
X
d|n
n
X
n h i
X
n
n
( )(d) = n
d
(i) =
i=1
n
X
n
k=1
y si f = y F = id:
(n) = n
X (d)
d|n
X
d|n
n
( )d
d
n
X
n
i=
(k)
k
i=1
n
X
k=1
n
X
n
k=1
n1
X
k=1
n1
X n n 1
n 1
=2+
.
k
k
k
k=2
32
33
Mk = 2k 1
28
31
496
127
8128
13
8191
33550336
17
131071
8589869056
19
524287
137438691328
31
2147483647
2305843008139952128
61
n = 2k1 (2k 1)
2305843009213693951 2658455991569831744654692615953842176
4. Ordenes,
races primitivas e ndices
El Ejemplo 3.7 muestra que, dado n Z1 , no siempre (n) es la menor potencia a la
que debemos elevar un n
umero para que nos de 1 modulo n. En este captulo, pretendemos
estudiar en que condiciones (n) es dicho menor exponente. Las definiciones naturales de
partida son las siguientes:
Definici
on. Fijado un entero positivo n, para cada a Z tal que mcd(a, n) = 1 se llama
orden del elemento a m
odulo n al menor entero positivo k tal que ak 1 (mod n). Del
teorema de Euler sigue k (n), y diremos que a es una raz primitiva (de la unidad)
m
odulo n si su orden es k = (n).
Ejemplo 4.1. Estudiemos el caso n = 11. Si tomamos a = 2, es un simple calculo observar
que las potencias 21 , 22 , 23 , 24 , 25 , 26 , 27 , 28 , 29 , 210 son respectivamente congruentes con
2, 4, 8, 5, 10, 9, 7, 3, 6, 1 m
odulo 11. Por tanto, 2 tiene orden 10 modulo 11, y por tanto es
una raz primitiva. Observese que las distintas potencias nos han dado precisamente todos
los restos 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, aunque en orden distinto. Ya veremos mas adelante que
esto no es una coincidencia. Si en cambio tomamos a = 3, las potencias 31 , 32 , 33 , 34 , 35 son
respectivamente congruentes con 3, 9, 5, 4, 1 modulo 11, por lo que 3 tiene orden 5 modulo
11 y no es una raz primitiva. Tampoco es casualidad que el orden de 3 sea un divisor de
(11) = 10.
No tienen por que existir siempre races primitivas (de hecho, es lo menos frecuente).
Por ejemplo, el Ejemplo 3.7 indica que 35 no tiene races primitivas. Mas a
un, indica que
el problema es que 35 factoriza en dos n
umeros primos entre s, 7 y 5, cuyos valores de
no son primos entre s, ya que son ambos pares. El siguiente resultado indica que esta
situacion se repetir
a muchas veces.
Lema 4.2. Si n > 2, (n) es par.
Demostraci
on: Si n contiene alg
un divisor primo impar p, entonces el resultado es evidente,
k
ya que se podr
a escribir n = p m con mcd(m, p) = 1 y k 1. Entonces (n) = (pk )(m),
y (pk ) es par, ya que por la Observacion 3.4 se tiene (pk ) = pk1 (p 1) y p 1 es par.
Queda por tanto estudiar el caso en que n no tiene factores impares, es decir, es de la
forma n = 2k . En tal caso, (2k ) = 2k1 , que es tambien par por ser k > 1 (puesto que
n > 2).
Del lema sacamos ya muchos casos en que no hay races primitivas.
Proposici
on 4.3. Si mcd(m, n) > 1 y m, n > 2, entonces mn no tiene races primitivas.
35
Demostraci
on: Sea a Z tal que mcd(a, mn) = 1, es decir, mcd(a, m) = 1 y mcd(a, n) = 1
(ver Proposici
on 1.9). Si aplicamos el Teorema de Euler separadamente a m y n, tendremos
(m)
y (m)
que a
1 (mod m) y a(n) 1 (mod n). Elevando respectivamente a (n)
2
2
(m)(n)
(que son enteros, ya que por el lema (m) y (n) son pares) obtenemos que a 2
es
congruente con 1 m
odulo m y n, luego tambien modulo mn. Por tanto, el orden de a
. Como (mn) = (m)(n) al ser mcd(m, n) = 1, se
modulo mn es a lo sumo (m)(n)
2
tiene que ning
un a tiene orden (mn).
Como consecuencia, los u
nicos n
umeros que pueden tener races primitivas son los de
k
k
la forma p o 2p (con p 6= 2 en el segundo caso). El caso de las potencias de 2 queda
excluido (salvo para las dos primeras potencias) por el siguiente resultado.
Proposici
on 4.4. Para todo n
umero impar a y para cada entero k 3, se tiene que
2k2
k
a
1 (mod 2 ). Por tanto, 2k no tiene races primitivas.
Demostraci
on: Si demostramos la primera parte, como (2k ) = 2k1 por la Observaci
on
3.4, se sigue que 2k no tiene races primitivas. Basta entonces demostrar la primera parte,
k2
es decir, 2k |a2 1 si k 3. Lo demostraremos por induccion sobre k. Si k = 3, entonces
tenemos a2 1 = (a + 1)(a 1). Como a 1 y a + 1 son dos pares consecutivos, uno de
ellos es necesariamente m
ultiplo de 4, con el producto de ambos es divisible por 8.
Supongamos ahora que lo tenemos demostrado para k y queremos demostrarlo para
k1
k2
k2
k + 1. Entonces escribimos a2
1 = (a2
+ 1)(a2
1). El primer factor es par,
mientras que el segundo, por hip
otesis de induccion, es divisible por 2k , as que el producto
de ambos factores es divisible por 2k+1 , como queramos demostrar.
El resultado final, que demostraremos algo mas adelante, cuando dispongamos de las
tecnicas necesarias, es el siguiente:
Teorema 4.5. Un n
umero natural n > 1 posee races primitivas si y solo si es n = 2,
n = 4, n = pk o n = 2pk donde p es un primo impar y k 1.
Por las Proposiciones 4.3 y 4.4, tenemos que los u
nicos casos posibles son los del
enunciado. Por otra parte, es evidente que 3 es una raz primitiva modulo 2 y modulo 4.
Por tanto, basta ver que los n
umeros de la forma pk o 2pk tienen races primitivas. Eso lo
demostraremos en el Teorema 4.12.
Dado que debemos estudiar la existencia de elementos de orden (n), parece razonable
estudiar primero propiedades de los ordenes de los elementos.
36
Proposici
on 4.6. Sea a un elemento de orden k modulo n. Entonces:
(i) ah 1 (mod n) si y s
olo si k|h.
(ii) k es un divisor de (n).
(iii) ai aj (mod n) si y s
olo si i j (mod k).
(iv) Los elementos a, a2 , . . . , ak1 , ak son incongruentes modulo n.
(v) Si h > 0, entonces ah tiene orden
k
mcd(h,k)
modulo n.
Demostraci
on: Para la parte (i), sea h = qk + r la division eucldea de h entre k, por lo
que 0 r < k. Se tendr
a entonces
ah = aqk+r = (ak )r ar 1k ar = ar (mod n).
Por tanto, ah 1 (mod n) si y s
olo si ar 1 (mod n). Como r < n y, por definici
on de
k
r
orden, k es el menor entero positivo tal que a 1 (mod n), se sigue que a 1 (mod n)
si y solo si r 0, es decir, si y s
olo si r = 0 (ya que r 0). Como esto es equivalente a
decir k|h, queda demostrado (i).
La parte (ii) es una consecuencia de (i), ya que, por el Teorema de Euler, se tiene
1 (mod n).
(n)
congruencia x12 1 (mod 35) tiene 24 soluciones). Este tipo de anomalas (tener m
as
soluciones que el grado de la congruencia) no se dan en el caso en que n es un n
umero
primo (ni para congruencias de grado uno, como indica la Proposicion 2.9), y de hecho se
tiene el siguiente resultado, que sera clave para demostrar el Teorema 4.5:
Teorema 4.7 (Lagrange). Sea p un n
umero primo y f (x) = ad xd +ad1 xd1 +. . .+a1 x+a0
un polinomio con alg
un ai no divisible por p. Entonces existen como mucho d soluciones
distintas m
odulo p de la congruencia f (x) 0 (mod p).
Demostraci
on: Lo hacemos por induccion sobre d. Si d = 0, entonces f (x) es una constante
a0 no divisible por p, por lo que f (x) 0 (mod p) no tiene solucion. Supongamos entonces
que tenemos el resultado demostrado para polinomios no nulos de grado menor o igual que
d y demostremoslo para polinomios de grado d + 1. Tomemos por tanto un polinomio
f (x) = ad+1 xd+1 + ad xd + . . . + a1 x + a0 con alg
un ai no divisible por p. Distinguimos dos
casos:
Si p|ad+1 , entonces alg
un ai , con i = 0, 1, . . . , d, no es divisible por p. Ademas, las
soluciones de f (x) 0 (mod p) son las soluciones de ad xd + . . . + a1 x + a0 0 (mod p),
que, por hip
otesis de inducci
on, son al maximo d distintas modulo p. Por tanto, en este
caso hay incluso menos de d + 1 soluciones modulo p.
Si en cambio p 6 |ad+1 , demostraremos por reduccion al absurdo que f (x) 0 (mod p)
no puede tener m
as de d + 1 soluciones modulo p. En efecto, supongamos que tuviera d + 2
soluciones distintas, que denotamos por x x1 , x2 . . . , xd+1 , xd+2 (mod p). Consideramos
el polinomio
g(x) = f (x) ad+1 (x x1 ) . . . (x xd+1 ),
que claramente tiene grado como mucho d (ya que el coeficiente de xd+1 es cero). Adem
as,
no todos sus coeficientes son divisibles por p, ya que g(xd+2 ) = ad+1 (xd+2 x1 ) . . . (xd+2
xd+1 ) 6 0 (mod p) porque es el producto de n
umeros no divisibles por p (Corolario 1.14).
Por tanto, por hip
otesis de induccion la congruencia g(x) 0 (mod p) tiene a lo sumo d
soluciones distintas m
odulo p, mientras que claramente x x1 , x2 . . . , xd+1 (mod p) son
soluciones, lo que nos da la contradiccion que buscabamos.
Definici
on. Dado un polinomio f (x) con coeficientes enteros, llamaremos races del polinomio m
odulo p a las soluciones de la congruencia f (x) 0 (mod p).
Un ejemplo tpico del resultado anterior es el polinomio xp1 1, que por el peque
no
Teorema de Fermat tiene exactamente p1 races modulo p. Entre este hecho y el teorema
podemos demostrar el siguiente resultado fundamental:
38
Proposici
on 4.8. Para cada d|p1, la congruencia xd 1 0 (mod p) tiene exactamente
d soluciones m
odulo p.
Demostraci
on: Si escribimos p 1 = dk, entonces podemos escribir
xp1 1 = (xd )k 1 = (xd 1) (xd )k1 + (xd )k2 + . . . + xd + 1 = (xd 1)f (x)
donde f (x) est
a definido como el segundo factor, y en particular tiene grado dk d =
p 1 d. Como, por el peque
no teorema de Fermat cada a primo con a es raz modulo
p1
p de x
1, entonces tambien es raz de xd 1 o de f (x). Como por el Teorema de
Lagrange xd 1 tiene como mucho d races modulo p y f (x) tiene como mucho p 1 d,
se sigue que se da la igualdad en ambos casos, es decir, xd 1 tiene exactamente d races
modulo p.
Podemos demostrar ya el resultado principal que nos da los elementos que tenemos
de cada orden, y en particular la existencia de races primitivas modulo p:
Teorema 4.9. Para cada d|p1, existen exactamente (d) enteros incongruentes de orden
d modulo p.
Demostraci
on: Llamamos (d) al n
umero de enteros incongruentes modulo p de orden d.
Como el orden de un elemento m
odulo p es un divisor de (p) = p 1, se tendra
X
(d) = p 1.
d|p1
k2
Euler para pk1 , sabemos que rp (p1) 1 es divisible por pk1 , y nuestra hipotesis de
induccion indica que no es divisible por pk . En otras palabras, podemos escribir
rp
k2
(p1)
= 1 + apk1
pk1 (p1)
= (1 + ap
p 2 2k2
) = 1 + ap +
a p
+ ...
2
k1 p
Como p > 2 (es aqu donde usamos que p sea impar), p2 es divisible por p, luego el sumando
p 2 2k2
es divisible por p2k1 y 2k 1 k + 1 por ser k 2. El resto de sumandos en
2 a p
los puntos suspensivos son divisibles por pi(k1) con i 3, y como i(k 1) 3k 3 k + 1
son tambien divisible por pk+1 . Se concluye as que
k1
rp
(p1)
k1
(p1)
1 tampoco lo es.
Ejemplo 4.13. El resultado anterior es constructivo. Por ejemplo, vamos a buscar una
raz primitiva m
odulo 242 = 2 112 . Ya sabemos, por el Ejemplo 4.1, que 2 es una raz
primitiva m
odulo 11. Nos preguntamos si sera tambien una raz primitiva modulo 112 ,
para lo que usaremos el Lema 4.11. Como 210 1 = 1023 = 3 11 31 no es divisible por
112 , se sigue que 2 es, en efecto, una raz primitiva modulo 112 (notese que, si hubieramos
obtenido que no lo era, la demostracion del Teorema 4.12(ii) nos dira automaticamente
que 2 + 11 es una raz primitiva). Finalmente, por la demostracion de la parte (iv) del
Teorema 4.12, tenemos que 2 + 112 = 123 es una raz primitiva modulo 2 112 .
Ahora que sabemos que n
umeros tienen raz primitiva, veamos en que podemos usarlo. Observese en primer lugar que, si r es una raz primitiva modulo n, entonces por la
Proposicion 4.6(iv) los elementos r, r2 , . . . , r(n) son todos no congruentes dos a dos, luego,
por el Lema 3.1, son congruentes modulo n, en alg
un orden, a los n
umeros 1, 2, . . . , n que
41
Por la Proposici
on 4.6(iii), esta congruencia es equivalente a 6y 8 (mod 10). Aplicando
ahora la Proposici
on 2.9, sabemos que esta congruencia tiene dos soluciones, precisamente
y 3, 8 (mod 10). De nuevo por la Proposicion 4.6(iii), estas soluciones son equivalentes
a 2y 23 , 28 (mod 11), es decir, x 8, 3 (mod 11).
Teorema 4.17. Sea n un entero con una raz primitiva r, y sean k 2 y d = mcd(k, (n)).
Si a Z verifica mcd(a, n) = 1, y por tanto a rb (mod n) para alg
un b Z1 , entonces
son equivalentes:
(i) La congruencia xk a (mod n) tiene solucion.
(ii) d|b.
(iii) a
(n)
d
1 (mod n).
(n)
d
44
5. Congruencias cuadraticas
En el Teorema 4.17 hemos visto que el Teorema 4.12 parece funcionar particularmente
bien para ciertas congruencias de grado 2k . En este captulo vamos a centrarnos en las
congruencias de grado dos. Observese en primer lugar que cualquier congruencia m
odulo
un entero n se puede descomponer en congruencias modulo las potencias de primos que
dividen a n. Podemos usar por tanto que, con la excepcion de las potencias de dos, las
potencias de un primo tienen races primitivas. De todas formas, vamos a iniciar nuestro
estudio con congruencias cuadr
aticas modulo un n
umero primo. Podemos suponer que el
2
primo es impar, ya que x x (mod 2), luego las congruencias cuadraticas modulo dos
son equivalentes a congruencias lineales.
El primer resultado nos da la clasica resolucion de una ecuacion de grado dos, pero
ahora en el lenguaje de congruencias.
Proposici
on 5.1. Sea p un n
umero primo impar y sean a, b, c Z tales que mcd(a, p) = 1.
2
Entonces la congruencia ax + bx + c 0 (mod p) tiene solucion si y solo si la congruencia
x2 b2 4ac (mod p) tiene solucion. Ademas, las soluciones de ax2 + bx + c 0 (mod p)
son exactamente las soluciones de 2ax b + d (mod p) y 2ax b d (mod p), donde
d es una soluci
on de x2 b2 4ac (mod p).
Demostraci
on: Como mcd(4a, p) = 1, la congruencia ax2 + bx + c 0 (mod p) es equivalente a 4a2 x2 + 4abx + 4ac 0 (mod p), es decir,
(2ax + b)2 b2 4ac (mod p).
Por tanto, si nuestra congruencia original tiene solucion, entonces b2 4ac es un cuadrado
modulo p. Recprocamente, si d2 b2 4ac (mod p), entonces la congruencia anterior
es equivalente a p|(2ax + b)2 d2 , es decir p|(2ax + b + d)(2ax + b d), que es a su vez
equivalente a 2ax b + d (mod p) o 2ax b d (mod p), y ambas tienen soluci
on
u
nica porque mcd(2a, p) = 1 (ver Proposicion 2.9).
El resultado anterior indica que para saber resolver ecuaciones cuadraticas modulo un
n
umero primo basta saber decidir cuando un n
umero es un cuadrado modulo dicho n
umero
primo. Por supuesto, si el n
umero es divisible por el n
umero primo, es congruente con el
cuadrado de cero, y es la u
nica solucion. En caso contrario, podemos usar el Teorema 4.17
para dar una respuesta:
Teorema 5.2 (Criterio de Euler). Sea p un n
umero primo impar y sea a Z tal que
p1
2
mcd(a, p) = 1. Entonces la congruencia x a (mod p) tiene solucion si y solo si a 2
p1
1 (mod p). Adem
as, si la congruencia no tiene solucion se verifica a 2 1 (mod p)
45
Demostraci
on: Como (p) = p 1 es par, se tiene que mcd(2, (p)) = 2, luego por el
p1
Teorema 4.17 la congruencia x2 a (mod p) tiene solucion si y solo si a 2 1 (mod p).
Por otra parte, por el Teorema de Euler se tiene ap1 1 (mod p), es decir,
p|ap1 1 = (a
lo que implica que a
p1
2
p1
2
)2 1 = (a
1 (mod p) o a
p1
2
p1
2
+ 1)(a
p1
2
1)
1 (mod p).
Definici
on. Si mcd(a, p) = 1, se dice que a es un resto cuadr
atico m
odulo p si la congru2
encia x a (mod p) tiene soluci
on. Se llama smbolo de Legendre al n
umero
(
1 si es un resto cuadratico modulo p
a
=
p
1 si a no es un resto cuadratico modulo p
Para p = 2, se tiene obviamente a2 = 1 para cualquier a impar. Si p es un n
umero primo
impar, por el Teorema 5.2, se tiene
p1
a
a 2
(mod p)
p
Proposici
on 5.3. El smbolo de Legendre verifica las siguientes propiedades:
(i) Si a b (mod p) entonces ap = pb .
(ii) ab
= ap pb .
p
2
(iii) ap = 1, y en particular p1 = 1
p1
(iv) 1
= (1) 2 si p es impar.
p
Demostraci
on: La parte (i) es trivial. La parte (ii) (si p es impar, ya que el caso p = 2 es
trivial) se sigue de que
p1
p1 p1
ab
a
b
(ab) 2 = a 2 b 2
(mod p)
p
p
p
lo que implica la igualdad de ab
y ap pb , ya que ambos valen 1 o 1. La parte (iii) es
p
(ii) cuando a = b, y la parte (iv) es el criterio de Euler (notese que es tambien equivalente
al Teorema 2.19).
Observaci
on 5.4. La parte (ii) es mucho mas potente de lo que aparenta. Por ejemplo,
podra parecer que no sirve para calcular 23
31 , pero basta por ejemplo escribir
3
23
8
(1)23
1
2
=
=
=
.
31
31
31
31
31
46
2
2 3
Por (iv), tenemos 1
=
=
1,
mientras
que
por
(iii)
tenemos
31
31
31 , por lo que
2
23
finalmente tenemos 31 = 31 , que es mas facil de calcular. En efecto, basta utilizar
el criterio de Euler, y observar que
2
por lo que
2
31
311
2
= 1 y por tanto
23
31
= 1.
0
} {r100 , . . . , rn00 }
{r1 , . . . , r p1 } = {r10 , . . . , rm
2
0
donde r10 , . . . , rm
son los restos menores que
Entonces:
p
2
p
2.
00
00
0
0
(i) {1, 2 . . . , p1
2 } = {r1 , . . . , rm } {p r1 , . . . , p rn }
(ii) (Lema de Gauss) ap = (1)n , donde n es como antes, es decir, el n
umero de elep
mentos de a, 2a, 3a, . . . , p1
2 a cuyo resto al dividir por p es mayor que 2 .
Demostraci
on: Usaremos repetidamente la Proposicion 2.5. Como el conjunto
p1
p1 p3
,
, . . . , 1, 0, 1, . . . ,
2
2
2
p1
p3
p1
a,
a, . . . , a, 0, a, . . . ,
a
2
2
2
forman un sistema completo de restos modulo p. Esto implica en particular que los n
umeros
0
0
00
00
r1 , . . . , rm , r1 , . . . , rn son incongruentes modulo p cuando se toman dos a dos, y lo
0
, pr100 , . . . , prn00 , que seran por tanto distintos.
mismo es cierto con los n
umeros r10 , . . . , rm
Como hay m + n = p+1
umeros, y todos ellos estan en el conjunto {1, 2 . . . , p1
2 de estos n
2 },
se sigue inmediatamente la parte (i).
47
0 00
. . . rm
r1
. . . rn00
p1
a(2a)(3a) . . . (
a) =
2
p1
2
p1
p1
!a 2 (mod p),
2
2
p
= 1.
2
p
= 1.
2
p
= 1.
2
p
= 1.
2
p
=
1 si p 1 (mod 8) o p 3 (mod 8)
1 si p 5 (mod 8) o p 7 (mod 8)
Demostraci
on: Basta combinar el Teorema 5.6 con las partes (iii) y (iv) de la Proposici
on
5.3. Lo hacemos seg
un el resto de p modulo 8:
Si p 1 (mod 8), entonces por el Teorema 5.6, p2 = 1, mientras que por otra
parte p 1 (mod 4) luego por la Proposicion 5.3(iv) se tiene 1
= 1. Por tanto, de la
p
Proposicion 5.3(iv) se sigue 2
= 1.
p
Si p 3 (mod 8), entonces por el Teorema 5.6, p2 = 1, mientras que por otra
parte p 3 (mod 4) luego por la Proposicion 5.3(iv) se tiene 1
= 1. Por tanto, de
p
= 1.
la Proposici
on 5.3(iv) se sigue 2
p
Si p 5 (mod 8), entonces por el Teorema 5.6, p2 = 1, mientras que por otra
parte p 1 (mod 4) luego por la Proposicion 5.3(iv) se tiene 1
= 1. Por tanto, de la
p
= 1.
Proposicion 5.3(iv) se sigue 2
p
Si p 7 (mod 8), entonces por el Teorema 5.6, p2 = 1, mientras que por otra
parte p 3 (mod 4) luego por la Proposicion 5.3(iv) se tiene 1
= 1. Por tanto, de
p
la Proposici
on 5.3(iv) se sigue 2
= 1.
p
Corolario 5.9. Existen infinitos n
umeros primos de la forma 8k + 3.
Demostraci
on: Como siempre, supogamos que p1 , p2 , . . . , pr son todos los n
umeros primos
2
de la forma 8k + 3. Consideramos el n
umero a = (p1 p2 . . . pr ) + 2. Entonces, si p es un
divisor primo de a (necesariamente impar), se tendra que (p1 p2 . . . pr )2 2 (mod p), y
por el Teorema 5.8 se tendr
a que p es congruente con 1 o 3 modulo 8. Como a es de la
forma 8k + 3 (ya que el cuadrado de cada pi es de la forma 8k + 1), no todos los divisores
de a son de la forma 8k + 1. Por tanto, a es divisible por alg
un n
umero primo de la forma
8k + 3, es decir, por alg
un pi ; lo que es imposible.
Damos a continuaci
on un modo practico de calcular los smbolos de Legendre:
49
p1
p1
p1
p1
2
X
ka
2
X
ka
2
X
2
X
2
X
k=1
k=1
=p
qk =
k=1
(kark ) =
k=1
0
ka(r10 +. . .+rm
)(r100 +. . .+rn00 )
k=1
p1
2
X
0
k (r10 + . . . + rm
) (r100 + . . . + rn00 ) (mod 2).
k=1
0
Por el Teorema 5.5(i), {r10 , . . . , rm
, p r100 , . . . , p rn00 } = {1, 2, . . . , p1
2 }, y por tanto
p1
0
(r10 + . . . + rm
) + ((p r100 ) + . . . + (p rn00 )) =
2
X
k.
k=1
2
X
ka
k=1
p1 q1
2
2
= (1)
P p1
2
k=1
P q1 lp
P p1 ka
P q1 lp
q
2
2
2
[ ka
[ q ] = (1) k=1
[ p ] (1) l=1
[q] = p
p ]+
l=1
.
q
p
Observaci
on 5.12.
La ley de reciprocidad cuadratica es el resultado del que m
as
demostraciones se conocen. En http://www.rzuser.uni-heidelberg.de/hb3/fchrono.html
hay una lista de ellas, y hasta el a
no 2007 se llevan contabilizadas 224 distintas.
Corolario 5.13. Sea p > 3 un n
umero primo. Entonces:
(
1 si p 1 (mod 12) o p 11 (mod 12)
(i) p3 =
1 si p 5 (mod 12) o p 7 (mod 12)
(
1 si p 1 (mod 3)
(ii) 3
=
p
1 si p 2 (mod 3)
p1
Demostraci
on: Por la ley de reciprocidad cuadratica, tenemos p3 = (1) 2 p3 . Por
p1
1
2
. Por tanto, 3
otra parte, por la Proposici
on 5.3(iv), tenemos p = (1)
=
p
3
1
= p3 , que claramente viene dado por la formula de (ii). La parte (i) se
p
p
demuestra como el Corolario 5.8 a partir de (i).
Corolario 5.14. Existen infinitos n
umeros primos de la forma 12k + 11.
Demostraci
on: Supongamos en primer lugar que p1 , . . . , pr sean todos los n
umeros primos
2
de la forma 12k+11. Consideramos a = 12(p1 . . . pr ) 1. Entonces, si p es un divisor primo
de a (necesariamente p > 3), se tiene que 6p1 . . . pr es una solucion de x2 3 (mod p).
El Corolario 5.13(i) implica entonces que p es de la forma 12k + 1 o 12k + 11. Como a es
de la forma 12k + 11, necesariamente tendra alg
un divisor primo de la forma 12k + 11, es
decir, alg
un pi , lo que es absurdo.
51
entonces x2 a (mod pk ) tiene solucion. Lo haremos por induccion sobre k, siendo trivial
el caso k = 1.
Supongamos entonces que x2 a (mod pk ) tiene solucion x0 y encontremos una
solucion de x2 a (mod pk+1 ). Como las soluciones de esta segunda congruencia son
soluciones de la primera, en realidad buscamos enteros de la forma x0 + ypk que sean
solucion de la segunda congruencia.
x20
de donde se deduce que (x0 + ypk )2 a (mod pk+1 ) si y solo si p|2x0 y + b. Como
mcd(2, p) = 1, la congruencia 2x0 y +b 0 (mod p) tiene solucion, y tomando una soluci
on
k
2
k+1
y se tiene que x0 + yp es una solucion de x a (mod p
).
52
El hecho de que haya exactamente dos soluciones modulo pk es consecuencia del Teorema 4.17, ya que pk tiene races primitivas. Puede hacerse tambien directamente, ya que,
si x0 es una soluci
on, entonces cualquier otra solucion x verifica x2 x20 (mod pk ), es decir,
pk |x2 x20 = (x+x0 )(xx0 ). No puede ocurrir simultaneamente p|x+x0 y p|xx0 , ya que
entonces p|(x + x0 ) (x x0 ) = 2x0 y, como p es un primo impar, p|x0 , lo que contradice
que x20 1 (mod pk ). Por tanto mcd(pk , x + x0 ) = 1 o bien mcd(pk , x x0 ) = 1, por lo
que pk |x x0 o bien pk |x + x0 . Por tanto, x x0 (mod pk ) o bien x x0 (mod pk ), y
estas son las u
nicas soluciones.
54
6. Ecuaciones diofanticas
Se llama ecuaci
on diof
antica a una ecuacion cuyas variables son n
umeros enteros. La
n
n
mas conocida es la llamada ecuaci
on de Fermat, que es x + y = z n . Fermat asegur
o
que, si n 3, las u
nicas posibles soluciones son aquellas en que alguno de los x, y, z es
Definici
on. Una terna pitag
orica se dice que es primitiva si mcd(x, y, z) = 1, o equivalentemente cualquiera de los mcd(x, y), mcd(x, z), mcd(y, z) es 1.
Lema 6.2. Sea x, y, z una terna pitagorica primitiva. Entonces entre x, y, z hay exactamente un n
umero par, que es o bien x o bien y.
Demostraci
on: Es evidente que entre x, y, z hay exactamente un n
umero par. Si fuera z,
2 2
2
entonces xx, y seran impares, luego x , y 1 (mod 8), luego z = x2 + y 2 2 (mod 8),
lo que es absurdo, porque z 2 debe ser divisible por 4.
55
Teorema 6.3. Sea x, y, z una terna pitagorica primitiva con x, y, z > 0 y x par. Entonces
existen s, t Z tales que 0 < t < s, mcd(s, t) = 1, s 6 t (mod 2) y
x =2st
y =s2 t2
z =s2 + t2
Demostraci
on: Observamos en primer lugar que mcd(z +y, z y) = 2. En efecto, cualquier
divisor com
un de z + y y z y lo es tambien de su suma y su diferencia, es decir, de 2z y
2y Como mcd(y, z) = 1, se sigue el u
nico posible divisor com
un de z + y y z y es 2, que
efectivamente es un divisor, ya que y, z son impares. Podemos escribir entonces z + y = 2a
y z y = 2b, con a, b enteros tales que mcd(a, b) = 1. Por tanto
(
y =ab
z =a+b
p
Observese que, como y < x2 + y 2 = z, entonces b > 0 y, como y > 0, tambien a > b.
Por otra parte, como x es par, podemos escribir x = 2c. De la igualdad x2 = z 2 y 2 =
(z + y)(z y) se deduce entonces c2 = ab, luego, por el Corolario 1.17(ii), existen enteros
positivos s, t tales que a = s2 y b = t2 (y por tanto x = 2st, y = s2 t2 y z = s2 +t2 ). Como
mcd(a, b) = 1, necesariamente mcd(s, t) = 1 y, como a > b, sera s > t. Finalmente,como
ni y ni z son pares, necesariamente s y t tienen distinta paridad.
Teorema 6.4. La ecuaci
on x4 + y 4 = z 2 no tiene solucion entera positiva.
Demostraci
on: Sea S el conjunto de los enteros positivos z para los que existen x, y > 0
2
tales que z = x4 +y 4 . Supongamos, por reduccion al absurdo, que la ecuacion x4 +y 4 = z 2
tiene soluci
on entera positiva. Esto quiere decir que el conjunto S es no vaco, y por el
principio del buen orden existir
a un elemento mnimo de S. Sea pues una solucion x, y, z
con S mnimo en S. Los enteros x2 , y 2 , z forman entonces una terna pitagorica, que veremos
a continuaci
on que es primitiva. En efecto, si mcd(x2 , y 2 ) 6= 1, entonces mcd(x, y) = d > 1.
Si escribimos x = dx0 , y = dy 0 , entonces d4 |x4 + y 4 = z 2 , luego d2 |z y podremos escribir
z = d2 z 0 , con z 0 Z1 . Entonces, haciendo esas sustituciones en la igualdad x4 + y 4 = z 2
queda d4 x04 + d4 y 04 = d4 z 02 , de donde se deduce x04 + y 04 = z 02 . Por tanto, z 0 S, lo que
es imposible porque z 0 < dz 0 = z y z era mnimo en S.
Sin perdida de generalidad, podemos suponer que x2 es par e y 2 , z impares. Por el
Teoorema 6.3, se tendr
a que existen s, t enteros positivos primos entre s y de distinta
paridad tales que
2
x =2st
y 2 =s2 t2
z =s2 + t2
56
t =2uv
y =u2 v 2
s =u2 + v 2
Como s es impar, mcd(2t, s) = 1, luego de la igualdad x2 = (2t)s y del Corolario 1.17(ii)
deducimos que existen t0 , s0 Z1 tales que
(
2t =(2t0 )2
s =s02
Finalmente, haciendo la sustituci
on t = 2t02 en la igualdad t = 2uv llegamos a t02 = uv, y
usando de nuevo el Corolario 1.17(ii) y mcd(u, v) = 1, obtenemos que existen u0 , v 0 Z1
tales que
(
u =u02
v =v 02
Por tanto, la igualdad s = u2 + v 2 se convierte en s02 = u04 + v 04 , luego s0 S. La
desigualdad
s0 s02 = s s2 < s2 + t2 = z
produce entonces una contradicci
on con el hecho de que z era mnimo en S.
Observaci
on 6.6. El corolario anterior reduce el Ultimo
Teorema de Fermat al caso en
que el exponente n es un n
umero primo. En efecto, supongamos demostrado el Ultimo
Teorema de Fermat para exponentes primos. Entonces, para cada n > 2, o bien n tiene un
divisor primo impar o es una potencia de 2. En el primer caso, si n = pk, con p > 2 primo,
entonces la ecuaci
on de Fermat se puede escribir como (xk )p + (y k )p = (z k )p , que no tiene
solucion no trivial, porque por hip
otesis xp + y p = z p no la tiene. Si, en cambio, n es una
potencia de 2, como n > 2, necesariamente se puede escribir n = 4k (ademas, k sera una
potencia de 2, aunque esto no nos interesa). En este caso, se puede escribir la ecuaci
on
k 4
k 4
k 4
k k k
como (x ) + (y ) = (z ) , pero el Corolario 6.5 implica que entonces x y z = 0, es
decir, xyz = 0.
Veamos otra ecuaci
on diof
antica mas restrictiva que la de Fermat de grado cuatro:
57
y =2st
2
z =s2 + t2
y, multiplicando la primera y u
ltima igualdad se obtiene x2 z 2 = (s2 t2 )(s2 + t2 ) = s4 t4 ,
y en particular t4 + (xz)2 = s4 . Como s2 < s2 + t2 = z 2 , se concluye que s < z, lo que
contradice la minimalidad de z.
Nos queda entonces el caso en que x2 es par e y impar. Por el Teorema 6.3, se tendr
a
que existen s, t enteros positivos primos entre s y de distinta paridad tales que
( 2
x =2st
z 2 =s2 + t2
donde no decimos si y = s2 t2 o y = t2 s2 ; por tanto, s y t juegan un papel simetrico, y
podemos suponer que s es par y t impar. Como la igualdad s2 + t2 = z 2 nos dice que s, t, z
es una terna pitag
orica (primitiva porque mcd(s, t) = 1), por el Teorema 6.3, podemos
encontrar u, v primos entre s y de distinta paridad tales que
s =2uv
t =u2 v 2
z =u2 + v 2
Como t es impar, mcd(2s, t) = 1, luego de la igualdad x2 = (2s)t y del Corolario 1.17(ii)
deducimos que existen s0 , t0 Z1 tales que
(
2s =(2s0 )2
t =t02
Finalmente, haciendo la sustituci
on s = 2s02 en la igualdad s = 2uv llegamos a s02 = uv, y
usando de nuevo el Corolario 1.17(ii) y mcd(u, v) = 1, obtenemos que existen u0 , v 0 Z1
tales que
(
u =u02
v =v 02
58
x =2st
y 2 =s2 t2
z =s2 + t2
lo que es cierto porque existen infinitas soluciones de y 2 = s2 t2 . De la misma forma,
existiran infinitas soluciones de x2 + y 2 = z 4 si existen infinitas soluciones de
x =2st
y =s2 t2
2
z =s2 + t2
lo que vuelve a ser cierto, porque basta encontrar infinitas soluciones de z 2 = s2 + t2 .
Las soluciones de la ecuaci
on x2 + y 2 = z 2 se pueden interpretar desde otro punto
de vista: cu
ando un cuadrado perfecto z 2 se puede escribir como suma de dos cuadrados
59
x2 + y 2 ? O bien, cu
ando un cuadrado perfecto x2 se puede escribir como diferencia de dos
cuadrados z 2 y 2 ? A continuaci
on queremos estudiar un problema mas general: cu
ando
un n
umero se puede escribir como suma o diferencia de dos cuadrados?. Empezamos con
el caso de la diferencia de cuadrados, que resulta sorprendentemente facil:
Teorema 6.10. Un n
umero n Z se puede escribir como n = x2 y 2 si y s
olo si
n 6 2 (mod 4).
Demostraci
on: Supongamos primero que n = x2 y 2 . Como x2 , y 2 0, 1 (mod 4), se
sigue que n = x2 y 2 0, 1, 3 (mod 4). Recprocamente, supongamos que n 6 2 (mod 4).
Distinguimos dos casos:
n1 2
2
-Si n es impar, entonces escribimos n = ( n+1
2 ) ( 2 ) .
n4 2
2
-Si n es par, entonces es m
ultiplo de 4, y podemos escribir n = ( n+4
4 ) ( 4 ) .
El caso de la suma de dos cuadrados es mas complicado. Empezamos con una observacion que ser
a muy u
til:
Lema 6.11. El producto de dos sumas de dos cuadrados es tambien una suma de dos
cuadrados.
Demostraci
on: En efecto, basta observar que (x2 + y 2 )(z 2 + w2 ) = (xz + yw)2 + (xw yz)2 .
(i) p = x2 + y 2 si y s
olo si p|x2 + x2 y 0 < |x|, |y| < p.
(ii) Si p = x2 + y 2 = z 2 + w2 , entonces o bien |x| = |z|, |y| = |w| o bien |x| = |w|, |y| = |z|.
Demostraci
on: Para demostrar (i), supongamos primero p = x2 + y 2 , de donde se deduce
inmediatamente p|x2 + x2 . Adem
as, no puede ser x = 0, ya que entonces p = y 2 , y no
podra ser un n
umero primo. De la misma forma, y 6= 0, por lo que |x|, |y| > 0. De aqu
para alg
un n > 0. Por otra parte, np = x2 + y 2 < ( p)2 + ( p)2 = p + p = 2p, luego
n < 2, es decir, n = 1 y x2 + y 2 = p.
Para demostrar (ii), es claro que basta suponer x, y, z, w > 0. Tenemos entonces
(xz yw)(xwyz) = x2 zwxyz 2 xyw2 +y 2 zw = (x2 +y 2 )zwxy(z 2 +w2 ) = p(zwxy).
60
Como p es primo, entonces p|xz yw o p|xw yz. Por otra parte, por (i), x, y, z, w < p,
luego |xz yw|, |xw yz| < p, por lo que decir que xz yw o xw yz son divisibles por
p es lo mismo que decir que xw yz o xw yz son cero y, en cualquiera de los caso, se
tendra tambien zw xy = 0. Supongamos por ejemplo xw yz = 0. Entonces
zw2 = w(zw) = w(xy) = y(xw) = y(yz) = y 2 z
de donde se sigue y 2 = w2 y por tanto x2 = w2 , es decir, y = w y x = z. Cuando
xw yz = 0, el mismo argumento demuestro x = w, y = z.
A la vista de la parte (i) del resultado anterior, empezamos viendo cuando una suma
de dos cuadrados es divisible por un n
umero primo.
Lema 6.13. Sea p un n
umero primo y sean x, y n
umeros enteros no divisibles por p. Sea
2
a Z tal que ax y (mod p). Entonces p|x + y 2 si y solo si a2 1 (mod p). En
particular, un n
umero primo p 3 (mod 4) no puede dividir a la suma de dos cuadrados
no divisibles por p.
Demostraci
on: Para la primera parte, basta observar que x2 y 2 a2 x2 (mod p).
Como mcd(x, p) = 1, por la Proposicion 2.1(vi) la congruencia anterior es equivalente a
a2 1 (mod p).
Para la segunda parte, supongamos por reduccion al absurdo que p 3 (mod 4) y
p|x + y 2 con x, y no divisibles por p. Como mcd(x, p) = 1, por la Proposicion 2.9, existir
a
2
a Z tal que ax y (mod p). El Lema 6.13 implica entonces a 1 (mod p), y por el
Teorema 2.19 no puede ser p 3 (mod 4).
2
implica, por el Lema 6.13, que p|x2 + y 2 , y entonces la condicion 0 < |x|, |y| < p implica,
por el Lema 6.13, p = x2 + y 2 , como queramos.
Podemos caracterizar finalmente los enteros que son sumas de dos cuadrados:
Teorema 6.16. Un n
umero positivo es suma de dos cuadrados si y solo si, en su descomposicion en factores primos, todos los factores primos de la forma 4k + 3 aparecen con
exponente par.
Demostraci
on: Sea n = x2 + y 2 y llamemos d = mcd(x, y). Podemos entonces escribir
x = dx0 y y = dy 0 con mcd(x0 , y 0 ) = 1. Entonces n = d2 (x02 + y 02 ). Cada factor primo p
de x02 + y 02 , no puede dividir ni a x0 ni a y 0 (si dividiera a uno, dividira a ambos), luego
por la Lema 6.13, no es p 3 (mod 4). Por tanto, los factores primos de n de la forma
4k + 3 estan todos en d2 , luego aparecen con exponente par.
Recprocamente, si n tiene todos sus factores primos de la forma 4k + 3 con exponente
par, se podr
a escribir n = d2 p1 . . . pr , donde p1 , . . . , pr son primos distintos que no son de
la forma 4k +3. Por el Teorema 6.15, cada pi es suma de dos cuadrados, y por el Lema 6.11
su producto tambien lo es, es decir, p1 . . . pr = x2 + y 2 . De aqu se sigue n = (dx)2 + (dy)2 .
Observaci
on 6.17. N
otese que, si n no es primo, no se tiene la unicidad de la descomposicion en suma de dos cuadrados que obtuvimos en la Proposicion 6.12(ii). En efecto,
consideremos n = 65 = 5 13. Tenemos entonces 5 = 22 + 12 y 13 = 32 + 22 . Aplicando
el Lema 6.11 con x = 2, y = 1, z = 3, w = 2, obtenemos 65 = 82 + 12 , mientras que, si
aplicamos el Lema 6.11 con x = 2, y = 1, z = 2, w = 3, obtendremos 65 = 72 + 42 .
Ya que hay muchos n
umeros positivos que no se pueden escribir como suma de dos
cuadrados, cabe plantearse ahora al pregunta: podra escribirse todo n
umero positivo
como suma de tres cuadrados? Inmediatamente encontramos una respuesta negativa:
Teorema 6.18. Ning
un n
umero de la forma 4n (8k + 7) se puede escribir como suma de
tres cuadrados.
Demostraci
on: Lo demostramos por induccion sobre n. Si n = 0, tenemos que ver que no
se puede escribir 8k +7 = x2 +y 2 +z 2 . Esto es evidente, ya que x2 , y 2 , z 2 0, 1, 4 (mod 8).
62
r = ax + by + cz + dw
s = bx ay + dz cw
t = cx dy az + bw
u = dx + cy bz aw
A la vista de este resultado, bastara ver que todo n
umero primo es suma de cuatro
cuadrados. Como en el caso de dos cuadrados, empezamos de momento con propiedades
sobre los divisores de distintas sumas de cuadrados:
Lema 6.21. Si p 3 (mod 4) es un n
umero primo, entonces existen x, y Z tales que
2
2
p|x + y + 1.
Demostraci
on: Por
(iii) y (iv) de la Proposicion 5.3, tenemos respectivamente
las
partes
p1
1
1
=1y
=
= 1. Podremos encontrar entonces a {2, 3, . . . , p 1} tal
p
p
p
que a1
= 1 y ap = 1 y, en particular,
p
a
1
a
=
= (1)(1) = 1.
p
p
p
63
x a (mod m)
y b (mod m)
z c (mod m)
w d (mod m)
y a2 + b2 + c2 + d2 = mm0 , con m0 < m.
Demostraci
on: Sea r el resto de la division de x entre m. Si r < m
2 tomamos a = r, y si
m
r > 2 tomamos a = r m (hace falta que m sea impar para que no se pueda dar el caso
m
r= m
2 . Entonces x a (mod m) y |a| < 2 . Construimos de la misma forma b, c, d, es
decir, congruentes respectivamente con y, z, w modulo m y de valor absoluto menor que
m
2 . Por tanto, tendremos
a2 + b2 + c2 + d2 x2 + y 2 + z 2 + w2 0 (mod m)
luego existir
a m0 Z tal que a2 + b2 + c2 + d2 = mm0 . Ademas,
0
mm = a + b + c + d <
m 2
2
m 2
2
m 2
2
m 2
2
= m2
cuatro cuadrados de enteros positivos no todos nulos. Por el Lema 6.22 tomando m = p,
se tiene k < p, y lo que queremos ver es k = 1.
Veamos primero que k es impar. Escribimos
kp = x2 + y 2 + z 2 + w2 .
Si k fuera par, entonces entre x, y, z, w hay una cantidad par de n
umeros pares y una
cantidad par de impares. En cualquier caso, reordenandolos, podemos suponer que x e y
tienen la misma paridad y que z y w tienen la misma paridad. Entonces tendremos
k
p=
2
x+y
2
2
+
xy
2
2
+
z+w
2
2
+
zw
2
2
,
x a (mod k)
y b (mod k)
z c (mod k)
w d (mod k)
y a2 + b2 + c2 + d2 = nk con n < k. Si fuera n = 0, entonces a = b = c = d = 0, luego k
dividira a x, y, z, w, as que k 2 dividira a x2 + y 2 + z 2 + w2 = kp, es decir, k dividira a
p, lo que contradice el hecho de que 1 < k < p. Por tanto, 0 < n < k. Usando la igualdad
del Ejercicio 6.20 tendremos
k 2 np = (a2 + b2 + c2 + d2 )(x2 + y 2 + z 2 + w2 ) = r2 + s2 + t2 + u2
donde
r = ax + by + cz + dw
s = bx ay + dz cw
t = cx dy az + bw
u = dx + cy bz aw
x2 + y 2 + z 2 + w2 0 (mod k)
ba ab + dc cd = 0 (mod k)
ca db ac + bd = 0 (mod k)
da + cb bc ad = 0 (mod k)
r 2
k
s 2
k
2
t
u 2
+
+
,
k
k
Observaci
on 6.24. Para sumas de potencias superiores, se tiene el llamado problema
de Waring. En concreto, fijado n Z1 , cual es el mnimo n
umero g(n) tal que cada
n
umero entero positivo es suma de g(n) potencias n-esimas de n
umeros enteros? En este
contexto, el Teorema 6.18 indica que g(2) 4 y el Teorema 6.23 indica que g(2) 4, por
lo que g(2) = 4. Para n 3 el problema es mucho mas complicado, ya que no ocurre que
el producto sumas de g potencias n-esimas sea una suma de g potencias n-esimas (como
ocurre para n = 2 con g = 2 y g = 4). Hay ademas una situacion nueva. Por ejemplo,
para n = 3 no es difcil ver que 23 = 23 + 23 + 13 + 13 + 13 + 13 + 13 + 13 + 13 es la menor
descomposici
on en suma de cubos de 23, por lo que g(3) 9. Por otra parte, ha logrado
demostrarse (por L. Dickson) que cualquier entero positivo distinto de 23 y 239 puede
escribirse como suma de como mucho ocho cubos, y de la misma forma se sabe (por un
resultado debido a Linnik) que salvo una cantidad finita de casos, todo entero positivo es
suma de a lo sumo de siete cubos. Esto da lugar a otro problema, llamado el gran problema
de Waring (al anterior se le suele llamar por contraposicion peque
no problema de Waring):
cual es el mnimo n
umero G(n) tal que cada n
umero entero positivo, salvo una cantidad
finita de casos, es suma de G(n) potencias n-esimas de n
umeros enteros? Mientras que
para n = 2 sigue siendo g(2) = G(2) = 4, lo anterior para n = 3 se traduce en g(3) = 9,
G(3) 7. Es un problema abierto cual es el valor de G(3) (se sospecha G(3) = 4, pero
solo se sabe 4 G(3) 7) y en general de G(n) para n 3. Respecto a g(n), se ha
demostrado recientemente que g(4) = 19, g(5) = 37 y g(n) = [( 23 )n ] + 2n 2 si n 6 salvo
quiza una cantidad finita de valores de n.
Los Teoremas 6.10 y 6.16 pueden interpretarse como haber estudiado cuando las ecuaciones de la forma x2 y 2 = n o x2 + y 2 = n tienen solucion entera. El caso mas sencillo
ha sido el de diferencia de dos cuadrados. Podemos complicar la ecuacion un poco m
as y
poner coeficientes a la x y a la y, en cuyo caso las cosas se complican muchsimo. El primer
caso, aparentemente sencillo, sera la ecuaci
on x2 dy 2 = 1 con d entero positivo que no
sea un cuadrado perfecto. Esta ecuacion (llamada ecuaci
on de Pell, aunque en realidad
se debera atribuir a Fermat), no es facil en absoluto, aunque al menos se puede decir que
sus soluciones (caso de existir) tienen una buena estructura:
Teorema 6.25. Sea d un entero positivo que no sea un cuadrado perfecto y consideremos
la ecuacion x2 dy 2 = 1.
(i) Si x0 , y 0 y x00 , y 00 son soluciones enteras de la ecuacion, entonces x0 x00 +dy 0 y 00 , x0 y 00 +x00 y 0
es tambien soluci
on de la ecuacion.
de la ecuaci
on son los pares de la forma xn , yn donde xn + yn d = (x1 + y1 d)n .
66
Demostraci
on: Observese que
x0 +y 0 d. Adem
as como la sucesi
on (x1 +y1 d)n es monotona creciente con lmite infinito
se tendra que existe n Z1 tal que
0
Multiplicando por (x1 y1 d)n (que es positivo porque su producto con (x1 + y1 d)n es
1) se tiene
la forma a + b d. El problema principal de esta tecnica es que, salvo para valores muy
concretos de d, no se verifica la factorizacion u
nica que tenemos para los enteros (y cuando
se verifica no es de forma tan f
acil). Para terminar de estudiar la ecuacion de Pell (y en particular la existencia de la soluci
on x1 , y1 que necesita el teorema anterior) desarrollaremos
en la siguiente secci
on toda una tecnica nueva, la de las fracciones continuas.
67
7. Fracciones continuas
Cuando pasamos de los n
umeros enteros a los racionales, la escritura que solemos
hacer de ellos, aparte de como fracciones, es a partir de su notacion decimal. Esta escritura
decimal presenta dos inconvenientes. Uno es que depende de una eleccion de escritura en
base 10, que a priori es arbitraria. El segundo inconveniente es que las expresiones con
decimales suelen ser infinitas, aunque al menos son periodicas y se pueden representar de
forma finita.
Ejemplo 7.1. Veamos una tercera representacion de un n
umero racional a partir del
a
algoritmo de Euclides. Si tenemos el n
umero b , escribimos
a = ba0 + r1
b = r1 a1 + r2
r1 = r2 a2 + r3
..
.
0 < r1 < b
0 < r2 < r1
0 < r3 < r2
r2
r1
= a0 +
rn1
a b
b , r1 , . . . , rn )
1
a1 +
1
r
a2 + r3
2
68
= . . . = a0 +
1
a1 +
1
a2 +
..
1
an1 + 1
an
Ejemplo 7.2. Podramos intentar ahora repetir un proceso parecido para cualquier
n
umero: dado un n
umero real 6= 0, vamos escribiendo
0 := = [0 ] + (0 [0 ]) = a0 + (0 a0 )
1 :=
1
= [1 ] + (1 [1 ]) = a1 + (1 a1 )
0 a0
..
.
1
.
k ak
Tendremos entonces
= a0 +
1
a1 +
1
a2 +
..
1
ak1 +
ak +
1
1
k+1
0 = 2 = 10 414213562 . . . = 1 + 00 414213562 . . . = 1 + ( 2 1)
1
= 2 + 1 = 20 414213562 . . . = 2 + 00 414213562 . . . = 2 + ( 2 1)
21
2=1+
1
2+
1
2+
2+
1
1
2+...
Definici
on. Se llama fracci
on continua a una expresion del tipo
[a0 ; a1 , a2 , . . .] := a0 +
69
1
a1 +
1
a2 +
a3 +
1
1
a4 +...
donde los n
umeros a1 , a2 , . . . (que pueden ser una cantidad finita o infinita) son estrictamente positivos. Se llama fracci
on continua asociada a un n
umero real a la fracci
on
continua [a0 ; a1 , a2 , . . .] definida como en el Ejemplo 7.2. Se dice que una fraccion continua es simple si a0 , a1 , . . . son n
umeros enteros (y por tanto a1 , a2 , . . . 1). Usaremos
tambien la notaci
on [a0 ; a1 , . . . , ar , ar+1 , . . . , ar+s ] para indicar la fraccion continua infinita
periodica [a0 ; a1 , . . . , ar , ar+1 , . . . , ar+s , ar+1 , . . . , ar+s , ar+1 , . . . , ar+s , . . .].
Por lo que hemos visto, un n
umero racional se expresa siempre como una fracci
on
continua simple finita, y es obvio que las fracciones continuas simples finitas representan
n
umeros racionales. Por otra parte, el metodo anterior sugiere que los n
umeros irracionales
tienen asociada una fracci
on continua infinita. Para dar sentido a dicha expresion infinita,
habra que verla como lmite de sus subfracciones infinitas. Mas precisamente:
Definici
on. Se llama convergente k-esimo de una fraccion continua simple [a0 ; a1 , a2 , . . .]
(finita o infinita) a Ck = [a0 ; a1 , a2 , . . . , ak ].
Teorema 7.3. Sea [a0 ; a1 , a2 , . . .] una fraccion continua (no necesariamente simple o
finita). Definimos recursivamente dos sucesiones de n
umeros pk y qk con k 2 mediante
q =1
p2 =0
q1 =0
p1 =1
pk
qk .
1
ak+1
],
que claramente coincide con Ck+1 . Por otra parte, es claro que si i k 1 entonces p0i = pi
y qi0 = qi , mientras que para i = k se tiene
p0k = a0k p0k1 + p0k2 = (ak +
0
0
qk0 = a0k qk1
+ qk2
= (ak +
1
ak+1
1
ak+1
pk1
pk1
= pk +
ak+1
ak+1
qk1
qk1
= qk +
ak+1
ak+1
70
Ck0
pk +
p0
= k0 =
qk
qk +
pk1
ak+1
qk1
ak+1
ak+1 pk + pk1
pk+1
=
ak+1 qk + qk1
qk+1
Ejemplo 7.4. La parte (ii) del teorema anterior implica, si la fraccion continua es simple,
que pk , qk son enteros primos entre s (usando por ejemplo el Teorema 1.8). De hecho, puede
usarse esta parte para obtener explcitamente una combinacion lineal de dos enteros que
de su maximo com
un divisor. Por ejemplo, consideremos los enteros a = 34, b = 14. Si
aplicamos el algoritmo de Euclides podremos escribir
34 = 2 14 + 6
14 = 2 6 + 2
6=32+0
de donde sacamos
34
= [2; 2, 3].
14
17
7 .
Esto indica, por una parte, que mcd(34, 14) = 2, y por otra
2 17 5 7 = 1,
(1)k
qk+1 qk .
(1)k 1
qk+1 ( qk
1
qk+2 ).
(iii) Si la fracci
on es simple, 0 < q1 < q2 < . . ..
Demostraci
on: Por el Teorema 7.3, tenemos
Ck+1 Ck =
pk+1
pk
pk+1 qk pk qk+1
(1)k
=
=
,
qk+1
qk
qk+1 qk
qk+1 qk
1
1
qk
qk+2
,
1
1
as qk+1 > 0
Demostraci
on: Por el Lema 7.5, se tiene Ck+2 Ck = (1)
qk+1 ( qk qk+2 ) y adem
y qk < qk+2 , luego Ck+2 Ck es positivo si k es par y negativo si k es impar, por lo que
los convergentes pares son crecientes y los impares son decrecientes. Ademas Ck+1 Ck =
(1)k
qk+1 qk , que es positivo si k es par y negativo si k es impar. Por tanto, un convergente
impar es siempre mayor que su convergente anterior par.
(1)2k
,
q2k+1 q2k
que es un valor que tiende a cero (por ser qk una sucesion creciente de n
umeros enteros),
luego = 0 .
Veamos finalmente que es irracional. Supongamos, por reduccion al absurdo, que
fuera = ab , con a, b enteros (y b > 0). Entonces, como para cada k se tiene que est
a
entre Ck y Ck+1 (quien sea el mayor de los dos depende de la paridad de k), se tiene
a
1
0 < | Ck | < |Ck+1 Ck | =
.
b
qk+1 qk
Multiplicando por bqk , se obtiene
b
0 < |aqk bpk | <
,
qk+1
lo que es absurdo, porque aqk bpk es un entero y si k es suficientemente grande se tendra
b
qk+1 < 1 (ya que qk+1 tiende a infinito).
Definici
on. Se llama valos de una fracci
on continua simple infinita al lmite dado por
el Teorema 7.6.
Ejemplo 7.7. Veamos ahora un ejemplo de calculo del valor de una fraccion continua
infinita. Tomemos, por ejemplo, [1; 1]. Las sucesiones pk , qk verifican
p1 = 1, p0 = 1, pk = pk1 + pk2
q0 = 1, q1 = 1, qk = qk1 + qk2 ,
por lo que pk = uk+2 y qk = uk+1 (donde un es el n-esimo n
umero de Fibonacci; ver
uk+2
Ejercicio 0.3). Se tiene entonces Ck = uk+1 . Usando la formula del Ejercicio 0.3 para el
n-esimo n
umero de
Fibonacci, es un simple ejercicio de Analisis Matematico demostrar
uk+2
1
que lim uk+1 = 2 + 25 . Sin embargo, para fracciones continuas periodicas, hay un truco
mas facil para calcular su valor. Como el Teorema 7.6 nos asegura que [1; 1] tiene un valor
, se tendr
a la relaci
on:
1
1
=1+
=1+ ,
1
1 + 1+ 1
1+
1
1+...
1
2
5
2
1
5
la fraccion continua asociada a 2 + 2 (ver el Ejemplo 7.7) es precisamente [1; 1]; de la
1
1
= [a0 ; a1 , a2 , . . .] = [a00 ; a01 , a02 , . . .] = a00 + 0 0 0
[a1 ; a2 , a3 , . . .]
[a1 ; a2 , a3 , . . .]
se deduce [a1 ; a2 , a3 , . . .] = [a01 ; a02 , a03 , . . .], y por un argumento de recurrencia se sigue
a0k = ak para todo k.
Recprocamente, dado un n
umero irracional , sea [a0 ; a1 , a2 , . . .] su fraccion continua
asociada (tomaremos la notaci
on del Ejemplo 7.2). Es claro que, para todo k, se tiene =
[a0 ; a1 , a2 , . . . , ak , k+1 ]. Entonces el convergente (k + 1)-esimo de esta fraccion continua
finita es , mientras que el convergente k-esimo es claramente el convergente k-esimo Ck
de [a0 ; a1 , a2 , . . .]. Por el Lema 7.5 aplicado a [a0 ; a1 , a2 , . . . , ak , k+1 ], se tendra entonces
Ck =
(1)k
,
(k+1 qk + qk1 )qk
donde hemos usado el Teorema 7.3 para calcular el denominador del convergente (k + 1)esimo. Usando ahora las desigualdades k+1 > ak+1 y qk+1 > qk se tiene
| Ck | =
1
1
1
1
<
=
< 2.
(k+1 qk + qk1 )qk
(ak+1 qk + qk1 )qk
qk+1 qk
qk
Ejercicio 7.9. Con la ayuda de una calculadora, comprobar la validez de la formula (al
menos en sus primeros terminos):
e = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, . . .]
y utilizar la misma para calcular las diez primeras cifras decimales de e.
Observaci
on 7.10. La demostracion tanto del Lema 7.5 como del Teorema 7.8 nos
da el grado de aproximaci
on de un convergente a un n
umero irracional , precisamente
pk
1
1
| qk | < qk+1 qk < q2 . Por otra parte, si una considera una solucion positiva x = p, y = q
k
74
de la ecuaci
on de Pell x2 dy 2 = 1, se tiene p2 = 1 + q 2 d > q 2 d, de donde se deduce
p
1
1 (p q d)(p + q d)
1
1
1
<
< 2.
| d| = (p q d) =
=
q
q
q
2q
(p + q d)
q(p + q d)
2q 2 d
ejemplo el caso d = 2 del Ejemplo 7.2, en que demostramos 2 = [1; 2] tenemos los
siguientes valores:
p0 = 1, p1 = 3, p2 = 7, p3 = 17, . . .
q0 = 1, q1 = 2, q2 = 5, q3 = 12, . . .
Por tanto (p0 , q0 ) y (p2 , q2 ) son soluciones de la ecuacion x2 2y 2 = 1, mientras que (p1 , q1 )
y (p3 , q3 ) no son soluciones. De hecho, veremos que las soluciones son convergentes, pero
no todos los convergentes son soluciones.
Para ver que un n
umero racional que aproxima mucho a un irracional es un convergente
necesitaremos el siguiente lema previo.
Lema 7.11. Sea un n
umero irracional, sea pqkk el convergente k-esimo de su fracci
on
continua y sea q un entero positivo tal que q < qk+1 . Entonces, para todo entero p se tiene
|pk qk | |p q|.
Demostraci
on: Observamos en primer lugar que existen x, y Z tales que
(
pk x + pk+1 y = p
qk x + qk+1 y = q.
pk+1
= pk qk+1 pk+1 qk = (1)k = 1
qk+1
= | |.
qk
qk
qk
q
q
p
q
un n
umero racional tal que q > 0. Si
Demostraci
on: Como qk es una sucesion creciente de n
umeros enteros, existira k tal que
p
pk
qk q < qk+1 . Veamos entonces que q = qk . Si no fuera as, entonces pqk qpk 6= 0,
luego |pqk qpk | 1. Tendremos entonces, por una parte:
p pk |pqk qpk |
1
=
q
qk
qqk
qqk
y por otra parte, usando el Lema 7.11:
p pk p
|pk qk | p
p
p
k
+ = +
+ |p q| =
q
q
qk q
qk q
qk
qk
p
p
q
< 1 + q 1 = 1 + 1 .
= +
2q 2
q
qk q
qk 2q 2
2q 2
2qqk
Poniendo juntas las dos desigualdades se obtiene
1
1
1
< 2+
,
qqk
2q
2qqk
lo que implica
eleccion de k.
1
2qqk
<
1
2q 2 ,
convergente de d.
Demostraci
on: Por la Observaci
on 7.10, | pq
d| <
1
2q 2 ,
p
q
es un
escribir en funci
on de d. El siguiente resultado nos dara una formula precisa, en que lo
Lema 7.15. Sea = d y, para cada k 0, sea k definido como en el Ejemplo 7.2.
Entonces, definiendo por recurrencia s0 = 0, t0 = 1,
sk+1 = ak tk sk
tk+1 =
d s2k+1
d (ak tk sk )2
=
tk
tk
77
se puede escribir k =
sk + d
,
tk
Demostraci
on: Lo demostramos
por induccion sobre k, siendo claro el caso k = 0. Si
sk + d
ahora suponemos k = tk con sk y tk enteros y tk 6= 0, entonces tenemos
k+1 =
1
=
k ak
sk + d
tk
=
ak
tk
tk ( d sk + ak tk )
=
=
=
sk + d ak tk
( d + sk ak tk )( d sk + ak tk )
tk (ak tk sk + d)
ak tk sk + d
sk+1 + d
=
= d(a t s )2 =
.
k k
k
d (ak tk sk )2
tk+1
tk
Es claro que sk+1 es entero por serlo ak , sk , tk . Por otra parte, si escribimos
tk+1 =
d s2k+1
d (ak tk sk )2
d s2k
=
=
a2k tk + 2ak sk = tk1 a2k tk + 2ak sk
tk
tk
tk
se obtiene que tk+1 es entero (en realidad, como estamos usando que tk1 es entero, habra
que demostrar tambien el caso k = 1 de la induccion, pero al ser t0 = 1 es evidente que t1
es entero).
Proposici
on 7.16. Con las notaciones del Lema 7.15, se tiene:
pk
(i) Si qk es el convergente k-esimo de d, entonces p2k dqk2 = (1)k+1 tk+1 .
(ii) tk > 0 para todo k 0.
(iii) Existen enteros t, s tales que tk = t y sk = s para infinitos valores de k.
Demostraci
on: Escribiendo d = [a0 ; a1 , . . . , ak , k+1 ], sabemos que coincide con su convergente (k + 1)-esimo, y por el Teorema 7.3 tendremos
k+1 pk + pk1
d=
=
k+1 qk + qk1
sk+1 + d
pk
tk+1
sk+1 + d
qk
tk+1
+ pk1
+ qk1
=
sk+1 qk + tk+1 qk1 + qk d
Por tanto
(sk+1 pk +tk+1 pk1 )+pk d = (sk+1 qk +tk+1 qk1 +qk d) d = dqk +(sk+1 qk +tk+1 qk1 ) d
lo que implica
(
Como por el Teorema 7.6 los signos de Ck+1 d y Ck d son distintos, se sigue que
tk+1
en tk+1 es positivo. Esto
tk tiene signo positivo, y como tk es positivo entonces tambi
demuestra (ii).
Para demostrar (iii), basta recordar la igualdad tk tk+1 + s2k = d y, al ser tk , tk+1 > 0
Observaci
on 7.17. N
otese que la parte (i) de la Proposicion 7.16 indica que la ecuaci
on
2
2
de Pell x dy = 1 tiene soluci
on (ya sabemos por el Teorema 7.13 que necesariamente
pk
olo si existe alg
un k Z para el que tk+1 = 1 (recuerdese
debe ser un convergente qk ) si y s
que tk+1 > 0 por la parte (ii)). Esto es equivalente a decir k+1 = sk+1 + d, es decir,
1
1
ak+1 = [k+1 ] = sk+1 + [ d] y k+2 = k+1 a
= d[
= 1 . Por tanto, los
k+1
d]
datos de la fracci
on continua se deben repetir despues de k + 1 pasos, por lo que debe ser
d = [a0 ; a1 , a2 , . . . , ak+1 ].
De momento, la parte (iii) de la Proposicion 7.16 garantiza solo que existen k, l tales
que tk+l = tk y sk+l = sk , y por tanto k+l = k . De aqu se deduce que ak0 +l = ak0 para
todo k 0 k, y lo que faltara ver es que se puede tomar k = 1.
tk
dsk
sk + d
tk1 .
Demostraci
on: Para demostrar (i), usamos induccion sobre k, siendo evidente el caso
k = 1. Si suponemos ahora k > 1, entonces 1k > 0, y como ak 1, de la formula de
recurrencia k+1 = ak + 1k se sigue k+1 > 1.
Para demostrar (ii), observamos primero que, por el Lema 7.15, tenemos:
tk (sk + d)
tk
tk ( d + sk )
tk (sk + d)
sk + d
=
=
=
=
d s2k
tk tk1
tk1
d sk
( d sk )( d + sk )
por lo que basta ver que k coincide con uno cualquiera de los dos valores. Lo demostramos
por inducci
on sobre. Si k = 1, recordando del Lema 7.15 las igualdades
s0 = 0, t0 = 1 y
s1 + d
s1 = a0 t0 s0 = a0 , tenemos inmediatamente 1 = a0 + d = t0 . Supongamos ahora
tk
demostrado k = ds
y demostremos la formula para k + 1. Para ello, aplicamos de
k
nuevo el Lema 7.15 y tendremos:
1
d sk
(ak tk sk ) + d
sk+1 + d
k+1 = ak +
= ak +
=
=
.
k
tk
tk
tk
d = [a0 ; a1 , a2 , . . . al ].
Por otra parte, podemos escribir:
1 = l+1 = al +
1
1
= al +
l
al1 +
= . . . = al +
1
l1
1
al1 +
1
al2 +
..
1
a2 +
80
1
a1 + 1
1
1 = a0 + d = a0 + [a0 ; a1 , a2 , . . . al ] = [2a0 ; a1 , a2 , . . . al ].
Comparando ambas expresiones se obtiene el resultado.
En realidad, no nos va a interesar el aspecto simetrico que tiene el periodo, sino
simplemente saber que empieza en a1 y que longitud tiene.
Definici
on. Llamaremos longitud del periodo de d al mnimo entero positivo r para el
Demostraci
on: Como d = [a0 ; a1 , . . . , ar ], se sigue ir+1 = 1 para todo i, es decir,
1
1
=
.
ir air
d a0
De aqu sigue, junto con el Lema 7.15,
d a0 = ir air
sir + d
=
air
tir
ak = [k ] = sk + [ d] = sk + a0 .
d, y
Por tanto,
k+1 =
1
1
1
=
=
= 1
k ak
(sk + d) (sk + a0 )
d a0
d, es
Teorema 7.21. Si el periodo de d tiene longitud r, entonces las soluciones positivas de
la ecuacion de Pell x2 dy 2 = 1 son:
(i) Si r es par, x = pir1 , y = qir1 .
(ii) Si r es impar, x = p2ir1 , y = q2ir1 .
Demostraci
on: Por el Corolario 7.14, las posibles soluciones de la ecuacion de Pell son
82