Teoria Elemental de Los Numeros

Teora elemental de los nmeros para olimpadas matemticas c
David A. SANTOS
Revisin del 3 de enero de 2010
Table des matires
Prefacio III
1. Preliminares 1
1.1. Buen orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Induccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Principio de las pichoneras de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2. Divisibilidad y primos 4
2.1. Divisibilidad y algoritmo de divisin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2. Mximo comn divisor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3. Primos y factorizacin nica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.4. Algoritmo de Euclides y ecuaciones diofnticas lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3. Funciones aritmticas 16
3.1. Funciones multiplicativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2. La funcin parte entera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4. Congruencias 30
4.1. Congruencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.2. Sistemas residuales completos y reducidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4.3. Teoremas de Fermat, Wilson y Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.4. Teorema snico de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.5. Criterios de divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
A. Indicaciones y respuestas 41
Prefacio
He aqu mi pequea contribucin a la difusin de matemticas en castellano.
III
Notacin
N Los nmeros naturales {0, 1, 2, 3, . . .}.
Z Los enteros {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.
Q Los nmeros racionales (fracciones).
R Los nmeros reales.
P Los nmeros primos {2, 3, 5, 7, 11, . . .}.
]a; b[ El intervalo {x R : a < x < b}.
[a; b] El intervalo {x R : a x b}.
]a; b] El intervalo {x R : a < x b}.
[a; b[ El intervalo {x R : a x < b}.
]a; +[ El intervalo {x R : x > a}.
[a; +[ El intervalo {x R : x a}.
] ; a[ El intervalo {x R : x < a}.
] ; a] El intervalo {x R : x a}.
x El nico entero que satisface x1 < x x
x El nico entero que satisface x < x x+1
Chapitre 1
Preliminares
1.1. Buen orden
1 Denicin 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.
2 Axioma (Axioma del buen orden) Todo conjunto no vaco de nmeros naturales contiene un elemento mnimo.
3 Ejemplo Demustrese que
2 es irracional.
Resolucin: Presmase al contrario que
2 es racional, esto es, que hay enteros a, b con
2 =
a
b
. Esto implica que el conjunto
A = {n
2 : (n, n
2) (N\{0})
2
}
no es nulo ya que contiene a a. Por el axioma del buen orden, A tiene un elemento mnimo, llmese j = k
2. Como
21 > 0,
se tiene que
j(
21) = j
2k
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.
As pues, (j k)
2 es un entero positivo de A menor que j. Esto contradice la eleccin de j como el menor elemento de A
y termina la demostracin. Contrstese este mtodo con el del ejemplo 61.
4 Ejemplo Sean a, b, c enteros a
6
+2b
6
= 4c
6
. Demustrese que a = b = c = 0.
Resolucin: Claramente basta considerar enteros positivos. Escjase un tro a, b, c que satisface la ecuacin y con
m ax(a, b, c) > 0
tan pequeo como fuere posible. Si a
6
+2b
6
=4c
6
entonces aha de ser par, dgase a=2a
1
. Esto conlleva a 32a
6
1
+b
6
=2c
6
.
Luego b es par, dgase b = 2b
1
y por tanto 16a
6
1
+32b
6
1
= c
6
. De esto resulta que c tambin es par, dgase c = 2c
1
, y as
a
6
1
+2b
6
1
= 4c
6
1
. Pero entonces m ax(a
1
, b
1
, c
1
) < m ax(a, b, c): contradiccin. As todas las variables deben ser cero.
5 Ejemplo Demustrese que el producto de n enteros consecutivos es divisible por n!.
1
2 Chapitre 1
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 denitiva-
mente 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. Sea M el menor entero para el cual
(M+1)(M+2) (M+n)
n!
no es entero. Obsrvese que M> 0 ya que
n!
n!
= 1 es entero. Ahora bien,
(M+1) (M+n) = (M+1) (M+n1)(M+n)
= M(M+1)(M+2) (M+n1)
+(M+2) (M+n1)n.
Por denicin de M,
n! divide a (M(M+1)(M+2) (M+n1))
y
(n1)! divide a ((M+2) (M+n1)).
Luego n! divide a ((M+2) (M+n1)n). Pero entonces
n! divide a ((M+1)(M+2) (M+n)),
lo cual es una contradiccin.
Tarea
6 Problema Demustrese que no existe ningn entero en el intervalo ]0; 1[.
7 Problema (IMO, 1988) Si a, b son enteros positivos para los cuales la cantidad
a
2
+b
2
1+ab
es entera, demustrese entonces
a
2
+b
2
1+ab
es un cuadrado perfecto.
8 Problema Demustrese que la cantidad n
3
n es siempre divisible por 6 y que n
5
5n
3
+4n es siempre divisible por
120 para todo entero n.
1.2. Induccin
9 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.
10 Axioma (Principio (fuerte) de la induccin matemtica) Si S es un conjunto de enteros tal que m S y si {m, m+
1, . . . , n} S = n+1 S, entonces k m se tiene k S.
11 Ejemplo (USAMO, 1978) Llmese bueno al entero n si se pudiere escribir de la forma
n = a
1
+a
2
+ +a
k
,
en donde a
1
, a
2
, . . . , a
k
son enteros positivos, no necesariamente distintos y satisfaciendo
1
a
1
+
1
a
2
+ +
1
a
k
= 1.
Dada la informacin de que todo entero desde el 33 hasta el 73 es bueno, demustrese que todo entero 33 es bueno.
Tarea 3
Resolucin: Primero se demostrar que si n es bueno entonces tambin 2n+8 y 2n+9 son buenos. Para esto presmase
que n = a
1
+a
2
+ +a
k
y que
1 =
1
a
1
+
1
a
2
+ +
1
a
k
.
Luego 2n+8 = 2a
1
+2a
2
+ +2a
k
+4+4 y
1
2a
1
+
1
2a
2
+ +
1
2a
k
+
1
4
+
1
4
=
1
2
+
1
4
+
1
4
= 1.
Adems, 2n+9 = 2a
1
+2a
2
+ +2a
k
+3+6 y
1
2a
1
+
1
2a
2
+ +
1
2a
k
+
1
3
+
1
6
=
1
2
+
1
3
+
1
6
= 1.
Luego si
si n es bueno entonces ambos 2n+8 y 2n+9 son buenos. (1.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
(1.1) implica la veracidad de P(n+1) cada vez que P(n) sea cierta. Luego la asercin es demostrada por induccin fuerte.
Tarea
1.3. Principio de las pichoneras de Dirichlet
12 Regla (Principio de las casillas (pichoneras) de Dirichlet) Si n+1 palomas vuelan hacia n pichoneras deber existir
al menos una casilla que tenga dos o ms palomas.
13 Ejemplo (Putnam, 1978) Sea A un conjunto cualquiera de 20 enteros tomados de la progresin aritmtica
1, 4, . . . , 100.
Comprubese que deber de haber dos enteros distintos en A cuya suma es 104.
Resolucin: Frmese una particin de los 34 elementos de la progresin en los 19 grupos
{1}, {52}, {4, 100}, {7, 97}, {10, 94} . . . {49, 55}.
Como se han de tomar 20 para formar el conjunto A, por el principio de las casillas de Dirichlet deben de haber dos enteros
que pertenezcan a uno de los pares, y por tanto suman a 104.
Tarea
14 Problema Pngase en evidencia que entre siete enteros cualesquiera menores o iguales que 126, siempre se podr hallar
dos, llmense a y b, los cuales satisfacen las desigualdades
b < a 2b.
15 Problema Dados cualesquiera 10 enteros en el conjunto {1, 2, . . . , 99} demustrese que siempre habr dos subconjuntos
disjuntos cuyos elementos sumarn a la misma suma.
16 Problema No importa que 55 enteros se elija del conjunto
{1, 2, . . . , 100},
demustrese que siempre habr dos que dieren por 10.
Chapitre 2
Divisibilidad y primos
2.1. Divisibilidad y algoritmo de divisin
17 Denicin (Divisibilidad) Se dice que un entero d = 0 divide a otro a, denotado por d
a, si existe un entero d
tal que
dd
= a. El caso en que d no dividiere a a se denotar por d a.

18 Teorema (Propiedades de la divisibilidad) Sean a, b, c, d, x, y enteros. Entonces
(d
a, d
b) = d
(ax+by).
(d
a, a
b) = d
b.
(d
a, a = 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,
lo que implica que d
(xa+yb).
hay d
, a
con dd
= a y aa
= b, de donde
dd
= aa
= b = d
b.
el nmero
a
d
es un entero no nulo, luego
a
d
1 =
.
por denicin da = 0. Existen d
, r ambos diferentes de 0, tales que dd
= a y ar = d. Entonces dd
r =
ar = d. Luego d
r = 1 y como d
, r son enteros, se tiene que d
= 1, r = 1. Se colige que d = a.
u
19 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|.
4
Divisibilidad y algoritmo de divisin 5
Demostracin: Si b > 0 tmese q =
a
b
y r = abq. En virtud de la denicin de la funcin mayor entero,
q
a
b
< q+1,
luego bq a < bq+b, de donde 0 r < b = |b|. Si acaso b < 0 entonces pngase q =
a
|b|
.
Para demostrar la unicidad, supngase que a = bq
+r
= bq+r, con 0 r
, r < |b|. Luego r
r = b(qq
),
de donde b
(r
r). Pero |r
r| < |b|, lo que requiere que r
= r, en virtud del Teorema 18. De aqu tambin se

deduce q
= q. u
20 Denicin En la ecuacin a = bq+r, a es el dividendo, b = 0 el divisor, q el cociente y r el residuo.
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, 5k1 5k2. 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
Z
5
= {0, 1, 2, 3, 4}.
21 Ejemplo Demustrese que el cuadrado de todo entero es de la forma 4k o de la forma 4k+1. Luego demustrese que
ningn entero en la sucesin
11, 111, 1111, 11111, . . .
es el cuadrado de un entero.
Resolucin: Si el entero es par, es decir de la forma 2a, su cuadrado es (2a)
2
= 4a
2
, que es de la forma 4k. Si el entero es
impar, digamos 2t +1, entonces (2t +1)
2
= 4(t
2
+t) +1, que es de la forma 4k+1.
Ahora bien, para n 2,
11. . . 1
. .
n 1
s
= 11. . . 11
. .
n2 1
s
00+8+3 = 100 11. . . 11
. .
n2 1
s
+8+3 := 4s+3,
en donde s = 25 11. . . 11
. .
n2 1
s
+2. As pues, todo nmero en esta sucesin es de la forma 4k+3. Pero se 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.
6 Chapitre 2
22 Ejemplo Sea n > 0 entero.
Sea a = 1. Demustrese la identidad
1+a+a
2
+ +a
n1
=
a
n
1
a1
. (2.1)
Demustrese la identidad
x
n
y
n
= (xy)(x
n1
+x
n2
y+x
n3
y
2
+ +xy
n2
+y
n1
). (2.2)
De esto se deduce que si x, y son enteros con x = y entonces xy divide a x
n
y
n
.
Si n es impar, hgase patente que (x+y)
(x
n
+y
n
).
Demustrese que si k es un entero positivo impar
1
k
+2
k
+ +n
k
es divisible por
1+2+ +n.
Resolucin: Para el primer inciso, se proceder por induccin. Para n = 1 es claro que 1 =
a1
a1
, y para n = 2 es evidente que
1+a+a
2
=
a
3
1
a1
. Suponiendo la validez de 2.1 para n, habr de demostrarse para n+1. Ahora bien
(1+a+a
2
+ +a
n1
) +a
n
=
a
n
1
a1
+a
n
=
a
n
1+a
n+1
a
n
a1
=
a
n+1
1
a1
,
demostrando la validez de 2.1 para n+1. As la primera asercin queda demostrada por induccin.
Para demostrar 2.2 basta poner a =
x
y
en 2.1 y simplicar. Es evidente entonces que (xy)
(x
n
y
n
).
Si n fuere impar, entonces (y)
n
= y
n
y con substituir y por y en 2.2 se obtiene el resultado.
Para obtener la ltima aseveracin obsvese primero que
1+2+ +n =
n(n+1)
2
.
Se considerar los casos cuando n es par y cuando n es impar por separado.
Presmase primero que n es par. Luego
n
2
es un entero y cada una de las expresiones
1
k
+ (n1)
k
; 2
k
+ (n2)
k
; ;
_
n2
2
_
k
+
_
n+2
2
_
k
;
n
2
k
; n
k
,
es divisible por
n
2
en vista del inciso anterior. Reagrupando de la manera
1
k
+n
k
; 2
k
+ (n1)
k
; ;
n
2
k
+
_
n+2
2
_
k
,
tambin se ve que la suma es divisible por n+1. Como
n
2
y n+1 no tienen factores en comn, se deduce que la suma es
divisible por
n(n+1)
2
.
Divisibilidad y algoritmo de divisin 7
Presmase ahora que n es impar, de donde
n+1
2
es un entero. Cada una de las expresiones
1
k
+n
k
; 2
k
+ (n1)
k
; ;
_
n1
2
_
k
+
_
n+3
2
_
k
;
_
n+1
2
_
k
,
es divisible por
n+1
2
en vista del inciso anterior. De igual manera la suma es divisible por n ya que cada una de las expresiones
1
k
+ (n1)
k
; 2
k
+ (n2)
k
; ;
_
n1
2
_
k
+
_
n+1
2
_
k
; n
k
,
lo es. Como
n+1
2
y n no tienen factores en comn, se deduce que la suma es divisible por
n(n+1)
2
.
23 Ejemplo Demustrese que si n es un entero positivo tal que 2n+1 es un cuadrado, entonces n+1 es la suma de dos
cuadrados consecutivos.
Resolucin: Como 2n+1 es un cuadrado impar, tenemos 2n+1 = (2t +1)
2
para algn entero t. Resolviendo para n,
n =
(2t +1)
2
1
2
= 2t
2
+2t.
Luego n+1 = t
2
+ (t +1)
2
, la suma de dos cuadrados consecutivos.
24 Ejemplo Demustrese que el nico primo de la forma n
4
+4 es el 5.
Resolucin: Se puede restringir el argumento a enteros positivos. Obsrvese que
n
4
+4 = n
4
+4n
2
+44n
2
= (n
2
+2)
2
(2n)
2
= (n
2
2n+2)(n
2
+2n+2).
Si este producto es un nmero primo entonces el factor ms pequeo debe ser igual a 1. As n
2
2n+2 = 1, o sea (n1)
2
= 0,
esto es n = 1. As, el nico primo de esta forma es 1
4
+4 = 5.
25 Ejemplo Sean a
1
, a
2
, . . . , a
2n
enteros tales que la ecuacin
(xa
1
)(xa
2
) (xa
2n
) (1)
n
(n!)
2
= 0
posee una solucin entera a. Demustrese que
a =
a
1
+a
2
+ +a
2n
2n
.
Resolucin: Evidentemente se tiene a = a
i
para ninguna de las i y los enteros aa
i
son 2n enteros diferentes. As pues
(aa
1
)(aa
2
) (aa
2n
)
(1)(2) (n)(1)(2) (n)
= (n!)
2
,
la igualdad ocurriendo si y slo si
{a
1
, a
2
, . . . , a
2n
} = {1, 2, . . . , n, 1, 2, . . . , n}.
Se deber tener entonces
(aa
1
) + (aa
2
) + + (aa
2n
) = 1+2+ +n12 n
s y slo si
2an (a
1
+a
2
+ +a
2n
) = 0
s y slo si
a =
a
1
+a
2
+ +a
2n
2n
,
como se quera demostrar.
8 Chapitre 2
Tarea
26 Problema Hallse todos los enteros positivos de la forma
r+
1
r
,
donde r es un nmero racional.
27 Problema Demustrese que el entero
11. . . 11
. .
221 1
s
es compuesto.
28 Problema Demustrese que 100 divide a 11
10
1.
29 Problema Demustrese que entre tres enteros siempre se pueden escoger dos tales que a
3
bab
3
sea divisible por 10.
30 Problema Demustrese, va induccin, que la expresin
3
3n+3
26n27
es un mltiplo de 169 para todos los nmeros naturales n.
31 Problema Demustrese que si 3n+1 es un cuadrado, entonces n+1 es la suma de tres cuadrados.
32 Problema Demustrese que si n > 11 entonces n se puede escribir como la suma de dos nmeros compuestos.
33 Problema (AHSME, 1976) Sea r el residuo cuando 1059, 1417 y 2312 se dividen por d > 1. Halle el valor de dr.
34 Problema Demustrese que n
2
+23 es divisible por 24 para un nmero innito de nmeros n.
35 Problema La suma de enteros positivos es 1996. Cul es el valor mximo de su producto?
36 Problema (E otv os, 1899) Comprubese que para todo entero positivo n, la expresin
2903
n
803
n
464
n
+261
n
es siempre divisible por 1897.
37 Problema Demustrese que todo entero n > 6 puede ser escrito como la suma de dos enteros ambos mayores que 1 tales
que cada sumando sea relativamente primo.
38 Problema Demustrese que si ambos p es primo, o bien 8p1 es primo y 8p+1 compuesto o viceversa.
39 Problema Demustrese que 7 divide a 2222
5555
+5555
2222
.
40 Problema Demustrese que si 2
n
1 es un nmero primo, entonces n es un nmero primo. Primos de esta forma se llaman
primos de Mersenne.
41 Problema Demustrese que si 2
n
+1 es un nmero primo, entonces n es una potencia de 2. Primos de esta forma se llaman
primos de Fermat.
Mximo comn divisor 9
42 Problema ((UM)
2
C
4
, 1987) Dado que 1002004008016032 tiene un factor primo p > 250000, encuntrese.
43 Problema Demustrese que
a
3
+b
3
+c
3
3abc = (a+b+c)(a
2
+b
2
+c
2
abbcca).
Luego demustrese que
6
(a+b+c) = 6
(a
3
+b
3
+c
3
).
Demustrse adems que que si n es la suma de tres cubos consecutivos, entonces 9
n.
44 Problema Comprubese que el producto de cuatro enteros consecutivos, diferentes de 0, jams es un cuadrado.
45 Problema Demustrese que si k es impar entonces 2
n+2
divide a
k
2
n
1
para todos los enteros naturales n 1.
2.2. Mximo comn divisor
46 Denicin (Mximo comn divisor) Sea (a, b) Z
2
, (a, b) = (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.
47 Denicin Dcese que dos enteros a y b son relativamente primos si MCD(a, b) = 1.
48 Teorema (Teorema de Bachet-Bzout) Sea (a, b) Z
2
, (a, b) = (0, 0). Si d = MCD(a, b) entonces hay enteros x, y
tales que
ax+by = d.
Demostracin: Considrese el conjunto
S = {n Z : n > 0, n = as+bt, (s, t) Z
2
}.
S = 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 n
0
= ax
0
+by
0
. Obsrvese que d
n
0
en virtud del Teorema 18
ya que d
a y d
b. Ahora bien, por el algoritmo de divisin existen enteros q, r con a = qn

0
+r, 0 r < n
0
. Si
r = 0 entonces
r = aqn
0
= aq(ax
0
+by
0
) = a(1qx
0
) qby
0
S
que es menor que n
0
, contradiciendo la denicin de n
0
, de donde se concluye que r = 0. De la misma manera se
puede demostrar que n
0
b. Luego n
0
es un divisor comn de a y b, por lo tanto divide a d. Ya que d
n
0
y n
0
d
se tiene, en virtud del Teorema 18, se tiene que d = n
0
. Como ambos d > 0, n
0
> 0 se colige que d = n
0
. u
49 Ejemplo Si MCD(a, b) = 1 entonces MCD
_
a+b, a
2
ab+b
2
_
= 1 3.
Resolucin: Sea d = MCD
_
a+b, a
2
ab+b
2
_
. Ahora bien, d divide a
(a+b)
2
a
2
+abb
2
= 3ab.
10 Chapitre 2
As, d divide a 3b(a+b) 3ab = 3b
2
. De manera semejante se deduce que d
3a
2
. Pero entonces d
MCD
_
3a
2
, 3b
2
_
=
3MCD
_
a
2
, b
2
_
= 3MCD(a, b)
2
= 3.
50 Ejemplo Sean m, n, a = 1 enteros positivos. Demustrese que
MCD(a
m
1, a
n
1) = a
MCD(m,n)
1.
Resolucin: Pngase d = MCD(m, n), sd = m, td = n. Entonces a
m
1 = (a
d
)
s
1 es divisible por a
d
1 y de manera
semejante, a
n
1 es divisible by a
d
1. As (a
d
1)
MCD(a
m
1, a
n
1). Ahora bien, en virtud al Teorema de Bachet-
Bezout (Teorema 48) existen enteros x, y con mx+ny = d. Ntese que x, y habrn de tener signos opuestos (no pueden ser
ambos negativos, ya que d sera entonces negativo. Si ambos fuesen positivos entonces d m+n, lo que contradice al hecho
que d m, d n). Presmase pues, sin prdida de generalidad, que x > 0, y 0. Pngase t = (a
m
1, a
n
1). Entonces
t
(a
mx
1) y t
(a
ny
1). Luego t
((a
mx
1) a
d
(a
ny
1)) = a
d
1, estableciendo el resultado.
Tarea
51 Problema (IMO, 1959) Comprubese que la fraccin
21n+4
14n+3
es irreducible para todo entero natural n.
52 Problema (AIME, 1985) Los nmeros de la sucesin
101, 104, 109, 116, . . .
son de la forma a
n
= 100+n
2
, n = 1, 2, . . .. Para cada n pngase d
n
= MCD(a
n
, a
n+1
). Hllese m ax
n1
d
n
.
53 Problema Tmese cualesquiera 51 enteros de entre 1, 2, . . . , 100. Demustrese que hay al menos dos que son relativamente
primos.
54 Problema Demustrese que el producto de tres enteros estrictamente positivos consecutivos jams ser una potencia per-
fecta.
2.3. Primos y factorizacin nica
55 Lema (Lema de Gauss) Si d
ab y MCD(d, a) = 1 entonces d
b.
Demostracin: Por el Teorema de Bachet-Bezout (Teorema 48) existen enteros x, y tales que ax+dy= 1. Luego
bax+bdy= b. Como d
ab se tiene que d
(bax+bdy) = b. u
56 Lema (Lema de Euclides) Si p es primo, y p
ab o bien p
a o bien p
b.
Demostracin: Si p a entonces MCD(p, a) = 1. Gracias al Lema de Gauss (Lema 55) se tiene que p
b. u
57 Teorema (Teorema fundamental de la aritmtica) Todo entero n > 1 puede descomponerse en factores de la manera
n = p
1
1
p
r
r
,
en donde p
1
< p
2
< < p
r
son primos. Esta representacin es nica, a la cual se llamar la factorizacin cannica de n..
Primos y factorizacin nica 11
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
. Pero luego n
y n
son menores que n y por tanto se pueden descomponer como n
= q
1
1
q
s
s
y
n
= q
1
1
q
t
t
donde algunos de los exponentes pueden ser 0. Se sigue que
n = n
= n
= q
1
+
1
1
q
2
+
2
2
,
lo que contradice la suposicin de que n no se poda descomponer en primos.
Para demostrar la unicidad de la descomposicin, se argir por induccin. Supngase que todo entero mayor
que 1 y menor que n puede descomponerse en primos de manera nica. Si
n = p
1
1
p
r
r
= q
1
1
q
s
s
,
en donde p
1
< p
2
< < p
r
y q
1
< q
2
< < q
r
. Entonces por el Lema de Euclides (Lema 56) p
1
debe dividir a
exactamente una a de las qs y q
1
debe dividir a exactamente una de las ps. Pero esto fuerza p
1
= q
1
. Luego al
dividir por p
1
uno y otro lado se obtiene se obtiene
n
p
1
= p
1
1
1
p
r
r
= p
1
1
1
q
2
2
q
s
s
.
Por la hiptesis de induccin
n
p
1
se descompone en primos de manera nica, luego r = s, p
i
= q
i
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. u
58 Teorema (Euclides-Innitud de los primos) El conjunto P de los primos es inagotable. An ms, si p
1
= 2, p
2
= 3, . . . y
en general p
k
es el k-simo primo, entonces
p
k+1
p
1
p
k
+1.
Demostracin: Considrese el entero n = p
1
p
k
+1. Por el Teorema fundamental de la aritmtica (Teorema
57) o bien n = p
1
p
k
+1 es primo, o puede descomponerse como un producto de primos, lo que demuestra la
existencia de una lista de primos dividiendo a n, lista que se llamar P. Ahora bien, al dividir n por los primos
de la lista P
= {p
1
, p
2
, . . . , p
k
}, n deja residuo 1. De aqu se inere que PP
= y luego a cualquier lista

nita de primos puede agregrsele un primo ms, de donde ninguna lista nita de primos es exhaustiva. El primo
mnimo p diviendo a n debe ser mayor que p
k
y se tiene p n en virtud del Teorema 18. Es claro que p
k+1
p.
u
La sucesin de los primos comienza pues as
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, . . .
59 Denicin Un mltiplo comn de dos enteros a, b es un entero no negativo que es divisible por ambos a y b. Si m es
mltiplo comn de a, b y si mdivide a todo otro mltiplo comn, entonces mes el mnimo comn mltiplo, de a, b, al que se
denotar por mcm(a, b).
60 Teorema Sean n = q
1
1
q
s
s
y n
= q
1
1
q
t
t
donde algunos de los exponentes pueden ser 0. Entonces
MCD

n, n
= q
mn(
1
,
1
)
1
q
mn(
2
,
2
)
2
(2.3)
y
mcm

n, n
= q
m ax(
1
,
1
)
1
q
m ax(
2
,
2
)
2
. (2.4)
An ms:
nn
= MCD

n, n
mcm

n, n
. (2.5)
y si k es un entero positivo entonces
MCD(a, b)
k
= MCD
_
a
k
, b
k
_
, mcm(a, b)
k
= mcm
_
a
k
, b
k
_
. (2.6)
12 Chapitre 2
Demostracin: Las dos primeras aserciones son evidentes gracias al Teorema fundamental de la aritmtica
(Teorema 57). Para la tercera asercin basta notar que
mn(, ) +m ax(, ) = +.
La cuarta se deriva de las primeras dos. u
61 Ejemplo Demustrese que
2 es irracional.
Resolucin: Supngase a miras de contradiccin que
2 = a/b con enteros positivos a, b relativamente primos. Entonces

2b
2
= a
2
. 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 57). Contrstese este mtodo con el del ejemplo 3.
62 Ejemplo Demustrese que dados cualesquiera 33 enteros diferentes con todos sus factores primos en 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
5
a
7
b
11
c
13
d
23
f
.
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 = 2
5
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.
Tarea
63 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.
64 Problema Tmese 51 enteros cualesquiera del conjunto
{1, 2, . . . , 100}.
Demustrese que siempre habr dos, uno dividiendo al otro.
65 Problema Demustrese que si el polinomio
p(x) = a
0
x
n
+a
1
x
n1
+ +a
n1
x+a
n
con coecientes ntegros alcanza el valor de 7 para cuatro valores ntegros de x entonces no puede tomar el valor de 14 para
ningn valor ntegro de la variable x.
66 Problema Comprubese que m
5
+3m
4
n5m
3
n
2
15m
2
n
3
+4mn
4
+12n
5
nunca ser igual a 33.
67 Problema Demustrese que la suma
S = 1/2+1/3+1/4+ +1/n
jams es ntegra.
68 Problema Demustrese que existe un entero nico n para el cual 2
8
+2
11
+2
n
es un cuadrado perfecto.
Algoritmo de Euclides y ecuaciones diofnticas lineales 13
2.4. Algoritmo de Euclides y ecuaciones diofnticas lineales
Se dar ahora un procedimiento ecaz para hallar soluciones x, ya 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 = bq
1
+r
2
, 0 < r
2
< b,
b = r
2
q
2
+r
3
0 < r
3
< r
2
,
r
2
= r
3
q
3
+r
4
0 < r
4
< r
3
,
.
.
.
.
.
.
.
.
.
.
.
.
r
n2
= r
n1
q
n1
+r
n
0 < r
n
< r
n1
,
r
n1
= r
n
q
n
.
(2.7)
La sucesin de residuos eventualmente llegar a un r
n+1
que ser 0 ya que la sucesin b, r
2
, r
3
, . . . es una sucesin de enteros
montona decreciente la cual no puede tener ms de b trminos estrictamente positivos.
69 Lema Si b = 0, a = qb+r entonces MCD(a, b) = MCD(b, r).
Demostracin: Pngase d= MCD(a, b), c = MCD(b, r). Como d
a y d
b, se sigue que d
(aqb) = r. As
pues d es un divisor comn de r y b. Esto implica que d
c. Por otra parte, c
r y c
b implican que c
(qb+r) = a.
Luego c es un divisor comn de a y b de donde c
d, lo que acaba la demostracin. u

70 Teorema Si r
n
es el ltimo residuo diferente de 0 encontrado en el algoritmo de Euclides, entonces
r
n
= MCD(a, b).
Demostracin: Aplicando el Lema 69 varias veces se ve que
MCD(a, b) = MCD(b, r
2
)
= MCD(r
2
, r
3
)
=
.
.
.
= MCD(r
n1
, r
n
)
= r
n
.
u
De las ecuaciones en 2.7 se ve que
r
2
= abq
1
r
3
= br
2
q
2
r
4
= r
2
r
3
q
3
.
.
.
.
.
.
.
.
.
r
n
= r
n2
r
n1
q
n1
,
luego es posible expresar MCD(a, b) como una combinacin lineal de a y b trazando estas igualdades en
reversa.
71 Teorema Sean a, b, c son enteros tales que (a, b)|c. Dada una solucin (x
0
, y
0
) de la ecuacin diofntica lineal
ax+by = c,
cualquier otra solucin es de la forma
x = x
0
+t
b
d
, y = y
0
t
a
d
,
en donde d = (a, b) y t Z.
14 Chapitre 2
Demostracin: Es inmediato que si (x
0
, y
0
) es una solucin de ax +by = c, entonces x = x
0
+tb/d, y =
y
0
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 ax
0
+by
0
= c entonces
a(x
x
0
) = b(y
0
y
).
Dividiendo por d = (a, b),
a
d
(x
x
0
) =
b
d
(y
0
y
).
Como (a/d, b/d) = 1, se sigue que
a
d
|(y
0
y
), por virtud del Lema de Euclides. As pues existe un entero t

tal que t
a
d
= y
0
y
, sto es, y = y
0
ta/d. Se colige entonces que
a
d
(x
x
0
) =
b
d
t
a
d
,
which is to say x
= x
0
+tb/d, demostrando el teorema. u
72 Ejemplo Hllese MCD(23, 29) mediante el algoritmo de Euclides y Encuntrese soluciones enteras para la ecuacin
23x+29y= 1.
Resolucin: Se tiene
29 = 1 23+6,
23 = 3 6+5,
6 = 1 5+1,
5 = 5 1.
El ltimo residuo no nulo es el 1 de donde MCD(23, 29) = 1.
Ahora bien,
1 = 61 5,
5 = 233 6,
6 = 29 123.
Luego,
1 = 61 5
= 61 (233 6)
= 4 61 23
= 4(29 123) 1 23
= 4 295 23.
Esto resuelve la ecuacin con x = 5, y = 4.
73 Ejemplo Encuntrese un nmero innito de soluciones para 23x+29y= 1.
Resolucin: Gracias al ejemplo 72 se tiene que el par x
0
= 5, y
0
= 4 es una solucin. Se puede encontrar una familia innita
de soluciones en poniendo
x = 5+29t, y = 423t, t Z.
74 Ejemplo Hllese soluciones enteras para la ecuacin 23x+29y= 7.
Resolucin: Del ejemplo 72 se tiene 23(5) +29(4) = 1. Multiplicando uno y otro lado por 7,
23(35) +29(28) = 7,
lo que resuelve el problema.
Tarea 15
Tarea
Chapitre 3
Funciones aritmticas
3.1. Funciones multiplicativas
75 Denicin (Funcin aritmtica) Llmase funcin aritmtica a una funcin f : N\{0} C. f es multiplicativa si MCD(m, n) =
1 = f(mn) = f(n)f(n). f es completamente multiplicativa si f(mn) = f(n)f(n) para todos los enteros positivos m y n.
Toda funcin completamente multiplicativa es, a fortiori, multiplicativa. Una funcin multiplicativa est
completamente determinada por sus valores en las potencias de los primos. As, si n = p
1
1
p
r
r
entonces
f(n) = f(p
1
1
) f(p
r
r
). Adems f(1 1) = f(1)f(1) = (f(1))
2
. Luego, o bien f(1) = 1 o bien f(1) = 0. Este
ltimo caso hace que la funcin sea idnticamente 0 por lo cual no se considerar. Por tanto, se tendr por
convencin que para toda funcin multiplicativa f, f(1) = 1.
76 Teorema Sea n > 0 un entero y f, g funciones con
g(n) =
n
f(d).
Si f es multiplicativa, tambin lo es g.
Demostracin: Tmese adems n
> 0 entero, con MCD

n, n
= 1. Todo d
nn
puede descomponerse en d =
d
1
d
2
, d
1
n, d
2
, de donde MCD(d
1
, d
2
) = 1. Luego
g(nn
) =
nn
f(d)
=
d
1
n, d
2
f(d
1
d
2
)
=
d
1
n, d
2
f(d
1
)(d
2
)
=
_
d
1
n
f(d
1
)
__

d
2
f(d
2
)
_
,
16
Funciones multiplicativas 17
demostrando la asercin.
u
77 Denicin (Funcin nmero de divisores) La funcin
d :
N\{0} N\{0}
n
n
1
cuenta el nmero de divisores positivos de un entero positivo n.
78 Teorema La funcin
d :
N\{0} N\{0}
n
n
1
es multiplicativa, y si n = p
1
1
p
r
r
es la descomposicin cannica en primos de n, entonces
d(n) = (
1
+1) (
r
+1).
Demostracin: Ya que la funcin d 1 es completamente multiplicativa es, a fortiori, multiplicativa. Luego
d(n) =
n
1 es multiplicativa en virtud del Teorema 76. Si p es primo, p
tiene +1 divisores: 1, p, p
2
, . . . , p
.
As d(p
) = +1 y
d(n) = d(p
1
1
) d(p
r
r
) = (
1
+1) (
r
+1).
u
79 Ejemplo (El problema de los casilleros) La guardarropa de un gimnasio tiene 100 casilleros y 100 usuarios. Al princi-
pio, 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 aparear con
n
d
, y as, n tendr un nmero impar de factores si y slo si se tiene d =
n
d
, esto
es, si n es un cuadrado perfecto.
80 Denicin (Funcin suma de divisores) La funcin
:
N\{0} N\{0}
n
n
d
suma los divisores positivos de un entero positivo n.
18 Chapitre 3
81 Teorema La funcin
:
N\{0} N\{0}
n
n
d
es multiplicativa y si n = p
1
1
p
r
r
(n) =
p
1
+1
1
1
p
1
1

p
r
+1
r
1
p
r
1
.
Demostracin: Ya que la funcin d d es completamente multiplicativa es, a fortiori, multiplicativa. Luego
(n) =
n
d es multiplicativa en virtud del Teorema 76. Si p es primo, p
tiene por suma de divisores la suma

geomtrica
(p
) = 1+p+p
2
+ +p
=
p
+1
1
p1
.
Luego
(n) = (p
1
1
) (p
r
r
) =
p
1
+1
1
1
p
1
1

p
r
+1
r
1
p
r
1
.
u
82 Denicin Dado n = p
1
1
p
r
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.
83 Denicin (Funcin de Mbius) Sean p, p
1
, . . . , p
r
primos distintos y
n > 0 entero. La funcin
:
N\{0} {1, 0, 1}
n (n)
se dene como sigue:
(n) =
_
_
_
1 si n = 1
(1)
(n)
si (n) = (n)
0 si (n) > (n)
84 Teorema La funcin de Mbius es multiplicativa.
Demostracin: Sea n = ab, con MCD(a, b) = 1. Si p P y p
2
n entonces p
2
debe dividir o bien a a o bien
a b. En todo caso (n) = (a)(b) = 0. Si a = p
1
p
r
, b = q
1
q
s
donde todas las ps y qs son diferentes,
entonces
(n) = (1)
r+s
= (1)
r
(1)
s
= (a)(b),
de donde es multiplicativa. u
Funciones multiplicativas 19
85 Teorema Si n > 0 es un entero,
n
(d) =
_
1 si n = 1
0 si n > 1
Demostracin: Pngase
A=
n : (d) = k, p
2
d, p P
.
Entonces #(A) =
_
n
k
_
y si d Ase tiene (d) = (1)
k
. La suma requerida es
n
(d) =
(n)
k=0
_
(n)
k
_
(1)
k
.
En virtud del Teorema del binomio, (11)
(n)
= 0. u
86 Teorema (Frmula de inversin de Mbius) Sean f y F funciones aritmticas, en donde F(n) =
n
f(d). Luego
f(n) =
n
(d)F(n/d) =
n
(n/d)F(d).
Recprocamente, si f(n) =
n
(d)F(n/d) para todo entero n > 0, entonces F(n) =
n
f(d).
Demostracin: Se tiene
n
(d)F(n/d) =
n
d
f(s)
=
ds
n
(d)f(s)
=
n
f(s)
n
s
(d).
Gracias al Teorema 85, la suma interna es diferente de 0 slo cuando
n
s
= 1. As, el nico trmino que sobrevive
en la suma externa el de s = n, que simplica a f(n).
20 Chapitre 3
Recprocamente, si
n
f(d) =
d
(s)F(d/s)
=
d
(d/s)F(s)
=
n
s
(r)F(s)
=
n
F(s)
n
s
(r).
Utilizando el Teorema 85, la suma interna ser 0 a menos que s = n, en cuyo caso la suma simplica a F(n). u
87 Denicin (Funcin indicatriz de Euler) La funcin
:
N\{0} N\{0}
n (n)
cuenta el nmero de enteros entre 1 y n que son relativamente primos a n:
(n) = #(k : 1 k n, MCD(k, n) = 1}.
88 Teorema Sea n 1 entero. Entonces
n
(d) = n.
Demostracin: Para cada divisor d de n, sea T
d
(n) el conjunto de enteros positivos n cuyo mximo comn di-
visor con nes d. Tanto d vara sobre los divisores de n, los conjuntos T
d
(n) forman una particin de {1, 2, . . . , n}
y por lo tanto
n
T
d
(n) = n.
Se demostrar de inmediato que T
d
(n) posee (n/d) elementos. Obsrvese que los elementos de T
d
(n) yacen
en el conjunto d, 2d, . . .
n
d
d. Si k T
d
(n), entonces k = ad, 1 a n/d y MCD(k, n) = d. Pero entonces
MCD
_
k
d
,
n
d
_
= 1, lo que implica que MCD
a,
n
d
= 1. Se deduce que contar los elementos de T

d
(n) es equiv-
alente a contar el nmero de enteros a que satisface 1 a n/d, MCD
a,
n
d
= 1. Pero el nmero de estos

enteros es precisamente (n/d). Colegimos que
n =
n
(n/d).
Pero en tanto d vara sobre los divisores de n,
n
d
vara en reverso. As pues n =
n
(n/d) =
n
(d), lo que
demuestra el teorema.u
Tarea 21
89 Corolario Si n 1 es un entero,
(n) = n
n
(d)
d
.
Demostracin: Esto se deduce de inmediato en combinando el Teorema de inversin de Mbius (Teorema 86) y
el Teorema 88. u
90 Corolario La funcin
:
N\{0} N\{0}
n (n)
es multiplicativa y si n = p
1
1
p
r
r
(n) =
n
(p
p
1
) = n
n
_
1
1
p
_
.
Demostracin: Combnese el Corolario 89 con el Teorema 76 para demostrar que es multiplicativa. Por otra
parte, si p es primo, hay p
1
enteros positivos p
que tienen un factor comn con p: 1p, 2p, 3p, . . . , p

1
p.
Por lo tanto (p
) = p
p
1
de donde resulta la segunda aseveracin. u
Tarea
91 Problema Demustrese que si n es compuesto entonces (n) n
n. Cuando se vericar la igualdad?

92 Problema (AIME, 1992) Encuntrese la suma de todos los nmeros racionales positivos que sean menores que 10 y tengan
denominador 30 cuando se escriban en trminos mnimos..
93 Problema Demustrese que (n) n2
(n)
.
94 Problema Demustrese que (n) >
n para n > 6.
95 Problema Demustrese que si (n)
n, entonces n debe de ser de la forma 2

a
3
b
para enteros no negativos a, b.
n1, entonces n no es divisible por ningn cuadrado mayor que 1.

97 Problema (Mandelbrot 1994) Cuatrocientas personas se colocan alrededor de un crculo. Se marca a una persona, se per-
dona 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?
n1 y n es compuesto, entonces n tiene al menos tres factores primos distintos.

n1 y n es compuesto, entonces n tiene al menos cuatro factores primos distintos.

100 Problema Descrbase todos los enteros positivos n para los cuales d(n) = 10.
22 Chapitre 3
d(2
n
1) d(n).
102 Problema Demustrese que d(n)
3n vericndose la igualdad si y slo si n = 12.

103 Problema Demustrese que se cumple la expansin
n=1
d(n)t
n
=
n=1
t
n
1t
n
,
llamada expansin de Lambert.
104 Problema Pngase d
1
(n) = d(n), d
k
(n) = d(d
k1
(n)), k = 2, 3, . . .. Descrbase d
k
(n) para k lo sucientemente
grande.
105 Problema Dado m N, demustrese que el conjunto
A = {n N : m
d(n)}
posee una progresin aritmtica innita.
106 Problema Sea n un nmero perfecto. Demustrese que
n
1
d
= 2.
n
d = n
d(n)/2
.
108 Problema (AIME 1995) Sea n = 2
31
3
19
. Cuntos divisores positivos de n
2
son menores que n pero no dividen a n?
109 Problema Demustrese que si n es compuesto, entonces (n) > n+
n.
110 Problema Demustrese que la ecuacin (n) = n+k, donde k > 1 es un nmero natural jo, posee un nmero nito de
soluciones.
111 Problema Caractercese todos los enteros positivos n para los cuales (n) es impar.
112 Problema Demustrese que p es primo si y solamente si (p) = 1+p.
(n!)
n!
1+
1
2
+ +
1
n
.
114 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.
La funcin parte entera 23
115 Problema Demustrese que si n es un nmero perfecto impar, entonces solamente uno de sus factores primos ocurre con
potencia par.
n
k=1
(k) =
n
j=1
j
n
j
.
117 Problema Hllese todos los conjuntos de enteros positivos {a, b, c} tales que abc = 462.
3.2. La funcin parte entera
118 Denicin Sea x R. Llmase suelo de x (o funcin mayor entero de x) al nico entero x que satisface
x1 < x x.
Ntese que cada x R puede escribirse como x = x+{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 x que satisface
x x < x+1
119 Teorema Sean (, ) R
2
, a Z, n N\{0}. Entonces
1. +a = +a
2.
n
=
n

3. + + ++1
Demostracin: Se demostrar cada inciso individualmente.
1. Sea m = +a. Entonces m +a < m+1. De aqu ma < ma+1. Esto signica que
ma = , completando la demostracin de este inciso.
2. Pngase /n = /n+, 0 < 1. Como n/n es un entero, se deduce del inciso 1 que
= n/n+n = n/n+n.
Ahora bien, 0 n n < n, y por lo tanto, 0 n/n < 1. Si = n/n, entonces se obtiene
n
=
n
+, 0 < 1,
demostrando este inciso.
3. De las desigualdades
1 < , 1 <
se obtiene +2 < + +. Ya que + es un entero +, entonces ser
+. De aqu se colige que + +. Adems + es ++2, de donde
su parte ntegra + deber ser ++2, pero como + < ++2 entonces se
tiene + ++1, demostrando las desigualdades.
u
24 Chapitre 3
120 Teorema (Formula de De Polignac) La mxima potencia del primo p que divide a n! est dada por
k=1
n
p
k
.
Demostracin: El nmero de factores contribuyendo un factor de p es n/p, el nmero de factores con-
tribuyendo un segundo factor de p es n/p
2
, etc..u
121 Teorema Si a, b son relativamente primos, entonces
a1
k=1
kb
a
=
b1
k=1
ka
b
=
(a1)(b1)
2
.
Demostracin: Considrese el rectngulo con vrtices en (0, 0), (0, b), (a, 0), (a, b). Este rectngulo contiene
(a1)(b1) puntos cuyas coordenadas son ambas enteras. El rectngulo se divide en dos partes gracias a la
recta y=
xb
a
. Se demostrar que no hay puntos de coordenadas ambas enteras sobre esta recta, a excepcin de los
extremos. Si hubiese puntos de coordenadas enteras (m, n), 0 < m< a, 0 < n < b, entonces
n
m
=
b
a
. Luego n/m
es una fraccin reducida de la fraccin irreducible b/a, contradiccin. Los puntos L
k
= (k,
kb
a
), 1 k a1
estn sobre esta recta. Ahora bien,
kb
a
es el nmero de puntos de coordenadas enteras sobre la recta vertical
que va desde (k, 0) hasta (k,
kb
a
), esto es,
a1
k=1
kb
a
, que es el nmero de puntos con coordenadas enteras en la
parte inferior del rectngulo. De igual manera,
b1
k=1
ka
b
cuenta el nmero de puntos con coordenadas enteras en
la parte superior del rectngulo. Como hay (a1)(b1) puntos de coordenadas enteras en total, y su nmero
es compartido de manera igual por ambas partes, queda demostrado el teorema. u
122 Denicin Llmase espectro de un nmero real a la sucesin innita
Esp() = {, 2, 3, . . .}.
Dos sucesiones Esp() y Esp() se dicen complementarias si hacen una particin de los nmeros naturales no nulos, esto es,
Esp() Esp() = y Esp() Esp() = N.
Demostrarase ms adelante que las sucesiones
Esp
_
2
_
= {1, 2, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 18, 19, 21, 22, 24, 25, . . .},
y
Esp
_
2+
2
_
= {3, 6, 10, 13, 17, 20, 23, 27, 30, 34, 37, 40, 44, 47, 51, . . .}
son complementarias.
123 Teorema (Teorema de Beatty, 1926) Si > 1 es irracional y
1
+
1
= 1,
entonces las sucesiones
Esp() yEsp()
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 N/+N/. Pero
N/1+N/1 < N/+N/ < N/+N/,
siendo la ltima desigualdad estricta ya que ambos , son irracionales. Como 1/+1/ = 1, se deduce que
N2 < N/+N/ < N. Como la cantidad emparedada es entera, se deduce que
N/+N/ = N1.
As, la cantidad total de trminos que no exceden a N en Esp() y Esp() es N1. Como esto es cierto para
cada N1, cada intervalo (n, n+1) contiene exactamente uno de los trminos de Esp() y Esp(). Se sigue
que Esp() Esp() = N, Esp() Esp() = .
u
Se observa tambin un resultado en la direccin opuesta.
124 Teorema (Teorema de Bang, 1957) Si las sucesiones
Spec() y Spec()
son complementarias, entonces , son nmeros irracionales positivos que satisfacen
1
+
1
= 1.
Demostracin: Si ambos , fueren nmeros racionales, entonces eventualmente Spec(), Spec() con-
tendran los mismos enteros, y por lo tanto no seran disjuntas. As pues, y son irracionales. Si 0 < 1,
dado n entonces existe m para el cual m1 < n m; luego n = m, lo que implica que Spec() = N,
de donde > 1 (y con esto tambin > 1). Si la interseccin Spec() Spec() fuese nita, entonces
lm
n
n/+n/
n
= 1,
pero entonces (n/+n/)
1
n
1/+1/ ya que n , se colige que 1/+1/= 1. u
125 Ejemplo Hllese un polinomio no idnticamente nulo P(x, y) tal que para todo nmero real t se tenga P(2t, 3t) = 0.
Resolucin: Comprobarase que 32t23t = 0, 1 o 2. Luego entonces se podr elegir
P(x, y) = (3x2y)(3x2y1)(3x2y+1)(3x2y+2).
Para vericar la asercin, obsrvese que como x tiene perodo unitario, es suciente comprobar la asercin para t [0; 1[.
Divdase [0; 1[ as
[0; 1[= [0; 1/3[[1/3; 1/2[[1/2; 2/3[[2/3; 1[.
Si t [0; 1/3[, entonces tanto 2t como 3t son = 0, y as 32t23t = 0. Si t [1/3; 1/2[ entonces 3t = 1 y
2t = 0, y as 32t23t = 2. Si t [1/2; 2/3[, luego 2t = 1, 3t = 1, dando 32t23t = 1. Si t [2/3; 1[,
se tendr 2t = 1, 3t = 2, y 32t23t = 1.
126 Ejemplo Descrbase todos los enteros positivos n para los cuales 1+
2n
2n.
26 Chapitre 3
Resolucin: Sea 2n = m(1+
2n). Si m
2n1 entonces 2n (
2n1)(
2n+1) =
2n
2
1
2n1 < 2n, contradiccin. Si m
2n+1, entonces 2n (
2n
2
+1)
2
2n+1, otra contradiccin. Por lo tanto
se debe tener m=
2n.
Recprocamente, sea n =
l(l +1)
2
. Ya que l <
2n < l +1, se tiene l =
2n. Luego todos los enteros con la propiedad

deseada son nmeros triangulares.
127 Ejemplo Demustrese que la sucesin de enteros
_
1+
2
_
n
donde n es un entero no negativo, es alternadamente par e impar.

Resolucin: En virtud del teorema del binomio,
(1+
2)
n
+ (1
2)
n
= 2
0kn/2
(2)
k
_
n
2k
_
:= 2N,
un nmero par. Como 1 < 1
2 < 0, entonces (1
2)
n
es la parte fraccionaria de (1 +
2)
n
o de (1 +
2)
n
+1
dependiendo de la paridad de n. Para n impar,
(1+
2)
n
1 < (1+
2)
n
+ (1
2)
n
< (1+
2)
n
,
de donde (1 +
2)
n
+ (1
2)
n
= (1 +
2)
n
, que es siempre par, y para n par 2N := (1 +
2)
n
+ (1
2)
n
=
(1+
2)
n
+1, y as (1+
2)
n
= 2N1, es siempre impar para n par.
128 Ejemplo Demustrese que los primeros mil dgitos de
(6+
35)
1980
luego del punto decimal son todos 9s.
Resolucin: Gracias al ejemplo 127,
(6+
35)
1980
+ (6
35)
1980
= 2k,
es un entero par. Ahora bien, 0 < 6
35 < 1/10 (si no

1
10
< 6
35, y al cuadrar 3500 < 3481, contradiccin) y luego

0 < (6
35)
1980
< 10
1980
. Se deduce que
2k1+ 0,9. . . 9
. .
1979 nines
= 2k
1
10
1980
< (6+
35)
1980
< 2k,
demostrando la asercin.
129 Ejemplo (Putnam 1948) Si n es un entero positivo, demustrese que
n+
n+1 =
4n+2.
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
4n+2 =
4n+3,
de donde se colige el resultado.
130 Ejemplo Hllese una frmula para el ensimo entero positivo no cuadrado.
Resolucin: Sea T
n
el ensimo entero positivo no cuadrado. Luego, existe un nmero entero positivo m tal que m
2
< T
n
<
(m+1)
2
. Ya que hay m cuadrados menores que T
n
se tiene que T
n
= n+m. Entonces se ve que
m
2
< n+m< (m+1)
2
o sea
m
2
m< n < m
2
+m+1.
Como n, m
2
m, m
2
+m+1 son todos enteros, las desigualdades anteriores implican que
m
2
m+
1
4
< n < m
2
+m+
1
4
,
esto es, (m1/2)
2
< n < (m+1/2)
2
. Pero entonces m =
n+
1
2
. Luego el ensimo entero positivo no cuadrado es
T
n
= n+
n+1/2.
131 Ejemplo (Putnam 1983) Sea f(n) = n+
n. 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= k
2
+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.
Obsrvese que k
2
m< (k+1)
2
= k
2
+2k+1. Si j = 0, no hay nada que demostrar. Supngase primero que m B.
Como
m = k, se tiene f(m) = k
2
+j +k = (k+1)
2
+j k1, con 0 j k1 k1 < 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
m+k = k y
f(f(m)) = f(m+k) = m+2k = (k+1)
2
+j 1.
Esto signica 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.
132 Ejemplo Resulvase la ecuacin
x
2
x2 = x,
para x R.
Resolucin: Obsrvese que a = b si y slo si k Z with a, b [k, k+1), lo que sucede si y slo si
ab
< 1. Luego,
la ecuacin dada tendr solucin si y solamente si
x
2
2x2
< 1, de donde el conjunto solucin es

_
x R : x ] 1 :
1
2
(1
5)] [
1
2
(1+
17),
1
2
(1+
21)[
_
.
133 Ejemplo Encuntrese la parte entera
10
6
k=1
1
k
.
Resolucin: La funcin x x
1/2
es decreciente. Luego, para todo entero positivo k,
1
k+1
<
_
k+1
k
dx
x
<
1
k
.
28 Chapitre 3
Sumando de k = 1 hasta k = 10
6
1 se deduce que
10
6
k=2
1
k
<
_
10
6
1
dx
x
<
10
6
1
k=1
1
k
.
Se verica fcilmente que la integral es 1998. Luego
1998+1/10
3
<
10
6
k=1
1
k
< 1999.
La parte entera es as 1998.
134 Ejemplo En cuntos ceros termina 300!?
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
k=1
300/5
k
= 60+12+2 = 74.
135 Ejemplo Divide 7 a
_
1000
500
_
?
Resolucin: La potencia mayor de 7 que divide a 1000! is 1000/7+1000/7
2
+1000/7
3
= 142+20+2 = 164,
gracias a la frmula de De Polignac (teorema 120). De manera semejante, la potencia mayor de 7 que divide a 500! is 71+
10 +1 = 82. Ya que
_
1000
500
_
=
1000!
(500!)
2
, la potencia mayor de 7 que divide a
_
1000
500
_
es 164 2 82 = 0, de donde se
colige que el 7 no divide a
_
1000
500
_
.
136 Ejemplo Sea n = n
1
+n
2
+ +n
k
donde los n
i
son enteros no negativos. Demustrese que la cantidad
n!
n
1
!n
2
! n
k
!
es entera.
Resolucin: Por 3 del teorema 119 se deduce mediante induccin que
a
1
+a
2
+ +a
l
a
1
+a
2
+ +a
l
.
Por la frmula de De Polignac (teorema 120) la potencia de un primo p que divide a n!
j1
n/p
j
=
j1
(n
1
+n
2
+ +n
k
)/p
j
.
Luego la potencia de p que divide a n
1
!n
2
! n
k
! es
j1
n
1
/p
j
+n
2
/p
j
+ n
k
/p
j
.
Ya que
n
1
/p
j
+n
2
/p
j
+ + +n
k
/p
j
(n
1
+n
2
+ +n
k
)/p
j
,
Tarea 29
se colige que la potencia de cualquier primo que divida al numerador de
n!
n
1
!n
2
! n
k
!
es al menos tan grande como la potencia del mismo primo que divida al denominador. Esto demuestra la asercin.
137 Ejemplo Dado un entero n > 3, demustrese que el mnimo comn mltiplo de los productos, x
1
x
2
x
k
(k 1), cuyos
factores x
i
son enteros positivos satisfaciendo
x
1
+x
2
+ x
k
n,
es menor que n!.
Resolucin: Se demostrar que el mnimo comn mltiplo en cuestin es
p
p primo
p
n/p
.
Considrese un producto arbitrario x
1
x
2
x
k
, y un primo arbitrario p. Supngase que p
j
divide a x
j
pero que p
j
+1
no
divide a x
j
. Claramente, p
1
+ +p
k
n y como p
p, se tiene
p(
1
+
k
) n o
1
+ +
k

n
p
.
Luego, se sigue que el exponente de un primo arbitrario dividiendo el mnimo comn mltiplo p es a lo sumo p/n. Pero en
tomando x
1
= = x
k
= p, k = n/p, se observa que para al menos un producto se consigue la igualdad. Esto demuestra la
asercin.
138 Ejemplo Supngase que se criba los enteros positivos de la manera siguiente: se toma a
1
= 1 y se deja a
1
+1 = 2. El
prximo trmino es 3, al que se llamar a
2
y tomar, y luego se dejar a
2
+2 = 5. El prximo entero disponible es 4 = a
3
, y
luego se dejar a
3
+3 = 7, etc. As se tomar los enteros 1, 3, 4, 6, 8, 9, 11, 12, 14, 16, 17, . . . . Encuntrese una frmula para
a
n
.
Resolucin: Se pide una sucesin {S
n
} complementaria a {S
n
+n}. Por el teorema de Beatty (teorema 123), n y n+
n = n( +1) son complementarias si 1/ +1/( +1) = 1. Pero luego = (1 +
5)/2, la razn dorada. El ensimo

trmino es pues a
n
= n.
Tarea
Chapitre 4
Congruencias
4.1. Congruencias
139 Denicin (Congruencias) Sean n 1, a, b enteros. Dcese que a b mod n (lase a es congruente a b mdulo
n) si a y b dejan el mismo residuo al ser divididos por n, o, equivalentemente, si n
(ab).
140 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.
Demostracin: Se tiene n
(ab) y n
(cd). Luego hay enteros u, v con nu = ab y nv = cd. As

(a+c) (b+d) = n(u+v) = n
((a+c) (b+d))
= a+c b+d mod n,
y adems
acbd = a(d+nv)
d(anu) = n(av+du) = n
(acbd)
= ac bd mod n,
de donde se obtiene el teorema. u
141 Corolario Si j 1 es entero y si a b mod n entonces a
j
b
j
mod n.
Demostracin: Basta utilizar induccin en el segundo inciso del Teorema 140, poniendo c = a
j1
y d = b
j1
.
u
142 Corolario Si
p(x) =
0
+
1
x+ +
n
x
n
es polinomio cuyos coecientes son todos enteros y si a b mod n entonces p(a) p(b) mod n.
Demostracin: Utilcese el Corolario 141 para demostrar que
i
a
i
i
b
i
mod n y smese cada trmino. u
30
Congruencias 31
143 Teorema Sean a, b, n enteros. Si la congruencia ax b mod n posee al menos una solucin, entonces tiene exacta-
mente (a, n) soluciones incongruentes mod n.
Demostracin: Del teorema 71, todas las soluciones de la ecuacin diofntica ax +ny = b son de la forma
x = x
0
+nt/d, y = y
0
at/d, d = (a, n), t Z, en donde x
0
, y
0
satisfacen ax
0
+ny = b. Dejando que t
corra por los valores t = 0, 1, . . . ((a, n) 1), se obtiene (a, n) soluciones que son mutuamente incongruentes,
ya que el valor absoluto de la differencia de cualesquiera dos de ellas es menor que n. Si x = x
0
+nt
/d es
cualquier otra solucin, se escribe t
como t
= qd+r, 0 r < d. Entonces

x = x
0
+n(qd+r)/d
= x
0
+nq+nr/d
x
0
+nr/d mod n.
Luego, toda solucin de la congruencia ax b mod n es congruente mod n a uno y solamente uno de los
d valores x
0
+nt/d, 0 t d1. Quirese decir que si existiese una solucin de la congruencia, entonces
existirn d soluciones incongruentes mod n.u
144 Teorema Sean x, y enteros y sean a, n enteros diferentes de cero. Entonces
ax ay mod n
si y slo si
x y mod
n
(a, n)
.
Demostracin: Si ax ay mod n entonces a(xy) = sn para algn entero s. Esto implica que
(xy)
a
(a, n)
= s
n
(a, n)
.
Ya que (a/(a, n), n/(a, n)) = 1, se deduce que
n
(a, n)
|(xy),
gracias al lema de Euclides (lema 56). Esto implica que
x y mod
n
(a, n)
.
Recprocamente, si se tiene x y mod
n
(a, n)
entonces se tendr
ax ay mod
an
(a, n)
,
en multiplicando por a. Como (a, n) divide a a, la congruencia anterior implica, a fortiori que axay = tn
para algn entero t. Esto termina la demostracin.u
145 Corolario Si ax ay mod n y (a, n) = 1, entonces x y mod n.
146 Ejemplo Demustrese que 7 divide a 2222
5555
+5555
2222
utilizando congruencias. Esta pregunta se vi ya en el prob-
lema 39.
Resolucin: 2222 3 mod 7, 5555 4 mod 7 y 3
5
5 mod 7. Ahora bien, 2222
5555
+5555
2222
3
5555
+4
2222
(3
5
)
1111
+ (4
2
)
1111
5
1111
5
1111
0 mod 7, lo que demuestra la asercin.
32 Chapitre 4
147 Ejemplo Hallse el residuo cuando 6
1987
es dividido por 37.
Resolucin: 6
2
1 mod 37. As pues, 6
1987
6 6
1986
6(6
2
)
993
6(1)
993
6 31 mod 37.
148 Ejemplo Encuntrese todas las soluciones de 5x 3 mod 7
Resolucin: De acuerdo al teorema 143 existe una solucin nica a la congruencia mod 7 por ser (5, 7) = 1. Gracias al
algoritmo de Euclides,
7 = 5 1+2
5 = 2 2+1
2 = 2 1.
As,
1 = 52 2
2 = 75 1,
dando
1 = 52 2 = 52(75 1) = 5 37 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.
149 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 71, 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.
150 Ejemplo (USAMO, 1979) Determnese todas las soluciones no negativas
(n
1
, n
2
, . . . , n
14
)
de la ecuacin diofntica
n
4
1
+n
4
2
+ +n
4
14
= 1599
de haberlas.
Resolucin: No hay tales soluciones. Todas las cuartas potencias mod 16 son o bien 0 o bien 1 mod 16. Esto signica
que
n
4
1
+ +n
4
14
es a lo sumo 14 mod 16. Pero 1599 15 mod 16.
Tarea
151 Problema Hallse el ltimo dgito de 3
100
.
152 Problema Hallse el dgito de las unidades de 7
7
7
.
153 Problema Comprubese que 7 divide a 3
2n+1
+2
n+2
para todo nmero entero n > 0.
154 Problema (Olimpada polaca) Qu dgitos debe substituirse por a y b en 30a0b03 de tal manera que el entero resul-
tante sea divisible por 13 ?
Sistemas residuales completos y reducidos 33
155 Problema Comprubese que la ecuacin x
2
5y
2
= 2 no tiene soluciones enteras.
156 Problema Comprubese la siguiente observacin de Euler: 2
32
+1 es divisible por 641.
157 Problema Hallse un nmero innito de enteros n tal que 2
n
+27 sea divisible por 7.
158 Problema Existe acaso enteros positivos x, y tal que x
3
= 2
y
+15?
159 Problema Comprubese que 2
k
5, k = 0, 1, 2, . . . nunca deja residuo 1 cuando es dividido por 7.
4.2. Sistemas residuales completos y reducidos
160 Denicin Si a b mod n entonces b es llamado un residuo de a mdulo n. Un conjunto
{a
1
, a
2
, . . . a
n
}
es llamado un sistema completo de residuos mdulo n si para cada entero b existe exactamente uno ndice j para el cual ba
j
mod n. En particular, al conjunto {0, 1, . . . , n1} se le llama conjunto cannico de residuos mdulo n.
161 Denicin Sea n > 1. Los (n) enteros
1 = a
1
< a
2
< < a
(n)
= n1
menores que n y relativamente primos a n reciben el nombre de residuos cannicos reducidos mdulo n.
162 Denicin Sea n> 1 un entero. Un entero bes llamado inverso multiplicativo de un entero a mdulo nsi ab1 mod n.
163 Teorema Si existiese, el inverso multiplicativo x de un entero a mdulo el entero n > 1, es nico.
Demostracin: Si x, y fuesen inversos de a mod n entonces ax 1 mod n y tambin ay 1 mod n. Mul-
tiplicando por y la primera congruencia, se ve que (ya)x y mod n. As, x y mod n. u
164 Teorema Sean n > 1, a enteros. Entonces a posee un inverso mdulo n si y slo si a es relativamente 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 ab1 = sn, esto es, absn = 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.
u
165 Corolario Si n > 1 es entero, entonces existe solamente (n) enteros invertibles, mdulo n.
166 Teorema Si a es relativamente primo al entero positivo integer n, entonces existe un entero positivo k n tal que a
k
1
mod n.
Demostracin: Ya que (a, n) =1 se tiene (a
j
, n) =1 para toda j 1. Considrese la sucesin a, a
2
, a
3
, . . . , a
n+1
mod n. Como sta posee n+1 trminos y hay slo n residuos diferentes mdulo n, el principio de las pichoneras
34 Chapitre 4
de Dirichlet implica que dos de estas potencias estn en la misma clase residual mod n. sto es, se puede hallar
s, t con 1 s < t n+1 tal que a
s
a
t
mod n. Ahora bien, 1 ts n. Luego a
s
a
t
mod n resulta en
a
ts
a
s
a
ts
a
t
mod n, lo que quiere decir que a
t
a
ts
a
t
mod n. Utilizando el corolario 145 se deduce
que a
ts
1 mod n, lo que demuestra el resultado.u
Si (a, n) = 1, el teorema anterior dice que existe un entero positivo k con a
k
1 mod n. Por el axioma del buen orden,
existe un entero mnimo satisfaciendo esta congruencia, lo que sugiere la prxima denicin.
167 Denicin Si m es el entero positivo mnimo con a
m
1 mod n, entonces se side que a tiene orden m mod n.
168 Teorema Sea n > 1 un entero. Entonces a Z tiene un orden mod n si y solamente si (a, n) = 1.
Demostracin: Si (a, n) = 1, entonces a tiene un orden en virtud del teorema 166 y el axioma del buen orden.
Presmase pues que ahas an order mod n. Evidentemente a= 0. La existencia de un orden conlleva la existencia
de un entero positivo m tal que a
m
1 mod n. Luego, existe un entero s con a
m
+sn = 1, o sea, a a
m1
+
sn = 1. Esta es una combinacin lineal de a y de n por lo cual es divisible por (a, n). De aqu se deduce que
(a, n) = 1. u
169 Teorema Sea (a, n) = 1 y sea t un entero. Entonces a
t
1 mod n si y slo si ord
n
a|t.
Demostracin: Presmase que ord
n
a|t. Luego existe un entero s con sord
n
a = t, de donde se deduce
a
t
a
sord
n
a
(a
ord
n
a
)
s
1
s
1 mod n.
Recprocamente, presmase que a
t
1 mod n y que t = x ord
n
a+y, 0 y < ord
n
a. Entonces
a
y
a
txord
n
a
a
t
(a
ord
n
a
)
x
1 1
x
1 mod n.
Si y > 0 entonces se tendra un entero positivo menor que ord
n
a poseyendo la propiedad a
y
1 mod n, lo que
contradice la denicin de ord
n
a como el menor entero positivo con esta propiedad. As pues y = 0 y entonces
t = x ord
n
a, esto es, ord
n
a|t.
u
170 Teorema Sea n > 1, a Z, (a, n) = 1. Si r
1
, r
2
, . . . , r
(n)
es un sistema de residuos reducidos mdulo n, entonces
tambin ar
1
, ar
2
, . . . , ar
(n)
es un sistema de residuos reducidos mdulo n.
Demostracin: Se necesita demostrar que los (n) enteros ar
1
, ar
2
, . . . , ar
(n)
son mutuamente incongru-
entes mod n. Supngase que ar
i
ar
j
mod n para algn i = j. Como (a, n) = 1, se deduce del corolario
145 que r
i
r
j
mod n. sto contradice el hecho que las rs son incongruentes, con lo que queda demostrado el
teorema.u
171 Corolario Sea n > 1, a, b Z, (a, n) = 1. Si r
1
, r
2
, . . . , r
(n)
es un sistema de residuos reducidos mdulo n, entonces
ar
1
+b, ar
2
+b, . . . , ar
(n)
+b es tambin un sistema de residuos reducido mdulo n.
172 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.
173 Ejemplo Hllese el orden de 8 mod 11.
Tarea 35
Resolucin: Por el corolario ?? ord
11
8 es uno de entre 1, 2, 5 o 10. Ahora 8
2
2 mod 11, 8
4
4 mod 11 y 8
5
1
mod 11. El orden es pues ord
11
8 = 10.
174 Ejemplo (Putnam, 1956) Demustrese que todo entero positivo posee un mltiplo cuya expansin decimal involucra
todos los 10 dgitos.
Resolucin: Se n un entero positivo arbitrario con k dgitos, y sea m = 123456780 10
k+1
. Entonces los n consecutivos
m+1, m+2, . . . m+n comienzan en 1234567890, forman un sistema completo de residuos mdulo n y luego uno de ellos
es divisible por n.
Tarea
4.3. Teoremas de Fermat, Wilson y Euler
175 Teorema (Pequeo teorema de Fermat) Sea p un primo y a un entero tal que p |a. Entonces
a
p1
1 mod p.
Demostracin: Ya que (a, p) = 1, los enteros a 1, a 2, . . . , a (p1) tambin forman un sistema de residuos
reducido mod p en vista del corolario 171. Luego pues
(a 1)(a 2) (a (p1)) 1 2 (p1) mod p,
o sea,
a
p1
(p1)! (p1)! mod p.
Como ((p1)!, p) = 1, se puede cancelar las (p1)!s gracias al corolario 145. u
176 Corolario Para todo primo p y para todo entero a,
a
p
a mod p.
Demostracin: O bien p|a o p |a. Si p|a, entonces a 0 a
p
mod p y no hay nada que demostrar. Si p |a,
el pequeo teorema de Fermat dice que p|a
p1
1. As pues p|a(a
p1
1) = a
p
a, que da el resultado.u
177 Corolario Sea p un primo y a un entero. Si p |a entonces ord
p
a|p1.
Demostracin: El resultado se consigue de inmediato por el teorema 169 y el pequeo teorema de Fermat.u
178 Lema Si a
2
1 mod p, o bien a 1 mod p o bien a 1 mod p.
Demostracin: Se tiene p|a
2
1 = (a1)(a+1). Como p es primo, p debe dividir a al menos uno de estos
dos factores, lo que demuestra el lema.u
179 Teorema (Teorema de Wilson) Si p es primo, entonces (p1)! 1 mod p.
Demostracin: Si p=2 o p= 3, el resultado se deduce por vericacin directa. Presmase que p> 3. Considrese
a, 2 a p2. A cada a se le asocia su inverso nico a mod p, i.e. aa 1 mod p. Observse que a = a
porque si no, a
2
1 mod p violando el lema anterior, ya que a = 1, a = p1. En nultiplicando las as con
2 a p2, se aparean stas con sus inversos, y la contribucin neta de este producto es por lo tanto 1. En
smbolos,
2 3 (p2) 1 mod p.
36 Chapitre 4
En otras palabras,
(p1)! 1
_

2ap2
j
_
(p1) 1 1 (p1) 1 mod p.
Esto conlleva al resultado. u
180 Teorema (Teorema de Euler) Si (a, n) = 1, entonces a
(n)
1 mod n.
Demostracin: Sean a
1
, a
2
, . . . , a
(n)
los residuos cannicos reducidos mod n. Como (a, n) =1, aa
1
, aa
2
, . . . , aa
(n)
,
tambin forman un sistema de residuos reducidos, gracias al corolario 171. As pues,
aa
1
aa
2
aa
(n)
a
1
a
2
a
(n)
mod n,
o
a
(n)
a
1
a
2
a
(n)
a
1
a
2
a
(n)
mod n.
Como (a
1
a
2
a
(n)
, n) = 1, se puede cancelar el producto a
1
a
2
a
(n)
en uno y otro lado, de donde se
deduce el teorema. u
181 Corolario Si (a, n) = 1, entonces ord
n
a|(n).
182 Ejemplo Sea a
1
= 4, a
n
= 4
a
n1
, n > 1. Hllese el residuo cuando a
100
se divide por 7.
Resolucin: Por el pequeo teorema de Fermat, 4
6
1 mod 7. Como 4
n
4 mod 6 para todos los enteros positivos n, se
tiene 4
n
= 4+6t para algn entero t. As
a
100
4
a
99
4
4+6t
4
4
(4
6
)
t
4 mod 7.
183 Ejemplo Demustrese que m, n Z, mn(m
60
n
60
) es siempre divisible por 56786730.
Resolucin: Obsrvese que a = 56786730 = 2 3 5 7 11 13 31 61. Sea Q(x, y) = xy(x
60
y
60
). Obsrvese que
(xy)|Q(x, y), (x
2
y
2
)|Q(x, y), (x
3
y
3
)|Q(x, y), (x
4
y
4
)|Q(x, y), (x
6
y
6
)|Q(x, y), (x
10
y
10
)|Q(x, y),
(x
12
y
12
)|Q(x, y), y (x
30
y
30
)|Q(x, y).
Si p es cualquiera de los primos dividiendo a a, se tiene entonces que m
p
m 0 mod p y que n
p
n 0 mod p.
As n(m
p
m) m(n
p
n) 0 mod p, sto es, mn(m
p1
n
p1
) 0 mod p. Luego se tiene que
2|mn(mn)|Q(m, n), 3|mn(m
2
n
2
)|Q(m, n), 5|mn(m
4
n
4
)|Q(m, n),
7|mn(m
6
n
6
)|Q(m, n), 11|mn(m
10
n
10
)|Q(m, n),
13|mn(m
12
n
12
)|Q(m, n), 31|mn(m
30
n
30
)|Q(m, n)
y 61|mn(m
60
n
60
)|Q(m, n). Como todos estos son primos distintos, se deduce que a|mnQ(m, n), como se quera
demostrar.
184 Ejemplo Si p 1 mod 4, demustrese que
_
p1
2
_
! 1 mod p.
Tarea 37
Resolucin: En el producto (p1)!, se aparea j, 1 j (p1)/2 con pj. Obsrvese que j(pj) j
2
mod p.
Luego
1 (p1)!
1j(p1)/2
j
2
(1)
(p1)/2
_
p1
2
_
! mod p.
El resultado se consigue al observar que (1)
(p1)/2
= 1.
185 Ejemplo (IMO 1970) Demustrese que para todo entero n es imposible partir el conjunto
{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 Ay 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 7
2
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 B1 mod 7.
Pero si A= B entonces A
2
1 mod 7, lo que es imposible ya que 1 no es cuadrado mod 7.
Tarea
186 Problema Sea nN, n2. Demustrese que si Nest la suma de n nmeros impares consecutivos, entonces Nno puede
ser primo.
4.4. Teorema snico de los residuos
187 Teorema (Teorema snico de los residuos o Teorema de Sun Tsu) Sean m
1
, m
2
, . . . m
k
enteros relativamente pri-
mos por pares, todos mayores que 1, y sean a
1
, a
2
, . . . a
k
enteros arbitrarios. Luego el sistema de congruencias
x a
1
mod m
1
x a
2
mod m
2
.
.
.
.
.
.
.
.
.
x a
k
mod m
k
posee una solucin nica mdulo m
1
m
2
m
k
.
Demostracin: Pngase P
j
=
m
1
m
2
m
k
m
j
, 1 j k y sea Q
j
el inverso de P
j
mod m
j
, i.e., P
j
Q
j
1
mod m
j
, que sabemos que existe, ya que las m
i
son relativamente primas por pares. Pngase
x = a
1
P
1
Q
1
+a
2
P
2
Q
2
+ +a
k
P
k
Q
k
.
Este nmero claramente satisface las condiciones descritas en el teorema. La unicidad de esta solucin es fcil de
establecer mdulo m
1
m
2
m
k
. u
188 Ejemplo Puede encontrarse un milln de enteros positivos que sean divisibles por al menos un cuadrad?
38 Chapitre 4
Resolucin: La respuesta es armativa. Sean p
1
, p
2
, . . . , p
1000000
un milln de primos diferentes. Por el teorema snico de
los residuos existe una solucin del siguiente sistema de congruencias:
x 1 mod p
2
1
,
x 2 mod p
2
2
,
.
.
.
.
.
.
.
.
.
.
.
.
x 1000000 mod p
2
1000000
.
Los nmeros x+1, x+2, . . . , x+1000000 son un milln de enteros consecutivos, cada uno divisible por el cuadrado de un
primo.
4.5. Criterios de divisibilidad
189 Teorema Un entero n es divisible por 5 si y solamente si su ltimo dgito es o un 0 o un 5.
Demostracin: Se derivar el resultado para n > 0, ya que para n < 0 slo basta aplicar el teorema a n > 0.
Como 10
k
0 mod 5 para enteros k 1, se tiene
n = a
s
10
s
+a
s1
10
s1
+ +a
1
10+a
0
a
0
mod 5,
As pues, la divisibilidad de n por 5 depende en si a
0
es divisible por 5, lo que slo pasa cuando a
0
= 0 o a
0
= 5.
u
190 Teorema Sea k un entero positivo. Un entero n es divisible por 2
k
si y solamente si el nmero formado por los ltimos k
dgitos de n es divisible por 2
k
.
Demostracin: Si n= 0, no hay nada que demostrar. Si se demuestra el resultado para n> 0 entonces el resultado
para n < 0 se deduce al aplicar lo ya obtenido a n = (1)n > 0. Presmase pues que n Z, n > 0 y sea su
expansin decimal
n = a
s
10
s
+a
s1
10
s1
+ +a
1
10+a
0
,
donde 0 a
i
9, a
s
= 0. Ahora bien, 10
t
= 2
t
5
t
0 mod 2
t
para t k. Luego pues,
n = a
s
10
s
+a
s1
10
s1
+ +a
1
10+a
0
a
k1
10
k1
+a
k2
10
k2
+ +a
1
10+a
0
mod 2
k
,
de donde n es divisible por 2
k
si y solamente si el nmero formado por los ltimos k dgitos de n es divisible por
2
k
. u
191 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 = a
s
10
s
+a
s1
10
s1
+ +a
1
10+a
0
,
donde 0 a
i
9, a
s
= 0. Observse que 10 1 mod 9 y que 10
t
1
t
1 mod 9. Ahora bien,
n = a
s
10
s
+a
s1
10
s1
+ +a
1
10+a
0
a
s
+ +a
1
+a
0
mod 9,
de donde se colige el resultado. u
Tarea 39
Como 10 1 mod 3 se puede tambin ver que n es divisible por 3 si y solamente si la suma de su dgitos
es divisible por 3.
192 Denicin Si el entero n tiene expansin decimal
n = a
s
10
s
+a
s1
10
s1
+ +a
1
10+a
0
,
entonces su suma alternante de dgitos es
a
s
a
s1
+a
s2
a
s3
+ + (1)
s1
a
0
193 Teorema Un entero n es divisible por 11 si y solamente si su suma de dgitos alternante es divisible por 11.
Demostracin: Presmase que n > 0. Sea
n = a
s
10
s
+a
s1
10
s1
+ +a
1
10+a
0
,
donde 0 a
i
9, a
s
= 0. Observse que 10 1 mod 11y as 10
t
(1) mod 11. Luego
n = a
s
10
s
+a
s1
10
s1
+ +a
1
10+a
0
a
s
(1)
s
+a
s1
(1)
s1
+a
s2
(1)
s2
+ + a
1
+a
0
mod 11
y se colige el resultado. u
Tarea
194 Ejemplo Para cuntos enteros n en {1, 2, 3, . . . , 100} es el dgito de las decenas de n
2
impar?
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 n
2
es impar. Ahora bien, (n+10)
2
= n
2
+20n+100 tiene la misma paridad en su dgito de las decenas que el dgito de las
decenas de n
2
. Luego, hay 210 = 20 enteros n para los cuales se verica la condicin prescrita.
195 Ejemplo Hallar todos los enteros con dgito inicial 6 tales que si se les suprime este dgito incial,el nmero resultante es
1/25 del nmero original.
Resolucin: Sea x el entero buscado. Entonces x = 6 10
n
+y donde y es un entero positivo. La condicin del problema
estipula que
y =
1
25
(6 10
n
+y),
o sea,
y =
10
n
4
= 25 10
n2
.
Esto requiere n 2 y por lo tanto y = 25, 250, 2500, 25000, etc.. Luego x = 625, 6250, 62500, 625000, etc..
196 Ejemplo Sea A un entero positivo y A
sea el entero positivo resultante de alguna permutacin especca de los dgitos

de A. Demustrese que si A+A
= 10
10
entonces A es divisible por 10.
Resolucin: Claramente, A y A
debern tener 10 dgitos cada uno. Pongas pues

A= a
10
a
9
a
8
. . . a
1
y
A
= b
10
b
9
b
8
. . . b
1
,
40 Chapitre 4
donde a
k
, b
k
, k = 1, 2, . . . , 10 son los dgitos de A y A
respectivamente. Ahora, como A+A
= 10000000000, deberemos
tener que a
1
+b
1
= a
2
+b
2
= = a
i
+b
i
= 0 y
a
i+1
+b
i+1
= 10, a
i+2
+b
i+2
= = a
10
+b
10
= 9,
para algn subndice i, 0 i 9. Note que si i = 9 no hay ninguna suma de las a
i+2
+b
i+2
, a
i+3
+b
i+3
, . . . y si i = 0 no
hay ninguna suma de las a
1
+b
1
, . . . , a
i
+b
i
.
Sumando,
a
1
+b
1
+a
2
+b
2
+ +a
i
+b
i
+a
i+1
+b
i+1
+ +a
10
+b
10
= 10+9(9i).
Ahora bien, si i es par, 10+9(9i) es impar y si i es impar 10+9(9i) es par. Pero como
a
1
+a
2
+ +a
10
= b
1
+b
2
+ +b
10
,
tenemos
a
1
+b
1
+a
2
+b
2
+ +a
i
+b
i
+a
i+1
+b
i+1
+ +a
10
+b
10
= 2(a
1
+a
2
+ +a
10
),
un entero par. Colegimos que i es impar, lo que necesariamente implica a
1
= b
1
= 0, esto es, Ay A
son ambos divisibles por

10.
197 Ejemplo Demustrese que todos los enteros en la sucesin
49, 4489, 444889, 44448889, 44. . .44
. .
n 4
s
88. . . 88
. .
n1 8
s
9
son cuadrados.
Resolucin: Obsrvese que
44. . . 44
. .
n 4
s
88. . . 88
. .
n1 8
s
9 = 44. . . 44
. .
n 4
s
10
n
+88. . . 88
. .
n1 8
s
10+9
=
4
9
(10
n
1) 10
n
+
8
9
(10
n1
1) 10+9
=
4
9
10
2n
+
4
9
10
n
+
1
9
=
1
9
(2 10
n
+1)
2
=
_
2 10
n
+1
3
_
2
Falta ahora demostrar que esta ltima cantidad es entera, esto es, que 3 divide a 2 10
n
+1 = 200. . . 00
. .
n1 0
s
1. Pero la suma de los
dgitos de esta ltima cantidad es 3, y por lo tanto este entero es divisible por 3.
Annexe A
Indicaciones y respuestas
6 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 < m
2
< m< 1, y por lo tanto
m
2
S. Pero esto declara que S tiene un entero positivo, m
2
, que es menor que su elemento mnimo! Esta contradiccin
establece que S = .
7 Supngase que
a
2
+b
2
1+ab
=k fuere un contraejemplo de un entero que no es un cuadrado perfecto con m ax(a, b) tan pequeo
como fuere posible. Puede presumirse, sin perder generalidad, que a < b, ya que si a = b entonces
0 < k =
2a
2
a
2
+1
< 2,
lo que fuerza k = 1, un cuadrado perfecto.
Ahora bien, a
2
+b
2
k(ab+1) = 0 es una ecuacin cuadrtica en b cuya suma de races es ka y cuyo producto de
races es a
2
k. Si b
1
, b son sus races se tiene que b
1
+b = ka y b
1
b = a
2
k.
Como a, k son enteros positivos, el suponer b
1
< 0 es incompatible con a
2
+b
2
1
= k(ab
1
+1). Como k se supone no ser
un cuadrado perfecto, el suponer b
1
= 0 es incompatible con a
2
+0
2
= k(0 a+1). Adems
b
1
=
a
2
k
b
<
b
2
k
b
< b.
As pues, se ha encontrado otro entero positivo, b
1
para el cual
a
2
+b
2
1
1+ab
1
= k y el cual es menor que m ax(a, b): contradiccin.
Por lo tanto k debe ser un cuadrado perfecto.
8 Obsrvese que n
3
n = (n1)n(n+1) y que n
5
5n
3
+4n= (n2)(n1)n(n+1)(n+2) y utilcese el ejemplo
5.
14 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.
15 Hay 2
10
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\ (AB) y B\ (AB), que tambin
tienen la propiedad deseada.
41
42 Chapitre A
16 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 y 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 diriendo
por 10.
26 Se demostrar que la expresin r+1/r es entera slo cuando r = 1, en cuyo caso r+1/r = 2. Sea pues
r+
1
r
= k,
k un entero positivo. Luego
r =
k
k
2
4
2
.
Como k es un entero, r puede ser entero si y slo si k
2
4 es un cuadrado de la misma paridad que k. Ahora, si k 3,
(k1)
2
< k
2
4 < k
2
,
esto es, k
2
4 est entre dos cuadrados consecutivos y por lo tanto no puede ser un cuadrado. Si k = 1,
k
2
4 no es real.
Si k = 2, k
2
4 = 0. Luego, r+1/r = 2, esto es, r = 1. Esto termina la demostracin.
27 Exprsese 11. . . 11
. .
221 1
s
de la forma
10
a
1
10
b
1
10
b
1
101
, para ciertos enteros a, b.
28 11
10
1 = (11
5
1)a = (111)(11
4
+11
3
+11
2
+11+1)a.
29 Obsrvese que a
3
bab
3
= ab(ab)(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 5k1 (casilla I) 5k2 (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.
30 Para n = 0 se declara que 3
3
27 == 169 0 es un mltiplo de 169, lo cual es evidente. Presmase que la asercin es cierta
para n1, n > 1, esto es, presmase que
3
3n
26n1 = 169N
para algn entero N. Entonces
3
3n+3
26n27 = 27 3
3n
26n27 = 27(3
3n
26n1) +676n
lo cual se reduce a
27 169N+169 4n,
que es evidentemente un mltiplo de 169. Queda demostrada la asercin por induccin.
Indicaciones y respuestas 43
31 Es claro que 3n+1 no es un mltiplo de 3, luego 3n+1 = (3k1)
2
. De aqu
n+1 =
(3k1)
2
1
3
+1 = 3k
2
2k+1 = k
2
+k
2
+ (k1)
2
,
como queramos demostrar.
32 Si n es par, escrbase n = n6 +6. Como n > 11, n6 es par y mayor que 2, por tanto compuesto. Si n es impar,
n = n9+9. Como n > 11, n9 es par y mayor que 2, por lo tanto compuesto.
33 Por el algoritmo de divisin, hay enteros q
1
, q
2
, q
3
con 1059 = dq
1
+r, 1417 = dq
2
+r y 2312 = dq
3
+r. Restando
se obtiene 1253 = d(q
3
q
1
), 895 = d(q
3
q
2
) y 358 = d(q
2
q
1
). Como 7 179, 895 = 5 179, 358 = 2 179, se ve
que d = 179. Como 1059 = 5 179+164, r = 164. Finalmente, dr = 15.
34 Se tiene que n
2
+23 = n
2
1+24 = (n1)(n+1) +24. Luego, las familias n = 24m1, m = 0, 1, 2, 3, . . .
producen innitos valores de n
2
+23 que son divisibles por 24.
35 Se consideran enteros positivos a
1
, a
2
, . . . , a
n
con a
1
+a
2
+ +a
n
= 1996. Es claro que para maximizar a
1
a
2
a
n
,
ninguna de las a
k
s puede ser igual a 1. Se demostrar que para obtener un producto mximo se deber tener la mayora de las
a
k
= 3 y a lo sumo dos a
j
= 2. Supongse que a
j
> 4. Al substituir a
j
por los dos trminos a
j
3 y 3 la suma no se afecta,
pero el producto incrementa pues a
j
< 3(a
j
3). As pues las a
k
s son iguales a 2, 3 4. Pero como 2+2+2 = 3+3 y
222 < 33, si hay tres o ms 2s, se pueden substituir con 3s. Como 1996 = 3(665) +1 = 3(664) +4, el producto
mximo es pues 3
664
4.
36 Gracias a 2.2, 2903
n
803
n
es divisible por 2903 803 = 2100 = 7 300 y 261
n
464
n
es divisible por 203 =
(29) 7. Por lo tanto, la expresin es divisible por 7. Adems 2903
n
464
n
es divisible por 2903464 = 2439 = 9 271
y 803
n
+261
n
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.
37 Si n es impar escrbase a = 2, b = n2, n = a+b y como n2 es impar se tiene MCD(n2, 2) = 1. Si n es par,
entonces o bien n= 4k o bien n= 4k+2. Si n= 4k, escrbase a= 2k+1, b= 2k1, 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 = 2k1, n = a+b, los que de
la misma manera son relativamente primos (si d = MCD(2k+3, 2k1) entonces d divide a 2k+3(2k1) = 4. Luego
d es 1, 2 4 pero como d es impar es por fuerza = 1).
38 Si p = 3, entonces 8p1 = 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 8p1 = 24k15 no es primo al ser divisible por 3.
39
2222
5555
+5555
2222
= (2222
5555
+4
5555
) + (5555
2222
4
2222
) (4
5555
4
2222
).
Para otro punto de vista, vase el ejemplo 146.
40 Pngase n = pm, donde p es primo y m> 1. Utilcese la identidad 2.2 para factorizar (2
p
)
m
1.
41 Pngase n = 2
k
m, donde m> 1 es impar. Factorice (2
2
k
)
m
+ 1.
42 Si a = 10
3
, b = 2 entonces
1002004008016032 = a
5
+a
4
b+a
3
b
2
+a
2
b
3
+ab
4
+b
5
=
a
6
b
6
ab
.
Esta ltima expresin factoriza como
a
6
b
6
ab
= (a+b)(a
2
+ab+b
2
)(a
2
ab+b
2
)
= 1002 1002004 998004
= 4 4 1002 250501 k,
en donde k < 250000. Por lo tanto p = 250501.
44 Chapitre A
44 Sean n1, n, n+1, n+2 cuatro enteros consecutivos. Entonces su producto P es
P = (n1)n(n+1)(n+2) = (n
3
n)(n+2) = n
4
+2n
3
n
2
2n.
Ahora bien,
(n
2
+n1)
2
= n
4
+2n
3
n
2
2n+1 = P+1 > P.
Como P = 0 y P es 1 ms que un cuadrado, P no puede ser un cuadrado.
45 La asercin es evidente para n = 1, ya que k
2
1 = (k1)(k+1) es producto de dos nmeros pares consecutivos, y
por tanto uno es divisible por 2 y el otro por 4 as que el producto es divisible por 8. Presmase que 2
n+2
k
2
n
1. Como
k
2
n+1
1 = (k
2
n
1)(k
2
n
+1), se puede notar que 2
n+2
divide a (k
2n
1), as que el problema se reduce a demostrar
que 2
(k
2n
+1). Pero esto es obvio, ya que como k
2n
es impar k
2n
+1 es par.
51 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.
52 Se tiene que
d
n
= MCD
_
100+n
2
, 100+ (n+1)
2
_
= MCD
_
100+n
2
, 100+n
2
+2n+1
_
= MCD
_
100+n
2
, 2n+1
_
.
As pues
d
n
(2(100+n
2
) n(2n+1)) = 200n.
Por lo tanto, d
n
(2(200n) + (2n+1)) = 401, de donde se colige que d

n
401 para toda n. Alcanzar d

n
un valor tan
grande como 401? Efectivamente! Para n = 200 se tiene que a
200
= 100+200
2
= 100(401) y que a
201
= 100+201
2
=
40501 = 101(401). Luego se deduce que m ax
n1
d
n
= 401.
53 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.
54 Sea el producto (n1)n(n+1) = (n
2
1)n, n > 1. Como n
2
1 y n son relativamente primos, por el Teorema
fundamental de la aritmtica (Teorema 57) n
2
1 es una potencia k-sima perfecta (k 2) y tambin lo es n. Esto implica
que tanto n
2
1 y n
2
son potencias k-simas perfectas consecutivas, lo que es imposible. Obsrvese que ni n
2
1 ni n
2
son
ni 0 ni 1.
63 Los nmeros de M son de la forma
2
a
3
b
5
c
7
d
11
f
13
g
17
h
19
j
23
k
.
Los diez exponentes dan 512 = 2
10
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 a
1
, b
1
tales que a
1
b
1
= c
2
1
.
Qutese este par, dejando 1983 enteros. De estos 1983 enteros, se puede hallar un par a
2
, b
2
tales que a
2
b
2
= c
2
2
. Remuvase
este par, dejando 1981 enteros. De estos 1981 enteros, se puede encontrar un par a
3
, b
3
tales que a
3
b
3
= c
2
3
. 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 a
k
, b
k
tales que a
k
b
k
= c
k
sea un cuadrado. Como 737 > 513, se puede
encontrar un par de las c
m
tales que su producto c
i
c
j
sea un cuadrado. Pero como cada una de las c
m
es un cuadrado a su vez,
el producto c
i
c
j
= a
2
ser una cuarta potencia.
Indicaciones y respuestas 45
64 Cualquier entero puede escribirse de la manera 2
a
m, en donde mes impar. Tan slo hay 50 enteros impares en el conjunto
dado, luego hay slo mposibilidades para m. Luego dos de los 51 enteros elegidos deben de ser de la forma 2
a
my otro de la
forma 2
a
m. Luego el menor de estos dos dividir al mayor.

65 Ntese primeramente que 7 puede descomponerse en a lo sumo tres factores diferentes: 7 = 7(1)(1). Si p(a
k
)7 = 0
para cuatro valores distintos a
k
, 1 k 4 entonces
p(x) 7 = (xa
1
)(xa
2
)(xa
3
)(xa
4
)q(x)
para algn polinomio q con coecientes enteros. Presmase ahora que existe un entero m con p(m) = 14. Entonces
7 = p(m) 7 = (ma
1
)(ma
2
)(ma
3
)(ma
4
)q(m).
Como los factores ma
k
, la igualdad anterior descompone a 7 en cuatro o ms valores distintos, lo que es una contradiccin.
66 Obsrvese que
m
5
+3m
4
n5m
3
n
2
15m
2
n
3
+4mn
4
+12n
5
= (m2n)(mn)(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= 0, todos los factores de arriba son distintos y no pueden dar 33 en virtud del Teorema fundamental de la aritmtica (Teo-
rema 57) 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 m
5
pero 33 no es una quinta potencia.
67 Sea k el mximo entero que satisface 2
k
n y sea P el producto de todos los enteros impares menores o iguales a n. El
nmero 2
k1
PS es una suma cuyos trminos, excepto el 2
k1
PS
1
2
k
, son enteros.
68 Si k
2
= 2
8
+2
11
+2
n
= 2304+2
n
= 48
2
+2
n
, entonces k
2
48
2
= (k48)(k+48) = 2
n
. Gracias a la propiedad de
factorizacin nica, k48 = 2
s
, k+48 = 2
t
, s+t = n. Luego 2
t
2
s
= 96 = 3 2
5
o 2
s
(2
ts
1) = 3 2
5
. Por factorizacin
nica, s = 5, t s = 2, dando s+t = n = 12.
92 400
151 Quirese hallar 3
100
mod 10. Obsrvese que 3
2
1 mod 10. Luego, 3
100
= (3
2
)
50
(1)
50
1 mod 10. As,
el ltimo dgito es el 1.
152 Se tiene que hallar 7
7
7
mod 10. Ahora bien, como 7
2
1 mod 10, entonces tenemos 7
3
7
2
7 7 3 mod 10
y 7
4
(7
2
)
2
1 mod 10. Adems, 7
2
1 mod 4 y por lo tanto 7
7
(7
2
)
3
7 3 mod 4, lo que quiere decir que hay
un entero t tal que 7
7
= 3+4t. Ensamblando todo esto,
7
7
7
7
4t+3
(7
4
)
t
7
3
1
t
3 3 mod 10.
As el ltimo dgito es un 3.
153 Obsrvese que 3
2n+1
3 9
n
3 2
n
mod 7 y 2
n+2
4 2
n
mod 7. Luego
3
2n+1
+2
n+2
7 2
n
0 mod 7,
para todo nmero natural n.
154 Como 30a0b03 = 3 +100b+10000a+3000000, observamos que 30a0b03 3+9b+3a+3 6+9b+3a
mod 13. Para que 30a0b03 sea divisible por 13 necesitamos 9b+3a 7 mod 13. Aqu claro est, se tendr 0 a, b 9.
Por inspeccin se ve que a = 8, b = 1;a = 5, b = 2; a = 2, b = 3; a = 9, b = 5; a = 6, b = 6; a = 3, b = 7; a = 0, b = 8. Luego
3080103, 3050203, 3020303, 3090503, 3060603, 3030703, 3000803 son todos divisibles por 13.
155 Si x
2
= 25y
2
, entonces x
2
2 mod 5. Pero 2 no es un cuadrado mod 5.
46 Chapitre A
156 Obsrvese que 641 = 2
7
5+1 = 2
4
+5
4
. Luego 2
7
5 1 mod 641 y 5
4
2
4
mod 641. Ahora bien, 2
7
5
1 mod 641 nos da 5
4
2
28
= (5 2
7
)
4
(1)
4
1 mod 641. Esta tima congruencia y 5
4
2
4
mod 641 nos da
2
4
2
28
1 mod 641, lo que signica que 641
(2
32
+1).
157 Obsrvese que 2
1
2, 2
2
4, 2
3
1, 2
4
2, 2
5
4, 2
6
1 mod 7 y as 2
3k
1 mod 3 para todos los enteros
positivos k. Luego 2
3k
+27 1 +27 0 mod 7 para todos los enteros positivos k. Esto produce una familia innita de
enteros n = 3k, k = 1, 2, . . . tal que 2
n
+27 es divisible por 7.
158 No. Los cubos mod 7 son 0, 1, y 6. Ahora bien, cada potencia de de 2 es congruente con 1, 2, 4 mod 7. As pues,
2
y
+15 2, 3, 5 mod 7. Esto es imposible.
159 2
1
2, 2
2
4, 2
3
1 mod 7 y este ciclo de tres se repite. As pues, 2
k
5 deja residuos 3, 4, 6 al ser dividido por 7.
Index
algoritmo
de divisin, 4
axioma
de induccin matmatica dbil, 2
de induccin matmatica fuerte, 2
del buen orden, 1
congruencias, 30
divisibilidad, 4
factorizacin cannica , 10
funcin aritmtica, 16
funcin de Mbius, 18
funcin indicatriz de Euler, 20
funcin nmero de divisores, 17
funcin suma de divisores, 17
lema
de Euclides, 10
de Gauss, 10
mximo comn divisor, 9
principio de las casillas de Dirichlet, 3
relativamente primos, 9
teorema
de Bachet-Bzout, 9
de Euclides (innitud de primos), 11
de Euler, 36
de Sun Tsu, 37
de Wilson, 35
fundamental de la aritmtica, 10
pequeo teorema de Fermat, 35
snico de los residuos, 37
47

Teoria Elemental de Los Numeros

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Teoria Elemental de Los Numeros

Caricato da

Copyright:

Formati disponibili

Teora elemental de los nmeros para olimpadas matemticas c

2 es racional, esto es, que hay enteros a, b con

2 = 2k, se ve entonces que

= a. El caso en que d no dividiere a a se denotar por d a.

, r ambos diferentes de 0, tales que dd

, r son enteros, se tiene que d

, r < |b|. Luego r

r| < |b|, lo que requiere que r

= r, en virtud del Teorema 18. De aqu tambin se

(1)(2) (n)(1)(2) (n)

b entonces r es un divisor comn de

b. Ahora bien, por el algoritmo de divisin existen enteros q, r con a = qn

son menores que n y por tanto se pueden descomponer como n

= y luego a cualquier lista

2 = a/b con enteros positivos a, b relativamente primos. Entonces

c. Por otra parte, c

d, lo que acaba la demostracin. u

), por virtud del Lema de Euclides. As pues existe un entero t

> 0 entero, con MCD

tiene por suma de divisores la suma

= 1. Se deduce que contar los elementos de T

= 1. Pero el nmero de estos

que tienen un factor comn con p: 1p, 2p, 3p, . . . , p

n. Cuando se vericar la igualdad?

n, entonces n debe de ser de la forma 2

n1, entonces n no es divisible por ningn cuadrado mayor que 1.

n1 y n es compuesto, entonces n tiene al menos tres factores primos distintos.

n1 y n es compuesto, entonces n tiene al menos cuatro factores primos distintos.

3n vericndose la igualdad si y slo si n = 12.

2n < l +1, se tiene l =

2n. Luego todos los enteros con la propiedad

donde n es un entero no negativo, es alternadamente par e impar.

35 < 1/10 (si no

35, y al cuadrar 3500 < 3481, contradiccin) y luego

n. Demustrese que para cada entero positivo m, la sucesin

< 1, de donde el conjunto solucin es

5)/2, la razn dorada. El ensimo

(cd). Luego hay enteros u, v con nu = ab y nv = cd. As

= qd+r, 0 r < d. Entonces

sea el entero positivo resultante de alguna permutacin especca de los dgitos

debern tener 10 dgitos cada uno. Pongas pues

respectivamente. Ahora, como A+A

son ambos divisibles por

(2(200n) + (2n+1)) = 401, de donde se colige que d

401 para toda n. Alcanzar d

m. Luego el menor de estos dos dividir al mayor.

Potrebbero piacerti anche