Una aplicacion de los residuos cuadraticos al

calculo de sumas trigonometricas

Iveth V. Martnez
Daro Herrera
Resumen
Se realiza un estudio del uso de los residuos cuadr
aticos para la transformaci
on de sumas trigonometricas a expresiones m
as simples y otra forma de encontrar el n
umero de clase asociado a formas cuadr
aticas binarias
reducidas a traves de las sumas de Gau y el smbolo de Legendre. Adem
as
se analiza gr
aficamente el comportamiento de las sumas trigonometricas
al introducir una variable real en el argumento para un n
umero primo fijo.

1.

Introducci
on

Euler en 1754 presenta unadefinicion formal de residuo cuadr

atico y residuo
no cuadr
atico al encontrarse con la ecuaci
on cuadr
atica Diofantina de la forma
x2 n y los utiliz
o en la famosa Ley de Reciprocidad Cuadratica. Los residuos
cuadr
aticos en la actualidad no limita su aplicaci
on en la Ley de Reciprocidad
Cuadratica, presentada por Euler y Gau , sino que tienen diversas utilidades
en otras
areas de la ciencia como en el caso de la electronica (en el Dise
no de
difusores de sonidos, en difusores de residuos cuadr
aticos, entre otras) y en la
Matem
atica para simplificar el calculo de expresiones con alto grado de complejidad. En este artculo analizamos la importancia de los residuos cuadr
aticos
en la simplificaci
on de los calculos de sumas trigonometricas, en que el argumento involucra un primo impar, as como otra forma de encontrar de manera
r
apida y precisa el valor del n
umero de clases . Iniciamos con algunos conceptos y propiedades basicas que nos faciliten realizar, sistematicamente, las
transformaciones de una expresi
ona otra. A la vez nos apoyamos del Algebra
computacional, con el uso del software de aplicaci
on MATHEMATICA, version
7, para comparar los resultados obtenidos e introducir cambios que nos permita
generar nuevas inferencias.

2.

Nociones b
asicas

El concepto de residuos cuadr

aticos tiene su genesis de manera implcita en la
soluci
on de las ecuaciones cuadr
aticas Diofantina, de la forma x2 n. Estas
29

Factorial!-Revista matem
atica de la Universidad de Panam
a

30

ecuaciones fueron de interes para matematicos como Fermat al evidenciarse en

su primer teorema que 1 es un residuo cuadr
atico modulo p. Euler introduce en
1754 la terminologa de residuos cuadr
aticos al afirmar que Si existe un x tal
que x2 p es divisible por q, entonces p se dice un residuo o resto cuadr
atico
de q, ai no existe tal x, p se dice un no resto cuadr
atico de q. Lo que equivale
a resolver la ecuaci
on descrita en el parrafo anterior.
En 1772-1783, Bernoulli presenta un ensayo que es considerado un reescrito del
artculo de Euler, en donde realiza una recopilaci
on del material sobre residuos
cuadr
aticos, en especial los teoremas para decidir si -1 es un residuo cuadr
atico
modulo p o no. Estos resultados intrigaron y desconcertaron a Gau durante
muchos a
nos y el punto de partida fue una pregunta sencilla: Como son los
cuadrados perfectos a un modulo dado? Para tal efecto en el artculo 95 de
Disquisitiones Arithmeticae, adopta el lenguaje introducido por Euler, en el
que separa para cualquier modulo, todos los n
umeros en dos clases: la clase
que contiene los n
umeros que son congruentes a alg
un cuadrado y la clase que
contiene los n
umeros que no pueden ser congruentes a alg
un cuadrado. Los
n
umeros de la primera clase son los residuos cuadr
aticos y los segundos no
residuos cuadr
aticos.
Definicion 1: Para todo a y p un primo impar tal que (a, p) = 1, recibe el
nombre de residuo cuadr
atico modulo p si la congruencia x2 a(modp) tiene
una soluci
on. Si no tiene una soluci
on, entonces a es un residuo no cuadr
atico.
Ejemplo 1 Mediante una rutina desarrollada en Mathematica, se encuentra los
residuos cuadr
aticos para cualquier primo p. As para p = 7, 11 y 19 tenemos
que
In[1]= resp[p ]:=Table[Mod[x2 , p],{x,1,(p-1)/2};res[7] res[11] res[19]
Out[1]={1,4,2} {1,4,9,5,3}{1,4,9,16,17,11,7,5}

 
Legendre (1808) invent
o el smbolo ap para simplificar los calculos en la Ley
de Reciprocidad Cuadratica, definido de la forma siguiente.
Sea p un primo impar y (a,p) = 1, el smbolo de Legendre se define por
  
a
1 si a es un residuo cuadr
atico de p.
=
1 si a es un residuo cuadr
atico de p.
p
Vale la pena enunciar algunas propiedades de los residuos cuadr
aticos que seran
de utilidad a lo largo de este trabajo.
Propiedad 1. Para un primo impar p, los residuos cuadr
aticos de p son congru
2
2 2
.
entes modulo p con uno y s
olo uno de los enteros 1 , 2 , . . . , p1
2
Propiedad 2. Si p es un primo impar tal que p 1(mod4) y C es un conjunto
completo de residuos cuadr
aticos modulo p, entonces C C(modp).
Propiedad 3. (Artculo 98 de Disquisitiones Arithmeticae): El producto de dos
residuos cuadr
aticos de un primo p es un residuo; el producto de un residuo con
un no residuo es un no residuo; finalmente, el producto de dos no residuos es un
residuo cuadr
atico.
Propiedad 4. Sea p es un n
umero primo, entonces:
VOL.1, NO.1, JULIO 2011

c
Universidad
de Panama

31

Factorial!-Revista matem
atica de la Universidad de Panam
a

a) Si p 7(mod8), entonces los conjuntos

 2



