A CONJECTURA abc

JULIO C. ANDRADE Resumo. Neste pequeno artigo exposit orio apresentamos a conjectura abc usando quatro diferentes formula co es. N os iremos oferecer uma lista de algumas aplica co es e con sequ encias da conjectura, discutiremos uma id eia da demonstra c ao do Ultimo Teorema de Fermat fazendo uso da conjectura abc e para concluir fazemos uma men ca o sobre uma poss vel e atual demonstra ca o deste famoso problema.

o e Motivac o 1. Introduc a a A conjectura abc e um problema em aberto (at e o momento) em teoria dos n umeros, ela tamb em e conhecida como Conjectura de Oesterl e-Masser. Foi primeiramente proposta por Joseph Oesterl e [6] e David Masser [3] respectivamente em 1988 e 1985. Uma das principais import ancias da conjectura abc e que a sua validade implica profundas consequ encias em alguns dos mais dif ceis problemas em matem atica, de fato muitas conjecturas e problemas famosos em teoria dos n umeros seguem da conjectura abc. Nas palavras do matem atico Dorian Goldfeld [1] a conjectura abc e o mais importante problema em aberto de an alise Diofantina. Antes de apresentarmos a conjectura abc introduziremos algumas deni c oes b asicas que ir ao servir como ponto de partida para o entendimento do enunciado da conjectura abc. Deni c ao 1.1 (Divisor). Para quaiser n umeros inteiros m e n n aonulos, dizemos que m divide n ou que n e divis vel por m, e escrevemos m | n, se existe um inteiro k tal que n = km. Deni c ao 1.2 (N umeros Primos). Um n umero primo p e um n umero natural maior do que 1 que n ao possui divisores positivos diferentes de 1 e p. Apresentamos agora um importante resultado que relaciona n umeros primos com n umeros naturais: Teorema 1.3 (Teorema Fundamental da Aritm etica). Todo inteiro positivo n > 1 pode ser representado de uma maneira u nica como um produto de pot encias de n umeros primos, i.e.,
k

n=

1 2 p 1 p2

k p k

=
i=1

i p i ,

(1)

onde p1 < p2 < ... < pk s ao n umeros primos e os i s ao inteiros positivos.

O autor recebe suporte de uma bolsa de p osdoutorado do National Science Foundation (NSF) e uma bolsa de p os-doutorado da Universidade de Brown.
1

JULIO C. ANDRADE

Por exemplo, 999 = 33 37, 1000 = 23 53 . Deni c ao 1.4 (Fator Comum). Fatores que s ao comuns a dois ou mais n umeros s ao chamados de fator comum. Por exemplo, 6 = 2 3, 4 = 2 2. Assim os fatores comuns de 4 e 6 s ao 1 e 2. Deni c ao 1.5 (Primos entre si). Dois inteiros s ao primos entre si se eles n ao possuem nenhum fator positivo comum com excess ao do n umero 1. Usando a nota c ao (m, n) para denotar o maior divisor comum de m e n podemos dizer que dois inteiros m e n s ao primos entre si se (m, n) = 1. Estamos agora em posi c ao de apresentar a primeira formula c ao da Conjectra abc. Conjectura 1.6 (Formula c ao Ing enua da Conjectura abc). Em termos simples, a conjectura abc, diz que se considerarmos 3 n umeros inteiros positivos, a, b, c, os quais n ao possuem nenhum fator em comum e satisfazem a + b = c e se denotarmos por d o produto dos fatores primos distintos do n umero abc temos ent ao que d, normalmente, n ao ca muito menor do que c. Ou seja, se os n umeros a e b s ao divis veis por grandes pot encias de n umeros primos, ent ao o n umero c geralmente n ao e divis vel por grandes pot encias de primos. Vejamos um exemplo: Exemplo 1.7. Consideremos a = 16 = 24 , b = 17, c = 16 + 17 = 33 = 3 11. Assim, d = 2 17 3 11 = 1122, que e maior do que c. E para este caso, se consideramos 171 como sendo uma pot encia grande do primo 17 e 24 como uma pot encia grande de 2 temos claramente que 17 33 e 2 33 (Onde a b signica que a n ao divide b). Para concluirmos esta se ca o apresentamos a deni c ao de radical, que ser a u til nas pr oximas se c oes. Deni c ao 1.8 (Radical). Para todo n umero natural n, n os denimos r(n) = p|n p, i.e., r(n) e o produto de todos os n umeros primos p que s ao divisores de n. Neste caso, r(n) e chamado de o radical de n. Por exemplo se, 504 = 23 32 7 ent ao r(504) = 2 3 7 = 42.

A CONJECTURA abc

