F(6EC B 0A9 68% 63 ( 20)(&$

'D 1 %@ 47 1 54 1 % ' %
      
#"!
b X`a 66AXW2)P6 ST 6QI EG
V `YP V U RP H

Denominaremos equao diofantina (em homenagem ao matemtico grego Diofanto

de Alexandria) uma equao em nmeros inteiros. Nosso objetivo ser estudar dois tipos
particulares de equaes diofantinas, a equao de Pitgoras e a de Pell, e determinar suas
solues. Tambm estudaremos o mtodo da descida, que nos permitir mostrar que algumas
equaes diofantinas no possuem solues no triviais, num sentido a ser precisado.
Ternos Pitagricos
Queremos estudar as solues (x, y, z) da equao x 2 + y 2 = z 2 , com x, y, z inteiros no
nulos. Aps determinar tais solues, vamos ver como podemos utilizar as informaes
obtidas para resolver outras equaes em nmeros inteiros. O resultado fundamental o
seguinte
Teorema 1: As solues (x, y, z) da equao x 2 + y 2 = z 2 , com x, y, z inteiros no nulos,
so dadas por: ( x , y , z ) = ( 2uvd , ( u 2 v 2 )d ,( u 2 + v 2 )d )
ou ( x, y, z ) = ((u v )d ,2uvd ,(u + v )d ) onde d, u, v so inteiros no nulos, com u v,
mdc(u, v) = 1 e u e v de paridades distintas.
2

Prova: Sejam x, y, z inteiros positivos quaisquer satisfazendo a equao acima (os demais
casos so anlogos), e d o mdc de x e y. Ento d 2 divide z 2 , e da d divide z. Existem
portanto inteiros no nulos a, b, c, com mdc(a, b) = 1, tais que (x, y, z) = (da, db, dc).
Ademais, como
x 2 + y 2 = z 2 a 2 + b2 = c 2 ,
basta determinarmos as solues (a, b, c) da equao, sujeitas condio
mdc(a, b) = 1 (que por sua vez implica mdc(a, c) = 1 e mdc(b, c) = 1).
Note agora que, dado um inteiro qualquer t, temos que t 2 deixa resto 0 ou 1 na diviso por 4,
quando t for respectivamente par ou mpar. Assim, se fossem a e b mpares, teramos a 2 e
b 2 deixando resto 1 na diviso por 4, e da c 2 = a 2 + b 2 deixaria resto 2 quando dividido
por 4, o que um absurdo. Como a e b so primos entre si, no podem ser ambos pares. H
ento dois casos: a mpar e b par, a par e b mpar. Analisemos o primeiro caso (o segundo
anlogo).
Se a for mpar e b par, ento c tambm mpar. De a 2 + b 2 = c 2 obtemos

b 2 = ( c a )( c + a ) , e no difcil concluir que mdc(c a, c + a) = 2. Podemos ento

(c a ) e (c +a ) so primos entre si.

2
2
Mas se o produto de dois naturais primos entre si (c a e c + a ) um quadrado perfeito, ento
2
2
escrever (b ) =(c a )(c + a ). Note que
2
2
2
2

cada um deles deve ser um quadrado perfeito. Existem ento inteiros positivos primos entre si
u e v, tais que c a = 2 v 2 , c + a = 2u 2 , e da ( a, b, c ) = ( u 2 v 2 , 2uv , u 2 + v 2 ) .
Note ainda que, como u 2 + v 2 = c mpar, u e v devem ter paridades distintas. Por
substituio na equao original, conclumos que os ternos acima so realmente solues da
equao, de modo que nada mais h a fazer.t

Vemos ento que h uma quantidade infinita de ternos (x, y, z) satisfazendo a equao
acima. Por exemplo, fazendo d = v = 1 e u = 2n, n inteiro positivo, obtemos o terno

( x , y , z ) = ( 4n, 4n 2 1, 4n 2 + 1)
Um terno de inteiros positivos (x, y, z) tais que x 2 + y 2 = z 2 denominado um terno
Pitagrico, em aluso ao matemtico grego Pitgoras e seu famoso teorema sobre tringulos
retngulos. De fato, um tal terno (x, y, z) determina um tringulo retngulo de catetos x e y e
hipotenusa z inteiros.

y
Vejamos em que a equao acima pode ajudar na soluo de outros problemas. Consideremos
a tarefa de determinar as solues inteiras no nulas da equao x 2 + y 2 = 2 z 2 , com x y.
Em uma qualquer dessas solues, devemos ter x e y com a mesma paridade, pois caso
contrrio x 2 + y 2 seria um nmero mpar. Assim, existem inteiros a e b tais que

x = a + b, y = a b
Basta tomarmos a = ( x + y ) e b = 1 ( x y ) , notando que x + y e x y so nmeros pares.
2
Substituindo as expresses acima para x e y na equao original, conclumos que
1
2

x 2 + y 2 = 2z 2 a 2 + b2 = z 2
Mas essa ltima equao a nossa j conhecida equao de Pitgoras. Ento, de acordo com o
teorema acima, podemos escrever
(a, b, z ) = (2uvd,(u2 v 2 )d,(u2 + v 2 )d ) ou (a, b, z ) = ((u2 v 2 )d, 2uvd,(u2 + v 2 )d )
onde d, u, v so inteiros no nulos, com u v, mdc(u, v) = 1 e u e v de paridades distintas.
Segue da que as solues (x, y, z) de nossa equao so de um dos tipos abaixo, onde d, u, v
satisfazem as mesmas condies do teorema acima.

(x, y, z) = (2uvd +(u2 v2 )d, 2uvd (u2 v2 )d,(u2 + v2 )d)

ou

(x, y, z) = ((u 2 v2 )d + 2uvd,(u 2 v2 )d 2uvd,(u 2 + v2 )d )

Descida de Fermat e Equaes sem Solues
As equaes analisadas acima so, em um certo sentido, privilegiadas, pois possuem uma
infinidade de solues. Nosso prximo exemplo ser o de uma equao que s admite a
soluo inteira x = y = z = 0. Ela ilustra um mtodo que pode ser estendido a outras equaes,
a fim de provar que elas no possuem solues inteiras no nulas.
Exemplo 1: A equao 3x 2 + y 2 = 2 z 2 no possui solues inteiras no nulas.
Prova: Suponha o contrrio. Ento a equao possui uma soluo (x, y, z) em inteiros
positivos. Ento, dentre todas as solues (x, y, z), com x, y e z inteiros positivos, existe uma
(x, y, z) = (a, b, c) para a qual z = c o menor possvel. Trabalhemos tal soluo.
Vamos usar o seguinte fato, que voc pode provar facilmente: se um inteiro u no for mltiplo
de 3, ento u 2 deixa resto 1, quando dividido por 3. Ento, se b no for mltiplo de 3,
teremos de 3a 2 + b 2 = 2c 2 que c tambm no ser mltiplo de 3. Olhando os restos de cada

termo da equao por 3, teremos que 3a 2 + b 2 deixa resto 1 e 2c 2 deixa resto 2.1 = 2. Logo,
no poderia ser 3a 2 + b 2 = 2c 2 .
Assim, b deve ser mltiplo de 3, digamos b = 3b1 . Da vem que 3a 2 + 9b12 = 2c 2 , e c
tambm mltiplo de 3, digamos c = 3c1 . Substituindo na equao, chegamos a
2
3b12 + a 2 = 6c1 .
2
2
Ento, a tambm mltiplo de 3. Sendo a = 3a1 , a equao acima nos d b12 + 3a1 = 2c1 , e

( b1 , a1 , c1 ) uma outra soluo de nossa equao original, com c1 = c < c . Mas isso uma
3
contradio, pois partimos de uma soluo na qual o valor de z era c, mnimo possvel. Logo,
nossa equao no possui solues no nulas. t
Esquematicamente, o mtodo da descida (devido ao matemtico francs Pierre Simon de
Fermat) consiste ento no seguinte:

i. Supor que uma dada equao possui uma soluo em inteiros no nulos.
ii. Concluir da que ela possui uma soluo em inteiros positivos que seja, em algum sentido,
mnima.

iii. Deduzir a existncia de uma soluo positiva menor que a mnima, chegando a uma
contradio.
J que determinamos acima as solues da equao de Pitgoras, nada mais natural que tentar
estudar a equao mais geral abaixo, denominada equao de Fermat. Aqui, n > 2 um
inteiro fixado.
xn + yn = zn ,
Por cerca de trs sculos os matemticos defrontaram-se com o problema de decidir sobre a
existncia de solues no nulas (x, y, z) dessa equao, problema que somente foi resolvido
na dcada de noventa, utilizando mtodos muitssimo complexos.
Vamos aproveitar o mtodo da descida para analisar um caso simples dessa equao, aquele
em que n um mltiplo de 4. O leitor interessado em saber mais sobre essa equao pode
consultar uma das referncias [2] ou [3] da bibliografia, onde o caso n = 3 discutido.
Teorema 2: Se n for mltiplo de 4 ento no existem inteiros no nulos x, y, z tais que

xn + yn = zn .
Prova: Seja n = 4k, k natural. Se x n + y n = z n , ento teremos ( x k )4 + ( y k ) 4 = ( z 2 k )2 , ou
seja, ( x k , y k , z 2 k ) ser uma soluo da equao a 4 + b 4 = c 2 . Assim, basta mostrarmos
que essa ltima equao no admite solues no nulas. Por absurdo, suponhamos que
existam inteiros positivos a, b, c tais que a 4 + b 4 = c 2 . Podemos tambm supor que a, b e c
foram escolhidos de tal modo que no h outra soluo positiva a ', b', c' com c' < c (aqui
vamos usar o mtodo da descida). Ento a e b so primos entre si, e o teorema 1 garante a
existncia de inteiros
positivos
primos
entre si
que
u e
v tais
2
2
2
2
2
2
2
2
2
a = u v , b = 2uv , c = u + v . Como a + v = u , segue novamente do teorema 1
a existncia de inteiros positivos primos entre si p e q tais que

a = p 2 q 2 , v = 2 pq, u = p 2 + q 2 . Mas a b 2 = 2uv = 4 pq ( p 2 + q 2 )

Como p e q so primos entre si, temos que ambos so tambm primos com p 2 + q 2 .
Portanto, sendo 4 pq( p 2 + q 2 ) um quadrado devemos ter p, q e p 2 + q 2 quadrados,
digamos

p = 2 , q = 2 , p 2 + q 2 = 2 , com , , positivos. Por fim, segue que

 4 + 4 = 2 , com c =u2 +v2 >u = p2 +q2 = 2 , contrariando a minimalidade de c. Logo,

no h solues no nulas de x n + y n = z n quando n for mltiplo de 4. t
A Equao de Pell
Nem sempre fcil, ou mesmo possvel, determinar todas as solues em inteiros de uma
dada equao. Por exemplo, para a equao x 2 2 y 2 = 1 , bem mais fcil mostrar que ela
possui uma infinidade de solues do que determinar todas elas. Podemos gerar infinitas
solues dessa equao a partir de uma s soluo no nula.
Uma vez que a 2 2b 2 = 1 , teremos ( a + b 2 )( a b 2 ) = 1 , e da

( a + b 2 )2 ( a b 2 )2 = 1
Desenvolvendo os binmios, chegamos a

(a 2 + 2b 2 + 2ab 2 )(a 2 + 2b 2 2ab 2 ) = 1 , e da a (a 2 + 2b 2 ) 2(2ab) = 1

Portanto, se (a, b) for uma soluo, (a 2 + 2b 2 ,2ab ) ser outra soluo. Sendo a e b positivos,
2
2
temos a < a + 2b , e desse modo determinamos uma infinidade de solues da equao
2

(contanto que tenhamos uma soluo no nula). Veja que (3, 2) uma soluo no nula de
nossa equao.
fcil ver que o mtodo acima utilizado tambm garante que, quando d for um inteiro tal que
d irracional, a equao x 2 dy 2 = 1 admite infinitas solues no nulas, desde que
admita uma soluo no nula. Tambm, com poucas modificaes podemos tratar a equao

x 2 dy 2 = 1 (veja o exerccio 6).

Observe que, apesar de determinarmos facilmente infinitas solues da equao acima, no
sabemos se h outras. Vamos agora comear a responder essa pergunta, para uma classe mais
ampla de equaes.
Definio 1 (Equao de Pell): Seja d um inteiro positivo que no seja um quadrado. Nesse
caso, sabemos que d irracional. Chamamos equao de Pell equao x 2 dy 2 = m ,
onde m um inteiro qualquer.
claro que no caso m = 0 a equao no admite solues alm da trivial
x = y = 0, pois se esse fosse o caso teramos x e y no nulos, e da
Lema 1: Seja um irracional qualquer. Existem infinitos racionais
nulos primos entre si, tais que

x
y

<

1
y2

d =
x
y

x
y

, um racional.

, com x e y inteiros no

Prova: Seja n > 1 um natural qualquer, e considere os nmeros j , com

j = 0, 1, ..., n. Seja { j } = j [ j ] [0,1). Como

[0,1) = [0, 1 ) [ 1 , 2 ) ... [ nn1 ,1) ,

n
n n

segue do princpio de Dirichlet que existem 0 k < j n tais que { j} e {k} pertencem a
um mesmo intervalo dos que aparecem no lado direito da igualdade acima. Ento | { j} -

{k} |

<

j k
k
j

)<

1
n

Da,

1
( j k )n

( j k ) ( j k)

<1,
n

segue

que

1
( j k )2

Existe ento um par (x, y) de inteiros, x = j k , y = j k n , tais que

x
y

<

1
y2

. Se x = dx1 , y = dy1 , com d > 1, ento

podemos supor que x e y so primos entre si.

x1
y1

<

1
y2

<

1
2
y1

, de modo que

Para garantirmos a existncia de infinitos tais pares, suponha que achamos x e y primos entre
si e tais que

x
y

<

1
y2

1
n

. Escolha agora um natural n tal que

<

x
y

. Repetindo o

argumento acima, chegamos a um par de inteiros primos entre si x1 , y1 , com

y1 n . Portanto,

x1
y1

1
< ny1 < x e
y

x1
y1

1
< ny1

1
2
y1

x1
y1

1
< ny1 e

, donde ( x1 , y1 ) ( x , y ) satisfaz o

lema. t
Lema 2: Seja d um inteiro positivo que no seja um quadrado. Existe um inteiro m para o qual
a equao x 2 dy 2 = m admite infinitas solues inteiras.

d irracional. Assim, o conjunto S dos pares (x, y) de inteiros primos

Prova: Sabemos que

entre si tais que

x
y

d <

1
y2

infinito. Mas se x e y forem inteiros satisfazendo essa

desigualdade, ento

) (

x 2 dy 2 = x d y x + d y < 1 x d y + 2 d y < 1
y
y

1
y

+ 2 d y <2 d + 1

Segue que algum inteiro no nulo m entre ( 2 d + 1) e 2 d + 1 se repete um nmero

infinito de vezes entre os valores de x 2 dy 2 , com (x, y) em S. Mas isto o mesmo que
dizer que a equao x 2 dy 2 = m admite infinitas solues. t
Teorema 3 (Solues da Equao de Pell): Seja d um inteiro positivo que no seja um
quadrado. A equao x 2 dy 2 = 1 admite infinitas solues em inteiros positivos x, y.
Ademais, existe uma soluo em inteiros positivos x1 , y1 tal que todas as demais solues
dessa equao so da forma x n + y n d = ( x1 + y1 d ) n , onde n um nmero natural.
Prova: Admitamos por enquanto que nossa equao tenha uma soluo em inteiros positivos
x, y. Dentre todas essas solues, escolha aquela x1 , y1 tal que = x1 + y1 d seja o menor
possvel.
Dado um natural qualquer n, sabemos que existem inteiros positivos x n , y n tais que

( x1 + y1 d ) n = x n + y n d . Da, sabemos que

( x1 y1 d ) n = x n y n d , e assim
2
2
1 = ( x1 dy1 ) n = ( x1 + y1 d ) n ( x1 y1 d ) n =
2
2
= ( x n + y n d )( x n y n d ) = x n dy n
Ento todos os pares ( x n , y n ) so solues da equao.

Seja agora (x, y) uma soluo qualquer em inteiros positivos. Para terminar, basta mostrarmos
que existe um natural n tal que x + y d = n . Suponha o contrrio. Ento existe um natural
n tal que n < x + y d < n+1 . Da, vem que 1 < n ( x + y d ) < . Mas

n ( x + y d ) = ( x1 + y1 d ) n ( x + y d ) = ( x n + y n d ) 1 ( x + y d ) =
= ( x n y n d )( x + y d ) = ( xx n dyy n ) + ( x n y y n x ) d
e ocorre que
2
2
2
2
( xxn dyyn )2 d ( xn y yn x )2 = xn ( x 2 dy 2 ) + yn ( dy 2 x 2 ) = xn dyn = 1 ,

de modo que n ( x + y d ) = ( xx n dyy n , x n y y n x ) tambm soluo. Como

1< n ( x + y d ) < , basta mostrarmos que xxn dyyn , xn y yn x > 0 para chegarmos numa
contradio. Sejam a = xx n dyy n , b = x n y y n x . Temos a + b d > 0 e a 2 db 2 = 1 ,
donde a b d = ( a + b d ) 1 > 0 .
Ento,

2a = ( a + b d ) + ( a b d ) > 0 .

a b d = (a + b d )

Por

outro

lado,

a + b d >1

implica

< 1 , e da b d > a 1 0 . Logo, b > 0.

Para terminar, basta mostrarmos que a equao x 2 dy 2 = 1 admite uma soluo. Tome, de
acordo com o lema 2, um inteiro (no nulo) m tal que x 2 dy 2 = m admita uma infinidade
de solues. Podemos escolher duas dessas solues, ( x1 , y1 ), ( x 2 , y 2 ) digamos, tais que
| x1 | | x 2 | mas x1 x 2 e y1 y2 , mdulo m. Ento

( x1 + y1 d )( x 2 y 2 d ) = ( x1 x 2 dy1 y 2 ) + ( x 2 y1 x1 y 2 ) d (*)
2
2
Mas x1 x 2 dy1 y 2 x1 dy1 0 (mod m) e x 2 y1 x1 y 2 (mod m) , donde existem
inteiros u e v tais que x1 x 2 dy1 y 2 = mu, x 2 y1 x1 y 2 = mv

Segue de (*) que ( x1 + y1 d )( x 2 y 2 d ) = m( u + v d ) , e da

( x1 y1 d )( x 2 + y 2 d ) = m( u v d ) .
Multiplicando ordenadamente essas duas igualdades, chegamos a
2
2
2
2
m2 = ( x1 dy1 )( x 2 dy 2 ) = m2 ( u 2 dv 2 ) ,

ou seja, u 2 dv 2 = 1 . Resta mostrarmos que u e v so no nulos. Se u = 0 teramos

dv 2 = 1 , um absurdo. Se v = 0, viria u = 1 ou 1. De (*) seguiria que

( x1 + y1 d )( x 2 y 2 d ) = m , e assim ( x1 + y1 d ) = ( x 2 + y 2 d ) , donde por fim

| x1 | = | x 2 | , o que um absurdo. t
Exemplo 2: Agora podemos determinar todas as solues inteiras no nulas da equao
x 2 2 y 2 = 1 . O teorema 3 ensina que as solues positivas dessa equao so da forma

( x n , y n ) , onde x n e y n so os nicos inteiros para os quais x n + y n 2 = ( x1 + y1 2 ) n ,

sendo ( x1 , y1 ) a soluo positiva para a qual x1 + y1 2 o menor possvel. Como os pares
(x, y) = (1, 1), (1, 2), (2, 1), (2, 2), (2, 3) no so solues da equao e (3, 2) , fcil nos
convencermos de que ( x1 , y1 ) = (3, 2). Desse modo, temos os pares ( x n , y n ) dados pela
igualdade x n + y n 2 = (3 + 2 2 ) n
Determine agora as demais solues no nulas da equao acima. O exerccio 7 discute mais
alguns aspectos dessa equao.
Exerccios:
1. Seguindo os passos da prova do teorema 1, mostre que as solues em
inteiros

no

nulos

da

equao

x2 + 2 y2 = z2

so

x = ( u 2 v )d , y = 2uvd , z = ( u + 2 v )d , onde d, u, v so inteiros

2

no nulos, com u e 2v primos entre si.

2. Mostre que as equaes a seguir no possuem solues inteiras no nulas:

i. x 4 + 4 y 4 = z 2
ii. x 4 + 2 y 4 = z 2
iii. x 2 + y 2 = 3z 2

da

forma

O item i do exerccio a seguir tem a ver com o exemplo 1 do texto.

3. i. Mostre que no existem racionais x e y tais que x 2 + xy + y 2 = 2 .

ii. Determine todas as solues racionais da equao x 2 + xy + y 2 = 1 .

Para resolver os prximos dois exerccios utilizamos o teorema 1. Eles so mais difceis que
os anteriores, e no primeiro deles voc pode achar til o seguinte resultado, conhecido como
Teorema de Ptolomeu: dado um quadriltero convexo inscritvel ABCD, tem-se

AB. CD + AD. BC = AC. BD

A

D
B
C

Para uma prova do Teorema de Ptolomeu, voc pode consultar a referncia [4].
4. Temos no plano uma circunferncia de raio 1. Mostre que podemos
escolher em tal circunferncia 2000 pontos A1 , A2 ,..., A2000 tais que Ai A j racional,
quaisquer que sejam 1 i < j 2000 .
5. Seja r um inteiro positivo dado. Queremos determinar o nmero de
tringulos ABC, dois a dois no congruentes, satisfazendo as seguintes condies:
i. O raio da circunferncia inscrita em ABC mede r.
ii. Os comprimentos dos lados de ABC so nmeros inteiros, primos entre si.
Mostre que o nmero de tais tringulos 2 k , onde k o nmero de fatores primos distintos
de r.

6. Prove, sem apelar para o teorema 2, que a equao x 2 2 y 2 = 1

admite uma infinidade de solues inteiras.
7. Prove que as solues positivas ( x n , y n ) da equao do exemplo 2 so
dadas pelas seqncias ( x1 , y1 ) = (3, 2 ) e x n+1 = 3x n + 4 y n , y n+1 = 2 x n + 3 y n
8. Prove que h infinitos inteiros n tais que n 2 + ( n + 1)2 seja quadrado.

Bibliografia
[1] Introduo Teoria dos Nmeros. Plnio O. dos Santos. Coleo Matemtica Universitria.
IMPA. 1999.
[2] An Introduction to the Theory of Numbers. I. Niven, H. Zuckermann. John Wiley & Sons.
New York. 1980.
[3] A Classical Introduction to Modern Number Theory. K. Ireland & M. Rosen. Springer-Verlag.
New York. 1990.
[4] Quadrilteros e Tringulos. M. Mendes. Eureka! No5. OBM 1999