Problemas

Conjunto 1
1. El enésimo número triangular tn es la suma de los primeros n números naturales. Por lo tanto, tn =
n(n + 1)/2 para n = 1, 2, .... Si el n-ésimo número triangular tn es un cuadrado perfecto, probar que
t4n(n+1) es también un cuadrado perfecto. Deducir que hay un número infinito de números triangulares
que son cuadrados perfectos.

2. Encontrar tres números triangulares consecutivos tn , tn+1 , tn+2 , cuyo producto es un cuadrado perfecto.
También, mostrar que existe un infinito número de números triangulares consecutivos triples cuyo
producto es un cuadrado perfecto.
3. Verificar que 10 es el único número triangular que puede ser escrito como la suma de dos cuadrados
impares consecutivos.
4. Sea n un entero positivo. Si a1 , ...., an son enteros y la ecuación:

xn + a1 xn−1 + a2 xn−2 + · · · + an = 0

tiene una raı́z racional, probar que la raı́z debe de ser un entero.
5. Si (a,4) = 2 = (b,4), probar que (a + b,4) = 4.

6. Si a, b, c son enteros positivos tal que (a, b, c)[a, b, c] = abc, probar que (a, b) = (b, c) = (a, c) = 1.
7. Probar que [a, b, c](ab, bc, ca) = abc para todos los enteros positivos a, b, c.
8. Si m, n son enteros positivos tal que 3m + n = 3[m, n] + (m, n), probar que n divide a m.
9. Examinar si las siguientes declaraciones son ciertas o falsas. Si son ciertas, probar el resultado, y si
son falsas dar un contraejemplo:

(a) Si (a, b) = 1, entonces (a2 , ab, b2 ) = 1.

(b) Si (a, b) = 1, entonces (a + b, a2 − ab + b2 ) es ya sea 1 o 3.
(c) Si b|(a2 + 1), entonces b|a4 + 1.
(d) Todo entero positivo puede ser escrito en la forma p + a2 , donde p es un primo o 1, y a ≥ 0.
(e) If p es primo y p > 3, entonces p2 + 2 es compuesto.

10. Si {pn } es una secuencia de primos distintos, probar que

1 1 1
+ +···+
p1 p2 pn
nunca es un entero.
11. Sea Rn = 11 · · · 1 en notación decimal, donde el dı́gito 1 se repite n veces. Probar que

(a) Rn |Rm ⇐⇒ n|m.

(b) Si (n, m) = 1, entonces (Rn , Rm ) = 1.
(c) Encontrar todo n tal que Rn es un cuadrado perfecto.

12. Encontrar el menor entero n > 1 tal que el número 9997n contiene solo dı́gitos impares en notación
decimal.
13. Encontrar el menor entero positivo n tal que el producto de 9999 y n contiene solo el dı́gito 1 en
notación decimal.

1
14. Probar que la secuencia

(n + 1)! − 2, (n + 1)! − 3, ..., (n + 1)! − (n + 1)

produce n consecutivos números compuestos para n > 2. Probar también que cada término en esta
secuencia es divisible por un primo que no divide cualquier otro término en ella.
15. Probar que para cualquier entero positivo n y k, existe un conjunto de n enteros consecutivos tal
que cada miembro de este conjunto es divisible por k primos distintos, ninguno de los cuales divide a
cualquier otro miembro del conjunto.

16. Considere una progresión aritmética p, p + d, ..., p + (n − 1)d. Probar que si todos los n términos son
números primos, y n > 2, entonces la diferencia común d es divisible por cada primo q < n.
17. Encontrar una progresión aritmética de 6 términos, cada uno de los cuales es un primo.
18. Sea k un entero positivo. Probar que la progresión aritmética

a, a + d, a + 2d, a + 3d, ...

de enteros positivos, donde (a, d) = 1, contiene k términos consecutivos que son compuestos.

19. Dado cualquier entero positivo k, probar que existen k enteros consecutivos cada uno divisible por un
cuadrado más grande que 1.
20. Usar el teorema del resto Chino para encontrar cinco términos consecutivos en la progresión aritmética
1, 6, 11, 16,..., cada uno de los cuales es divisible por un primo que no divide a otro.

21. Determinar todos los primos que pueden dividir dos enteros sucesivos de la forma n2 + 3.
22. El n-ésimo número triangular tn es la suma de los primeros n números naturales. Determinar todos
los primos gemelos p, p + 2 cuya media aritmética es un número triangular.
23. Determinar todos los primos gemelos p y q = p + 2 tal que pq − 2 es también primo.

24. (a) Usando el teorema de Bertrand, o de otro modo, mostrar que si n > 1, entonces n! nunca es un
cuadrado perfecto.
(b) Encontrar todos los enteros positivos n tales que n! + (n + 1)! + (n + 2)! es un cuadrado perfecto.
25. Para n ≡ ±4 (mod 9), mostrar que la ecuación n = a3 + b3 + c3 no tiene soluciones enteras.

26. Mostrar que cada termino de la secuencia

16, 1156, 111556, 11115556, 1111155556, ...

es un cuadrado perfecto.
27. Encontrar todos los primos de la forma p2 + 2p , donde p es primo.
28. Los primos 37, 67, 73, 79,... son de la forma p = 36ab + 6a − 6b + 1, con a ≥ 1, b ≥ 1. Mostrar que
ningún par de primos gemelos puede contener un primo de esta forma.
29. Sean p1 , p2 , ..., pn los primeros n primos en el orden natural. Mostrar, para n ≥ 2 que existen al menos
dos nuevos primos en el intervalo pn < x ≤ p1 p2 · · · pn + 1.
9
30. (a) Encontrar los últimos dos dı́gitos en la representación decimal de el número 99 .
99
(b) Encontrar los últimos tres dı́gitos en la representación decimal de el número 99 .

2
Conjunto 2
1. Dado los enteros x y y, sea m = ax+by y n = cx+dy, donde a, b, c, d son enteros tales que ad−bc = ±1.
Probar que gcd(m, n) = gcd(x, y).
2. Si a, m, n son enteros positivos y m 6= n, encontrar gcd(a2m + 1, a2n + 1).
3. Probar que cada entero n ≥ 12 es la suma de dos números compuestos.
4. Sea a, b, x, y enteros positivos tales que gcd(a, b) = 1 y xa = y b . Probar que x = nb y y = na para
algún n.
5. Sean a, b, n enteros positivos tales que gcd(a, b) = 1 y n > ab. Probar que existe enteros positivos x y
y tales que n = ax + by. Probar también que esto no es cierto si n = ab.
6. Si n > 1 es un entero no de la forma 6k + 3, probar que n2 + 2n es compuesto.
7. Si p es cualquier primo que no sea 2 o 5, probar que
(a) p divide infinitamente muchos términos en la secuencia 9,99,999,....
(b) p divide infinitamente muchos términos en la secuencia 1,11,111,....
8. Para cualquier primo p, si ap ≡ bp (mod p), probar que ap ≡ bp (mod p2 ).
9. Dado un entero n, probar que hay un entero m divisible por n tal que la representación decimal de m
contiene solo los dı́gitos 0 y 1. Probar también que lo mismo es cierto para los dı́gitos 0 y 2, o 0 y 3,...,
o 0 y 9, pero para ningún otro par de dı́gitos.
10. Para n ≥ 1, mostrar que