f E acil de ver que r(n) e o divisor livre de quadrados e maximal de n. Vamos tamb em dizer que um n umero inteiro n e bem composto, se r(n) e pequenocom respeito a n, ou equivalentemente, se a pot encia a que r(n) deve ser elevado para que se tenha r(n) = n log n e grandecom respeito a n. O leitor pode checar que tal pot encia e log r(n) . Note que ser grande ou pequeno e ainda relativo neste contexto e portanto iremos adotar aqui que grandesignica ser maior que 1.5 e pequenocaso contr ario. Por exemplo, se n1 = 241 315 7 113 9710 , ent ao r(n1 ) = 2 3 7 11 97 = 44814 log n1 = 9.316746. log r(n1 ) Assim n1 e bem composto. Voc e consegue encontrar alguns exemplos de n umeros bem compostos e n ao bem compostos? O que podemos dizer do n umero n2 = 1254792? N os aconselhamos o leitor a checar, usando algum software matem atico, se os seguintes n umeros s ao bem compostos ou n ao: n3 = 64646191, n4 = 267616847651 e n5 = 78971478924741. es da Conjectura abc 2. Algumas Formulac o Nesta se c ao iremos apresentar a descri c ao precisa da conjectura abc. Conjectura 2.1 (Forma Preliminar da Conjectura abc). Se a + b = c, onde a, b, c s ao n umeros naturais e primos entre si, ent ao o n umero abc n ao pode ser bem composto. Em particular, a soma de dois n umeros naturais que s ao primos entre si e bem compostos n ao pode ser bem composto. f Observa c ao 2.2. E acil de provar que se (a, b) = 1 ent ao (a + b, a) = 1 e (a + b, b) = 1. Prove isto! Vamos agora apresentar outra formula c ao para a conjectura abc. Conjectura 2.3 (Forma Heur stica da Conjectura abc). Para todo > 0, existe somente uma quantidade nita de triplas de n umeros naturais que s ao primos entre si e a + b = c tal que c > d1+ , onde d denota o produto dos fatores primos distintos de abc. Por exemplo, se a = 16 = 24 , b = 17, c = 16 + 17 = 33 = 3 11, temos que d = 1122 > c. Portanto para todo > 0, c n ao e maior do que d1+ . Estamos agora em posi c ao de coletar as nossas nota c oes anteriores e apresentar a vers ao denitiva da conjectura abc. Conjectura 2.4 (Conjectura abc de Oesterl e e Masser). Para todo > 0 existe uma constante tal que se a, b e c s ao n umeros primos entre si para o qual a + b = c, (2) e

JULIO C. ANDRADE

ent ao c

1+ p = (rad(abc))1+ . (3)

p primo p|abc

De fato as conjecturas 2.3 e 2.4 s ao equivalentes e a demonstra c ao de tal fato pode ser encontrada em [4, pg. 1617] e n os aconselhamos o leitor a tentar a provar tal equival encia ou a consultar a bibliograa com a sua demonstra c ao. 3. O Ultimo Teorema de Fermat e a Conjectura abc Nesta se c ao iremos apresentar um rascunho da demonstra c ao do Ultimo Teorema de Fermat usando a conjectura abc. Notamos que este e apenas um rascunho da demonstra c ao e recomendamos ao leitor interessado no Ultimo Teorema de Fermat a consultar o excelente livro por Simon Singh [10]. E lembre-se que iremos provar que a o Ultimo Teorema de Fermat segue da Conjectura abc mas a rec proca n ao e verdadeira e e at e por isso que a demonstra c ao da Conjectura abc ainda n ao saiu (veja a pr oxima se c ao sobre o atual status da conjectura). Teorema 3.1 (O Ultimo Teorema de Fermat). Assuma que a Conjectura abc 2.4 seja v alida com = 1. Ent ao n ao existem solu c oes para xn + y n = z n para n 3, com x, y, z = 0. Id eia da Demonstra c ao. O enunciado ser a obtido para n > 3 uma vez que Euler mostrou que n ao h a solu c oes quando n = 3 (veja [12]). Seja xn + y n = z n onde x, y, z s ao n umeros inteiros positivos e primos entre si (podemos considerar x, y, z primos entre si, pois caso contr ario poder amos dividir toda a equa c ao acima pelo m aximo divisor comum de (x, y, z ) elevado a n), ent ao tomamos a = xn , b = y n , c = z n na conjectura abc. N os n ao temos nenhuma maneira precisa de determinar o produto dos n umeros primos que dividem xn y n z n , mas n os sabemos que estes s ao exatamente os primos que dividem xyz , e assim o produto de tais primos deve ser xyz . Mais ainda, uma vez que x e y s ao positivos, eles s ao ambos menores do que z e assim xyz < z 3 . A conjectura abc portanto nos fornece que z n (z 3 )1+ , para todo > 0. Tomando = 1/6 e n 4, temos que n 3(1 + ) n/8, e assim n os deduzimos da conjectura abc que z n 8 1/6 . (4)

A CONJECTURA abc