2n /1 n p 1 y n2 /1 n p 1
son identicos modulo p.

b) Si p 3(mod8), entonces los conjuntos

 2

 2

2n /1 n p 1
y
n /1 n p 1
son identicos modulo p.

Los n
umeros complejos z soluciones de la ecuaci
on z n = 1, (n = 1,2, ...) se denominan races de la unidad y vienen dados por zn = e2k/n , k = 0, 1, 2, ..., n1.
Cuando k y n son coprimos se denominan races primitivas n-esimas de la
unidad.

Residuos cuadr
aticos y sumas trigonom
etricas
Sea p un primo impar, consideramos la suma
p1
2
X
T (p) = p
tan

n=1

n2
p

(1)

Si C es un sistema completo de residuos cuadr

aticos modulo p. En virtud de la
propiedad 1, la expresi
on (1) toma la forma
 
j
X
(2)
T (p) = p
tan
p
jC

ya que p es impar, p 1(mod4) o p 3(mod4) . Si p 1(mod4), por la

propiedad 2, C C(modp) lo que implica que T (p) = 0.
Ejemplo 2 Consideremos p = 13 y los conjunto de residuos cuadr
aticos C =
{1, 3, 4, 9, 10, 12} y C = {1, 3, 4, 9, 10, 12}. Se observa que 1 12
, 3 10, 4 9, 9 4, 10 3, 12 1 (mod13). De (2), obtenemos:
T (13)

13


= tan

13

+ tan

3
13

+ tan

4
13

+ tan

9
13

T (13)

13


= tan

13

+ tan

3
13

+ tan

4
13

+ tan

4
13

+ tan

+ tan

10
13

+ tan

3
13

12
13

+ tan



13



T (13) = 0
2i

Sean p 3(mod4) y = e p , entonces es una raz primitia p-esima de la

unidad. Al hacer uso de la idntidad:
tan(x) = i
VOL.1, NO.1, JULIO 2011

1 e2ix
1 + e2ix
c
Universidad
de Panama

Factorial!-Revista matem
atica de la Universidad de Panam
a

32

La formula (2), toma la forma:

T (p) =

X 1 j
p
1 + j

(3)

jC

En Laradji, A. (2010), se deriva de (3) que T (p) es equivalente a

T (p) =

p1
p1
X
i pX
(1)k
2k
2
j=0

(4)

k=1

Lo sorprendente es que la expresi

on
S(k, p) =

p1
X

2k ,

j=0

para k = 1, 2, . . . , p 1 es de un tipo particular de sumas incompletas de Gau,

las cuales se calculan a traves de la formula:
 q
k

p
(5)
S(k, p) = i
p
Combinando (4) y (5), obtenemos otra expresi
on para T (p) en funcion del smbolo de Legendre:
 
p1
pX
k
k+1
T (p) =
(6)
(1)
2
p
k=1
 