(−13)n+1 ≡ (−13)n + (−13)n−1 (mod 181).

Determinar todos los enteros a tales que la congruencia an+1 ≡ an + an−1 (mod 181) vale para todos
los enteros positivos n.
11. Probar que si a es un entero impar, entonces a2n ≡ 1 (mod 2n+2 ) para todos los enteros positivos n.
12. Si p y q son primos distintos, probar que pq−1 + q p−1 ≡ 1 (mod pq).
13. Mostrar que no existen primos p y q que satisfagan la condición p2 = 10q − 999.
14. Encontrar los últimos dos dı́gitos en la representación decimal de 31001 + 21001 .
15. Sea p un primo impar, y r1 , r2 , ..., rp−1 los enteros 1,2,...,p-1 arreglados en algún orden. Probar que al
menos dos de los números

r1 , 2r2 , ..., (p − 1)rp−1

son congruentes módulo p.

16. Si n es un entero positivo y x es real, probar que
   
1 n−1
[x] + x + +···+ x+ = [nx].
n n

17. Determinar el conjunto de todos los números reales α tales que

√ √
   
1 1
n+α+ = n+
2 2

para todos los enteros positivos n.

3
18. Si gcd(m, n) = 1, probar que

n−1
X 
mk (m − 1)(n − 1)
= .
n 2
k=1

19. Sea θ un número real tal que 0 < θ < 1. Definir

si [nθ] = [(n − 1)θ ],


0
xn =
1 de otra manera.

Probar que
x1 + x2 + · · · + xn
lim = θ.
n→∞ n
20. Sea n un entero √
positivo impar. Si n factores en el producto de dos √ enteros positivos, n = uv, con
u > v y u − v ≤ 4 64n, probar que las raı́ces de la ecuación x2 − 2[ n + 1]x + n = 0 son enteros.
1 1
21. Sean α y β números irracionales positivos tales que + = 1. Probar que las dos secuencias infinitas
α β

[α], [2α], [3α], ... y [β], [2β], [3β], ...

juntas contienen cada número natural exactamente una vez.

22. Sean α y β números reales positivos tales que las dos secuencias infinitas

[α], [2α], [3α], ... y [β], [2β], [3β], ...

juntas contienen cada número natural exactamente una vez. Probar que α y β son números irracionales
1 1
tales que + = 1.
α β
23. Sea p primo, k un entero positivo, y 1 ≤ n ≤ pk − 1. Probar que
 k
p
(a) ≡ 0 (mod p).
n
 k
p
(b) Si, además, n no es divisible por pk−1 , entonces ≡ 0 (mod p2 ).
n
√
24. (a) Determinar todos los enteros positivos n tales que [ n] divida a n.
√
(b) Determinar todos los enteros positivos n, no un cuadrado perfecto, tales que [ n]3 divida a n2 .

25. Probar que [3x] + [3y] ≥ [x] + [y] + 2[x + y] para todos los números reales x, y.
26. Probar que [4x] + [4y] ≥ [x] + [y] + [2x + y] + [2y + x] para todos los números reales x, y.
27. Probar que [5x] + [5y] ≥ [x] + [y] + [3x + y] + [3y + x] para todos los números reales x, y.
28. Determinar todos los enteros positivos k con la propiedad que

[kx] + [ky] ≥ [x] + [y] + [(k − 2)x + y] + [(k − 2)y + x]

para todos los números reales x y y.

4
29. Sean m y n enteros positivos. Probar que

(3m)!(3n)! (4m)!(4n)! (5m)!(5n)!

, ,
m!n!(m + n)!(m + n)! m!n!(2m + n)!(2n + m)! m!n!(3m + n)!(3n + m)!
son enteros y que

(6m)!(6n)!
m!n!(4m + n)!(4n + m)!

no es necesariamente un entero.
30. Determine todos los enteros n > 1 tales que (n − 2)! no es divisible por n2 .

Conjunto 3
1√
1. Probar que 2 n ≤ φ(n) ≤ n para todo n.
2. Probar que para un entero fijo n, la ecuación φ(x) = n tiene solo un número finito de soluciones.

3. Probar que
(a) si n tiene r divisores primos distintos, entonces φ(n) ≥ n/2r ,
(b) si n tiene r divisores primos impares distintos, entonces φ(n) es divisible por 2r .

4. Probar que no hay solución para la ecuación φ(x) = 14, y que 14 es el menor entero par con esta
propiedad. Aparte de 14, ¿Cuál es el siguiente entero par más pequeño n tal que φ(x) = n no tiene
solución?
5. Encontrar todos los enteros positivos n para los cuales φ(n) ≡ 2 (mod 4).
6. Probar que, para n ≥ 2, la suma de todos los enteros positivos menores que n y los primos relativos
de n es 21 nφ(n).
7. Definir f (n) como la suma de los enteros positivos menores que n y primos de n. Probar que f (m) =
f (n) implica que m = n.
8. Determinar todos los enteros positivos n tales que

(a) φ(n) = n/2,

(b) φ(n) = n/3.
9. Probar que si k es un entero mayor que 3, entonces no hay enteros n para los cuales φ(n) = n/k.
10. Encontrar todos los enteros n para los cuales 2n − 1 es divisible por 7. También, mostrar que no hay
entero positivo n para el cual 2n + 1 es divisible por 7.
11. Sea n un entero positivo que no es un cuadrado. Probar que para cada entero a primo relativo de n,
existen enteros x y y que satisfacen

√ √
ax ≡ y (mod n) con 0 < |x | < n y 0 < |y| < n.

12. Sea p un primo impar. Probar lo siguiente:

(a) Si q = (p − 1)/2, entonces (q!)2 + (−1)q ≡ 0 (mod p).

(b) 12 32 52 · · · (p − 2)2 ≡ (−1)(p+1)/2 (mod p).
(c) 22 42 62 · · · (p − 1)2 ≡ (−1)(p+1)/2 (mod p).

5
13. Sea p un primo y p ≡ 1 (mod 4). Probar que existen enteros positivos x y y tales que p = x2 + y 2 .
Muestre también que dicha expresión de p es única, excepto por el orden de los sumandos.
14. Considere un primo p ≡ 1 (mod 60). Mostrar que existen enteros positivos a y b con p = a2 + b2 ,
donde 3 divide a a o b y 5 divide a a o b.
15. Dejar que el entero positivo n se escriba como n = N 2 m, donde m es libre de cuadrados. Probar que
n puede ser representado como la suma de dos cuadrados si y sólo si m no tiene divisor primo de la
forma 4k + 3.
16. Sea n = a2 + b2 , donde a y b son enteros positivos con gcd(a, b) = 1. Probar que cualquier divisor
positivo de n es una suma de dos cuadrados. Deduzca que hay infinitos números primos de la forma
4k + 1.
17. Dado un entero impar n ≥ 3, sean k y t los menores enteros positivos tales que ambos kn + 1 y tn son
cuadrados perfectos. Probar que n es primo si y sólo si ambos k y t son mayores que n/4.
18. Deja sn denote la suma de los primeros n primos. Probar que, para cada n, hay un entero cuyo
cuadrado esta entre sn y sn+1 .
19. Encontrar todos los enteros positivos n para los cuales (n − 1)! + 1 es una potencia de n.
20. Probar que si n es un entero positivo tal que la ecuación

