EQUAES DIOFANTINAS

Antonio Caminha Muniz Neto Nvel Intermedirio

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 2 v 2 ) d ,2uvd ,(u 2 + 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. 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 escrever

b 2

c a 2

ca 2

. Note que

Mas se o produto de dois naturais primos entre si

( c2a ) e ( c+2a ) ( c a e c + a ) 2 2

so primos entre si. um quadrado perfeito,

ento cada um deles deve ser um quadrado perfeito. Existem ento inteiros positivos primos entre si u e v, tais que c a = 2v 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. 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.

x 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 = 1 ( x + y ) e b = 1 ( x y ) , notando que x + y e x y so nmeros 2 2

x 2 + y 2 = 2 z 2 a 2 + b2 = z 2

pares. Substituindo as expresses acima para x e y na equao original, conclumos que Mas essa ltima equao a nossa j conhecida equao de Pitgoras. Ento, de acordo com o teorema acima, podemos escrever ( a, b, z ) = ( 2uvd , ( u 2 v 2 ) d , ( u 2 + v 2 ) d ) ou
( a , b, z ) = (( u 2 v 2 )d , 2uvd , ( u 2 + 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 +( u 2 v 2 )d , 2uvd ( u 2 v 2 )d , ( u 2 + v 2 )d )

ou
( x, y, z ) = (( u 2 v 2 ) d + 2uvd ,(u 2 v 2 ) d 2uvd ,(u 2 +v 2 ) 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
2 3b12 + a 2 = 6c1 .

tambm mltiplo de 3, digamos c = 3c1 . Substituindo na equao, chegamos a

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 c 1

= c < c . Mas isso 3

uma contradio, pois partimos de uma soluo na qual o valor de z era c, mnimo possvel. Logo, nossa equao no possui solues no nulas. 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, iii.
mnima. 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 u e v tais que 2 2 2 2 2 2 2 2 2 , segue novamente do teorema 1 a a = u v , b = 2uv , c = u + v . Como a + v = u existncia de inteiros positivos primos entre si p e q tais que 2 2 2 a = p 2 q 2 , v = 2 pq , u = p 2 + q 2 . Mas a b = 2uv = 4 pq ( p + q ) 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 2 2 2 2 2 4 4 2 + = , com c = u + v > u = p + q = , contrariando a minimalidade de c. Logo, no h solues no nulas de x n + y n = z n quando n for mltiplo de 4. 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

Portanto, se (a, b) for uma soluo, a 2 + 2b 2 ,2ab ser outra soluo. Sendo a e b positivos, temos a < a 2 + 2b 2 , e desse modo determinamos uma infinidade de solues da equao (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 2 2 d irracional, a equao x dy = 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 x = y = 0, pois se esse fosse o caso teramos x e y no nulos, e da d = y , um racional.

2( 2ab ) = 1
2

x Lema 1: Seja um irracional qualquer. Existem infinitos racionais y , com x e y inteiros

no nulos primos entre si, tais que
x y

<

1 y2

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 ... nn 1 ,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 -

[ ) [ ) [ )
Da,
1 ( j k )2

{k | }

<

j k j k

1 n

( j k ) ( j k )

<1, n

segue

que

< ( j 1k ) n

Existe ento um par (x, y) de inteiros, x = j k , y = j k n , tais que Se x = dx1 , y = dy1 , com d > 1, ento y1
x1

x y

<

1 y2

<

1 y2

<

1 2 , de modo que podemos supor que y1

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

x y

<

1 y2

. Escolha agora um natural n tal que 1 n

<

x y

. Repetindo o

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

x1 , y1 , com
Portanto,

y1

1 ny1

y1 n .

x1 y1

x 1 < < n 1 y y

x1 y1

1 1 < 1 y 2 ny
1

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

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. Prova: Sabemos que entre si tais que desigualdade, ento
x y

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

d <

1 y2

infinito. Mas se x e y forem inteiros satisfazendo essa

x 2 d y

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

1 d y <y

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. 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 ( xx n dyy n ) 2 d ( x n y y n x ) 2 = x n ( x 2 dy 2 ) + y n ( dy 2 x 2 ) = x n dy n = 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

xx n dyy n , x n y y n 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
1 a 2 db 2 = 1 , donde a b d = ( a + b d ) > 0 .

Ento,

outro lado, a + b d >1 implica a b d = ( a + b d ) < 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 dy 1 y 2 ) + ( x 2 y1 x1 y 2 ) d (*)
1

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

Por

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 m2 = ( x12 dy1 )( x 2 dy2 ) = 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. 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 x2 + 2 y2 = z2 inteiros no nulos da equao so 2 2 2 2 x = ( u 2 v ) d , y = 2uvd , z = ( u + 2 v ) d , onde d, u, v so inteiros no nulos, com u e 2v primos entre si. 2. Mostre que as equaes a seguir no possuem solues inteiras no nulas:

da

forma

i. x 4 ii. x 4 iii.

+4y4 = z2 + 2 y4 = z2 x 2 + y 2 = 3z 2

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

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