Esta nueva expresi
on presenta ventajas, ya que kp = 1, si k es un residuo
cuadr
atico o un residuo no cuadr
atico. Podemos calcular facilmente T (p) como
un entero impar divisible por p y no por otras potencias de p, de la siguiente
manera:
T (p) = p(q0 (p) qe (p))
(7)
donde qe (p) y qo (p) representa, respectivamente, la cantidad de residuos cuadr
atico
pares e impares modulo p.
Ejemplo 3 Analicemos el caso para p = 19 y el conjunto completo de residuos
cuadr
aticos C, dado en el ejemplo 1.
Tenemos que qo (p) = 6 y qe (p) = 3 y por lo tanto T (p) = 19(6 3) = 57.
Comparando este valor con el obtenido en Mathematica, la ecuacion T (p) en
(1) para cualquier primo impar, se obtiene:

h
h

2 ii
, {k, 0, (q-1)/2}
In[1] = T[a ]:= q Sum T an N[Pi,10]k
q
In[2] = T[19]
Out[1] = 57.000000

VOL.1, NO.1, JULIO 2011

c
Universidad
de Panama

Factorial!-Revista matem
atica de la Universidad de Panam
a

33

Con la finalidad de generalizar este estudio, consideremos un primo fijo p un

primo fijo y la funcion definida para todo x R por


X
jx
(8)
T (p, x) =
tan
p
jC

A continuacion presentamos una rutina en Mathematica para calcular esta nueva

suma para un p fijo.

A partir de esta rutina (funcion) se puede derivar dos tipos de gr

aficas, uno
para el caso discreto y el otro para el caso continuo. En el caso discreto cuando
fijamos p = 19 y variamos x de 0 a 42 el valor T [p, y] es 57 o -57, como se observa
a continuacion.

vemos que |T (19, x)| 57.

Procediendo de manera analoga para el caso continuo, la grafica viene dada por:

VOL.1, NO.1, JULIO 2011

c
Universidad
de Panama

Factorial!-Revista matem
atica de la Universidad de Panam
a

34

la expresi
on (8) es una funcion peri
odica y de perodo 19, continua y acotada.
De inmediato surge la pregunta, Se mantendr
a este comportamiento para otros
primos de la forma 4k + 3?, Procedamos analizar el caso p = 103 y x variando
de 0 hasta 210.
Por (7), y con la siguiente rutina en Mathematica obtenemos los valores de
T (p, x).

Entonces T (103) = 103(23 28) = 515. Igual que para el caso anterior;
se puede obtener, respectivamente, la gr
afica discreta y continua, las cuales
mostramos a continuacion.

VOL.1, NO.1, JULIO 2011

c
Universidad
de Panama

Factorial!-Revista matem
atica de la Universidad de Panam
a

35

Se observa el mismo comportamiento que el caso p = 19, es decir |T (103, x)|

|T (103)| = 515 y la expresi
on (8) es una funcion, (para p = 103) peri
odica
con perodo 103, continua y acotada. Sorprendente! Para todos los primos de
la forma 4k + 3, es posible demostrar que este comportamiento se mantiene.
Ahora describiremos un procedimiento para determinar el signo de T (p), para
tal efecto tengamos presente que:
Si p 3(mod4) entonces p 3(mod8) o p 7(mod8).
Del artculo 98, Gauss, F.(1995), la ecuaci
on (1) se reescribe:
 2
X
p1
p
n
T (p) =
tan
2 n=1
p
La Desigualdad de A. L. Whiteman
 2
p1
X
n
>0
cot
p
n=1
VOL.1, NO.1, JULIO 2011

c
Universidad
de Panama

Factorial!-Revista matem
atica de la Universidad de Panam
a

36

Tomando en cuenta la identidad tan = cot 2 cot2 la expresi

on en el
punto 2, se escribe de la forma


 2
p1
p1
X
X
2n2
n
2
2
cot
cot
T (p) =
p
p
p
n=1
n=1
As, si p 7(mod8) por la propiedad 4-a, se deduce que T (p) < 0 y el n
umero
de residuos cuadr
aticos impares es menor que el n
umero de residuos cuadr
aticos
pares. Si p 3(mod8) implica que T (p) > 0, (por la propiedad 4-b), y por ende
el n
umero de residuos cuadr
aticos impares es mayor que el n
umero de residuos
cuadr
aticos pares.