x3 − 3xy 2 + y 3 = n

tiene una solución en enteros (x, y), entonces tiene al manos tres de esas soluciones. Mostrar también
que si n es congruente módulo 9 a 2, 4, 5 o 7, entonces la ecuación no tiene solución en enteros.
21. Deja que p sea un primo, p ≥ 5 y escriba

1 1 1 r
1+ + +···+ = .
2 3 p ps

Probar que p3 |(r − s).

   
n n
22. Si p es un primo, probar que ≡ (mod p). Probar también que si pa divide al menos una de
  p p
n
y [n/p], entonces divide al otro también.
p
an − bn
23. Suponer que a, b y n son enteros positivos y n divide an − bn . Probar que n divide .
a−b
24. Sean a, b y x0 enteros positivos, y definir

xn = axn−1 + b para n = 1, 2, 3, ....

Probar que no todos los xn pueden ser primos.

25. Deje n, r, a denotar enteros positivos. Probar que

n2 ≡ n (mod 10a ) =⇒ nr ≡ n (mod 10a ) para todo r . (1)

Encontrar todos los valores de r, tales que

nr ≡ n (mod 10a ) =⇒ n2 ≡ n (mod 10a ). (2)

26. Sea n, a, d enteros dados con (a, d) = 1. Probar que existe un entero m tal que m ≡ a (mod d) y (m, n)
= 1.

6
27. Dado que [x + y] = [x] + [y] y [-x-y] = [-x] + [-y], probar que x o y es un entero.

28. Si p es primo, encontrar fórmulas para la potencia más alta de p que divide

(a) el producto 2 · 4 · 6 · · · (2n) de los primeros n enteros pares.

(b) el producto de los primeros n enteros impares.

29. Sea p un primo y n = a0 + a1 p + a2 p2 + · · · + ak pk , donde ai son enteros con 0 ≤ ai < p, ak 6= 0.

Mostrar que el exponente de la potencia más alta de p que divide n! es

n − (a0 + a1 + a2 + · · · + ak )
.
p−1
30. Encontrar todos los enteros n ≥ 1 tales que el exponente de la potencia más alta de 5 que divide n! es
100.

Conjunto 4
1. Mostrar que n4 + 4 es divisible por al menos dos primos para todo n > 1.

2. Determinar todos los enteros positivos n tales que n4 + 4n es divisible por primos distintos.
3. Encontrar el resto obtenido cuando el número N = 11 + 22 + 33 + · · · + 100100 es dividido por 16.
4. Si p es un número primo, probar que 2p + 3p nunca es una potencia perfecta.
5. Encontrar todos los enteros n para los cuales n2 + n + 41 es un cuadrado perfecto.

6. Cuál es el menor número el cual contiene solo 1’s en su representación decimal y que es divisible por
33...3, donde el dı́gito 3 se repite 100 veces.
7. ¿Cuál de los enteros 101, 10101, 1010101,..., con 0’s y 1’s alternos, comenzando y terminando con 1,
pueden ser primos?

8. Probar que 22225555 + 55552222 es divisible por 7.

9. Probar que un producto de n enteros positivos formando una progresión aritmética cuya diferencia
común es primo relativo a n es divisible por n!.
10. Encontrar todos los enteros positivos que pueden ser expresados como la suma de tres distintos números
compuestos.

11. Encontrar todos los números naturales n tal que [n2 /5] es un primo.
12. Sea N un número par no divisible por 10. ¿Qué dı́gito esta en el lugar diez de el número N 20 ?.
2p−1 − 1
13. Encontrar todos los primos p tales que es un cuadrado perfecto.
p
14. Encontrar todos los números naturales n tales que n3 − 18n2 + 115n − 391 es cubo de algún número
natural m.
15. Mostrar que x3 + y 3 + z 3 + t3 = 1999 tiene infinitas soluciones enteras.

16. La media aritmética de dos o más primos distintos es 27. Encontrar el mayor de tales primos.
17. Dados m enteros a1 , a2 , ..., am , mostrar que allı́ existe k, r con 0 ≤ k < r ≤ m tales que ak+1 + ak+2 +
· · · + ar es divisible por m.
18. Suponer que 101 números son elegidos de el conjunto S = {1, 2, 3, ..., 200}. Mostrar que dos de los
números elegidos son tales que uno es divisible por el otro.

7
19. Mostrar que entre cualesquiera 8 números compuestos seleccionados de los primeros 360 números
naturales,siempre habrá dos que no son primos relativos.
p−1
X 1
20. Sea p un primo impar. Mostrar que el numerador de es divisible por p.
k
k=1

log10 m
21. Sean m y n enteros primos relativos con m > n > 1. Probar que no puede ser un número
log10 n
racional.
a+1 b+1 √
22. Sean a, b enteros positivos tales que + es también un entero. Probar que gcd(a, b)≤ a + b.
b a
23. Determine todos los números reales x que satisfagan la ecuación

[x] + [2x] + [4x] + [8x] + [16x] + [32x] = 12345.

24. Sea s(N ) la suma de dı́gitos en la representación decimal de N . Probar que hay infinitos valores de n
para los cuales s(2n ) > s(2n+1 ).
25. Determinar el resto cuando 32n es dividido por 2n+3 .
26. Probar que, para cada n, existe a entero positivo An divisible por 2n y cuya representación decimal
contiene exactamente n dı́gitos cada uno de los cuales es 1 o 2.
27. Encontrar todos los enteros de la forma 2n tales que después de eliminar el primer dı́gito (de la
izquierda), nuevamente obtenemos una potencia de 2.
28. Sea {an } una secuencia estrictamente creciente de enteros positivos tales que

(i) a2n = an + n para todo n ≥ 1, y

(ii) si an es primo, entonces n es primo.

Probar que an = n para todo n.

29. Encontrar el menor lcm de 20 números naturales, no necesariamente distintos, cuya suma es 801.
30. Encontrar todos los pares de números naturales cuya suma es 5432 y el mı́nimo común múltiplo es
223020.

Conjunto 5
1. Encontrar todos los primos p y q tales que p2 + 7pq + q 2 es el cuadrado de un entero.
2. Si a, b, c son enteros positivos tales que a5 = b4 , c3 = d2 , y c − a = 19, encontrar d − b.
3. Encontrar el valor más grande posible de k para el cual 311 es expresable como la suma de k enteros
positivos consecutivos.
4. Encontrar el entero positivo más pequeño cuyo cubo termina con 888 en notación decimal.
5. Encontrar el resto obtenido cuando 199799 − 1997 es dividido por 19972 + 1998.
6. Sea n un entero positivo el cual no es divisible por 2 o 5. Probar que existeun infinito número de
números los cuales son divisibles por n y cuya representación decimal contiene sólo el dı́gito 1.
7. Encontrar todos los enteros positivos n tales que n + 9, 16n + 9 y 27n + 9 son todos cuadrados perfectos.
8. Probar que 2n es la suma de cuadrados de cuatro enteros positivos si y sólo si n es par.
9. Si m, n, k son enteros positivos, probar que

