INTEIROS DE GAUSS E INTEIROS DE

EISENSTEIN
Guilherme Fujiwara, So Paulo SP
Nvel Avanado.
Vamos abordar nesse artigo a aritmtica de dois conjuntos de inteiros algbricos:
os Inteiros de Gauss e os Inteiros de Eisenstein.
1. INTEIROS DE GAUSS
Definimos o conjunto Z[i] dos inteiros de Gauss como Z[i] = {a + bi | a, b Z},
onde (i
2
= 1). A seguir veremos as duas coisas mais importantes de sua
aritmtica, o teorema da fatorao nica e os primos.
1.1 Norma
Vamos definir uma funo N: Z[i] Z+ chamada norma, tal que z Z[i], N(z) =
z
z
sendo
z
o conjugado complexo de z. Observe que como , b a ab ento
) ( ) ( ) ( ab N ab ab b a b a b b a a b N a N , ou seja, a norma
multiplicativa.
1.2. Unidades
As unidades em Z[i], analogamente a Z, so todos os elementos z Z[i] que
possuem inverso, ou seja, que
] [ ' i z Z
tal que . 1 ' z z Segue que se z = a + bi
uma unidade, ento + 1 1 ) ( ) ' ( ) ( ) ' ( 1
2 2
b a z N z N z N z z N
0 , 1 t b a ou , 0 a i b t t t Z Z ou 1 1 , e como esses quatro
tem inverso, todas as unidades so 1 t e . i t Observe ento que
] [i x Z

unidade
. 1 ) ( x N
1.3. Divisibilidade
Dizemos que para a, b Z[i], a|b (l-se a divide b) se
] [i c Z
tal que b = ac.
1.4. Diviso Euclidiana
Vamos ver como funciona a diviso euclidiana. A diviso Euclidiana a
existncia de
0 ], [ , ], [ , b i b a i r q Z Z
tal que a = bq + r, sendo
). ( ) ( 0 b N r N <
Para demonstr-la, basta dividir:
, , wi z b yi x a + +
onde x, y, z, w Z.
i
w z
xw yz
w z
yw xz
w z
ywi yzi xwi xz
wi z
wi z
wi z
yi x
wi z
yi x
b
a
2 2 2 2 2 2
2
+

+
+
+

+
+

+
+

+
+

Tomamos m e n como os inteiros mais prximos de

2 2
w z
yw xz
+
+
e
2 2
w z
xw yz
+

,
respectivamente. Note que
2
1
,
2 2 2 2

+

+
+

w z
xw yz
n
w z
yw xz
m Se q = (m + ni), ento:

,
_

,
_

+
+

,
_

i n
w z
xw yz
m
w z
xw yz
b q
b
a
b bq a r
2 2 2 2
) (
2
) (
2
1
2
1
) ( ) (
2 2
b N
b N
b N r N <

,
_

,
_

+
,
_

1.5. Lema de Euclides
A partir da diviso euclidiana podemos demonstrar o lema de Euclides, ou seja, se
p um primo de Gauss (ou seja, no pode ser escrito como o produto de dois
inteiros de Gauss cujas normas so maiores que 1), ento sendo a, b Z[i], p|ab
p|a ou p|b. Para demonstr-lo, vamos fazer sucessivas divises euclidianas, sendo
a0 = a e a1 = p. Seja ak + 2 o resto da diviso euclidiana de ak por ak+1. Temos ento
as divises:
1 1
1 1 2
4 3 3 2
3 2 2 1
2 1 1 0




+

+
+
+
+
+
n n n n
n n n n
a a q a
a a q a
a a q a
a a q a
a a q a

Observe que como ) ( ) ( 0

1 k k k
a N a N a <
+
, podemos tomar n tal que N(an +1)
= 0, ou seja, an + 1 = 0.
Logo an|an 1. Observe que
1
|
+ k n
a a e . | |
1

k n k n
a a a a Logo
n n
a a | e
, |
1 n n
a a ento indutivamente, , 0 , | n k k a a
k n
particularmente
a a a
n

0
| e . |
1
p a a
n
Tomando as j + 1 primeiras equaes e realizando
substituies adequadas, temos que aj = xj a1 + yj a0 = xj p +yj a; particularmente
. a y p x a
n n n
+
Voltando ao lema, veja que se p|a ento o lema est certo. Se p no divide a,
ento, como , | p a
n
an|a e an = xnp + yna, ento an {1; 1; i; i} e temos:
, | ) (
1
b p aby b px a b a y p x a
n n n n n n
+ +

pois
, | ab p
o que conclui a
demonstrao.
1.6. Fatorao nica
A fatorao nica uma das propriedades mais usadas em problemas envolvendo
nmeros inteiros. Vamos prov-la para os inteiros de Gauss. Primeiramente
provaremos que todo inteiro z de Gauss com norma maior que 1 pode ser escrito
como o produto de um ou mais primos de Gauss. Se N(z) = 2, como 2 primo e a
norma multiplicativa, ento z primo, portanto est provado. Considere N(z) > 2.
Se z primo a fatorao imediata. Se z no primo, ento z = a b N(z) =
N(a) N(b), onde N(a), N(b) > 1, portanto N(a), N(b) < N(z). Podemos supor, por
induo, que se N(x) < N(z), ento x fatorvel. Logo a e b so fatorveis, e
portanto z.
Para provar que esta fatorao unica, basta considerar as duas fatoraes p1p2
pn e q1q2qm . Suponha, por induo, que p1p2pn = q1q2qm, sendo uma
unidade, implica que a seqncia (pi) uma permutao (a menos que sejam
multiplicaes por unidades) da (qi). Se max{n; m} = 1, ento o resultado
imediato. Supondo que ele vale se max{n'; m'}< max{n; m}, pelo lema de
Euclides, vemos que para algum i, pn|qi. Sem perda de generalidade, i = m. Como
pn e qm so primos, ento qm = 'pn, onde ' uma unidade. Logo p1p2pn =
q1q2qm p1p2pn 1 =
. ... '
1 2 1 m
q q q
Por induo, p1, p2,...,pn-1 uma
permutao (a menos que sejam multiplicaes por unidades) de q1, q2, , qm,
portanto a fatorao nica est provada.
1.7. Nmeros primos
Vamos agora ver quem so os nmeros primos em Z[i]. Observe que se N()
primo em Z, ento um primo de Gauss (pois se fatora ento N() fatora).
Observe que todo primo divide N(), portanto ele deve dividir ao menos um
fator primo em Z de N(). Se dividir ao menos dois nmeros distintos
(absolutamente) x e y primos em Z, como sempre possvel tomar a, b Z tal que
ax + by = 1, teramos |1, um absurdo. Logo todo primo de Gauss divide
exatamente um primo inteiro positivo (e seu oposto negativo) em Z. Seja esse
primo inteiro positivo p. Temos trs casos:
Se p par, ento p = 2. Sendo = a + bi, ento a
2
+ b
2
= 2 = t 1 t i , e
obtemos os quatro primos 1 + i, 1 i, 1 + i e 1 i. Observe que eles so dois a
dois um a multiplicao por uma unidade do outro.
Se p 3 (md. 4), como x Z x
2
0 ou 1 (md. 4), ento, se existisse = c +
di, c, d Z, 1 < N() < p
2
tal que p = , facil ver que, como p um primo
inteiro c di , logo p = c
2
+ d
2
0, 1 ou 2 (mod.4), absurdo, pois p = 4k + 3.
Logo p um primo de Gauss.
Se p 1 (md. 4), ento, sendo x = 1 2 ( p 1)/2, ento:
2
) 1 (
... 2 1
2
) 1 (
... 2 1
2

p p
x
) 1 ( 1 ) 1 ( ) 2 ( ...
2
) 1 (
2
) 1 (
... 2 1
+

p p p
p p
) . ( 1 p md
Logo ). )( ( 1 |
2
i x i x x p + + Como um primo de Gauss que divide p, ento
Z, |x + i ou |x i |1, absurdo. Portanto Z[i] tal que p = . Seja
= a + bi e = c + di, a, b, c, d Z. Como p primo em z, ento mdc(a; b) =
mdc(c;d) = 1. Temos p = (a + bi)(c + di) = ac bd + (bc + ad)i. Como p Z, ento
bc = ad (a = c e b = d) ou (a = c e b = d) = t . Como p > 0, ento
, ) ( p N logo primo (e e seu conjugado so nicos primos de
Gauss que dividem p).
Portanto vimos que os nmeros primos em Z[i] so:
(1) O primo 1 + i e seus produtos pelas unidades.
(2) Os primos p em Z tal que p 3 (mod. 4) e seus produtos pelas unidades.
(3) Para cada primo p em Z+ tal que p 1 (mod. 4), os primos a + bi, a bi e
seus produtos pelas unidades, sendo a
2
+ b
2
= p.
1.8. Ternas pitgoricas
Agora que j vimos a aritmtica bsica dos inteiros de Gauss, vamos comear com
um resultado simples e interessante. Vamos achar as solues da equao a
2
+ b
2
=
c
2
, sendo a, b, c Z. Seja m = mdc(a; b), a' = a/m e b' = b/m. Temos ento m
2
(a
2
+ b
2
) = c
2
m|c. Seja ento c' = c/m, temos a'
2
+ b'
2
= c'
2
, mdc(a';b';c') = 1.
Note que a'
2
+ b'
2
= c'
2
(a'+ b'i)(a' b'i) = c'
2
. Observe que se d = mdc(a' + b'i;
a'b'i), ento d|2a' e d|2b' d|2. Se d no divide 1, ento d|a'
2
+ b'
2
a' e b' so
mpares, o que um absurdo, basta ver congruncia mdulo 4. Portanto d|1 a' +
b'i e a' + b'i so primos entre si, logo ambos so quadrados perfeitos. Observe
tambm que quaisquer a'e b' primos entre si tais que a' + b'i e a' b'i so quadrados
perfeitos so solues da equao. Portanto a'e b' formam uma soluo se e
somente se existem x, y, z, w Z tal que:
xy b
y x a
yi x i b a
yi x i b a
yi x i b a
wi z i b a
yi x i b a
2 '
'
) ( ' '
) ( ' '
) ( ' '
) ( ' '
) ( ' '
2 2
2
2
2
2
2

+ +

+ +

+
+ +
Veja ento que a' e b' so primos entre si se e s se x e y so primos entre si. Logo
as solues so a = (x
2
y
2
) d, b = 2xy d, ou vice-versa, e conseqentemente c
= (x
2
+ y
2
) d, para x, y, d Z, sendo x e y primos entre si.
1.9. O nmero de representaes de um inteiro como a
soma de dois quadrados
Provaremos agora o seguinte
Teorema. Dado n N , o nmero de pares a, b Z tais que n = a
2
+ b
2
igual
a quatro vezes a diferena entre o nmero de divisores da forma 4k + 1 de n e o
nmero de divisores da forma 4k + 3 de n.
Podemos expressar n da forma:
m m
m m i
k
k
q q q q p p n

) ( ... ) ( ... 2
1 1
1 1

Sendo pi primos de Gauss inteiros (da forma 4k + 3) e os pares de conjugados qi
i
q primos de Gauss (N(qi) da forma 4k + 1) e esses primos diferem dois a dois por
mais do que uma multiplicao por uma unidade.
Sendo n = a
2
+ b
2
= (a + bi)(a bi), ento, pelo teorema da fatorao nica e a
multiplicidade do conjugado, temos:
, ) ( ... ) ( ... ) 1 (
1 1 1
1
1 1
2 2
1
m m m
k
m m k
q q q q p p i bi a

+ +
onde
i i
0 e
uma unidade.
Portanto o nmero de representaes de m como a soma de dois quadrados ser 0
se algum
i
for mpar e ser 4(1 + 1)(m + 1) se todos i forem pares, sendo o
fator 4 pois h 4 escolhas possveis para a unidade.
Observe agora que a fatorao de n em primos inteiros ser:
m k
m k
q N q N p p n

) ( ... ) ( ... 2
1 1
1 1

Onde pi sero primos da forma 4k + 3 e N(qi) sero primos da forma 4k + 1.
Observe agora que um divisor mpar de n ser da forma:
, ) ( ... ) ( ...
1 1
1 1
m k
b
m
b a
k
a
q N q N p p d onde
m m k k
b b a a ,..., , ,...,
1 1 1 1
Note que se a1 + + ak par, ento d da forma 4k + 1, se for mpar da
forma 4k + 3. Portanto, conseguimos verificar que se algum i for mpar, o nmero
de ds da forma 4k + 3 ser igual ao nmero de ds da forma 4k + 1, e se todos os
i forem pares, a diferena entre esses nmeros ser (1 + 1)(m + 1), o que
termina a demonstrao do teorema.
1.10. Problemas
Problema 1. Determine todos os pares x, y Z tal que y
3
= x
2
+ 1
Problema 2. Sejam x, y, z N tais que xy = z
2
+ 1. Prove que existem inteiros
a, b, c, d tais que x = a
2
+ b
2
, y = c
2
+ d
2
e z = ac + bd.
Problema 3. Prove que existem duas seqncias inteiras (an) e (bn) infinitas e
estritamente crescentes tais que ak(ak + 1) divide 1
2
+
k
b para todo natural k.
2. INTEIROS DE EISENSTEIN
Vamos agora ver os Inteiros de Eisenstein. Definimos o conjunto Z[] dos
inteiros de Eisenstein como Z[] = {a + b| a, b Z}, sendo ,
2
3
2
1 i
+
donde
2
+ + 1 = 0. Para = a + b Z[] definiremos a norma como N() =
= a
2
ab + b
2
. Observe que essa norma segue as mesmas propriedades da
norma dos inteiros de Gauss ( inteira no negativa e multiplicativa).
2.1. Unidades
As unidades em Z[] so definidas como os seus elementos que possuem inverso,
ou seja u, tal que u
1
tal que u u
1
= 1 N(u) = 1 u = t 1, t , t (1 + ), e
verificamos que esses quatro nmeros tem inverso, portanto u unidade se, e s se
N(u) = 1.
Obs. Note que . ) 1 (
2
t + t
2.2. Diviso Euclidiana
Para provar a existncia de diviso Euclidiana entre a, b Z[], b 0. Sejam e
tais que: +
b
a
Tomando q = c + d, tais que c e d so respectivamente os inteiros mais prximos
de e . Portanto:
) (
4
1
4
1
4
1
) ( ) ) ( ) )( ( ) )(( (
) ( ) (
2 2
b N b N d d c c b N
r N q b bq a r
<
,
_

+ + +
+


Portanto existe a diviso Euclidiana.
2.3. Teorema da fatorao nica
Note que, para os inteiros de Gauss, provamos o lema de Euclides e a fatorao
nica, usando somente o fato de que existe diviso Euclidiana, portanto, seguindo
os mesmos passos para provar o lema de Euclides e a fatorao nica, provaremos
a fatorao nica para os inteiros de Eisenstein.
2.4. Primos
Tudo muito parecido com os inteiros de Gauss: N() primo em Z primo
em Z[]; todo primo em Z[] divide exatamente um primo inteiro positivo. A
demonstrao desses dois fatos exatamente igual que foi dada na seo de
inteiros de Gauss. Seja p o inteiro positivo primo que o primo, em Z[] divide.
Temos trs casos:
Se p da forma 3k, ento p = 3, e obtemos = t (1 ) ou t (2 + ).
Se p da forma 3k + 2, como a
2
ab + b
2
s da forma 3k ou 3k + 1 (verifique
voc mesmo), ento p um primo de em Z[] tal que N() = p
2
.
Se p da forma 3k + 1, pela lei da reprocidade quadrtica*:
1
3
1 ) 1 (
3
3
2
1 3
2
1

,
_

,
_

,
_

,
_

p p
p
p
Portanto existe x inteiro tal que ) 2 )( 2 ( 2 2 3 ) 1 ( |
2 2 2 2
+ + x x x x x p , e
como p no divide 2, ento p no primo em Z[] e existem e

tal que
. p
Como p um primo inteiro, ento , logo

e so primos em
Z[] e p .
Portanto os primos em Z[] so:
(1) O primo 1 e suas multiplicaes por unidades.
(2) Os primos inteiros da forma 3k + 2 e seus produtos pelas unidades, que
tambm so primos em Z[].
(3) Para todo primo inteiro p da forma 3k + 1, os primos e tal que p e
seus produtos pelas unidades so primos em Z[].
*A lei de reciprocidade quadrtica de Gauss diz o seguinte: dados a Z e p Z primo que no divide
a, definimos

'

,
_

contrrio. caso , 0
. mod. quadrtico resduo se 1, p a
p
a
Para p, q Z primos mpares com p > 0
vale sempre . ) 1 (
2
1
2
1

,
_

,
_

,
_

,
_

q p
p
q
q
p
2.5. Exemplo
Ache todos os a, b, c
*
+
Z lados de um tringulo com um ngulo de 60
o
.
Vamos supor, sem perda de generalidade, que o ngulo de 60
o
entre os lados de
medidas a e b. Pela lei dos co-senos, temos:
) )( ( ) 60 cos( 2
2 2 2 2 2
b a b a ab b a ab b a c + + +
Observe a semelhana deste problema com o das ternas pitagricas.
Seja m = mdc(a; b), a = a'm, b = b'm. Segue que c m c m
2 2
, e teremos c = c'm.
Logo
b a b a c ab b a c ' ' ' '
2 2 2 2 2 2
+ +
', e temos mdc(a'; b'; c') = 1. Seja d
tal que ' ' b a d + e . ' ' b a d Segue que ' 2a d e ' 2b d , logo 2 d . Se d no divide
1, ento ' 2 ' ' ' ' 2 2
2 2
a b b a a d + e ' 2b , absurdo, logo 1 d , e portanto:
2
2 2
2 2 2 2
2 '
'
) 2 ( ) ( ' '
y xy b
y x a
y xy y x y x b a


+ + +
Portanto as solues so m y xy b m y x a ) 2 ( , ) (
2 2 2
e m y xy x c ) (
2 2
+ ,
para todo x, y, m Z+ com x > y, e as permutaes de a, b e c.
Outro bom exemplo de aplicao dos inteiros de Eisenstein o problema 6 da
IMO de 2001:
Sejam a, b, c, d inteiros com a > b > c > d > 0. Considere que
) )( ( c a d b c a d b bd ac + + + + +
Prove que ab + cd no primo.
Primeiramente vamos mostrar por que usar inteiros de Eisenstein:
2 2 2 2
2 2 2 2
) )( (
c ac a d bd b
c ac cd bc ac a ad ab cd ad d bd bc ab bd b bd ac
c a d b c a d b bd ac
+ + +
+ + + + + + + + + +
+ + + + +
A vemos por que usar inteiros de Eisenstein.
( ) ( ) ( ) ( )
2 2
c a c a d b d b + +
Observe que como a, b, c > 1, ento mdc(b; d) > 1 ab + cd no primo, logo
podemos supor que b e d so primos entre si. Analogamente supomos que mdc(a;
c) = mdc(a; d) = mdc(b; c) =1.
Seja um primo em
] [ Z
tal que
d b
. Vamos provar que no divide
+ c a
no divide ,
2
c a + e segue que c a d b + . Suponha ento que
c a + . Veja que ), )( ( ) ( c a d b N + e temos
) ( ) )( ( ad cd bc cd ab c a d b + + + +
Como , ) ( Z N e ) )( ( ) ( c a d b N + , ento cd ab N + ) ( e, supondo ab
+ cd primo, teramos ) ( N cd ab + . Mas nesse caso segue que
, '
2
k k
k
c a d b d b +
sendo

e ' unidades.
Se , / ' ento ). (
2
c a d b d d b + + + Considerando o fato
de
mdc(b; d) = mdc(a; c) = mdc(b; c) = 1 e que a > b > c > d > 0, temos que isto um
absurdo (a verificao fica para o leitor, basta considerar as 6 possibilidades para
)
. Logo c a d b + , e analogamente . d b c a + Portanto
) ( c a d b +
, onde

uma unidade. Novamente, basta verificar todas as

possibilidades para

e verificar que isto um absurdo. Portanto ab + cd no

primo.
2.6. Problemas
Deixamos aqui mais alguns problemas para o leitor:
Problema 1.
(a) Prove que, para cada inteiro n, o nmero de solues inteiras de x
2
xy + y
2
=
n finito e divisvel por 6.
(b) Determine todas as solues inteiras de x
2
xy + y
2
= 727.
Problema 2.
Mostre que a equao diofantina x
3
+ y
3
+ z
3
= 0 s tem solues triviais, ou seja,
tais que xyz = 0.
Problema 3.
Prove que se n um inteiro positivo tal que a equao x
3
3xy
2
+ y
3
= n tem
solues em inteiros (x; y), ento ela tem pelo menos trs solues.