El n
umero de clases y el smbolo de Legendre
Los restos cuadr
aticos tambien se utilizan para hacer un calculo r
apido y preciso
del n
umero de clases de la forma cuadr
atica binarias reducidas. Presentamos,
primeramente, algunas definiciones u
tiles para centrarnos en el n
umero de clases
antes se
nalado.
Una forma cuadr
atica binaria es un polinomio f (x, y) Z[x, y], el cual es homogeneo de grado 2. Su forma general es:
f (x, y) = ax2 + bxy + cy 2
El discriminante de la forma cuadr
atica binaria f (x, y) = ax2 + bxy + cy 2 se
2
define por D = b 4ac. Si a y c son ambos positivos y D es negativo, diremos
que f es definida positiva. En el caso en que |b| a < c y si |b| = a o a = c
entonces b 0, diremos que f es reducida.
Un entero D es un discriminante fundamental si D 1(mod4) y es libre
de cuadrado o D 0(mod4) , D/4 es libre de cuadrado y D 2(mod4),
o D 3(mod4). En particular, si p es primo y p 3(mod4), p es un discrimi
nante fundamental.
El n
umero de clases h(D) se define como el n
umero de formas cuadr
aticas binarias reducidas de discriminante D. En el corolario 2.3 del artculo, B.C. Berndt
y A. Zaharescu (2008), prueban que
p1 

1 X
h(p) =
2 p

k=1

k
p

cot

k
p

A partir de esta u
ltima expresi
on y de los resultados aqu mostrados, se tiene
que:

si p 7(mod8).
qe (p) q0 (p)
h(p) =
1
si p 3(mod8).
3 [qe (p) q0 (p)]
Ejemplo 4 Calculemos h(11). Como 11 3(mod8), tenemos tenemos que:

VOL.1, NO.1, JULIO 2011

c
Universidad
de Panama

Factorial!-Revista matem
atica de la Universidad de Panam
a

1
(qo (11) qe (11)) =
3
Este tipo de calculos se pueden verificar con el
Mathematica
h(11) =

37

1
(4 1) = 1
3
uso de la siguiente rutina en

Esto nos indica que s

olo hay una forma cuadr
atica binaria reducida del discriminante -11, y as todas las formas de discriminante -11 son equivalentes y por
ende representan los mismos enteros.
Tambien obtenemos:
h(3) = h(7) = h(19) = h(43) = h(163) = 1
Gau, en Disquisitiones Arithmeticae, conjeturo nueve discriminantes fundamentales D asociados a la forma cuadr
atica con h(D) = 1 y en consecuencia
otros tantos cuerpos imaginarios con anillos de enteros donde vale el principio
de factorizaci
on u
nica.

Referencias
[1] Apostol, T. M. 1984. Introduccion a la Teora Analtica de N
umeros. SpringerVerlag, Barcelona. pp. 223-225
[2] Berndt, B.C. &Zaharescu, A. 2004. Finite Trigonometric sums and class
number. Math. Ann 330. 551-575.
[3] Boccara, Nino. 2007. Essentials of Mathematica: with Applications to Mathematics and Physics. Springer, Chicago Illinois.
[4] Burton, D. 1980. Elementary Number Theory. Allyn & Bacon, Boston. pp.
184-189
[5] Chamizo, F. 2010. Formas Cuadraticas Binarias Definidas Positivas.
http://www.uam.es/personal pdi/ciencias/fchamizo/kiosco/files/qua2010.
pdf
[6] Gau, K. F. 1995. Disquisitiones Arithmeticae. Universidad de Costa Rica,
San Jose.
[7] Krantz, S. G. 2010. An Episodic History of Matehemathic:
Mathematical Culture Through Problem Solving. TheMathematicalAssociation
of America, USA. pp. 187-189
[8] Laradji, A., Mignotte, M. & Tzanakis, N. 2010. Elementary
VOL.1, NO.1, JULIO 2011

c
Universidad
de Panama

Factorial!-Revista matem
atica de la Universidad de Panam
a

38

Trigonometric Sums related to Quadratic Residues. Math. N. T. pp 1-9

[9] Lemmermeyer, F. 2000. Reciprocity Laws: From Euler to Eisenstein. SpringerVerlag, New York. pp. 12-25
[10] Leveque, W. J. 1968. Teora Elemental de los N
umeros. Herrero Hermano,
Mexico: Centro Regional de Ayuda Tecnica, pp. 69-76
[11] Lopez, R. 2005. Formas Cuadraticas, Grupo de Clases y Factorizacion de
Enteros. http://smm.org.mx/SMMP/html/modules/Publicaciones/AM/Cm/35/
artExp06.pdf

VOL.1, NO.1, JULIO 2011

c
Universidad
de Panama