8
 (a) (mn)! es divisible por m!(n!)m ,
(b) (mnk)! es divisible por m!(n!)m (k!)mn ,
(c) (n2 )! es divisible por (n!)n+1 ,
(d) (n!)! es divisible por (n!)(n−1)! .

10. Sean a1 , a2 , ..., ar enteros positivos, y n = a1 + a2 + · · · + ar . Probar que

n!
(a) N = es un entero.
a1 ! a2 ! · · · ar !
(n − 1)! d
(b) Si, además, el gcd de a1 , a2 , ..., ar es d, entonces N1 = es un entero.
a1 ! a2 ! · · · ar !

11. La diferencia entre dos números primos es 100. Si los concatenamos (esto es, yuxtaponer uno al lado
del otro) en un orden, obtenemos otro número primo. Encontrar los dos primos y el primo concatenado.
12. Encontrar todos los primos p y q, y número pares n > 2, que satisfacen la ecuación

pn + pn−1 + · · · + 1 = q 2 + q + 1.

13. Encontrar todos los pares de enteros (x, y) tales que x3 + 113 = y 3 .

14. Dejar que S denote el conjunto de todas las 6-tuplas (a, b, c, d, e, f ) de enteros positivos tales que:
a2 + b2 + c2 + d2 + e2 = f 2 . Considere el conjunto

T = {abcdef : (a, b, c, d, e, f ) ∈ S}.

Encontrar el mayor común divisor de todos los miembros de T .

15. Sean α y β las raı́ces de la ecuación cuadrática x2 + mx − 1 = 0, donde m es un entero impar. Sea
λn = αn + β n para n ≥ 0. Probar que λn es un entero y que gcd(λn , λn+1 )=1.

16. Dejar que p1 , p2 , ... sea una secuencia de primos definida por p1 = 2, y, para n ≥ 1, pn+1 es el divisor
primo más grande de p1 p2 · · · pn + 1. (Por lo tanto, p2 = 3, p3 = 7.) Probar que pn 6= 5 para cualquier
n, y también que pn 6= 11 para cualquier n.
17. Encontrar todos los primos p y q tales que p(p + 1) + q(q + 1) = n(n + 1) para algún entero positivo n.
 
n
18. Para un entero positivo dado n, sean un y vn el número de coeficientes binomiales los cuales son
k
congruentes módulo 3 a 1 y 2 respectivamente. Probar que un > vn . Probar también que un − vn es
una potencia de 2.
 
n
19. Sea p un primo. Para un entero positivo dado n, sea un el número de coeficientes binomiales los
k
cuales no son divisibles por p. Probar que unp+r = (r + 1)un para 0 ≤ r ≤ p − 1.
 
n
20. Sea vn el número de coeficientes binomiales pares . Mostrar que existe un número infinito de
r
valores de n tales que vn = 0.

21. Encontrar el menor valor posible de a + b, donde a, b son enteros positivos tales que 11 divide a + 13b
y 13 divide a + 11b.
22. Probar que hay infinitos enteros positivos n tales que n(n + 1) puede ser expresado como una suma de
dos cuadrados positivos en al menos dos formas diferentes. (Aquı́ a2 + b2 y b2 + a2 se consideran como
la misma representación.)

23. Probar que hay infinitos pares enteros (m, n) tales que m|(n2 + 1) y n|(m2 + 1).

9
24. Si n es divisible por un primo impar y n > 3, probar que 2n + 1 tiene al menos dos divisores primos
distintos.
r
25. Mostrar que el número (22 )n − 1 tiene al menos 2r + 1 divisores primos distintos si n > 2r , a menos
que r = 1, n = 3.
n n
26. Probar que (i) 3n+1 divide 23 + 1 para todo n ≥ 1, y (ii) 3n+2 no divide 23 + 1 para cualquier n.
27. Dejar que n sea impar y gcd(a, n) = 1. Probar que si an + 1 es divisible por n, entonces n = 1 o
gcd(a + 1, n) > 1.
28. Determinar todos los enteros positivos n para los cuales n2 es un divisor de 2n + 1.
29. Encontrar todos los enteros a, b, c con 1 < a < b < c tales que (a − 1)(b − 1)(c − 1) es un divisor de
abc − 1.

30. La secuencia creciente 1, 3, 4, 9, 10, 12, 13,.... consiste de enteros positivos los cuales son potencias de
3 o sumas de distintas potencias de 3. ¿Cuál es el término número 1000 en ella?.

Conjunto 6
1. Sean x, y, z y n números naturales, y n ≥ z. Probar que la relación xn + y n = z n no es válida.
2. Probar que el producto de cuatro números naturales consecutivos no puede ser un cubo perfecto.
3. Determinar todos los pares integrales no negativos (x, y) para los cuales (xy − 7)2 = x2 + y 2 .
4. Mostrar que hay un número natural n tal que n! cuando está escrito en notación decimal termina
exactamente en 1993 ceros.
5. Encontrar la potencia más alta de 1991 que divide el número
1992 1990
19901991 + 19921991 .

6. Encontrar todos los números naturales n tales que el producto de sus dı́gitos (en notación decimal) es
igual a n2 − 10n − 22.
7. Sea n un entero más grande que 2, y Vn el conjunto de enteros 1 + kn, k = 1, 2, .... Un número m ∈ Vn
es llamado indescomponible en Vn si no es el producto de dos elementos en Vn . Probar que existe un
elemento N ∈ Vn que puede ser expresado como el producto de elementos indescomponibles en Vn en
más de una forma.
8. Sean m y n números naturales distintos. Suponer que, en su representación decimal, los tres último
dı́gitos de 1978m son iguales, respectivamente a los últimos tres dı́gitos de 1978n . Encontrar m, n tales
que m + n tiene el menor valor.
9. Mostrar que existen infinitos pares (a, b) de enteros positivos tales que

(i) ab(a + b) no es divisible por 7,

(ii) (a + b)7 − a7 − b7 es divisible por 77 .

10. Sean a, b, c y d enteros impares tales que 0 < a < b < c < d y ad = bc. Probar que si a + d = 2k
y b + c = 2m para algunos enteros positivos k y m, entonces a = 1. Determinar todos esos enteros
a, b, c, d.
11. Mostrar que existen infinitos conjuntos de enteros positivos consecutivos de 1983 cada uno de los cuales
es divisible por algún número de la forma a1983 con a ≥ 2.

10
12. Cada uno de los números x1 , x2 , ..., xn es igual a 1 o -1. Si

n
X
xi xi+1 xi+2 xi+3 = 0,
i=1

donde xn+1 = x1 , xn+2 = x2 y xn+3 = x3 , probar que n es divisible por 4.

13. Factorizar el número 51985 − 1 en un producto de 3 enteros cada uno de los cuales es mayor que 5100 .
14. Si (1 + x + x2 + x3 + x4 )496 = a0 + a1 x + · · · + a1984 x1984 ,

(a) Determinar el gcd de los coeficientes a3 , a8 , a13 , ..., a1983 ;

(b) Mostrar que 10347 > a992 > 10340