N os assim provamos que qualquer solu c ao de (4) com n 4, os n umeros xn , y n , z n s ao todos menores do que um limite absoluto e assim n ao existem mais do que uma quantidade nita de tais solu c oes. Agora imaginemos que n os temos em m ao uma vers ao explicita da conjectura abc, digamos = = 1, ent ao poder amos dar uma cota superior para todas as solu c oes para a equa c ao de Fermat e calcularmos at e tal cota para ent ao nalmente determinarmos se existem quaisquer solu c oes ou n ao. Observa c ao 3.2. Observe que O Ultimo Teorema de Fermat apenas segue da conjectura abc se pudermos dizer que = 1. De fato, alguns matem aticos acreditam que a conjectura abc e v alida com = = 1. Se assim for, o Ultimo Teorema de Fermat segue para n 6 imediatamente, e os casos n = 3, 4, 5 s ao conhecidos h a quase 200 anos, veja [8]. ncias da Conjectura abc 4. Algumas Conseque A conjectura abc tem um enorme n umero de consequ encias em profundas quest oes da teoria dos n umeros. Vamos citar apenas tr es delas: A conjectura de FermatCatalan, uma generaliza c ao do Ultimo Teorema de Fermat sobre pot encias que s ao somas de pot encias.[7] A exist encia de innitos primos que n ao s ao primos Wieferich. [9] A forma fraca da conjectura de Marshall Hall sobre a separa c ao entre quadrados e cubos de n umeros inteiros.[5] Um fato hist orico interessante e que a conjectura abc e de fato um an alogo para os n umeros inteiros do teorema conhecido como Teorema de MasonStothers [11, 2]. Teorema 4.1 (Teorema de MasonStothers). Se denotarmos por C[t] os polin omios com coecientes em C e se a(t), b(t), c(t) C[t] n ao possuem nenhuma raiz em comum e nos fornecem uma solu c ao genu na para a(t) + b(t) = c(t), ent ao max{ (a(t)), (b(t)), (c(t))} (rad(abc)) 1, onde (a(t)) indica o grau do polin omio a(t) e rad(f ) e o polin omio de menor grau que possui as mesmas ra zes de f , ou seja, (rad(f )) nos fornece o n umero de ra zes distintas de f . 5. O futuro da conjectura abc Em agosto de 2012, o matem atico Shinichi Mochizuki disponibilizou uma s erie de quatro artigos contendo uma s eria alega c ao que ele tinha obtido uma demonstra c ao da conjectura abc. A teoria utilizada por Shinichi Mochizuki para apresentar a sua demonstra c aoda conjectura abc e conhecida como teoria de Teichm uller interuniversal. Os especialistas ir ao levar meses para checar a nova matem atica desenvolvida por Mochizuki, a qual foi desenvolvida durante d ecadas e apresenta mais de 500 p aginas em artigos. Pode ser o caso de no futuro termos o teorema abc e n ao mais apenas uma conjectura e isso denitivamente ir a tornar Mochizuki uma p agina a sempre ser lembrada na hist oria da matem atica.

JULIO C. ANDRADE

6. Agradecimentos O autor gostaria de agradecer aos coment arios de um parecerista an onimo que em muito ajudaram a melhorar a apresenta c ao do artigo. E tamb em gostaria de agradecer v arias discuss oes com o professor Dorian Goldfeld. ncias Refere
[1] Goldfeld, D., Beyond the last theorem. Math Horizons (1996) (September): 26-34. [2] Mason, R. C., Diophantine Equations over Function Fields, London Mathematical Society Lecture Note Series, 96, Cambridge, England: Cambridge University Press, 1984. [3] Masser, D. W., Open problems, in Chen, W. W. L., Proceedings of the Symposium on Analytic Number Theory (1985), London: Imperial College. [4] Mazur, B., Questions about Number, in New Directions in Mathematics, http://www.math.harvard.edu/ mazur/papers/scanQuest.pdf [5] Nitaj, A., La conjecture abc. Enseign. Math. (1996), 42 (12): 3-24. [6] Oesterl e, J., Nouvelles approches du th eor` emede Fermat, Ast erisque, S eminaire Bourbaki, (1988) 694 (161): 165-186. [7] Pomerance, C., Computational Number Theory. The Princeton Companion to Mathematics. Princeton University Press. pp. 361-362, 2008. [8] Ribenboim, P., 13 Lectures on Fermats Last Theorem, SpringerVerlag, New York and Heildelberg, 1979. [9] Silverman, J. H., Wieferichs criterion and the abc-conjecture. Journal of Number Theory (1988) 30 (2): 226-237. [10] Singh, S., O u ltimo teorema de Fermat, S ao Paulo, Editora Record, 2008. [11] Stothers, W. W., Polynomial identities and hauptmoduln, Quarterly J. Math. Oxford, (1981) 2 32: 349-370. [12] Fermats Last Theorem, http://en.wikipedia.org/wiki/FermatsL astT heorem Institute for Computational and Experimental Research in Mathematics (ICERM) and Department of Mathematics, Brown University, ProvidenceRI02903, U.S.A. E-mail address : julio andrade@brown.edu