CONGRUENCIAS CUADRTICAS MDULO PRIMO

Si , las congruencias se pueden resolver por simple inspeccin.

Adems, por lo tanto las congruencias cuadrticas mdulo dos son
equivalentes a congruencias lineales.

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 .

Demostracin: Por hiptesis y es un primo impar, luego y por lo tanto

la congruencia cuadrtica es equivalente la congruencia

Por lo tanto si tiene solucin entonces tiene solucin y es un cuadrado mdulo .

Recprocamente, supongamos que la congruencia tiene solucin

Y la congruencia se convierte en luego divide a , es decir divide a , por lo que divide

a o divide a , es decir:

Y estas congruencias lineales tienen solucin nica porque

Observacin:

El teorema anterior nos indica que resolver congruencias

cuadrticas

mdulo un primo, es equivalente a resolver congruencias de la forma .

El teorema de Lagrange nos garantiza que esta congruencia tiene a lo ms

2 soluciones.

Si es solucin la otra solucin es porque:

Luego, por transitividad

Ejemplo: Resolver .

, de acuerdo con la proposicin anterior las soluciones de la

ecuacin son las soluciones de las congruencias

y ,
donde d es solucin de la congruencia
.

Ejemplo: Resolver .

, de acuerdo con la proposicin anterior las soluciones de la

ecuacin son las soluciones de las congruencias

y ,
donde d es solucin de la congruencia
.
Debemos resolver entonces la congruencia , , pero Luego , por simple inspeccin ,
es decir

Ejemplo: Resolver .

, de acuerdo con la proposicin anterior las soluciones de la

ecuacin son las soluciones de las congruencias

y ,
donde d es solucin de la congruencia
.
Debemos resolver entonces la congruencia , , pero Luego , por simple inspeccin ,
es decir
Obtenemos entonces las congruencias:
y
y
Puesto que , tenemos que
-y
Entonces las soluciones de y

En conclusin la solucin de congruencias

se reduce a la solucin de

congruencias lineales y a la solucin de la congruencia .

Si divide a y la solucin de la congruencia es la solucin trivial Por esto nos
interesa slo el caso en que
Para resolver congruencias cuadrticas mdulo primo, basta saber decidir
cundo un nmero es un cuadrado mdulo dicho primo.

5.2 Definicin: Sea un primo impar y un entero tal que Si la congruencia

Tiene solucin, decimos que es un residuo cuadrtico mdulo .

Ejemplo: la siguiente tabla nos muestra los cuadrados mdulo 5, 7 y 11

1
1

4
4

9
9

5
5

3
3

3
3

10

5
5

9
9

4
4

1
1

Ejemplo: la siguiente tabla nos muestra los cuadrados mdulo 5, 7 y 11

1
1

4
4

9
9

5
5

3
3

3
3

10

5
5

9
9

4
4

1
1

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

El Smbolo de Legendre

5.4 Definicin: Si es un primo impar y , definimos el smbolo de Legendre o

como sigue:

El Smbolo de Legendre

5.4 Definicin: Si es un primo impar y , definimos el smbolo de Legendre o

como sigue:

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

5.6 Teorema: Sea

un primo impar y enteros:

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

de Euler: si es un primo impar y entonces:

Criterio

de Euler: si es un primo impar y entonces:

Ejemplo: Sea y:

Residuos cuadrticos

No residuos cuadrticos

Ejemplo:

es 2 residuo cuadrtico mdulo 13?

Por el criterio de Euler

Adems , por lo que
Es decir por lo tanto 2 no es residuo cuadrtico mdulo 13 y
la congruencia
no tiene solucin.

Propiedades del smbolo de Legendre

5.8 Teorema: Sea un primo impar y sean enteros primos relativos con ,
entonces:
1. Si

Ejemplo determine si 23 es un residuo cuadrtico mdulo 31 ( o lo que es lo mismo,

determine si la congruencia tiene solucin).

Calculemos el smbolo de Legendre :
por propiedad 1. porque
por propiedad 5.
por propiedad 6.
=

En conclusin y para calcular usamos el criterio de Euler:

,
Pero y , por lo tanto
Es decir 23 no es residuo cuadrtico mdulo 31 y por lo tanto la congruencia
no tiene solucin

Observacin: en general para conocer

para cualquier entero basta

conocer para todos los primos impares y menores que .

Corolario:

Si es un primo impar y
representacin cannica de es
Entonces:

un entero tal que

y la