15. Sea k un entero positivo, a0 = 0 y, para n = 0, 1, 2, ....

p
an+1 = k(an + 1) + (k + 1)an + 2 k(k + 1)an (an + 1).

Probar que an es un entero positivo para n = 1, 2, 3, ....

16. Sea d cualquier entero positivo no igual a 2, 5 o 13. Mostrar que uno puede encontrar distintos a, b en
el conjunto {2, 5, 13, d} tales que ab − 1 no es un cuadrado.
17. Sea p unpprimo. Probar que si f (n) = n2 + n + p es primo para todos los enteros n tales que
0 ≤ n ≤ p/3, entonces f (n) es primo para todos los enteros n tales que 0 ≤ n ≤ p − 2.
a2 + b2
18. (a) Sean a y b enteros positivos tales que ab + 1 divide a2 + b2 . Mostrar que es el cuadrado de
ab + 1
un entero.
(b) Sea k un entero > 1. Mostrar que podemos encontrar cualquier número de pares (a, b) de enteros
a 2 + b2
positivos tales que = k 2 . También, mostrar que a ≥ k y b ≤ a3 para todos esos pares.
ab + 1
19. Sea n > 6 un entero y a1 , a2 , ...ak todos los números naturales menores que n y primo relativos a n. Si

a2 − a1 = a3 − a2 = · · · = ak − ak−1 > 0,

probar que n debe ser ya sea un primo o una potencia de 2.

n3 + 1
20. Determinar todos los pares ordenados (m, n) de enteros positivos tales que es un entero.
mn − 1
21. Sea p un primo. Mostrar que la congruencia x2 +x+3 ≡ 0 (mod p) es soluble si y sólo si x2 +x+25 ≡ 0
(mod p) es soluble.
22. Dejar que la suma de recı́procos de enteros 1,2,3,...,100 sea escrita como a/b, donde a, b son enteros
positivos los cuales son primos relativos. Probar que ab no es divisible por 5.
23. Sea p un primo mayor que 3. Si la suma de recı́procos de 1, 2, ..., p − 1 es m/n, donde m y n son
enteros, probar que p2 |m.
24. Mostrar que la ecuación

x4 + y 4 + z 4 − 2x2 y 2 − 2y 2 z 2 − 2z 2 x2 = 24

no tiene solución en enteros.

25. Si x y y son enteros positivos tales que xy divide x2 + y 2 − x, mostrar que x es un cuadrado perfecto.
26. Si n es un número natural para el cual 4n + 2n + 1 es un primo, mostrar que n es una potencia de 3.

11
27. Encontrar todos los números naturales n los cuales son sumas de dos números naturales compuestos
impares.
28. Mostrar que existe un conjunto S de 2000 enteros positivos distintos tales que cada elemento de S es
menor que 105 y no tres de S formen una progresión aritmética.
29. Notar que 122 = 144 termina en dos 4’s. Determinar la longitud de la cadena más larga de dı́gitos
iguales que no sean cero en los que el cuadrado de un entero puede terminar.
30. Para un entero k ≥ 2, definir f : N −→ N por
h i
f (n) = (n + n1/k )1/k + n,

donde [x] denota la parte integral de x. Probar que el rango f omite exactamente esos números
naturales que son potencias k-ésimas.

Conjunto 7
√
1. Sea n un entero positivo. Probar que si 2 + 2 28n2 + 1 es un entero, entonces es un cuadrado.
2. Encontrar todos los pares (n, k) de enteros positivos tales que la congruencia

ak ≡ 0 o 1 (mod n k )

se mantiene para cada entero a.

3. Determinar todas las soluciones integrales de la ecuación x2 + y 2 + z 2 = x2 y 2 .
4. Determinar todos los enteros k tales que la ecuación x2 + y 2 + z 2 = kxyz tiene soluciones no triviales
en enteros.
5. Sea r un entero mayor que 1 y 2 ≤ n ≤ (2r − 1)2 . Si x1 , ..., xn son enteros tales que

xr1 + xr2 + · · · + xrn = xr1 xr2 · · · xrn , xi ≥ 0 para todo i.

Probar que x1 = x2 = · · · = xn = 0.
6. Mostrar que la ecuación

x41 + x42 + · · · + x414 = 1599

no tiene soluciones en enteros.

7. Sea n un entero positivo. Determinar si hay o no distintos enteros positivos x1 , ..., xn tales que

x21 + x22 + · · · + x2n = y 3 y x31 + x32 + · · ·x3n = z 2 ,

simultáneamente, para enteros y, z.
8. Un entero n se llamará bueno si podemos escribir

n = a1 + a2 + · · · + ak ,

donde a1 , a2 , ..., ak son enteros positivos (no necesariamente distintos) tales que la suma de sus recı́procos
es 1. Dada la información de que los enteros 33 a 73 son buenos, pruebe que cada n ≥ 33 es bueno.
9. Probar que las raı́ces cúbicas de tres números primos distintos no pueden ser tres términos (no nece-
sariamente consecutivos) de una progresión aritmética.

12
10. Probar que las raı́ces cúbicas de tres números primos distintos no pueden ser tres términos (no nece-
sariamente consecutivos) de una progresión geométrica ni de una armónica.
11. Probar que para cada entero positivo n hay un conjunto finito Sn de enteros positivos tales que tiene n
elementos y la media geométrica de cada subconjunto de Sn es un entero. ¿Hay un conjunto infinito S
de enteros positivos tales que la media geométrica de cualquier subconjunto finito de S es un entero?.
12. Encontrar el menor valor de n > 1 tal que la media cuadrática de los primeros n números naturales es
un entero.
13. Encontrar todos los valores de n tales que 1 < n < 100 y la desviación estándar de los primeros n
números naturales es un entero.
14. (a) Mostrar que existe un entero positivo impar k tal que 2n + k es compuesto para todos los enteros
positivos n.
(b) Mostrar que existe un entero positivo k tal que k − 2n + 1 es compuesto para todos los enteros
positivos n.
15. ¿Existen 14 enteros positivos consecutivos cada uno de los cuales es divisible por uno o más primos p
de el intervalo 2 ≤ p ≤ 11?
16. ¿Existen 21 enteros positivos consecutivos cada uno de los cuales es divisible por uno o más primos p
de el intervalo 2 ≤ p ≤ 13?
17. El enésimo número triangular tn es dado por tn = n(n + 1)/2. Probar que

(a) n es un entero positivo par tal que tn es un cuadrado perfecto si y sólo si existen enteros x y y
satisfaciendo la ecuación x2 − 2y 2 = 1 y n = 2y 2 ;
(b) n es un entero positivo impar tal que tn es un cuadrado perfecto si y sólo si existen enteros x y y
satisfaciendo la ecuación x2 − 2y 2 = −1 y n = 2y 2 − 1;
(c) existe un infinito número de enteros pares n, tanto como enteros impares n, tales que tn es un
cuadrado.

18. Determinar todos los enteros positivos n tales que n! es divisible por la suma 1 + 2 + · · · + n.
19. Si a y b son enteros positivos tales que a|b2 , b2 |a3 , a3 |b4 , b4 |a5 , .... probar que a = b.
n
X
20. Probar que si n > 1, entonces sn = 1/j no es un entero.
j=1

