Proposicin: Sea un nmero primo impar y sean enteros tales que Entonces la
congruencia cuadrtica
tiene solucin si y slo si la congruencia
tiene solucin.
Adems, las soluciones de son exactamente las soluciones de
,y,
donde d es solucin de la congruencia .
Observacin:
cuadrticas
Ejemplo: Resolver .
Ejemplo: Resolver .
Ejemplo: Resolver .
se reduce a la solucin de
1
1
4
4
9
9
5
5
3
3
3
3
10
5
5
9
9
4
4
1
1
1
1
4
4
9
9
5
5
3
3
3
3
10
5
5
9
9
4
4
1
1
El Smbolo de Legendre
El Smbolo de Legendre
Ejemplo:
Residuos cuadrticos mdulo 5 : 1 y 4
Residuos cuadrticos mdulo 7: 1, 2 y 4
Residuos cuadrticos mdulo 11: 1, 3, 4, 5 y 9
y
1. Si y
2. Hay exactamente residuos cuadrticos mdulo incongruentes.
Ejemplo: sean que cumplen las hiptesis de la parte 1. entonces se debe
cumplir que sabemos que 5 es un residuo cuadrtico mdulo 11 porque
, luego Es evidente que 16 tambin es un residuo cuadrtico
Criterio
Criterio
Ejemplo: Sea y:
Residuos cuadrticos
No residuos cuadrticos
Ejemplo:
5.8 Teorema: Sea un primo impar y sean enteros primos relativos con ,
entonces:
1. Si
,
Pero y , por lo tanto
Es decir 23 no es residuo cuadrtico mdulo 31 y por lo tanto la congruencia
no tiene solucin
Corolario:
Si es un primo impar y
representacin cannica de es
Entonces:
y la