Escolar Documentos
Profissional Documentos
Cultura Documentos
Dio Fantin As
Dio Fantin As
b 2 = ( c a )( c + a ) , e no difcil concluir que mdc(c a, c + a) = 2. Podemos ento 2 escrever ( b ) =( c a )( c+ a ) . Note que ( c a ) e ( c + a ) so primos entre si. 2 2 2 2 2
Mas se o produto de dois naturais primos entre si ( c a e c + a ) um quadrado perfeito, ento 2 2 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.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.
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 = ( 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 = 2 z 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,( 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 , 2u vd ( u2 v 2 )d ,( u 2 + v 2 )d )
ou
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 u e v tais que 2 2 2 2 2 2 a = u v , b = 2uv , c = u + v . Como a 2 + v 2 = u 2 , 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
( 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) 2 = 1 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
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 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 = 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
d =
x y
x y
, um racional.
, com x e y inteiros no
<
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 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} -
[ 0,1) = [ 0, 1n ) [ 1 , 2 ) n n
...
[ nn1 ,1) ,
{k} |
j k j k
<
1 n
Da,
1 ( j k )2
( j k ) ( j k )
<1, n
segue
que
< ( j 1k ) n
<
1 y2
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
<
x y
. Repetindo o
x1 y1 1 < ny1 e
y1 n . Portanto,
lema. t
x1 y1
x1 y1
1 < ny1
1 2 y1
, donde ( x1 , y1 ) ( x , y ) satisfaz o
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
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
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 ( x n y y n x )2 = x n ( x 2 dy 2 ) + y n ( dy 2 x 2 ) = x n dyn = 1 ,
1 < n ( x + y d ) < , basta mostrarmos que xxn dyyn , 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 a 2 db 2 = 1 , donde a b d = ( a + b d )1 > 0 .
Ento,
2a = ( a + b d ) + ( a b d ) > 0 .
Por
outro
lado,
a + b d >1
implica
a b d = ( a + b d ) 1 < 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
( 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 so x2 + 2y2 = z2
da
forma
i. x 4 + 4 y 4 = z 2 ii. x 4 + 2 y 4 = z 2 iii. 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 .
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