n
X
21. Probar que si n > m ≥ 1, entonces sn = 1/j no es un entero.
j=m

22. Sea d un entero positivo, y

1 1 1
sn = + +···+ .
1 + d 1 + 2d 1 + nd
Asumiendo el teorema de Bertrand, el cual establece dado un entero n > 1, podemos encontrar un
primo tal que n ≤ p < 2n, probar que sn no es un entero para cualquier n ≥ 1.
23. Probar que n es expresable como una suma de enteros positivos consecutivos si y sólo si n no es una
potencia de 2.
24. Sea k ≥ 3 un entero fijo. Encontrar todas las secuencias finitas a1 , a2 , ..., ak de enteros positivos tales
que la suma de tres términos cualesquiera es divisible por cada uno de estos tres términos.
25. Probar que no hay polinomio no constante f (x) con coeficientes enteros tales que f (x) es primo para
cada entero positivo x.

13
26. Encontrar todas las trı́adas (a, b, c) de enteros distintos de cero satisfaciendo las siguientes condiciones:

a ≡ b (mod |c|), b ≡ c (mod |a|), c ≡ a (mod |b|), gcd(a, b, c) = 1, |a| ≤ |b| ≤ c.

27. Encontrar el entero positivo más pequeño n tal que φ(x) = n no tiene solución; exactamente dos
soluciones; exactamente tres soluciones; exactamente cuatro soluciones.
28. Encontrar todas las soluciones x de φ(x) = 24.
29. Suponer que I(x) denota el entero más cercano a x, donde elegimos el más grande si hay dos enteros.
Probar que para cualquier entero positivo n, tenemos

∞
X
I(n/2k ) = n.
k=1

30. Sea f (x) = x − [x] − 21 . Probar que

 
m 
X 1
f 2n x +  ≤ 1 para todo m ≥ 1 y para todo real x.
 
2

 
n=1

Conjunto 8
1. Si n es un entero positivo, probar que

√ √ √ √ √
[ n + n + 1] = [ 4n + 1] = [ 4n + 2] = [ 4n + 3]

Determinar todos los enteros r tales que

√ √ √
[ n + n + 1] = [ 4n + r] para todo n ≥ 1.

2. Si n es un entero positivo, probar que

   
8n + 13 n − 12 − [(n − 17)/25]
=
25 3

es independiente de n.
r 
X x X hxi
3. Probar que, para x > 0, = .
n √ n2
n≤x n≤ x

n hni n h i2
X X n
4. Probar que (2k − 1) = para todos los enteros positivos n.
k k
k=1 k=1

n   n  
n2
   
X k X k n(n − 1)
5. Probar que (i) = y (ii) = , para todos los enteros positivos n.
2 4 3 6
k=1 k=1

6. Si a = 1, 2, ..., 7, probar que existe un entero b (dependiente de a) tal que

n  
(2n + b)2
 
X k
= para todos los enteros positivos n.
a 8a
k=1
√ √
7. Mostrar que [(1 + 3)2n ] + 1 y [(1 + 3)2n+1 ] son ambos divisibles por 2n+1 . ¿Es esta la potencia más
alta de 2 divisora de ambos números?.

14
 8. Si 2k − 1 es primo (k > 1), mostrar que n = 2k−1 (2k − 1) es perfecto. Mostrar también que cada
número perfecto par es de esta forma.

9. Sea n un número perfecto par. Mostrar que n ≡ 6 (mod 10) o n ≡ 28 (mod 100). Mostrar también
que si n ≡ 6 (mod 100), entonces n = 6.
10. Sea n un número perfecto par, y n > 6. Probar que n ≡ 1 (mod 9) y n ≡ 4 (mod 6).
11. Sea n un número perfecto par, y n > 6. Probar que n puede ser expresado como una suma de cubos
impares consecutivos.
12. Probar que ningún divisor propio de un número perfecto puede ser perfecto.
13. Probar que un cuadrado perfecto no puede ser un número perfecto
14. Sea H(n) la media armónica de los divisores positivos de n. Probar que H(n) es un entero si n es
perfecto. ¿Existen números n para los cuales H(n) es un entero, pero n no es perfecto?
15. (a) Demuestre que ninguna potencia de un primo puede ser un número perfecto.
(b) Si n es un número perfecto impar, probar que n tiene al menos tres divisores primos distintos.
16. Si n es un número perfecto impar, probar que n puede ser expresado como n = pk11 pk22 · · · pkr r , donde
los pi son primos distintos, p1 ≡ k1 ≡ 1 (mod 4) y k2 , ..., kr son pares.
En los siguientes problemas, un denota al enésimo número de Fibonacci definido por u1 = u2 =
1, un+1 = un + un−1 para n > 2.
17. Probar que
(a) um+n = um−1 un + um un+1 para todo m ≥ 2, n ≥ 1,
(b) u2n+2 − u2n = u2n+2 .
18. Probar que
(a) 2n−1 un ≡ n (mod 5) para todo n ≥ 1,
(b) u21 + u22 + · · · + u2n = un un+1 para n ≥ 1,

19. Probar que, para m, n ≥ 1, tenemos

(a) u5n+2 > 10n para todo n ≥ 1,
(b) umn es divisible por um ,
(c) u3n es par, u4n es divisible por 3, y u5n es divisible por 5.

20. Probar que

(a) um un − um+1 un−1 = (−1)n−1 um−n+1 para m ≥ n ≥ 2,
(b) u2n − un+1 un−1 = (−1)n−1 para n ≥ 2,
(c) si m, n y m − n son enteros positivos, entonces un divisor común de um y un es también un divisor
de um−n .

21. Probar que, para todos los enteros positivos m, n,

(a) gcd(um , un ) = ud donde d = gcd(m, n),
(b) um |un si y sólo si m|n.
22. Probar que no hay entero positivo n para el cual u1 + u2 + · · · + un = 16 !.

23. Probar que, para cualquier entero positivo n, podemos encontrar n números de Fibonacci compuestos
consecutivos.
24. Probar que cualquier entero positivo N puede ser expresado como una suma de números de Fibonacci
distintos, no hay dos de los cuales son consecutivos.

15
 √ √
25. Sea α = 12 (1 + 5) y β = 12 (1 − 5). Probar que, para todo n ≥ 1,
n n
α −β
(a) un = √ ,
5
αn
(b) un es el entero más cercano a √ .
5
26. Sea p un primo y p > 5. Probar que ya sea p|up−1 o p|up+1 .
27. Probar que el producto un un+1 un+2 un+3 de cualesquiera cuatro número de Fibonacci es igual al área
de un triángulo Pitagórico.
28. Si m es un entero positivo par, probar que la suma de 2m números de Fibonacci consecutivos es
divisible por um . También determinar todos los enteros impares m con esta propiedad. Deducir que
la suma de 24 números consecutivos de Fibonacci es divisible por 24.

29. Determinar todos los enteros n tales que un + 1 es primo.

30. Probar que, para n ≥ 2,
     
n−1 n−2 n−3
un = + + +···
0 1 2

donde usamos la convención de que m m

0 = 1 y r = 0 cuando m < r o m < 0.

