Reciprocidad Cuadrática

IMCA, 05 se junio de 2015

Definición: Para un primo p y un número entero a, se define


   0 si p | a
a
= 1 si a es resto cuadrático módulo p
p
−1 si a no es resto cuadrático módulo p


 
a p−1
Teorema 1. (Criterio de Euler) Para todo primo p impar y entero a con p 6| a se cumple que ≡a 2
      p
−1 p−1 ab a b
(mod p). En particular = (−1) 2 . El criterio de Euler también prueba que = .
p p p p

Teorema 2. (Lema de Gauss) Sea p un primo impar y entero a con p 6| a. Definimos el menor residuo de
a (mod n) como el entero a0 tal que a0 ≡ a (mod n) y − n2 < a0 < n2 . Seaaj el menor residuo de aj (mod p) y
a
` el número de enteros 1 ≤ j ≤ p−1
2 para los cuales aj < 0. Entonces = (−1)` .
p
 
2 p2 −1
Teorema 3. Para todo primo p impar se cumple que = (−1) 8 .
p

Teorema 1. (Ley de Reciprocidad Cuadrática) Para todos los primos impares distintos p, q se cumple
que
  
p q p−1 q−1
= (−1) 2 · 2 .
q p

Problemas

1. Probar que el número 2n + 1 no posee un divisor primo de la forma 8k − 1.

n
2. Probar que para cualquier entero positivo n, el número 23 + 1 tiene al menos n divisores primos de la
forma 8k + 3.

3. Sea n un entero positivo tal que la ecuación x2 + xy + y 2 = n tiene una solución en los números racionales.
Probar que dicha ecuación también tiene una solución en los números enteros.

4. Encontrar un número n entre 100 y 1997 tal que n | 2n + 2.

5. Sean f, g : Z0+ → Z0+ funciones tales que

• g es sobreyectiva;

• 2f (n)2 = n2 + g(n)2 para todo entero positivo n;

1
 √
• |f (n) − n| ≤ 2004 n para todo n.

Probar que f tiene una cantidad infinita de puntos fijos.

 
a
6. Suponga que a es un entero positivo no cuadrado, entonces = −1 para infinitos números primos p.
p

7. Suponga que a1 , a2 , . . . , a2004 son enteros no negativos tales que an1 + an2 + · · · + an2004 es un cuadrado
perfecto para todos los enteros positivos n. ¿Cuál es la menor cantidad de ceros en tales enteros?

8. Suponga que f ∈ Z[x] es un polinomio de segundo grado tal que para cualquier primo p hay al menos un
entero n para el cual p | f (n). Probar que f tiene raı́ces racionales.

p−1  
X i
9. Sea p un primo impar y sea f (x) = xi−1 .
i=1
p

(a) Probar que f es divisible por x − 1 pero no po (x − 1)2 si y sólo si p ≡ 3 (mod 4).
(b) Probar que si p ≡ 5 (mod 8) entonces f es divisible por (x − 1)2 pero no por (x − 1)3 .

10. Sean p, q primos impares distintos. Probar que la ecuación

x21 − x22 + x23 − x24 + · · · + x2p = 1

p−1
tiene q p−1 + q 2 soluciones en (Zp )p .

11. Encontrar todos los enteros positivos n tales que 2n − 1 | 3n − 1.

12. Sea p ≡ 2 (mod 3) un número primo. Probar que la ecuación

xp1 + xp2 + · · · + xpn + 1 = (x1 + x2 + · · · + xn )2

no tiene soluciones en los enteros.

13. Sea x1 = 7 y xn+1 = 2x2n −1 para todo n ≥ 1. Probar que 2003 no divide a ningún término de la secuencia.

14. Probar que el número 3n + 2 no tiene divisores primos de la forma 24k + 13.

n k−1
15. Sea k = 22 + 1 para algún entero positivo n. Probar que k es primo si y sólo si k es un factor de 3 2 + 1.

16. ¿Cuál es el número de soluciones de la ecuación a2 + b2 = 1 en (Zp )2 ? ¿Cuál es el número de soluciones

de la ecuación a2 − b2 = 1 en (Zp )2 ?

17. Encontrar todos los números primos q tales que 1993 | (q − 1)q + 1.

√ m
18. Sea p ≡ −1 (mod 8) un número primo y sean m, n enteros positivos tales que p > . Probar que
n
√ m 1
p> + .
n mn

2
19. Sean a y b enteros coprimos con un primo impar p. Probar que
p−1  2   
X ai + bi a
=− .
i=1
p p

2
20. Sea A el conjunto de todos los números primos que dividen a al menos uno de los números 2n +1
− 3n .
Probar que A y Z − A son infinitos.

21. Sea p un número primo. Probar que los siguientes enunciados son equivalentes

(a) Existe un entero positivo n tal que p | n2 − n + 3.

(b) Existe un entero positivo m tal que p | n2 − n + 25.

22. Suponga que p es un primo impar. Sean A y B dos subconjuntos distintos no vacı́os de {1, 2, . . . , p − 1}
tales que

• A ∪ B = {1, 2, . . . , p − 1};
• Si a, b están ambos en A o ambos en B, entonces ab (mod p) ∈ A;
• Si a ∈ A y b ∈ B, entonces ab (mod p) ∈ B.

Encontrar tales subconjuntos A, B.

23. Sean m, n enteros mayores que 1 con n impar. Suponga que n es un residuo cuadrático mod p para
cualquier número primo p ≡ −1 (mod 2m ) suficientemente grande. Probar que n es un cuadrado perfecto.

24. Probar que si n es un entero positivo tal que la ecuación x3 − 3xy 2 + y 3 = n tiene una solución en los
enteros (x, y), entonces tiene al menos tres de tales soluciones.

25. Suponga que para cierto primo p un polinomio con coeficientes enteros f (x) = ax2 + bx + c toma los
valores de 2p − 1 cuadrados perfectos consecutivos. Probar que p | b2 − 4ac.

26. Probar que no existen enteros positivos coprimos m, n tales que φ(5m − 1) = 5n − 1.

27. Sean a, b enteros positivos de la misma paridad con a > 1. Probar que 2a − 1 no es un divisor de 3b − 1.

(m + 3)n + 1
28. Sean m, n enteros positivos tales que A = es un entero. Probar que A es impar.
3m

29. Probar que 3n + 1 no posee un divisor de la forma 12k + 11.

x2 − 2
30. Sea p ≡ −1 (mod 8) un número primo. Probar que existe un entero x tal que es el cuadrado de
p
un entero.

31. Sea p = 4k + 3 un número primo. Encontrar el número de residuos distintos mod p de (x2 + y 2 )2 donde
(x, p) = (y, p) = 1.

3
32. Sea p un primo de la forma 4k + 1 tal que p2 | 2p − 2. Probar que el mayor divisor primo q de 2p − 1
satisface 2q > (6p)p .

33. Encontrar todos los enteros positivos a, b, c, d tales que a + b + d2 = 4abc.

34. Sea p un número primo de la forma 4k + 1. Probar que

p−1
X4 j
p k p2 − 1
jp = .
j=1
12