Академический Документы
Профессиональный Документы
Культура Документы
ndice general
Prefacio
III
1. Divisibilidad y primos
1.1. Induccin, buen orden, y principio de Dirichlet . . . .
1.2. Divisibilidad y algoritmo de divisin . . . . . . . . . .
1.3. Mximo comn divisor . . . . . . . . . . . . . . . . .
1.4. Primos y factorizacin nica . . . . . . . . . . . . . .
1.5. Algoritmo de Euclides y ecuaciones diofnticas lineales
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
1
3
4
6
2. Funciones aritmticas
8
2.1. Funciones multiplicativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2. La funcin parte entera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3. Congruencias
3.1. Congruencias . . . . . . . . . . . . . . .
3.2. Sistemas residuales completos y reducidos
3.3. Teoremas de Fermat, Wilson y Euler . . .
3.4. Congruencias simultneas . . . . . . . .
3.5. Criterios de divisibilidad . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
18
18
20
22
23
24
A. Ejemplos y problemas
26
A.1. Sobre el primer captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
A.2. Sobre el segundo captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
A.3. Sobre el tercer captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
B. Indicaciones y respuestas
48
Prefacio
III
Notacin
N
Z
Q
R
P
]a; b[
[a; b]
]a; b]
[a; b[
]a; +[
[a; +[
] ; a[
] ; a]
TxU
x
Captulo
Divisibilidad y primos
1.1.
1 Definicin Se denotar los enteros mediante el smbolo Z y los nmeros naturales (enteros positivos,
incluyendo al 0) mediante el smbolo N. Un entero natural p > 1 es primo si sus nicos divisores son p
mismo y la unidad 1. Se denotar el conjunto de los primos mediante el smbolo P. Si un entero diferente
de 1 no es primo, entonces se dice que es compuesto. Obsrvese que 1 ni es primo ni compuesto.
Se presumir que el lector est al tanto de los siguientes tres axiomas, que son, en realidad, equivalentes.
2 Axioma (Axioma del buen orden) Todo conjunto no vaco de nmeros naturales contiene un elemento
mnimo.
3 Axioma (Principio (dbil) de la induccin matemtica) Si S es un conjunto de enteros tal que 0
S y si n S = n + 1 S , entonces S = N.
5 Regla (Principio de las casillas (pichoneras) de Dirichlet) Si n+1 palomas vuelan hacia n pichon-
eras deber existir al menos una casilla que tenga dos o ms palomas.
1.2.
6 Definicin (Divisibilidad) Se dice que un entero d 6= 0 divide a otro a, denotado por d a, si existe un
Captulo 1
(da, db) = d(ax + by).
(d a, a b) = d b.
(da, a 6= 0) = d a.
(d a, a d) = d = a.
Demostracin: Se tiene que
hay d , d con dd = a, dd = b. As
xa + yb = xdd + ydd = (xd + yd )d,
dd a = aa = b = d b.
a
a
el nmero es un entero no nulo, luego 1 = a d.
d
d
8 Teorema (Algoritmo de divisin) Sean b Z \ {0} y a Z. Entonces hay enteros nicos q y r tales
que
a = bq + r, 0 r < b .
a
Demostracin: Si b > 0 tmese q = T U y r = a bq. En virtud de la definicin de la
b
funcin mayor entero,
a
q < q + 1,
b
El algoritmo de divisin crea particiones de los enteros segn el residuo que stos dejen al ser divididos
por un entero no nulo. Por ejemplo, si n = 5 el algoritmo de divisin dice que los enteros se pueden arreglar
en las siguientes cinco columnas:
..
..
..
..
..
.
.
.
.
.
10 9 8 7 6
5 4 3 2 1
0
1
2
3
4
5
6
7
8
9
..
..
..
..
..
.
.
.
.
.
El arreglo aqu mostrado evidencia que los enteros vienen en uno de cinco sabores: aquellos cuyo residuo
es 0 al ser divididos por 5, aquellos cuyo residuo es 1 al ser divididos por 5, etc. Dicho de otra manera,
todo entero es de la forma 5k, 5k + 1, 5k + 2, 5k + 3 5k + 4. Obsrvese adems que se puede decir
que todo entero es de la forma 5k, 5k 1 5k 2. El algoritmo de divisin pues discrimina y crea clases
entre los enteros, llamadas clases de equivalencia, que se denotarn (en el caso cuando el divisor es 5) por
5Z = {. . . , 15, 10, 5, 0, 5, 10, 15, . . .} = 0,
5Z + 1 = {. . . , 14, 9, 4, 1, 6, 11, 16, . . .} = 1,
5Z + 2 = {. . . , 13, 8, 3, 2, 7, 12, 17, . . .} = 2,
5Z + 3 = {. . . , 12, 7, 2, 3, 8, 13, 18, . . .} = 3,
5Z + 4 = {. . . , 11, 6, 1, 4, 9, 14, 19, . . .} = 4,
y se pondr
Z5 = {0, 1, 2, 3, 4}.
Estas clases se estudiarn ms a fondo en la seccin sobre Zn .
1.3.
10 Definicin (Mximo comn divisor) Sea (a, b) Z , (a, b) 6= (0, 0). Si r a y r b entonces r es
un divisor comn de a y b. Si d es un divisor comn de a y b tal que cualquier otro divisor comn de a
y b divide a d, entonces d es el mximo comn divisor de a y b, denotado por MCD (a, b). Obsrvese
que esto requiere que d sea > 0.
11 Definicin Dcese que dos enteros a y b son relativamente primos si MCD (a, b) = 1.
Captulo 1
12 Teorema (Teorema de Bachet-Bzout) Sea (a, b) Z2 , (a, b) 6= (0, 0). Si d = MCD (a, b) en-
ax + by = d.
Demostracin: Considrese el conjunto
S = {n Z : n > 0, n = as + bt, (s, t) Z2 }.
S 6= ya que o bien a S o bien b S . Luego por el buen orden de los enteros,
S tiene un elemento
mnimo estrictamente positivo al que se llamar n0 = ax0 + by0 . Ob
srvese que dn0 en virtud del Teorema 7 ya que da y db. Ahora bien, por el algoritmo de
divisin existen enteros q, r con a = qn0 + r, 0 r < n0 . Si r 6= 0 entonces
r = a qn0 = a q(ax0 + by0 ) = a(1 qx0 ) qby0 S
que es menor que n0 , contradiciendo la definicin
de n0 , de donde se concluye que r = 0.
por lo tanto divide a d. Ya que dn0 y n0 d se tiene, en virtud del Teorema 7, se tiene que
d = n0 . Como ambos d > 0, n0 > 0 se colige que d = n0 .
1.4.
Demostracin:
Demostracin:
Si p a entonces MCD (p, a) = 1. Gracias al Lema de Gauss (Lema 13) se
tiene que pb.
15 Teorema (Teorema fundamental de la aritmtica) Todo entero n > 1 puede descomponerse en fac-
tores de la manera
r
1
n = p
1 pr ,
en donde p1 < p2 < < pr son primos. Esta representacin es nica, a la cual se llamar la factorizacin
cannica de n..
Demostracin: Si n > 1 es primo, entonces no hay nada que demostrar. Supngase que n > 1
es el menor entero no primo que no se puede descomponer de la manera dicha. Como n no
es primo, existen n > 1, n > 1 con n = n n . Pero luego n y n son menores que n y por
1
t
s
1
tanto se pueden descomponer como n = q
1 qs y n = q1 qt donde algunos de los
exponentes pueden ser 0. Se sigue que
1 +1 2 +2
n = n n = n = q
q2
,
1
en donde p1 < p2 < < pr y q1 < q2 < < qr . Entonces por el Lema de Euclides (Lema 14)
p1 debe dividir a exactamente una a de las qs y q1 debe dividir a exactamente una de las
ps. Pero esto fuerza p1 = q1 . Luego al dividir por p1 uno y otro lado se obtiene se obtiene
n
1 1 2
1 1
r
= p
p
q2 qs s .
r = p1
1
p1
n
se descompone en primos de manera nica, luego r = s,
p1
pi = qi y 1 1 = 1 1, 2 = 2 , . . . , r = r , de donde se colige que 1 = 1 y por lo
tanto n tambin se descompone en primos de manera nica.
t
1
s
18 Teorema Sean n = q1 1 q
s y n = q1 qt donde algunos de los exponentes pueden ser 0.
Entonces
mn (1 ,1 ) mn (2 ,2 )
q2
MCD n, n = q1
(1.1)
Captulo 1
max (1 ,1 ) max (2 ,2 )
q2
.
mcm n, n = q1
An ms:
(1.2)
nn = MCD n, n mcm n, n .
(1.3)
(1.4)
Demostracin: Las dos primeras aserciones son evidentes gracias al Teorema fundamental
de la aritmtica (Teorema 15). Para la tercera asercin basta notar que
mn(, ) + max(, ) = + .
La cuarta se deriva de las primeras dos.
1.5.
Se dar ahora un procedimiento eficaz para hallar soluciones x, y a la ecuacin MCD (a, b) = ax +
by. Este procedimiento se llama el algoritmo de Euclides y opera como sigue. Sean a, b enteros positivos.
Luego de aplicar el algoritmo de divisin repetidamente, se ve que
a
b
r2
..
.
=
=
=
..
.
bq1 + r2 ,
r2 q2 + r3
r3 q3 + r4
..
.
0 < r2 < b,
0 < r3 < r2 ,
0 < r4 < r3 ,
..
.
(1.5)
rn = MCD (a, b) .
luego es posible expresar MCD (a, b) como una combinacin lineal de a y b trazando estas
igualdades en reversa.
21 Teorema Sean a, b, c son enteros tales que (a, b)|c. Dada una solucin (x0 , y0 ) de la ecuacin
diofntica lineal
ax + by = c,
cualquier otra solucin es de la forma
a
b
x = x 0 + t , y = y0 t ,
d
d
en donde d = (a, b) y t Z.
Demostracin: Es inmediato que si (x0 , y0 ) es una solucin de ax + by = c, entonces
x = x0 + tb/d, y = y0 ta/d es tambin una solucin. Demostrarse ahora que toda otra
solucin es de la forma deseada.
Supngase que (x , y ) satisface ax + by = c. Si adems ax0 + by0 = c entonces
a(x x0 ) = b(y0 y ).
Dividiendo por d = (a, b),
b
a
(x x0 ) = (y0 y ).
d
d
a
Como (a/d, b/d) = 1, se sigue que |(y0 y ), por virtud del Lema de Euclides. As pues
d
a
existe un entero t tal que t = y0 y , sto es, y = y0 ta/d. Se colige entonces que
d
b a
a
(x x0 ) = t ,
d
d d
Captulo
Funciones aritmticas
2.1.
Funciones multiplicativas
22 Definicin (Funcin aritmtica) Llmase funcin aritmtica a una funcin f : N \ {0} C. f es mul-
g(n) =
X
dn
Si f es multiplicativa, tambin lo es g.
8
f(d).
Funciones multiplicativas
= 1. Todo d nn puede
dnn
f(d)
f(d1 d2 )
f(d1 )(d2 )
d1 n,
d2 n
d1 n,
0
d2 n
B
B
B
B
B
B
d1 n
f(d1 )
10
CB
CB
CB
CB
CB
CB
A
d2 n
C
C
C
C
C
C
A
f(d2 ) ,
demostrando la asercin.
d:
N \ {0} N
\ {0}
X
1
n
7
dn
d:
N \ {0} N
\ {0}
X
1
n
7
dn
r
1
es multiplicativa, y si n = p
1 pr es la descomposicin cannica en primos de n, entonces
d(n) = (1 + 1) (r + 1).
Demostracin: Ya que la funcin
d 7 1 es completamente multiplicativa es, a fortiori,
X
1 es multiplicativa en virtud del Teorema 23. Si p es primo,
multiplicativa. Luego d(n) =
dn
10
Captulo 2
p tiene + 1 divisores: 1, p, p2 , . . . , p . As d(p ) = + 1 y
r
1
d(n) = d(p
1 ) d(pr ) = (1 + 1) (r + 1).
N \ {0} N
\ {0}
X
n
7
d
dn
N \ {0} N
\ {0}
X
n
7
d
dn
r
1
es multiplicativa y si n = p
1 pr es la descomposicin cannica en primos de n, entonces
(n) =
1 +1
p
1 prr +1 1
1
.
p1 1
pr 1
p+1 1
.
p1
Luego
r
1
(n) = (p
1 ) (pr ) =
r +1 1
p11 +1 1 p
r
.
p1 1
pr 1
r
28 Definicin Dado n = p1 1 p
r , la funcin : N \ {0} N cuenta cuntos primos distintos n tiene
sin contar factores repetidos, esto es (n) = r. La funcin : N\{0} N cuenta cuntos primos distintos
n tiene incluyendo factores repetidos, esto es (n) = 1 + 2 + + r .
Es evidente que tanto como son multiplicativas, an ms, es totalmente multiplicativa. Tambin es evidente que (n) (n) siempre y que (n) = (n) si y slo si
n no tiene ningn factor cuadrado mayor que 1.
Funciones multiplicativas
11
N \ {0} {1, 0, 1}
n
7 (n)
:
se define como sigue:
si n = 1
1
(n)
(n) =
(1)
si (n) = (n)
0
si (n) > (n)
X
dn
(d) =
1 si n = 1
0 si n > 1
Demostracin: Pngase
A = dn : (d) = k, p2 d, p P .
!
n
y si d A se tiene (d) = (1)k . La suma requerida es
Entonces #(A) =
k
X
dn
(n)
(d) =
X
k=0
(n)
(1)k .
k
f(d). Luego
f(n) =
X
dn
(d)F(n/d) =
X
dn
(n/d)F(d).
12
Captulo 2
Recprocamente, si f(n) =
X
dn
Demostracin: Se tiene
X
dn
(d)F(n/d) =
XXX
dn
dn
dsn
X
sn
n
s d
X
dn
f(d).
f(s)
(d)f(s)
f(s)
d n
s
(d).
Gracias al Teorema 31, la suma interna es diferente de 0 slo cuando ns = 1. As, el nico
trmino que sobrevive en la suma externa el de s = n, que simplifica a f(n).
Recprocamente, si
X
dn
f(d) =
XX
(s)F(d/s)
XX
(d/s)F(s)
XX
(r)F(s)
dn
sd
dn
sd
sn
r n
s
sn
F(s)
X
r n
s
(r).
Utilizando el Teorema 31, la suma interna ser 0 a menos que s = n, en cuyo caso la suma
simplifica a F(n).
33 Definicin (Funcin indicatriz de Euler) La funcin
N \ {0} N \ {0}
n
7 (n)
Funciones multiplicativas
13
X
dn
(d) = n.
Td (n) = n.
Se demostrar de inmediato que Td (n) posee (n/d) elementos. Obsrvese que los elemenn
tos de Td (n) yacen en el conjunto d, 2d, . . . d. Si k Td (n), entonces k = ad, 1 a
d
k n
n
,
n/d y MCD (k, n) = d. Pero entonces MCD
= 1, lo que implica que MCD a,
=
d d
d
1. Se deduce que contar los elementosde Td(n) es equivalente a contar el nmero de enteros
n
= 1. Pero el nmero de estos enteros es precisaa que satisface 1 a n/d, MCD a,
d
mente (n/d). Colegimos que
X
n=
(n/d).
dn
X
n
(n/d) =
vara en reverso. As pues n =
d
X
dn
dn
35 Corolario Si n 1 es un entero,
(n) = n
X (d)
dn
N \ {0} N \ {0}
n
7 (n)
14
Captulo 2
r
1
es multiplicativa y si n = p
1 pr es la descomposicin cannica en primos de n, entonces
Y
Y
1
1
(p p
)=n
1
.
(n) =
p
pn
pn
2.2.
37 Definicin Sea x R. Llmase suelo de x (o funcin mayor entero de x) al nico entero TxU que
satisface
x 1 < TxU x.
Ntese que cada x R puede escribirse como x = TxU + {x}, en donde 0 {x} < 1 es la parte fraccionaria
de x.
Anlogamente, llmase techo de x (o funcin menor entero de x) al nico entero VxW que satisface
x VxW < x + 1
38 Teorema Sean (, ) R2 , a Z, n N \ {0}. Entonces
1. T + aU = TU + a
TU
2. T U = T
U
n
n
3. TU + TU T + U TU + TU + 1
Demostracin: Se demostrar cada inciso individualmente.
1. Sea m = T + aU. Entonces m + a < m + 1. De aqu m a < m a + 1.
Esto significa que m a = TU, completando la demostracin de este inciso.
2. Pngase /n = T/nU + , 0 < 1. Como nT/nU es un entero, se deduce del
inciso 1 que
TU = TnT/nU + nU = nT/nU + TnU.
Ahora bien, 0 TnU n < n, y por lo tanto, 0 TnU/n < 1. Si = TnU/n,
entonces se obtiene
TU
= T U + , 0 < 1,
n
n
demostrando este inciso.
15
3. De las desigualdades
1 < TU ,
1 < TU
39 Teorema (Formula de De Polignac) La mxima potencia del primo p que divide a n! est dada por
X
n
T k U.
p
k=1
b1
X ka
(a 1)(b 1)
kb
T U=
U=
.
a
b
2
k=1
Demostracin: Considrese el rectngulo con vrtices en (0, 0), (0, b), (a, 0), (a, b).
Este rectngulo contiene (a 1)(b 1) puntos cuyas coordenadas son ambas enteras. El
xb
rectngulo se divide en dos partes gracias a la recta y =
. Se demostrar que no hay
a
puntos de coordenadas ambas enteras sobre esta recta, a excepcin de los extremos. Si hun b
= . Luego
biese puntos de coordenadas enteras (m, n), 0 < m < a, 0 < n < b, entonces
m a
n/m es una fraccin reducida de la fraccin irreducible b/a, contradiccin. Los puntos
kb
kb
Lk = (k,
), 1 k a 1 estn sobre esta recta. Ahora bien, T U es el nmero de puna
a
kb
), esto es,
tos de coordenadas enteras sobre la recta vertical que va desde (k, 0) hasta (k,
a
a1
X kb
T U, que es el nmero de puntos con coordenadas enteras en la parte inferior del reca
k=1
b1
X
ka
U cuenta el nmero de puntos con coordenadas enteras en
b
k=1
la parte superior del rectngulo. Como hay (a 1)(b 1) puntos de coordenadas enteras
en total, y su nmero es compartido de manera igual por ambas partes, queda demostrado el
teorema.
tngulo. De igual manera,
16
Captulo 2
Esp 2 + 2 = {3, 6, 10, 13, 17, 20, 23, 27, 30, 34, 37, 40, 44, 47, 51, . . .}
son complementarias.
42 Teorema (Teorema de Beatty, 1926) Si > 1 es irracional y
1
1
+ = 1,
entonces las sucesiones
Esp () y Esp ()
son complementarias.
Demostracin: Ya que > 1, > 1, Esp () y Esp () son ambas sucesiones de trminos
distintos y el total de trminos no excediendo N en una y otra sucesin es TN/U + TN/U.
Pero
N/ 1 + N/ 1 < TN/U + TN/U < N/ + N/,
siendo la ltima desigualdad estricta ya que ambos , son irracionales. Como 1/+1/ =
1, se deduce que N 2 < TN/U + TN/U < N. Como la cantidad emparedada es entera,
se deduce que
TN/U + TN/U = N 1.
As, la cantidad total de trminos que no exceden a N en Esp () y Esp () es N 1. Como
esto es cierto para cada N 1, cada intervalo (n, n + 1) contiene exactamente uno de los
trminos de Esp () y Esp (). Se sigue que Esp () Esp () = N, Esp () Esp () = .
Spec() y Spec()
son complementarias, entonces , son nmeros irracionales positivos que satisfacen
1
1
+ = 1.
17
1
1/ + 1/ ya que n , se colige que 1/ +
n
Captulo
Congruencias
3.1.
Congruencias
n(a b).
45 Teorema (Propiedades de las congruencias) Sean n 1, a, b, c, d enteros. Si a b mod n y
si c d mod n entonces
a + c b + d mod n,
ac bd mod n.
(a + c) (b + d) = n(u + v)
n((a + c) (b + d))
a+c b+d
mod n,
y adems
ac bd = a(d + nv)
d(a nu) = n(av + du)
n(ac bd)
ac bd
mod n,
Demostracin: Basta utilizar induccin en el segundo inciso del Teorema 45, poniendo
c = aj1 y d = bj1 .
18
Congruencias
19
47 Corolario Si
p(x) = 0 + 1 x + + n xn
es polinomio cuyos coeficientes son todos enteros y si a b mod n entonces p(a) p(b) mod n.
Demostracin: Utilcese el Corolario 46 para demostrar que i ai i bi mod n y smese
cada trmino.
48 Teorema Sean a, b, n enteros. Si la congruencia ax b
ax ay
mod n
si y slo si
xy
Demostracin:
implica que
mod
n
.
(a, n)
n
a
=s
.
(a, n)
(a, n)
mod
n
.
(a, n)
20
Captulo 3
n
entonces se tendr
(a, n)
an
ax ay mod
,
(a, n)
3.2.
{a1 , a2 , . . . an }
es llamado un sistema completo de residuos mdulo n si para cada entero b existe exactamente uno ndice
j para el cual b aj mod n. En particular, al conjunto {0, 1, . . . , n 1} se le llama conjunto cannico
de residuos mdulo n.
52 Definicin Sea n > 1. Los (n) enteros
primo a n.
Demostracin: Presmase que b es un inverso de a mod n. Luego ab 1 mod n que
conlleva la existencia de un entero s tal que ab 1 = sn, esto es, ab sn = 1. sta es una
combinacin lineal de a y n, luego ser divisible por (a, n), dando (a, n) = 1.
Recprocamente, si (a, n) = 1, por el teorema de Bachet-Bezout existe enteros x, y tales que
ax + ny = 1. Esto da de inmediato ax 1 mod n, lo cual quiere decir que a tiene como
inverso a x, mod n.
21
56 Corolario Si n > 1 es entero, entonces existe solamente (n) enteros invertibles, mdulo n.
57 Teorema Si a es relativamente primo al entero positivo integer n, entonces existe un entero positivo
m mod n.
59 Teorema Sea n > 1 un entero. Entonces a Z tiene un orden mod n si y solamente si (a, n) = 1.
Demostracin: Presmase que ordn a|t. Luego existe un entero s con sordn a = t, de donde
se deduce
at asordn a (aordn a )s 1s 1 mod n.
Recprocamente, presmase que at 1 mod n y que t = x ordn a + y, 0 y < ordn a.
Entonces
ay atxordn a at (aordn a )x 1 1x 1 mod n.
Si y > 0 entonces se tendra un entero positivo menor que ordn a poseyendo la propiedad
ay 1 mod n, lo que contradice la definicin de ordn a como el menor entero positivo con
esta propiedad. As pues y = 0 y entonces t = x ordn a, esto es, ordn a|t.
22
Captulo 3
Demostracin: Se necesita demostrar que los (n) enteros ar1 , ar2 , . . . , ar(n) son mutuamente incongruentes mod n. Supngase que ari arj mod n para algn i 6= j. Como
(a, n) = 1, se deduce del corolario 50 que ri rj mod n. sto contradice el hecho que las
rs son incongruentes, con lo que queda demostrado el teorema.
62 Corolario Sea n > 1, a, b Z, (a, n) = 1. Si r1 , r2 , . . . , r(n) es un sistema de residuos reducidos
mdulo n, entonces ar1 + b, ar2 + b, . . . , ar(n) + b es tambin un sistema de residuos reducido mdulo n.
3.3.
63 Teorema (Pequeo teorema de Fermat) Sea p un primo y a un entero tal que p 6 |a. Entonces
ap1 1
mod p.
mod p,
o sea,
ap1 (p 1)! (p 1)!
mod p.
Como ((p 1)!, p) = 1, se puede cancelar las (p 1)!s gracias al corolario 50.
64 Corolario Para todo primo p y para todo entero a,
ap a
mod p.
Demostracin: O bien p|a o p 6 |a. Si p|a, entonces a 0 ap mod p y no hay nada que demostrar. Si p 6 |a, el pequeo teorema de Fermat dice que p|ap1 1. As pues
p|a(ap1 1) = ap a, que da el resultado.
65 Corolario Sea p un primo y a un entero. Si p 6 |a entonces ordp a|p 1.
Congruencias simultneas
23
mod p.
En otras palabras,
(p 1)! 1
2ap2
(p 1) 1 1 (p 1) 1
mod p.
mod n,
mod n.
o
Como (a1 a2 a(n) , n) = 1, se puede cancelar el producto a1 a2 a(n) en uno y otro
lado, de donde se deduce el teorema.
69 Corolario Si (a, n) = 1, entonces ordn a|(n).
3.4.
Congruencias simultneas
70 Teorema (Teorema snico de los residuos o Teorema de Sun Tsu) Sean m1 , m2 , . . . mk enteros
relativamente primos por pares, todos mayores que 1, y sean a1 , a2 , . . . ak enteros arbitrarios. Luego el
sistema de congruencias
x a1
mod m1
x a2
mod m2
.. .. ..
. . .
x ak
posee una solucin nica mdulo m1 m2 mk .
mod mk
24
Captulo 3
m1 m2 mk
, 1 j k y sea Qj el inverso de Pj mod mj ,
mj
i.e., Pj Qj 1 mod mj , que sabemos que existe, ya que las mi son relativamente primas por
pares. Pngase
x = a1 P1 Q 1 + a2 P2 Q 2 + + a k Pk Q k .
Demostracin: Pngase Pj =
Este nmero claramente satisface las condiciones descritas en el teorema. La unicidad de esta
solucin es fcil de establecer mdulo m1 m2 mk .
3.5.
Criterios de divisibilidad
Demostracin: Se derivar el resultado para n > 0, ya que para n < 0 slo basta aplicar el
teorema a n > 0. Como 10k 0 mod 5 para enteros k 1, se tiene
n = as 10s + as1 10s1 + + a1 10 + a0 a0
mod 5,
mod 2k ,
de donde n es divisible por 2k si y solamente si el nmero formado por los ltimos k dgitos
de n es divisible por 2k .
73 Teorema (Regla de los 9s) Un entero n es divisible por 9 si y solamente si la suma de sus dgitos es
divisible por 9.
Demostracin: Si n = 0 no hay nada que demostrar. Si se demuestra el resultado para n > 0
entonces se puede deducir el resultado para n < 0 en aplicando lo ya obtenido al nmero
n = (1)n > 0. Presmase pues que n Z, n > 0 y que su expansin decimal es
n = as 10s + as1 10s1 + + a1 10 + a0 ,
Criterios de divisibilidad
25
por 11.
Demostracin: Presmase que n > 0. Sea
n = as 10s + as1 10s1 + + a1 10 + a0 ,
donde 0 ai 9, as 6= 0. Observse que 10 1 mod 11y as 10t (1) mod 11.
Luego
n = as 10s + as1 10s1 + + a1 10 + a0
as (1)s + as1 (1)s1 + as2 (1)s2 + + a1 + a0
and se colige el resultado.
mod 11
Apendice
Ejemplos y problemas
A.1.
2 es irracional.
a
Resolucin: Presmase al contrario que 2 es racional, esto es, que hay enteros a, b con 2 = . Esto
b
implica que el conjunto
A = {n 2 : (n, n 2) (N \ {0})2 }
no esnulo ya que
contiene a a. Por el axioma del buen orden, A tiene un elemento mnimo, llmese
j = k 2. Como 2 1 > 0, se tiene que
j( 2 1) = j 2 k 2 = (j k) 2
es un entero positivo. Como 2 < 2 2 implica que 2 2 < 2 y tambin j 2 = 2k, se ve entonces que
(j k) 2 = k(2 2) < k( 2) = j.
Resolucin: Claramente basta considerar enteros positivos. Escjase un tro a, b, c que satisface la
ecuacin y con
max(a, b, c) > 0
tan pequeo como fuere posible. Si a6 +2b6 = 4c6 entonces a ha de ser par, dgase a = 2a1 . Esto conlleva
a 32a61 + b6 = 2c6 . Luego b es par, dgase b = 2b1 y por tanto 16a61 + 32b61 = c6 . De esto resulta que
c tambin es par, dgase c = 2c1 , y as a61 + 2b61 = 4c61 . Pero entonces max(a1 , b1 , c1 ) < max(a, b, c):
contradiccin. As todas las variables deben ser cero.
26
27
79 Problema (IMO, 1988) Si a, b son enteros positivos para los cuales la cantidad
demustrese entonces
a 2 + b2
es un cuadrado perfecto.
1 + ab
a 2 + b2
es entera,
1 + ab
n = a1 + a2 + + a k ,
en donde a1 , a2 , . . . , ak son enteros positivos, no necesariamente distintos y satisfaciendo
1
1
1
+
++
= 1.
a1 a2
ak
Dada la informacin de que todo entero desde el 33 hasta el 73 es bueno, demustrese que todo entero
33 es bueno.
Resolucin: Primero se demostrar que si n es bueno entonces tambin 2n + 8 y 2n + 9 son buenos.
Para esto presmase que n = a1 + a2 + + ak y que
1=
1
1
1
+
++
.
a1 a2
ak
(A.1)
Sea P(n) la proposicin: todos los enteros n, n + 1, n + 2, . . . , 2n + 7 son buenos. Por hiptesis
P(33) es cierta. Pero (A.1) implica la veracidad de P(n + 1) cada vez que P(n) sea cierta. Luego la
asercin es demostrada por induccin fuerte.
81 Problema Demustrese, va induccin, que la expresin
33n+3 26n 27
es un mltiplo de 169 para todos los nmeros naturales n.
82 Ejemplo (Putnam, 1978) Sea A un conjunto cualquiera de 20 enteros tomados de la progresin arit-
mtica
1, 4, . . . , 100.
Comprubese que deber de haber dos enteros distintos en A cuya suma es 104.
28
Apndice A
pre se podr hallar dos, llmense a y b, los cuales satisfacen las desigualdades
b < a 2b.
84 Problema Dados cualesquiera 10 enteros en el conjunto {1, 2, . . . , 99} demustrese que siempre habr
{1, 2, . . . , 100},
demustrese que siempre habr dos que difieren por 10.
86 Ejemplo Demustrese que el cuadrado de todo entero es de la forma 4k o de la forma 4k + 1. Luego
n2 1 s
n2 1 s
en donde s = 25 11
. . 11} +2. As pues, todo nmero en esta sucesin es de la forma 4k + 3. Pero se
| .{z
n2 1 s
sabe que un cuadrado ha de tener la forma 4k 4k + 1 y por lo tanto ningn miembro de esta sucesin es
el cuadrado de un entero.
87 Problema (AHSME, 1976) Sea r el residuo cuando 1059, 1417 y 2312 se dividen por d > 1. Halle el
valor de d r.
88 Problema Demustrese que n2 + 23 es divisible por 24 para un nmero infinito de nmeros n.
89 Ejemplo Sea n > 0 entero.
29
an 1
.
a1
(A.2)
Demustrese la identidad
xn yn = (x y)(xn1 + xn2 y + xn3 y2 + + xyn2 + yn1 ).
(A.3)
a1
, y para
a1
a3 1
. Suponiendo la validez de A.2 para n, habr de demostrarse
a1
an 1
+ an
a1
an 1 + an+1 an
=
a1
an+1 1
=
,
a1
(1 + a + a2 + + an1 ) + an =
demostrando la validez de A.2 para n + 1. As la primera asercin queda demostrada por induccin.
x
Para demostrar A.3 basta poner a = en A.2 y simplificar. Es evidente entonces que (x y)(xn
y
yn ).
Si n fuere impar, entonces (y)n = yn y con substituir y por y en A.3 se obtiene el resultado.
Para obtener la ltima aseveracin obsvese primero que
1+2++n =
n(n + 1)
.
2
n
2
n2
1 + (n 1) ; 2 + (n 2) ; ;
2
k
n+2
+
2
n k k
;n ,
2
30
Apndice A
es divisible por
n
2
n k
n+2
1 + n ; 2 + (n 1) ; ;
+
2
2
k
n+1
2
n
2
n1
1 + n ; 2 + (n 1) ; ;
2
k
n+3
+
2
n+1
;
2
n1
1 + (n 1) ; 2 + (n 2) ; ;
2
k
lo es. Como
n+1
2
n+1
+
2
; nk ,
n(n+1)
.
2
11
. . 11}
| .{z
221 1 s
es compuesto.
cuntrese.
96 Ejemplo Demustrese que el nico primo de la forma n4 + 4 es el 5.
31
Si este producto es un nmero primo entonces el factor ms pequeo debe ser igual a 1. As n2 2n + 2 =
1, o sea (n 1)2 = 0, esto es n = 1. As, el nico primo de esta forma es 14 + 4 = 5.
97 Problema Demustrese que
6 (a + b + c) = 6 (a3 + b3 + c3 ).
cuadrado.
99 Problema Demustrese que si k es impar entonces 2n+2 divide a
n
k2 1
para todos los enteros naturales n 1.
100 Problema Demustrese que entre tres enteros siempre se pueden escoger dos tales que a3 b ab3
Resolucin: Obsrvese que el problema se reduce a considerar enteros estrictamente positivos, ya que si
fuesen estrictamente negativos, con multiplicar por (1)n no se afecta la divisibilidad, y si incluyesen al
0, el producto sera 0, que es definitivamente divisible por n!.
Premase pues que todos los enteros en consideracin son estrictamente positivos. Se utilizar el axioma del buen orden (Axioma 2) y se argir por contradiccin. Si M fuese el menor entero para el cual
(M + 1)(M + 2) (M + n)
n!
no es entero. Obsrvese que M > 0 ya que
n!
= 1 es entero. Ahora bien,
n!
(M + 1) (M + n) = (M + 1) (M + n 1)(M + n)
= M(M + 1)(M + 2) (M + n 1)
+(M + 2) (M + n 1)n.
Por definicin de M,
32
Apndice A
102 Problema Demustrese que 6(n3 n) y que 120(n5 5n3 + 4n) para todo entero n.
103 Problema La suma de enteros positivos es 1996. Cul es el valor mximo de su producto?
104 Problema Hallse todos los enteros positivos de la forma
1
r+ ,
r
donde r es un nmero racional.
105 Ejemplo Demustrese que si n es un entero positivo tal que 2n + 1 es un cuadrado, entonces n + 1
compuestos.
108 Ejemplo Sean m, n, a 6= 1 enteros positivos. Demustrese que
33
n.
21n + 4
es irreducible para todo entero natural
14n + 3
os,
1899) Comprubese que para todo entero positivo n, la expresin
111 Problema (Eotv
2 es irracional.
Resolucin: Supngase a miras de contradiccin que 2 = a/b con enteros positivos a, b relativamente
primos. Entonces 2b2 = a2 . El lado siniestro de esta ecuacin tiene un nmero impar de factores primos
mientras que el diestro tiene un nmero par. Esto contradice el Teorema fundamental de la aritmtica
(Teorema 15). Contrstese este mtodo con el del ejemplo 76.
115 Problema Demustrese que si el polinomio
a 33.
34
Apndice A
perfecto.
As, d divide a 3b(a + b) 3ab = 3b . De manera semejante se deduce que d 3a2 . Pero entonces
2
el conjunto {5, 7, 11, 13, 23}, siempre hay dos distintos cuyo producto es un cuadrado.
Resolucin: Cada uno de los 33 enteros es de la forma
5a 7b 11c 13d 23f .
As, a cada uno de los 33 enteros se les puede asociar un vector de la forma (a, b, c, d, f). Dependiendo la
paridad de los componentes del vector, hay 32 = 25 tipos de estos vectors. Por ejemplo, uno de los tipos es
(par, par, impar, impar, par). Pinsese de estas 32 clases de vectores como en 32 casillas. A los 33 enteros
se les distribuir en las 32 casillas y por tanto, una de las casillas tendr al menos dos enteros diferentes.
En esta casilla los exponentes de los nmeros son de la misma paridad, as que al multiplicarse, todos los
exponentes sern pares. Luego este producto ser un cuadrado.
122 Problema (IMO 1985) Dado un conjunto M de 1985 enteros positivos distintos, ninguno de cuyos
factores primos es mayor que 26, demustrese que M siempre tendr cuatro elementos distintos cuyo
producto es una cuarta potencia.
123 Problema Tmese 51 enteros cualesquiera del conjunto
{1, 2, . . . , 100}.
Demustrese que siempre habr dos, uno dividiendo al otro.
124 Problema Demustrese que si ambos p es primo, o bien 8p 1 es primo y 8p + 1 compuesto o
viceversa.
35
125 Ejemplo Hllese MCD (23, 29) mediante el algoritmo de Euclides y Encuntrese soluciones enteras
615
6 1 (23 3 6)
4 6 1 23
4(29 1 23) 1 23
4 29 5 23.
23x + 29y = 1.
127 Problema Hllese soluciones enteras para la ecuacin
23x + 29y = 7.
A.2.
n. Cuando se verificar la
igualdad?
129 Problema (AIME, 1992) Encuntrese la suma de todos los nmeros racionales positivos que sean
n para n > 6.
36
Apndice A
132 Problema Demustrese que si (n) n, entonces n debe de ser de la forma 2a 3b para enteros no
negativos a, b.
133 Problema Demustrese que si (n)n 1, entonces n no es divisible por ningn cuadrado mayor
que 1.
134 Problema (Mandelbrot 1994) Cuatrocientas personas se colocan alrededor de un crculo. Se marca
a una persona, se perdona a las prximas k personas, luego se marca a otra, se perdona a las prximas
k, etctera, continuando hasta que se marque a una persona por segunda vez. Para cuntos valores de k
menores que 400 se marcarn a todas las personas en el crculo al menos una vez?
135 Problema Demustrese que si (n) n1 y n es compuesto, entonces n tiene al menos tres factores
primos distintos.
136 Problema Demustrese que si (n) n 1 y n es compuesto, entonces n tiene al menos cuatro
100 usuarios. Al principio, todos los casilleros estn abiertos. Entra el usuario nmero 1 y cierra todos
los casilleros. Entra el usuario nmero 2, y cierra todos los casilleros con nmero par. Entra el usuario
nmero 3 y cambia de estado (de cerrado a abierto o vice versa) todos los casilleros cuyo nmero es un
mltiplo de 3. Entra el usuario nmero 4 y cambia de estado (de cerrado a abierto o vice versa) todos los
casilleros cuyo nmero es un mltiplo de 4. Sucede as sucesivamente hasta que entra el usuario nmero
100 y cambia de estado el casillero nmero 100. Qu casilleros permanecen cerrados?
Resolucin: Se ver que los casilleros cuyo nmero es un cuadrado perfecto permanecen cerrados. As
los casilleros nmero 1, 4, 9, 16, 25, 36, 49, 64, 81 y 100 son los que permanecen cerrados. Obsrvese
que el casillero nmero n es afectado por el usuario d si y slo si d divide a n. As slo aquellas n que
tengan un nmero impar de divisores permaneceran cerradas. Ahora bien, cada factor d de n se puede
n
n
aparear con , y as, n tendr un nmero impar de factores si y slo si se tiene d = , esto es, si n es un
d
d
cuadrado perfecto.
138 Problema Descrbase todos los enteros positivos n para los cuales d(n) = 10.
139 Problema Demustrese que
d(2n 1) d(n).
140 Problema Demustrese que d(n)
37
d(n)tn =
X
n=1
n=1
tn
,
1 tn
A = {n N : m d(n)}
posee una progresin aritmtica infinita.
144 Problema Sea n un nmero perfecto. Demustrese que
X1
dn
Y
dn
= 2.
d = nd(n)/2 .
146 Problema (AIME 1995) Sea n = 231 319 . Cuntos divisores positivos de n2 son menores que n pero
no dividen a n?
147 Problema Demustrese que si n es compuesto, entonces (n) > n +
n.
148 Problema Demustrese que la ecuacin (n) = n + k, donde k > 1 es un nmero natural fijo, posee
1
1
(n!)
1+ ++ .
n!
2
n
38
Apndice A
152 Problema Demustrese que ninguna potencia de un primo no puede ser un nmero perfecto. Luego,
demustrese que de existir un nmero perfecto impar, ste debe tener al menos dos factores primos distintos.
153 Problema Demustrese que si n es un nmero perfecto impar, entonces solamente uno de sus fac-
n
X
k=1
(k) =
n
X
j=1
n
jT U.
j
155 Problema Hllese todos los conjuntos de enteros positivos {a, b, c} tales que a b c = 462.
156 Ejemplo Hllese un polinomio no idnticamente nulo P(x, y) tal que para todo nmero real t se
tenga P(T2tU, T3tU) = 0.
157 Ejemplo Descrbase todos los enteros positivos n para los cuales 1 + T 2nU 2n.
Resolucin:
Sea 2n = m(1 + T 2nU). Si m T 2nU
1 entonces 2n (T 2nU
1)(T 2nU +
l(l + 1)
Recprocamente, sea n =
. Ya que l < 2n < l + 1, se tiene l = T 2nU. Luego todos los
2
enteros con la propiedad deseada son nmeros triangulares.
158 Ejemplo Demustrese que la sucesin de enteros
n
T 1+ 2 U
39
(1 + 2) + (1 2) = 2
0kn/2
(2)
n
:= 2N,
2k
n
n
2
<
0,
entonces
(1
2)
es
la
parte
fraccionaria
de
(1
+
2) o de
un nmero
par.
Como
1
<
1
n
(1 + 2) + 1 dependiendo de la paridad de n. Para n impar,
2)
=
T(1
+
2)
U,
que
es
siempre
par,
y
para
n
par
2N
:=
(1
+
2) +
n
n
n
(1 2) = T(1 + 2) U + 1, y as T(1 + 2) U = 2N 1, es siempre impar para n par.
159 Ejemplo Demustrese que los primeros mil dgitos de
(6 + 35)1980
luego del punto decimal son todos 9s.
Resolucin: Gracias al ejemplo 158,
1
< 6 35, y al cuadrar 3500 < 3481, cones un entero par. Ahora bien, 0 < 6 35 < 1/10 (si no
10
1
101980
demostrando la asercin.
T n + n + 1U = T 4n + 2U.
Resolucin: Elevando al cuadrado se ve que
4n + 1 < n + n + 1 < 4n + 3.
Ni 4n + 2 ni 4n + 3 son cuadrados, ya que todo cuadrado es congruente a 0 o 1 mdulo 4, luego
T 4n + 2U = T 4n + 3U,
de donde se colige el resultado.
161 Ejemplo Hllese una frmula para el ensimo entero positivo no cuadrado.
40
Apndice A
Resolucin: Sea Tn el ensimo entero positivo no cuadrado. Luego, existe un nmero entero positivo m
tal que m2 < Tn < (m + 1)2 . Ya que hay m cuadrados menores que Tn se tiene que Tn = n + m. Entonces
se ve que
m2 < n + m < (m + 1)2
o sea
m2 m < n < m2 + m + 1.
Como n, m2 m, m2 + m + 1 son todos enteros, las desigualdades anteriores implican que
m2 m +
1
1
< n < m2 + m + ,
4
4
1
esto es, (m 1/2)2 < n < (m + 1/2)2 . Pero entonces m = T n + U. Luego el ensimo entero positivo
2
no cuadrado es Tn = n + T n + 1/2U.
162 Ejemplo (Putnam 1983) Sea f(n) = n + T nU. Demustrese que para cada entero positivo m, la
sucesin
m, f(m), f(f(m)), f(f(f(m))), . . .
tiene al menos el cuadrado de un entero.
Resolucin: Sea m = k2 + j, 0 j 2k. Divdase las ms en dos grupos: aqullas (grupo A) para las
que j, 0 j k y stas (grupo B) para las que j, k < j < 2k + 1.
2
2
Obsrvese que k2 m < (k
+ 1) = k + 2k + 1. Si j 2= 0, no hay nada que2 demostrar. Supngase
primero que m B. Como T mU = k, se tiene f(m) = k + j + k = (k + 1) + j k 1, con 0
j k 1 k 1 < k + 1. Esto quiere decir que f(m) o bien es un
cuadrado, o bien f(m) A. As pues,
es slo necesario considerar la alternativa m A, en cuyo case T m + kU = k y
f(f(m)) = f(m + k) = m + 2k = (k + 1)2 + j 1.
Esto significa que o bien f(f(m)) es un cuadrado, o bien f(f(m)) A con un exceso j 1 menor que
el exceso j de m. Luego de cada iteracin el exceso se reduce, y eventualmente ser cero, en cuyo caso se
obtendr un cuadrado.
163 Ejemplo Resulvase la ecuacin
Tx2 x 2U = TxU,
para x R.
Resolucin:
Obsrvese que TaU = TbU si y slo si k Z with a, b [k, k + 1), lo que sucede si y slo
1
1
1
x R : x ] 1 : (1 5)] [ (1 + 17), (1 + 21)[ .
2
2
2
41
10
X
1
.
k
k=1
<
k+1
Z k+1
k
dx
1
< .
x
k
10
X
1
3
< 1999.
1998 + 1/10 <
k
k=1
Resolucin: El nmero de ceros queda determinado por la potencia mayor de 10 que divida a 300!. Ya
que abundan ms los mltiplos de 2 en 300! que los mltiplos de 5, el nmero de ceros queda determinado
por la potencia mayor de 5 que divida a 300!. En virtud de la frmula de De Polignac, la buscada potencia
es
X
T300/5k U = 60 + 12 + 2 = 74.
k=1
1000
166 Ejemplo Divide 7 a
?
500
Resolucin: La potencia mayor de 7 que divide a 1000! is T1000/7U + T1000/72 U + T1000/73 U =
142 + 20 + 2 = 164, gracias a la frmula de De Polignac (teorema 39).
De manera semejante, la potencia
!
1000!
1000
mayor de 7 que divide a 500! is 71 + 10 + 1 = 82. Ya que
=
, la potencia mayor de 7
500
(500!)2
!
!
1000
1000
es 164 2 82 = 0, de donde se colige que el 7 no divide a
.
que divide a
500
500
167 Ejemplo Sea n = n1 + n2 + + nk donde los ni son enteros no negativos. Demustrese que la
cantidad
es entera.
n!
n1 !n2 ! nk !
42
Apndice A
j1
Ya que
Tn1 /pj U + Tn2 /pj U + + + Tnk /pj U T(n1 + n2 + + nk )/pj U,
x1 + x2 + xk n,
p primo
Resolucin: Se pide una sucesin {Sn } complementaria a {Sn + n}. Por el teorema de Beatty (teorema
42), TnU
y TnU + n = Tn( + 1)U son complementarias si 1/ + 1/( + 1) = 1. Pero luego =
A.3.
43
170 Ejemplo Demustrese que 7 divide a 22225555 + 55552222 utilizando congruencias. Esta pregunta
se vi ya en el problema 92.
Resolucin: 2222 3 mod 7, 5555 4 mod 7 y 35 5 mod 7. Ahora bien, 22225555 + 55552222
35555 + 42222 (35 )1111 + (42 )1111 51111 51111 0 mod 7, lo que demuestra la asercin.
171 Ejemplo Hallse el residuo cuando 61987 es dividido por 37.
Resolucin: 62 1 mod 37. As pues, 61987 661986 6(62 )993 6(1)993 6 31 mod 37.
172 Ejemplo (USAMO, 1979) Determnese todas las soluciones no negativas
(n1 , n2 , . . . , n14 )
de la ecuacin diofntica
n41 + n42 + + n414 = 1599
de haberlas.
Resolucin: No hay tales soluciones. Todas las cuartas potencias mod 16 son o bien 0 o bien 1
mod 16. Esto significa que
n41 + + n414
es a lo sumo 14 mod 16. Pero 1599 15 mod 16.
173 Problema Hallse el ltimo dgito de 3100 .
7
44
Apndice A
181 Problema Comprubese que 2k 5, k = 0, 1, 2, . . . nunca deja residuo 1 cuando es dividido por 7.
182 Ejemplo Encuntrese todas las soluciones de 5x 3 mod 7
Resolucin: De acuerdo al teorema 48 existe una solucin nica a la congruencia mod 7 por ser (5, 7) =
1. Gracias al algoritmo de Euclides,
7 = 51+2
5 = 22+1
2 = 2 1.
As,
1 = 522
2 = 7 5 1,
dando
1 = 5 2 2 = 5 2(7 5 1) = 5 3 7 2.
De aqu, 3 = 5(9) 7(6). De sto resulta que 5 9 3 mod 7, o sea, 5 2 3 mod 7. As pues x 2
mod 7.
183 Ejemplo Resulvase la congruencia
3x 6
mod 12.
Resolucin: Como (3, 12) = 3 y 3|6, la congruencia tiene tres soluciones incogruentes. Por inspeccin
x = 2 es na solucin. En virtud del teorema 21, todas las soluciones son de la forma x = 2 + 4t, t Z.
Poniendo t = 0, 1, 2, se obtienen las tres soluciones incongruentes t = 2, 6, 10 mdulo 12.
184 Ejemplo Encuntrese el inverso de 5 mod 7.
Resolucin: Bscase una solucin a 5x 1 mod 7. Por inspeccin se ve que la solucin buscada es
x 3 mod 7.
185 Ejemplo Hllese el orden de 8 mod 11.
Resolucin: Por el corolario ?? ord11 8 es uno de entre 1, 2, 5 o 10. Ahora 82 2 mod 11, 84 4
mod 11 and 85 1 mod 11. El orden es pues ord11 8 = 10.
186 Ejemplo Sea a1 = 4, an = 4an1 , n > 1. Hllese el residuo cuando a100 se divide por 7.
Resolucin: Por el pequeo teorema de Fermat, 46 1 mod 7. Como 4n 4 mod 6 para todos los
enteros positivos n, se tiene 4n = 4 + 6t para algn entero t. As
a100 4a99 44+6t 44 (46 )t 4
mod 7.
187 Ejemplo Demustrese que m, n Z, mn(m60 n60 ) es siempre divisible por 56786730.
45
p1
! 1
2
mod p.
Resolucin: En el producto (p1)!, se aparea j, 1 j (p1)/2 con pj. Obsrvese que j(pj)
j2 mod p. Luego
1 (p 1)!
1j(p1)/2
j (1)
(p1)/2
p1
!
2
mod p.
{n, n + 1, n + 2, n + 3, n + 4, n + 5}
en dos subconjuntos tales que el producto de los miembros del uno sea igual al producto de los miembros
del otro.
Resolucin: Supngase en miras de contradiccin que existiese tal n con tal particin, el primer subconjunto teniendo producto de miembros A y el otro teniendo producto de miembros B. O bien, uno de los
enteros en {n, n + 1, n + 2, n + 3, n + 4, n + 5} es divisible por 7, en cuyo caso exactamente uno de
entre A o B es divisible por 7, y por lo tanto, A B no es divisible por 72 y as A B no es un cuadrado. En
la segunda posibilidad, todos los miembros del conjunto son relativamente primos a 7. Esto quiere decir
que, gracias al teorema de Wilson,
n(n + 1) (n + 6) 1 2 6 A B 1
mod 7.
46
Apndice A
190 Problema Sea n N, n 2. Demustrese que si N est la suma de n nmeros impares consecutivos,
191 Ejemplo (Putnam, 1956) Demustrese que todo entero positivo posee un mltiplo cuya expansin
Resolucin: En el subconjunto {1, 2, . . . 10} hay slo dos valores de n (4 y 6) para los cuales el dgito de
las decenas de n2 es impar. Ahora bien, (n + 10)2 = n2 + 20n + 100 tiene la misma paridad en su dgito
de las decenas que el dgito de las decenas de n2 . Luego, hay 2 10 = 20 enteros n para los cuales se
verifica la condicin prescrita.
193 Ejemplo Hallar todos los enteros con dgito inicial 6 tales que si se les suprime este dgito incial,el
especfica de los dgitos de A. Demustrese que si A + A = 1010 entonces A es divisible por 10.
Resolucin: Claramente, A y A debern tener 10 dgitos cada uno. Pongas pues
A = a10 a9 a8 . . . a1
y
A = b10 b9 b8 . . . b1 ,
47
Sumando,
a1 + b1 + a2 + b2 + + ai + bi + ai+1 + bi+1 + + a10 + b10 = 10 + 9(9 i).
Ahora bien, si i es par, 10 + 9(9 i) es impar y si i es impar 10 + 9(9 i) es par. Pero como
a1 + a2 + + a10 = b1 + b2 + + b10 ,
tenemos
a1 + b1 + a2 + b2 + + ai + bi + ai+1 + bi+1 + + a10 + b10 = 2(a1 + a2 + + a10 ),
un entero par. Colegimos que i es impar, lo que necesariamente implica a1 = b1 = 0, esto es, A y A son
ambos divisibles por 10.
195 Ejemplo Demustrese que todos los enteros en la sucesin
son cuadrados.
n1 8 s
n1 8 s
n 4 s
=
=
=
n1 8 s
8
4
(10n 1) 10n + (10n1 1) 10 + 9
9
9
4
4
1
2n
n
10 + 10 +
9
9
9
1
2
n
(2 10 + 1)
9
2 10n + 1 2
3
Falta ahora demostrar que esta ltima cantidad es entera, esto es, que 3 divide a 2 10n + 1 = 2 00
. . 00} 1.
| .{z
n1 0 s
Pero la suma de los dgitos de esta ltima cantidad es 3, y por lo tanto este entero es divisible por 3.
196 Ejemplo Puede encontrarse un milln de enteros positivos que sean divisibles por al menos un
cuadrad?
Resolucin: La respuesta es afirmativa. Sean p1 , p2 , . . . , p1000000 un milln de primos diferentes. Por el
teorema snico de los residuos existe una solucin del siguiente sistema de congruencias:
x
x
..
.
..
.
1
2
..
.
x 1000000
..
.
mod p21 ,
mod p22 ,
mod p21000000 .
Los nmeros x + 1, x + 2, . . . , x + 1000000 son un milln de enteros consecutivos, cada uno divisible
por el cuadrado de un primo.
Apendice
Indicaciones y respuestas
77 Presmase a la contraria que el conjunto S de enteros en ]0; 1[ es no nulo. Siendo un conjunto de
enteros positivos, gracias al axioma del buen orden, este debe tener un elemento mnimo al que se llamar
m. Ahora bien, 0 < m2 < m < 1, y por lo tanto m2 S . Pero esto declara que S tiene un entero positivo,
m2 , que es menor que su elemento mnimo! Esta contradiccin establece que S = .
a 2 + b2
= k fuere un contraejemplo de un entero que no es un cuadrado perfecto con
1 + ab
max(a, b) tan pequeo como fuere posible. Puede presumirse, sin perder generalidad, que a < b, ya que
si a = b entonces
2a2
< 2,
0<k= 2
a +1
lo que fuerza k = 1, un cuadrado perfecto.
79 Supngase que
Indicaciones y respuestas
49
lo cual se reduce a
27 169N + 169 4n,
que es evidentemente un mltiplo de 169. Queda demostrada la asercin por induccin.
83 Dividnse los nmeros {1, 2, 3, . . . , 126} en los seis conjuntos
{1, 2}, {3, 4, 5, 6}, {7, 8, . . . , 13, 14}, {15, 16, . . . , 29, 30},
{31, 32, . . . , 61, 62} y {63, 64, . . . , 126}.
Por el principio de las casillas de Dirichlet, dos de los siete nmeros yacern en el mismo conjunto, donde
obviamente, satisfacen las desigualdades estipuladas.
84 Hay 210 1 = 1023 subconjuntos no nulos posibles en un conjunto de 10 elementos. A cada uno
de estos conjuntos no vacos asciese la suma de estos 10 elementos. El valor mximo que estas sumas
pueden tener es 90 + 91 + + 99 = 945 < 1023. Luego, deben de haber al menos dos subconjuntos,
llmense A y B con la misma suma, ya que hay ms subconjuntos que sumas. Si los subconjuntos tuviesen
una interseccin no nula, basta considerar A \ (A B) y B \ (A B), que tambin tienen la propiedad
deseada.
85 Obsrvese primeramente que al elegir n + 1 enteros de cualquier conjunto de 2n enteros consecutivos,
siempre habr dos que diferirn por n. En efecto, al parear los 2n enteros consecutivos
{a + 1, a + 2, a + 3, . . . , a + 2n}
en los n pares
{a + 1, a + n + 1}, {a + 2, a + n + 2}, . . . , {a + n, a + 2n},
se ve que al elegir and n + 1 siempre habr dos que pertenecen al mismo grupo.
Agrupse pues los 100 enteros como sigue:
{1, 2, . . . 20}, {21, 22, . . . , 40},
{41, 42, . . . , 60}, {61, 62, . . . , 80}
y
{81, 82, . . . , 100}.
Si se eligieren 55 siempre habr once proviniendo del mismo grupo. Y en ese grupo en particular siempre
habr dos difiriendo por 10.
87 Por el algoritmo de divisin, hay enteros q1 , q2 , q3 con 1059 = dq1 + r, 1417 = dq2 + r y 2312 =
dq3 + r. Restando se obtiene 1253 = d(q3 q1 ), 895 = d(q3 q2 ) y 358 = d(q2 q1 ). Como
7179, 895 = 5179, 358 = 2179, se ve que d = 179. Como 1059 = 5179+164, r = 164. Finalmente,
d r = 15.
88 Se tiene que n2 + 23 = n2 1 + 24 = (n 1)(n + 1) + 24. Luego, las familias n = 24m 1, m =
0, 1, 2, 3, . . . producen infinitos valores de n2 + 23 que son divisibles por 24.
50
Apndice B
10a 1 10b 1
de
la
forma
221 1 s
a 6 b6
.
ab
n+1
a (k2n 1), as que el problema se reduce a demostrar que 2(k2n + 1). Pero esto es obvio, ya que como
k2n es impar k2n + 1 es par.
100 Obsrvese que a3 b ab3 = ab(a b)(a + b) es siempre par, no importa que enteros sean substituidos. Si uno de los enteros es de la forma 5k, entonces no hay ms que demostrar. Si no, entonces se
escogen tres enteros de entre enteros de la forma 5k 1 (casilla I) 5k 2 (casilla II). Por el principio
de las casillas de Dirichlet, dos de estos tres enteros debern caer en la misma casilla as que hay dos que
o bien su suma o bien su diferencia es divisible por 5, lo que establece el resultado.
Indicaciones y respuestas
51
k k2 4
.
r=
2
Como k es un entero, r puede ser entero si y slo si k2 4 es un cuadrado de la misma paridad que k.
Ahora, si k 3,
(k 1)2 < k2 4 < k2 ,
esto es, k2 4 est entre dos cuadrados consecutivos y por lo tanto no puede ser un cuadrado. Si k = 1,
k2 4 no es real. Si k = 2, k2 4 = 0. Luego, r + 1/r = 2, esto es, r = 1. Esto termina la demostracin.
(3k 1)2 1
+ 1 = 3k2 2k + 1 = k2 + k2 + (k 1)2 ,
3
como queramos demostrar.
n+1 =
107 Si n es par, escrbase n = n 6 + 6. Como n > 11, n 6 es par y mayor que 2, por tanto compuesto.
Si n es impar, n = n 9 + 9. Como n > 11, n 9 es par y mayor que 2, por lo tanto compuesto.
109 Ntese que 2(21n + 4) 3(14n + 3) = 1, de donde el mximo comn divisor divide a 1. As
pues, el numerador y el denominador no pueden compartir a un factor mayor que 1.
110 Se tiene que
2
= MCD 100 + n2 , 100 + n
+
2n
+
1
= MCD 100 + n2 , 2n + 1 .
As pues
Por lo tanto, dn (2(200n)+(2n+1)) = 401, de donde se colige que dn 401 para toda n. Alcanzar
dn un valor tan grande como 401? Efectivamente! Para n = 200 se tiene que a200 = 100 + 2002 =
100(401) y que a201 = 100 + 2012 = 40501 = 101(401). Luego se deduce que max dn = 401.
n1
52
Apndice B
111 Gracias a A.3, 2903n 803n es divisible por 2903 803 = 2100 = 7 300 y 261n 464n es
divisible por 203 = (29) 7. Por lo tanto, la expresin es divisible por 7. Adems 2903n 464n es
divisible por 2903 464 = 2439 = 9 271 y 803n + 261n es divisible por 803 + 261 = 542 =
2 271. As pues, como la expresin es divisible por 7 y por 271 y como estos son relativamente primos,
la expresin es pues divisible por 7 271 = 1897.
112 Pngase los 100 enteros en los 50 pares
{1, 2}, {3, 4}, {5, 6} . . . , {99, 100}.
Como se elegir 51 enteros, deber de haber dos de entre ellos que yazgan en el mismo par. stos son
relativamente primos.
113 Si n es impar escrbase a = 2, b = n2, n = a+b y como n2 es impar se tiene MCD (n 2, 2) =
1. Si n es par, entonces o bien n = 4k o bien n = 4k + 2. Si n = 4k, escrbase a = 2k + 1, b = 2k 1,
n = a+b, los cuales son relativamente primos al ser dos enteros impares consecutivos. Si n = 4k+2, k > 1
escrbase a = 2k + 3, b = 2k 1, n = a + b, los que de la misma manera son relativamente primos (si
d = MCD (2k + 3, 2k 1) entonces d divide a 2k + 3 (2k 1) = 4. Luego d es 1, 2 4 pero como
d es impar es por fuerza = 1).
115 Ntese primeramente que 7 puede descomponerse en a lo sumo tres factores diferentes: 7 = 7(1)(1).
Si p(ak ) 7 = 0 para cuatro valores distintos ak , 1 k 4 entonces
p(x) 7 = (x a1 )(x a2 )(x a3 )(x a4 )q(x)
para algn polinomio q con coeficientes enteros. Presmase ahora que existe un entero m con p(m) = 14.
Entonces
7 = p(m) 7 = (m a1 )(m a2 )(m a3 )(m a4 )q(m).
Como los factores m ak , la igualdad anterior descompone a 7 en cuatro o ms valores distintos, lo que
es una contradiccin.
116 Sea el producto (n1)n(n+1) = (n2 1)n, n > 1. Como n2 1 y n son relativamente primos, por
el Teorema fundamental de la aritmtica (Teorema 15) n2 1 es una potencia k-sima perfecta (k 2)
y tambin lo es n. Esto implica que tanto n2 1 y n2 son potencias k-simas perfectas consecutivas, lo
que es imposible. Obsrvese que ni n2 1 ni n2 son ni 0 ni 1.
117 Obsrvese que
m5 + 3m4 n 5m3 n2 15m2 n3 + 4mn4 + 12n5
= (m 2n)(m n)(m + n)(m + 2n)(m + 3n),
un producto de cinco factores. Ahora bien, 33 se puede descomponer a lo sumo en cuatro factores distintos:
33 = (11)(3)(1)(1). Si n 6= 0, todos los factores de arriba son distintos y no pueden dar 33 en virtud
del Teorema fundamental de la aritmtica (Teorema 15) porque un producto de cinco factores diferentes
no puede igualar a un producto de cuatro factores diferentes. Si n = 0, el producto de los factores es m5
pero 33 no es una quinta potencia.
Indicaciones y respuestas
53
118 Sea k el mximo entero que satisface 2k n y sea P el producto de todos los enteros impares menores
1
o iguales a n. El nmero 2k1 PS es una suma cuyos trminos, excepto el 2k1 PS k , son enteros.
2
119 Si k2 = 28 + 211 + 2n = 2304 + 2n = 482 + 2n , entonces k2 482 = (k 48)(k + 48) = 2n .
Gracias a la propiedad de factorizacin nica, k 48 = 2s , k + 48 = 2t , s + t = n. Luego 2t 2s = 96 =
3 25 o 2s (2ts 1) = 3 25 . Por factorizacin nica, s = 5, t s = 2, dando s + t = n = 12.
122 Los nmeros de M son de la forma
2a 3b 5c 7d 11f 13g 17h 19j 23k .
Los diez exponentes dan 512 = 210 vectores de paridad. Luego entre cualesquiera 513 elementos de M
siempre se hallar dos cuyo producto es un cuadrado.
Se poda ahora los cuadrados. Como 1985 > 513 se puede hallar un par de nmeros distintos a1 , b1
tales que a1 b1 = c21 . Qutese este par, dejando 1983 enteros. De estos 1983 enteros, se puede hallar un
par a2 , b2 tales que a2 b2 = c22 . Remuvase este par, dejando 1981 enteros. De estos 1981 enteros, se
puede encontrar un par a3 , b3 tales que a3 b3 = c23 . Esta operacin de remover se puede continuar n + 1
veces, en donde n es el mayor entero positivo que satisface 1985 2n 513, esto es, n = 736. Luego
se puede recoger 737 pares ak , bk tales que ak bk = ck sea un cuadrado. Como 737 > 513, se puede
encontrar un par de las cm tales que su producto ci cj sea un cuadrado. Pero como cada una de las cm es
un cuadrado a su vez, el producto ci cj = a2 ser una cuarta potencia.
123 Cualquier entero puede escribirse de la manera 2a m, en donde m es impar. Tan slo hay 50 enteros
impares en el conjunto dado, luego hay slo m posibilidades para m. Luego dos de los 51 enteros elegidos
deben de ser de la forma 2a m y otro de la forma 2a m. Luego el menor de estos dos dividir al mayor.
124 Si p = 3, entonces 8p 1 = 23 y 8p + 1 = 25, luego la aseveracin se cumple para p = 3. Si p > 3, p
es de la forma 3k+1 o de la forma 3k+2. Si p = 3k+1 entonces 8p1 = 24k7 y 8p+1 = 24k6,
que es divisible por 6 y por lo tanto no es primo. Si p = 3k + 2 entonces 8p 1 = 24k 15 no es primo
al ser divisible por 3.
126 Gracias al ejemplo 125 se tiene que el par x0 = 5, y0 = 4 es una solucin. Se puede encontrar una
familia infinita de soluciones en poniendo
x = 5 + 29t, y = 4 23t, t Z.
127 Del ejemplo 125 se tiene 23(5) + 29(4) = 1. Multiplicando uno y otro lado por 7,
23(35) + 29(28) = 7,
lo que resuelve el problema.
129 400
173 Quirese hallar 3100 mod 10. Obsrvese que 32 1 mod 10. Luego, 3100 = (32 )50 (1)50
1 mod 10. As, el ltimo dgito es el 1.
54
Apndice B
7
174 Se tiene que hallar 77 mod 10. Ahora bien, como 72 1 mod 10, entonces tenemos 73 72
7 7 3 mod 10 y 74 (72 )2 1 mod 10. Adems, 72 1 mod 4 y por lo tanto 77 (72 )3 7
3 mod 4, lo que quiere decir que hay un entero t tal que 77 = 3 + 4t. Ensamblando todo esto,
7
77 74t+3 (74 )t 73 1t 3 3
mod 10.
As el ltimo dgito es un 3.
175 Obsrvese que 32n+1 3 9n 3 2n mod 7 y 2n+2 4 2n mod 7. Luego
32n+1 + 2n+2 7 2n 0
mod 7,
gruencia y 54 24 mod 641 nos da 24 228 1 mod 641, lo que significa que 641(232 + 1).