Conjunto 9
1. Sea Mn = 2n − 1 el enésimo número de Mersenne. Suponer que p y q = 2p + 1 son primos. probar que
(i) q divide Mp si q ≡ 1 o 7 (mod 8), y (ii) q divide Mp + 2 si q ≡ 3 o 5 (mod 8). Deducir que M11
y M23 no son primos.
2. Si p es un primo impar, probar que cualquier divisor primo de Mp es de la forma 2kp + 1. Deducir que
M13 es primo.
3. Si p es un primo impar, probar que cualquier divisor primo q de Mp es de la forma q = 8m ± 1
4. Probar que el número de Mersenne M29 es compuesto al encontrar su divisor primo más pequeño.
5. (a) Probar que dos números de Fermat son primos relativos, esto es, gcd(Fm , Fn ) = 1 para m > n ≥ 0.
Deducir que el número de primos es infinito.
(b) Usar la secuencia {an }, definida por

a1 = 2, an+1 = a2n − an + 1, for n ≥ 1,

mostrar que el número de primos es infinito.

6. Probar que si p es primo y p > 3, entonces,

3(p−1)/2 ≡ (−1)[(p+1)/6] (mod p).

7. Probar que, para n ≥ 1, el número de Fermat Fn es primo si y sólo si

3(Fn −1)/2 ≡ −1 (mod Fn ).

n
8. Cualquier primo divisor p de el número de Fermat Fn = 22 + 1, donde n ≥ 2, es de la forma
p = k · 2n+2 + 1. Deducir que F4 = 65537 es primo.
9. Para n ≥ 1, probar lo siguiente:

16
 n
(a) Hay infinitos números compuestos de la forma 22 + 3.
n
(b) Cada uno de los números 22 + 5 es compuesto.

10. Si 2n ≡ 2 (mod n) y n es compuesto, entonces n es un pseudoprimo. Mostrar que cada número de

Fermat es ya sea un primo o un pseudoprimo.
11. Si p y q son ambos primos y q|(2p + 1), probar que q = 3 o q = 2kp + 1 para algún entero k. Usar esto
para determinar el divisor primo más pequeño q > 3 de 229 + 1.
12. Si p es un primo, probar que el orden de 2 módulo p es una potencia de 2 si y sólo si p divide un
número de Fermat, Fk también, mostrar que no hay número de Fermat que sea divisible por 7, 13 o
97.
13. Para cualquier primo p > 3, probar que (2p + 1)/3 tiene un divisor primo más grande que p.
14. Sea p un primo impar. Probar que

(a) p puede ser expresado como la diferencia de dos cuadrados

(b) p puede ser expresado como la diferencia de dos cubos si y sólo si es de la forma 6tn + 1, donde
tn es un número triangular.
(c) cualquier primo de Fermat puede ser expresado como la diferencia de dos cuadrados, pero no de
dos cubos.

15. (a) Si u y v son números reales, y m es un entero positivo, probar que

1 2m
u2m + u2m−1 v + u2m−2 v 2 + · · · + v 2m ≥ u .
2
(b) Si p y q son primos impares y si q = xp − y p , donde x, y son enteros, probar que q ≡ 1 (mod p).
16. Si un primo de Fermat Fn puede ser expresado como Fn = xk − y k donde x, y son enteros, probar que
k = 2.
17. Probar que un número de Carmichael es necesariamente impar.
18. (a) Sea n = 2p, donde p es un primo impar. Probar que an−1 ≡ a (mod n) para cualquier a.
(b) ¿Existe un número impar n con la propiedad que an−1 ≡ a (mod n) para cada a?
(c) Si n = 195, probar que an−2 ≡ a (mod n) para cualquier a.
19. Mostrar que 341 y 645 son pseudoprimos, pero no números de Carmichael.
20. Mostrar que 2 · 73 · 1103 es un pseudoprimo par.
21. Mostrar que existe un número infinito de pseudoprimos.
22. (a) Sea p un primo. Probar que p2 es un pseudoprimo si y sólo si 2p−1 ≡ 1 (mod p2 ).
(b) Mostrar que existen enteros positivos n tales que n2 es un pseudoprimo.
23. (a) Sea a > 1 y m un número compuesto tal que am ≡ a (mod m). Si m es primo relativo a a − 1,
mostrar que existe un número infinito de números compuestos n tales que an ≡ a (mod n).
(b) Mostrar que existe un número infinito de números compuestos n tales que 3n ≡ 3 (mod n).
24. Sea n = p1 p2 · · · pk , donde los pi son primos distintos y k > 1. Si pi − 1 divide n − 1 para cada i,
probar que an ≡ a (mod n) para todos los enteros positivos a.
25. Suponer que n es un número compuesto tal que an−1 ≡ 1 (mod n) siempre que a es primo relativo a
n. Probar que n es producto de primos distintos.
26. Sea n = p1 p2 · · · pk donde los pi son primos distintos. Suponer también que an−1 ≡ 1 (mod n) siempre
que a es primo relativo a n. Probar que pi − 1 divide n − 1 para cada i.

17
27. Probar que para un número compuesto n, las siguientes dos declaraciones son equivalentes:

(i) an ≡ a (mod n) para todos los enteros positivos a;

(ii) an−1 ≡ 1 (mod n) para todos los enteros positivos a los cuales son primos relativos a n.

28. Probar que 561, 1105, 1729 y 2465 son números de Carmichael.
29. Probar que si 6k + 1, 12k + 1 y 18k + 1 son primos, entonces

n = (6k + 1)(12k + 1)(18k + 1)

es un número de Carmichael. Verificar que 1729 es un número de esta forma.

30. Suponer que n es un número compuesto tal que an−1 ≡ 1 (mod n) siempre que a es primo relativo a
n. Probar que n es producto de al menos tres primos.

Conjunto 10
1. Recordemos que un entero n > 1 es altamente compuesto si tiene más divisores que todos los enteros
positivos menores que el. Cualquier n > 1 puede ser expresado como

n = 2n1 3n2 5n3 · · · pnr r ,

donde pi es el i−ésimo primo, ni ≥ 0 y nr > 0. Probar que si n es altamente compuesto, entonces

n1 ≥ n2 ≥ · · · ≥ nr . Usando el teorema de Bertrand, o de otro modo, mostrar que el último exponente
nr es ya sea 1 o 2. Determinar aquellos números altamente compuestos para los cuales nr = 2.
2. Sea gcd(a, b) = 1 y c un entero positivo. Probar que hay un entero x tal que gcd(a + bx, c) = 1.
3. Suponer que p = 12k + 1 y q = 24k + 1 son primos para algún número natural k. Si n = pq, probar
que 2n ≡ 2 (mod n) y 3n ≡ 3 (mod n).
4. (a) Sea p un primo impar y t un entero positivo no divisible por p. Probar que si p puede ser representado
como p = x2 + ty 2 con enteros positivos x y y, entonces (−t)(p−1)/2 ≡ 1 (mod p), es decir, −t es un
residuo cuadrático de p.
(b) Probar que un primo p puede ser expresado como p = a2 + 2b2 para algunos enteros positivos a y
b, si y sólo si p es de la forma 8k + 1 u 8k + 3.
5. (a) Probar que un primo p puede ser representado como p = a2 + 3b2 con enteros positivos a y b, si y
sólo si es de la forma 6k + 1.
(b) Probar que un primo p puede ser simultáneamente expresado en las formas x2 + y 2 , u2 + 2v 2 , y
r2 + 3s2 , si y sólo si p = 24k + 1 para algún entero k.
6. Probar que existe un número infinito de primos

(a) de la forma 8k + 3, y
(b) de la forma 6k + 1.

7. Probar la siguiente generalización del teorema de Euler:

an ≡ an−φ(n) (mod n)

para todos los enteros a.

8. Sea n un entero más grande que 1. Probar que n es primo si y sólo si hay un entero positivo a tal que

an−1 ≡ 1 (mod n) pero ad 6≡ 1 (mod n)

para cada divisor propio d de n − 1.

18
 9. (a) Sea p un primo. Si gcd(a, p) = 1 = gcd(n, p − 1) probar que la congruencia xn ≡ a (mod p) tiene
una solución única módulo p.
(b) Sea p un primo de la forma 3k + 2. Mostrar que la congruencia x3 ≡ a (mod p) tiene una solución
para 1 ≤ a ≤ p − 1. También, mostrar que si p es de la forma 3k + 1, entonces esta congruencia tiene
una solución para solo un tercio de tales valores de a.
10. (a) Sea n ≥ 3 y k impares. Probar que la congruencia x2 ≡ k (mod 2n ) tiene una solución si y sólo si
k ≡ 1 (mod 8).
(b) Sea n ≥ 3 y k ≡ 1 (mod 8). Probar que la congruencia x2 ≡ k (mod 2n ) tiene exactamente cuatro
soluciones incongruentes.
11. Sea d un entero positivo el cual no es un cuadrado perfecto. Se sabe que, para cualquier d, la ecuación
x2 − dy 2 = 1 tiene una solución en enteros positivos x, y.

(a) Probar que x2 − dy 2 = −1 no tiene solución si d ≡ 3 (mod 4).

(b) Probar que si x2 − dy 2 = N tiene una solución, tiene infinitas soluciones.
(c) Si k es cualquier entero positivo, probar que hay infinitas soluciones en enteros de x2 − dy 2 = 1
con k|y.

12. Determinar todos los triples Pitagóricos (x, y, z) formando (a) una progresión aritmética, (b) una
progresión geométrica.
13. Si x, y, z es un triple Pitagórico primitivo, probar que x + y y x − y son congruentes módulo 8 a 1 o -1.
14. (a) Probar que cada entero positivo n puede ser expresado en la forma n = x2 + y 2 − z 2 .
(b) Probar que si x, y, z son enteros tales que x2 + y 2 = z 2 , entonces xy es divisible por 12, y xyz es
divisible por 60.
1 1 1
(c) Probar que si x, y, z son enteros diferentes de cero tales que 2 + 2 = 2 , entonces xy es divisible
x y z
por 60.
15. Considere la colección de triples Pitagóricos primitivos x, y, z, donde x, z son impares y y es par. Probar
que existen infinitos triples (x, y, z) en los que

(a) el miembro par y es un cuadrado perfecto,

(b) el miembro impar x es un cuadrado perfecto,
(c) el miembro impar z es un cuadrado perfecto.

16. Probar que no hay triple Pitagórico (x, y, z) en la cual ambos x y y son cuadrados perfectos.

17. Sea (x, y, z) un triple Pitagórico primitivo en la cual z es un cuadrado perfecto. Probar que ni x ni y
pueden ser un cuadrado perfecto.
18. Considere la colección de triples Pitagóricos primitivos (x, y, z) donde x, z son impares y y es par.
Probar que, para un n dado, existen al menos n tales triples que tienen

(a) el mismo valor para x,

(b) el mismo valor para y.

19. Probar que existe un infinito número de triples Pitagóricos primitivos (x, y, z) en los cuales x y y son
enteros positivos consecutivos. Da tres triples.

20. (a) Probar que existen infinitos triples Pitagóricos primitivos (x, y, z) en los cuales x y y son números
triangulares consecutivos.
(b) Deducir de (a) que existen infinitos números triangulares que son cuadrados perfectos. Obtener
tres de esos números triangulares.

19
21. Probar que podemos encontrar una secuencia a1 , a2 , a3 , ... de enteros positivos tales que, para todo
n ≥ 2,

a21 + a22 + · · · + a2n = el cuadrado de un entero.

22. Probar que el radio de el incı́rculo de un triángulo Pitagórico es siempre un entero.

23. Para un entero positivo dado n, mostrar que hay un triángulo Pitagórico cuyo radio de cuyo incı́rculo es
n. Mostrar también que si n es un primo impar, entonces hay exactamente tres triángulos Pitagóricos
con esta propiedad.

24. Encontrar todos los triángulos Pitagóricos cuyas áreas son iguales a sus perı́metros.
25. Probar que

(a) la ecuación Diofantina x4 − y 4 = z 2 no tiene solución con yz 6= 0,

(b) no hay enteros positivos a, b, tales que ambos a2 + b2 y a2 − b2 son cuadrados de enteros, y a 6= b,
(c) no hay triángulo Pitagórico cuya área es el cuadrado de un entero.

26. Asumir, por conveniencia, que en un triple Pitagórico primitivo (x, y, z) de enteros positivos, el primer
componente x es impar y el segundo componente y es par. Suponer que (x, y, z) y (a, b, c) son dos
triples primitivos. Sea gcd(c, z) = 1 y w = cz. Probar que se pueden combinar para formar dos triples
(u1 , v1 , w) y (u2 , v2 , w) de el mismo tipo y que tienen el mismo tercer componente w.
27. Asumir, como antes, que en un triple Pitagórico primitivo, el primer componente es impar y el segundo
componente es par. Sea (x, y, z) un triple, p un primo congruente a 1 módulo 4, gcd(z, p) = 1 y w = pz.

(a) Probar que (x, y, z) genera dos triples (u1 , v1 , w) y (u2 , v2 , w) de el mismo tipo y que tienen el
mismo tercer componente w.
(b) también, mostrar que cada uno de esos triples (u, v, w), con este w, corresponde a un triple (x, y, z)
que genera (u, v, w).

28. Asumir, como en el problema previo, que en un triple Pitagórico primitivo, el primer componente es
impar y el segundo componente es par. Suponer que hay exactamente m triples (xi , yi , z), i = 1, ..., m,
teniendo el mismo tercer componente z. Sea p un primo de la forma 4k + 1, primo relativo a z, y
w = pz. Probar que existen exactamente 2m triples primitivos que tienen el mismo tercer componente
w.
29. Sea N el producto de k primos distintos cada uno de los cuales es congruente a 1 módulo 4. Probar
que existen exactamente 2k−1 triples Pitagóricos primitivos (xi , yi , N ) cuyos primeros componentes xi
son impares y los segundos componentes yi son pares, y tienen el mismo tercer componente N .
30. Como en el problema previo, sea N el producto de k primos distintos cada uno de los cuales es
congruente a 1 módulo 4.

(a) Determinar el número de triples Pitagóricos (x, y, N ) que tienen el mismo tercer componente N .
(b) Encontrar todos los triples Pitagóricos (x, y, 105).

20